top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Complex Sciences [[electronic resource] ] : Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers / / edited by Kristin Glass, Richard Colbaugh, Paul Ormerod, Jeffrey Tsao
Complex Sciences [[electronic resource] ] : Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers / / edited by Kristin Glass, Richard Colbaugh, Paul Ormerod, Jeffrey Tsao
Edizione [1st ed. 2013.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013
Descrizione fisica 1 online resource (XII, 339 p. 165 illus.)
Disciplina 003.3
Collana Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
Soggetto topico Computer simulation
System theory
Artificial intelligence
Computers
Computer science—Mathematics
Simulation and Modeling
Complex Systems
Artificial Intelligence
Theory of Computation
Discrete Mathematics in Computer Science
ISBN 3-319-03473-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The Crossover Point: Comparing Policies to Mitigate Disruptions -- Progress Curves and the Prediction of Significant Market Events -- Bifurcation as the Source of Polymorphism -- Large-Scale Conflicts in Massively Multiplayer Online Games -- Impact of Global Edge-Removal on the Average Path Length -- Assessing the Spatial Impact on an Agent-Based Modeling of Epidemic Control -- Behaviors of Actors in a Resource-Exchange Model of Geopolitics -- Portfolio Optimization and Corporate Networks: Extending the Black Litterman Model -- Cooperation through the Endogenous Evolution of Social Structure -- To Trade or Not to Trade: Analyzing How Perturbations Travel in Sparsely Connected Networks -- Paid Sick-Leave: Is It a Good Way to Control Epidemics? -- Decoding Road Networks into Ancient Routes: The Case of the Aztec Empire in Mexico -- A Policy of Strategic Petroleum Market Reserves -- Identifying Critical Infrastructure Interdependencies for Healthcare Operations during Extreme Events -- Modeling Emergence in Neuroprotective Regulatory Networks -- Identification of Chordless Cycles in Ecological Networks.
Record Nr. UNINA-9910741195503321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational Creativity Research: Towards Creative Machines [[electronic resource] /] / edited by Tarek R. Besold, Marco Schorlemmer, Alan Smaill
Computational Creativity Research: Towards Creative Machines [[electronic resource] /] / edited by Tarek R. Besold, Marco Schorlemmer, Alan Smaill
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Paris : , : Atlantis Press : , : Imprint : Atlantis Press, , 2015
Descrizione fisica 1 online resource (417 p.)
Disciplina 003.3
004
004.6
006.3
Collana Atlantis Thinking Machines
Soggetto topico Artificial intelligence
Computer simulation
Special purpose computers
Philosophy of mind
Application software
Artificial Intelligence
Simulation and Modeling
Special Purpose and Application-Based Systems
Philosophy of Mind
Computer Applications
ISBN 94-6239-085-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Stakeholder Groups in Computational Creativity Research and Practice -- Weak and Strong Computational Creativity -- Theorem: General intelligence entails creativity, assuming -- The Computational Creativity Complex -- How Models of Creativity and Analogy Need to Answer the Tailorability Concern -- On the role of computers in creativity-support systems -- A computational theory of creativity as everyday reasoning from learned information -- Accounting for creativity within a psychologically realistic cognitive architecture -- E pluribus unum - Formalisation, Use-Cases, and Computational Support for Conceptual Blending -- Creating Meaningful and Poetic Instances of Rhetorical Forms -- Open-Ended Elaborations in Creative Metaphor -- Poetry generation with PoeTryMe -- From MEXICA to MEXICA-impro: the Evolution of a Computer Model for Plot Generation -- Handle: Engineering Artificial Musical Creativity at the "Trickery" Level -- A Culinary Computational Creativity System -- Interactive Meta-Reasoning: Toward a CAD-like environment for designing game-playing agents -- Collective Discovery Events: Web-based Mathematical Problem-solving with Codelets -- A Personal Perspective Into the Future for Computational Creativity.
Record Nr. UNINA-9910299234703321
Paris : , : Atlantis Press : , : Imprint : Atlantis Press, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational Diffusion MRI [[electronic resource] ] : International MICCAI Workshop, Granada, Spain, September 2018 / / edited by Elisenda Bonet-Carne, Francesco Grussu, Lipeng Ning, Farshid Sepehrband, Chantal M. W. Tax
Computational Diffusion MRI [[electronic resource] ] : International MICCAI Workshop, Granada, Spain, September 2018 / / edited by Elisenda Bonet-Carne, Francesco Grussu, Lipeng Ning, Farshid Sepehrband, Chantal M. W. Tax
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (403 pages)
Disciplina 616.07548
Collana Mathematics and Visualization
Soggetto topico Biomathematics
Numerical analysis
Computer science—Mathematics
Optical data processing
Computer simulation
Artificial intelligence
Mathematical and Computational Biology
Numeric Computing
Math Applications in Computer Science
Image Processing and Computer Vision
Simulation and Modeling
Artificial Intelligence
ISBN 3-030-05831-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part I Diffusion MRI signal acquisition and processing strategies -- Part II Machine learning for diffusion MRI -- Part III Diffusion MRI signal harmonisation -- Part IV Diffusion MRI outside the brain and clinical applications -- Part V Tractography and connectivity mapping -- Index.
Record Nr. UNINA-9910338252603321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational Intelligence and Intelligent Systems [[electronic resource] ] : 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers / / edited by Kangshun Li, Jin Li, Yong Liu, Aniello Castiglione
Computational Intelligence and Intelligent Systems [[electronic resource] ] : 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers / / edited by Kangshun Li, Jin Li, Yong Liu, Aniello Castiglione
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Singapore : , : Springer Singapore : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (XV, 737 p. 277 illus.)
Disciplina 006.3
Collana Communications in Computer and Information Science
Soggetto topico Artificial intelligence
Computer simulation
Data mining
Computer communication systems
Special purpose computers
Artificial Intelligence
Simulation and Modeling
Data Mining and Knowledge Discovery
Computer Communication Networks
Special Purpose and Application-Based Systems
ISBN 981-10-0356-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Analysis and theory of evolutionary computation -- Neural network architectures and learning -- Neuro-dynamics and neuro-engineering -- Fuzzy logic and control -- Collective intelligence and hybrid systems -- Deep learning -- Knowledge discovery -- Learning and reasoning.
Record Nr. UNINA-9910255011303321
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational Intelligence, Networked Systems and Their Applications [[electronic resource] ] : International Conference on Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part Ⅱ / / edited by Minrui Fei, Chen Peng, Zhou Su, Yang Song, Qinglong Han
Computational Intelligence, Networked Systems and Their Applications [[electronic resource] ] : International Conference on Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part Ⅱ / / edited by Minrui Fei, Chen Peng, Zhou Su, Yang Song, Qinglong Han
Edizione [1st ed. 2014.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014
Descrizione fisica 1 online resource (XVI, 588 p. 235 illus.)
Disciplina 629.892
Collana Communications in Computer and Information Science
Soggetto topico Artificial intelligence
Computational intelligence
Optical data processing
Computer simulation
Computer system failures
Artificial Intelligence
Computational Intelligence
Computer Imaging, Vision, Pattern Recognition and Graphics
Simulation and Modeling
System Performance and Evaluation
ISBN 3-662-45261-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Advanced neural network theory and algorithms -- Advanced evolutionary computing theory and algorithms, such as particle swarm optimization, differential evolution, ant colonies, artificial life, artificial immune systems and genetic algorithm -- Fuzzy, neural, and fuzzy-neuro hybrids -- Intelligent modeling, monitoring, and control of complex nonlinear systems -- Intelligent modeling and simulation of climate change -- Communication and control for distributed networked systems.
Record Nr. UNINA-9910298967703321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational Methods and Clinical Applications for Spine Imaging [[electronic resource] ] : 4th International Workshop and Challenge, CSI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers / / edited by Jianhua Yao, Tomaž Vrtovec, Guoyan Zheng, Alejandro Frangi, Ben Glocker, Shuo Li
Computational Methods and Clinical Applications for Spine Imaging [[electronic resource] ] : 4th International Workshop and Challenge, CSI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers / / edited by Jianhua Yao, Tomaž Vrtovec, Guoyan Zheng, Alejandro Frangi, Ben Glocker, Shuo Li
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (X, 147 p. 60 illus.)
Disciplina 006.37
Collana Image Processing, Computer Vision, Pattern Recognition, and Graphics
Soggetto topico Optical data processing
Pattern recognition
Computer graphics
Artificial intelligence
Computer simulation
Algorithms
Image Processing and Computer Vision
Pattern Recognition
Computer Graphics
Artificial Intelligence
Simulation and Modeling
Algorithm Analysis and Problem Complexity
ISBN 3-319-55050-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto State-of-the-art techniques -- Novel and emerging analysis and visualization techniques -- Clinical challenges and open problems -- Major aspects of problems related to spine imaging -- Including clinical applications of spine imaging -- Computer aided diagnosis of spine conditions -- Computer aided detection of spine-related diseases -- Emerging computational imaging techniques for spinal diseases,.-Fast 3D reconstruction of spine, feature extraction, multiscale analysis, pattern recognition, image enhancement of spine imaging -- Image-guided spine intervention and treatment, multimodal image registration and fusion for spine imaging -- Novel visualization techniques, segmentation techniques for spine imaging, statistical and geometric modeling for spine and vertebra, spine and vertebra localization.
Record Nr. UNINA-9910483822503321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational Methods and Clinical Applications for Spine Imaging [[electronic resource] ] : Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings / / edited by Tomaž Vrtovec, Jianhua Yao, Ben Glocker, Tobias Klinder, Alejandro Frangi, Guoyan Zheng, Shuo Li
Computational Methods and Clinical Applications for Spine Imaging [[electronic resource] ] : Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings / / edited by Tomaž Vrtovec, Jianhua Yao, Ben Glocker, Tobias Klinder, Alejandro Frangi, Guoyan Zheng, Shuo Li
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (X, 159 p. 61 illus.)
Disciplina 616.730754
Collana Image Processing, Computer Vision, Pattern Recognition, and Graphics
Soggetto topico Optical data processing
Pattern recognition
Computer graphics
Artificial intelligence
Computer simulation
Algorithms
Image Processing and Computer Vision
Pattern Recognition
Computer Graphics
Artificial Intelligence
Simulation and Modeling
Algorithm Analysis and Problem Complexity
ISBN 3-319-41827-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Automated Pedicle Screw Size and Trajectory Planning by Maximization of Fastening Strength -- Automatic Modic Changes Classification in Spinal MRI -- Patient Registration via Topologically Encoded Depth Projection Images in Spine Surgery -- Automatic Localisation of Vertebrae in DXA Images Using Random Forest Regression Voting -- Robust CT to US 3D-3D Registration by Using Principal Component Analysis and Kalman Filtering -- Cortical Bone Thickness Estimation in CT Images: A Model-Based Approach Without Profile Fitting -- Multi-Atlas Segmentation with Joint Label Fusion of Osteoporotic Vertebral Compression Fractures on CT -- Statistical Shape Model Construction of Lumbar Vertebrae and Intervertebral Discs in Segmentation for Discectomy Surgery Simulation -- Automatic Intervertebral Discs Localization and Segmentation: A Vertebral Approach -- Segmentation of Intervertebral Discs in 3D MRI Data Using Multi-Atlas Based Registration -- Deformable Model-Based Segmentation of Intervertebral Discs from MR Spine Images by Using the SSC Descriptor -- 3D Intervertebral Disc Segmentation from MRI Using Supervoxel-Based CRFs -- Automatic Intervertebral Disc Localization and Segmentation in 3D MR Images Based on Regression Forests and Active Contours -- Localization and Segmentation of 3D Intervertebral Discs from MR Images via a Learning Based Method: A Validation Framework -- Automated Intervertebral Disc Segmentation Using Probabilistic Shape Estimation and Active Shape Models. .
Record Nr. UNINA-9910484764303321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational Methods and Clinical Applications for Spine Imaging [[electronic resource] ] : Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings / / edited by Tomaž Vrtovec, Jianhua Yao, Ben Glocker, Tobias Klinder, Alejandro Frangi, Guoyan Zheng, Shuo Li
Computational Methods and Clinical Applications for Spine Imaging [[electronic resource] ] : Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings / / edited by Tomaž Vrtovec, Jianhua Yao, Ben Glocker, Tobias Klinder, Alejandro Frangi, Guoyan Zheng, Shuo Li
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (X, 159 p. 61 illus.)
Disciplina 616.730754
Collana Image Processing, Computer Vision, Pattern Recognition, and Graphics
Soggetto topico Optical data processing
Pattern recognition
Computer graphics
Artificial intelligence
Computer simulation
Algorithms
Image Processing and Computer Vision
Pattern Recognition
Computer Graphics
Artificial Intelligence
Simulation and Modeling
Algorithm Analysis and Problem Complexity
ISBN 3-319-41827-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Automated Pedicle Screw Size and Trajectory Planning by Maximization of Fastening Strength -- Automatic Modic Changes Classification in Spinal MRI -- Patient Registration via Topologically Encoded Depth Projection Images in Spine Surgery -- Automatic Localisation of Vertebrae in DXA Images Using Random Forest Regression Voting -- Robust CT to US 3D-3D Registration by Using Principal Component Analysis and Kalman Filtering -- Cortical Bone Thickness Estimation in CT Images: A Model-Based Approach Without Profile Fitting -- Multi-Atlas Segmentation with Joint Label Fusion of Osteoporotic Vertebral Compression Fractures on CT -- Statistical Shape Model Construction of Lumbar Vertebrae and Intervertebral Discs in Segmentation for Discectomy Surgery Simulation -- Automatic Intervertebral Discs Localization and Segmentation: A Vertebral Approach -- Segmentation of Intervertebral Discs in 3D MRI Data Using Multi-Atlas Based Registration -- Deformable Model-Based Segmentation of Intervertebral Discs from MR Spine Images by Using the SSC Descriptor -- 3D Intervertebral Disc Segmentation from MRI Using Supervoxel-Based CRFs -- Automatic Intervertebral Disc Localization and Segmentation in 3D MR Images Based on Regression Forests and Active Contours -- Localization and Segmentation of 3D Intervertebral Discs from MR Images via a Learning Based Method: A Validation Framework -- Automated Intervertebral Disc Segmentation Using Probabilistic Shape Estimation and Active Shape Models. .
Record Nr. UNISA-996465678203316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computational Methods and Clinical Applications for Spine Imaging [[electronic resource] ] : 4th International Workshop and Challenge, CSI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers / / edited by Jianhua Yao, Tomaž Vrtovec, Guoyan Zheng, Alejandro Frangi, Ben Glocker, Shuo Li
Computational Methods and Clinical Applications for Spine Imaging [[electronic resource] ] : 4th International Workshop and Challenge, CSI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers / / edited by Jianhua Yao, Tomaž Vrtovec, Guoyan Zheng, Alejandro Frangi, Ben Glocker, Shuo Li
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (X, 147 p. 60 illus.)
Disciplina 006.37
Collana Image Processing, Computer Vision, Pattern Recognition, and Graphics
Soggetto topico Optical data processing
Pattern recognition
Computer graphics
Artificial intelligence
Computer simulation
Algorithms
Image Processing and Computer Vision
Pattern Recognition
Computer Graphics
Artificial Intelligence
Simulation and Modeling
Algorithm Analysis and Problem Complexity
ISBN 3-319-55050-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto State-of-the-art techniques -- Novel and emerging analysis and visualization techniques -- Clinical challenges and open problems -- Major aspects of problems related to spine imaging -- Including clinical applications of spine imaging -- Computer aided diagnosis of spine conditions -- Computer aided detection of spine-related diseases -- Emerging computational imaging techniques for spinal diseases,.-Fast 3D reconstruction of spine, feature extraction, multiscale analysis, pattern recognition, image enhancement of spine imaging -- Image-guided spine intervention and treatment, multimodal image registration and fusion for spine imaging -- Novel visualization techniques, segmentation techniques for spine imaging, statistical and geometric modeling for spine and vertebra, spine and vertebra localization.
Record Nr. UNISA-996466086603316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Aided Systems Theory - EUROCAST 2003 [[electronic resource] ] : 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 [[electronic resource] ] : 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
Mathematical logic
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. UNISA-996465957603316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui