06041nam 22006495 450 991104768140332120251020130421.03-032-09044-X10.1007/978-3-032-09044-7(MiAaPQ)EBC32364877(Au-PeEL)EBL32364877(CKB)41689385800041(DE-He213)978-3-032-09044-7(OCoLC)1546967021(EXLCZ)994168938580004120251020d2026 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierAdvances in Soft Computing 24th Mexican International Conference on Artificial Intelligence, MICAI 2025, Guanajuato, Mexico, November 3, 2025, Proceedings, Part II /edited by Lourdes Martínez-Villaseñor, Roberto A. Vázquez, Gilberto Ochoa-Ruiz1st ed. 2026.Cham :Springer Nature Switzerland :Imprint: Springer,2026.1 online resource (699 pages)Lecture Notes in Artificial Intelligence,2945-9141 ;162223-032-09043-1 -- Applications. -- AutoML for Text Classification via Efficient Dataset Representations and Hyper- Heuristics. -- Rewarding Sentiment Consistency: Reinforcement Learning for Multilingual Summarization. -- Stochastic Harmonic Fields for Safe Robot Navigation in Dynamic Environments. -- Real-Time Passenger Feedback for Public Transport Optimization Using NLP and Multi-Agent RL. -- MICAI: 25 Years of AI in Mexico. -- A Dynamic Penalty Approach in MOEA/D for Constraint Handling in Multi-Objective Problems. -- Urban Crop Coefficient Estimation for Outdoor Water Management Using Machine Learning. -- Towards a Distributed-based Learning Robot from Scratch via Neuro-Evolutionary Computation. -- Beyond SWE-Bench: A Compiler-Assisted Pipeline for Multi-Language Automated Program Repair. -- Advanced parameter extraction for photovoltaic cells using the Black-winged Kite Algorithm. -- Pattern Recognition. -- Topological data analysis and convolutional neural networks for gravitational wave detection. -- Data-Driven Power Time Series Imputation Using Cumulative Pattern Matching. -- Day-Night Crime Transmission Networks for Temporal Urban Analysis. -- Rethinking GAN-BERT for Sensitive Text Classification: The Impact of Training Dynamics and Domain Alignment in Low-Data Scenario. -- Limits and Surprises of Cross-Lingual BERT under Data Scarcity: A Portuguese Case Study in Sensitive-Text Classification. -- Computer Vision & Image Processing. -- Recognition of Bee Organizational Behavior with Scene Graphs Generation. -- Sign Language Recognition Using Video, Skeleton Data and Deep Learning. -- Improving Tomosynthesis Sinograms via Particle Swarm Optimization. -- Classification of Foliar Diseases in Tomato Crops Using Convolutional Neural Networks. -- Sign Language Recognition and Translation with Large Multimodal Models. A Systematic Review. -- Electrical Impedance Mammography Image Fusion Using the Gaussian Pyramid Method for Binary Classification. -- Shadow Attenuation in UAV Multispectral Imaging for Enhanced Agave Segmentation. -- From Keyframes to Narrative: A Multi-Stage AI Pipeline for Scene Understanding Using Object Detection and Large Language Models. -- Volume Estimation of Travertine Blocks Using Keypoint Detection and Homography from Monocular Video. -- Automated Ergonomic Risk Assessment in Offices using Computer Vision-Based Activity Recognition. -- Real-Time Emotion Recognition in Intelligent Tutoring Systems. -- Vision Transformers for Kidney Stone Image Classification: A Comparative Study with CNNs. -- Artificial Vision-Guided Hexapod Robot for Autonomous Navigation and Object Localization. -- Bioinformatics & Medical Applications. -- Machine Learning–Driven Virtual Reality Intervention for Academic Social Anxiety: A Symbolic AI Prototype. -- Automated Segmentation of Hepatic Tumor Cell Migration Using U-Net Models. -- Efficacy of a multi-class AI ensemble model in preschoolers to predict nutritional status at school age in Mexico. -- Classifying healthy and pathological voices: Electroglottographic signal representation using intuitionistic fuzzy recurrence plots. -- Risk factors for hipertension and health policy.The two-volume set, LNAI 16221 and 16222, constitutes the proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2025, held in Guanajuato, Mexico, November 3, 2025 The 65 full papers presented in these proceedings were carefully reviewed and selected from 119 submissions. The papers presented in these two volumes are organized in the following topical sections: Part I - Machine Learning; Natural Language Processing and Neural Networks. Part II - Applications; Pattern Recognition; Computer Vision & Image Processing and Bioinformatics & Medical Applications.Lecture Notes in Artificial Intelligence,2945-9141 ;16222Artificial intelligenceComputersDatabase managementApplication softwareArtificial IntelligenceComputing MilieuxDatabase Management SystemComputer and Information Systems ApplicationsArtificial intelligence.Computers.Database management.Application software.Artificial Intelligence.Computing Milieux.Database Management System.Computer and Information Systems Applications.006.3Martínez-Villaseñor Lourdes1438318Vázquez Roberto A1853563Ochoa-Ruiz Gilberto1784972MiAaPQMiAaPQMiAaPQBOOK9911047681403321Advances in Soft Computing4466449UNINA04600nam 22007095 450 991034941250332120251225202006.09783319989389331998938310.1007/978-3-319-98938-9(CKB)4100000005958301(DE-He213)978-3-319-98938-9(MiAaPQ)EBC6295731(PPN)229916236(EXLCZ)99410000000595830120180808d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierIntegrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /edited by Carlo A. Furia, Kirsten Winter1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XVI, 420 p. 111 illus.) Programming and Software Engineering,2945-9168 ;110239783319989372 3319989375 Includes bibliographical references and index.Dynamic Symbolic Execution for Software Analysis -- Integrating Formal Methods for Modeling and Simulation of Swarm Robotics -- Program Correctness Under Weak Memory Consistency -- On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders -- Reasoning About JML: Differences Between KeY and OpenJML -- Design and Verification of Restart-robust Industrial Control Software -- Efficiently Characterizing the Undefined Requests of a Rule-Based System -- Study of Integrating Random and Symbolic Testing for Object-Oriented Software -- Making Linearizability Compositional for Partially Ordered Executions -- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA -- A Precise Pictorial Language for Array Invariants -- Robotics and Integrated Formal Methods: Necessity Meets Opportunity -- Formal Modeling of Software Defined Networking -- Resource-Aware Virtually Timed Ambients -- Stateful Behavioral Types for Active Objects -- Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC -- Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions -- State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin -- Towards A Formal Notion of Impact Metric for Cyber-physical Attacks -- Task Planning with OMT: An Application to Production Logistics -- Branching Temporal Logic of Calls and Returns for Pushdown Systems -- Repair and Generation of Formal Models Using Synthesis -- Mode-aware Concolic Testing for PLC Software -- Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions -- Analysing AWN-specifications Using mCRL2.This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.Programming and Software Engineering,2945-9168 ;11023Software engineeringCompilers (Computer programs)Artificial intelligenceComputer simulationMachine theorySoftware EngineeringCompilers and InterpretersArtificial IntelligenceComputer ModellingFormal Languages and Automata TheorySoftware engineering.Compilers (Computer programs).Artificial intelligence.Computer simulation.Machine theory.Software Engineering.Compilers and Interpreters.Artificial Intelligence.Computer Modelling.Formal Languages and Automata Theory.004.0151Furia Carlo Aedthttp://id.loc.gov/vocabulary/relators/edtWinter Kirstenedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349412503321Integrated Formal Methods2860239UNINA