03514oam 2200577 450 991014361080332120210521145444.03-540-40911-410.1007/3-540-40911-4(CKB)1000000000211347(SSID)ssj0000324056(PQKBManifestationID)11250836(PQKBTitleCode)TC0000324056(PQKBWorkID)10305285(PQKB)11172265(DE-He213)978-3-540-40911-3(MiAaPQ)EBC3063697(MiAaPQ)EBC6414069(PPN)155196812(EXLCZ)99100000000021134720210521d2000 uy 0engurnn|008mamaatxtccrIntegrated formal methods second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings /Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)1st ed. 2000.Berlin, Germany ;New York, New York :Springer,[2000]©20001 online resource (X, 446 p.) Lecture Notes in Computer Science,0302-9743 ;1945Bibliographic Level Mode of Issuance: Monograph3-540-41196-8 Includes bibliographical references and index.Invited Talk -- Assertions -- Linking and Extending Notations -- State-Based Extension of CASL -- Linking DC Together with TRSL -- Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes -- A Process Compensation Language -- Activity Graphs and Processes -- Structuring Real-Time Object-Z Specifications -- ISpec: Towards Practical and Sound Interface Specifications -- Methodology -- Cooperation of Formal Methods in an Engineering Based Software Development Process -- Developing Control Systems Components -- Specification and Analysis of Automata-Based Designs -- Structural Refinement in Object-Z / CSP -- Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs -- Foundation of One Formalism by Another -- Construction of Finite Labelled Transition Systems from B Abstract Systems -- ?-Charts and Z: Hows, Whys, and Wherefores -- Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language -- Invited Talk -- Why Doesn’t Anyone Use Formal Methods? -- Semantics -- How to Write a Healthiness Condition -- A Concurrent and Compositional Petri Net Semantics of Preemption -- Verification and Validation -- An Approach to Symbolic Test Generation -- Behavioral Conformance Verification in an Integrated Approach Using UML and B -- Predicate Diagrams for the Verification of Reactive Systems -- Modular Verification for a Class of PLTL Properties -- Towards Model Checking Stochastic Process Algebra.Lecture Notes in Computer Science,0302-9743 ;1945Formal methods (Computer science)CongressesFormal methods (Computer science)004/.01/51Stoddart Bill1946-Santen Thomas1965-Grieskamp Wolfgang1960-International Conference on Integrated Formal MethodsMiAaPQMiAaPQUtOrBLWBOOK9910143610803321Integrated Formal Methods772444UNINA04951nam 2200469 450 99649035320331620230226101854.03-031-17117-9(CKB)5850000000078621(MiAaPQ)EBC7102049(Au-PeEL)EBL7102049(PPN)264953452(EXLCZ)99585000000007862120230226d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierPerinatal, preterm and paediatric image analysis 7th international workshop, PIPPI 2022, held in conjunction with MICCAI 2022, Singapore, September 18, 2022, proceedings /edited by Roxane Licandro [and four others]Cham, Switzerland :Springer,[2022]©20221 online resource (127 pages)Lecture Notes in Computer Science Ser. ;v.135753-031-17116-0 Includes bibliographical references and index.Intro -- Preface -- Organization -- Contents -- Automatic Segmentation of the Placenta in BOLD MRI Time Series -- 1 Introduction -- 2 Methods -- 2.1 Model -- 2.2 Additive Boundary Loss -- 2.3 Implementation Details -- 3 Model Evaluation -- 3.1 Data -- 3.2 Evaluation -- 3.3 Results -- 4 Discussion and Conclusion -- References -- A Fast Anatomical and Quantitative MRI Fetal Exam at Low Field -- 1 Introduction -- 2 Methods -- 2.1 Evaluation -- 2.2 Analysis -- 3 Results -- 4 Discussion and Conclusions -- References -- Automatic Fetal Fat Quantification from MRI -- 1 Introduction -- 2 Methodology -- 2.1 Semi-automatic Fetal AT Segmentation -- 2.2 Automatic Fetal Fat Segmentation -- 3 Experimental Results -- 3.1 Study 1: Manual and Semi-automatic Observer Variability -- 3.2 Study 2: Automatic Fetal AT Segmentation -- 3.3 Study 3: Analysis of Manual Corrections Following Automatic Segmentation -- 4 Discussion -- 5 Conclusion -- References -- Continuous Longitudinal Fetus Brain Atlas Construction via Implicit Neural Representation -- 1 Introduction -- 2 Method -- 2.1 Pre-train Stage -- 2.2 Refine Stage -- 2.3 Inference Stage -- 3 Experiments -- 3.1 Setup -- 3.2 Results -- 4 Conclusion -- References -- Automated Segmentation of Cervical Anatomy to Interrogate Preterm Birth -- 1 Introduction -- 2 Methods -- 2.1 Dataset -- 2.2 Model Architecture -- 3 Results -- 4 Conclusion -- References -- Deep Learning Framework for Real-Time Fetal Brain Segmentation in MRI -- 1 Introduction -- 2 Materials and Methods -- 2.1 Proposed Network Architecture -- 2.2 Alternative Methods and Evaluation Metrics -- 2.3 Data, Implementation, and Training -- 3 Results -- 4 Analysis and Discussion -- 5 Conclusion -- References -- Attention-Driven Multi-channel Deformable Registration of Structural and Microstructural Neonatal Data -- 1 Introduction -- 2 Method -- 3 Results.4 Conclusion -- References -- Automated Multi-class Fetal Cardiac Vessel Segmentation in Aortic Arch Anomalies Using T2-Weighted 3D Fetal MRI -- 1 Introduction -- 1.1 Deep Learning Segmentation -- 1.2 Label Propagation -- 1.3 Contribution -- 2 Methods -- 2.1 Data Specifications -- 2.2 Deep Learning Segmentation Framework -- 2.3 Label Propagation -- 2.4 Attention U-Net Segmentation -- 3 Results -- 3.1 Preliminary Network Architecture Experiments -- 3.2 Test Set and Experiments -- 3.3 Quantitative Results -- 3.4 Visual Inspection -- 4 Discussion -- 5 Conclusion -- References -- Segmentation of Periventricular White Matter in Neonatal Brain MRI: Analysis of Brain Maturation in Term and Preterm Cohorts -- 1 Introduction -- 2 Methods -- 2.1 Cohort, Datasets and Preprocessing -- 2.2 Parcellation Map of Periventricular WM ROIs in the Atlas Space -- 2.3 Automated Segmentation of Periventricular WM ROIs -- 2.4 Quantitative Analysis of PWM in Term and Preterm Cohorts -- 3 Results and Discussion -- 3.1 Parcellation Map of Periventricular WM ROIs in the Atlas Space -- 3.2 Automated Segmentation of Periventricular WM ROIs -- 3.3 Quantitative Analysis of PWM in Term and Preterm Cohorts -- 4 Conclusions -- References -- Knowledge-Guided Segmentation of Isointense Infant Brain -- 1 Introduction -- 2 Methodology -- 2.1 Dataset and Atlas -- 2.2 Data Preparation -- 2.3 Deep Learning Network -- 2.4 Implementation Details -- 3 Experiments and Results -- 3.1 iSeg19 Validation Dataset -- 4 Discussion and Conclusions -- References -- Author Index.Lecture Notes in Computer Science Ser.Electronic data processingPunched card systemsElectronic data processing.Punched card systems.943.005Licandro RoxaneMiAaPQMiAaPQMiAaPQBOOK996490353203316Perinatal, preterm and paediatric image analysis3039147UNISA