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.
Biomedical image registration : 4th International Workshop, WBIR 2010, Lubeck, July 11-13, 2010 : proceedings / / Bernd Fischer, Benoit M. Dawant, Cristian Lorenz, (eds.)
| Biomedical image registration : 4th International Workshop, WBIR 2010, Lubeck, July 11-13, 2010 : proceedings / / Bernd Fischer, Benoit M. Dawant, Cristian Lorenz, (eds.) |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (280 p. 113 illus.) |
| Disciplina | 616.07/54 |
| Altri autori (Persone) |
FischerBernd
DawantBenoit M LorenzCristian |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics |
| Soggetto topico |
Image registration
Biomedical materials |
| ISBN |
1-280-38792-0
9786613565846 3-642-14366-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Applications -- Unifying Vascular Information in Intensity-Based Nonrigid Lung CT Registration -- Deformable Image Registration of Follow-Up Breast Magnetic Resonance Images -- 3D-Reconstruction of Basal Cell Carcinoma -- Monocular Deformable Model-to-Image Registration of Vascular Structures -- Poster Session -- Continuity Order of Local Displacement in Volumetric Image Sequence -- Registration of 2D Images from Fast Scanning Ophthalmic Instruments -- Registration of 3D Retinal Optical Coherence Tomography Data and 2D Fundus Images -- A Computational White Matter Atlas for Aging with Surface-Based Representation of Fasciculi -- Anatomical Landmark Based Registration of Contrast Enhanced T1-Weighted MR Images -- Bayesian Estimation of Deformation and Elastic Parameters in Non-rigid Registration -- Functional Non-rigid Registration Validation: A CT Phantom Study -- Evaluation -- Nonlinear Elastic Spline Registration: Evaluation with Longitudinal Huntington’s Disease Data -- Evaluating Image Registration Using NIREP -- A New Image Database for 3D/2D Registration Based on the Visible Human Data Set -- Methods Part I -- Unifying Characterization of Deformable Registration Methods Based on the Inherent Parametrization -- Reliability-Driven, Spatially-Adaptive Regularization for Deformable Registration -- Large Deformation Diffeomorphic Registration Using Fine and Coarse Strategies -- Log-Domain Diffeomorphic Registration of Diffusion Tensor Images -- Model Based Registration -- Nonrigid Registration and Template Matching for Coronary Motion Modeling from 4D CTA -- Cardiac Respiratory Motion Modelling by Simultaneous Registration and Modelling from Dynamic MRI Images -- Model-Based Registration for Motion Compensation during EP Ablation Procedures -- Methods II -- Spatial Information Encoded Mutual Information for Nonrigid Registration -- Normalized Measures of Mutual Information with General Definitions of Entropy for Multimodal Image Registration -- Nonlinear Elasticity Registration and Sobolev Gradients. |
| Record Nr. | UNINA-9910484715303321 |
| New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming
| Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2002 |
| Descrizione fisica | 1 online resource (110 pages) |
| Disciplina | 005.1/1 |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
RULE '02 third ACM SIGPLAN Workshop on Rule-based Programming 2002 (co-located with ICFP 2002 Conference), Pittsburgh, PA, USA - October 05 - 05, 2002
Proceedings of the 2002 Association for Computing Machinery Special Interest Group on Programming Languages Workshop on Rule-Based Programming |
| Record Nr. | UNINA-9910375830503321 |
| [Place of publication not identified], : ACM, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theoretical Aspects of Computing – ICTAC 2018 [[electronic resource] ] : 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings / / edited by Bernd Fischer, Tarmo Uustalu
| Theoretical Aspects of Computing – ICTAC 2018 [[electronic resource] ] : 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings / / edited by Bernd Fischer, Tarmo Uustalu |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVII, 533 p. 84 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Artificial intelligence Software engineering Machine theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Artificial Intelligence Software Engineering Formal Languages and Automata Theory |
| ISBN | 3-030-02508-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs -- LTL Semantic Tableaux and Alternating Omega-automata via Linear Factors -- Proof Nets and the Linear Substitution Calculus -- Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms -- An Automata-Based View on Configurability and Uncertainty -- Formalising Boost POSIX Regular Expression Matching -- Monoidal Multiplexing -- Input/Output Stochastic Automata with Urgency: Conuence and Weak Determinism -- Layer by Layer: Combining Monads -- Layer Systems for Confluence – Formalized -- A Metalanguage for Guarded Iteration -- Generating Armstrong ABoxes for ALC TBoxes -- Spatio-Temporal Domains: An Overview -- Checking Modal Contracts for Virtually Timed Ambients -- Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers -- Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces -- Symbolic Computation via Program Transformation -- Double Applicative Functors -- Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving -- Explicit Auditing -- Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables -- Complexity Results on Register Context-Free Grammars and Register Tree Automata -- Information Flow Certificates -- The Smallest FSSP Partial Solutions for One-Dimensional Ring Cellular Automata: Symmetric and Asymmetric Synchronizers -- Convex Language Semantics for Nondeterministic Probabilistic Automata -- Fast Computations on Ordered Nominal Sets -- Non-preemptive Semantics for Data-Race-Free Programs. |
| Record Nr. | UNISA-996466448903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theoretical Aspects of Computing – ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings / / edited by Bernd Fischer, Tarmo Uustalu
| Theoretical Aspects of Computing – ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings / / edited by Bernd Fischer, Tarmo Uustalu |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVII, 533 p. 84 illus.) |
| Disciplina |
005.1
005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Artificial intelligence Software engineering Machine theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Artificial Intelligence Software Engineering Formal Languages and Automata Theory |
| ISBN | 3-030-02508-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs -- LTL Semantic Tableaux and Alternating Omega-automata via Linear Factors -- Proof Nets and the Linear Substitution Calculus -- Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms -- An Automata-Based View on Configurability and Uncertainty -- Formalising Boost POSIX Regular Expression Matching -- Monoidal Multiplexing -- Input/Output Stochastic Automata with Urgency: Conuence and Weak Determinism -- Layer by Layer: Combining Monads -- Layer Systems for Confluence – Formalized -- A Metalanguage for Guarded Iteration -- Generating Armstrong ABoxes for ALC TBoxes -- Spatio-Temporal Domains: An Overview -- Checking Modal Contracts for Virtually Timed Ambients -- Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers -- Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces -- Symbolic Computation via Program Transformation -- Double Applicative Functors -- Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving -- Explicit Auditing -- Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables -- Complexity Results on Register Context-Free Grammars and Register Tree Automata -- Information Flow Certificates -- The Smallest FSSP Partial Solutions for One-Dimensional Ring Cellular Automata: Symmetric and Asymmetric Synchronizers -- Convex Language Semantics for Nondeterministic Probabilistic Automata -- Fast Computations on Ordered Nominal Sets -- Non-preemptive Semantics for Data-Race-Free Programs. |
| Record Nr. | UNINA-9910349398603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transcultural literary studies : politics, theory, and literary analysis / / edited by Bernd Fischer
| Transcultural literary studies : politics, theory, and literary analysis / / edited by Bernd Fischer |
| Pubbl/distr/stampa | Basel, Switzerland, : , : MDPI - Multidisciplinary Digital Publishing Institute, , [2017] |
| Descrizione fisica | 1 online resource (xi, 126 pages) |
| Disciplina | 809 |
| Soggetto topico | Literature - History and criticism |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Transcultural Literary Studies |
| Record Nr. | UNINA-9910674058403321 |
| Basel, Switzerland, : , : MDPI - Multidisciplinary Digital Publishing Institute, , [2017] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||