Intelligent Equipment, Robots, and Vehicles: 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conf, Han Qinglong, McLoone Sean, Peng Chen
Описание: The three-volume set CCIS 1467, CCIS 1468, and CCIS 1469 constitutes the thoroughly refereed proceedings of the 7th International Conference on Life System Modeling and Simulation, LSMS 2021, and of the 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, held in Hangzhou, China, in October 2021.
Описание: Medical Imaging and Analysis Using Intelligence Computing.- Biomedical signal processing, imaging, visualization and surgical robotics.- Computational method in taxonomy study and neural dynamics.- Intelligent medical apparatus, clinical applications and intelligent design of biochips.
Описание: This book constitutes the refereed proceedings of the 7th EAI International Conference on Industrial Networks and Intelligent Systems, INISCOM 2021, held in Hanoi, Vietnam, in April 2021. The 39 full papers were selected from XX submissions and are organized thematically in tracks on telecommunications systems and networks;
Описание: This volume constitutes the refereed proceedings of the 7th International Conference on Modelling and Development of Intelligent Systems, MDIS 2020, held in Sibiu, Romania, in October 2020. intelligent systems for decision support; mathematical models for development of intelligent systems;
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Modelling and Simulation for Autonomous Systems, MESAS 2020, held in Prague, Czech Republic, in October 2020.*The 19 full papers included in the volume were carefully reviewed and selected from 26 submissions.
Modeling and analyzing resource-sensitive actors: A tutorial introduction.- Manifestly Phased Communication via Shared Session Types.- Deconfined Global Types for Asynchronous Sessions.- Relating Functional and Imperative Session Types.- Safe Session-Based Asynchronous Coordination in Rust.- A Session Subtyping Tool.- Towards Probabilistic Session-Type Monitoring.- Java Typestate Checker.- Asynchronous Global Types in co-logic Programming.- Tuple-Based Coordination in Large-Scale Situated Systems.- A Theory of Automated Market Makers in DeFi.- ReGraDa: Reactive Graph Data.- The Structure of Concurrent Process Histories.- A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts.- A Practical Tool-Chain for the Development of Coordination Scenarios: Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator.- Microservice Dynamic Architecture-Level Deployment Orchestration.- Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices.- ScaFi-Web: a Web-Based Application for Field-Based Coordination Programming.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
