Smart Applications and Data Analysis: Third International Conference, Sadasc 2020, Marrakesh, Morocco, June 25-26, 2020, Proceedings, Hamlich Mohamed, Bellatreche Ladjel, Mondal Anirban

Автор: Jezic G., Chen-Burger J., Kusek M.
Название: Agents and Multi-Agent Systems: Technologies and Applications 2020: 14th Kes International Conference, Kes-Amsta 2020, June 2020 Proceedings
ISBN: 9811557632 ISBN-13(EAN): 9789811557637
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the current realities and examines the proposed reforms in doctoral education worldwide to offers a discussion of the organization of doctoral education, including historical background, the basic philosophy behind doctoral education, numbers of students and staff, numbers of universities offering doctoral study, and other relevant statistics on the region.

Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay
Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part VII
ISBN: 303058819X ISBN-13(EAN): 9783030588199
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Singhal Anoop, Vaidya Jaideep
Название: Data and Applications Security and Privacy XXXIV: 34th Annual Ifip Wg 11.3 Conference, Dbsec 2020, Regensburg, Germany, June 25-26, 2020, Proceedings
ISBN: 3030496686 ISBN-13(EAN): 9783030496685
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 34th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy, DBSec 2020, held in Regensburg, Germany, in June 2020.*The 14 full papers and 8 short papers presented were carefully reviewed and selected from 39 submissions.

Автор: Pavel Kr?mer; Hong Zhang; Yongquan Liang; Jeng-Shy
Название: Proceedings of the Fifth Euro-China Conference on Intelligent Data Analysis and Applications
ISBN: 3030037657 ISBN-13(EAN): 9783030037659
Издательство: Springer
Рейтинг:
Цена: 186330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume of Advances in Intelligent Systems and Computing highlights papers presented at the Fifth Euro-China Conference on Intelligent Data Analysis and Applications (ECC2018), held in Xi’an, China from October 12 to 14 2018. The conference was co-sponsored by Springer, Xi’an University of Posts and Telecommunications, VSB Technical University of Ostrava (Czech Republic), Fujian University of Technology, Fujian Provincial Key Laboratory of Digital Equipment, Fujian Provincial Key Lab of Big Data Mining and Applications, and Shandong University of Science and Technology in China. The conference was intended as an international forum for researchers and professionals engaged in all areas of computational intelligence, intelligent control, intelligent data analysis, pattern recognition, intelligent information processing, and applications.

Автор: Pavel Kr?mer; Enrique Alba; Jeng-Shyang Pan; V?cla
Название: Proceedings of the Fourth Euro-China Conference on Intelligent Data Analysis and Applications
ISBN: 3319685260 ISBN-13(EAN): 9783319685267
Издательство: Springer
Рейтинг:
Цена: 186330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book highlights recent advances in intelligent data analysis, computational intelligence, signal processing, and all associated applications of artificial intelligence. It gathers papers presented at the ECC 2017, the Fourth Euro-China Conference on Intelligent Data Analysis and Applications. The aim of the ECC was to provide an internationally respected forum for scientific research in the broad areas of intelligent data analysis, computational intelligence, signal processing, and all associated applications of artificial intelligence (AI). The fourth installment of the ECC was jointly organized by the University of M?laga, Spain; the V?B - Technical University of Ostrava, Czech Republic; and Fujian University of Technology, Fuzhou, China. The conference took place in M?laga, Spain on October 9–11, 2017.

Автор: 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.

Автор: Campilho Aurйlio, Karray Fakhri, Wang Zhou
Название: Image Analysis and Recognition: 17th International Conference, Iciar 2020, Pуvoa de Varzim, Portugal, June 24-26, 2020, Proceedings, Part II
ISBN: 3030505154 ISBN-13(EAN): 9783030505158
Издательство: Springer
Рейтинг:
Цена: 79190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This two-volume set LNCS 12131 and LNCS 12132 constitutes the refereed proceedings of the 17th International Conference on Image Analysis and Recognition, ICIAR 2020, held in Povoa de Varzim, Portugal, in June 2020. The 54 full papers presented together with 15 short papers were carefully reviewed and selected from 123 submissions.

Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay
Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part V
ISBN: 3030588130 ISBN-13(EAN): 9783030588137
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay
Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part II
ISBN: 3030588017 ISBN-13(EAN): 9783030588014
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: 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.

Автор: 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.

Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay
Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part IV
ISBN: 3030588106 ISBN-13(EAN): 9783030588106
Издательство: Springer
Рейтинг:
Цена: 113660.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.