Concept

Langage formel

Publications associées (140)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Geosciences Roadmap for Research Infrastructures 2025–2028 by the Swiss Geosciences Community

Athanasios Nenes, Horst Vogel, Othmar Müntener, Lukas Baumgartner

This community roadmap presents an integrative approach including the most urgent infrastructure requests for the future development of geosciences in Switzerland. It recommends to strengthen the multidisciplinary nature of the geosciences by putting all a ...

Swiss Academy of Sciences (SCNAT)2021

A unified framework for Hamiltonian deep neural networks

Giancarlo Ferrari Trecate, Clara Lucía Galimberti, Liang Xu

Training deep neural networks (DNNs) can be difficult due to the occurrence of vanishing/explod- ing gradients during weight optimization. To avoid this problem, we propose a class of DNNs stemming from the time discretization of Hamiltonian systems. The t ...

2021

Catalytic Enantioselective Synthesis of Morpholinones Enabled by Aza-Benzilic Ester Rearrangement

Qian Wang, Jieping Zhu, Hua Wu, Yuping He

Chiral morpholinone is an important building block in organic synthesis and a pharmacophore in medicinal chemistry. However, catalytic enantioselective methods for the construction of this N,O-heterocycle remain scarce. We report herein a chiral phosphoric ...

2021

Zippy LL(1) Parsing with Derivatives

Viktor Kuncak, Jad Hamza, Romain Edelmann

In this paper, we present an efficient, functional, and formally verified parsing algorithm for LL(1) context-free expressions based on the concept of derivatives of formal languages. Parsing with derivatives is an elegant parsing technique, which, in the ...

ASSOC COMPUTING MACHINERY2020

Variance-Reduced Stochastic Learning Under Random Reshuffling

Ali H. Sayed, Bicheng Ying, Kun Yuan

Several useful variance-reduced stochastic gradient algorithms, such as SVRG, SAGA, Finito, and SAG, have been proposed to minimize empirical risks with linear convergence properties to the exact minimizer. The existing convergence results assume uniform d ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2020

Formal foundations for GADTs in Scala

GADTs are a very useful language feature that allow encoding some invariants in types. GADT reasoning is currently implemented in Scala and Dotty, but it’s plagued with soundness issues. To get a better understanding of GADTs in Scala, we explore how they ...

2020

Wavelet-Based Moment-Matching Techniques for Inertial Sensor Calibration

Jan Skaloud, Stéphane Guerrier, Mehran Khaghani

The task of inertial sensor calibration has required the development of various techniques to take into account the sources of measurement error coming from such devices. The calibration of the stochastic errors of these sensors has been the focus of incre ...

2020

Wanted: A standard for virtual patent marking

Gaétan Jean A de Rassenfosse, Kyle William Higham

Patent marking is used by patentees to provide a form of notice to the public about the existence of a patent and can increase damages awarded in cases of infringement. Historically, marking is done by listing the associated patents on the product they cov ...

2020

Mass-zero constrained molecular dynamics for electrode charges in simulations of electrochemical systems

Sara Bonella

Classical molecular dynamics simulations have recently become a standard tool for the study of electrochemical systems. State-of-the-art approaches represent the electrodes as perfect conductors, modeling their responses to the charge distribution of elect ...

2020

, ,

Dissection puzzles require assembling a common set of pieces into multiple distinct forms. Existing works focus on creating 2D dissection puzzles that form primitive or naturalistic shapes. Unlike 2D dissection puzzles that could be supported on a tabletop ...

WILEY2019