This monograph introduces a novel multiset-based conceptual, mathematical and knowledge engineering paradigm, called multigrammatical framework (MGF), used for planning and scheduling in resource-consuming, resource-producing (industrial) and...Loe edasi...
(Ilmumisaeg: 30-Oct-2022, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031138577)
This monograph introduces a novel multiset-based conceptual, mathematical and knowledge engineering paradigm, called multigrammatical framework (MGF), used for planning and scheduling in resource-consuming, resource-producing (industrial) and...Loe edasi...
Lombardi, Perrucci, and Roy prove an elementary recursive bound on the degrees for Hilberts 17th problem by expressing a non-negative polynomial as a sum of squares of rational functions, and obtaining as degree estimate for the numerators and d...Loe edasi...
(Ilmumisaeg: 30-Jul-2019, Hardback, Kirjastus: American Mathematical Society, ISBN-13: 9781470451448)
In a textbook for an undergraduate course in real analysis, Bridger recognizes that besides mathematics majors, such courses attract students of secondary teaching, physical sciences, and computer science and need more (and less) than a foundatio...Loe edasi...
This book is an investigation of algorithmic contingency and an elucidation of the contemporary situation that we are living in: the regular arrival of algorithmic catastrophes on a global scale. Through a historical analysis of philosophy, com...Loe edasi...
This book is an investigation of algorithmic contingency and an elucidation of the contemporary situation that we are living in: the regular arrival of algorithmic catastrophes on a global scale. Through a historical analysis of philosophy, com...Loe edasi...
Drawing from the lecture notes for a semester-long program for advanced undergraduate students, Katz and Reimann introduce Ramsey theory. The material should be accessible to anyone who has completed a first set of proof-based mathematics courses...Loe edasi...
(Ilmumisaeg: 11-Sep-2018, Hardback, Kirjastus: MIT Press, ISBN-13: 9780262038669)
The substantially revised fourth edition of a widely used text, offering both an introduction to recursive methods and advanced material, mixing tools and sample applications. The substantially revised fourth edition of a widely used te...Loe edasi...
This book describes the recursive approach to solving problems from system identification, parameter estimation, adaptive control problems, and more. Special attention is paid to how to transform the problems suitable to a recursive solution. Recurs...Loe edasi...
(Ilmumisaeg: 31-Aug-2012, Hardback, Kirjastus: MIT Press, ISBN-13: 9780262018746)
Recursive methods offer a powerful approach for characterizing and solvingcomplicated problems in dynamic macroeconomics. Recursive Macroeconomic Theoryprovides both an introduction to recursive methods and advanced material, mixing tools a...Loe edasi...
Hailed by the Bulletin of the American Mathematical Society as easy to use and a pleasure to read, this research monograph is recommended for students and professionals interested in model theory and definability theory. The sole p...Loe edasi...
(Ilmumisaeg: 26-Nov-2007, Hardback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9780387743141)
Rigid Body Dynamics Algorithms presents the subject of computational rigid-body dynamics through the medium of spatial 6D vector notation. It explains how to model a rigid-body system and how to analyze it, and it presents the most comprehensive...Loe edasi...
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godels incompleteness theorems, but a...Loe edasi...
(Ilmumisaeg: 03-Sep-2004, Hardback, Kirjastus: MIT Press, ISBN-13: 9780262122740)
Recursive methods offer a powerful approach for characterizing and solving complicated problems in dynamic macroeconomics. Recursive Macroeconomic Theory provides both an introduction to recursive methods and advanced material, mixing tools and sampl...Loe edasi...
In this classic text, Dr. Davis provides a clear introduction to computability, at an advanced undergraduate level, that serves the needs of specialists and non-specialists alike.In Part One (Chapters 1–5), Professor Davis outline...Loe edasi...
This solutions manual is a companion volume to the classic textbook Recursive Methods in Economic Dynamics by Stokey, Lucas, and Prescott. Efficient and lucid in approach, this manual will greatly enhance the value ofRecursive Methods a...Loe edasi...
Sari: The Morgan Kaufmann Series in Computer Graphics
(Ilmumisaeg: 16-Jul-2002, Hardback, Kirjastus: Morgan Kaufmann Publishers In, ISBN-13: 9781558603547)
Pyramid Algorithms presents a unique approach to understanding, analyzing, and computing the most common polynomial and spline curve and surface schemes used in computer-aided geometric design, employing a dynamic programming method bas...Loe edasi...
