{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":1,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":29,"n_cols":5,"rows_kept":29,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[20,2,20,3],[21,2,21,3],[25,2,25,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910768185503321"]
[null,null,"Titolo",null,"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"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003"]
[null,null,"ISBN",null,"3-540-45210-9"]
[null,null,"Edizione",null,"[1st ed. 2003.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XI, 677 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 2809"]
[null,null,"Disciplina",null,"620.00420285"]
[null,null,"Soggetti",null,"Computer-aided engineering"]
[{"$nulls":4},"Computer simulation"]
[{"$nulls":4},"Microprocessors"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Logic, Symbolic and mathematical"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Computer-Aided Engineering (CAD, CAE) and Design"]
[{"$nulls":4},"Simulation and Modeling"]
[{"$nulls":4},"Processor Architectures"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Artificial Intelligence"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"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 "]
[{"$nulls":4},"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 "]
[{"$nulls":4},"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."]
[null,null,null,"Sommario/riassunto","The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler of Linz in the late 80’s to include those computer theoretical and practical developments as tools to solve problems in System Science. It was considered as the third component (the other two being CAD and CAM) that will provide for a complete picture of the path from Computer and Systems Sciences to practical developments in Science and Engineering. The University of Linz organized the ?rst CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scienti?c and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the ?rst international meeting on CAST, (Las Palmas February 1989), under the name EUROCAST’89, that was a very successful gathering of systems theorists, computer scientists and engineers from most of European countries, North America and Japan. ItwasagreedthatEUROCASTinternationalconferenceswouldbeorganized every two years. Thus, the following EUROCAST meetings took place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), Vienna (1999) and Las Palmas(2001), in addition to an extra-European CAST Conference in Ottawain1994.SelectedpapersfromthosemeetingswerepublishedbySpringer- Verlag Lecture Notes in Computer Science nos. 410, 585, 763, 1030, 1333, 1728 and 2178 and in several special issues of Cybernetics and Systems: an lnternat- nal Journal. EUROCAST and CAST meetings are de?nitely consolidated, as it is demonstrated by the number and quality of the contributions over the years."]