Mathematical Software - Icms 2020: 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, Bigatti Anna Maria, Carette Jacques, Davenport James H.
Описание: They describe new learning technologies which range from smart school, smart class and smart learning at home and which have been developed from new technologies such as machine learning, multimedia and Internet of Things.
Автор: Greuel Название: Mathematical Software – ICMS 2016 ISBN: 3319424319 ISBN-13(EAN): 9783319424316 Издательство: Springer Рейтинг: Цена: 10342.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016. The 68 papers included in this volume were carefully reviewed and selected from numerous submissions. information services for mathematics: software, services, models, and data;
Описание: The conference was cancelled due to the COVID-19 pandemic.The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it.
Описание: This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, held in A`quila, Italy, in September 2020. In the Research Track, 12 full papers presented together with 5 short papers were carefully reviewed and selected from 103 submissions.
Описание: This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions.
Описание: This book constitutes refereed proceedings of the 19th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2020, held in Novosibirsk, Russia, in July 2020.
Clock Synchronization for Mobile Molecular Communication in Nanonetworks.- A Cooperative Molecular Communication for targeted drug Delivery.- Performance of Diffusion-based MIMO Molecular Communications and Dual Threshold Algorithm.- Binary Concentration Shift Keying with Multiple Measurements of Molecule Concentration in Mobile Molecular Communication.- Real-Time Seven Segment Display Detection and Recognition Online System using CNN.- A novel method for extracting high-quality RR intervals from noisy single-lead ECG signals.- Leak-resistant design of DNA strand displacement systems.- Chessboard EEG Images Classification for BCI Systems Using Deep Neural Network.- Causal Network Analysis and Fault Root Point Detection Based on Symbolic Transfer Entropy.- Personalized EEG feature extraction method based on filter bank and elastic network.- Release rate optimization based on M/M/c/c queue in local nanomachine-based targeted drug delivery.- Research on Course Control of Unmanned Surface Vehicle.- Design and Experiment of a Double-layer Vertical Axis Wind Turbine.- Real-Time Obstacle Detection Based on Monocular Vision for Unmanned Surface Vehicles.- A Method of Data Integrity Check and Repair in Big Data Storage Platform.- A Study of Image Recognition for Standard Convolution and Depthwise Separable Convolution.- A Novel Genetic Algorithm-based DES Key Generation Scheme.- Developing an Intelligent Agricultural System based on Long Short-Term Memory.- Detection of atherosclerotic lesions based on molecular Communication.- Design for Detecting Red Blood Cell Deformation at Different Flow Velocities in Blood Vessel.- Intelligent Power Controller of Wireless Body Area Networks based on Deep Reinforcement Learning.- Target Tracking Based on DDPG in Wireless Sensor Network.- A fuzzy tree system based on cuckoo search algorithm for target tracking in Wireless Sensor Network.- Sensor scheme for target tracking in Mobile Sensor Networks.- Molecular MIMO Communications Platform with BTSK for In-Vessel Network Systems.- Preliminary Studies on Flow Assisted Propagation of Fluorescent Microbeads in Microfluidic Channels for Molecular Communication Systems.- Comparative Evaluation of a New Sensor for Superparamagnetic Iron-Oxide Nanoparticles in a Molecular Communication Setting.- Localization of a Passive Molecular Transmitter with a Sensor Network.
Описание: 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.
Описание: 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.
Описание: The 3-volume set CCIS 1252 until CCIS 1254 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020.
Описание: This book constitutes the proceedings of the 19th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2020, held in Novosibirsk, Russia, in July 2020. The 31 full papers presented in this volume were carefully reviewed and selected from 102 submissions.
Описание: This book summarizes the research findings presented at the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), which took place on August 24-26, 2020.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
