Related papers: Completions of period mappings: progress report
Despite staggering growth over the past couple of decades, the concept of the metaverse is still in its early stages. Eventually, it is expected to become a common medium connecting every individual. Considering the complexity of this…
An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up to now, which concerns the formalization of category theory…
The scope of the paper is the theoretical analysis of the time rate in which a dynamical system reaches a stable stationary state or stable oscillations. The method used for the analysis is based on the so-called iterative time profiles,…
Last two decades, the problem of robotic mapping has made a lot of progress in the research community. However, since the data provided by the sensor still contains noise, how to obtain an accurate map is still an open problem. In this…
We summarise some aspects of experiments currently being built or planned, and indulge in wild speculation about possibilities on the more distant horizon.
We delineate the development of a mind-mapping system designed concurrently for both VR and desktop platforms. Employing an iterative methodology with groups of users, we systematically examined and improved various facets of our system,…
Existing depth completion methods are often targeted at a specific sparse depth type and generalize poorly across task domains. We present a method to complete sparse/semi-dense, noisy, and potentially low-resolution depth maps obtained by…
Problems of existence, construction and estimation of parameters of interval colorings of complete k-partite graphs K_{n}^{k} are investigated.
Recently, extensive efforts have been made on the application of expert system technique to solving the process planning task in the machining domain. This paper introduces a new formal method to design CAPP expert systems. The formal…
In this paper, we introduce a generalized piecewise translation map on the Euclidean space. We provide a special case when this map is always of finite type. For a finite type map in this case, we form conjectures on the semi-continuity of…
I review the progress made in recent years with functional methods in our understanding of the QCD phase diagram. In particular I discuss a renormalisation group approach to QCD at finite temperature and chemical potential. Results include…
This is a survey article on distance-squared mappings and related topics.
One-loop integrands can be written in terms of a simple, process-independent basis. We show that a similar basis exists for integrands of phase-space integrals for the real-emission contribution at next-to-leading order. Our demonstration…
This report has two objectives. First, we describe a set of the production distributed infrastructures currently available, so that the reader has a basic understanding of them. This includes explaining why each infrastructure was created…
The aim of this article is to give a rigorous geometric interpretation of the completion of a ring with respect to an ideal. To this end, we define the infinitesimal neighbourhood of an immersion of formal schemes as the largest possible…
A new kind of diagrams is presented, showing the causal structure of bimetric interactions.
We construct in complete intersection's case, elementary currents which describe the local ideal, and give a decomposition in it for holomorphic function.
We give examples of endperiodic automorphisms.
Procurement refers to a process resulting in delivery of goods or services within a set time period. The process includes aspects of purchasing, specifications to be met, and solicitation notifications as in the case of Request For…
Results on $8$-dimensional topological planes are scattered in the literature. It is the aim of the present paper to give a survey of these geometries, in particular of information obtained after the appearance of the treatise Compact…