Publications associées à Representation of Medical Guidelines with a Computer Interpretable Model

Koopman-based Data-driven Robust Control of Nonlinear Systems Using Integral Quadratic Constraints

This paper introduces a novel method for data-driven robust control of nonlinear systems based on the Koopman operator, utilizing Integral Quadratic Constraints (IQCs). The Koopman operator theory facilitates the linear representation of nonlinear system d ...

2024

The autism susceptibility kinase, TAOK2, phosphorylates eEF2 and modulates translation

Nagammal Neelagandan

Genes implicated in translation control have been associated with autism spectrum disorders (ASDs). However, some important genetic causes of autism, including the 16p11.2 microdeletion, bear no obvious connection to translation. Here, we use proteomics, g ...

Amer Assoc Advancement Science2024

Dense Image-based Predictions for Comics Analysis

Deblina Bhattacharjee

Dense image-based prediction methods have advanced tremendously in recent years. Their remarkable development has been possible due to the ample availability of real-world imagery. While these methods work well on photographs, their abilities do not genera ...

EPFL2023

Opportunities, Challenges, and Pitfalls in Making, Characterizing, and Understanding Polymer Brushes

Harm-Anton Klok

Polymer brushes have been theoretically described, their behavior under diverse conditions has been modeled, and their preparation via surface-initiated polymerizations (SIPs) has been progressively refined. However, despite three decades of research endea ...

American Chemical Society2023

Price Discrimination with Robust Beliefs

Thomas Alois Weber, Jun Han

This paper considers the problem of second-degree price discrimination when the type distribution is unknown or imperfectly specified by means of an ambiguity set. As robustness measure we use a performance index, equivalent to relative regret, which quant ...

2023

Transformer Models for Vision

Jean-Baptiste Francis Marie Juliette Cordonnier

The recent developments of deep learning cover a wide variety of tasks such as image classification, text translation, playing go, and folding proteins. All these successful methods depend on a gradient-based learning algorithm to train a model on massive ...

EPFL2023

Improving Standard-Cell Design Flow using Factored Form Optimization

Giovanni De Micheli, Alessandro Tempia Calvino

Factored form is a powerful multi-level representation of a Boolean function that readily translates into an implementation of the function in CMOS technology. In particular, the number of literals in a factored form correlates strongly with the number of ...

IEEE2023

Writing and Drawing Inventions: Patents and Technology in France and the United States (18th-19th centuries)

Jérôme Baudry

Description (through texts, images, models or samples) played a central role in the patent regimes that emerged in the eighteenth century, first in England, later in the United States and in France. Description ensured that the contract—protection in excha ...

2023

Neural Distributed Image Compression with Cross-Attention Feature Alignment

Ali Garjani

We consider the problem of compressing an information source when a correlated one is available as side information only at the decoder side, which is a special case of the distributed source coding problem in information theory. In particular, we consider ...

IEEE COMPUTER SOC2023

Complexation Strategies towards Challenging Group 9 Metal Cyclopentadienyl Scaffolds

Aragorn Nathan Laverny

Cyclopentadienyl (Cp) metal complexes and their chiral counterparts (CpX) have enabled the development of challenging C-H activation transformations. While major progresses were made in developing new chiral CpX complexes and exploring their reactivity, th ...

EPFL2023

Biochemistry of Aminoacyl tRNA Synthetase and tRNAs and Their Engineering for Cell-Free and Synthetic Cell Applications

Sebastian Maerkl, Ragunathan Bava Ganesh

Cell-free biology is increasingly utilized for engineering biological systems, incorporating novel functionality, and circumventing many of the complications associated with cells. The central dogma describes the information flow in biology consisting of t ...

FRONTIERS MEDIA SA2022

Learning V1 Simple Cells with Vector Representation of Local Content and Matrix Representation of Local Motion

Yufan Ren, Siyuan Huang

This paper proposes a representational model for image pairs such as consecutive video frames that are related by local pixel displacements, in the hope that the model may shed light on motion perception in primary visual cortex (V1). The model couples the ...

ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE2022

A Rapid Translational Immune Response Program in CD8 Memory T Lymphocytes

Linlin Cao

The activation of memory T cells is a very rapid and concerted cellular response that requires coordination between cellular processes in different compartments and on different time scales. In this study, we use ribosome profiling and deep RNA sequencing ...

American Association of Immunologists ; Oxford University Press2022

Overcoming decision paralysis—A digital twin for decision making in energy system design

François Maréchal, Tuong-Van Nguyen, Julia Granacher

The design of efficient energy systems, through the development of new technologies and the improvement of current ones, requires the use of rigorous process synthesis methods for generating and analysing design alternatives. We introduce a digital twin of ...

2022

V-ATPase/TORC1-mediated ATFS-1 translation directs mitochondrial UPR activation in C. elegans

Felix Naef, Kristina Schoonjans, Johan Auwerx, Hao Li, Yang Li, Wen Gao, Xiaoxu Li, Amélia Lalou, Nagammal Neelagandan, Jia Liu, Yuan Liu

To adapt mitochondrial function to the ever-changing intra- and extracellular environment, multiple mitochondrial stress response (MSR) pathways, including the mitochondrial unfolded protein response (UPRmt), have evolved. However, how the mitochondrial st ...

Rockefeller University Press2022

Automated Verification of Network Function Binaries

George Candea, Aikaterini Argyraki, Solal Vincenzo Pirelli

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

USENIX Association2022

Reduced representations of complexes, signals, and multifiltrations

Celia Camille Hacker

The field of computational topology has developed many powerful tools to describe the shape of data, offering an alternative point of view from classical statistics. This results in a variety of complex structures that are not always directly amenable for ...

EPFL2022

Real-Time Nonlinear Model Predictive Control for Fast Mechatronic Systems

Petr Listov

This thesis presents an efficient and extensible numerical software framework for real-time model-based control. We are motivated by complex and challenging mechatronic applications spanning from flight control of fixed-wing aircraft and thrust vector cont ...

EPFL2022

Reduced order modelling of nonaffine problems on parameterized NURBS multipatch geometries

Annalisa Buffa, Pablo Antolin Sanchez, Margarita Chasapi

This contribution explores the combined capabilities of reduced basis methods and IsoGeometric Analysis (IGA) in the context of parameterized partial differential equations. The introduction of IGA enables a unified simulation framework based on a single g ...

2022

On the ‘cultural transfer’ of modern architecture northwards - Akzeptiere: Das Buch und seine Geschichte

Chiara Monterumisi

"Akzeptiere: Das Buch und seine Geschichte" is the latest in-depth contribution by Atli Magnus Seelow, one of several by him on the 1930 Stockholm exhibition and the book accepetera, the 200-page text often referred to as ‘the manifesto of Swedish function ...

2021