03595nam 22007815 450 99646576950331620230406042339.03-642-22256-010.1007/978-3-642-22256-6(CKB)2670000000099843(SSID)ssj0000530743(PQKBManifestationID)11930086(PQKBTitleCode)TC0000530743(PQKBWorkID)10569897(PQKB)10847170(DE-He213)978-3-642-22256-6(MiAaPQ)EBC3067022(PPN)156322005(EXLCZ)99267000000009984320110719d2011 u| 0engurnn#008mamaatxtccrImplementation and Application of Automata[electronic resource] 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers /edited by Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (XIII, 299 p. 45 illus., 18 illus. in color.)Theoretical Computer Science and General Issues,2512-2029 ;6807Bibliographic Level Mode of Issuance: Monograph3-642-22255-2 Includes bibliographical references and index.This book constitutes the thoroughly refereed papers of the 16th International Conference on Implementation and Application of Automata, CIAA 2011, held in Blois, France, in July 2011. The 20 revised full papers together with 4 short papers were carefully selected from 38 submissions. The papers cover various topics such as applications of automata in computer-aided verification; natural language processing; pattern matching, data storage and retrieval; document engineering and bioinformatics as well as foundational work on automata theory.Theoretical Computer Science and General Issues,2512-2029 ;6807AlgorithmsComputer scienceMachine theoryComputer science—MathematicsDiscrete mathematicsArtificial intelligence—Data processingAlgorithmsTheory of ComputationFormal Languages and Automata TheoryDiscrete Mathematics in Computer ScienceComputer Science Logic and Foundations of ProgrammingData ScienceAlgorithms.Computer science.Machine theory.Computer science—Mathematics.Discrete mathematics.Artificial intelligence—Data processing.Algorithms.Theory of Computation.Formal Languages and Automata Theory.Discrete Mathematics in Computer Science.Computer Science Logic and Foundations of Programming.Data Science.005.1Bouchou-Markhoff Béatriceedthttp://id.loc.gov/vocabulary/relators/edtCaron Pascaledthttp://id.loc.gov/vocabulary/relators/edtChamparnaud Jean-Marcedthttp://id.loc.gov/vocabulary/relators/edtMaurel Denisedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465769503316Implementation and Application of Automata2860279UNISA06355nam 22006615 450 991098329810332120250209115230.09783031791031303179103710.1007/978-3-031-79103-1(MiAaPQ)EBC31900400(Au-PeEL)EBL31900400(CKB)37498908400041(DE-He213)978-3-031-79103-1(OCoLC)1499718580(EXLCZ)993749890840004120250209d2025 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierMedical Information Computing First MICCAI Meets Africa Workshop, MImA 2024, and First MICCAI Student Board Workshop on Empowering Medical Information Computing and Research through Early-Career Expertise, EMERGE 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Revised Selected Papers /edited by Udunna Anazodo, Naren Akash, Moritz Fuchs, Celia Cintas, Alessandro Crimi, Tinahse Mutsvangwa, Farouk Dako, Willam Ogallo1st ed. 2025.Cham :Springer Nature Switzerland :Imprint: Springer,2025.1 online resource (452 pages)Communications in Computer and Information Science,1865-0937 ;22409783031791024 3031791029 First MICCAI Meets Africa Workshop, MImA 2024 -- EARLY DETECTION OF LIVER FIBROSIS -- Optimized Brain Tumor Segmentation for resource constrained settings: VGG-Infused U-Net Approach -- Optimizing Classification of Congestive Heart Failure Using Feature Weight Importance Correlation -- MCL: Multi-Level Consistency Learning for Medical Image Segmentation -- Trustworthiness for Deep Learning Based Breast Cancer Detection Using Point-of-Care Ultrasound Imaging in Low-Resource Settings -- Advancing the Reliability of Ultra-Low Field MRI Brain Volume Analysis using CycleGAN -- Deep Learning based Non-Invasive Meningitis Screening using High-Resolution Ultrasound in Neonates and Infants from Mozambique, Spain and Morocco -- Automated Segmentation of Ischemic Stroke Lesions in Non-Contrast Computed Tomography Images for Enhanced Early Treatment and Prognosis -- Spatial Attention-Enhanced Diffusion Model for Multiple Sclerosis MRI Synthesis -- An Automated Pipeline for the Identification of Liver Tissue in Ultrasound Video -- Democratizing AI in Africa: Federated Learning for Low-Resource Edge Devices -- Generative Style Transfer for MR Image Segmentation: A case of Glioma Segmentation in Sub-Saharan Africa -- Impact of Skin Tone Diversity on Out-of-Distribution Detection Methods in Dermatology -- Deployment and Evaluation of Intelligent DICOM Viewers in Low-Resource Settings: Orthanc Plugin for Semi-Automated Interpretation of Medical Images -- Enhancing Soil-transmitted Helminths Diagnosis through AI: A Self-Supervised Learning Approach with Smartphone-Based Digital Microscopy -- Capturing Complexity of the Foot Arch Bones: Evaluation of a Statistical Modelling Framework for Learning Shape, Pose and Intensity Features in a Continuous Domain -- Explainability-Guided Deep Learning Models For COVID-19 Detection Using Chest X-ray Images -- Feasibility of Open-Source Tracking-Based Metrics in Evaluating Ultrasound-Guided Needle Placement Skills in Senegal -- Automatic Segmentation of Medical Images for Ischemic Stroke in CT Scans for the Identification of Sulcal Effacement -- AfriBiobank: Empowering Africa’s Medical Imaging Research and Practice Through Data Sharing and Governance -- Benchmarking Noise2Void: Superior Denoising of Medical Microscopic Images -- First MICCAI Workshop on Empowering Medical Information Computing and Research through Early-Career Expertise, EMERGE 2024 -- Self-consistent deep approximation of retinal traits for robust and highly effcient vascular phenotyping of retinal colour fundus images.-Non-Parametric Neighborhood Test-Time Generalization: Application to Medical Image Classification -- Client Security Alone Fails in Federated Learning: 2D and 3D Attack Insights.-Context-Guided Medical Visual Question Answering -- GRAM: Graph Regularizable Assessment Metric -- Unsupervised Analysis of Alzheimer’s Disease Signatures using 3D Deformable Autoencoders -- Deep Feature Fusion Framework for Alzheimer’s Disease Staging using Neuroimaging Modalities -- Explainable Few-Shot Learning for Multiple Sclerosis Detection in Low-Data Regime.This book presents a series of revised papers selected from the First MICCAI Meets Africa Workshop, MImA 2024, and First MICCAI Workshop on Empowering Medical Information Computing and Research through Early-Career Expertise, EMERGE 2024, which was held in Marrakesh, Morocco, during October 6, 2024. MImA 2024 accepted 21 full papers from 45 submissions; for EMERGE 8 papers are included from 9 submissions. They describe cutting-edge research from computational scientists and clinical researchers working on a variety of medical image computing challenges relevant to the African and broader global contexts, as well as emerging techniques for image computing methods tailored to low-resource settings.Communications in Computer and Information Science,1865-0937 ;2240Image processingDigital techniquesComputer visionBiomedical engineeringComputer Imaging, Vision, Pattern Recognition and GraphicsMedical and Health TechnologiesImage processingDigital techniques.Computer vision.Biomedical engineering.Computer Imaging, Vision, Pattern Recognition and Graphics.Medical and Health Technologies.006Anazodo Udunna1785967Akash Naren1785968Fuchs Moritz1785969Cintas Celia1431788Crimi Alessandro1354885Mutsvangwa Tinahse1785970Dako Farouk1785971Ogallo Willam1785972MiAaPQMiAaPQMiAaPQBOOK9910983298103321Medical Information Computing4317399UNINA