| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA990006187630203316 |
|
|
Autore |
DE SIMONE, Vincenzo |
|
|
Titolo |
Vincenzo De Simone : percorso 1975-1985 : Studiomiele Nola, Castello Aragonese Ischia, giugno-luglio 1985 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910143596403321 |
|
|
Titolo |
Information Processing in Medical Imaging : 17th International Conference, IPMI 2001, Davis, CA, USA, June 18-22, 2001. Proceedings / / edited by Michael F. Insana, Richard M. Leahy |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2001.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVI, 544 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 2082 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Internal medicine |
Optical data processing |
Pattern perception |
Artificial intelligence |
Medical informatics |
Radiology |
Internal Medicine |
Image Processing and Computer Vision |
Pattern Recognition |
Artificial Intelligence |
Health Informatics |
Imaging / Radiology |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Objective Assessment of Image Quality -- On the Difficulty of Detecting Tumors in Mammograms -- Objective Comparison of Quantitative Imaging Modalities Without the Use of a Gold Standard -- Theory for Estimating Human-Observer Templates in Two-Alternative Forced-Choice Experiments -- Shape Modeling -- The Active Elastic Model -- A Minimum Description Length Approach to Statistical Shape Modelling -- Multi-scale 3-D Deformable Model Segmentation Based on Medial Description -- Automatic 3D ASM Construction via Atlas-Based Landmarking and Volumetric Elastic Registration -- Molecular and Diffusion Tensor Imaging -- A Regularization Scheme for Diffusion Tensor Magnetic Resonance Images -- Distributed Anatomical Brain Connectivity Derived from Diffusion Tensor Imaging -- Study of Connectivity in the Brain Using the Full Diffusion Tensor from MRI -- Poster Session I: Registration and Structural Analysis -- Incorporating Image Processing in a Clinical Decision support system -- Automated Estimation of Brain Volume in Multiple Sclerosis with BICCR -- Automatic Image Registration for MR and Ultrasound Cardiac Images -- Estimating Sparse Deformation Fields Using Multiscale Bayesian Priors and 3-D Ultrasound -- Automatic Registration of Mammograms Based on Linear Structures -- Tracking Brain Deformations in Time-Sequences of 3D US Images -- Robust Multimodal Image Registration Using Local Frequency Representations -- Steps Toward a Stereo-Camera-Guided Biomechanical Model for Brain Shift Compensation -- Poster Session I: Functional Image analysis -- Spatiotemporal Analysis of Functional Images Using the Fixed Effect Model -- Spatio-Temporal Covariance Model for Medical Images Sequences: Application to Functional MRI Data -- Microvascular Dynamics in the Nailfolds of Scleroderma Patients Studied Using Na-Fluorescein dye -- Time Curve Analysis Techniques for Dynamic Contrast MRI Studies -- Detecting Functionally Coherent Networks in fMRI Data of the Human Brain Using Replicator Dynamics -- Smoothness Prior Information in Principal Component Analysis of Dynamic Image Data -- Estimation of Baseline Drifts in fMRI -- Analyzing the Neocortical Fine-Structure -- fMRI/EEG/MEG -- Motion Correction Algorithms of the Brain Mapping Community Create Spurious Functional Activations -- Estimability of Spatio-Temporal Activation in fMRI -- A New Approach to the MEG/EEG Inverse Problem for the Recovery of Cortical Phase-Synchrony -- Neural Field Dynamics on the Folded Three-Dimensional Cortical Sheet and Its Forward EEG and MEG -- Depormable Registration -- A Unified Feature Registration Method for Brain Mapping -- Cooperation between Local and Global Approaches to Register Brain Images -- Landmark and Intensity-Based, Consistent Thin-Plate Spline Image Registration -- Validation of Non-rigid Registration Using Finite Element Methods -- Poster Session II:Shape Analysis -- A Linear Time Algorithm for Computing the Euclidean Distance Transform in Arbitrary Dimensions -- An Elliptic Operator for Constructing Conformal Metrics in Geometric Deformable Models -- Using a Linear Diagnostic Function and Non-rigid Registration to Search for Morphological Differences Between Populations: An Example Involving the Male and Female Corpus Callosum -- Shape Constrained Deformable Models for 3D Medical |
|
|
|
|
|
|
|
|
|
|
|
Image Segmentation -- Stenosis Detection Using a New Shape Space for Second Order 3D-Variations -- Graph-Based Topology Correction for Brain Cortex Segmentation -- Intuitive, Localized Analysis of Shape Variability -- A Sequential 3D Thinning Algorithm and Its Medical Applications -- Poster Session II: Functional Image Analysis -- An Adaptive Level Set Method for Medical Image Segmentation -- Partial Volume Segmentation of Cerebral MRI Scans with Mixture Model Clustering -- Nonlinear Edge Preserving Smoothing and Segmentation of 4-D Medical Images via Scale-Space Fingerprint Analysis -- Spatio-Temporal Segmentation of Active Multiple Sclerosis Lesions in Serial MRI Data -- Time-Continuous Segmentation of Cardiac Image Sequences Using Active Appearance Motion Models -- Feature Enhancement in Low Quality Images with Application to Echocardiography -- 3D Vascular Segmentation Using MRA Statistics and Velocity Field Information in PC-MRA -- Markov Random Field Models for Segmentation of PET Images -- Analysis of Brain Structure -- Statistical Study on Cortical Sulci of Human Brains -- Detecting Sisease-Specific Patterns of Brain Structure Using Cortical Pattern Matching and a Population-Based Probabilistic Brain Atlas -- Medial Models Incorporating Object Variability for 3D Shape Analysis -- Deformation Analysis for Shape Based Classification. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 17th International Conference on Information Processing in Medical Imaging, IPMI 2001, held in Davis, CA, USA, in June 2001. The 54 revised papers presented were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on objective assessment of image quality, shape modeling, molecular and diffusion tensor imaging, registration and structural analysis, functional image analysis, fMRI/EEG/MEG, deformable registration, shape analysis, and analysis of brain structure. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNISOBSOBE00064199 |
|
|
Autore |
Militerni, Roberto |
|
|
Titolo |
Neuropsichiatria infantile / Roberto Militerni |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Napoli, : Idelson-Gnocchi, 2020 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[6. ed] |
|
|
|
|
|
Descrizione fisica |
|
XIX, 578 p. : ill. ; 26 cm |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
4. |
Record Nr. |
UNINA9910410053403321 |
|
|
Titolo |
Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings / / edited by Wolfgang Ahrendt, Heike Wehrheim |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xiii, 181 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 12165 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Compilers (Computer programs) |
Computers, Special purpose |
Computer systems |
Artificial intelligence |
Software Engineering |
Compilers and Interpreters |
Special Purpose and Application-Based Systems |
Computer System Implementation |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning -- Mutation Testing of Smart Contracts at Scale -- Deductive Binary Code Verification Against Source-Code-Level Specifications -- Spatial-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries -- SAT Modulo Differential Equation Simulations -- Verified Runtime Assertion Checking for Memory Properties -- Testing for Race Conditions in Distributed Systems via SMT Solving -- SASA: a SimulAtor of Self-stabilizing Algorithms -- A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems -- ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability. |
|
|
|
|
|
|
|
| |