The asymmetric multitype contact process

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

The Dependent Object Type (DOT) calculus was designed to put Scala on a sound basis, but while DOT relies on structural subtyping, Scala is a fundamentally class-based language. This impedance mismatch means that a proof of DOT soundness by itself is ...

Data redundancy has been one of the most important problems in data-intensive applications such as data mining and machine learning. Removing data redundancy brings many benefits in efficient data updating, effective data storage, and error-free query proc ...

The mortar finite element method is a well-established method for the numerical solution of partial differential equations on domains displaying non-conforming interfaces. The method is known for its application in computational contact mechanics. However, ...

This paper deals with the mathematical model that describes the function of the human heart. More specifically, it addresses the equations that express the electromechanical process, that is the mechanical deformation (contraction and relaxation) of the he ...

We consider integer programming problems in standard form max{c(T)x : Ax = b, x >= 0, x is an element of Z(n)} where A is an element of Z(mxn), b is an element of Z(m), and c is an element of Z(n). We show that such an integer program can be solved in time ...

In this article, we consider the use of barrier functions as a regularizing cost in economic model predictive control (EMPC). We focus on a specific variant, EMPC with generalized terminal constraints (G-EMPC), as it is suitable for tackling large-scale pr ...

The asymmetric multitype contact process

Chattez avec Graph Search

Type-Preserving Compilation of Class-Based Languages

Validating functional redundancy with mixed generative adversarial networks

The INTERNODES method for applications in contact mechanics and dedicated preconditioning techniques

Mathematical and numerical models for the cardiac electromechanical function

Proximity Results and Faster Algorithms for Integer Programming Using the Steinitz Lemma

Regularized economic model predictive control with barrier functions