Abandoned Buildings in Contemporary Cities: Smart Conditions for Actions [[electronic resource] /] / edited by Isabella M. Lami |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (165 pages) |
Disciplina | 307.1216 |
Collana | Smart Innovation, Systems and Technologies |
Soggetto topico |
Computational intelligence
Artificial intelligence Urban geography Computational Intelligence Artificial Intelligence Urban Geography / Urbanism (inc. megacities, cities, towns) |
ISBN | 3-030-35550-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Vacant Buildings. Distinguishing Heterogeneous Cases: Public Items Vs. Private Items; Empty Properties Vs. Abandoned Properties -- Participation, Culture, Entrepreneurship: Using Public Real Estate Assets to Create New Urban Regeneration Models -- Intensity of Uses and Spatial Devices -- The Appraisal Challenge in Cultural Urban Regeneration: A Proposal of An Evaluation Procedure -- Theoretical Basis and Design of Analysis -- The Case Study Profiles -- Governance, Economic Sustainability and Socio-Spatial Relationships -- Shapes, Rules and Value. |
Record Nr. | UNINA-9910483984503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Abdominal Imaging. Computational and Clinical Applications [[electronic resource] ] : 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014. / / edited by Hiroyuki Yoshida, Janne J. Näppi, Sanjay Saini |
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 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Abdominal Imaging. Computational and Clinical Applications [[electronic resource] ] : 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014. / / edited by Hiroyuki Yoshida, Janne J. Näppi, Sanjay Saini |
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. | UNISA-996211265303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Abdominal Imaging. Computational and Clinical Applications [[electronic resource] ] : 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings / / edited by Hiroyuki Yoshida, Simon Warfield, Michael Vannier |
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 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Abdominal Imaging. Computational and Clinical Applications [[electronic resource] ] : 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings / / edited by Hiroyuki Yoshida, Simon Warfield, Michael Vannier |
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. | UNISA-996465545103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Abduction in Context [[electronic resource] ] : The Conjectural Dynamics of Scientific Reasoning / / by Woosuk Park |
Autore | Park Woosuk |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIV, 263 p. 10 illus.) |
Disciplina | 511.31 |
Collana | Studies in Applied Philosophy, Epistemology and Rational Ethics |
Soggetto topico |
Epistemology
Cognitive psychology Logic Artificial intelligence Cognitive Psychology Artificial Intelligence |
ISBN | 9783319489568 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910155274103321 |
Park Woosuk | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Absolute Beginners Guide to Computing [[electronic resource] /] / by Wallace Wang |
Autore | Wang Wallace |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2016 |
Descrizione fisica | 1 online resource (XXVIII, 493 p. 436 illus., 417 illus. in color.) |
Disciplina | 004 |
Soggetto topico |
Open source software
Computer programming Artificial intelligence Computer industry Open Source Artificial Intelligence The Computer Industry |
ISBN | 1-4842-2289-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I. Basic Training -- 1. Understanding Computers -- 2. Giving Commands with the Mouse, Trackpad, and Keyboard -- 3. Running Programs -- 4. Typing and Editing Text -- 5. Understanding Files and Folders -- 6. Manipulating Files -- 7. Sharing Files -- Part II. Customizing Windows 10 -- 8. Using the Start Menu and Taskbar -- 9. Installing Software -- 10 - Customizing the Screen -- 11.Customizing the File Explorer Window -- 12. Organizing Windows -- Part III. Having Fun -- 13. Playing with Photos -- 14. Watching Video and Playing Audio -- 15. Drawing and Editing Pictures -- Part IV. Getting on the Internet -- 16. Browsing the Internet -- 17. Talking to Cortana -- 18. Using Email -- 19. Getting News -- 20. Chatting with Skype -- 21. Keeping Track of People -- Part V. Getting Work Done -- 22. Using OneNote -- 23. Keeping Track of Dates and Times -- 24. Capturing Screenshots and Audio -- 25. Using the Calculator -- Part VI. Useful Computer Information -- 26. Backing Up Your Data -- 27. Protecting Against Malware -- 28. Maintaining Your Computer. |
Record Nr. | UNINA-9910154819503321 |
Wang Wallace | ||
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [[electronic resource] ] : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XIV, 432 p. 83 illus.) |
Disciplina | 006.31 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Algorithms Computer science Compilers (Computer programs) Artificial intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Artificial Intelligence |
ISBN | 3-319-91271-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. |
Record Nr. | UNISA-996465825303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [[electronic resource] ] : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XIV, 432 p. 83 illus.) |
Disciplina | 006.31 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Algorithms Computer science Compilers (Computer programs) Artificial intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Artificial Intelligence |
ISBN | 3-319-91271-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. |
Record Nr. | UNINA-9910349429803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Abstraction, Reformulation and Approximation [[electronic resource] ] : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings / / edited by Jean-Daniel Zucker, Lorenza Saitta |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XII, 380 p.) |
Disciplina | 004 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Computers
Artificial intelligence Computer logic Mathematical logic Theory of Computation Artificial Intelligence Logics and Meanings of Programs Mathematical Logic and Formal Languages |
ISBN | 3-540-31882-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains -- Synthesizing Plans for Multiple Domains -- Abstract Policy Evaluation for Reactive Agents -- Implementing an Abstraction Framework for Soft Constraints -- Transforming and Refining Abstract Constraint Specifications -- Learning Regular Expressions from Noisy Sequences -- From Factorial and Hierarchical HMM to Bayesian Network: A Representation Change Algorithm -- Hierarchical Heuristic Search Revisited -- Multinomial Event Model Based Abstraction for Sequence and Text Classification -- Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies -- Detecting and Breaking Symmetries by Reasoning on Problem Specifications -- Approximate Model-Based Diagnosis Using Preference-Based Compilation -- Function Approximation via Tile Coding: Automating Parameter Choice -- Creating Better Abstract Operators -- A Specialised Binary Constraint for the Stable Marriage Problem -- Compositional Derivation of Symmetries for Constraint Satisfaction -- Extended Abstracts -- Solving the 24 Puzzle with Instance Dependent Pattern Databases -- Combining Feature Selection and Feature Construction to Improve Concept Learning for High Dimensional Data -- A Qualitative Spatio-temporal Abstraction of a Disaster Space -- The Cruncher: Automatic Concept Formation Using Minimum Description Length -- Experiments with Multiple Abstraction Heuristics in Symbolic Verification -- Probabilistic Abstraction of Uncertain Temporal Data for Multiple Subjects -- Learning Classifiers Using Hierarchically Structured Class Taxonomies -- Feature-Discovering Approximate Value Iteration Methods -- Invited Talks -- Designing Views to Efficiently Answer Real SQL Queries -- The Multi-depot Periodic Vehicle Routing Problem -- Abstract Representation in Painting and Computing -- Research Summaries -- Categorizing Gene Expression Correlations with Bioclinical Data: An Abstraction Based Approach -- Learning Abstract Scheduling Models -- Knowledge Acquisition on Manipulation of Flow and Water Quality Models -- Abstraction and Multiple Abstraction in the Symbolic Modeling of the Environment of Mobile Robots -- Sequential Decision Making Under Uncertainty -- Automatic State Abstraction for Pathfinding in Real-Time Video Games -- Model-Based Search -- Learning Skills in Reinforcement Learning Using Relative Novelty. |
Record Nr. | UNISA-996465781003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|