Muutke küpsiste eelistusi

Computer Aided Systems Theory -- EUROCAST 2013: 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part I 2013 ed. [Pehme köide]

  • Formaat: Paperback / softback, 518 pages, kõrgus x laius: 235x155 mm, kaal: 8132 g, 190 Illustrations, black and white; XXIV, 518 p. 190 illus., 1 Paperback / softback
  • Sari: Theoretical Computer Science and General Issues 8111
  • Ilmumisaeg: 18-Dec-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 364253855X
  • ISBN-13: 9783642538551
  • Pehme köide
  • Hind: 48,70 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 57,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
  • Formaat: Paperback / softback, 518 pages, kõrgus x laius: 235x155 mm, kaal: 8132 g, 190 Illustrations, black and white; XXIV, 518 p. 190 illus., 1 Paperback / softback
  • Sari: Theoretical Computer Science and General Issues 8111
  • Ilmumisaeg: 18-Dec-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 364253855X
  • ISBN-13: 9783642538551
The two-volume set LNCS 8111 and LNCS 8112 constitute the papers presented at the 14th International Conference on Computer Aided Systems Theory, EUROCAST 2013, held in February 2013 in Las Palmas de Gran Canaria, Spain. The total of 131 papers presented were carefully reviewed and selected for inclusion in the books. The contributions are organized in topical sections on modelling biological systems; systems theory and applications; intelligent information processing; theory and applications of metaheuristic algorithms; model-based system design, verification and simulation; process modeling simulation and system optimization; mobile and autonomous transportation systems; computer vision, sensing, image processing and medical applications; computer-based methods and virtual reality for clinical and academic medicine; digital signal processing methods and applications; mechatronic systems, robotics and marine robots; mobile computing platforms and technologies; systems applications.
Modelling Biological Systems
A Note on Some Past and Present Advances in Neuroscience: A Personal Perspective -- Dedicated to the Memory of Luigi Ricciardi
1(11)
K.N. Leibovic
Solving Towers of Hanoi and Related Puzzles
12(8)
Paul Cull
Leanne Merrill
Tony Van
Celeste Burkhardt
Tommy Pitts
Some Remarks on the First-Crossing Area of a Diffusion Process with Jumps over a Constant Barrier
20(8)
Marco Abundo
Mario Abundo
On a Bilateral Linear Birth and Death Process in the Presence of Catastrophes
28(8)
Virginia Giorno
Amelia G. Nobile
On the Dynamics of a Couple of Mutually Interacting Neurons
36(9)
A. Buonocore
L. Caputo
M.F. Carfora
E. Pirozzi
Soft Control of Self-organized Locally Interacting Brownian Planar Agents
45(8)
Guillaume Sartoretti
Max-Olivier Hongler
Some Results on Brownian Motion Perturbed by Alternating Jumps in Biological Modeling
53(8)
Antonio Di Crescenzo
Antonella Iuliano
Barbara Martinucci
A Stochastic Gompertz Model with Jumps for an Intermittent Treatment in Cancer Growth
61(8)
Virginia Giorno
Serena Spina
A New Diffusion Process to Epidemic Data
69(8)
Desire Romero
Nuria Rico
Maribel G-Arenas
Physical Activity Classification Using Resilient Backpropagation (RPROP) with Multiple Outputs
77(7)
Mustapha Maarouf
Blas J. Galvan-Gonzalez
On the Relevance of Discrepancy Norm for Similarity-Based Clustering of Delta-Event Sequences
84(8)
B. Moser
F. Eibensteiner
J. Kogler
Gernot Stubl
Systems Theory and Applications
Escaping the Linearity Trap: Better Simulation Models for Management Support
92(10)
Markus Schwaninger
Stefan N. Groesser
A Contribution to the Study of Classification and Regression Trees Using Multivalued Array Algebra
102(8)
Margaret Miro-Julia
Monica J. Ruiz-Miro
Modelling of Collective Animal Behavior Using Relations and Set Theory
110(8)
Jan Nikodem
Design of Decimation-Based Sequence Generators over Extended Fields
118(8)
A. Fuster-Sabater
O. Delgado-Mohatar
Control and Command Systems Concepts from Early Work on a Mars Rover
126(8)
Gabriel de Blasio
Arminda Moreno-Diaz
Roberto Moreno-Diaz
Transaction-Level Modeling and Refinement Using State Charts
134(8)
Rainer Findenig
Thomas Leitner
Wolfgang Ecker
Analysis of the New Standard Hash Function
142(8)
F. Martin-Fernandez
P. Caballero-Gil
Simulating Energy Efficiency of Routing and Link-Layer Protocols in Wireless Sensor Networks
150(8)
Mariusz Slabicki
Bartosz Wojciechowski
Intelligent Information Processing
Business Operation Improvement through Integrated Infrastructure Management
158(8)
Alberto Casanova
Laura M. Castro
Antonio Blanco-Ferro
Implementation of an IT-Services Practical Standard in Hotel and Tourism Industries
166(8)
Abraham Rodriguez-Rodriguez
Silvia Tejera-Correa
Samuel Jimenez-Jimenez
Roberto Moreno-Diaz Jr.
On the Relevance of Graphical Causal Models for Failure Detection for Industrial Machinery
174(8)
A.H. Kosorus
M. Zhariy
T. Natschlager
B. Freudenthaler
Josef Kung
A Hybrid Cloud Computing Approach for Intelligent Processing and Storage of Scientific Data
182(7)
David Horat
Eduardo Quevedo
Alexis Quesada-Arencibia
Formal Definition of Service Availability in Cloud Computing Using OWL
189(6)
Mariam Rady
Declarative Modeling and Bayesian Inference of Dark Matter Halos
195(8)
Gabriel Kronberger
Theory and Applications of Metaheuristic Algorithms
Feature Selection for Unsupervised Learning via Comparison of Distance Matrices
203(8)
Stephan Dreiseitl
Statistical Analysis of the Relationship between Spots and Structures in Microscopy Images
211(8)
Susanne Schaller
Jaroslaw Jacak
Rene Silye
Stephan M. Winkler
A Memetic Algorithm with Two Distinct Solution Representations for the Partition Graph Coloring Problem
219(8)
Petrica C. Pop
Bin Hu
Gunther R. Raidl
DNA Base-Code Generation for Bio-molecular Computing by Using a Multiobjective Approach Based on SPEA2
227(8)
Jose M. Chaves-Gonzalez
Miguel A. Vega-Rodriguez
A Multiobjective SFLA-Based Technique for Predicting Motifs in DNA Sequences
235(8)
David L. Gonzalez-Alvarez
Miguel A. Vega-Rodriguez
Optimizing the Location Areas Planning in the SUMATRA Network with an Adaptation of the SPEA2 Algorithm
243(8)
Victor Berrocal-Plaza
Miguel A. Vega-Rodriguez
Juan M. Sanchez-Perez
Efficient Multi-Objective Optimization Using 2-Population Cooperative Coevolution
251(8)
Alexandru-Ciprian Zavoianu
Edwin Lughofer
Wolfgang Amrhein
Erich Peter Klement
Solving a Vehicle Routing Problem with Ant Colony Optimisation and Stochastic Ranking
259(8)
Alexander Hammerle
Martin Ankerl
The Influence of Routing on Lateral Transshipment
267(9)
Richard F. Hartl
Martin Romauch
Structural Synthesis of Dispatching Rules for Dynamic Dial-a-Ride Problems
276(8)
Stefan Vonolfen
Andreas Beham
Michael Kommenda
Michael Affenzeller
On the Evolutionary Behavior of Genetic Programming with Constants Optimization
284(8)
Bogdan Burlacu
Michael Affenzeller
Michael Kommenda
Fitness Landscape Based Parameter Estimation for Robust Taboo Search
292(8)
Andreas Beham
Erik Pitzer
Michael Affenzeller
Bridging the Gap between Rich Supply Chain Problems and the Effective Application of Metaheuristics through Ontology-Based Modeling
300(8)
Corinna Engelhardt-Nowitzki
Stefan Rotter
Michael Affenzeller
Evolution of Covariance Functions for Gaussian Process Regression Using Genetic Programming
308(8)
Gabriel Kronberger
Michael Kommenda
Improving the Accuracy of Cancer Prediction by Ensemble Confidence Evaluation
316(8)
Michael Affenzeller
Stephen M. Winkler
Herbert Stekel
Stefan Forstenlechner
Stefan Wagner
Optimization of Container Terminal Problems: An Integrated Solution Approach
324(8)
Christopher Exposito-Izquierdo
Eduardo Lalla-Ruiz
Belen Melian-Batista
J. Marcos Moreno-Vega
An Improved Heuristic for the Probabilistic Traveling Salesman Problem with Deadlines Based on GPGPU
332(8)
Dennis Weyland
Roberto Montemanni
Luca Maria Gambardella
Measurement of Anisotropy in Fitness Landscapes
340(8)
Erik Pitzer
Michael Affenzeller
Optimization as a Service: On the Use of Cloud Computing for Metaheuristic Optimization
348(8)
Sebastian Pimminger
Stefan Wagner
Werner Kurschl
Johann Heinzelreiter
Yard Storage Assignment Optimisation with Neutral Walks
356(8)
Monika Kofler
Andreas Beham
Erik Pitzer
Stefan Wagner
Michael Affenzeller
An Analysis of the Intensification and Diversification Behavior of Different Operators for Genetic Algorithms
364(8)
Andreas Scheibenpflug
Stefan Wagner
A PILOT/VND/GRASP Hybrid for the Static Balancing of Public Bicycle Sharing Systems
372(8)
Petrina Papazek
Gunther R. Raidl
Marian Rainer-Harbach
Bin Hu
Enhancing a Genetic Algorithm with a Solution Archive to Reconstruct Cross Cut Shredded Text Documents
380(8)
Benjamin Biesinger
Christian Schauer
Bin Hu
Gunther R. Raidl
An Integrated Clustering and Classification Approach for the Analysis of Tumor Patient Data
388(8)
Stephan M. Winkler
Michael Affenzeller
Herbert Stekel
An Efficient and Self-adaptive Model Based on Scatter Search: Solving the Grid Resources Selection Problem
396(8)
Maria Boton-Fernandez
Miguel A. Vega-Rodriguez
Francisco Prieto-Castrillo
A Parallel Two-Level Multiobjective Artificial Bee Colony Approach for Traffic Grooming
404(8)
Alvaro Rubio-Largo
Miguel A. Vega-Rodriguez
A Parallel Multiobjective Algorithm Inspired by Fireflies for Inferring Evolutionary Trees on Multicore Machines
412(8)
Sergio Santander-Jimenez
Miguel A. Vega-Rodriguez
Nonlinear Least Squares Optimization of Constants in Symbolic Regression
420(8)
Michael Kommenda
Michael Affenzeller
Gabriel Kronberger
Stephan M. Winkler
Model-Based System Design, Verification and Simulation
Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets
428(8)
Petr Novosad
Milan Ceska
Petri Net Dynamic Partial Reconfiguration in FPGA
436(8)
Arkadiusz Bukowiec
Michal Doligalski
Operating System for Petri Nets-Specified Reconfigurable Embedded Systems
444(8)
Tomas Richta
Vladimir Janousek
Notification Concept for BPMN Workflow Interpreter Using the ASM Method
452(8)
Jan Kubovy
Josef Kung
An Abstraction of Multi-port Memories with Arbitrary Addressable Units
460(9)
Lukas Charvat
Ales Smrcka
Tomas Vojnar
Process Modeling, Simulation and System Optimization
Battery Internal State Estimation: Simulation Based Analysis on EKF and Auxiliary PF
469(7)
V. Pathuri-Bhuvana
C. Unterrieder
J. Fischer
Computer-Aided Optimization for Predictive Battery State-of-Charge Determination
476(7)
C. Unterrieder
M. Lunglmayr
S. Marsili
M. Huemer
Application of Artificial Neuron Networks and Hurst Exponent to Forecasting of Successive Values of a Time Series Representing Environmental Measurements in an Intelligent Building
483(8)
Andrzej Stachno
Andrzej Jablonski
Data Improvement to Enable Process Mining on Integrated Non-log Data Sources
491(8)
Reinhold Dunkl
Comparing Some Estimate Methods in a Gompertz-Lognormal Diffusion Process
499(8)
Nuria Rico
Desiree Romero
Maribel G. Arenas
Delta Analysis of Role-Based Access Control Models
507(8)
Maria Leitner
Author Index 515