Proceedings of International Conference on Recent Trends in Machine Learning, Iot, Smart Cities and Applications: Icmisc 2020, Gunjan Vinit Kumar, Zurada Jacek M.
Автор: Satapathy Suresh Chandra, Bhateja Vikrant, Mohanty J. R. Название: Smart Intelligent Computing and Applications: Proceedings of the Third International Conference on Smart Computing and Informatics, Volume 2 ISBN: 9813296925 ISBN-13(EAN): 9789813296923 Издательство: Springer Цена: 204970.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book presents high-quality papers from the Third International Conference on Smart Computing and Informatics (SCI 2018 19), organized by the School of Computer Engineering and School of Computer Application, Kalinga Institute of Industrial Technology Deemed to be University, Bhubaneswar, from 21 to 22 December 2018.
Автор: Hamlich Mohamed, Bellatreche Ladjel, Mondal Anirban Название: Smart Applications and Data Analysis: Third International Conference, Sadasc 2020, Marrakesh, Morocco, June 25-26, 2020, Proceedings ISBN: 3030451828 ISBN-13(EAN): 9783030451820 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Kumar Amit, Paprzycki Marcin, Gunjan Vinit Kumar Название: Icdsmla 2019: Proceedings of the 1st International Conference on Data Science, Machine Learning and Applications ISBN: 9811514194 ISBN-13(EAN): 9789811514197 Издательство: Springer Цена: 102480.00 T Наличие на складе: Поставка под заказ. Описание: This book gathers selected high-impact articles from the 1st International Conference on Data Science, Machine Learning & Applications 2019. It highlights the latest developments in the areas of Artificial Intelligence, Machine Learning, Soft Computing, Human-Computer Interaction and various data science & machine learning applications.
Автор: Tiwari Shailesh, Suryani Erma, Ng Andrew Keong Название: Proceedings of International Conference on Big Data, Machine Learning and Their Applications: Icbma 2019 ISBN: 9811583765 ISBN-13(EAN): 9789811583766 Издательство: Springer Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book contains high-quality peer-reviewed papers of the International Conference on Big Data, Machine Learning and their Applications (ICBMA 2019) held at Motilal Nehru National Institute of Technology Allahabad, Prayagraj, India, during 29-31 May 2020.
Автор: Tavana Madjid, Nedjah Nadia, Alhajj Reda Название: Emerging Trends in Intelligent and Interactive Systems and Applications: Proceedings of the 5th International Conference on Intelligent, Interactive S ISBN: 3030637832 ISBN-13(EAN): 9783030637835 Издательство: Springer Цена: 186330.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book covers nine interesting and current topics on different systems` orientations, including Analytical Systems, Database Management Systems, Electronics Systems, Energy Systems, Intelligent Systems, Network Systems, Optimization Systems, and Pattern Recognition Systems and Applications.
Автор: Satapathy Suresh Chandra, Bhateja Vikrant, Mohanty J. R. Название: Smart Intelligent Computing and Applications: Proceedings of the Third International Conference on Smart Computing and Informatics, Volume 1 ISBN: 9811392846 ISBN-13(EAN): 9789811392849 Издательство: Springer Рейтинг: Цена: 186330.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book gathers high-quality papers presented at the Third International Conference on Smart Computing and Informatics (SCI 2018-19), which was organized by the School of Computer Engineering and School of Computer Application, Kalinga Institute of Industrial Technology, Bhubaneswar, India, on 21-22 December, 2018.
Автор: Kumar Название: Proceedings of International Conference on Artificial Intelligence, Smart Grid and Smart City Applications ISBN: 3030240509 ISBN-13(EAN): 9783030240509 Издательство: Springer Рейтинг: Цена: 186330.00 T Наличие на складе: Поставка под заказ. Описание: Due to the complexity, and heterogeneity of the smart grid and the high volume of information to be processed, artificial intelligence techniques and computational intelligence appear to be some of the enabling technologies for its future development and success. The theme of the book is "Making pathway for the grid of future" with the emphasis on trends in Smart Grid, renewable interconnection issues, planning-operation-control and reliability of grid, real time monitoring and protection, market, distributed generation and power distribution issues, power electronics applications, computer-IT and signal processing applications, power apparatus, power engineering education and industry-institute collaboration. The primary objective of the book is to review the current state of the art of the most relevant artificial intelligence techniques applied to the different issues that arise in the smart grid development.
Автор: Pulina Luca, Seidl Martina Название: Theory and Applications of Satisfiability Testing - SAT 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings ISBN: 3030518248 ISBN-13(EAN): 9783030518240 Издательство: Springer Рейтинг: Цена: 76390.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Nisky Ilana, Hartcher-O`Brien Jess, Wiertlewski Michaлl Название: Haptics: Science, Technology, Applications: 12th International Conference, Eurohaptics 2020, Leiden, the Netherlands, September 6-9, 2020, Proceedings ISBN: 3030581462 ISBN-13(EAN): 9783030581466 Издательство: Springer Рейтинг: Цена: 37260.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This open access book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2020, held in Leiden, The Netherlands, in September 2020. The were organized in topical sections on haptic science, haptic technology, and haptic applications.
Автор: Wang Guojun, Lin Xuemin, Hendler James Название: Web Information Systems and Applications: 17th International Conference, Wisa 2020, Guangzhou, China, September 23-25, 2020, Proceedings ISBN: 3030600289 ISBN-13(EAN): 9783030600280 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The papers are grouped in topical sections on world wide web, recommendation, query processing and algorithm, natural language processing, machine learning, graph query, edge computing and data mining, data privacy and security, and blockchain.
Автор: Borovica-Gajic Renata, Qi Jianzhong, Wang Weiqing Название: Databases Theory and Applications: 31st Australasian Database Conference, Adc 2020, Melbourne, Vic, Australia, February 3-7, 2020, Proceedings ISBN: 3030394689 ISBN-13(EAN): 9783030394684 Издательство: Springer Рейтинг: Цена: 54030.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The Australasian Database Conference is an annual international forum for sharing the latest research advancements and novel applications of database systems, data driven applications and data analytics between researchers and practitioners from around the globe, particularly Australia, New Zealand and in the World.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
