Publications associées à Vérification de modèles

A parameter-free mechanistic model of the adhesive wear process of rough surfaces in sliding contact

Jean-François Molinari, Tobias Brink, Lucas Henri Galilée Frérot

In order to develop predictive wear laws, relevant material parameters and their influence on the wear rate need to be identified. Despite decades of research, there is no agreement on the mathematical form of wear equations and even the simplest models, s ...

2021

Non-Hermitian time evolution: From static to parametric instability

Romain Christophe Rémy Fleury, Aleksi Antoine Bossart

Eigenmode coalescence imparts remarkable properties to non-Hermitian time evolution, culminating in a purely non-Hermitian spectral degeneracy known as an exceptional point (EP). Here, we revisit time evolution around EPs, looking at both static and period ...

2021

User Guidance for Efficient Fact Checking

Quoc Viet Hung Nguyen, Thành Tâm Nguyên

The Web constitutes a valuable source of information. In recent years, it fostered the construction of large-scale knowledge bases, such as Freebase, YAGO, and DBpedia. The open nature of the Web, with content potentially being generated by everyone, howev ...

2019

User Guidance for Efficient Fact Checking

Thanh Trung Huynh, Quoc Viet Hung Nguyen, Thành Tâm Nguyên

ASSOC COMPUTING MACHINERY2019

On the triggerless onset of 2/1 neoclassical tearing modes in TCV

Olivier Sauter, Federico Alberto Alfredo Felici, Antoine Pierre Emmanuel Alexis Merle, Mengdi Kong

Triggerless

2/1

neoclassical tearing modes (NTMs), i.e.

2/1

NTMs that originate from unstable safety factor profiles (with positive classical stability index at zero island width, i.e.

\Delta'_0>0

) and saturate neoclassically under the effect of pert ...

IOP2019

Performance Contracts for Software Network Functions

George Candea, Solal Vincenzo Pirelli, Arseniy Zaostrovnykh, Rishabh Ramesh Iyer, Luis David Figueiredo Mascarenhas Moreira Pedrosa

Software network functions (NFs), or middleboxes, promise flexibility and easy deployment of network services but face the serious challenge of unexpected performance behaviour. We propose the notion of a performance contract, a construct formulated in ter ...

USENIX ASSOC2019

From Uncertainty Data to Robust Policies for Temporal Logic Planning

Maryam Kamgarpour, Tony Alan Wood

We consider the problem of synthesizing robust disturbance feedback policies for systems performing complex tasks. We formulate the tasks as linear temporal logic specifications and encode them into an optimization framework via mixed-integer constraints. ...

ACM2018

Coordinate Descent with Bandit Sampling

Patrick Thiran, Laura Elisa Celis, Farnood Salehi

Coordinate descent methods usually minimize a cost function by updating a random decision variable (corresponding to one coordinate) at a time. Ideally, we would update the decision variable that yields the largest decrease in the cost function. However, f ...

NEURAL INFORMATION PROCESSING SYSTEMS (NIPS)2018

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.

On the triggerless onset of 2/1 neoclassical tearing modes in TCV

Olivier Sauter, Federico Alberto Alfredo Felici, Antoine Pierre Emmanuel Alexis Merle, Mengdi Kong

Triggerless

2/1

neoclassical tearing modes (NTMs), i.e.

2/1

NTMs that originate from unstable safety factor profiles (with positive classical stability index at zero island width, i.e.

\Delta'_0>0

) and saturate neoclassically under the effect of pert ...

IOP2019

Vérification de modèles

A parameter-free mechanistic model of the adhesive wear process of rough surfaces in sliding contact

Non-Hermitian time evolution: From static to parametric instability

User Guidance for Efficient Fact Checking

User Guidance for Efficient Fact Checking

The AKLT Model on a Hexagonal Chain is Gapped

Formal Analysis of Human-Assisted Smart City Emergency Services

On the triggerless onset of 2/1 neoclassical tearing modes in TCV

Performance Contracts for Software Network Functions

From Uncertainty Data to Robust Policies for Temporal Logic Planning

Coordinate Descent with Bandit Sampling

Graph Chatbot

Chattez avec Graph Search

A parameter-free mechanistic model of the adhesive wear process of rough surfaces in sliding contact

Non-Hermitian time evolution: From static to parametric instability

Formal Analysis of Human-Assisted Smart City Emergency Services

Performance Contracts for Software Network Functions

From Uncertainty Data to Robust Policies for Temporal Logic Planning

Coordinate Descent with Bandit Sampling

User Guidance for Efficient Fact Checking

User Guidance for Efficient Fact Checking

The AKLT Model on a Hexagonal Chain is Gapped

On the triggerless onset of 2/1 neoclassical tearing modes in TCV