著者:Alexander Barvinok
出版社: Springer International Publishing
発売日: 2017年03月13日
Partition functions arise in combinatorics and related problems of statistical physics as they encode in a succinct way the combinatorial structure of complicated systems. The main focus of the book……続きを見る
We live our entire lives in an information society, but too frequently feel like we are rushing to catch up with the latest technological changes. Despite the overwhelming influence of information n……続きを見る
Schemata are formal tools for describing inductive reasoning. They opened a new area in the analysis of inductive proofs.
The book introduces schemata for first-order terms, first-order formulas and……続きを見る
著者:Alexander Behrens
出版社: Peter Lang GmbH, Internationaler Verlag der Wissenschaften
発売日: 2016年04月08日
Der Autor erforscht Gründe für das Entstehen sprachlicher Defekte in lokalisierten Oberflächen von Computerprogrammen. Dabei geht es nicht um Defizite in der Sprachkompetenz des Übersetzers, sondern……続きを見る
Defect Correction Methods for Fluid Flows at High Reynold’s Numberspresents the mathematical development of defect correction methods (DCM) in application to fluid flow problems in various settings.……続きを見る
Maintaining a balance between a theoretical and practical approach to this important subject, Elements of Compiler Design serves as an introduction to compiler writing for undergraduate students. Fr……続きを見る
Multi-valued and fuzzy logics provide mathematical and computational tools for handling imperfect information and decision-making with rational collective reasoning and irrational individual judgeme……続きを見る
Formal Languages and Computation: Models and Their Applications gives a clear, comprehensive introduction to formal language theory and its applications in computer science. It covers all rudimental……続きを見る
Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing is primarily a theoretically oriented treatment of jumping automata and grammars, covering all essential ……続きを見る
Imagine a world where the boundaries of creativity are not only stretched but redefined. This bookserves as your guide to this new frontier, engaging general readers, tech enthusiasts, and creatives……続きを見る
The monograph is devoted to the construction of the high-order finite difference and finite element methods for numerical solving multidimensional boundary-value problems (BVPs) for different partia……続きを見る
Maschinelles Lernen (ML) ist zu einem alltäglichen Element in unserem Leben und zu einem Standardwerkzeug für viele Bereiche der Wissenschaft und Technik geworden. Um ML optimal nutzen zu können, is……続きを見る
The book equips students with the end-to-end skills needed to do data science. That means gathering, cleaning, preparing, and sharing data, then using statistical models to analyse data, writing abo……続きを見る
Computational complexity is critical in analysis of algorithms and is important to be able to select algorithms for efficiency and solvability. Algorithm and Design Complexity initiates with discuss……続きを見る
This book is about conformal prediction, an approach to prediction that originated in machine learning in the late 1990s. The main feature of conformal prediction is the principled treatment of the ……続きを見る
This book describes in detail a method of direct optimization, which makes it possible to choose the best trajectory of an aircraft in conditions of its limited resource. This can happen in the even……続きを見る
Aimed at students, researchers, nutritionists, and developers in food technology, this research text addresses the nascent field of metabiotics. Metabiotics are products based on components of cells……続きを見る
How Control Exists after Decentralization
Is the Internet a vast arena of unrestricted communication and freely exchanged information or a regulated, highly structured virtual bureaucracy? In Protoc……続きを見る
This easy-to-follow textbook/reference presents a concise introduction to mathematical analysis from an algorithmic point of view, with a particular focus on applications of analysis and aspects of ……続きを見る
This book is dedicated to the systematization and development of models, methods, and algorithms for queuing systems with correlated arrivals. After first setting up the basic tools needed for the s……続きを見る
Foundations of Computer Technology is an easily accessible introduction to the architecture of computers and peripherals. This textbook clearly and completely explains modern computer systems throug……続きを見る
A general formal theory of causal reasoning as a logical study of causal models, reasoning, and inference.
In this book, Alexander Bochman presents a general formal theory of causal reasoning as a l……続きを見る
First published in 2001. The classical Fourier transform is one of the most widely used mathematical tools in engineering. However, few engineers know that extensions of harmonic analysis to functio……続きを見る
This textbook gives a systematized and compact summary, providing the most essential types of modern models for languages and computation together with their properties and applications. Most of the……続きを見る
This book provides a multidisciplinary overview to the application of high order derivative spectrophotometry and Electron Spin Resonance (ESR) spectroscopy in biology and ecology. The characteristi……続きを見る
This is the first book devoted to the task of computing integrability structures by computer. The symbolic computation of integrability operator is a computationally hard problem and the book covers……続きを見る
Aus dem Alltag eines digitalen Ersthelfers
Der IT-Sicherheitsexperte Alexander Dörsam entführt Sie mit seinem Buch in die spannende Welt von Hacking, Unternehmenserpressung, Spionage und digitalem V……続きを見る
An accessible primer, Electronic Health Record: A Systems Analysis of the Medications Domain introduces the tools and methodology of Structured Systems Analysis as well as the nuances of the Medicat……続きを見る
This book focusses on power quality improvement and enhancement techniques with aid of intelligent controllers and experimental results. It covers topics ranging from the fundamentals of power quali……続きを見る
Invention problem solving is connected to essential expenses of labour and time, which is spent on the procedures of search and ordering of necessary knowledge, on generation of probable variants of……続きを見る