Related papers: Absolute intersection motive
The aim of this note is to describe how to compute the intersection multiplicity defined by Jean Pierre Serre.
The collimator system of a particle accelerator must efficiently remove stray particles and provide protection against uncontrolled losses. In this article, the basic design concepts of collimators and some realizations are presented.
The aim of the present article is to establish the connection between the existence of the limit along the normal and an admissible limit at a fixed boundary point for holomorphic functions of several complex variables.
Can we train a machine to detect if another machine has understood a concept? In principle, this is possible by conducting tests on the subject of that concept. However we want this procedure to be done by avoiding direct questions. In…
Intentions are crucial for our practical reasoning. The rational intention obeys some simple logical principles, such as agglomeration and consistency, among others, motivating the search for a proper logic of intention. However, such a…
Let $S$ be a finite set of points in the plane and let $\mathcal{T}(S)$ be the set of intersection points between pairs of lines passing through any two points in $S$. We characterize all configurations of points $S$ such that iteration of…
In previous work with Joost Vennekens I proposed a definition of actual causation that is based on certain plausible principles, thereby allowing the debate on causation to shift away from its heavy focus on examples towards a more…
The purpose of this paper is to introduce the concept of the automatic integration and present a new way of approximating definite integrals using the automatic integration based on an associative algebra with zero divisors.
In order to plan a safe maneuver, self-driving vehicles need to understand the intent of other traffic participants. We define intent as a combination of discrete high-level behaviors as well as continuous trajectories describing future…
In this preliminary note, we will illustrate our ideas on automated mechanisms for termination and non-termination reasoning.
We study the logic of neighbourhood models with pointwise intersection, as a means to characterize multi-modal logics. Pointwise intersection takes us from a set of neighbourhood sets $\mathcal{N}_i$ (one for each member $i$ of a set $G$,…
This note aims at providing a concise and self-contained document that describes a clear and easy-to-understand method, that could be useful for a reader that is approaching the linear-impulsive rendezvous topic for the first time, but that…
This is the second installment in a sequence of articles devoted to "explicit Chabauty-Kim theory" for the thrice punctured line. Its ultimate goal is to construct an algorithmic solution to the unit equation whose halting will be…
We investigate the Hasse principle for complete intersections cut out by a quadric and cubic hypersurface defined over the rational numbers.
"Intrinsic motivation" refers to the capacity for intelligent systems to be motivated endogenously, i.e. by features of agential architecture itself rather than by learned associations between action and reward. This paper views active…
Given a 0-dimensional affine K-algebra R=K[x_1,...,x_n]/I, where I is an ideal in a polynomial ring K[x_1,...,x_n] over a field K, or, equivalently, given a 0-dimensional affine scheme, we construct effective algorithms for checking whether…
It is proved that flatness of an analytic mapping germ from a complete intersection is determined by its sufficiently high jet. As a consequence, one obtains finite determinacy of complete intersections. It is also shown that flatness and…
We study the Chow motive (with rational coefficients) of a hypersurface X in the projective space by using the variety F(X) of l-dimensional planes contained in X. If the degree of X is sufficiently small we show that the primitive part of…
The aim of this paper is to investigate the intersection problem between two linear sets in the projective line over a finite field. In particular, we analyze the intersection between two clubs with eventually different maximum fields of…
Literature involving preferences of artificial agents or human beings often assume their preferences can be represented using a complete transitive binary relation. Much has been written however on different models of preferences. We review…