Mathematical Optimization Theory and Operations Research: 19th International Conference, Motor 2020, Novosibirsk, Russia, July 6-10, 2020, Proceedings, Kononov Alexander, Khachay Michael, Kalyagin Valery A.
Описание: This book constitutes the proceedings of the 7th International Conference on Mathematical Software, ICMS 2020, held in Braunschweig, Germany, in July 2020.
Описание: This book constitutes the refereed proceedings of the 11th IFIP TC 12 International Conference on Intelligent Information Processing, IIP 2020, held in Hangzhou, China, in July 2020. The 24 full papers and 5 short papers presented were carefully reviewed and selected from 36 submissions. and computer vision and image understanding.
Описание: 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.
Interactive Theorem Proving/ HOL.- Competing inheritance paths in dependent type theory: a case study in functional analysis.- A Lean tactic for normalising ring expressions with exponents (short paper).- Practical proof search for Coq by type inhabitation.- Quotients of Bounded Natural Functors.- Trakhtenbrot's Theorem in Coq.- Deep Generation of Coq Lemma Names Using Elaborated Terms.- Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs.- Validating Mathematical Structures.- Teaching Automated Theorem Proving by Example: PyRes 1.2 (system description).- Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages.- Formalizations.- Formalizing the Face Lattice of Polyhedra.- Algebraically Closed Fields in Isabelle/HOL.- Formalization of Forcing in Isabelle/ZF.- Reasoning about Algebraic Structures with Implicit Carriers in Isabelle/HOL.- Formal Proof of the Group Law for Edwards Elliptic Curves.- Verifying Farad_zev-Read type Isomorph-Free Exhaustive Generation.- Verification.- Verified Approximation Algorithms.- Efficient Verified Implementation of Introsort and Pdqsort.- A Fast Verified Liveness Analysis in SSA form.- Verification of Closest Pair of Points Algorithms.- Reasoning Systems and Tools.- A Polymorphic Vampire (short paper).- N-PAT: A Nested Model-Checker (system description).- HYPNO: Theorem Proving with Hypersequent Calculi for Non-Normal Modal Logics (system description).- Implementing superposition in iProver (system description).- Moin: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (system description).- Make E Smart Again.- Automatically Proving and Disproving Feasibility Conditions.- -term: Verify Termination Properties Automatically (system description).- ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description).- The Imandra Automated Reasoning System (system description).- A Programmer's Text Editor for a Logical Theory: The SUMOjEdit Editor (system description).- Sequoia: a playground for logicians (system description).- Prolog Technology Reinforcement Learning Prover (system description).
Описание: 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.
Автор: Michael Khachay; Yury Kochetov; Panos Pardalos Название: Mathematical Optimization Theory and Operations Research ISBN: 303022628X ISBN-13(EAN): 9783030226282 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 18th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2019, held in Ekaterinburg, Russia, in July 2019.The 48 full papers presented in this volume were carefully reviewed and selected from 170 submissions. MOTOR 2019 is a successor of the well-known International and All-Russian conference series, which were organized in Ural, Siberia, and the Far East for a long time. The selected papers are organized in the following topical sections: mathematical programming; bi-level optimization; integer programming; combinatorial optimization; optimal control and approximation; data mining and computational geometry; games and mathematical economics.
Автор: Igor Bykadorov; Vitaly Strusevich; Tatiana Tchemis Название: Mathematical Optimization Theory and Operations Research ISBN: 3030333930 ISBN-13(EAN): 9783030333935 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised and selected papers from the 18th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2019, held in Ekaterinburg, Russia, in July 2019.
The 40 full papers and 4 short papers presented in this volume were carefully reviewed and selected from a total of 170 submissions. The papers in the volume are organised according to the following topical headings: ?combinatorial optimization; game theory and mathematical economics; data mining and computational geometry; integer programming; mathematical programming; operations research; optimal control and applications.
Описание: This volume constitutes the refereed proceedings of the Third International Conference on Optimization and Learning, OLA 2020, held in Cadiz, Spain, in February 2020.
Описание: This book constitutes the refereed proceedings of the 21st International Conference on Integer Programming and Combinatorial Optimization, IPCO 2020, held in London, UK, in June 2020. The conference is a forum for researchers and practitioners working on various aspects of integer programming and combinatorial optimization.
Описание: Smart Contract Derivatives.- Bitcoin Crypto-Bounties for Quantum Capable Adversaries.- An Econophysical Analysis of the Blockchain Ecosystem.- Stress Testing Diversified Portfolios: The Case of the CoinShares Gold and Cryptoassets Index.- Selfish Mining in Ethereum.- The Speculative (In)Efficiency of the CME Bitcoin Futures Market.- Carbon Trading with Blockchain.- Economic Games as Estimators.- Promise: Leveraging Future Gains for Collateral Reduction.- Step on the Gas? A Better Approach for Recommending the Ethereum Gas Price
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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
