This book presents a selection of papers presented to the Second Inter- national Symposium on Semi-Markov Models: Theory and Applications held in Compiegne (France) in December 1998.
The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications.
From the 'punctuated equilibrium' of Eldrege and Gould, through Lewontin's 'triple helix' and the various visions and revisions of the Extended Evolutionary Synthesis (EES) of Laland and others, both data and theory have demanded an opening-up of the 1950's Evolutionary Synthesis that so firmly wedded evolutionary theory to the mathematics of gene frequency analysis.
Already in just a decade of existence, cryptocurrencies have been the world's best-performing financial asset, outperforming stocks, bonds, commodities and currencies.
Since the beginning of the 1980's, a lot of news approaches of biomimetic inspiration have been defined and developed for imitating the brain behavior, for modeling non linear phenomenon, for providing new hardware architectures, for solving hard problems.
Algebra & Geometry: An Introduction to University Mathematics, Second Edition provides a bridge between high school and undergraduate mathematics courses on algebra and geometry.
Lectures on Invariant Subspaces grew out of a series of lectures given gave at the University of Uppsala in the spring of 1962, and again in Berkeley the following semester.
Distributed and peer-to-peer (P2P) applications are increasing daily, and cyberattacks are constantly adopting new mechanisms to threaten the security and privacy of users in these Internet of Things (IoT) environments.
The Star and the Whole: Gian-Carlo Rota on Mathematics and Phenomenology, authored by Fabrizio Palombi, is the first book to study Rota's philosophical reflection.
Fixed point theory in probabilistic metric spaces can be considered as a part of Probabilistic Analysis, which is a very dynamic area of mathematical research.
By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science.
Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione specialistica nella logica.
This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoretical computer science like semantics, programming languages, probabilistic process algebras, modal and dynamic logics and Markov transition systems.
This book is a collection of essays that offer original logical and philosophical investigations into the century-long endeavor to understand paradoxes.
After the pioneering works by Robbins {1944, 1945) and Choquet (1955), the notation of a set-valued random variable (called a random closed set in literatures) was systematically introduced by Kendall {1974) and Matheron {1975).
This totally revised and expanded reference/text provides comprehensive, single-source coverage of the design, problem solving, and specifications of electromagnetic compatibility (EMC) into electrical equipment/systems-including new information on basic theories, applications, evaluations, prediction techniques, and practical diagnostic options for preventing EMI through cost-effective solutions.
Containing data on number theory, encryption schemes, and cyclic codes, this highly successful textbook, proven by the authors in a popular two-quarter course, presents coding theory, construction, encoding, and decoding of specific code families in an "e;easy-to-use"e; manner appropriate for students with only a basic background in mathematics offerin
This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence.
Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general mathematical community as a subject of great intrinsic interest but one that is technically so forbidding that it is only accessible to specialists.
This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC.
While most texts on real analysis are content to assume the real numbers, or to treat them only briefly, this text makes a serious study of the real number system and the issues it brings to light.
Exploring the intersection of ethics and statistics, this comprehensive guide illustrates the proper use of probabilistic and statistical reasoning in the behavioral, social, and biomedical sciences.
In dem Buch erkundet der preisgekrönte Autor John Stillwell die Konsequenzen, die sich ergeben, wenn man die Unendlichkeit akzeptiert, und diese Konsequenzen sind vielseitig und überraschend.
This edited book focuses on concepts and their applications using the theory of conceptual spaces, one of today's most central tracks of cognitive science discourse.
This is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of the field in 1932 in the pioneering work of Alonzo Church.
Hybrid Intelligent Systems summarizes the strengths and weaknesses of five intelligent technologies: fuzzy logic, genetic algorithms, case-based reasoning, neural networks and expert systems, reviewing the status and significance of research into their integration.
