Related papers: The Work of John Tate
We introduce a formulation of combined systems in orthodox non-relativistic quantum mechanics, mathematically equivalent to the usual one. For context and larger issues, see http://euclid.unh.edu/~jjohnson/axiomatics.html and…
The purpose of this work is to study in the case of function fields and rank-$n$, certain correspondences associated with Jacobi sums in a Coleman's work.
The following annotated bibliography contains a reasonably complete survey of contemporary work in the philosophy of astrophysics. Spanning approximately forty years from the early 1980s to the present day, the bibliography should help…
The authors are doing the readers of Statistical Science a true service with a well-written and up-to-date overview of boosting that originated with the seminal algorithms of Freund and Schapire. Equally, we are grateful for high-level…
This a slightly expended version of my habilitation thesis, which is an overview of my research activities during the last 4 years, written in a rather informal style.
This is the second chapter in our "Toric Topology" book project. Further chapters are coming. Comments and suggestions are very welcome.
This paper presents Abduction and Argumentation as two principled forms for reasoning, and fleshes out the fundamental role that they can play within Machine Learning. It reviews the state-of-the-art work over the past few decades on the…
A project (e.g., writing a collaborative research paper) is often a group effort. At the end, each contributor identifies their contribution, often verbally. The reward, however, is very frequently financial. It leads to the question of…
We give an introduction to the topics of our forthcoming work, in which we introduce and study new mathematical objects which we call "higher theories" of algebras, where inspiration for the term comes from William Lawvere's notion of…
William Tait and Peter Koellner have written on the topic of which reflection principles are intrinsically justified. Phillip Welch and Sam Roberts have recently sought to motivate much stronger reflection principles. This work also had…
It is demonstrated that remarks and criticism in work [1] (arXiv:1005.2436 nucl-th) have resulted from inattentive reading of work [2] (Phys. Rev.C 81, 035501 (2010)) or just some misunderstanding and do not influence conclusions of work…
{\bf Abstract.} The present article is an essay about mathematical intuition and Artificial intelligence (A.I.), followed by a guided excursion to a well-known open problem. It has two objectives. The first is to reconcile the way of…
Automated planning is a prominent area of Artificial Intelligence, and an important component for intelligent autonomous agents. A cornerstone of domain-independent planning is the separation between planning logic, i.e. the automated…
This is the talk of the second author at the meeting "Topological Methods in Physical Sciences", London, November 2000. We review our work on KZB equations.
In this paper we intend to connect two different strands of research concerning the origin of what I shall loosely call "formal" ideas: firstly, the relation between logic and rhetoric - the theme of the 2006 Cambridge conference to which…
Background: This invited paper is the result of an invitation to write a retrospective article on a "TSE most influential paper" as part of the journal's 50th anniversary. Objective: To reflect on the progress of software engineering…
a 10-page biography of Raoul Bott followed by a 25-page discussion of his major papers
Predicting the future state of a system has always been a natural motivation for science and practical applications. Such a topic, beyond its obvious technical and societal relevance, is also interesting from a conceptual point of view.…
The crisis in the reproducibility of experiments invites a re-evaluation of methods of inquiry and validation procedures. The text challenges current assumptions of knowledge acquisition and introduces G-complexity for defining decidable…
The paper introduces in a new although maybe unusual form the examples of types provided by J. von Neumann and F.J. Murray in their outstanding papers on algebraic factorization (1936-1943)pursuing three main aims: speculating about the…