Concept

Literal translation

Related publications (95)

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.

Formal Verification of Rust with Stainless

Writing correct software is hard, yet in systems that have a high failure cost or are not easily upgraded like blockchains, bugs and security problems cannot be tolerated. Therefore, these systems are perfect use cases for formal verification, the task of ...

2021

Wnt signaling plays a key role in neurodevelopment and neuronal maturation. Specifically, Wnt5a stimulates postsynaptic assemblies, increases glutamatergic neurotransmission and, through calcium signaling, generates nitric oxide (NO). Trying to unveil the ...

NATURE RESEARCH2021

Sommerfeld Integrals and Their Relation to the Development of Planar Microwave Devices

Krzysztof Michalski

This paper deals with the mathematical expressions called Sommerfeld integrals. Introduced by A. Sommerfeld in 1909, they are mathematically equivalent to inverse Hankel transforms. The original historical goal of these integrals was to provide an accurate ...

Piscataway2021

, ,

Oscillator system (1) comprising:- a substantially planar frame (3);- a first sub-oscillator (5), a second sub-oscillator (7), a third sub-oscillator (9), and a fourth sub-oscillator (11), each sub-oscillator (5, 7, 9, 11) comprising a substantially rigid ...

2020

Innovation, industry and firm age: are there new knowledge production functions?

Gabriele Pellegrino

In this paper we investigate how the knowledge production function is at work in different industrial sectors comparing mature and young companies in Italy. We estimate a two-step model using community innovation survey data. We provide evidence that young ...

SPRINGER HEIDELBERG2020

On the Limitations of Cross-lingual Encoders as Exposed by Reference-Free Machine Translation Evaluation

Robert West, Maxime Jean Julien Peyrard, Yang Gao, Wei Zhao

Evaluation of cross-lingual encoders is usually performed either via zero-shot cross-lingual transfer in supervised downstream tasks or via unsupervised cross-lingual textual similarity. In this paper, we concern ourselves with reference-free machine trans ...

ASSOC COMPUTATIONAL LINGUISTICS-ACL2020

Lieu hologrammatique, un concept et une méthodologie complexe de mesure de l'organisation spatiale des réalités sociales

Thibault Pierre Louis Romany

The urban is a complex phenomenon whose exploration remains a important scientific challenge. Choosing complex thought in order to renew our capacities for understanding and action on and with the urban is not trivial. The complex thought developed by Edga ...

EPFL2020

High-throughput microfluidic platforms for characterizing and engineering cell-free gene regulatory circuits

Zoe Newell Swank

Cell-free systems have emerged as a versatile platform for constructing complex biological systems from the bottom-up. In particular, they enable the rapid engineering and characterization of gene regulatory networks, a critical cellular subsystem that all ...

EPFL2020

The onset of cardiovascular disease in mice: an image-based, computational-experimental approach

Lydia Aslanidou

In a number of cardiovascular diseases, the paucity of longitudinal human data hinders our understanding of disease evolution and forestalls the discovery of new therapeutic strategies. We therefore heavily rely on animal models to elucidate the mechanisms ...

EPFL2019

Distribution of the ribosome associated endonuclease Rae1 and the potential role of conserved amino acids in codon recognition

Jérémie Piton

We recently identified a novel ribonuclease in Bacillus subtilis called Rae1 that cleaves mRNAs in a translation-dependent manner. Rae1 is a member of the NYN/PIN family of ribonucleases and is highly conserved in the Firmicutes, the Cyanobacteria and the ...

TAYLOR & FRANCIS INC2018