Computational Statistics Handbook with MATLAB, Second Edition
- Edition
- 2nd
- ISBN/ISSN
- 978-1-58488-566-5
- Collation
- xxi, 591 P. : ilL. ; 23 cm.
- Series Title
- -
- Call Number
- 519.502 Mar c
- Edition
- 2nd
- ISBN/ISSN
- 978-1-58488-566-5
- Collation
- xxi, 591 P. : ilL. ; 23 cm.
- Series Title
- -
- Call Number
- 519.502 Mar c
Mathematical Modelling of Decision Problems
This book is intended as a guide to and manual on modeling complex problems in Multi Criteria Decision Making (MCDM). It encourages practitioners to consider the practicalities of real-world scenar…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-82347-4
- Collation
- xvi, 196p.:ill
- Series Title
- Multiple Criteria Decision Making
- Call Number
- 511.8 Mun m
Matheuristics
This book is the first comprehensive tutorial on matheuristics. Matheuristics are based on mathematical extensions of previously known heuristics, mainly metaheuristics, and on original, area-speci…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-70277-9
- Collation
- xviii, 214p.;ill
- Series Title
- EURO Advanced Tutorials on Operational Research
- Call Number
- 518.1 Man m
Algebraic Informatics: 9th International Conference, CAI 2022, Virtual Event,…
This book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held as virtual event, in October 27–29, 2022. The 2 abstracts, 3 full papers of i…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-19685-0
- Collation
- xiv, 223p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.332 Alg
Logic-Based Program Synthesis and Transformation: 32nd International Symposiu…
This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-16767-6
- Collation
- xiii, 155p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.332 Log
R-Calculus, III: Post Three-Valued Logic
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postu…
- Edition
- 1
- ISBN/ISSN
- 978-981-19-4270-9
- Collation
- xii, 273p.: Ill.
- Series Title
- Perspectives in Formal Induction, Revision and Evolution
- Call Number
- 006.332 Li r
Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLL…
This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019. The volume …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-98479-3
- Collation
- xvi, 355p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 511.360 Log
Logic-Based Program Synthesis and Transformation: 31st International Symposiu…
This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.* …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-98869-2
- Collation
- ix, 177p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 511.360 Log
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, …
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 f…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-10769-6
- Collation
- xv, 756p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.13 Aut
Automated Deduction – CADE 28: 28th International Conference on Automated D…
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions pre…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-79876-5
- Collation
- xiv, 650p.: Ill.
- Series Title
- -
- Call Number
- 511.360 Aut
The Myth of Statistical Inference
This book proposes and explores the idea that the forced union of the aleatory and epistemic aspects of probability is a sterile hybrid, inspired and nourished for 300 years by a false hope of form…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-73257-8
- Collation
- xv, 448p.:Ill
- Series Title
- -
- Call Number
- 519.5 Acr t
Graph Structures for Knowledge Representation and Reasoning: 6th Internationa…
This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, hel…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-72308-8
- Collation
- ix, 151p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.332 Gra
Mathematical Theories of Distributed Sensor Networks
This book provides a Mathematical Theory of Distributed Sensor Networks. It introduces the Mathematical & Computational Structure by discussing what they are, their applications and how they differ…
- Edition
- 1
- ISBN/ISSN
- 978-1-4419-8420-3
- Collation
- xiv, 153p.: Ill.
- Series Title
- -
- Call Number
- 681.2 Iye m
A Mathematical Approach to Research Problems of Science and Technology: Theor…
This book deals with one of the most novel advances in mathematical modeling for applied scientific technology, including computer graphics, public-key encryption, data visualization, statistical d…
- Edition
- 1
- ISBN/ISSN
- 978-4-431-55060-0
- Collation
- xii, 507p.: Ill.
- Series Title
- Mathematics for Industry
- Call Number
- 511.34 Mat
Multiscale Modeling of Complex Materials: Phenomenological, Theoretical and C…
The papers in this volume deal with materials science, theoretical mechanics and experimental and computational techniques at multiple scales, providing a sound base and a framework for many applic…
- Edition
- 1
- ISBN/ISSN
- 978-3-7091-1812-2
- Collation
- vii, 278p.: Ill.
- Series Title
- CISM International Centre for Mechanical Sciences
- Call Number
- 620.110 Mul
PGD-Based Modeling of Materials, Structures and Processes
This book focuses on the development of a new simulation paradigm allowing for the solution of models that up to now have never been resolved and which result in spectacular CPU time savings (in th…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-06182-5
- Collation
- xvii, 219p.: Ill.
- Series Title
- ESAFORM Bookseries on Material Forming
- Call Number
- 620.100 Chi p
Noise-Driven Phenomena in Hysteretic Systems
Noise-Driven Phenomena in Hysteretic Systems provides a general approach to nonlinear systems with hysteresis driven by noisy inputs, which leads to a unitary framework for the analysis of various …
- Edition
- 1
- ISBN/ISSN
- 978-1-4614-1374-5
- Collation
- xiii, 233p.: Ill.
- Series Title
- Signals and Communication Technology
- Call Number
- 538.3 Dim n
Mathematical Modelling Education in East and West
This book documents ongoing research and theorizing in the sub-field of mathematics education devoted to the teaching and learning of mathematical modelling and applications. Mathematical modelling…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-66996-6
- Collation
- xviii, 666p.:ill
- Series Title
- International Perspectives on the Teaching and Learning of Mathematical Modelling
- Call Number
- 511.807 1 Mat
Public Interest and Private Enterprize: New Developments
This book deals with the effect of public and semi-public companies on economy. In traditional economic models, several private companies – interested in maximizing their profit – interact (e.g…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-58348-4
- Collation
- vi, 146
- Series Title
- -
- Call Number
- 339.5 Pub
Mathematical Modelling, Nonlinear Control and Performance Evaluation of a Gro…
In this book, the author deals with the mathematical modelling, nonlinear control and performance evaluation of a conceptual anti-aircraft gun based mobile air defence system engaging an attacking …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-55498-9
- Collation
- xxvi,300p.Ill.
- Series Title
- -
- Call Number
- 358. 138 2 Fra m
Data-Driven Evolutionary Optimization
Intended for researchers and practitioners alike, this book covers carefully selected yet broad topics in optimization, machine learning, and metaheuristics. Written by world-leading academic resea…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-74640-7
- Collation
- xxv, 393p.:Ill.
- Series Title
- -
- Call Number
- 519.6 Jin d
Decision Support Methods in Modern Transportation Systems and Networks
- Edition
- 1
- ISBN/ISSN
- 978-3-030-71771-1
- Collation
- viii, 223p.:Ill.
- Series Title
- -
- Call Number
- 388.015 Dec
- Edition
- 1
- ISBN/ISSN
- 978-3-030-71771-1
- Collation
- viii, 223p.:Ill.
- Series Title
- -
- Call Number
- 388.015 Dec
Aging, Shaking, and Cracking of Infrastructures
- Edition
- -
- ISBN/ISSN
- 978-3-030-57434-5
- Collation
- LXXII, 1115p.:Ill
- Series Title
- -
- Call Number
- 624.171 Sao a
- Edition
- -
- ISBN/ISSN
- 978-3-030-57434-5
- Collation
- LXXII, 1115p.:Ill
- Series Title
- -
- Call Number
- 624.171 Sao a
New Trends in Applied Analysis and Computational Mathematics
The volume contains original research papers as the Proceedings of the International Conference on Advances in Mathematics and Computing, held at Veer Surendra Sai University of Technology, Odisha,…
- Edition
- -
- ISBN/ISSN
- 978-981-16-1402-6
- Collation
- XIV, 316p.:ill
- Series Title
- Advances in Intelligent Systems and Computing
- Call Number
- 515 New
Reliability Modelling and Optimization of Warm Standby Systems
- Edition
- -
- ISBN/ISSN
- 978-981-16-1792-8
- Collation
- xii, 166p.:Ill
- Series Title
- -
- Call Number
- 620.004 52 Pen r
- Edition
- -
- ISBN/ISSN
- 978-981-16-1792-8
- Collation
- xii, 166p.:Ill
- Series Title
- -
- Call Number
- 620.004 52 Pen r
Optimal Control Theory
This book focuses on how to implement optimal control problems via the variational method. It studies how to implement the extrema of functional by applying the variational method and covers the ex…
- Edition
- -
- ISBN/ISSN
- 978-981-33-6292-5
- Collation
- xix, 344p.:Ill
- Series Title
- -
- Call Number
- 519.6 Maz o
Multiscale Modeling and Uncertainty Quantification of Materials and Structure…
This book contains the proceedings of the IUTAM Symposium on Multiscale Modeling and Uncertainty Quantification of Materials and Structures that was held at Santorini, Greece, September 9 – 11, 2…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-06331-7
- Collation
- ix, 306p.: ll.
- Series Title
- -
- Call Number
- 620.10 Mul
Graph Theory Applications to Deregulated Power Systems
This book provides a detailed description of network science concepts applied to power systems and electricity markets, offering an appropriate blend of theoretical background and practical applica…
- Edition
- -
- ISBN/ISSN
- 978-3-030-57589-2
- Collation
- ix, 58p.:Ill
- Series Title
- SpringerBriefs in Electrical and Computer Engineering
- Call Number
- 621.31 Chu g
Modern Dynamic Reliability Analysis for Multi-state Systems
This book discusses recent developments in dynamic reliability in multi-state systems (MSS), addressing such important issues as reliability and availability analysis of aging MSS, the impact of in…
- Edition
- -
- ISBN/ISSN
- 978-3-030-52488-3
- Collation
- xiv, 184p.:Ill
- Series Title
- Springer Series in Reliability Engineering
- Call Number
- 620.004 52 Lis m
Orbital Relative Motion and Terminal Rendezvous
This book provides a comprehensive analysis of time-fixed terminal rendezvous around the Earth using chemical propulsion. The book has two main objectives. The first is to derive the mathemati…
- Edition
- -
- ISBN/ISSN
- 978-3-030-64657-8
- Collation
- xv, 417p.:Ill
- Series Title
- Space Technology Library
- Call Number
- 629.411 3 Kec o
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography