Edizione	[1st ed. 1973.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1973
Descrizione fisica	1 online resource (X, 330 p.)
Disciplina	005.11
Collana	Lecture Notes in Computer Science
Soggetto topico	Computer programming Computers Mathematical logic Programming Techniques Computation by Abstract Devices Mathematical Logic and Formal Languages
ISBN	3-540-37826-X
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	On the structure of algorithmic problems -- A mathematical model of digital computers -- On some recent problems concerning developmental languages -- Fault-tolerance and stability of fuzzy-state automata -- Bemerkungen über Homomorphismen endlicher in lineare Automaten -- Der Kaskadenzerlegungssatz für Halbautomaten -- Konvergenzbetrachtungen bei der Vorhersage des Ausgabeverhaltens allgemeiner stochastischer Systeme -- Ketten und arithmetische Prädikate von endlichen Automaten -- Une hierarchie infinie de cones d'Accepteurs verificateurs -- Zustandsfolgenabbildungen von verallgemeinerten endlichen Automaten -- Ein automatentheoretisches Modell einer Speicherhierarchie -- Deterministic one-counter automata -- The use of metric and uniform spaces for the formalization of behavioral proximity of states -- Quelques generateurs des langages algebriques -- Une caracterisation des langages quasi-rationnels standards -- Der Einfluss von Kontext auf spezielle CF-Grammatiken -- Zur Komplexität gesteuerter kontextfreier Ersetzungen -- Characterization of derivation sets of formal systems -- Die Darstellung indizierter Sprachen durch Ausdrücke -- Codes and aperiodic languages -- The characterization of certain classes of languages in the context sensitive area by automata -- A characterization of boolean closures of families of languages -- Zufällige Folgen und Bi-Immunität -- Die mittler Additionsdauer eines Paralleladdierwerks -- On the number of multiplications required by the product of two matrices -- Elementare und subelementare Funktionenklassen über binären Bäumen -- Über die Vernetzungsstruktur von Maschinen -- On the simulation of time bounded machines -- Über die Zeit, die benötigt wird, um endliche Mengen umzuordnen -- Über eine Hierarchie von Push-Down-Entscheidbaren Mengen -- A characterization of the classes L1 and R1 of primitive recursive word functions -- A drum scheduling algorithm -- Some considerations about classes of mappings between context-free derivation systems -- On ianov schemas with one memory location -- Reduction goals in bottom-up recognition -- Un modele semantique pour un langage simple de programmation -- Erweiterungen subrekursiver Programmiersprachen.
Record Nr.	UNISA-996465422103316

Edizione	[1st ed. 2007.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007
Descrizione fisica	1 online resource (X, 399 pages)
Disciplina	006.3
Collana	Lecture Notes in Artificial Intelligence
Soggetto topico	Artificial intelligence Software engineering Computers Data mining Computer simulation Pattern recognition Artificial Intelligence Software Engineering Computation by Abstract Devices Data Mining and Knowledge Discovery Simulation and Modeling Pattern Recognition
ISBN	3-540-77296-0
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Historical and Philosophical Issues -- AI in the 21st Century – With Historical Reflections -- The Physical Symbol System Hypothesis: Status and Prospects -- Fifty Years of AI: From Symbols to Embodiment - and Back -- 2006: Celebrating 75 Years of AI - History and Outlook: The Next 25 Years -- Evolutionary Humanoid Robotics: Past, Present and Future -- Philosophical Foundations of AI -- On the Role of AI in the Ongoing Paradigm Shift within the Cognitive Sciences -- Information Theory and Quantification -- On the Information Theoretic Implications of Embodiment – Principles and Methods -- Development Via Information Self-structuring of Sensorimotor Experience and Interaction -- How Information and Embodiment Shape Intelligent Information Processing -- Preliminary Considerations for a Quantitative Theory of Networked Embodied Intelligence -- A Quantitative Investigation into Distribution of Memory and Learning in Multi Agent Systems with Implicit Communications -- Morphology and Dynamics -- AI in Locomotion: Challenges and Perspectives of Underactuated Robots -- On the Task Distribution Between Control and Mechanical Systems -- Bacteria Integrated Swimming Microrobots -- Adaptive Multi-modal Sensors -- Neurorobotics -- What Can AI Get from Neuroscience? -- Dynamical Systems in the Sensorimotor Loop: On the Interrelation Between Internal and External Mechanisms of Evolved Robot Behavior -- Adaptive Behavior Control with Self-regulating Neurons -- Brain Area V6A: A Cognitive Model for an Embodied Artificial Intelligence -- The Man-Machine Interaction: The Influence of Artificial Intelligence on Rehabilitation Robotics -- Machine Intelligence, Cognition, and Natural Language Processing -- Tests of Machine Intelligence -- A Hierarchical Concept Oriented Representation for Spatial Cognition in Mobile Robots -- Anticipation and Future-Oriented Capabilities in Natural and Artificial Cognition -- Computer-Supported Human-Human Multilingual Communication -- Human-Like Intelligence: Motivation, Emotions, and Consciousness -- A Paradigm Shift in Artificial Intelligence: Why Social Intelligence Matters in the Design and Development of Robots with Human-Like Intelligence -- Intrinsically Motivated Machines -- Curious and Creative Machines -- Applying Data Fusion in a Rational Decision Making with Emotional Regulation -- How to Build Consciousness into a Robot: The Sensorimotor Approach -- Robot Platforms -- A Human-Like Robot Torso ZAR5 with Fluidic Muscles: Toward a Common Platform for Embodied AI -- The iCub Cognitive Humanoid Robot: An Open-System Research Platform for Enactive Cognition -- Intelligent Mobile Manipulators in Industrial Applications: Experiences and Challenges -- Art and AI -- The Dynamic Darwinian Diorama: A Landlocked Archipelago Enhances Epistemology.
Altri titoli varianti	Fifty years of artificial intelligence: essays dedicated to the fiftieth anniversary of artificial intelligence
Record Nr.	UNINA-9910484046403321

Edizione	[1st ed. 2012.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Descrizione fisica	1 online resource (XIV, 304 p. 133 illus.)
Disciplina	617.5/507543
Collana	Image Processing, Computer Vision, Pattern Recognition, and Graphics
Soggetto topico	Optical data processing Computers Image Processing and Computer Vision Computer Imaging, Vision, Pattern Recognition and Graphics Computation by Abstract Devices
ISBN	3-642-33612-4
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Prone to Supine CT Colonography Registration Using a Landmark and Intensity Composite Method -- External Clinical Validation of Prone and Supine CT Colonography Registration -- Efficient Topological Cleaning for Visual Colon Surface Flattening -- Adaptive Volumetric Detection of Lesions for Minimal-Preparation Dual-Energy CT Colonography -- Computer-Aided Detection for Ultra-Low-Dose CT Colonography -- Application of CT Simulation Technique for Virtual Ultra-Low-Dose Trial in CT Colonography -- Application of CT Simulation Technique for Virtual Fecal Tagging in CTC -- Application of CT Acquisition Parameters as Features in Computer-Aided Detection for CT Colonography -- Comparative Performance of State-of-the-Art Classifiers in Computer-Aided Detection for CT Colonography -- Piecewise Structural Diffusion Defined on Shape Index for Noise Reduction in Dual-Energy CT Images -- A Supervised Learning Based Approach to Detect Crohn’s Disease in Abdominal MR Volumes -- Out-of-Plane Motion Compensation in Cine-MRI -- Real-Time Phase Boundary Detection for Colonoscopy Videos Using Motion Vector Templates -- Relaxed Conditional Statistical Shape Models and Their Application to Non-contrast Liver Segmentation -- A Landmark-Based Primal-Dual Approach for Discontinuity Preserving Registration -- Predicting Liver Motion Using Exemplar Models -- Semi-automatic Discrimination of Normal Tissue and Liver Cancer Lesions in Contrast Enhanced X-Ray CT-Scans -- Evaluation of Diffusion Filters for 3D CTA Liver Vessel Enhancement -- 3D Shape Analysis for Liver-Gallbladder Anatomical Structure Retrieval -- Tumor Sensitive Matching Flow: An Approach for Ovarian Cancer Metastasis Detection and Segmentation -- Fast Segmentation of Abdominal Wall: Application to Sliding Effect Removal for Non-rigid Registration -- A Fully Automated Framework for Renal Cortex Segmentation -- An Implicit Inter-subject Shape Driven Image Deformation Model for Prostate Motion Estimation -- Segmentation of the Cartilage in the Rib Cage in 3D MRI -- Method for Detecting Enlarged Lymph Nodes from 3D Abdominal CT Images with a Multi-shape and Multi-scale Ellipsoidal Structure Detection Filter -- Delineation of Liver Tumors from CT Scans Using Spectral Clustering with Out-of-Sample Extension and Multi-windowing -- Evaluation of Medical Image Registration by Using 3D SIFT and Phase-Only Correlation -- Optimal Medial Surface Generation for Anatomical Volume Representations -- Registration of Free-Breathing Abdominal 3D Contrast-Enhanced CT -- Non-newtonian Blood Flow Analysis for the Portal Vein Based on a CT Image -- Tracer Kinetic Modeling by Morales-Smith Hypothesis in Hepatic Perfusion CT.
Record Nr.	UNISA-996466043003316

Edizione	[1st ed. 2014.]
Pubbl/distr/stampa	Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Descrizione fisica	1 online resource (XIII, 296 p. 139 illus.)
Disciplina	617.550754
Collana	Image Processing, Computer Vision, Pattern Recognition, and Graphics
Soggetto topico	Optical data processing Computers Pattern recognition Artificial intelligence Computer science Image Processing and Computer Vision Computation by Abstract Devices Pattern Recognition Artificial Intelligence Computer Science, general
ISBN	3-319-13692-5
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Liver and pancreas - ablation, perfusion, and segmentation -- Gastrointestinal tract - Crohn's disease -- Gastrointestinal tract - colonoscopy, colonography -- Abdominal operation planning - registration, segmentation.
Record Nr.	UNINA-9910483127503321

Edizione	[1st ed. 2013.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Descrizione fisica	1 online resource (XIV, 300 p. 147 illus.)
Disciplina	006.6 006.37
Collana	Image Processing, Computer Vision, Pattern Recognition, and Graphics
Soggetto topico	Optical data processing Computers Pattern recognition Artificial intelligence Computer science Image Processing and Computer Vision Computer Imaging, Vision, Pattern Recognition and Graphics Computation by Abstract Devices Pattern Recognition Artificial Intelligence Computer Science, general
ISBN	3-642-41083-9
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	A Model Development Pipeline for Crohn’s Disease Severity Assessment from Magnetic Resonance Images -- Spatially Constrained Incoherent Motion (SCIM) Model Improves Quantitative Diffusion-Weighted MRI Analysis of Crohn’s Disease Patients -- Self Similarity Image Registration based on Reorientation of the Hessian -- Registration of Prone and Supine CT Colonography Datasets with Differing Endoluminal Distension -- Spatial Correspondence between Prone and Supine CT Colonography Images: Creating a Reference Standard -- Registration of Temporally Separated CT Colonography Cases -- A Classification-Enhanced Vote Accumulation Scheme for Detecting Colonic Polyps -- A Novel Computer Aided Detection (CADe) Scheme for Colonic Polyps Based on the Structure Decomposition -- Computer-aided Detection of Colorectal Lesions with Super-Resolution CT Colonography: Pilot Evaluation -- Computer-aided Detection of Non-polypoid Flat Lesions in CT Colonography: Observer Performance Study -- Application of Synthetic Sinogram based Low-Dose CT Simulation and Fold-preserving Electronic Cleansing Technique for CT Colonography -- Iterative Reconstruction for Ultra-Low-Dose Laxative-Free CT Colonography -- Global Colon Geometric Structure Analysis Based on Geodesics and Conformal Flattening -- Improved Colon Navigation for Efficient Polyp Detection in Virtual Colonoscopy -- Personalised Estimation of the Arterial Input Function for Improved Pharmacokinetic Modelling of Colorectal Cancer Using dceMRI -- Free-Form Registration Involving Disappearing Structures: Application to Brachytherapy MRI -- Contour-based TVUS-MR Image Registration for Mapping Small Endometrial Implants -- Rigid Registration of Untracked Freehand 2D Ultrasound Sweeps to 3D CT of Liver Tumours -- Multiphase Liver Registration from Geodesic Distance Maps and Biomechanical Modelling -- Fast Renal Cortex Localization by Combining Generalized Hough Transform and Active Appearance Models -- 3D Surface Reconstruction of Organs Using Patient-Specific Shape Priors in Robot-Assisted Laparoscopic Surgery -- Multi-atlas and Gaussian Mixture Modeling based Perirectal Fat Segmentation from CT Images -- Selective Search and Sequential Detection for Standard Plane Localization in Ultrasound -- Rib Detection in 3D MRI Using Dynamic Programming Based on Vesselness and Ridgeness -- Modeling and Simulation of Soft Tissue Deformation -- Adaptive Confidence Regions of Motion Predictions from Population Exemplar Models -- A Generic, Robust and Fully-automatic Workflow for 3D CT Liver Segmentation -- Tumor Subtype-Specific Parameter Optimization in a Hybrid Active Surface Model for Hepatic Tumor Segmentation of 3D Liver Ultrasonograms -- Continuous-Time Flow-limited Modeling by Convolution Area Property and Differentiation Product Rule in 4-Phase Liver Dynamic Contrast-Enhanced CT -- Use of Tracer Kinetic Model-driven Biomarkers for Monitoring Antiangiogenic Therapy of Hepatocellular Carcinoma in First-pass Perfusion CT -- A Statistical Shape Model for Multiple Organs based on Synthesized-based Learning -- A Survey of Cervix Segmentation Methods in Magnetic Resonance Images.
Record Nr.	UNINA-9910483557803321