Related papers: Computable Integrability
The aim of this textbook is to bridge in regard of quantum computation what proves to be a considerable threshold even to the usual science trained readership between the level of science popularization, and on the other hand, the presently…
Computability logic is a formal theory of computability. The earlier article "Introduction to cirquent calculus and abstract resource semantics" by Japaridze proved soundness and completeness for the basic fragment CL5 of computability…
We provide a tutorial introduction to reachability computation, a class of computational techniques that exports verification technology toward continuous and hybrid systems. For open under-determined systems, this technique can sometimes…
This monograph, written for educational purposes, serves as an introduction to the concept of integrability as it applies to systems of differential equations (both ordinary and partial) as well as to vector-valued fields. The general cases…
This article presents a survey of computability logic: its philosophy and motivations, main concepts and most significant results obtained so far. A continuously updated online version of this article is maintained at…
This is a textbook on Fourier Series, suitable for both undergraduate and graduate courses. The textbook is endowed with exercises, and full solutions are provided at the end of the book.
The sustainability impacts of ICT systems are difficult to assess and govern due to structural complexity, fragmented measurement practices, and unclear responsibilities across system layers. We argue that these challenges cannot be…
Several philosophical issues in connection with computer simulations rely on the assumption that results of simulations are trustworthy. Examples of these include the debate on the experimental role of computer simulations \cite{Parker2009,…
Readability assessment is the task of evaluating the reading difficulty of a given piece of text. Although research on computational approaches to readability assessment is now two decades old, there is not much work on synthesizing this…
This book is divided into two parts. In the first part we give an elementary introduction to computational physics consisting of 21 simulations which originated from a formal course of lectures and laboratory simulations delivered since…
We present here our introduction to the contributed volume "Quantum Theory: Informational Foundations and Foils", Springer Netherlands (2016). It highlights recent trends in quantum foundations and offers an overview of the contributions…
This is a draft version of an invited article for a forthcoming book `The genesis of Langlands Program', eds. Julia Mueller and Freydoon Shahidi, which will be published in the London Mathematics Society Lecture Notes Series. It gives a…
Contracts are an essential and fundamental component of commerce and society, serving to clarify agreement between multiple parties. While digital technologies have helped to automate many activities associated with contracting, the…
We present first scientific results, technical details and recent developments in the Estonian Grid. Ideas and concepts behind Grid technology are described. We mention some most crucial parts of a Grid system, as well as some unique…
This is a draft version of Part II of a three-part textbook on quantum field theory.
This book consists of the chapters describing novel approaches to integrating fault tolerance into software development process. They cover a wide range of topics focusing on fault tolerance during the different phases of the software…
This guide is proposed as an operational instrument for CONFRASIE member universities (Regional Rectors' Conference of AUF member institutions in Pacific-Asia) in their projects to set up a blended learning system for bachelor's, Master's…
This is an expanded version of the lecture notes for a minicourse that I gave at a summer school called "Advanced Course on Geometry and Dynamics of Integrable Systems" at CRM Barcelona, 9--14/September/2013. In this text we study the…
In this paper, we examine matching models with imperfectly transferable utility (ITU). We provide motivating examples, discuss the theoretical foundations of ITU matching models and present methods for estimating them. We also explore…
Although a standard in natural science, reproducibility has been only episodically applied in experimental computer science. Scientific papers often present a large number of tables, plots and pictures that summarize the obtained results,…