Publications associées à Complements to Mugge and Friedel's Theory of Twinning

Publications associées (29)

Optical Spatial Dispersion Via Wannier Interpolation

We present a numerical implementation, based on Wannier interpolation, of a Kubo-Greenwood formalism for computing the spatially dispersive optical conductivity in crystals at first order in the wave vector of light. This approach is more efficient than di ...

AMER PHYSICAL SOC2025

Additive Manufacturing of Metal Matrix Composites for Space Applications

Gaëtan Bernard

Titanium-based Metal Matrix Composites (MMCs) offer remarkable mechanical, thermal, and corrosion resistance properties and are of high interest to several industrial sectors, including aerospace. One of the main commercial drawbacks of these materials, wh ...

EPFL2025

When Subtyping Constraints Liberate A Novel Type Inference Approach for First-Class Polymorphism

Lionel Emile Vincent Parreaux, Aleksander Slawomir Boruch-Gruszecki

Type inference in the presence of first-class or "impredicative" second-order polymorphism a la System F has been an active research area for several decades, with original works dating back to the end of the 80s. Yet, until now many basic problems remain ...

Assoc Computing Machinery2024

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

Characterization of low-temperature creep and stress relaxation of an iron-based shape memory alloy (Fe-SMA) using in-situ synchrotron diffraction

Christian Leinenbach, Meet Jaydeepkumar Oza

Iron-based shape memory alloys (Fe-SMAs) are e-merging materials with extensive application in civil structures owing to their unique properties, including the shape memory effect. However, it is crucial to understand the time dependent behavior of Fe-SMAs ...

ELSEVIER SCI LTD2024

Degrees of Separation: A Flexible Type System for Safe Concurrency

Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Yichen Xu

Data races have long been a notorious problem in concurrent programming. They are subtle to detect, and lead to non-deterministic behaviours. There has been a lot of interest in type systems that statically guarantee data race freedom. Significant progress ...

2024

Acoustic emission signature of martensitic transformation in laser powder bed fusion of Ti6Al4V-Fe, supported by operando X-ray diffraction

Roland Logé, Jamasp Jhabvala, Mathijs Pieter van der Meer, Milad Hamidi Nasab, Reza Esmaeilzadeh, Claire Navarre, Charlotte Léopoldine de Formanoir de la Cazerie, Lucas Maximilian Schlenger

This study focuses on investigating Acoustic Emission (AE) monitoring in the Laser Powder Bed Fusion (LPBF) process, using premixed Ti6Al4V-(x wt%) Fe, where x = 0, 3, and 6. By employing a structure-borne AE sensor, we analyze AE data statistically, uncov ...

2024

Randomized methods for computing joint eigenvalues, with applications to multiparameter eigenvalue problems and root finding

Daniel Kressner, Haoze He

It is well known that a family of n×n commuting matrices can be simultaneously triangularized by a unitary similarity transformation. The diagonal entries of the triangular matrices define the n joint eigenvalues of the family. In this work, we consider th ...

2024

Spectral Estimators for High-Dimensional Matrix Inference

Farzad Pourkamali

A key challenge across many disciplines is to extract meaningful information from data which is often obscured by noise. These datasets are typically represented as large matrices. Given the current trend of ever-increasing data volumes, with datasets grow ...

EPFL2024

Excited State-Specific CASSCF Theory for the Torsion of Ethylene

Sandra Saade

State-specific complete active space self-consistent field (SS-CASSCF) theory has emerged as a promising route to accurately predict electronically excited energy surfaces away from molecular equilibria. However, its accuracy and practicality for chemical ...

Amer Chemical Soc2024

Mapping orthorhombic domains with geometrical phase analysis in rare-earth nickelate heterostructures

Duncan Thomas Lindsay Alexander, Bernat Mundet

Most perovskite oxides belong to the Pbnm space group, composed of an anisotropic unit cell, A-site antipolar displacements, and oxygen octahedral tilts. Mapping the orientation of the orthorhombic unit cell in epitaxial heterostructures that consist of at ...

Aip Publishing2024

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

STREAMING TENSOR TRAIN APPROXIMATION

Daniel Kressner

Tensor trains are a versatile tool to compress and work with high-dimensional data and functions. In this work we introduce the streaming tensor train approximation (STTA), a new class of algorithms for approximating a given tensor ' in the tensor train fo ...

Siam Publications2023

Regulation and function of a hemicleaved Activin-A processing intermediate in melanoma

Manon Bulliard

Activin-A is a Transforming Growth Factor-B (TGFB)-related cytokine that regulates various biological processes including cell proliferation and differentiation through autocrine, paracrine or endocrine signaling. Activin-A expression is upregulated in mul ...

EPFL2023

Rank-Adaptive Time Integration Of Tree Tensor Networks

Gianluca Ceruti

A rank-adaptive integrator for the approximate solution of high-order tensor differential equations by tree tensor networks is proposed and analyzed. In a recursion from the leaves to the root, the integrator updates bases and then evolves connection tenso ...

SIAM PUBLICATIONS2023

Corrosion behavior and tribological-microstructural characterization of Al/ZrO2-Gr hybrid composite fabricated via Friction Stir Processing

Seyyedezzatollah Moosavi

The present study investigates the microstructural evolution, tribological properties, and corrosion behavior of hybrid metal matrix composites reinforced by a combination of graphite (Gr) and zirconia (ZrO2) particles fabricated by Friction Stir Processin ...

2023

Low-Rank Tensor Methods for High-Dimensional Problems

Christoph Max Strössner

In this thesis, we propose and analyze novel numerical algorithms for solving three different high-dimensional problems involving tensors. The commonality of these problems is that the tensors can potentially be well approximated in low-rank formats. Ident ...

EPFL2023

Capturing Types

Martin Odersky, Aleksander Slawomir Boruch-Gruszecki

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

Learning Transformations To Reduce the Geometric Shift in Object Detection

Mathieu Salzmann, Martin Pierre Engilberge, Vidit Vidit

The performance of modern object detectors drops when the test distribution differs from the training one. Most of the methods that address this focus on object appearance changes caused by, e.g., different illumination conditions, or gaps between syntheti ...

Ieee Computer Soc2023

Simulation and experimental characterization of VC precipitation and recovery stress formation in an FeMnSi-based shape memory alloy

Christian Leinenbach

In this study, TC-PRISMA was employed to simulate the precipitation (number density and radius) of an FeMnSi-based shape memory alloy (FeMnSi-SMA), with a chemical composition of Fe-17Mn-5Si-10Cr-4Ni-1(V, C) (wt%), during one-step and two-step aging proces ...

2023