Publications associées à Annotating the meaning of discourse connectives by looking at their translation: The translation-spotting technique

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

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

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Association for Computing Machinery2024

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

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

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

Stop Pre-Training: Adapt Visual-Language Models to Unseen Languages

Karl Aberer, Rémi Philippe Lebret, Negar Foroutan Eghlidi

Vision-Language Pre-training (VLP) has advanced the performance of many visionlanguage tasks, such as image-text retrieval, visual entailment, and visual reasoning. The pre-training mostly utilizes lexical databases and image queries in English. Previous w ...

Assoc Computational Linguistics-Acl2023

Type-Preserving Compilation of Class-Based Languages

Guillaume André Fradji Martres

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

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

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

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

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

Formula Normalizations in Verification

Viktor Kuncak, Mario Bucev, Simon Guilloud, Dragana Milovancevic

We propose a new approach for normalization and simplification of logical formulas. Our approach is based on algorithms for lattice-like structures. Specifically, we present two efficient algorithms for computing a normal form and deciding the word problem ...

2023

BMAT: An open-source BIDS managing and analysis tool

Meritxell Bach Cuadra, Benoît Macq, Francesco La Rosa, Maxence Charles F Wynen

Magnetic Resonance Imaging (MRI) is an established technique to study in vivo neurological disorders such as Multiple Sclerosis (MS). To avoid errors on MRI data organization and automated processing, a standard called Brain Imaging Data Structure (BIDS) h ...

ELSEVIER SCI LTD2022

Improved framework to estimate travel time and derived distributions in hydrological control volumes

Mitra Asadollahi

Crossing properties of soil saturation, defined as the duration and excursion of soil saturation below and above certain thresholds, are key variables to ecosystem functioning and evolution by primarily influencing the plant and soil microbes physiological ...

EPFL2022

Scaling Language Features for Program Verification

Georg Stefan Schmid

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

EPFL2022

Dipole polarizability of time-varying particles

Romain Christophe Rémy Fleury, Theodoros Koutserimpas, Mohammad Sajjad Mirmoosa

Invariance under time translation (or stationarity) is probably one of the most important assumptions made when investigating electromagnetic phenomena. Breaking this assumption is expected to open up novel possibilities and result in exceeding conventiona ...

2022

Textual Explanations and Critiques in Recommendation Systems

Diego Matteo Antognini

Artificial intelligence and machine learning algorithms have become ubiquitous. Although they offer a wide range of benefits, their adoption in decision-critical fields is limited by their lack of interpretability, particularly with textual data. Moreover, ...

EPFL2022

Discourse Phenomena in Machine Translation

Lesly Sadiht Miculicich Werlen

Machine Translation (MT) has made considerable progress in the past two decades, particularly after the introduction of neural network models (NMT). During this time, the research community has mostly focused on modeling and evaluating MT systems at the se ...

EPFL2021

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

System for planning and/or providing neuromodulation

Vincent Delattre, Grégoire Courtine, Marco Capogrosso, Fabien Bertrand Paul Wagner, Karen Minassian

The present invention relates to systems and methods for planning and/or providing neuromodulation One example system includesa stimulation related basic data storage module for storing stimulation related basic data,a stimulation related response data sto ...

2021