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.
Abdominal Imaging: Computational and Clinical Applications [[electronic resource] ] : Third International Workshop, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011, Revised Selected Papers / / edited by Hiroyuki Yoshida, Georgios Sakas, Marius George Linguraru
| Abdominal Imaging: Computational and Clinical Applications [[electronic resource] ] : Third International Workshop, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011, Revised Selected Papers / / edited by Hiroyuki Yoshida, Georgios Sakas, Marius George Linguraru |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIV, 274 p. 148 illus.) |
| Disciplina | 617.5/50754 |
| Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
| Soggetto topico |
Optical data processing
Pattern recognition User interfaces (Computer systems) Computer graphics Radiology Image Processing and Computer Vision Pattern Recognition User Interfaces and Human Computer Interaction Computer Graphics Computer Imaging, Vision, Pattern Recognition and Graphics Imaging / Radiology |
| Soggetto genere / forma | Conference papers and proceedings. |
| ISBN | 3-642-28557-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Virtual Colonoscopy and CAD Inverse Consistency Error in the Registration of Prone and Supine Images in CT Colonography -- Dual-Energy Electronic Cleansing for Artifact-Free Visualization of the Colon in Fecal-Tagging CT Colonography -- Computer-Aided Polyp Detection for Laxative-Free CT Colonography -- Comparative Performance of Random Forest and Support Vector Machine Classifiers for Detection of Colorectal Lesions in CT Colonography -- Image-Enhanced Capsule Endoscopy Preserving the Original Color Tones -- 3D Non-rigid Motion Correction of Free-Breathing Abdominal DCE-MRI Data -- Segmentation of Liver Tumor Using Efficient Global Optimal Tree Metrics Graph Cuts -- Ensemble Detection of Colorectal Lesions for CT Colonography -- Automated Detection of Colorectal Lesions in Non-cathartic CT Colonography -- Integration of Valley Orientation Distribution for Polyp Region Identification in Colonoscopy -- Automated Detection and Diagnosis of Crohn’s Disease in CT Enterography -- Quantitative Evaluation of Lumbar Disc Herniation Based on MRI Image -- Liver Tumor Segmentation Using Kernel-Based FGCM and PGCM -- Abdominal Intervention Improving Diagnosis and Intervention: A Complete Approach for Registration of Liver CT Data -- Abdominal Images Non-rigid Registration Using Local-Affine Diffeomorphic Demons -- FIST: Fast Interactive Segmentation of Tumors -- Intraoperative Registration for Liver Tumor Ablation -- Sliding Geometries in Deformable Image Registration -- Simulation of Portal Vein Clamping and the Impact of Safety Margins for Liver Resection Planning -- Liver Segmentation in CT Images for Intervention Using a Graph-Cut Based Model -- Anatomical Feature-Guided Mutual Information Registration of Multimodal Prostate MRI -- Computational Abdominal Anatomy Abdominal Multi-organ Segmentation of CT Images Based on Hierarchical Spatial Modeling of Organ Interrelations -- Organ Segmentation from 3D Abdominal CT Images Based on Atlas Selection and Graph -- Liver Segmental Anatomy and Analysis from Vessel and Tumor Segmentation via Optimized Graph Cuts -- Liver and Tumor Segmentation and Analysis from CT of Diseased Patients via a Generic Affine Invariant Shape Parameterization and Graph Cuts -- A Bayesian Framework for Estimating Respiratory Liver Motion from Sparse Measurements.-Semi–automated Subcutaneous and Visceral Adipose Tissue Quantification in Computed Tomography -- Computation and Evaluation of Medial Surfaces for Shape Representation of Abdominal Organs -- Discontinuity Preserving Registration of Abdominal MR Images with Apparent Sliding Organ Motion -- Segmentation of Cervical Images by Inter-subject Registration with a Statistical Organ Model -- A New Method for Contour Determination of the Prostate in Ultrasound Images -- Analyses of Missing Organs in Abdominal Multi-Organ Segmentation -- Geometric Modelling of Patient-Specific Hepatic Structures Using Cubic Hermite Elements. |
| Record Nr. | UNISA-996465932103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Abel Prize 2008-2012 [[electronic resource] /] / edited by Helge Holden, Ragni Piene
| The Abel Prize 2008-2012 [[electronic resource] /] / edited by Helge Holden, Ragni Piene |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (561 p.) |
| Disciplina |
004
510 510.79 510.9 |
| Collana | The Abel Prize |
| Soggetto topico |
Mathematics
History Computer science Physics History of Mathematical Sciences Mathematics, general Computer Science, general Physics, general |
| ISBN | 3-642-39449-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- K.G. Helsvig: The Abel Prize – the Missing Nobel in Mathematics.- 2008 John G. Thompson and Jacques Tits: J.G.Thompson: Some Reflections.- R. Lyons and R.M.Guralnick: The Work of John Griggs Tompson: A Survey -- List of Publications for John G. Thompson -- Curriculum Vitae for John G. Thompson -- F. Buekenhout: A biography of Jacques Tits -- F. Buekenhout: A Report on the Scientific Contributions of Jacques Tits -- List of Publications -- Curriculum Vitae -- 2009 Misha Gromov: M.Gromov: A Few Recollections -- D.Burago, and Ya. Eliashberg (Eds.): A Few Snapshots From the Work of Mikhail Gromov -- List of Publications -- Curriculum Vitae -- 2010 John T. Tate Jr.: J.Tate: An Autobiography -- J.S. Milne: The Work of John Tate -- List of Publications -- Curriculum Vitae -- 2011 John W. Milnor: J.Milnor: Autobiography -- H.Bass: Milnor's Work in Algebra and Its Ramifications -- M.Lyubich: John Milnor's Work in Dynamics -- L.C.Siebenmann: John W. Milnor's Work on the Classification of Differentiable Manifolds -- List of Publications -- Curriculum Vitae -- 2012 Endre Szemerédi.: E. Szemerédi: Autobiography -- W.T.Gowers: The Mathematics of Endre Szemerédi -- List of Publications -- Curriculum Vitae -- A Letter by Niels Henrik Abel to August Leopold Crelle -- C.Skau: Abel and the Theory of Algebraic Equations -- Appendices: The Abel Committee -- The Niels Henrik Abel Board -- The Abel Lectures 2003-2012 -- The Abel Presenters 2003-2012.- Addenda, Errata and Updates. |
| Record Nr. | UNINA-9910300148103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abelian Group Theory [[electronic resource] ] : Proceedings of the Oberwolfach Conference, January 12-17, 1981 / / herausgegeben von R. Göbel, E. Walker
| Abelian Group Theory [[electronic resource] ] : Proceedings of the Oberwolfach Conference, January 12-17, 1981 / / herausgegeben von R. Göbel, E. Walker |
| Edizione | [1st ed. 1981.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1981 |
| Descrizione fisica | 1 online resource (447 S.) |
| Disciplina | 512.2 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Group theory
Group Theory and Generalizations |
| ISBN | 3-540-38767-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Reinhold Baer's work on abelian groups -- Pure subgroups of finite rank completely decomposable groups -- On special balanced supgroups of torsionfree separable abelian groups -- Abelian groups finitely generated over their endomorphism rings -- Relations between hom, ext, and tensor product for certain categories of modules over dedekind domains -- On direct decompositions of torsion free abelian groups of rank 4 -- Hyper-indecomposable groups -- On a paper of I.fleischer -- Weak compactness and the structure of Ext(A,?) -- On the p-ranks of Ext(A, G), assuming CH -- A cardinal-determined projectivity condition for abelian groups and modules -- ?1-Separable groups of mixed type -- p?-Basic subgroups of torsion free abelian groups -- A new class of subgroups of ??oZ -- Groups of integer-valuated functions -- Iterated direct sums and products of modules -- A general theory of slender groups and fuchs-44-groups -- Homomorphisms between cartesian powers of an abelian group -- Algebraic compactness of filter quotients -- Cotorsion modules over Noetherian hereditary rings -- Basic concepts of functorial topologies -- Automorphism groups of locally compact abelian groups -- Zur Kennzeichnung Von Elationen -- Extensions of isomorphisms between subgroups -- The duals of totally projective groups -- Isotype subgroups of totally projective groups -- Classification theory of abelian groups, II: Local theory -- Valuated p-groups -- Mixed local groups -- Nice subgroups of valuated groups -- Diagrams over ordered sets: A simple model of abelian group theory -- Kawada's theorem. |
| Record Nr. | UNISA-996466486203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abelsche und exakte Kategorien, Korrespondenzen [[electronic resource] /] / von Hans-Berndt Brinkmann, Dieter Puppe
| Abelsche und exakte Kategorien, Korrespondenzen [[electronic resource] /] / von Hans-Berndt Brinkmann, Dieter Puppe |
| Autore | Brinkmann Hans-Berndt |
| Edizione | [1st ed. 1969.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1969 |
| Descrizione fisica | 1 online resource (V, 144 S.) |
| Disciplina | 510 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Mathematics
Mathematics, general |
| ISBN | 3-540-36132-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Kerne und Cokerne -- Zerlegung von Morphismen. Exakte Kategorien -- Addition von morphismen. Abelsche Kategorien -- Kartesische und cokartesische Quadrate -- Exakte Folgen und exakte Quadrate -- Kategorien von Korrespondenzen -- Vollkommutative Quadrate, Zerlegung von Korrespondenzen -- Korrespondenzen über exakten Kategorien -- Homoloqie -- Diagrammlemmata in exakten Kategorien. |
| Record Nr. | UNISA-996466639203316 |
Brinkmann Hans-Berndt
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abenteuer Informatik [[electronic resource] ] : IT zum Anfassen für alle von 9 bis 99 – vom Navi bis Social Media / / von Jens Gallenbacher
| Abenteuer Informatik [[electronic resource] ] : IT zum Anfassen für alle von 9 bis 99 – vom Navi bis Social Media / / von Jens Gallenbacher |
| Autore | Gallenbacher Jens |
| Edizione | [4th ed. 2017.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XI, 436 S. 368 Abb. in Farbe.) |
| Disciplina | 000 |
| Soggetto topico |
Computer science
Algorithms Popular Computer Science Algorithm Analysis and Problem Complexity |
| ISBN | 3-662-53965-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Einleitung -- Sag' mir wohin .. -- Ordnung muss sein!- Ich packe meinen Koffer und .. -- Der Trick mit dem Binären -- 100000000000 Jahre Informatik?- Von Kamelen und dem Nadelöhr -- Verluste gibt es doch immer!- Erkennungsdienst -- Paketpost -- Alles im Fluss -- Ordnung im Chaos -- Mit Sicherheit -- Rechnen mit Strom -- InformaGik -- Allmächtiger Computer!?- Spielchen gefällig?- Glossar. |
| Record Nr. | UNINA-9910483451903321 |
|
Gallenbacher Jens
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Absolute Clauses in English from the Systemic Functional Perspective [[electronic resource] ] : A Corpus-Based Study / / by Qingshun He, Bingjun Yang
| Absolute Clauses in English from the Systemic Functional Perspective [[electronic resource] ] : A Corpus-Based Study / / by Qingshun He, Bingjun Yang |
| Autore | He Qingshun |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (191 p.) |
| Disciplina | 421.6 |
| Collana | The M.A.K. Halliday Library Functional Linguistics Series |
| Soggetto topico |
Grammar
Philology Linguistics Language and Literature Theoretical Linguistics |
| ISBN | 3-662-46367-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Absolute Clauses in the Literature -- Approaching Absolute Clauses from the SFL Perspective -- Research Design -- Relationships Realized by Absolute Clauses -- Absolute Clauses Distributed in Three Corpora -- Discussions -- Conclusion. |
| Record Nr. | UNINA-9910484385103321 |
|
He Qingshun
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract Harmonic Analysis of Continuous Wavelet Transforms [[electronic resource] /] / by Hartmut Führ
| Abstract Harmonic Analysis of Continuous Wavelet Transforms [[electronic resource] /] / by Hartmut Führ |
| Autore | Führ Hartmut |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 193 p.) |
| Disciplina | 515.2433 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Harmonic analysis
Fourier analysis Abstract Harmonic Analysis Fourier Analysis |
| ISBN | 3-540-31552-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Wavelet Transforms and Group Representations -- The Plancherel Transform for Locally Compact Groups -- Plancherel Inversion and Wavelet Transforms -- Admissible Vectors for Group Extension -- Sampling Theorems for the Heisenberg Group -- References -- Index. |
| Record Nr. | UNINA-9910483359003321 |
|
Führ Hartmut
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract Harmonic Analysis of Continuous Wavelet Transforms [[electronic resource] /] / by Hartmut Führ
| Abstract Harmonic Analysis of Continuous Wavelet Transforms [[electronic resource] /] / by Hartmut Führ |
| Autore | Führ Hartmut |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 193 p.) |
| Disciplina | 515.2433 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Harmonic analysis
Fourier analysis Abstract Harmonic Analysis Fourier Analysis |
| ISBN | 3-540-31552-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Wavelet Transforms and Group Representations -- The Plancherel Transform for Locally Compact Groups -- Plancherel Inversion and Wavelet Transforms -- Admissible Vectors for Group Extension -- Sampling Theorems for the Heisenberg Group -- References -- Index. |
| Record Nr. | UNISA-996466473303316 |
|
Führ Hartmut
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract Software Specifications [[electronic resource] ] : 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings / / edited by D. Bjorner
| Abstract Software Specifications [[electronic resource] ] : 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings / / edited by D. Bjorner |
| Edizione | [1st ed. 1980.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1980 |
| Descrizione fisica | 1 online resource (XVI, 572 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Software Engineering |
| ISBN | 3-540-38136-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstract Architecture -- Foundations of denotational semantics -- Models of programming language concepts -- Formalization of data base models -- Experiments in block-structured GOTO language modeling: — EXITs versus continuations -- An introduction to data algebras -- Time sequences as a tool for describing program behaviour -- The semantics of clear, a specification language -- An example of hierarchical program specification -- Modular program construction using abstractions -- On the structure of application programs -- Abstract objects as abstract data types -- Design and analysis of highly parallel and distributed systems -- On the semantics of fair parallelism -- Dijkstra's predicate transformers and smyth's powerdomains -- Banquet talk. |
| Record Nr. | UNISA-996465760603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines - Theory and Applications [[electronic resource] ] : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
| Abstract State Machines - Theory and Applications [[electronic resource] ] : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (X, 386 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Mathematical logic Database management Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Database Management |
| ISBN | 3-540-44518-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstract State Machines at the Cusp of the Millenium -- Mathematical Foundations -- Abstract State Machines and Pure Mathematics -- Abstract State Machines and Computationally Complete Query Languages -- On Verification of Refinements of Timed Distributed Algorithms -- Abstract State Machine Languages -- Objects + Views = Components? -- XASM- An Extensible, Component-Based Abstract State Machines Language -- Generic Facilities in Object-Oriented ASMs -- Distribution and Concurrency -- Towards an ASM Thesis for Unconventional Algorithms -- Partially Ordered Runs: A Case Study -- Investigating Java Concurrency Using Abstract State Machines -- Compilers and Semantics -- Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations -- An ASM Dynamic Semantics for Standard ML -- Modeling the Dynamics of UML State Machines -- On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine -- Description and Simulation of Microprocessor Instruction Sets Using ASMs -- Automatic Verication and Model Checking -- Symbolic Analysis of Transition Systems? -- Encoding Abstract State Machines in PVS -- Model Checking Abstract State Machines and Beyond -- Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study -- Industrial Applications -- Report on a Practical Application of ASMs in Software Design -- Using Abstract State Machines at Microsoft: A Case Study. |
| Record Nr. | UNINA-9910143618703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pubbl/distr/stampa
-
Springer Berlin Heidelberg
(21144)
- Imprint: Springer (20013)
- Imprint: Springer Spektrum (343)
- Imprint: Springer Vieweg (331)
- Imprint: Springer Gabler (128)