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.
Автор: Michael Khachay; Yury Kochetov; Panos Pardalos Название: Mathematical Optimization Theory and Operations Research ISBN: 303022628X ISBN-13(EAN): 9783030226282 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Dorronsoro Bernabй, Ruiz Patricia, de la Torre Juan Carlos Название: Optimization and Learning: Third International Conference, Ola 2020, Cбdiz, Spain, February 17-19, 2020, Proceedings ISBN: 3030419126 ISBN-13(EAN): 9783030419127 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume constitutes the refereed proceedings of the Third International Conference on Optimization and Learning, OLA 2020, held in Cadiz, Spain, in February 2020.
Автор: Bienstock Daniel, Zambelli Giacomo Название: Integer Programming and Combinatorial Optimization: 21st International Conference, Ipco 2020, London, Uk, June 8-10, 2020, Proceedings ISBN: 3030457702 ISBN-13(EAN): 9783030457709 Издательство: Springer Рейтинг: Цена: 60550.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Pardalos Panos, Kotsireas Ilias, Guo Yike Название: Mathematical Research for Blockchain Economy: 2nd International Conference Marble 2020, Vilamoura, Portugal ISBN: 3030533557 ISBN-13(EAN): 9783030533557 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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
Автор: 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.
Автор: 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.
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).
Автор: Bigatti Anna Maria, Carette Jacques, Davenport James H. Название: Mathematical Software - Icms 2020: 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings ISBN: 3030521990 ISBN-13(EAN): 9783030521998 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 7th International Conference on Mathematical Software, ICMS 2020, held in Braunschweig, Germany, in July 2020.
Автор: Igor Bykadorov; Vitaly Strusevich; Tatiana Tchemis Название: Mathematical Optimization Theory and Operations Research ISBN: 3030333930 ISBN-13(EAN): 9783030333935 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Schwartz Russell Название: Research in Computational Molecular Biology: 24th Annual International Conference, Recomb 2020, Padua, Italy, May 10-13, 2020, Proceedings ISBN: 3030452565 ISBN-13(EAN): 9783030452568 Издательство: Springer Рейтинг: Цена: 54030.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 24th Annual Conference on Research in Computational Molecular Biology, RECOMB 2020, held in Padua, Italy, in May 2020. The papers report on original research in all areas of computational molecular biology and bioinformatics.
Автор: Lanese Ivan, Rawski Mariusz Название: Reversible Computation: 12th International Conference, Rc 2020, Oslo, Norway, July 9-10, 2020, Proceedings ISBN: 3030524817 ISBN-13(EAN): 9783030524814 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions. The papers are organized in the following topical sections: theory and foundation;
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
