12. EUROCAST 2009:
Las Palmas de Gran Canaria,
Canary Islands,
Spain
Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia (Eds.):
Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers.
Lecture Notes in Computer Science 5717 Springer 2009, ISBN 978-3-642-04771-8 
Systems Theory and Simulation:
Formal Approaches
- Josef Scharinger:
Kolmogorov Stream Ciphers.
1-8
- Germano Resconi, Zenon Chaczko:
Morphotronic System (Theory).
9-16
- Margaret Miró-Julià:
Knowledge Discovery in Databases Using Multivalued Array Algebra.
17-24
- Roberto Moreno-Díaz, Arminda Moreno-Díaz, Gabriel de Blasio:
Local Space-Time Systems Simulation of Linear and Non-linear Retinal Processes.
25-32
- Gabriel de Blasio, Roberto Moreno-Díaz Jr., Roberto Moreno-Díaz:
Analytical Representation of Intrinsic Directionality in Retinal Cells.
33-40
- Franz Pichler:
Linear Complexity Measures for Multi-valued Cryptographic Data Streams by Application of the Rissanen Partial Realization Method.
41-46
- Dominik Jochinger:
A Software Implementation of the Rissanen Method for Partial Linear Systems Realization.
47-52
- Markus Schwaninger, Stefan Groesser:
New Frontiers in the Validation of Simulation Models-Structural Dominance Analysis.
53-62
- Rainer Findenig, Florian Eibensteiner, Markus Pfaff:
Optimizing the Hardware Usage of Parallel FSMs.
63-68
- Florian Eibensteiner, Rainer Findenig, Markus Pfaff:
SynPSL: Behavioral Synthesis of PSL Assertions.
69-74
- José Antonio Martin H., Javier de Lope Asiaín:
Learning Autonomous Helicopter Flight with Evolutionary Reinforcement Learning.
75-82
- Jan Nikodem:
Designing Communication Space in Wireless Sensor Network Based on Relational Attempt.
83-90
- Maciej Nikodem:
Boundary Scan Security Enhancements for a Cryptographic Hardware.
91-97
- Jerzy W. Greblicki, Jerzy Kotowski:
Automated Design of Totally Self-Checking Sequential Circuits.
98-105
- Adrián Peñate Sánchez, Alexis Quesada-Arencibia, Roberto Moreno-Díaz Jr.:
A General Purpouse Control System.
106-112
Computation and Simulation in Modelling Biological Systems
- Giuseppina Albano, Virginia Giorno:
On the First Exit Time Problem for a Gompertz-Type Tumor Growth.
113-120
- Antonio Di Crescenzo, Barbara Martinucci:
A Neuronal Model with Excitatory and Inhibitory Inputs Governed by a Birth-Death Process.
121-128
- Roberta di Cesare, Virginia Giorno, Amelia G. Nobile:
Diffusion Processes Subject to Catastrophes.
129-136
- Víctor D. Díaz-Suárez, Carlos M. Travieso, Javier González-Fernández, Miguel A. Ferrer, Luis Gómez, Jesús B. Alonso:
Automatic System Identification of Tissue Abnormalities Based on 2D B-Mode Ultrasound Images.
137-142
- José Luís S. Da Fonseca, José Barahona da Fonseca, Isabel Barahona da Fonseca:
Vision-An Essay from a Computational View Point.
143-151
- Aniello Buonocore, Luigia Caputo, Enrica Pirozzi, Luigi M. Ricciardi:
On a Generalized Leaky Integrate-and-Fire Model for Single Neuron Activity.
152-158
- Andreas Schierwagen:
Mathematical and Computational Modeling of Neurons and Neuronal Ensembles.
159-166
Intelligent Information Processing
- Antonio Blanco, Enrique Freire Brañas, José Luis Freire, Javier París:
The Foldl Operator as a Coequalizer Using Coq.
167-176
- José Manuel Casas, Manuel A. Insua, Manuel Ladra, Susana Ladra:
Algorithm for Testing the Leibniz Algebra Structure.
177-186
- Beatriz Remeseiro, Noelia Barreira, David Calvo, Marcos Ortega, Manuel G. Penedo:
Automatic Drusen Detection from Digital Retinal Images: AMD Prevention.
187-194
- Maria Taboada, Maria Meizoso, Diego Martínez, S. Tellado:
A Study of Extracting Knowledge from Guideline Documents.
195-202
- Jesús Aransay, César Domínguez:
Modelling Differential Structures in Proof Assistants: The Graded Case.
203-210
- Marcos Ortega, José Rouco, Jorge Novo, Manuel G. Penedo:
Vascular Landmark Detection in Retinal Images.
211-217
- David Horat, Alexis Quesada-Arencibia:
Web Applications: A Proposal to Improve Response Time and Its Application to MOODLE.
218-225
- Octavio Santana Suárez, José Rafael Pérez Aguiar, Idafen Santana Pérez, Rubén Quesada López:
Functional Disambiguation Using the Syntactic Structures Algorithm for Each Functional Interpretation for Spanish Language.
226-230
- Reinhard Stumptner, Bernhard Freudenthaler, Josef Küng:
On Similarity in Case-Based Reasoning for Structural Health Monitoring.
231-238
- Javier París, Víctor M. Gulías, Carlos Abalde:
A Distributed System for Massive Generation of Synthetic Video Using GPUs.
239-246
- M. Eduardo Ares, Alvaro Barreiro:
Using a Rank Fusion Technique to Improve Shot Boundary Detection Effectiveness.
247-254
- José M. Juárez, Patricia Martinez, Manuel Campos, José Palma:
Step-Guided Clinical Workflow Fulfilment Measure for Clinical Guidelines.
255-262
- Clara Benac Earle, Lars-Åke Fredlund:
Debugging and Verification of Multi-Agent Systems.
263-270
- Alberto Salguero, Cecilia Delgado, Francisco Araque:
Easing the Definition of N-Ary Relations for Supporting Spatio-Temporal Models in OWL.
271-278
Applied Formal Verification
- Cyrille Artho:
Separation of Transitions, Actions, and Exceptions in Model-Based Testing.
279-286
- Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina:
Automatic Test Generation for Coverage Analysis Using CBMC.
287-294
- Vendula Hrubá, Bohuslav Krena, Tomás Vojnar:
Self-healing Assurance Based on Bounded Model Checking.
295-303
- Robert Brummayer, Armin Biere:
Effective Bit-Width and Under-Approximation.
304-311
- Klaus Wolfmaier, Rudolf Ramler, Gabor Guta, Heinz Dobler:
Observable Runtime Behavior for Defects Indicated by Automated Static Analysis.
312-319
Computer Vision and Image Processing
- D. Balcones, David Fernández Llorca, Miguel Ángel Sotelo, Miguel Gavilán, Sergio Alvarez, Ignacio Parra, Manuel Ocaña:
Real-Time Vision-Based Vehicle Detection for Rear-End Collision Mitigation Systems.
320-325
- David Schleicher, Luis Miguel Bergasa, Manuel Ocaña, Rafael Barea, Elena López Guillén:
Real-Time Hierarchical GPS Aided Visual SLAM on Urban Environments.
326-333
- José Antonio Álvarez, Javier Roca Piera:
Tomographic Image Reconstruction Using Abstractions.
334-341
- Daniel Valdes-Amaro, Abhir Bhalerao:
Unsupervised Clustering Using Diffusion Maps for Local Shape Modelling.
342-349
- José Luis Crespo, Pilar Bernardos, Eduardo Mora:
Sensibility Analysis of an Object Movement Forecast Approximation in Real Image Sequences.
350-357
- Juan Carlos Briceño, Carlos M. Travieso, Miguel A. Ferrer, Jesús B. Alonso, Francisco Vargas:
Angular Contour Parameterization for Signature Identification.
358-365
- Roman Dudek, Carmelo Cuenca, Francisca Quintana:
Image Sequences Noise Reduction: An Optical Flow Based Approach.
366-373
Mobile and Autonomous Systems:
Robots and Cars
- Peter Kopacek:
From Industrial to Ubiqitous Robots.
374-382
- José M. Alonso, Manuel Ocaña, Miguel Ángel Sotelo, Luis Miguel Bergasa, Luis Magdalena:
WiFi Localization System Using Fuzzy Rule-Based Classification.
383-390
- Fernando Garcia, Pietro Cerri, Alberto Broggi, Jose M. Armingol, Arturo de la Escalera:
Vehicle Detection Based on Laser Radar.
391-397
- Gerhard Hoefer, Manfred Mauerkirchner:
Biomimetic Controller for Situated Robots Based on State-Driven Behaviour.
398-405
- Carmelo R. García, Ricardo Pérez, Álvaro Lorenz, Francisco Alayón Hernández, Gabino Padrón:
Supporting Information Services for Travellers of Public Transport by Road.
406-412
- Yolanda Sanz, Javier de Lope Asiaín, Darío Maravall:
Applying Reinforcement Learning to Multi-robot System Behavior Coordination.
413-420
- Javier Alonso, Vicente Milanés, Enrique Onieva, Joshué Pérez, Ricardo García:
Safe Crossroads via Vehicle to Vehicle Communication.
421-428
- Candelaria Hernández-Goya, Pino Caballero-Gil, Jezabel Molina-Gil, Cándido Caballero-Gil:
Cooperation Enforcement Schemes in Vehicular Ad-Hoc Networks.
429-436
- Yadira Quiñonez, Javier de Lope Asiaín, Darío Maravall:
Cooperative and Competitive Behaviors in a Multi-robot System for Surveillance Tasks.
437-444
- Daniel Hernández-Sosa, Jorge Cabrera-Gámez, Antonio Carlos Domínguez-Brito, José Isern González:
Control Action Continuity on Situation-Based Obstacle Avoidance.
445-452
Simulation Based System Optimization
- Javier J. Sánchez Medina, Manuel J. Galán Moreno, Moisés Díaz Cabrera, Enrique Rubio Royo:
Traffic Signals in Traffic Circles: Simulation and Optimization Based Efficiency Study.
453-460
- Ralf Mosshammer, Ralf Eickhoff, Mario Huemer, Robert Weigel:
Integrated System and Network Simulation of a 5.8GHz Local Positioning System.
461-468
- Michael Lunglmayr, Jens Berkmann, Mario Huemer:
Simulation Based Optimization of Vertex Packing Decoding Algorithms.
469-476
- Christian Hofbauer, Yann Y. L. Lebrun, Valery Ramon, André Bourdoux, François Horlin, Mario Huemer:
Diversity Order of Spatial Multiplexing with Transmit Antenna Correlation Based Precoding.
477-484
- Francisco Cabrera, Víctor Araña, Lourdes Suárez, Gonzalo Gutiérrez, Carlos M. Travieso:
Software Simulator to Model an Energy Autonomous System.
485-491
Signal Processing Methods in Systems Design and Cybernetics
- Yasushi Endow:
On Stochastic Variation in Discrete Time Systems.
492-500
- Radomir S. Stankovic, Jaakko Astola, Claudio Moraga:
Convolution on Finite Groups and Fixed-Polarity Polynomial Expressions.
501-509
- Milena Stankovic, Suzana Stojkovic:
Reversible Synthesis through Shared Functional Decision Diagrams.
510-517
- Susanna Minasyan, Radomir S. Stankovic, Jaakko Astola:
Ternary Haar-Like Transform and Its Application in Spectral Representation of Ternary-Valued Functions.
518-525
- Bernd Steinbach, Christian Posthoff:
Complete Sets of Hamiltonian Circuits for Classification of Documents.
526-533
- Corneliu Rusu, Lacrimioara Grama, Jarmo Takala:
SPICE Simulation of Analog Filters: A Method for Designing Digital Filters.
534-539
- D. Michael Miller, Radomir S. Stankovic:
A Heterogeneous Decision Diagram Package.
540-547
- Claudio Moraga, Héctor Allende:
Walsh Matrices in the Design of Industrial Experiments.
548-554
- Stefan Herrmann, Klaus Buchenrieder:
Dynamic Behavior of Time-Domain Features for Prosthesis Control.
555-562
- Grzegorz Borowik, Tadeusz Luba:
Decomposing Pattern Matching Circuit.
563-570
- Przemyslaw Szecówka, Jadwiga Pedzinska-Rzany, Andrzej Wolczowski:
Hardware Approach to Artificial Hand Control Based on Selected DFT Points of Myopotential Signals.
571-578
- Václav Gerla, Vladana Djordjevic, Lenka Lhotská, Vladimir Krajca:
System Approach to Complex Signal Processing Task.
579-586
Polynomial Models in Control System Design
- Nicholas P. Karampetakis, Efstathios N. Antoniou, Antonis-Ioannis G. Vardulakis, S. Vologiannidis:
Symbolic Computations on Rings of Rational Functions and Applications in Control Engineering.
587-594
- Miroslav Halás:
Nonlinear Systems: A Polynomial Approach.
595-602
- Marek Dlapa, Roman Prokop, Monika Bakosova:
Robust Control of a Two Tank System Using Algebraic Approach.
603-609
- Mikulás Huba, Frantisek Jelenciak, Peter Tapák:
Comparing Algebraic and Constrained Pole Assignment Controllers for a Thermal System.
610-617
- Vladimír Zilka, Miroslav Halás, Mikulás Huba:
Nonlinear Controllers for a Fluid Tank System.
618-625
- Karel Perutka:
Pre-identification for Real-Time Control.
626-632
- Maris Tõnso, Ülle Kotta:
Realization of Continuous-Time Nonlinear Input-Output Equations: Polynomial Approach.
633-640
Heuristic Problem Solving
- Brigitte Rafael, Stefan Oertl, Michael Affenzeller, Stefan Wagner:
Using Heuristic Optimization for Segmentation of Symbolic Music.
641-648
- Andreas M. Chwatal, Günther R. Raidl:
Fitting Rectangular Signals to Time Series Data by Metaheuristic Algorithms.
649-656
- Stephan M. Winkler, Markus Hirsch, Michael Affenzeller, Luigi del Re, Stefan Wagner:
Virtual Sensors for Emissions of a Diesel Engine Produced by Evolutionary System Identification.
657-664
- Martin Gruber, Günther R. Raidl:
Solving the Euclidean Bounded Diameter Minimum Spanning Tree Problem by Clustering-Based (Meta-)Heuristics.
665-672
- David Beltrán-Cano, Belén Melián-Batista, J. Marcos Moreno-Vega:
Solving the Rectangle Packing Problem by an Iterative Hybrid Heuristic.
673-680
- Dennis Weyland, Leonora Bianchi, Luca Maria Gambardella:
New Approximation-Based Local Search Algorithms for the Probabilistic Traveling Salesman Problem.
681-688
- Patrick Ediger, Rolf Hoffmann, Mathias Halbach:
Evolving 6-State Automata for Optimal Behaviors of Creatures Compared to Exhaustive Search.
689-696
- Jerzy W. Greblicki, Jerzy Kotowski:
Analysis of the Properties of the Harmony Search Algorithm Carried Out on the One Dimensional Binary Knapsack Problem.
697-704
- Jerzy W. Greblicki, Jerzy Kotowski:
An Algorithm of Schedule Planning for Tanker Drivers.
705-712
- Mario Ruthmair, Günther R. Raidl:
A Kruskal-Based Heuristic for the Rooted Delay-Constrained Minimum Spanning Tree Problem.
713-720
- Martin Ankerl, Alexander Hämmerle:
Applying Ant Colony Optimisation to Dynamic Pickup and Delivery.
721-728
- Stefan Wagner, Gabriel Kronberger, Andreas Beham, Stephan M. Winkler, Michael Affenzeller:
Model Driven Rapid Prototyping of Heuristic Optimization Algorithms.
729-736
- Michael Kastner, Mohamed Wagdy Saleh, Stefan Wagner, Michael Affenzeller, Witold Jacak:
Heuristic Methods for Searching and Clustering Hierarchical Workflows.
737-744
- Henryk Maciejewski, Piotr Twaróg:
Model Instability in Microarray Gene Expression Class Prediction Studies.
745-752
- Witold Jacak, Karin Pröll:
Conflict Resolution in Multiagent Systems Based on Wireless Sensor Networks.
753-760
- Andreas Beham, Monika Kofler, Michael Affenzeller, Stefan Wagner:
Evolutionary Selection in Simulation-Based Optimization.
761-768
- Stephan Dreiseitl, Melanie Osl:
Feature Selection Based on Pairwise Classification Performance.
769-776
- Michael Affenzeller, Stephan M. Winkler, Andreas Beham, Stefan Wagner:
On the Influence of Selection Schemes on the Genetic Diversity in Genetic Algorithms.
777-784
- José M. Chaves-González, Miguel A. Vega-Rodríguez, Juan Antonio Gómez Pulido, Juan Manuel Sánchez-Pérez:
Solving a Real-World FAP Using the Scatter Search Metaheuristic.
785-792
- Gabriel Kronberger, Stephan M. Winkler, Michael Affenzeller, Andreas Beham, Stefan Wagner:
On the Success Rate of Crossover Operators for Genetic Programming with Offspring Selection.
793-800
- Rene Mayrhofer, Stephan M. Winkler, Helmut Hlavacs, Michael Affenzeller, Stefan Schneider:
On Structural Identification of 2D Regression Functions for Indoor Bluetooth Localization.
801-808
- Antonio Gómez-Iglesias, Miguel A. Vega-Rodríguez, Francisco Castejón-Magaña, Miguel Cárdenas Montes, Enrique Morales-Ramos:
Grid-Enabled Mutation-Based Genetic Algorithm to Optimise Nuclear Fusion Devices.
809-816
- Monika Kofler, Stefan Wagner, Andreas Beham, Gabriel Kronberger, Michael Affenzeller:
Priority Rule Generation with a Genetic Algorithm to Minimize Sequence Dependent Setup Costs.
817-824
- Julio Brito, F. Javier Martínez, José Andrés Moreno, José L. Verdegay:
A GRASP-VNS Hybrid for the Fuzzy Vehicle Routing Problem with Time Windows.
825-832
Simulation and Formal Methods in Systems Design and Engineering
Models of Co-operative Engineering Systems
- Andrzej Wytyczak-Partyka, Jan Nikodem, Ryszard Klempous, Jerzy W. Rozenblit, Radoslaw Klempous, Imre J. Rudas:
Safety Oriented Laparoscopic Surgery Training System.
889-896
- Zenon Chaczko, Perez Moses, Christopher Chiu:
Co-operative Extended Kohonen Mapping (EKM) for Wireless Sensor Networks.
897-904
- Zenon Chaczko, Germano Resconi:
Morphotronic System Applications.
905-912
- Sourendra Nath Sinha, Zenon Chaczko, Ryszard Klempous:
SNIPER: A Wireless Sensor Network Simulator.
913-920
- Adam Handzlik, Tomasz Englert, Andrzej Jablonski:
Embedded Fortress - Software Environment for Intellectual Property Protection in Embedded Systems.
921-929
- Sebastian Rönnau, Uwe M. Borghoff:
Collaborative XML Document Versioning.
930-937
- Ewa Szlachcic, Waldemar Zubik:
Parallel Distributed Genetic Algorithm for Expensive Multi-Objective Optimization Problems.
938-946
Last update Fri May 25 05:59:04 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
