Publications associées à Théorie complète

Validation of the Critical Shear Crack Theory for punching of slabs without transverse reinforcement by means of a refined mechanical model

Aurelio Muttoni, Miguel Fernández Ruiz, João Tiago Ramos Bernardo de Santa Rita Simões

Despite the intensive efforts dedicated in the last decades to better understanding punching shear failures, there is still no consensus on the mechanics governing this phenomenon and on how to implement it within a physical approach. In this paper, an ana ...

2018

Cognitive mechanism in synchronized motion: An internal predictive model for manual tracking control

Aude Billard, Mahdi Khoramshahi, Ashwini Shukla

Many daily tasks involve spatio-temporal coordination between two agents. Study of such coordinated actions in human-human and human-robot interaction has received increased attention of late. In this work, we use the mirror paradigm to study coupling of h ...

2014

Mathematical modelling of active contraction in isolated cardiomyocytes

Alfio Quarteroni, Ricardo Esteban Ruiz Baier, Simone Rossi, Aymen Laadhari

We investigate the interaction of intracellular calcium spatio-temporal variations with the self-sustained contractions in cardiac myocytes. A consistent mathematical model is presented considering a hyperelastic description of the passive mechanical prope ...

Oxford University Press2014

A Verification Toolkit for Numerical Transition Systems

Viktor Kuncak, Hossein Hojjat

This paper presents a publicly available toolkit and a benchmark suite for rigorous verification of Integer Numerical Transition Systems (INTS), which can be viewed as control-flow graphs whose edges are annotated by Presburger arithmetic formulas. We pres ...

2012

Mixed-domain system representation using Volterra series

Martin Hasler

Mixed-signal systems combine analog and digital signal processing in one overall design that should be integrated as a single system on chip. At system level, the separation into isolated subsystem representations for analog and digital parts needs to be o ...

IEEE2008

Variational study of strongly correlated electronic models

Cédric Weber

The discovery of high-Tc superconductivity in the cuprates, and the observation that strong correlations are important in connection with these compounds has led to a tremendous interest in understanding the physics of strongly correlated electronic models ...

EPFL2007