01694nam 2200529 a 450 991045893000332120200520144314.01-60780-303-8(CKB)2560000000010261(EBL)535578(OCoLC)645093451(SSID)ssj0000671891(PQKBManifestationID)11428717(PQKBTitleCode)TC0000671891(PQKBWorkID)10634238(PQKB)11008026(OCoLC)748360707(MiAaPQ)EBC535578(Au-PeEL)EBL535578(CaPaEBR)ebr10389186(EXLCZ)99256000000001026120150401h20101993 uy 0engur|n|---|||||txtccrArgentina[electronic resource] society & culture /World Trade Press2nd ed.Petaluma, Calif. World Trade Pressc1993-2010 [2010]1 online resource (37 p.)Cover title.Need to know it all? Our all-inclusive culture report for Argentina will get up to speed on all aspects of culture in Argentina, including lifecycle, religion, women, superstitions & folklore, sports, holidays & festivals, and etiquette.WomenArgentinaArgentinaSocial life and customsArgentinaDescription and travelArgentinaSocial conditionsElectronic books.Women301.2MiAaPQMiAaPQMiAaPQBOOK9910458930003321Argentina737372UNINA03936nam 22007695 450 991048420340332120251226193542.03-642-38916-310.1007/978-3-642-38916-0(CKB)2560000000105679(DE-He213)978-3-642-38916-0(SSID)ssj0000936734(PQKBManifestationID)11469460(PQKBTitleCode)TC0000936734(PQKBWorkID)10974546(PQKB)10744770(MiAaPQ)EBC3096781(PPN)170492923(EXLCZ)99256000000010567920130611d2013 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierTests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /edited by Margus Veanes, Luca Vigano1st ed. 2013.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2013.1 online resource (X, 233 p. 50 illus.) Programming and Software Engineering,2945-9168 ;7942Bibliographic Level Mode of Issuance: Monograph3-642-38915-5 Includes bibliographical references and index.Incremental Refinement Checking for Test Case Generation -- Time for Mutants — Model-Based Mutation Testing with Timed Automata -- Model-Based Testing for Verification Back-Ends -- A Metric for Testing Program Verification Systems -- Test Program Generation for a Microprocessor: A Case-Study -- A Declarative Debugger for Sequential Erlang Programs -- Initiating a Benchmark for UML and OCL Analysis Tools -- Speeding Up Algorithmic Debugging Using Balanced Execution Trees -- Generating Test Suites with Augmented Dynamic Symbolic Execution -- Divergent Quiescent Transition Systems.This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing.Programming and Software Engineering,2945-9168 ;7942Software engineeringComputer programmingComputer scienceMachine theoryCompilers (Computer programs)Computer simulationSoftware EngineeringProgramming TechniquesComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheoryCompilers and InterpretersComputer ModellingSoftware engineering.Computer programming.Computer science.Machine theory.Compilers (Computer programs).Computer simulation.Software Engineering.Programming Techniques.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.Compilers and Interpreters.Computer Modelling.005.1Veanes Margusedthttp://id.loc.gov/vocabulary/relators/edtVigano Lucaedthttp://id.loc.gov/vocabulary/relators/edtBOOK9910484203403321Tests and Proofs2841686UNINA05012nam 22006375 450 99666846370331620250714130232.03-031-98691-110.1007/978-3-031-98691-8(MiAaPQ)EBC32212127(Au-PeEL)EBL32212127(CKB)39653458700041(DE-He213)978-3-031-98691-8(EXLCZ)993965345870004120250714d2026 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierMedical Image Understanding and Analysis 29th Annual Conference, MIUA 2025, Leeds, UK, July 15–17, 2025, Proceedings, Part II /edited by Sharib Ali, David C. Hogg, Michelle Peckham1st ed. 2026.Cham :Springer Nature Switzerland :Imprint: Springer,2026.1 online resource (505 pages)Lecture Notes in Computer Science,1611-3349 ;159173-031-98690-3 -- Image-guided Diagnosis. -- FD-SSD: Semi-Supervised Detection of Bone Fenestration and Dehiscence in Intraoral Images. -- Interpretable Prediction of Lymph Node Metastasis in Rectal Cancer MRI Using Variational Autoencoders. -- Self-Guided SwinTransformer Improves Breast Cancer Detection Through Iterative Attention-Based Zooming. -- Can AI Be Faster, Accurate, and Explainable? SpikeNet Makes It Happen. -- A Novel Feature-Prioritized Loss Function for Enhanced Pneumonia Segmentation in Chest X-rays. -- Bridging Accuracy and Explainability: A SHAP-Enhanced CNN for Skin Cancer Diagnosis. -- Multi-Scale WSI Analysis: A Cascade Framework for Efficient Breast Cancer Metastasis Detection. -- Learning to Harmonize Cross-vendor X-ray Images by Non-linear Image Dynamics Correction. -- Modified CBAM: Sub-Block Pooling for Improved Channel and Spatial Attention. -- WSI-AL: A Novel Active Learning Framework for Whole Slide Image Selection. -- A Deep-learning Approach for Diagnosing and Grading Ankylosing Spondylitis Sacroiliitis by X-ray Images. -- Towards Breast Tumor Aggressiveness Classification in Digital Mammograms Using Boundary-Aware Segmentation and Feature Analysis. -- Image-guided Intervention. -- Joint Dento-Facial Shape Model. -- Out-of-Distribution Detection in Gastrointestinal Vision by Estimating Nearest Centroid Distance Deficit. -- Deep Learning-Driven Pipeline for Automated Wound Measurement of Chronic Wounds. -- Midline-constrained Loss in the Anatomical Landmark Segmentation of 3D Liver Models. -- DepthClassNet: A Multitask Framework for Monocular Depth Estimation and Texture Classification in Endoscopic Imaging. -- Assessing the Generalization Performance of SAM for Ureteroscopy Scene Segmentation and Understanding. -- Modelling Uncertainty in Graph Convolutional Networks for Edge Detection in Mammograms. -- Classification of Gastroscopy Images Under extreme Class Imbalance: A Deep Learning Pipeline. -- Temporally Consistent Smoke Removal from Endoscopic Video Images. -- Toward Patient-specific Partial Point Cloud to Surface Completion for Pre- to Intra-operative Registration in Image-guided Liver Interventions. -- EfficientDet with Knowledge Distillation and Instance Whitening for Real-time and Generalisable Polyp Detection.The three-volume set LNCS 15916,15917 & 15918 constitutes the refereed proceedings of the 29th Annual Conference on Medical Image Understanding and Analysis, MIUA 2025, held in Leeds, UK, during July 15–17, 2025. The 67 revised full papers presented in these proceedings were carefully reviewed and selected from 99 submissions. The papers are organized in the following topical sections: Part I: Frontiers in Computational Pathology; and Image Synthesis and Generative Artificial Intelligence. Part II: Image-guided Diagnosis; and Image-guided Intervention. Part III: Medical Image Segmentation; and Retinal and Vascular Image Analysis.Lecture Notes in Computer Science,1611-3349 ;15917Computer visionArtificial intelligenceComputersApplication softwareComputer VisionArtificial IntelligenceComputing MilieuxComputer and Information Systems ApplicationsComputer vision.Artificial intelligence.Computers.Application software.Computer Vision.Artificial Intelligence.Computing Milieux.Computer and Information Systems Applications.006.37Ali Sharib1430848Hogg David C1835206Peckham Michelle1621464MiAaPQMiAaPQMiAaPQBOOK996668463703316Medical Image Understanding and Analysis4411441UNISA