Related publications (120)

Succinct ordering and aggregation constraints in algebraic array theories

Viktor Kuncak, Rodrigo Raya

We discuss two extensions to a recently introduced theory of arrays, which are based on considerations coming from the model theory of power structures. First, we discuss how the ordering relation on the index set can be expressed succinctly by referring t ...
Elsevier Science Inc2024

Experimental and ab initio derivation of interface stress in nanomultilayered coatings: Application to immiscible Cu/W system with variable in-plane stress

Pandula Manura Liyanage, Claudia Cancellieri, Giacomo Lorenzin

Interface stress is a fundamental descriptor for interphase boundaries and is defined in strict relation to the interface energy. In nanomultilayers with their intrinsically high interface density, the functional properties are dictated by the interface st ...
Elsevier2024

Combinatory Array Logic with Sums

Rodrigo Raya

We prove an NP upper bound on a theory of integer-indexed integer-valued arrays that extends combi- natory array logic with an ordering relation on the index set and the ability to express sums of elements. We compare our fragment with seven other fragment ...
2023

Shafranov shift correction to the Furth-Yoshikawa scaling of tokamak adiabatic compression

Olivier Sauter

In 1970, Furth and Yoshikawa (1970 Phys. Fluids 13 2593-6) introduced the scalings of adiabatic plasma compression. Basically, if the shape of the external plasma boundary and the aspect ratio are preserved during the compression, then the density, kinetic ...
IOP Publishing Ltd2023

Inkjet printed dielectric elastomer actuators for facial reconstruction

The LAI-CAM lab is investigating dielectric elastomer actuators (DEAs) as artificial muscles for facial reconstruction. As a matter of fact, DEA and muscles both share a linear relation between applied current and elongation although muscles contract under ...
2023

Harmonic decomposition of the trace of 1D transfer matrices in layered media

Antonio Joaquin Garcia Suarez

The Transfer Matrix formalism is ubiquitous when it comes to study wave propagation in various stratified media, applications ranging from Seismology to Quantum Mechanics. A relation between variables at two points in two different layers can be establishe ...
2022

Transformations silencieuses : étude sur l'architecture alpine

Patrick Giromini

This thesis addresses the question of abandonment in architecture, not in its negative sense of desertion, but as a possibility offered to buildings which have lost their original purpose, which is to say those buildings from social and economic contexts w ...
EPFL2021

Virtual reality to assess visual attraction and perceived interest to daylit scene variations

Marilyne Andersen, Caroline Karmann, Bahar Aydemir, Kynthia Chamilothori

Façades and light pattern composition have been shown to influence the spatial experience and physiological responses of humans [1,2]. The present study examines the effect of sunlight penetration and window size on fixations to the floor of the scene, and ...
2021

An ecohydrological journey of 4500 years reveals a stable but threatened precipitation–groundwater recharge relation around Jerusalem

Gabriele Manoli

Groundwater is a key water resource in semiarid and seasonally dry regions around the world, which is replenished by intermittent precipitation events and mediated by vegetation, soil, and regolith properties. Here, a climate reconstruction of 4500 years f ...
2021

Shannon entropy and degree of polarization of a speckle pattern

Abhijit Roy

The dependence of the Shannon entropy (SE) of a speckle pattern on the degree of polarization (DoP) of the pattern is investigated both experimentally and numerically. The superposition of two uncorrelated speckle patterns with polarization diversity is ut ...
OPTICAL SOC AMER2021

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.