Related papers: Completions of period mappings: progress report
For random maps, the expected value of the order (i.e. the period of the sequence of compositional iterates) is approximated asymptotically. It is much smaller than the expected value for the product of the cycle lengths.
We make several new contributions to the study of proper holomorphic mappings between balls. Our results include a degree estimate for rational proper maps, a new gap phenomenon for convex families of arbitrary proper maps, and an…
This is a survey of results on random group presentations, and on random subgroups of certain fixed groups. Being a survey, this paper does not contain new results, but it offers a synthetic view of a part of this very active field of…
A precise meaning is given to the notion of continuous iteration of a mapping. Usual discrete iterations are extended into a dynamical flow which is a homotopy of them all. The continuous iterate reveals that a dynamical map is formend by…
We investigate a graphical representation of session invocation interdependency in order to prove progress for the pi-calculus with sessions under the usual session typing discipline. We show that those processes whose associated dependency…
Identifying the specific actions that achieve goals when solving a planning task might be beneficial for various planning applications. Traditionally, this identification occurs post-search, as some actions may temporarily achieve goals…
A rational map between certain specific threefolds is given in an explicit manner.
In this work we construct the $\Co^{\r}$-completion and $\Co^{\l}$-completion of a dynamical system. If $X$ is a flow, we construct canonical maps $X\to \Co^{\r}(X)$ and $X\to \Co^{\l}(X)$ and when these maps are homeomorphism we have the…
In this paper we give some coupled fixed point results for mappings satisfying different contractive conditions on complete partial metric spaces.
We survey algorithms and bounds for constructing planar drawings of graphs in small area.
The paper proposes an image-guided depth completion method to estimate accurate dense depth maps with fast computation time. The proposed network has two-stage structure. The first stage predicts a first depth map. Then, the second stage…
We introduce and study embeddings of graphs in finite projective planes, and present related results for some families of graphs including complete graphs and complete bipartite graphs. We also make connections between embeddings of graphs…
The aim of this paper is to report on recent development on the conformal fractional Laplacian, both from the analytic and geometric points of view, but especially towards the PDE community.
Bifurcations in a system of coupled maps are investigated. Using symbolic dynamics it is proven that for coupled shift maps the well known space--time--mixing attractor becomes unstable at a critical coupling strength in favour of a…
We summarize recent progress in describing the confinement-deconfinement transition from a novel perturbative approach.
We propose a tool-supported methodology for design-space exploration for embedded systems. It provides means to define high-level models of applications and multi-processor architectures and evaluate the performance of different deployment…
The author reports his recollections of what transpired. These may or may not prove consistent with the contributions to be published in the proceedings. Corrections are welcome.
The map-matching is an essential preprocessing step for most of the trajectory-based applications. Although it has been an active topic for more than two decades and, driven by the emerging applications, is still under development. There is…
An iterative map of the unit disc in the complex plane (Appendix) is used to explore certain aspects of selfdual, four dimensional gauge fields (quasi)periodic in the Euclidean time. These fields are characterized by two topological numbers…
This paper provides a brief introduction to the work that aims to apply the achievements within the area of engineering psychology to the area of formal methods, focusing on the specification phase of a system development process.