Описание: Sorting Parity Encodings by Reusing Variables.- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving.- Clause size reduction with all-UIP Learning.- Trail Saving on Backtrack.- Four Flavors of Entailment.- Designing New Phase Selection Heuristics.- On the Effect of Learned Clauses on Stochastic Local Search.- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers.- Distributed Cube and Conquer with Paracooba.- Reproducible E cient Parallel SAT Solving.- Improving Implementation of SAT Competitions 2017-2019 Winners.- On CDCL-based Proof Systems with the Ordered Decision Strategy.- Equivalence Between Systems Stronger Than Resolution.- Simplified and Improved Separations Between Regular and General Resolution by Lifting.- Mycielski graphs and PR proofs.- Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems.- Towards a Complexity-theoretic Understanding of Restarts in SAT solvers.- On the Sparsity of XORs in Approximate Model Counting.- A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth.- Abstract Cores in Implicit Hitting Set MaxSat Solving.- MaxSAT Resolution and SubCube Sums.- A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints.- On Weakening Strategies for PB Solvers.- Reasoning About Strong Inconsistency in ASP.- Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology.- Reducing Bit-Vector Polynomials to SAT using Groebner Bases.- Speeding Up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions.- Strong (D)QBF Dependency Schemes via Tautology-free Resolution Paths.- Short Q-Resolution Proofs with Homomorphisms.- Multi-Linear Strategy Extraction for QBF Expansion Proofs via Local Soundness.- Positional Games and QBF: The Corrective Encoding.- Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles.- Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits.- SAT Solving with Fragmented Hamiltonian Path Constraints for Wire Arc Additive Manufacturing.- SAT-based Encodings for Optimal Decision Trees with Explicit Paths.- Incremental Encoding of Pseudo-Boolean Goal Functions based on Comparator Networks.
Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.
Showcases the latest trends in new virtual/augmented reality healthcare and medical applications and provides an overview of the economic, psychological, educational and organizational impacts of these new applications and how we work, teach, learn and provide care.
With the current advances in technology innovation, the field of medicine and healthcare is rapidly expanding and, as a result, many different areas of human health diagnostics, treatment and care are emerging. Wireless technology is getting faster and 5G mobile technology allows the Internet of Medical Things (IoMT) to greatly improve patient care and more effectively prevent illness from developing.
This book provides an overview and review of the current and anticipated changes in medicine and healthcare due to new technologies and faster communication between users and devices.
The groundbreaking book presents state-of-the-art chapters on many subjects including:
A review of the implications of Virtual Reality (VR) and Augmented Reality (AR) healthcare applications
A review of current augmenting dental care
An overview of typical human-computer interaction (HCI) that can help inform the development of user interface designs and novel ways to evaluate human behavior to responses in VR and other new technologies
A review of telemedicine technologies
Building empathy in young children using augmented reality
AI technologies for mobile health of stroke monitoring & rehabilitation robotics control
Mobile doctor brain AI App
An artificial intelligence mobile cloud computing tool
Development of a robotic teaching aid for disabled children
Training system design of lower limb rehabilitation robot based on virtual reality
Автор: Ghalwash Atef Zaki, El Khameesy Nashaat, Magdi Dalia A. Название: Internet of Things--Applications and Future: Proceedings of Itaf 2019 ISBN: 9811530742 ISBN-13(EAN): 9789811530746 Издательство: Springer Рейтинг: Цена: 30745.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is a collection of the best research papers presented at the First World Conference on Internet of Things: Applications & Future (ITAF 2019), Sponsored by GR Foundation and French University in Egypt, held at Triumph Luxury Hotel, Cairo, Egypt, on 14-15 October 2019.
Описание: A Framework for Developing a Set of Games for Children Diagnosed with Autism.- LinkLearn: Blockchain Technology As A Learning Tool.- New Era of the Nano-Electronic Devices - One of the Most Adaptive Learning Areas for the Next Period.- Open Source Online Conference System for Industry Experts Participation in Education.- Interactive TV And Music Education - Mobile Music Practices & Limitations: Learning Byzantine Music Online.- An Analysis For The Identification Of Use And Development Of Game Design Strategies For Early Childhood Learners.- Measuring knowledge gains in an m-learning intervention: The case of ChildConnect South Africa.- Measuring Uptake and Engagement in an m-learning Intervention: The Case of ChildConnect South Africa.- Development of a Classroom Response System: a Web-based approach used in SEPT.- Analysis of the Perception of Students of the Autonomous University of Baja California Sur for the use of m-learning environments in higher education.- Work-in-Progress: Development of a Framework for Incorporating Usability aspects with Digital Didactical Design for Mobile/Tablet based Learning in Pre-primary Education.- Promoting Authentic Student Assessment For STEM Project-Based Learning Activities.- Predictive Modelling Concerning Mobile Learning Advance.- Assessing Early Grade Mathematics Learner Outcomes Using m-Learning.- Users' and Experts' Evaluation of TARGET: a Serious Game for Mitigating Performance Enhancement Culture in Youth.- Poster: Exploring the Educational Affordances of an Academic Eportfolio for Engineer Students Through a Self-Regulated Learning Framework.- M-health as a Tool in the Cognitive Flexibility of the Elderly.- Critical categorization of Android and IOS Applications available for STEAM Education inEarly Childhood.- Museum exhibits that interact with students' mobile devices. The case of Hellenic Maritime Museum.- Can Elementary Students Design Interactions And Learning Representations Of Educational Apps? The We!Design!Fractions Participatory Approach.- Pedagogical Considerations for Mobile-based Augmented Reality Learning Environments.- Machine learning & Deep learning: Recent Overview in Medical Care.- Learn to Code, an Interactive Application to Promote Mobile Student-Centred Learning.- Emerging Technologies and Augmented Reality in the development of Learning and Human Potential.- Level of Digital Literacies among Austrian College Students Assessed with an Online Survey.- A Gamefied Educational Network for Collaborative Learning.- Dynamic Mobile Student Response Approach.- Poster: The Use of a Virtual Personal Assistant (FENNChat) as a Platform for Providing Automated Responses to ODL Students' Queries at UNISA.- Poster: Proposal of an Intelligent Model for Remote Tutoring.- A Comparative Study Of Augmented Reality Platforms For Building Educational Mobile Applications.- M-Learning: Are We Ready to Go Mobile?.- Framework For Automatic VPN Access To Remotely Discovered Resources.- Poster: Learn To Love My Grandchild Design With The User.- Enhancing Second Language Listening Skills through Smartphones: A Case Study.- Exposing Rural Indian Students to Mobile Assisted Language Learning: A Case Study.- How Can Facebook Use In Education Be Realized As Crowdsourcing Of Learning? An Exploration Of Junior, Senior And Graduates Working Together.- Concept of Digital Competences In-service Training Systems.- Means of Cyber Security Aspects Studying in Maritime Specialists Education.- Evaluating a Coaching MOOC Course to Support Dual Career of Athletes.- LoRa Technology Benefits in Educational Institutes.- Three IoT Wearables in Five European Cities! Reality and Perception.- Work-in-Progress: Designing an E-c
Описание: This book features a collection of high-quality research papers presented at the International Conference on Advanced Computing Technology (ICACT 2020), held at the SRM Institute of Science and Technology, Chennai, India, on 23-24 January 2020.
Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.
Описание: The book Intelligent Systems and Applications - Proceedings of the 2020 Intelligent Systems Conference is a remarkable collection of chapters covering a wider range of topics in areas of intelligent systems and artificial intelligence and their applications to the real world.
Описание: This volume constitutes refereed proceedings of the Third International Conference on Smart Applications and Data Analysis, SADASC 2020, held in Marrakesh, Morocco. The 24 full papers and 3 short papers presented were thoroughly reviewed and selected from 44 submissions.
Описание: The book Intelligent Systems and Applications - Proceedings of the 2020 Intelligent Systems Conference is a remarkable collection of chapters covering a wider range of topics in areas of intelligent systems and artificial intelligence and their applications to the real world.
Описание: A compact sequence encoding scheme for online human activity recognition in HRI applications.- Classification of Coseismic Landslides using Fuzzy and Machine Learning Techniques.- Evaluating the Transferability of Personalised Exercise Recognition Models.- Deep Learning-Based Computer Vision Application with Multiple Built-In Data Science-Oriented Capabilities.- Visual Movement Prediction for Stable Grasp Point Detection.- Accomplished level of reliability for seismic structural damage prediction using artificial neural networks.- Efficient Implementation of a Self-Sufficient Solar-Powered Real-Time Deep Learning-Based System.- Leveraging Radar Features to Improve Point Clouds Segmentation with Neural Networks.- LSTM Neural Network for Fine-Granularity Estimation on Baseline Load of Fast Demand Response.- Predicting Permeability Based On Core Analysis.
Описание: The book Intelligent Systems and Applications - Proceedings of the 2020 Intelligent Systems Conference is a remarkable collection of chapters covering a wider range of topics in areas of intelligent systems and artificial intelligence and their applications to the real world.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
