Computer Aided Systems Theory - EUROCAST 2009: 12th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture Notes in Computer Science
5717 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XVII, 950 S. Ill., graph. Darst. 235 mm x 155 mm |
| ISBN: | 9783642047718 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035776341 | ||
| 003 | DE-604 | ||
| 005 | 20100809 | ||
| 007 | t | ||
| 008 | 091019s2009 ad|| |||| 10||| eng d | ||
| 015 | |a 09,N39,0013 |2 dnb | ||
| 016 | 7 | |a 996662553 |2 DE-101 | |
| 020 | |a 9783642047718 |c PB. : EUR 110.21 (freier Pr.), sfr 160.00 (freier Pr.) |9 978-3-642-04771-8 | ||
| 024 | 3 | |a 9783642047718 | |
| 028 | 5 | 2 | |a 12769384 |
| 035 | |a (OCoLC)634468208 | ||
| 035 | |a (DE-599)DNB996662553 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 004.2 |2 22/ger | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a MSR 580f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 111 | 2 | |a EUROCAST |n 12 |d 2009 |c Las Palmas |j Verfasser |0 (DE-588)16025190-4 |4 aut | |
| 245 | 1 | 0 | |a Computer Aided Systems Theory - EUROCAST 2009 |b 12th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers |c Roberto Moreno Díaz ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a XVII, 950 S. |b Ill., graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 5717 | |
| 650 | 0 | 7 | |a CAST |0 (DE-588)4234274-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Las Palmas de Gran Canaria |2 gnd-content | |
| 689 | 0 | 0 | |a CAST |0 (DE-588)4234274-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Moreno-Díaz, Roberto |d 1939- |e Sonstige |0 (DE-588)123304377 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 5717 |w (DE-604)BV000000607 |9 5717 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018635930&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018635930 | ||
Datensatz im Suchindex
| _version_ | 1804140708822515712 |
|---|---|
| adam_text | IMAGE 1
TABLE OF CONTENTS
SYSTEMS THEORY AND SIMULATION: FORMAL APPROACHES
KOLMOGOROV STREAM CIPHERS 1
JOSEF SCHAURIGER
MORPHOTRONIC SYSTEM (THEORY) 9
GERMANO RESCONI AND ZENON CHACZKO
K N O W L E D GE D I S C O V E RY IN D A T A B A S ES U S I NG M U L T I
V A L U ED A R R AY A L G E B RA . .. 17
MARGARET MIRO-JULIA
LOCAL SPACE-TIME SYSTEMS SIMULATION OF LINEAR AND NON-LINEAR RETINAL
PROCESSES 25
ROBERTO MORENO-DIAZ, ARMINDA MORENO-DIAZ, AND GABRIEL DE BLASIO
A N A L Y T I C AL R E P R E S E N T A T I ON OF I N T R I N S IC D I R
E C T I O N A L I TY IN R E T I N AL C E L LS . . .. 33
GABRIEL DE BLASIO, ROBERTO MORENO-DIAZ JR., AND ROBERTO MORENO-DIAZ
LINEAR COMPLEXITY MEASURES FOR MULTI-VALUED CRYPTOGRAPHIC D A TA STREAMS
BY APPLICATION OF THE RISSANEN PARTIAL REALIZATION METHOD . . .. 41
FRANZ PICHLER
A SOFTWARE IMPLEMENTATION OF THE RISSANEN METHOD FOR PARTIAL LINEAR
SYSTEMS REALIZATION 47
DOMINIK JOCHINGER
NEW FRONTIERS IN THE VALIDATION OF SIMULATION MODELS-STRUCTURAL
DOMINANCE ANALYSIS 53
MARKUS SCHWANINGER AND STEFAN GROESSER
OPTIMIZING THE HARDWARE USAGE OF PARALLEL FSMS 63
RAINER FINDENIG, FLORIAN EIBENSTEINER, AND MARKUS PFAFJ
SYNPSL: BEHAVIORAL SYNTHESIS OF PSL ASSERTIONS 69
FLORIAN EIBENSTEINER, RAINER FINDENIG, AND MARKUS PFAFF
LEARNING AUTONOMOUS HELICOPTER FLIGHT WITH EVOLUTIONARY REINFORCEMENT
LEARNING 75
JOSE ANTONIO MARTIN H. AND JAVIER DE LOPE
DESIGNING COMMUNICATION SPACE IN WIRELESS SENSOR NETWORK BASED ON
RELATIONAL ATTEMPT 83
JAN NIKODEM
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/996662553
DIGITALISIERT DURCH
IMAGE 2
X TABLE OF CONTENTS
APPLIED FORMAL VERIFICATION
SEPARATION OF TRANSITIONS. ACTIONS, AND EXCEPTIONS IN MODEL-BASED
TESTING 279
CYRILLE ARTHO
AUTOMATIC TEST GENERATION FOR COVERAGE ANALYSIS USING CBMC 287 DAMIANO
ANGELETTI, ENRICO GIUNCHIGLIA, MASSIMO NARIZZANO, ALESSANDRA PUDDU, AND
SALVATORE SABINA
SELF-HEALING ASSURANCE BASED ON BOUNDED MODEL CHECKING 295
VENDUTA HRUBA, BOHUSLAV KFENA, AND TOMAS VOJNAR
EFFECTIVE BIT-WIDTH AND UNDER-APPROXIMATION 304
ROBERT BRURNMAYER AND ARMIN BIERE
OBSERVABLE RUNTIME BEHAVIOR FOR DEFECTS INDICATED BY AUTOMATED STATIC
ANALYSIS 312
KLAUS WOLFMAIER, RUDOLF RAMLER, GABOR GULA, AND HEINZ DOBLER
COMPUTER VISION AND IMAGE PROCESSING
REAL-TIME VISION-BASED VEHICLE DETECTION FOR REAR-END COLLISION
MITIGATION SYSTEMS 320
D. BALCONES, D.F. LLORCA, M.A. SOTELO, M. GAVILAN, S. ALVAREZ, I. PARRA,
AND M. OCANA
REAL-TIME HIERARCHICAL GPS AIDED VISUAL SLAM ON URBAN ENVIRONMENTS 326
DAVID SCHLEICHER, LUIS M. BERGASA, MANUEL OCANA, RAFAEL BAREA, AND ELENA
LOPEZ
TOMOGRAPHIE IMAGE RECONSTRUCTION USING ABSTRACTIONS 334
J.A. ALVAREZ AND J. ROCA
UNSUPERVISED CLUSTERING USING DIFFUSION MAPS FOR LOCAL SHAPE MODELLING
342
DANIEL VALDES-AMARO AND ABHIR BHALERAO
SENSIBILITY ANALYSIS OF AN OBJECT MOVEMENT FORECAST APPROXIMATION IN
REAL IMAGE SEQUENCES 350
J.L. CRESPO, P. BERNARDOS, AND E. MORA
ANGULAR CONTOUR PARAMETERIZATION FOR SIGNATURE IDENTIFICATION 358 JUAN
CARLOS BRICENO, CARLOS M. TRAVIESO, MIGUEL A. FERRER, JESUS B. ALONSO,
AND FRANCISCO VARGAS
IMAGE SEQUENCES NOISE REDUCTION: AN OPTICAL FLOW BASED APPROACH 366
ROMAN DUDEK, CARMELO CUENCA, AND FRANCISCA QUINTANA
IMAGE 3
TABLE OF CONTENTS XI
MOBILE AND AUTONOMOUS SYSTEMS: ROBOTS AND CARS
FROM INDUSTRIAL TO UBIQITOUS ROBOTS 374
PETER KOPACEK
WIFI LOCALIZATION SYSTEM USING FUZZY RULE-BASED CLASSIFICATION 383 JOSE
M. ALONSO, MANUEL OCANA, MIGUEL A. SOTELO. LUIS M. BERGASA, AND LUIS
MAGDALENA
VEHICLE DETECTION BASED ON LASER RADAR 391
FERNANDO GARCIA, PIETRO CERRI, ALBERTO BROGGI, JOSE MARIA ARMINGOL, AND
ARTURO DE LA ESCALERA
BIOMIMETIC CONTROLLER FOR SITUATED ROBOTS BASED ON STATE-DRIVEN
BEHAVIOUR 398
GERHARD HOEFER AND MANFRED MAUERKIRCHNER
SUPPORTING INFORMATION SERVICES FOR TRAVELLERS OF PUBLIC TRANSPORT BY
ROAD 406
CARMELO R. GARCIA, RICARDO PEREZ, ALVARO LORENZ, FRANCISCO ALAYON, AND
GABINO PADRON
APPLYING REINFORCEMENT LEARNING TO MULTI-ROBOT SYSTEM BEHAVIOR
COORDINATION 413
YOLANDA SANZ, JAVIER DE LOPE, AND DARIO MARAVALL
SAFE CROSSROADS VIA VEHICLE TO VEHICLE COMMUNICATION 421
JAVIER ALONSO, VICENTE MILANES, ENRIQUE ONIEVA, JOSHUE PEREZ, AND
RICARDO GARCIA
COOPERATION ENFORCEMENT SCHEMES IN VEHICULAR AD-HOC NETWORKS 429 C.
HERNANDEZ-GOYA, P. CABALLERO-GIL, J. MOLINA-GIL, AND C. CABALLERO- GIL
COOPERATIVE AND COMPETITIVE BEHAVIORS IN A MULTI-ROBOT SYSTEM FOR
SURVEILLANCE TASKS 437
YADIRA QUINONEZ, JAVIER DE LOPE, AND DARIO MARAVALL
CONTROL ACTION CONTINUITY ON SITUATION-BASED OBSTACLE AVOIDANCE 445 D.
HERNANDEZ, J. CABRERA, A. DOMINGUEZ, AND J. ISERN
SIMULATION BASED SYSTEM OPTIMIZATION
TRAFFIC SIGNALS IN TRAFFIC CIRCLES: SIMULATION AND OPTIMIZATION BASED
EFFICIENCY STUDY 453
JAVIER J. SANCHEZ MEDINA, MANUEL J. GALAN MORENO, MOISES DIAZ CABRERA,
AND ENRIQUE RUBIO ROYO
IMAGE 4
XII TABLE OF CONTENTS
INTEGRATED SYSTEM AND NETWORK SIMULATION OF A 5.8 GHZ LOCAL POSITIONING
SYSTEM 461
RALF MOSSHAMMER, RALF EICKHOFF, MARIO HUEMER, AND ROBERT WEIGEL
SIMULATION BASED OPTIMIZATION OF VERTEX PACKING DECODING ALGORITHMS 469
MICHAEL LUNGLMAYR, JENS BERKMANN, AND MARIO HUEMER
DIVERSITY ORDER OF SPATIAL MULTIPLEXING WITH TRANSMIT ANTENNA
CORRELATION BASED PRECODING 477
CHRISTIAN HOFBAUER, YANN LEBRUN, VALERY RAMON. ANDRE BOURDOUX, FRANCOIS
HORLIN, AND MARIO HUEMER
SOFTWARE SIMULATOR TO MODEL AN ENERGY AUTONOMOUS SYSTEM 485 FRANCISCO
CABRERA, VICTOR ARANA, LOURDES SUAREZ, GONZALO GUTIERREZ, AND CARLOS M.
TRAVIESO
SIGNAL PROCESSING METHODS IN SYSTEMS DESIGN AND CYBERNETICS
ON STOCHASTIC VARIATION IN DISCRETE TIME SYSTEMS 492
YASUSHI ENDOW
CONVOLUTION ON FINITE GROUPS AND FIXED-POLARITY POLYNOMIAL EXPRESSIONS
501
RADOMIR S. STANKOVIC, JAAKKO T. ASTOLA, AND CLAUDIO MORAGA
REVERSIBLE SYNTHESIS THROUGH SHARED FUNCTIONAL DECISION DIAGRAMS 510
MILENA STANKOVIC AND SUZANA STOJKOVIE
TERNARY HAAR-LIKE TRANSFORM AND ITS APPLICATION IN SPECTRAL
REPRESENTATION OF TERNARY-VALUED FUNCTIONS 518
SUSANNA MINASYAN. RADOMIR STANKOVIC, AND JAAKKO ASTOLA
COMPLETE SETS OF HAMILTONIAN CIRCUITS FOR CLASSIFICATION OF DOCUMENTS
526
BERND* STEINBACH AND CHRISTIAN POSTHOFF
SPICE SIMULATION OF ANALOG FILTERS: A METHOD FOR DESIGNING DIGITAL
FILTERS 534
CORNELIU RUSU, LACRIMIOARA GRAMA, AND JARMO TAKALA
A HETEROGENEOUS DECISION DIAGRAM PACKAGE 540
D. MICHAEL MILLER AND RADOMIR S. STANKOVIC
WALSH MATRICES IN THE DESIGN OF INDUSTRIAL EXPERIMENTS 548
CLAUDIO MORAGA AND HECTOR ALLENDE
IMAGE 5
TABLE OF CONTENTS XIII
D Y N A M IC B E H A V I OR OF T I M E - D O M A IN F E A T U R ES FOR P
R O S T H E S IS C O N T R OL . . .. 5 55
STEFAN HERRMANN AND KLAUS J. BUCHENRIEDER
DECOMPOSING PATTERN MATCHING CIRCUIT 563
GRZEGORZ BOROWIK AND TADEUSZ LUBA
HARDWARE APPROACH TO ARTIFICIAL HAND CONTROL BASED ON SELECTED DFT
POINTS OF MYOPOTENTIAL SIGNALS 571
PRZEMYSLAW M. SZECOWKA, JADWIGA PEDZINSKA-RZANY, AND ANDRZEJ R.
WOLCZOWSKI
SYSTEM APPROACH TO COMPLEX SIGNAL PROCESSING TASK 579
VACLAV GERLA, VIADANA DJORDJEVIC, LENKA LHOTSKA, AND VLADIMIR KRAJCA
POLYNOMIAL MODELS IN CONTROL SYSTEM DESIGN
SYMBOLIC COMPUTATIONS ON RINGS OF RATIONAL FUNCTIONS AND APPLICATIONS IN
CONTROL ENGINEERING 587
N.P. KARAMPETAKIS, E.N. ANTONIOU, A.I.G. VARDULAKIS, AND S.
VOLOGIANNIDIS
NONLINEAR SYSTEMS: A POLYNOMIAL APPROACH 595
MIROSLAV HALAS
ROBUST CONTROL OF A TWO TANK SYSTEM USING ALGEBRAIC APPROACH 603 MAREK
DLAPA, ROMAN PROKOP, AND MONIKA BAKOSOVA
COMPARING ALGEBRAIC AND CONSTRAINED POLE ASSIGNMENT CONTROLLERS FOR A
THERMAL SYSTEM 610
MIKULAS HUBA, FRANTISEK JELENCIAK, AND PETER TAPAK
NONLINEAR CONTROLLERS FOR A FLUID TANK SYSTEM 618
VLADIMIR ZILKA, MIROSLAV HALAS, AND MIKULAS HUBA
PRE-IDENTIFICATION FOR REAL-TIME CONTROL 626
KAREL PERVIKA
REALIZATION OF CONTINUOUS-TIME NONLINEAR INPUT-OUTPUT EQUATIONS:
POLYNOMIAL APPROACH 633
MARIS TOENSO AND VILE KOTTA
HEURISTIC PROBLEM SOLVING
USING HEURISTIC OPTIMIZATION FOR SEGMENTATION OF SYMBOLIC MUSIC 641
BRIGITTE RAFAEL, STEFAN OERTL, MICHAEL AFFENZELLER. AND STEFAN WAGNER
IMAGE 6
XIV TABLE OF CONTENTS
FITTING RECTANGULAR SIGNALS TO TIME SERIES DATA BY METAHEURISTIC
ALGORITHMS 649
ANDREAS M. CHWATAL AND GUENTHER R. RAIDL
VIRTUAL SENSORS FOR EMISSIONS OF A DIESEL ENGINE PRODUCED BY
EVOLUTIONARY SYSTEM IDENTIFICATION 657
STEPHAN M. WINKLER, MARKUS HIRSCH, MICHAEL AFFENZELLER, LUIGI DEL RE.
AND STEFAN WAGNER
SOLVING THE EUCLIDEAN BOUNDED DIAMETER MINIMUM SPANNING TREE PROBLEM BY
CLUSTERING-BASED (META-)HEURISTICS 665
MARTIN GRUBER AND GUENTHER R. RAIDL
SOLVING THE RECTANGLE PACKING PROBLEM BY AN ITERATIVE HYBRID HEURISTIC
673
DAVID BELTRAN-CANO, BELEN MELIAN-BATISTA, AND J. MARCOS MORENO-VEGA
NEW APPROXIMATION-BASED LOCAL SEARCH ALGORITHMS FOR THE PROBABILISTIC
TRAVELING SALESMAN PROBLEM 681
DENNIS WEYLAND, LEONORA BIANCHI, AND LUCA MARIA GAMBARDELLA
EVOLVING 6-STATE AUTOMATA FOR OPTIMAL BEHAVIORS OF CREATURES COMPARED TO
EXHAUSTIVE SEARCH 689
PATRICK EDIGER, ROLF HOFFMANN, AND MATHIAS HALBACH
ANALYSIS OF THE PROPERTIES OF THE HARMONY SEARCH ALGORITHM CARRIED OUT
ON THE ONE DIMENSIONAL BINARY KNAPSACK PROBLEM 697
JERZY GREBLICKI AND JERZY KOTOWSKI
AN ALGORITHM OF SCHEDULE PLANNING FOR TANKER DRIVERS 705
JERZY GREBLICKI AND JERZY KOTOWSKI
A KRUSKAL- BASED HEURISTIC FOR THE ROOTED DELAY-CONST RAINED MINIMUM
SPANNING TREE PROBLEM 713
MARIO RUTHMAIR AND GUENTHER R. RAIDL
APPLYING ANT COLONY OPTIMISATION TO DYNAMIC PICKUP AND DELIVERY . .. 721
MARTIN ANKERL AND ALEXANDER HAEMMERTE
MODEL DRIVEN RAPID PROTOTYPING OF HEURISTIC OPTIMIZATION ALGORITHMS 729
STEFAN WAGNER, GABRIEL KRONBERGER, ANDREAS BEHAM, STEPHAN WINKLER, AND
MICHAEL AFFENZELLER
HEURISTIC METHODS FOR SEARCHING AND CLUSTERING HIERARCHICAL WORKFLOWS
737
MICHAEL KASTNER, MOHAMED WAGDY SALEH, STEFAN WAGNER, MICHAEL
AFFENZELLER, AND WITOLD JACAK
IMAGE 7
TABLE OF CONTENTS XV
MODEL INSTABILITY IN MICROARRAY GENE EXPRESSION CLASS PREDICTION STUDIES
745
HENRYK MACIEJEWSKI AND PIOTR TWAROG
CONFLICT RESOLUTION IN MULTIAGENT SYSTEMS BASED ON WIRELESS SENSOR
NETWORKS 753
WITOLD JACAK AND KARIN PROLI
EVOLUTIONARY SELECTION IN SIMULATION-BASED OPTIMIZATION 761
ANDREAS BEHAM, MONIKA KOFIER, MICHAEL AFFENZELLER, AND STEFAN WAGNER
FEATURE SELECTION BASED ON PAIRWISE CLASSIFICATION PERFORMANCE 769
STEPHAN DREISEITL AND MELANIE OSI
ON THE INFLUENCE OF SELECTION SCHEMES ON THE GENETIC DIVERSITY IN
GENETIC ALGORITHMS 777
MICHAEL AFFENZELLER, STEPHAN WINKLER, ANDREAS BEHAM, AND STEFAN WAGNER
SOLVING A REAL-WORLD FAP USING THE SCATTER SEARCH METAHEURISTIC 785 JOSE
M. CHAVES-GONZALEZ, MIGUEL A. VEGA-RODRIGUEZ. JUAN A. G ORNEZ-PULIDO,
AND JUAN M. SANCHEZ-PEREZ
ON THE SUCCESS RATE OF CROSSOVER OPERATORS FOR GENETIC PROGRAMMING WITH
OFFSPRING SELECTION 793
GABRIEL KRONBERGER. STEPHAN WINKLER, MICHAEL AFFENZELLER. ANDREAS BEHAM,
AND STEFAN WAGNER
ON STRUCTURAL IDENTIFICATION OF 2D REGRESSION FUNCTIONS FOR INDOOR
BLUETOOTH LOCALIZATION 801
RENE MAYRHOFER, STEPHAN WINKLER, HELMUT HLAVACS, MICHAEL AFFENZELLER,
AND STEFAN SCHNEIDER
GRID-ENABLED MUTATION-BASED GENETIC ALGORITHM TO OPTIMISE NUCLEAR FUSION
DEVICES 809
ANTONIO GOMEZ-IGLESIAS, MIGUEL A. VEGA-RODRIGUEZ, FRANCISCO
CASTEJON-MAGANA, MIGUEL CARDENAS-MONTES, AND ENRIQUE MORALES-RAMOS
PRIORITY RULE GENERATION WITH A GENETIC ALGORITHM TO MINIMIZE SEQUENCE
DEPENDENT SETUP COSTS 817
MONIKA KOFIER, STEFAN WAGNER, ANDREAS BEHAM, GABRIEL KRONBERGER, AND
MICHAEL AFFENZELLER
A GRASP-VNS HYBRID FOR THE FUZZY VEHICLE ROUTING PROBLEM WITH TIME
WINDOWS 825
J. BRITO, F.J. MARTINEZ, J.A. MORENO, AND J.L. VERDEGAY
IMAGE 8
XVI TABLE OF CONTENTS
SIMULATION AND FORMAL METHODS IN SYSTEMS DESIGN AND ENGINEERING
PERFORMANCE MODELLING FOR AVIONICS SYSTEMS 833
VISAR JANUZAJ, RALF MAUERSBERGER, AND FLORIAN BIECHELE
OBJECT-ORIENTED PETRI NETS-BASED MODELING OF RESOURCES IN PROJECT
ENGINEERING 841
VLADIMIR JANOUSEK AND SARKA KVETONOVA
SIMULATION BASED DESIGN OF CONTROL SYSTEMS USING DEVS AND PETRI NETS 849
RADEK KOCI AND VLADIMIR JANOUSEK
TRANSFORMING UML-BASED SYSTEM DESCRIPTIONS INTO SIMULATION MODELS AS
PART OF SYSTEM DEVELOPMENT FRAMEWORKS 857
ANDREAS W. LIEHR AND KLAUS J. BUCHENRIEDER
MODEL-BASED DESIGN AND VERIFICATION OF REACTIVE SYSTEMS 865 JIFI HYSEK,
MILAN CESKA, AND VLADIMIR JANOUSEK
RESONANT TUNNELLING DIODE-BASED CIRCUITS: SIMULATION AND SYNTHESIS . . .
873 MAREK A. BAWIEC
A PRACTICAL METHODOLOGY FOR INTEGRATION TESTING 881
LAURA M. CASTRO, MIGUEL A. FRANCISCO, AND VICTOR M. GULIAS
MODELS OF CO-OPERATIVE ENGINEERING SYSTEMS
SAFETY ORIENTED LAPAROSCOPIE SURGERY TRAINING SYSTEM 889
ANDRZEJ WYTYCZAK-PARTYKA, JAN NIKODEM, RYSZARD KLEMPOUS, JERZY
ROZENBLIT, RADOSLAW KLEMPOUS, AND IMRE RUDAS
CO-OPERATIVE EXTENDED KOHONEN MAPPING (EKM) FOR WIRELESS SENSOR NETWORKS
897
ZENON CHACZKO, PEREZ MOSES, AND CHRISTOPHER CHIU
MORPHOTRONIC SYSTEM APPLICATIONS 905
ZENON CHACZKO AND GERMANO RESCONI
SNIPER: A WIRELESS SENSOR NETWORK SIMULATOR 913
SOURENDRA SINHA, ZENON CHACZKO, AND RYSZARD KLEMPOUS
EMBEDDED FORTRESS -SOFTWARE ENVIRONMENT FOR INTELLECTUAL PROPERTY
PROTECTION IN EMBEDDED SYSTEMS 921
ADAM HANDZLIK, TOMASZ ENGLERT, AND ANDRZEJ JABLONSKI
IMAGE 9
TABLE OF CONTENTS XVII
COLLABORATIVE XML DOCUMENT VERSIONING 930
SEBASTIAN RO NNAU AND UWE M. BORGHOFF
PARALLEL DISTRIBUTED GENETIC ALGORITHM FOR EXPENSIVE MULTI-OBJECTIVE
OPTIMIZATION PROBLEMS 938
EWA SZLACHCIC AND WALDEMAR ZUBIK
AUTHOR INDEX 947
|
| any_adam_object | 1 |
| author_GND | (DE-588)123304377 |
| author_corporate | EUROCAST Las Palmas |
| author_corporate_role | aut |
| author_facet | EUROCAST Las Palmas |
| author_sort | EUROCAST Las Palmas |
| building | Verbundindex |
| bvnumber | BV035776341 |
| classification_rvk | SS 4800 |
| classification_tum | MSR 580f |
| ctrlnum | (OCoLC)634468208 (DE-599)DNB996662553 |
| dewey-full | 004.2 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.2 |
| dewey-search | 004.2 |
| dewey-sort | 14.2 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01961nam a2200445 cb4500</leader><controlfield tag="001">BV035776341</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100809 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">091019s2009 ad|| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N39,0013</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">996662553</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642047718</subfield><subfield code="c">PB. : EUR 110.21 (freier Pr.), sfr 160.00 (freier Pr.)</subfield><subfield code="9">978-3-642-04771-8</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642047718</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12769384</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634468208</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB996662553</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MSR 580f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">EUROCAST</subfield><subfield code="n">12</subfield><subfield code="d">2009</subfield><subfield code="c">Las Palmas</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)16025190-4</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer Aided Systems Theory - EUROCAST 2009</subfield><subfield code="b">12th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers</subfield><subfield code="c">Roberto Moreno Díaz ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 950 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">5717</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CAST</subfield><subfield code="0">(DE-588)4234274-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2009</subfield><subfield code="z">Las Palmas de Gran Canaria</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">CAST</subfield><subfield code="0">(DE-588)4234274-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Moreno-Díaz, Roberto</subfield><subfield code="d">1939-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)123304377</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">5717</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5717</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018635930&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018635930</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Las Palmas de Gran Canaria gnd-content |
| genre_facet | Konferenzschrift 2009 Las Palmas de Gran Canaria |
| id | DE-604.BV035776341 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:04:17Z |
| institution | BVB |
| institution_GND | (DE-588)16025190-4 |
| isbn | 9783642047718 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018635930 |
| oclc_num | 634468208 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XVII, 950 S. Ill., graph. Darst. 235 mm x 155 mm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | EUROCAST 12 2009 Las Palmas Verfasser (DE-588)16025190-4 aut Computer Aided Systems Theory - EUROCAST 2009 12th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers Roberto Moreno Díaz ... (eds.) Berlin [u.a.] Springer 2009 XVII, 950 S. Ill., graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 5717 CAST (DE-588)4234274-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Las Palmas de Gran Canaria gnd-content CAST (DE-588)4234274-0 s DE-604 Moreno-Díaz, Roberto 1939- Sonstige (DE-588)123304377 oth Lecture Notes in Computer Science 5717 (DE-604)BV000000607 5717 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018635930&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Computer Aided Systems Theory - EUROCAST 2009 12th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers Lecture Notes in Computer Science CAST (DE-588)4234274-0 gnd |
| subject_GND | (DE-588)4234274-0 (DE-588)1071861417 |
| title | Computer Aided Systems Theory - EUROCAST 2009 12th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers |
| title_auth | Computer Aided Systems Theory - EUROCAST 2009 12th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers |
| title_exact_search | Computer Aided Systems Theory - EUROCAST 2009 12th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers |
| title_full | Computer Aided Systems Theory - EUROCAST 2009 12th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers Roberto Moreno Díaz ... (eds.) |
| title_fullStr | Computer Aided Systems Theory - EUROCAST 2009 12th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers Roberto Moreno Díaz ... (eds.) |
| title_full_unstemmed | Computer Aided Systems Theory - EUROCAST 2009 12th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers Roberto Moreno Díaz ... (eds.) |
| title_short | Computer Aided Systems Theory - EUROCAST 2009 |
| title_sort | computer aided systems theory eurocast 2009 12th international conference on computer aided systems theory las palmas de gran canaria spain february 15 20 2009 revised selected papers |
| title_sub | 12th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers |
| topic | CAST (DE-588)4234274-0 gnd |
| topic_facet | CAST Konferenzschrift 2009 Las Palmas de Gran Canaria |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018635930&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT eurocastlaspalmas computeraidedsystemstheoryeurocast200912thinternationalconferenceoncomputeraidedsystemstheorylaspalmasdegrancanariaspainfebruary15202009revisedselectedpapers AT morenodiazroberto computeraidedsystemstheoryeurocast200912thinternationalconferenceoncomputeraidedsystemstheorylaspalmasdegrancanariaspainfebruary15202009revisedselectedpapers |