Related papers: Effective results in the three-dimensional minimal…

This paper presents the status of the APEmille project, which is essentially completed, as far as machine development and construction is concerned. Several large installations of APEmille are in use for physics production runs leading to…

We provide new families of minimal codes in any characteristic. Also, an inductive construction of minimal codes is presented.

We apply recently proposed regional predictive control approaches to several examples to evaluate their efficiency. We present numerical results as well as hardware-in-the-loop (HIL) results.

Accurate physical modeling with 3D-printing techniques could lead to new approaches to study structure and dynamics of biological systems complementing computational methods. Computational biology has become an important part of research…

Many complex engineering systems consist of multiple subsystems that are developed by different teams of engineers. To analyse, simulate and control such complex systems, accurate yet computationally efficient models are required. Modular…

In this paper, we provide a detailed survey of 3D Morphable Face Models over the 20 years since they were first proposed. The challenges in building and applying these models, namely capture, modeling, image formation, and image analysis,…

In the past year, Multimodal Large Language Models (MLLMs) have demonstrated remarkable performance in tasks such as visual question answering, visual understanding and reasoning. However, the extensive model size and high training and…

This position paper provides an interim summary on the goals and current state of our ongoing research project on semantic model differencing for software evolution. We describe the basics of semantic model differencing, give two examples…

I give a brief review of the parton model.

We provide an up-to-date review of the recent constructive program for field theories of the vector, matrix and tensor type, focusing not on the models themselves but on the mathematical tools used.

Deep learning has received extensive research interest in developing new medical image processing algorithms, and deep learning based models have been remarkably successful in a variety of medical imaging tasks to support disease detection…

In this note we briefly review some recent results of the authors on the topological and geometrical properties of 3-cosymplectic manifolds.

Organizations that develop software have recognized that software process models are particularly useful for maintaining a high standard of quality. In the last decade, simulations of software processes were used in several settings and…

We introduce a novel camera model for monocular 3D Morphable Model (3DMM) regression methods that effectively captures the perspective distortion effect commonly seen in close-up facial images. Fitting 3D morphable models to video is a key…

This paper considers how a formal mathematically-based model can be used in support of evolutionary software development, and in particular how such a model can be kept consistent with the implementation as it changes to meet new…

I review and discuss a selected sample of recent results in pNRQCD.

In this letter, we propose a novel three-dimensional conceptual model for an emerging service-oriented simulation paradigm. The model can be used as a guideline or an analytic means to find the potential and possible future directions of…

We prove that many of the results of the LMMP hold for $3$-folds over fields of characteristic $p>5$ which are not necessarily perfect. In particular, the existence of flips, the cone theorem, the contraction theorem for birational extremal…

We present a new proof rule for verifying lower bounds on quantities of probabilistic programs. Our proof rule is not confined to almost-surely terminating programs -- as is the case for existing rules -- and can be used to establish…

We employ three numerical methods to explore the motion of low Reynolds number swimmers, modeling the hydrodynamic interactions by means of the Oseen tensor approximation, lattice Boltzmann simulations and multiparticle collision dynamics.…