Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives.
While probabilistic logics in principle might be applied to solve a range of problems, in practice they are rarely applied - perhaps because they seem disparate, complicated, and computationally intractable.
In recent years, deep learning has fundamentally changed the landscapes of a number of areas in artificial intelligence, including speech, vision, natural language, robotics, and game playing.
This book is an introduction to structured and unstructured grid methods in scientific computing, addressing graduate students, scientists as well as practitioners.
Il libro contiene in forma compatta il programma svolto negli insegnamenti introduttivi di Statistica e tratta alcuni argomenti indispensabili per l'attività di ricerca, come le tecniche di simulazione Monte Carlo, i metodi di inferenza statistica, di bestfit e di analisi dei dati di laboratorio.
Dalle origini a oggi, i videogiochi hanno dimostrato di aver acquisito una forte identità espressiva, delineando nuove forme di comunicazione e proponendo l’accesso a nuovi tipi di competenze legate alla sfera digitale dei New Media.
In this book, John Vince has reviewed and edited the third edition and added chapters on statistics, Georg Riemann's hypothesis, eigen vectors, curves, analytic geometry and Fourier analysis.
Computer Science Workbench is a monograph series which will provide you with an in-depth working knowledge of current developments in computer technology.
This book explores minimum divergence methods of statistical machine learning for estimation, regression, prediction, and so forth, in which we engage in information geometry to elucidate their intrinsic properties of the corresponding loss functions, learning algorithms, and statistical models.
Dieses Buch ist entstanden aus einer vom ersten Autor neu konzipierten Vor lesung für Erstsemester der Fächer Informatik und Wirtschaftsinformatik an der Universität Trier.
In the mid-1960's I had the pleasure of attending a talk by Lotfi Zadeh at which he presented some of his basic (and at the time, recent) work on fuzzy sets.
Classical probability theory and mathematical statistics appear sometimes too rigid for real life problems, especially while dealing with vague data or imprecise requirements.
International Association for Statistical Computing The International Association for Statistical Computing (IASC) is a Section of the International Statistical Institute.
George Collins' discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields brought a major breakthrough in automating mathematics with recent important applications in high-tech areas (e.
At a round table discussion on the eukaryotic chromosome sponsor- ed by the Deutsche Forschungsgemeinschaft in Diisseldorf, February 1978, the botanists among the participants felt that plant systems were under-represented.
Experts from university and industry are presenting new technologies for solving industrial problems and giving many important and practicable impulses for new research.
In this volume experts from university and industry are presenting new technologies for solving industrial problems as well as important and practicable impulses for new research.
This book is a collection of selected papers written by researchers qf our "e;RISC"e; institute (Research Institute for Symbolic Computation) along with the ESPRIT MEDLAR Project (Mechanizing Deduction in the Logics of Practical Reason- ing).
For several years now I have been teaching courses in computer algebra at the Universitat Linz, the University of Delaware, and the Universidad de Alcala de Henares.
New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous software environment for scientific computation.
The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal.
