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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
