Related papers: Analytical history
Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have…
Despite explainable AI (XAI) has recently become a hot topic and several different approaches have been developed, there is still a widespread belief that it lacks a convincing unifying foundation. On the other hand, over the past…
We use the notion of topological data analysis to compare metrics on data sets. We provide two different motivating examples for this. The first of these is a point cloud data set that has $\mathbb{R}^2$ as its ambient space, and is…
We provide a new solution to the long-standing problem of inferring causality from observations without modeling the unknown mechanisms. We show that the evolution of any dynamical system is related to a predictive asymmetry that quantifies…
Developing and organizing new knowledge is a core activity for scholars. Recently, ontologies have been introduced as an approach for organizing knowledge. However, most ontologies do not readily support the development and organization of…
Recently, importance of meta-analysis is increasing in the field of dentistry, since it is not easy to settle controversies arising from conflicting studies. Meta-analysis is the statistical method of combining results from two or more…
Telescope and detector developments continuously enable deeper and more detailed studies of astronomical objects. Larger collecting areas, improvement in dispersion and detector techniques, and higher sensitivities allow detection of more…
Detailed characterization of an extrasolar planet's atmosphere provides the best hope for distinguishing the makeup of its outer layers, and the only hope for understanding the interplay between initial composition, chemistry, dynamics &…
There has been a recent resurgence in the area of explainable artificial intelligence as researchers and practitioners seek to make their algorithms more understandable. Much of this research is focused on explicitly explaining decisions or…
In earlier centuries kings and governments employed astrologists to help them take the best decisions. Present-day governments no longer employ astrologists but still have no clear analytical tool to replace them. Over the past two decades…
Asymmetric combination of logics is a formal process that develops the characteristic features of a specific logic on top of another one. Typical examples include the development of temporal, hybrid, and probabilistic dimensions over a…
Algorithms for learning database queries from examples and unique characterisations of queries by examples are prominent starting points for developing automated support for query construction and explanation. We investigate how far recent…
Astrobiology is the field of science devoted to searching for life elsewhere in the Universe. It is inherently interdisciplinary, integrating results from multiple fields of science, and in this respect has strong synergies with 'big…
We attempt to provide a comprehensive model of evolution of science across millennia taking into account the contributions of other intellectual traditions, cultural value system and increasing in sophistication of humans in their study of…
Testing for causation, defined as the preceding impact of the past values of one variable on the current value of another one when all other pertinent information is accounted for, is increasingly utilized in empirical research of the…
The scientific method is the cornerstone of human progress across all branches of the natural and applied sciences, from understanding the human body to explaining how the universe works. The scientific method is based on identifying…
Identifying temporal relations between events is an essential step towards natural language understanding. However, the temporal relation between two events in a story depends on, and is often dictated by, relations among other events.…
Algorithmic statistics considers the following problem: given a binary string $x$ (e.g., some experimental data), find a "good" explanation of this data. It uses algorithmic information theory to define formally what is a good explanation.…
The deep learning revolution has spurred a rise in advances of using AI in sciences. Within physical sciences the main focus has been on discovery of dynamical systems from observational data. Yet the reliability of learned surrogates and…
Separatism is examined in a long-run perspective. Accordingly, many political or economic factors which may be crucial in dealing with short-term episodes can be safely disregarded. Extending an approach pioneered by J. Jenkins, the paper…