Описание: This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions.
Автор: Nan Guan; Joost-Pieter Katoen; Jun Sun Название: Dependable Software Engineering. Theories, Tools, and Applications ISBN: 303035539X ISBN-13(EAN): 9783030355395 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.
Автор: Xinyu Feng; Markus M?ller-Olm; Zijiang Yang Название: Dependable Software Engineering. Theories, Tools, and Applications ISBN: 331999932X ISBN-13(EAN): 9783319999326 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories,
Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.
The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions.
The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the field of formal methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems.
Автор: Xuandong Li; Zhiming Liu; Wang Yi Название: Dependable Software Engineering: Theories, Tools, and Applications ISBN: 3319259415 ISBN-13(EAN): 9783319259413 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The title, Violent Grace, suggests a paradox. This pairing has become an unexpected gateway into the varied and prolific artistic career of Edward Knippers. Violence conjures images of aggression while grace has long been associated with beauty, poise, or an unmerited gift. Within the ambiguity of this fertile paradox, the art of Edward Knippers opens up into something rich and rewarding.
Автор: Kim Guldstrand Larsen; Oleg Sokolsky; Ji Wang Название: Dependable Software Engineering. Theories, Tools, and Applications ISBN: 3319694820 ISBN-13(EAN): 9783319694825 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October2017.The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions.
Описание: This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.
Описание: This book constitutes the proceedings of the 17th International Symposium on Bioinformatics Research and Applications, ISBRA 2021, held in Shenzhen, China, in November 2021. The 51 full papers presented in this book were carefully reviewed and selected from 135 submissions. Biomedical data; sequencing data analysis.
Описание: This book constitutes the refereed proceedings of the 5th International Symposium on Human Mental Workload: Models and Applications, H-WORKLOAD 2021, held virtually in November 2021.The volume presents 9 revised full papers, which were carefully reviewed and selected from 16 submissions.
Описание: This book constitutes the thoroughly refereed proceedings of the 11th International Symposium on Intelligence Computation and Applications, ISICA 2019, held in Guangzhou, China, in November 2019. The 65 papers presented were carefully reviewed and selected from the total of 112 submissions. This volume features the most up-to-date research in evolutionary algorithms, parallel computing and quantum computing, evolutionary multi-objective and dynamic optimization, intelligent multimedia systems, virtualization and AI applications, smart scheduling, intelligent control, big data and cloud computing, deep learning, and hybrid machine learning systems.The papers are organized according to the following topical sections: new frontier in evolutionary algorithms; evolutionary multi-objective and dynamic optimization; intelligent multimedia systems; virtualization and AI applications; smart scheduling; intelligent control; big data and cloud computing; statistical learning.
Описание: This two-volume set (CCIS 1159 and CCIS 1160) constitutes the proceedings of the 14th International Conference on Bio-inspired Computing: Theories and Applications, BIC-TA 2019, held in Zhengzhou, China, in November 2019.The 122 full papers presented in both volumes were selected from 197 submissions.
Описание: This two-volume set (CCIS 1159 and CCIS 1160) constitutes the proceedings of the 14th International Conference on Bio-inspired Computing: Theories and Applications, BIC-TA 2019, held in Zhengzhou, China, in November 2019. The 121 full papers presented in both volumes were selected from 197 submissions.
Описание: A Benchmark Dataset for Human Activity Recognition and Ambient Assisted Living.- An Enhanced Real Space through TemporallyConnecting Real and Virtual Scenes.- Detecting Social Interactions in Working Environments through Sensing Technologies.- Estimation of the Optimum Speed to Minimize the Driver Stress Based on the Previous Behavior.- Modelling Algorithms for Hierarchical Activity Discovery.- Estimating the Physical Activity with Smartphones: Analysis of the Device Position and Comparison with GT3X+ Actigraph.- An Application for Mobile Devices Focused on Clinical Decision Support: Diabetes Mellitus Case.- Customized Normalization Method to enhance the Clustering process of Consumption Profiles.- Dynamic Traffic Light Control System Based on Process Synchronization among Connected Vehicles.- Developing an Individualized Survival Prediction Model for Colon Cancer.- Providing Advanced Touristic Services by Means of Augmented Reality and Multimodal Dialog.- Creating Virtual Humans with Game Engines for Evaluate Ambient Assisted Living Scenarios.- Metabolic.Care: A Novel Solution Based on a Thermography for Detection of Diabetic Foot.- Identification of Activities of Daily Living Using Sensors Available in Off-the-shelf Mobile Devices: Research and Hypothesis.- Vox4Health: Preliminary Results of a Pilot Study for the Evaluation of a Mobile Voice Screening Application.- Assessing Interpersonal Trust in an Ambient Intelligence Negotiation System.- A Persuasive Cognitive Assistant System.- Preliminary Study of Classifier Fusion based Indoor Positioning Method.- Providing Wellness Services using Real Time Analytics.- Smart Cities Simulation Environment for Intelligent Algorithms Evaluation.- Hash-chain Based Authentication for IoT Devices and REST Web-Services.- Smart Computer-Assisted Cognitive Rehabilitation for the Ageing Population.- EEG Mapping for Arousal Level Quantification Using Dynamic Quadratic Entropy.- ARISTARKO: A Software Framework for Physiological Data Acquisition.- Vowel Recognition from RGB-D Facial Information.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
