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.
Автор: Kamiński Bogumil, Pralat Pawel, Szufel Przemyslaw Название: Algorithms and Models for the Web Graph: 17th International Workshop, Waw 2020, Warsaw, Poland, September 21-22, 2020, Proceedings ISBN: 3030484777 ISBN-13(EAN): 9783030484774 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 17th International Workshop on Algorithms and Models for the Web Graph, WAW 2020, held in Warsaw, Poland, in September 2020.
Автор: Helic Denis, Leitner Gerhard, Stettinger Martin Название: Foundations of Intelligent Systems: 25th International Symposium, Ismis 2020, Graz, Austria, September 23-25, 2020, Proceedings ISBN: 3030594904 ISBN-13(EAN): 9783030594909 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 25th International Symposium on Foundations of Intelligent Systems, ISMIS 2020, held in Graz, Austria, in October 2020.
Автор: Herzig Andreas, Kontinen Juha Название: Foundations of Information and Knowledge Systems: 11th International Symposium, Foiks 2020, Dortmund, Germany, February 17-21, 2020, Proceedings ISBN: 3030399508 ISBN-13(EAN): 9783030399504 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020. The 19 revised full papers presented were carefully reviewed and selected from 33 submissions.
Автор: Bernardi Simona, Vittorini Valeria, Flammini Francesco Название: Dependable Computing - Edcc 2020 Workshops: Ai4rails, Dreams, Dsogri, Serene 2020, Munich, Germany, September 7, 2020, Proceedings ISBN: 3030584615 ISBN-13(EAN): 9783030584610 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes refereed proceedings of the Workshops of the 16th European Dependable Computing Conference, EDCC: 1st Workshop on Articial Intelligence for Railways, AI4RAILS 2020, 1st Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2020, 2nd Workshop on Dependable Solutions for Intelligent Electricity Distribution Grids, DSOGRI 2020, 12th Workshop on Software Engineering for Resilient Systems, SERENE 2020, held in September 2020. Due to the COVID-19 pandemic the workshops were held virtually. The 12 full papers and 4 short papers were thoroughly reviewed and selected from 35 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience.
Автор: Shepperd Martin, Brito E. Abreu Fernando, Rodrigues Da Silva Alberto Название: Quality of Information and Communications Technology: 13th International Conference, Quatic 2020, Faro, Portugal, September 9-11, 2020, Proceedings ISBN: 3030587924 ISBN-13(EAN): 9783030587925 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 13th International Conference on the Quality of Information and Communications Technology, QUATIC 2020, held in Faro, Portugal*, in September 2020. The 27 full papers and 12 short papers were carefully reviewed and selected from 81 submissions.
Автор: Brito-Loeza Carlos, Espinosa-Romero Arturo, Martin-Gonzalez Anabel Название: Intelligent Computing Systems: Third International Symposium, Isics 2020, Sharjah, United Arab Emirates, March 18-19, 2020, Proceedings ISBN: 3030433633 ISBN-13(EAN): 9783030433635 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the Third International Symposium on Intelligent Computing Systems, ISICS 2020, held in Sharjah, United Arab Emirates, in March 2020. They deal with the field of intelligent computing systems focusing on artificial intelligence, computer vision and image processing.
Автор: Nakano Keisuke, Sagonas Konstantinos Название: Functional and Logic Programming: 15th International Symposium, Flops 2020, Akita, Japan, September 14-16, 2020, Proceedings ISBN: 3030590240 ISBN-13(EAN): 9783030590246 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.
Автор: Brandic Ivona, Genez Thiago A. L., Pietri Ilia Название: Algorithmic Aspects of Cloud Computing: 5th International Symposium, Algocloud 2019, Munich, Germany, September 10, 2019, Revised Selected Papers ISBN: 3030586278 ISBN-13(EAN): 9783030586270 Издательство: Springer Рейтинг: Цена: 51230.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed post-conference proceedings of the 5th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2019, held in Munich, Germany, in September 2019. The 8 revised full papers were carefully reviewed and selected from 16 submissions.
Автор: 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.
Автор: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
