Computer Aided Systems Theory-- EUROCAST 2013 : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers. Part I / edited by Roberto Moreno-Diaz, Franz Pichler, Alexis Quesada-Arencibia.
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 incl...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin :
Springer,
2013.
|
| Series: | Lecture notes in computer science ;
8111. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000xi 4500 | ||
|---|---|---|---|
| 001 | b7716093 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 140324s2013 gw a o 100 0 eng d | ||
| 005 | 20240418150654.6 | ||
| 020 | |a 9783642538568 |q (electronic bk.) | ||
| 020 | |a 3642538568 |q (electronic bk.) | ||
| 020 | |a 364253855X |q (print) | ||
| 020 | |a 9783642538551 |q (print) | ||
| 020 | |z 9783642538551 | ||
| 024 | 7 | |a 10.1007/978-3-642-53856-8 | |
| 035 | |a (OCoLC)spr874571173 | ||
| 035 | |a (OCoLC)874571173 | ||
| 037 | |a spr10.1007/978-3-642-53856-8 | ||
| 040 | |a GW5XE |b eng |e rda |e pn |c GW5XE |d OHS |d ZMC |d COO |d OCLCO |d OHI |d OCLCF |d YDXCP |d OCL |d OCLCO |d EBLCP |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d DIBIB |d OCLCO | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a TA345 | |
| 111 | 2 | |a International Conference on Computer Aided Systems Theory |n (14th : |d 2013 : |c Las Palmas, Canary Islands) |0 http://id.loc.gov/authorities/names/nb2014001597. | |
| 245 | 1 | 0 | |a Computer Aided Systems Theory-- EUROCAST 2013 : |b 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers. |n Part I / |c edited by Roberto Moreno-Diaz, Franz Pichler, Alexis Quesada-Arencibia. |
| 264 | 1 | |a Berlin : |b Springer, |c 2013. | |
| 300 | |a 1 online resource (xxiv, 518 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 8111. | |
| 490 | 1 | |a LNCS sublibrary. SL 1, Theoretical computer science and general issues. | |
| 505 | 0 | 0 | |t Modelling Biological Systems -- |t A Note on Some Past and Present Advances in Neuroscience: A Personal Perspective -- |t Solving Towers of Hanoi and Related Puzzles -- |t Some Remarks on the First-Crossing Area of a Diffusion Process with Jumps over a Constant Barrier -- |t On a Bilateral Linear Birth and Death Process in the Presence of Catastrophes -- |t On the Dynamics of a Couple of Mutually Interacting Neurons -- |t Soft Control of Self-organized Locally Interacting Brownian Planar Agents -- |t Some Results on Brownian Motion Perturbed by Alternating Jumps in Biological Modeling -- |t A Stochastic Gompertz Model with Jumps for an Intermittent Treatment in Cancer Growth -- |t A New Diffusion Process to Epidemic Data -- |t Physical Activity Classification Using Resilient Backpropagation (RPROP) with Multiple Outputs -- |t On the Relevance of Discrepancy Norm for Similarity-Based Clustering of Delta-Event Sequences -- |t Systems Theory and Applications. |
| 505 | 8 | 0 | |t Escaping the Linearity Trap: Better Simulation Models for Management Support -- |t A Contribution to the Study of Classification and Regression Trees Using Multivalued Array Algebra -- |t Modelling of Collective Animal Behavior Using Relations and Set Theory -- |t Design of Decimation-Based Sequence Generators over Extended Fields -- |t Control and Command Systems Concepts from Early Work on a Mars Rover -- |t Transaction-Level Modeling and Refinement Using State Charts -- |t Analysis of the New Standard Hash Function -- |t Simulating Energy Efficiency of Routing and Link-Layer Protocols in Wireless Sensor Networks -- |t Intelligent Information Processing -- |t Business Operation Improvement through Integrated Infrastructure Management -- |t Implementation of an IT-Services Practical Standard in Hotel and Tourism Industries -- |t On the Relevance of Graphical Causal Models for Failure Detection for Industrial Machinery. |
| 505 | 8 | 0 | |t A Hybrid Cloud Computing Approach for Intelligent Processing and Storage of Scientific Data -- |t Formal Definition of Service Availability in Cloud Computing Using OWL -- |t Declarative Modeling and Bayesian Inference of Dark Matter Halos -- |t Theory and Applications of Metaheuristic Algorithms -- |t Feature Selection for Unsupervised Learning via Comparison of Distance Matrices -- |t Statistical Analysis of the Relationship between Spots and Structures in Microscopy Images -- |t A Memetic Algorithm with Two Distinct Solution Representations for the Partition Graph Coloring Problem -- |t DNA Base-Code Generation for Bio-molecular Computing by Using a Multiobjective Approach Based on SPEA2 -- |t A Multiobjective SFLA-Based Technique for Predicting Motifs in DNA Sequences -- |t Optimizing the Location Areas Planning in the SUMATRA Network with an Adaptation of the SPEA2 Algorithm -- |t Efficient Multi-Objective Optimization Using 2-Population Cooperative Coevolution. |
| 505 | 8 | 0 | |t Solving a Vehicle Routing Problem with Ant Colony Optimisation and Stochastic Ranking -- |t The Influence of Routing on Lateral Transhipment -- |t Structural Synthesis of Dispatching Rules for Dynamic Dial-a-Ride Problems -- |t On the Evolutionary Behavior of Genetic Programming with Constants Optimization -- |t Fitness Landscape Based Parameter Estimation for Robust Taboo Search -- |t Bridging the Gap between Rich Supply Chain Problems and the Effective Application of Metaheuristics through Ontology-Based Modeling -- |t Evolution of Covariance Functions for Gaussian Process Regression Using Genetic Programming -- |t Improving the Accuracy of Cancer Prediction by Ensemble Confidence Evaluation -- |t -- |t Optimization of Container Terminal Problems: An Integrated Solution Approach -- |t An Improved Heuristic for the Probabilistic Traveling Salesman Problem with Deadlines Based on GPGPU -- |t Measurement of Anisotropy in Fitness Landscapes -- |t Optimization as a Service: On the Use of Cloud Computing for Metaheuristic Optimization. |
| 505 | 8 | 0 | |t Yard Storage Assignment Optimisation with Neutral Walks -- |t An Analysis of the Intensification and Diversification Behavior of Different Operators for Genetic Algorithms -- |t A PILOT/VND/GRASP Hybrid for the Static Balancing of Public Bicycle Sharing Systems -- |t Enhancing a Genetic Algorithm with a Solution Archive to Reconstruct Cross Cut Shredded Text Documents -- |t An Integrated Clustering and Classification Approach for the Analysis of Tumor Patient Data -- |t An Efficient and Self-adaptive Model Based on Scatter Search: Solving the Grid Resources Selection Problem -- |t A Parallel Two-Level Multiobjective Artificial Bee Colony Approach for Traffic Grooming -- |t A Parallel Multiobjective Algorithm Inspired by Fireflies for Inferring Evolutionary Trees on Multicore Machines -- |t Nonlinear Least Squares Optimization of Constants in Symbolic Regression -- |t Model-Based System Design, Verification and Simulation. |
| 505 | 8 | 0 | |t Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets -- |t Petri Net Dynamic Partial Reconfiguration in FPGA -- |t Operating System for Petri Nets-Specified Reconfigurable Embedded Systems -- |t Notification Concept for BPMN Workflow Interpreter Using the ASM Method -- |t An Abstraction of Multi-port Memories with Arbitrary Addressable Units -- |t Process Modeling, Simulation and System Optimization -- |t Battery Internal State Estimation: Simulation Based Analysis on EKF and Auxiliary PF -- |t Computer-Aided Optimization for Predictive Battery State-of-Charge Determination -- |t Application of Artificial Neuron Networks and Hurst Exponent to Forecasting of Successive Values of a Time Series Representing Environmental Measurements in an Intelligent Building -- |t Data Improvement to Enable Process Mining on Integrated Non-log Data Sources -- |t Comparing Some Estimate Methods in a Gompertz-Lognormal Diffusion Process -- |t Delta Analysis of Role-Based Access Control Models. |
| 520 | |a 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. | ||
| 588 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed December 16, 2013) | |
| 650 | 0 | |a Computer-aided engineering |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008101465. | |
| 650 | 0 | |a Computer-aided design |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008101464. | |
| 650 | 0 | |a System analysis |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008112429. | |
| 650 | 0 | |a Artificial intelligence |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2007101476. | |
| 650 | 7 | |a Artificial intelligence. |2 fast |0 (OCoLC)fst00817247. | |
| 650 | 7 | |a Computer-aided design. |2 fast |0 (OCoLC)fst00872701. | |
| 650 | 7 | |a Computer-aided engineering. |2 fast |0 (OCoLC)fst00872718. | |
| 650 | 7 | |a System analysis. |2 fast |0 (OCoLC)fst01141385. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772. | |
| 700 | 1 | |a Moreno-Díaz, Roberto, |e editor. |0 http://id.loc.gov/authorities/names/n86035025 |1 http://isni.org/isni/0000000116813063. | |
| 700 | 1 | |a Pichler, Franz, |d 1936- |e editor. |0 http://id.loc.gov/authorities/names/n85011215 |1 http://isni.org/isni/0000000107979264. | |
| 700 | 1 | |a Quesada Arencibia, Alexis, |e editor. |0 http://id.loc.gov/authorities/names/no2005106792 |1 http://isni.org/isni/0000000120184917. | |
| 776 | 0 | 8 | |i Printed edition: |z 9783642538551. |
| 830 | 0 | |a Lecture notes in computer science ; |v 8111. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 830 | 0 | |a LNCS sublibrary. |n SL 1, |p Theoretical computer science and general issues. |0 http://id.loc.gov/authorities/names/no2007042902. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-642-53856-8 |z Full Text (via Springer) |
| 907 | |a .b77160939 |b 03-19-20 |c 04-29-14 | ||
| 998 | |a web |b 05-01-17 |c g |d b |e - |f eng |g gw |h 0 |i 1 | ||
| 907 | |a .b77160939 |b 07-02-19 |c 04-29-14 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 907 | |a .b77160939 |b 07-06-17 |c 04-29-14 | ||
| 907 | |a .b77160939 |b 05-23-17 |c 04-29-14 | ||
| 915 | |a I | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Nature - Springer Computer Science eBooks 2013 English International | ||
| 956 | |b Springer Nature - Springer Computer Science eBooks 2013 English International | ||
| 999 | f | f | |i bc0039bf-d453-597a-9ff9-f6c1e2103f97 |s 37a86898-ba23-53d0-99a2-f38d5ef2ea44 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e TA345 |h Library of Congress classification |i Ebooks, Prospector |n 1 |