Electronic Government: 19th Ifip Wg 8.5 International Conference, Egov 2020, Linkцping, Sweden, August 31 - September 2, 2020, Proceedings, Viale Pereira Gabriela, Janssen Marijn, Lee Habin
Автор: Clarke Nathan, Furnell Steven Название: Human Aspects of Information Security and Assurance: 14th Ifip Wg 11.12 International Symposium, Haisa 2020, Mytilene, Lesbos, Greece, July 8-10, 2020 ISBN: 3030574032 ISBN-13(EAN): 9783030574031 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 14th IFIP WG 11.12 International Symposium on Human Aspects of Information Security and Assurance, HAISA 2020, held in Mytilene, Lesbos, Greece, in July 2020.*The 27 full papers presented in this volume were carefully reviewed and selected from 43 submissions.
Two Algorithms for Additive and Fair Division of Mixed Manna.- Dynamic Play via Suit Factorization Search in Skat.- Dynamic Channel and Layer Gating in Convolutional Neural Network.- Contour-based Segmentation of Historical Printings.- Hybrid Ranking and Regression for Algorithm Selection.- Conditional Reasoning and Relevance.- HTN Plan Repair via Model Transformation.- Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds.- Positive Free Higher-Order Logic and its Automation via a Semantical Embedding.- Low-Rank Subspace Override for Unsupervised Domain Adaptation.- Expressive Explanations of DNNs by Combining Concept Analysis with ILP.- Stable Resolving - A Randomized Local Search Heuristic for MaxSAT.- A Virtual Caregiver for Assisted Daily Living of Pre-Frail Users.- Exploring the Effects of Role Design on Agent Learning.- Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation.- Multi-Agent Path Finding Modulo Theory with Continuous Movements and the Sum of Costs Objective.- Meta-Induction, Probability Aggregation, and Optimal Scoring.- Cones, Negation, and All That.- Swarm-based Cluster Analysis for Knowledge Discovery.- Draw with Me: Human-in-the-Loop for Image Restoration.- Reasonable Machines: A Research Manifesto.- A Heuristic Agent in Multi-Agent Path Finding Under Destination Uncertainty.- Earnings Prediction with Deep Leaning.- Integrating Keywords into BERT4Rec for Sequential Recommendation.- Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic.- Conformal Rule-Based Multi-label Classification.- Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem.- Fast Pathfinding in Knowledge Graphs Using Word Embeddings.- A Visually Explainable Learning System for Skin Lesion Detection Using Multiscale Input with Attention U-Net.- Evaluation of Deep Learning Accelerators for Object Detection at the Edge.-Learning Choice Functions via Pareto-Embeddings.- Simulation-Based Validation of Robot Commands for Force-based Robot Motions.- Firefighter Virtual Reality Simulation for Personalized Stress Detection.- The AI Domain Definition Language (AIDDL) for Integrated Systems.
Big data.- Knowledge Discovery.- Query Languages.- Artificial Intelligent.-Machine Learning.- Data Warehousing.- Distributed System.- Visualization.- Data Management.- Multimedia Data.
Автор: Abate Alessandro, Petrov Tatjana, Wolf Verena Название: Computational Methods in Systems Biology: 18th International Conference, Cmsb 2020, Konstanz, Germany, September 23-25, 2020, Proceedings ISBN: 3030603261 ISBN-13(EAN): 9783030603267 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.*The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 submissions.
Автор: Dong Dezun, Gong Xiaoli, Li Cunlu Название: Advanced Computer Architecture: 13th Conference, ACA 2020, Kunming, China, August 13-15, 2020, Proceedings ISBN: 9811581347 ISBN-13(EAN): 9789811581342 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 13th Conference on Advanced Computer Architecture, ACA 2020, held in Kunming, China, in August 2020. The papers of this volume are organized in topical sections on: interconnection network, router and network interface architecture; processor, memory, and storage systems architecture;
Автор: Yilmaz Murat, Niemann Jцrg, Clarke Paul Название: Systems, Software and Services Process Improvement: 27th European Conference, Eurospi 2020, Dьsseldorf, Germany, September 9-11, 2020, Proceedings ISBN: 3030564401 ISBN-13(EAN): 9783030564407 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Visionary Papers.- SPI Manifesto and Improvement Strategies.- SPI and Emerging Software and Systems Engineering Paradigms.- SPI and Standards and Safety and Security Norms.- SPI and Team Performance & Agile & Innovation.- SPI and Agile.- Emerging Software Engineering Paradigms.- Digitalisation of Industry, Infrastructure and E-Mobility.- Good and Bad Practices in Improvement.- Functional Safety and Cybersecurity.- Experiences with Agile and Lean.- Standards and Assessment Models.- Recent Innovations.- Virtual Reality.
Автор: Li Gang, Shen Heng Tao, Yuan Ye Название: Knowledge Science, Engineering and Management: 13th International Conference, Ksem 2020, Hangzhou, China, August 28-30, 2020, Proceedings, Part I ISBN: 3030551296 ISBN-13(EAN): 9783030551292 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This two-volume set of LNAI 12274 and LNAI 12275 constitutes the refereed proceedings of the 13th International Conference on Knowledge Science, Engineering and Management, KSEM 2020, held in Hangzhou, China, in August 2020.*The 58 revised full papers and 27 short papers were carefully reviewed and selected from 291 submissions.
Автор: Lalic Bojan, Majstorovic Vidosav, Marjanovic Ugljesa Название: Advances in Production Management Systems. Towards Smart and Digital Manufacturing: Ifip Wg 5.7 International Conference, Apms 2020, Novi Sad, Serbia, ISBN: 3030579964 ISBN-13(EAN): 9783030579968 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The two-volume set IFIP AICT 591 and 592 constitutes the refereed proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2020, held in Novi Sad, Serbia, in August/September 2020. The 164 papers presented were carefully reviewed and selected from 199 submissions.
Автор: Sojka Petr, Kopeček Ivan, Pala Karel Название: Text, Speech, and Dialogue: 23rd International Conference, Tsd 2020, Brno, Czech Republic, September 8-11, 2020, Proceedings ISBN: 3030583228 ISBN-13(EAN): 9783030583224 Издательство: Springer Рейтинг: Цена: 76390.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 23rd International Conference on Text, Speech, and Dialogue, TSD 2020, held in Brno, Czech Republic, in September 2020.*The 54 full papers presented in this volume were carefully reviewed and selected from 110 submissions.
Автор: Kim Donghyun, Uma R. N., Cai Zhipeng Название: Computing and Combinatorics: 26th International Conference, Cocoon 2020, Atlanta, Ga, Usa, August 29-31, 2020, Proceedings ISBN: 3030581497 ISBN-13(EAN): 9783030581497 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 26th International Conference on Computing and Combinatorics, COCOON 2020, held in Atlanta, GA, USA, in August 2020. Due to the COVID-19 pandemic COCOON 2020 was organized as a fully online conference.
Автор: Sundqvist Anneli, Berget Gerd, Nolin Jan Название: Sustainable Digital Communities: 15th International Conference, Iconference 2020, Boras, Sweden, March 23-26, 2020, Proceedings ISBN: 3030436861 ISBN-13(EAN): 9783030436865 Издательство: Springer Рейтинг: Цена: 106210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume constitutes the proceedings of the 15th International Conference on Sustainable Digital Communities, iConference 2020, held in Boras, Sweden, in March 2020. The 27 full papers and the 48 short papers presented in this volume were carefully reviewed and selected from 178 submissions.
Full Papers.- Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego.- Towards Bridging Time and Causal Reversibility.- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.- Conformance-Based Doping Detection for Cyber-Physical Systems.- On Implementable Timed Automata?.- Deep Statistical Model Checking.- Trace Equivalence and Epistemic Logic to Express Security Properties.- Derivation of Heard-Of Predicates From Elementary Behavioral Patterns.- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities.- A Formal Framework for Consent Management.- Tutorials.- Tutorial: Parameterized Verification with Byzantine Model Checker.- Typechecking Java Protocols with [St]Mungo.- Short Paper.- Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper).
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
