Publications associées à Langage de script

When Subtyping Constraints Liberate A Novel Type Inference Approach for First-Class Polymorphism

Lionel Emile Vincent Parreaux, Aleksander Slawomir Boruch-Gruszecki

Type inference in the presence of first-class or "impredicative" second-order polymorphism a la System F has been an active research area for several decades, with original works dating back to the end of the 80s. Yet, until now many basic problems remain ...

Assoc Computing Machinery2024

Stress granules quantification on fixed and live cells

Francesco Stellacci, Romain Guiet, Xufeng Xu

The custom script was written based on Fiji for measuring the number or size of stress granules inside fixed cells (using a fixed threshold) or live cells (using a local maximum). It allows the batch image data processing for the study of the effects of di ...

Zenodo2023

Periodic and aperiodic NiFe nanomagnet/ferrimagnet hybrid structures for 2D magnon steering and interferometry with high extinction ratio

Dirk Grundler, Sho Watanabe, Andrea Mucchietto, Shixuan Shan, Elif Nur Dayi, Vinayak Shantaram Bhat

File formats are described in read_me files in the concerning folder. For plotting and data evaluation, Python 2.7 was used. Example scripts for plotting are provided. ...

Zenodo2023

Pollution mask for the continuous corrected particle number concentration data in 1 min time resolution measured in the Swiss aerosol container using a whole air inlet during MOSAiC 2019/2020

Julia Schmale, Andrea Baccarini, Ivo Fabio Beck, Hélène Paule Angot

This dataset contains particle number concentrations and a pollution flag in 1 min time resolution. It is derived by the pollution detection algorithm (PDA, doi:10.5281/zenodo.5761101) based on the corrected particle number concentration data of the CPC377 ...

Zenodo2023

Pollution mask for the continuous corrected particle number concentration data in 1 min resolution, measured in the Swiss aerosol container during MOSAiC 2019/2020

Julia Schmale, Ivo Fabio Beck, Andrea Baccarini, Hélène Paule Angot

This dataset contains a pollution flag in 1 min time resolution. It is derived by the pollution detection algorithm (PDA) based on the corrected particle number concentration data (DOI upcoming) measured during the year long MOSAiC expedition from October ...

Zenodo2022

Challenges and Opportunities in Integrating Interactive Chatbots into Code Review Exercises: A Pilot Case Study

Denis Gillet, Juan Carlos Farah, Adrian Christian Holzer

While chatbots are commonly used to support software developers with repetitive tasks, their use in programming education is still limited, particularly for students in non-technical domains. To better understand the potential for chatbots to support progr ...

IATED2022

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

The DCU-EPFL Enhanced Dependency Parser at the IWPT 2021 Shared Task

James Henderson, Alireza Mohammadshahi

We describe the DCU-EPFL submission to the IWPT 2021 Parsing Shared Task: From Raw Text to Enhanced Universal Dependencies. The task involves parsing Enhanced UD graphs, which are an extension of the basic dependency trees designed to be more facilitative ...

ASSOC COMPUTATIONAL LINGUISTICS-ACL2021

Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages

Lionel Emile Vincent Parreaux

Software engineering practices have been steadily moving towards higher-level programming languages and away from lower-level ones. High-level languages tend to greatly improve safety, productivity, and code maintainability because they handle various impl ...

EPFL2020

Inference methods for the study of interacting biological oscillators in single-cells

Colas Noé Droin

Biological oscillators are pervasive in biology, covering all aspects of life from enzyme kinetics reactions to population dynamics. Although their behaviour has been intensively studied in the last decades, the recent advances of high-throughput experimen ...

EPFL2020