Publication

Nonlinear Stability of Riemann Ellipsoids with Symmetric Configurations

Publications associées (22)

3D printed large amplitude torsional microactuators powered by ultrasound

Mahmut Selman Sakar, Mehdi Ali Gadiri, Junsun Hwang, Amit Yedidia Dolev

Here, we introduce a design, fabrication, and control methodology for large amplitude torsional microactuators powered by ultrasound. The microactuators are 3D printed from two polymers with drastically different elastic moduli as a monolithic compliant me ...

2024

Multimodal transcriptomic atlases of mouse spinal cord injury

Matthieu Pierre Gautier

A spinal cord injury (SCI) triggers a cascade of molecular and cellular responses involving inflammatory cell infiltration and cytokine release, apoptosis, demyelination, excitotoxicity, ischemia, and the formation of a fibrotic scar surrounded by an astro ...

EPFL2024

Critical degeneracy in a nonlinear hyperbolic equation can produce atypical instability

Charles Stuart

This paper deals with the initial value problem for a semilinear wave equation on a bounded domain and solutions are required to vanish on the boundary of this domain. The essential feature of the situation considered here is that the ellipticity of the sp ...

2024

Mechanism balancing taxonomy

Simon Nessim Henein, Florent Cosandier, Hubert Pierre-Marie Benoît Schneegans

The balancing of mechanisms consists in distributing their moving masses, inertias, and elastic components in order to achieve key mechanical properties, such as the elimination of the shaking forces and moments exported onto their supporting structure or ...

2023

Strength and timing of primary and secondary vortices generated by a rotating plate

Karen Ann J Mulleners, Diego Francescangeli

Accurate predictions of how vortices grow, evolve, and separate from aerodynamic objects are desirable for various applications ranging from autonomous aerial vehicles to wind turbines. Here, we present an experimental characterisation of the formation pro ...

2023

Capturing Types

Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Ondrej Lhoták

Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CC

Assoc Computing Machinery2023

Between the Pattern and the Type: A short parallel story

Vasileios Chanis

Historically speaking, the notion of the type was reintroduced to the larger architectural discourse as a direct consequence of the crisis of the Modern. The task of revisiting the forms of the past also dictated the return of architectural methods that ha ...

2023

Indentation and stability of woven domes

Pedro Miguel Nunes Pereira de Almeida Reis, Célestin Vallat, Tian Chen, Tomohiko Sano, Samuel Jean Bernard Poincloux

Discrete domes are doubly curved structures comprising a network of beam-like elements. We study the mechanics of discrete domes made of ribbons woven in a pentagonal triaxial pattern. Experiments and finite element simulations are performed to characteriz ...

ELSEVIER2023

Young children can use their subjective straight-ahead to remap visuo-motor alterations

Jenifer Cléa Miehlbradt, Davide Esposito

Young children and adults process spatial information differently: the former use their bodies as primary reference, while adults seem capable of using abstract frames. The transition is estimated to occur between the 6th and the 12th year of age. The mech ...

Nature Portfolio2023

Type-Preserving Compilation of Class-Based Languages

Guillaume André Fradji Martres

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

EPFL2023