Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, Sekerinski Emil, Moreira Nelma, Oliveira Josй N.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019.
Описание: This book constitutes revised selected papers from the workshops held at 25th International Conference on Parallel and Distributed Computing, Euro-Par 2019, which took place in Goettingen, Germany, in August 2019.
Описание: This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019;
Описание: This book constitutes the thoroughly refereed post-conference proceedings of four international workshops held in the framework of the 9th Pacific-Rim Symposium on Image and Video Technology, PSIVT 2019, in Sydney, NSW, Australia, in November 2019: Vision-Tech: Workshop on Challenges, Technology, and Solutions in the Areas of Computer Vision;
AI4KM 2019: 7th International Workshop on Artificial Intelligence for Knowledge Management and Innovation.- FinNLP 2019: First International Workshop on Financial Technology and Natural Language Processing.- OR 2019: 32nd International Workshop on Qualitative Reasoning.- SURL 2019: Second International Workshop on Scaling-Up Reinforcement Learning.- First International Workshop on Bringing Semantic Knowledge into Vision and Text Understanding.- EASyHAT 2019: International Workshop on Evaluation of Adaptive Systems for Human-Autonomy Teaming.- ACAN 2019: 12th International Workshop on Agent-based Complex Automated Negotiations.- First International Workshop on Deep Learning for Human Activity Recognition.- HAI 2019: Second International Workshop on Humanizing AI.- Third International Workshop on Language Sense on Computer.- AISafety 2019: International Workshop on Artificial Intelligence Safety.- DeLBP 2019: 4th International Workshop on Declarative Learning Based Programming.
Описание: This book constitutes the thoroughly refereed proceedings of the 11th International Conference on e-Infrastructure and e-Services for Developing Countries, AFRICOMM 2019, held in Porto-Novo, Benin, in December 2019.
Beyond Computers: Wearables, Humans, And Things - WHAT!.- Supporting the Experience of Stakeholders of Multimedia Art - Towards an Ontology.- User Experiences and Wellbeing at Work (UX@Work).- Wellbeing at Work: Four Perspectives on What User Experiences with Artifacts May Contribute.- The ''aftermath'' of Industry 4.0 in Small and Medium Enterprises.- User Persona of Mother of Preterm Neonate.- Livability- Analysis of People's Living Comfort in Different Cities of India Using GIS: A Prototype.- Digital Peer-Tutoring: Early Results from a Field Evaluation of a UX at Work Learning Format in SMEs.- Proposed System for a Socio-technical Design Framework for Improved User Collaborations with Automation Technologies.- Workshop on Handling Security, Usability, User Experience and Reliability in User-Centered Development Processes.- Assessing the Performance of Agile Teams.- Characterizing Sets of Systems: Representation and Analysis of Across-Systems Properties.- Designing an Intelligent User Interface.- On the Development of Context-aware Augmented Reality Applications.- Towards Identification of Patterns Aligning Security and Usability.
Описание: This volume constitutes the post- conference proceedings of the 7th International Conference on Variable Neighborhood Search, ICVNS 2019, held in Rabat, Morocco, in October 2019. The 13 full papers presented in this volume were carefully reviewed and selected from 46 submissions.
Описание: This book constitutes the refereed post-conference proceedings of 13 workshops held at the 33rd International ISC High Performance 2018 Conference, in Frankfurt, Germany, in June 2018: HPC I/O in the Data Center, HPC-IODC 2018; Workshop on Performance and Scalability of Storage Systems, WOPSSS 2018; 13th Workshop on Virtualization in High-Performance Cloud Computing, VHPC 2018; Third International Workshop on In Situ Visualization, WOIV 2018; 4th International Workshop on Communication Architectures for HPC, Big Data, Deep Learning and Clouds at Extreme Scale, ExaComm 2018; International Workshop on OpenPOWER for HPC, IWOPH 2018; IXPUG Workshop: Many-Core Computing on Intel Processors; Workshop on Sustainable Ultrascale Computing Systems; Approximate and Transprecision Computing on Emerging Technologies, ATCET 2018; First Workshop on the Convergence of Large-Scale Simulation and Artificial Intelligence; Third Workshop for Open Source Supercomputing, OpenSuCo 2018; First Workshop on Interactive High-Performance Computing; Workshop on Performance Portable Programming Models for Accelerators, P^3MA 2018.
The 53 full papers included in this volume were carefully reviewed and selected from 80 submissions. They cover all aspects of research, development, and application of large-scale, high performance experimental and commercial systems. Topics include HPC computer architecture and hardware; programming models, system software, and applications; solutions for heterogeneity, reliability, power efficiency of systems; virtualization and containerized environments; big data and cloud computing; and artificial intelligence.
Описание: This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2019, held in Palermo, Italy, in October 2019. The 22 full papers and 13 short papers included in the volume were carefully reviewed and selected from 53 submissions.
Описание: This book constitutes revised selected papers from the 25th Argentine Congress on Computer Science, CACIC 2019, held in Rio Cuarto, Argentina, in October 2019.The 27 full papers presented in this volume were carefully reviewed and selected from a total of 185 submissions. innovation in computer science education;
Описание: This book contains extended versions of the best papers presented at the First International Workshop on Distributed Computing for Emerging Smart Networks, DiCES-N 2019, held in Hammamet, Tunisia, in October 2019. The 9 revised full papers included in this volume were carefully reviewed and selected from 24 initial submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
