Proceedings of the 21st Eann (Engineering Applications of Neural Networks) 2020 Conference: Proceedings of the Eann 2020, Iliadis Lazaros, Angelov Plamen Parvanov, Jayne Chrisina
Adaptive Multiple-view Label Propagation for Semi-Supervised Classication.- Container Damage Identication based on Fmask-RCNN.- Multiagent Reinforcement Learning for Combinatorial Optimization.- Extended Kalman Filter-Based Adaptively Sliding Mode Control with Dead-Zone Compensator for An Anchor-Hole Driller.- Exploring Multi-scale Deep Encoder-decoder and PatchGAN for Perceptual Ultrasound Image Super-resolution.- Reliable neighbors-based Collaborative Filtering for Recommendation Systems.- Downhole condition identication for geological drilling processes based on qualitative trend analysis and expert rules.- Adaptive Neural Network Control for Double-Pendulum Tower Crane Systems.- Mengh Generalized Locally-linear embedding: A Neural Network Implementation.- Semi-supervised Feature Selection Using Sparse Laplacian Support Vector Machine.- Tailored Pruning via Rollback Learning.- Coordinative Hyper-Heuristic Resource Scheduling in Mobile Cellular Networks.- Latent Sparse Discriminative Learning for Face Image Set Classication.- Sparse multi-task least-squares support vector machine.- Discriminative Subspace Learning for Cross-view Classication with Simultaneous Local and Global Alignment.- A Recognition Method of Hand Gesture based on Dual-SDAE.- Image Generation from Layout via Pair-wise RaGAN.- Learning Unsupervised Video Summarization with Semantic-consistent Network.- Sustainable Competitiveness Evaluation for Container Liners Using a Novel Hybrid Method with Intuitionistic Fuzzy Linguistic Variables.- 2-Dimensional Interval Neutrosophic Linguistic Numbers and Their Utilization in Group Decision Making.- Cross-Modal N-Pair Network for Generalized Zero-Shot Learning.- A Bi-Directional Relation Aware Network for Link Prediction in Knowledge Graph.- Deep K-Means: A Simple and Eective Method for Data Clustering.- Brain Storm Optimization Algorithms: A Brief Review.- A Binary Superior Tracking Articial Bee Colony for Feature Selection.- A Hybrid Neural Network RBERT-C based on Pre-trained RoBERTa and CNN for User Intent Classication.- Image Registration Algorithm Based on Manifold Regularization with Thin-plate Spline Model.- Optimal Control of Nonlinear Time-delay Systems with Input Constraints Using Reinforcement Learning.- Disaggregated Power System Signal Recognition using Capsule Network.- Design of echo state network with coordinate descent method and l1 regularization.- An advanced actor-critic algorithm for training video game AI.- Neural Network-Based Adaptive Control for EMS Type Maglev Vehicle Systems with Time-Varying Mass.- A Novel Collision-Avoidance TDMA MAC Protocol for Fog-assisted VCNs.- Design optimization of plate-n heat exchanger using sine cosine algorithm.- Mr-ResNeXt: A Multi-resolution Network Architecture for Detection of Obstructive Sleep Apnea.- Scalable Multi-Agent Reinforcement Learning Architecture for Semi-MDP Real-Time Strategy Games.- Stacked Deep Learning Structure with Bidirectional Long-Short Term Memory for Stock Market Prediction.- Multi-period Distributed Delay-sensitive Tasks Ooading in a Two-layer Vehicular Fog Computing Architecture.- Template-Enhanced Aspect Term Extraction with Bi-contextual Convolutional Neural Networks.- Privacy Sensitive Large-Margin Model for Face De-identication.- Balancing of Bike-sharing networks via constrained model predictive control.- RLV Reentry Trajectory Optimization Design Based on Improved Differential Evolution Algorithm.- A Tree-structure Convolutional Neural Network for Temporal Features Exaction on Sensor-based Multi-resident Activity Recognition.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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 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.
Автор: Arai Kohei, Kapoor Supriya, Bhatia Rahul Название: Intelligent Systems and Applications: Proceedings of the 2020 Intelligent Systems Conference (Intellisys) Volume 3 ISBN: 303055189X ISBN-13(EAN): 9783030551896 Издательство: Springer Рейтинг: Цена: 186330.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part III ISBN: 3030588076 ISBN-13(EAN): 9783030588076 Издательство: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
