Multilevel Design Understanding: From Specification to Logic Invited Paper

Related publications (30)

About
Privacy
Disclaimer

Graph Chatbot

Protein target highlights in CASP15: Analysis of models by structure providers

Bruno Lemaitre, Luciano Andres Abriata, Samuel Rommelaere, Kuan-Lin Wu, Han Xiao

We present an in-depth analysis of selected CASP15 targets, focusing on their biological and functional significance. The authors of the structures identify and discuss key protein features and evaluate how effectively these aspects were captured in the su ...

WILEY2023

Specific Gestalt principles cannot explain (un)crowding

Michael Herzog, Oh-Hyeon Choung, Einat Rashal

The standard physiological model has serious problems accounting for many aspects of vision, particularly when stimulus configurations become slightly more complex than the ones classically used, e.g., configurations of Gabors rather than only one or a few ...

2023

Social isolation shortens lifespan through oxidative stress in ants

Alessandro Crespi, Laurent Keller

Social isolation negatively affects health, induces detrimental behaviors, and shortens lifespan in social species. Little is known about the mechanisms underpinning these effects because model species are typically short-lived and non-social. Using coloni ...

Nature Research2023

Entrepreneurial Opportunities and Threats in the Era of Grand Societal Challenges

Enrico Bergamini

We live in an era defined by attempts to grapple with an ever-expanding array of grand societal challenges (GCs). These challenges comprise transformational social and environmental issues, such as environmental degradation and global pandemics, and the cr ...

EPFL2023

Autocatalysis and CO2: Carbon Capture and Utilization (CCU) Meets Natural Processes

Paul Joseph Dyson, Jorge Gustavo Uranga, Martin Hulla, Gabriela Gastelu

Autocatalytic reactions were proposed to play a key role at the beginning of life starting from the first reduction of CO2 to formate, acetate and C-1-C-4 hydrocarbons. In carbon capture and utilization (CCU) processes, the same reactions were demonstrated ...

Wiley-VCH Verlag2023

Rebooting Virtual Memory with Midgard

Siddharth Gupta

Virtual Memory (VM) is a critical programming abstraction that is widely used in various modern computing platforms. With the rise of datacenter computing and birth of planet-scale online services, the semantic and capacity requirements from memory have ev ...

EPFL2023

Understanding the growth mechanism of BaZrS3 chalcogenide perovskite thin films from sulfurized oxide precursors

Anna Fontcuberta i Morral, Elias Zsolt Stutz, Andrea Giunto, Santhanu Panikar Ramanandan, Mirjana Dimitrievska, Iléane Tiphaine Françoise Marie Lefevre

Barium zirconium sulfide (BaZrS3) is an earth-abundant and environmentally friendly chalcogenide perovskite with promising properties for various energy conversion applications. Recently, sulfurization of oxide precursors has been suggested as a viable sol ...

IOP Publishing Ltd2023

TGF beta-mediated MMP13 secretion drives myoepithelial cell dependent breast cancer progression

Cathrin Brisken, Andrea Agnoletto

Ductal carcinoma in situ (DCIS) is a non-obligate precursor of invasive breast cancer. Virtually all women with DCIS are treated, despite evidence suggesting up to half would remain with stable, non-threatening, disease. Overtreatment thus presents a press ...

NATURE PORTFOLIO2023

Functional data analysis with rough sample paths?

Victor Panaretos, Neda Mohammadi Jouzdani

Functional data are typically modeled as sample paths of smooth stochastic processes in order to mitigate the fact that they are often observed discretely and noisily, occasionally irregularly and sparsely. The smoothness assumption is imposed to allow for ...

TAYLOR & FRANCIS LTD2024

Detecting the metabolism of individual yeast mutant strain cells when aged, stressed or treated with antioxidants with diamond magnetometry

Mayeul Sylvain Chipaux

Free radicals play a key role in the ageing process. However, free radicals are small, reactive and short lived and thus challenging to measure. We utilize a new technique called diamond magnetometry for this pur-pose. We make use of nitrogen vacancy cente ...

ELSEVIER SCI LTD2023