Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Computer Aided Systems Theory - EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers / / edited by Robeto Moreno Diaz, Franz Pichler
| Computer Aided Systems Theory - EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers / / edited by Robeto Moreno Diaz, Franz Pichler |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XI, 677 p.) |
| Disciplina | 620.00420285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer-aided engineering
Computer simulation Microprocessors Computer logic Logic, Symbolic and mathematical Artificial intelligence Computer-Aided Engineering (CAD, CAE) and Design Simulation and Modeling Processor Architectures Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-540-45210-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Complex Systems Tools and Applications -- On Modeling and Simulation of Flows of Water by 3D-Cellular Automata -- Representation and Processing of Complex Knowledge -- How Many Rounds to KO?, or Complexity Increase by Cryptographic Map Iteration -- A Non-standard Genetic Algorithm Approach to Solve Constrained School Timetabling Problems -- Application of Uncertain Variables to Task and Resource Distribution in Complex Computer Systems -- A Framework for Modelling the User Interaction with a Complex System -- A Categorical Approach to NP-Hard Optimization Problems -- Logic and Formal Tools -- A Formulation for Language Independent Prelogical Deductive Inference -- Multi-agent Simulation in Random Game Generator -- The Zero Array: A Twilight Zone -- Invariants and Symmetries among Adaptive Agents -- Generalizing Programs via Subsumption -- Social and Intelligent Systems -- Modeling with Archetypes: An Effective Approach to Dealing with Complexity -- Equal Opportunities Analysis in the University: The Gender Perspective -- Approximate Solutions to Semi Markov Decision Processes through Markov Chain Montecarlo Methods -- Knowledge Base for Evidence Based Medicine with Bioinformatics Components -- Diversified Approach to Methodology and Technology in Distributed Intelligent Building Systems -- Temporal Approaches in Data Mining. A Case Study in Agricultural Environment -- Personalized Guided Routes in an Adaptive Evolutionary Hypermedia System -- Temporal Data Management and Knowledge Acquisition Issues in Medical Decision Support Systems -- Distributed Computing -- Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel -- Generative Communication with Semantic Matching in Distributed Heterogeneous Environments -- Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems -- Design of a Medical Application Using XML Based Data Interchange -- Partial-Order Reduction in Model Checking Object-Oriented Petri Nets -- On the Strong Co–induction in Coq -- Autonomous and Control Systems -- A Throttle and Brake Fuzzy Controller: Towards the Automatic Car -- ADVOCATE II: ADVanced On-Board Diagnosis and Control of Autonomous Systems II -- Segmentation of Traffic Images for Automatic Car Driving -- Vision Based Intelligent System for Autonomous and Assisted Downtown Driving -- Using Fractional Calculus for Lateral and Longitudinal Control of Autonomous Vehicles -- Computational Methods in Biomathematics -- Recent Advances in the Walking Tree Method for Biological Sequence Alignment -- Towards Some Computational Problems Arising in Biological Modeling -- Single Point Algorithms in Genetic Linkage Analysis -- A Self-adaptive Model for Selective Pressure Handling within the Theory of Genetic Algorithms -- Computational Methods for the Evaluation of Neuron’s Firing Densities -- Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease -- On Representing Biological Systems through Multiset Rewriting -- Natural and Artificial Neural Nets -- A Model of Neural Inspiration for Local Accumulative Computation -- Emergent Reasoning from Coordination of Perception and Action: An Example Taken from Robotics -- Inverse Kinematics for Humanoid Robots Using Artificial Neural Networks -- Neurosymbolic Integration: The Knowledge Level Approach -- On Parallel Channel Modeling of Retinal Processes -- Geometric Image of Statistical Learning (Morphogenetic Neuron) -- Systems and Computational Tools for Neuronal Retinal Models -- Neuroinformatics and Neuroimaging -- A Novel Gauss-Markov Random Field Approach for Regularization of Diffusion Tensor Maps -- Coloring of DT-MRI Fiber Traces Using Laplacian Eigenmaps -- DT-MRI Images : Estimation, Regularization, and Application -- An Efficient Algorithm for Multiple Sclerosis Lesion Segmentation from Brain MRI -- Dynamical Components Analysis of FMRI Data: A Second Order Solution -- Tensor Field Regularization Using Normalized Convolution -- Volumetric Texture Description and Discriminant Feature Selection for MRI -- White Matter Mapping in DT-MRI Using Geometric Flows -- Anisotropic Regularization of Posterior Probability Maps Using Vector Space Projections. Application to MRI Segmentation -- Fast Entropy-Based Nonrigid Registration -- Image Processing -- 3D Reconstruction from a Vascular Tree Model -- ESKMod, a CommonKADS Knowledge Model Integrating Multiple Classic Edge Based Segmentation Algorithms -- Frequency Analysis of Contour Orientation Functions for Shape Representation and Motion Analysis -- Preprocessing Phase in the PIETSI Project (Prediction of Time Evolution Images Using Intelligent Systems) -- Devices to Preserve Watermark Security in Image Printing and Scanning. |
| Record Nr. | UNINA-9910768185503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Aided Systems Theory - EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers / / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia
| Computer Aided Systems Theory - EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers / / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XXXVIII, 1236 p.) |
| Disciplina | 620.00285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer-aided engineering
Computer simulation Pattern recognition systems Artificial intelligence Computer science Microprocessors Computer architecture Computer-Aided Engineering (CAD, CAE) and Design Computer Modelling Automated Pattern Recognition Artificial Intelligence Computer Science Logic and Foundations of Programming Processor Architectures |
| ISBN | 3-540-75867-4 |
| Classificazione |
004
MSR 580f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Systems Theory and Simulation: Formal Approaches -- Computation and Simulation in Modelling Biological Systems -- Intelligent Information Processing -- Computers in Education -- Grid Computing -- Applied Formal Verification -- Cellular Automata -- Computer Vision -- Heuristic Problem Solving -- Signal Processing Architectures -- Robotics and Robotic Soccer -- Cybercars and Intelligent Vehicles -- Artificial Intelligence Components. |
| Record Nr. | UNINA-9910483459603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Aided Systems Theory - EUROCAST'99 : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings / / edited by Franz Pichler, Roberto Moreno-Diaz, Peter Kopacek
| Computer Aided Systems Theory - EUROCAST'99 : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings / / edited by Franz Pichler, Roberto Moreno-Diaz, Peter Kopacek |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (X, 606 p.) |
| Disciplina | 620.00420285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer-aided engineering
Computers, Special purpose Computational complexity Artificial intelligence Physics Computer-Aided Engineering (CAD, CAE) and Design Special Purpose and Application-Based Systems Complexity Artificial Intelligence Mathematical Methods in Physics Numerical and Computational Physics, Simulation |
| ISBN | 3-540-44931-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Survey Papers -- The Cast Project: Experiences and Future Perspectives -- Cast Methods in Biocybernetics -- On the Way to the Next Generation of Robots -- Conceptual Frameworks, Methods and Tools -- Representation of the RCS Reference Model Architecture Using an Architectural Description Language -- Conceptual Design, Functional Decomposition, Mathematical Modelling, and Perturbation Analysis -- AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems? -- Computer-Aided Analysis and Validation of Heterogeneous System Specifications -- Patterns for Embedded Systems Design -- Towards Verifying Distributed Systems Using Object-Oriented Petri Nets -- Representing Petri Nets in an Action Based Formalism -- Simplification of Proof Procedures Based on the Path Condition Concepts -- Parallel Processor Array for Tomographic Reconstruction Algorithms -- A Formalized Description Approach to Continuos Time Systems -- Modeling Complex Systems by Multi-agent Holarchies -- Partition of Systems by General System Logical Theory (GSLT) -- Intelligent Robots -- Multiagent Approach to Intelligent Control of Robot -- Design of Competence Promoting Multi-Agent-Systems to Support the User in Fault Diagnosis of CNC-Machine Tools -- System Integration Techniques in Robotics -- Multi-processor Design of Non-linear Robust Motion Control for Rigid Robots -- Mobile Robot Path Planning Among Weighted Regions Using Quadtree Representations -- Matrix Model of Robot in Matlab – Simulink -- Modeling and Simulation -- Integrating Two Dynamic Models of Business-Logistics Plant -- Assembly Reengineering Model -- Design for Disassembly and Recycling for Small and Medium Sized Companies for the Next Generation -- Modeling the Emergence of Social Entities -- Simulating Social Grouping: An Interactive Team-Building Tool (ITBT) -- Sociological Aspects of Data Acquisition and Processing -- Efficient Concurrent Simulation of DEVS Systems Based on Concurrent Inference -- Simulation of Gaussian Processes and First Passage Time Densities Evaluation -- Distributed Simulation with Multimedia Interface -- Microscopic Randomness and “Fundamental Diagram” in the Traffic Flow Problem -- Floating Car Data Analysis of Urban Road Networks -- Information Lost in the Hologram Subdividing Process -- Systems Engineering and Software Development -- Electronic Performance Support Systems Challenges and Problems -- A Framework for the Elicitation, Evolution, and Traceability of System Requirements -- Development of a Precision Assembly System Using Selective Assembly and Micro Machining -- Computer Aided Planning System of a Flexible Microrobot-Based Microassembly Station -- A Formalisation of the Evolution of Software Systems -- HEDES: A System Theory Based Tool to Support Evolutionary Software Systems -- Vertical Partitioning Algorithms in Distributed Databases -- Decision Based Adaptive Model for Managing Software Development Projects -- A Fractal Software Complexity Metric Analyser -- Artificial Intelligent Systems and Control -- Systems Approach to Attention Mechanisms in the Visual Pathway -- On Completness in Early Vision from Systems Theory -- McCulloch Program II in Artificial Systems and Lastres Theorem -- A Medical Ontology for Integrating Case-Based Reasoning, Rule-Based Reasoning, and Patient Databases -- Uncertain Variables in the Computer Aided Analysis of Uncertain Systems -- Variable-Structure Learning Controllers -- An Identification Algorithmic Toolkit for Intelligent Control Systems -- Non Selective Gas Sensors and Artificial Neural Networks – Determination of Gas Mixtures -- The Supervision of Hybrid Control Systems – A Layered Architecture -- Automatic Players for Computer Games. |
| Record Nr. | UNINA-9910144145803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer aided systems theory -- EUROCAST 2009 : 12th international conference, Las Palmas De Gran Canaria, Spain, February 15-20, 2009 : revised selected papers / / Roberto Moreno-Diaz, 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 / / Roberto Moreno-Diaz, Franz Pichler, Alexis Quesada-Arencibia (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XVII, 950 p.) |
| Disciplina | 620.00420285 |
| Altri autori (Persone) |
Moreno-DiazRoberto
PichlerFranz <1936-> Quesada ArencibiaAlexis |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer-aided design
Computer-aided engineering System analysis System theory |
| ISBN | 3-642-04772-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Systems Theory and Simulation: Formal Approaches -- Computation and Simulation in Modelling Biological Systems -- Intelligent Information Processing -- Applied Formal Verification -- Computer Vision and Image Processing -- Mobile and Autonomous Systems: Robots and Cars -- Simulation Based System Optimization -- Signal Processing Methods in Systems Design and Cybernetics -- Polynomial Models in Control System Design -- Heuristic Problem Solving -- Simulation and Formal Methods in Systems Design and Engineering -- Models of Co-operative Engineering Systems. |
| Altri titoli varianti | EUROCAST 2009 |
| Record Nr. | UNINA-9910483439403321 |
| Berlin ; ; New York, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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-Díaz, Franz Pichler, Alexis Quesada-Arencibia
| 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-Díaz, Franz Pichler, Alexis Quesada-Arencibia |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XXIV, 518 p. 190 illus.) : online resource |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer simulation
Artificial intelligence Pattern recognition systems Computer vision Image processing—Digital techniques Computer-aided engineering Computer Modelling Artificial Intelligence Automated Pattern Recognition Computer Vision Computer Imaging, Vision, Pattern Recognition and Graphics Computer-Aided Engineering (CAD, CAE) and Design |
| ISBN | 3-642-53856-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910484130803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Aided Systems Theory -- EUROCAST 2013 : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia
| Computer Aided Systems Theory -- EUROCAST 2013 : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XXIV, 540 p. 268 illus.) : online resource |
| Disciplina | 003.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer simulation
Artificial intelligence Pattern recognition systems Computer vision Image processing—Digital techniques Computer-aided engineering Computer Modelling Artificial Intelligence Automated Pattern Recognition Computer Vision Computer Imaging, Vision, Pattern Recognition and Graphics Computer-Aided Engineering (CAD, CAE) and Design |
| ISBN | 3-642-53862-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910483726203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer aided systems theory EUROCAST '97 : a selection of papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 1997 : proceedings / / Franz Pichler, Roberto Moreno Díaz, (Eds.)
| Computer aided systems theory EUROCAST '97 : a selection of papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 1997 : proceedings / / Franz Pichler, Roberto Moreno Díaz, (Eds.) |
| Pubbl/distr/stampa | Springer Berlin / Heidelberg |
| Disciplina | 620/.0042/0113 |
| Altri autori (Persone) |
Moreno-DíazRoberto
PichlerFranz <1936-> |
| Soggetto topico |
Computer-aided engineering - Congresses
Computer-aided design - Congresses |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465557603316 |
| Springer Berlin / Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer aided systems theory EUROCAST '97 : a selection of papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 1997 : proceedings / / Franz Pichler, Roberto Moreno Díaz, (Eds.)
| Computer aided systems theory EUROCAST '97 : a selection of papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 1997 : proceedings / / Franz Pichler, Roberto Moreno Díaz, (Eds.) |
| Pubbl/distr/stampa | Springer Berlin / Heidelberg |
| Disciplina | 620/.0042/0113 |
| Altri autori (Persone) |
Moreno-DíazRoberto
PichlerFranz <1936-> |
| Soggetto topico |
Computer-aided engineering
Computer-aided design |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910144904003321 |
| Springer Berlin / Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Aided Systems Theory – EUROCAST 2015 : 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia
| Computer Aided Systems Theory – EUROCAST 2015 : 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVIII, 887 p. 351 illus. in color.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer simulation
Artificial intelligence Medical informatics Image processing—Digital techniques Computer vision Application software Computer-aided engineering Computer Modelling Artificial Intelligence Health Informatics Computer Imaging, Vision, Pattern Recognition and Graphics Computer and Information Systems Applications Computer-Aided Engineering (CAD, CAE) and Design |
| ISBN | 3-319-27340-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Systems Theory and Applications -- Which State Feedback Control Laws will not Alter the System's Transfer Function? -- Abstract -- 1 Problem Formulation -- 2 Model Matching by State Feedback -- 3 Parameterization of State Feedback Control Laws -- 4 Example -- 5 Conclusions -- References -- A Simple Linearisation of the Self-shrinking Generator -- 1 Introduction -- 2 Fundamentals and Basic Notation -- 2.1 The Self-shrinking Generator -- 2.2 Cellular Automata -- 3 The Self-shrinking Generator in Terms of Linear CA -- 4 90/150 CA Versus 102/60 CA -- 5 Application of the CA to the Self-shrinking Generators Cryptanalysis -- 6 Conclusions -- References -- Systems Theory and Model of Diversification in Building of Information Systems -- Abstract -- 1 Introduction -- 2 Current Situation in Building of Information Systems -- 3 Proposed Model in Building of Information Systems -- 4 Conclusion -- Acknowledgments -- References -- Time Sub-Optimal Control of Triple Integrator Applied to Real Three-Tank Hydraulic System -- 1 Introduction -- 2 Problem Statement -- 3 Nonlinear Decomposition -- 4 Time Sub-Optimal Solution -- 5 Application to the Real Three-Tank Hydraulic System -- 5.1 Model of the Hydraulic System -- 5.2 Exact Linearization Method -- 5.3 Control of the Real System -- 6 Conclusions -- References -- Use of the Automatic Identification System in Academic Research -- Abstract -- 1 Introduction -- 2 The AIS Functional Overview -- 3 AIS Research Environments -- 4 MarineTraffic Academic AIS Network -- 5 Some Empirical Applications Related to Las Palmas Port -- 6 Conclusions -- References -- Application of Multi-valued Decision Diagrams in Computing the Direct Partial Logic Derivatives -- 1 Introduction -- 2 Background Theory -- 3 Representation of Structure Functions by MDDs.
4 Direct Partial Logic Derivative and MSS Measures -- 5 Experimental Results -- 6 Concluding Remarks -- References -- Identification of First Order Plants by Relay Feedback with Non-symmetrical Oscillations -- 1 Introduction -- 1.1 Method Derivation -- 2 PI1 - Controller -- 3 Real Experiment - Fan RPM -- 3.1 Identification -- 3.2 Control -- 4 Real Experiment - Temperature -- 4.1 Identification -- 4.2 Control -- 5 Conclusion -- References -- Managing Certificate Revocation in VANETs Using Hash Trees and Query Frequencies -- 1 Introduction -- 2 Related Work -- 3 Managing Certificate Revocation -- 4 Building the Tree -- 5 Conclusions -- References -- Constrained Pole Assignment Control for a 2nd Order Oscillatory System -- 1 Introduction -- 2 Problem Formulation -- 2.1 Stability and Controllability -- 2.2 Linear Pole Assignment PD Control for Real Poles -- 2.3 Invariant Sets of Linear Control GL -- 2.4 Reference Braking Curves RBCj -- 2.5 Controllers Decreasing the Distance from RBC -- 2.6 Constrained PD Controller for Distance l( x) =y-yb -- 2.7 Constrained PD Controller for Distance Definition 1( x) =-b -- 3 Conclusions -- References -- Parallel and Distributed Metaheuristics -- 1 Introduction -- 2 Optimization Dilemmas -- 3 Ultramodern Approaches -- 4 New Attitudes -- 5 Metaheuristics -- 6 Parallel Metaheuristics -- 7 Distributed Metaheuristics -- 8 Conclusions and Comments -- References -- Dynamic Similarity and Distance Measures Based on Quantiles -- 1 Introduction to Cluster Analysis -- 2 Dispersion and Multi-splits: Boxplot as a Similarity Measure -- 2.1 Number of Clusters -- 2.2 The Best Splits -- 3 Conclusion and Future Work -- References -- Eulerian Numbers Weigths in Distributed Computing Nets -- 1 Introduction -- 1.1 Convergent-Divergent Layered Nets -- 1.2 Newton-Hermite Filters -- 2 Eulerian Numbers, Eulerian Networks and Eulerian Filters. 3 Higher Order Euler Filters and Hermitian Euler Formulation -- 4 Conclusion -- References -- Autonomous Paracopter Control Design -- 1 Introduction -- 2 Propeller Pendulum -- 3 Relay System Identification -- 4 Application to the Propeller Pendulum Control -- 5 Conclusions and Future Work -- References -- A Class of 3-D Distributed Modular Computing Nets -- 1 Introduction and Objectives -- 2 From Pascal Pyramids to Pascal Filters and Nets -- 3 Newton and Newton-Hermite 3-D Filters and Nets -- 4 Conclusion -- References -- Standardized Mapping Model for Heritage Preservation and Serendipity in Cloud -- Abstract -- 1 Introduction -- 1.1 Context of Preservation and Serendipity Concepts -- 1.2 Quality Attributes -- 2 Architectural Framework -- 3 Architecture Vision -- 4 Evaluation Methods -- 5 Cost Model for Digital Preservation -- 6 Future Projects -- 7 Conclusion -- References -- Structuring the Model of Complex System Using Parallel Computing Techniques -- 1 Introduction -- 2 Complex Systems Properties -- 3 Computational Complexity -- 4 Structuring a Complex Systems Models -- 5 Modeling of Collective Animal Behavior -- 6 Conclusion -- References -- The Evolution of Models: Uncovering the Path of Model Improvement -- Abstract -- 1 Purpose -- 2 A Generic Model of the Modeling Process -- 3 Simulation Results -- 4 Conclusion -- Acknowledgement -- References -- Modelling Biological Systems -- Some Remarks on First-Passage Times for Integrated Gauss-Markov Processes -- 1 Introduction -- 2 Main Results -- 2.1 FPT Through One Boundary -- 2.2 FPT in the Two-Boundary Case: First Exit Time from an Interval -- References -- A Sequential Test for Evaluating Air Quality -- 1 Introduction -- 2 The Proposed Methodology -- 3 The Data -- 4 Results -- 5 Some Concluding Remarks -- References -- Population Models and Enveloping -- 1 Introduction -- 2 Enveloping. 2.1 Linear Fractionals -- 2.2 Enveloping Examples -- 2.3 Enveloping by a Linear Fractional is only Sufficient -- 2.4 Other Enveloping Functions -- 3 Techniques A and B -- 4 General Theorem -- 4.1 Multifunctions -- 4.2 Multidimensional -- 5 Summary Table -- 6 Conclusion -- References -- Fractional Growth Process with Two Kinds of Jumps -- 1 Introduction -- 2 Background and Preliminary Results -- 2.1 Fractional Poisson Process -- 2.2 Jump Process with 2 Kinds of Jumps -- 3 Fractional Growth Process -- References -- Towards Stochastic Modeling of Neuronal Interspike Intervals Including a Time-Varying Input Signal -- 1 Introduction -- 2 The Model -- 3 Some Numerical and Simulation Results -- 3.1 An Asymptotic Approximation for gV1(S,t|v0,0) -- 3.2 Some Comparisons -- References -- A Cancer Dynamics Model for an Intermittent Treatment Involving Reduction of Tumor Size and Rise of Growth Rate -- 1 Introduction -- 2 The Model -- 3 Some Remarks -- 4 Numerical Analysis -- References -- On Time Non-homogeneous Feller-Type Diffusion Process in Neuronal Modeling -- 1 Diffusion Neuronal Models -- 1.1 Feller-Type Process -- 1.2 Ornstein-Uhlenbeck Process -- 2 Some Comparisons -- References -- Intelligent Information Processing -- A Practical Experience on Reusing Problem-Solving Methods for Assessment Tasks -- Abstract -- 1 Introduction -- 1.1 Problem-Solving Methods -- 2 An Assessment Task for the Selection of Wastewater Treatment Technologies -- 2.1 Identify Key Domain Concepts -- 2.2 Adapt the PSM and Operationalise the Inferences -- 3 Conclusions -- Acknowledgements -- References -- Requirements for Long-Term Preservation of Digital Videos and First Experiments with an XMT-Based Approach -- 1 Introduction -- 1.1 Long-Term Preservation -- 1.2 Requirements for the Preservation of Digital Videos -- 1.3 Archiving Infrastructure and Processes. 2 XMT-Based Approach for Archiving Digital Videos -- 2.1 Design and Implementation of a First Prototype -- 2.2 Advantages of the Approach -- 2.3 Challenges Related to the Approach -- 3 Outlook and Conclusions -- References -- Adaptive Flood Forecasting for Small Catchment Areas -- Abstract -- 1 Introduction and Motivation -- 2 Related Research -- 3 Flood Forecasting System for Small Catchment Areas -- 3.1 Continuous Situation Awareness Component -- 3.2 Dynamic Workflow Component -- 4 Results -- 5 Conclusion and Future Work -- Acknowledgments -- References -- A Scalable Monitoring Solution for Large-Scale Distributed Systems -- 1 Introduction -- 2 Related Work -- 3 System Description -- 4 Ground Model of the Monitoring Framework -- 5 Monitoring Metrics -- 6 Future Refinements of the Model -- 7 Conclusions -- References -- Using Smart Grid Data to Predict Next-Day Energy Consumption and Photovoltaic Production -- 1 Introduction -- 2 Materials and Methods -- 2.1 Predicting Load Profiles -- 2.2 Predicting PV Power Production -- 3 Results -- 4 Discussion -- References -- Sitting Property-Based Testing at the Desktop -- 1 Introduction -- 2 Example of Typical Desktop Ecosystem Inhabitants: Heterogeneous Components of an Alarm Service -- 3 Running QuickCheck-Generated Tests over D-Bus -- 4 Discussion -- 5 Conclusions -- References -- Adaptation Engine for Large-Scale Distributed Systems -- 1 Introduction -- 2 Knowledge Management Using Case-Based Reasoning -- 2.1 Motivation -- 2.2 Case-Based Reasoning -- 3 Adaptation Approach in Terms of Action Management -- 4 Future Development -- 5 Related Work -- 6 Conclusions -- References -- Theory and Applications of Metaheuristic Algorithms -- A Multi-stage Approach Aimed at Optimizing the Transshipment of Containers in a Maritime Container Terminal -- 1 Introduction -- 2 Maritime Container Terminals. 3 Related Works. |
| Record Nr. | UNINA-9910484701503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Aided Systems Theory – EUROCAST 2017 : 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia
| Computer Aided Systems Theory – EUROCAST 2017 : 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXVIII, 492 p. 161 illus.) |
| Disciplina | 620.00420285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer simulation
Artificial intelligence Algorithms Computer networks Numerical analysis Computer science—Mathematics Discrete mathematics Computer Modelling Artificial Intelligence Computer Communication Networks Numerical Analysis Discrete Mathematics in Computer Science |
| ISBN |
9783319747187
3319747185 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Pioneers and landmarks in the development of information and communication technologies -- Systems theory, socio-economic systems and applications -- Theory and applications of metaheuristic algorithms -- Stochastic models and applications to natural, social and technical systems -- Model-based system design, verification and simulation -- Applications of signal processing technology -- Algebraic and combinatorial methods in signal and pattern analysis -- Computer vision, deep learning and applications -- Computer and systems based methods and electronics technologies in medicine -- Intelligent transportation systems and smart mobility. |
| Record Nr. | UNINA-9910349261603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
