Publications associées à Macro-définition

Type-Preserving Compilation of Class-Based Languages

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

Determining an optimum quantity of interleaved instruction streams of defined coroutines

Anastasia Ailamaki, Georgios Psaropoulos

A method for optimizing memory access for database operations is provided. The method may include performing a first database operation by at least executing a first instruction stream associated with the first database operation. The first database opera ...

2023

Efficient Meso-Scale Modeling of Alkali-Silica-Reaction Damage in Concrete

Ali Falsafi

The alkali-silica reaction (ASR), also known as concrete cancer, is one of the most prevalent causes of concrete degradation. In this chemical reaction, amorphous silica in the aggregates reacts with alkalis in the pore solution. By absorbing water, hydrop ...

EPFL2022

The effects of the tip clearance on the performance of small-scale turbopumps for ORC applications; analysis and modeling

Jürg Alexander Schiffmann, Sajjad Zakeralhoseini

In this paper, the influence of tip clearance on the performance of small-scale turbopumps is studied numerically on extensive parameter ranges suitable for organic Rankine cycle applications. A novel and fully parameterized design model is developed and u ...

Technical University of Munich2021

Reduced-order Models for Simulating Coupled Geometric Instabilities in Steel Beam-columns Under Inelastic Cyclic Straining

Alexander Riley Hartloper

Numerical models that can simulate coupled geometric instabilities in steel beam-columns are required for the seismic assessment of certain steel moment-resisting frames. Reliably simulating coupled instabilities requires that the steel material is precise ...

EPFL2021

Could Macroscopic Dark Matter (Macros) Give Rise to Mini-Lightning Flashes out of a Blue Sky without Clouds?

Farhad Rachidi-Haeri, Marcos Rubinstein

A recent study pointed out that macroscopic dark matter (macros) traversing through the Earth’s atmosphere can give rise to hot and ionized channels similar to those associated with lightning leaders. The authors of the study investigated the possibility t ...

2021

A Novel Macro-Micro Approach for Swimming Analysis in Main Swimming Techniques Using IMU Sensors

Kamiar Aminian, Farzin Dadashi, Mahdi Hamidi Rad, Vincent Gremeaux

Inertial measurement units (IMU) are proven as efficient tools for swimming analysis by overcoming the limits of video-based systems application in aquatic environments. However, coaches still believe in the lack of a reliable and easy-to-use analysis syst ...

FRONTIERS MEDIA SA2021

Stoic: Towards Disciplined Capabilities

Martin Odersky, Nada Amin, Fengyun Liu, Sandro Stucki, Paolo Giosuè Giarrusso

Capabilities are widely used in the design of software systems to ensure security. A system of capabilities can become a mess in the presence of objects and functions: objects may leak capabilities and functions may capture capabilities. They make reasonin ...

2020

A framework to automate the design of digitally-fabricated timber plate structures

Yves Weinand, Nicolas Henry Pierre Louis Rogeau, Aryan Rezaei Rad, Petras Vestartas, Henry V. Burton

The current study uses knowledge from digital architecture, computer science, engineering informatics, and structural engineering to formulate an algorithmic framework for integrated Computer-Aided Design (CAD) and Computer-Aided Engineering (CAE) of Integ ...

2021

Mechanical Characterization of Integrally-Attached Timber Plate Structures: Experimental studies and macro modeling technique

Aryan Rezaei Rad

Spurred by the recent advancements in Computer-Aided Design (CAD), Integral Mechanical Attachment (IMA) technique has been resurrected. Using IMAs, connections between timber elements are established through their form, instead of using additional connecto ...

EPFL2020