Publications associées à F Sharp

Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations

Agent-based simulations have been widely applied in many disciplines, by scientists and engineers alike. Scientists use agent-based simulations to tackle global problems, including alleviating poverty, reducing violence, and predicting the impact of pandem ...

EPFL2023

Present design of the Steering Mirror Assembly (SMA) for ITER ECHUL

Timothy Goodman, René Chavan, Anastasia Xydou

In the ITER Tokamak, four Electron Cyclotron Heating Upper Launchers (ECHUL) are needed to control plasma instabilities at the rational surfaces, most importantly the q = 3/2 and q = 2/1 neoclassical tearing modes (NTMs). Each ECHUL is equipped with a set ...

2023

Fast in vivo assay of creatine kinase activity in the human brain by P-31 magnetic resonance fingerprinting

Lijing Xin, Daniel Wenz, Mark Stephan Widmaier, Songi Lim

A new and efficient magnetisation transfer P-31 magnetic resonance fingerprinting (MT-P-31-MRF) approach is introduced to measure the creatine kinase metabolic rate kCK

{k}_{\mathrm{CK}}

between phosphocreatine (PCr) and adenosine triphosphate (ATP) i ...

WILEY2023

Non-contact robotic manipulation of floating objects: exploiting emergent limit cycles

Josephine Anna Eleanor Hughes, Nana Obayashi

The study of non-contact manipulation in water, and the ability to robotically control floating objects has gained recent attention due to wide-ranging potential applications, including the analysis of plastic pollution in the oceans and the optimization o ...

Frontiers Media Sa2023

Promoting Computational Thinking Skills in Non-Computer Science Students Gamifying Computational Notebooks to Increase Student Engagement

Denis Gillet, Juan Carlos Farah, Adrian Christian Holzer, Marc Lafuente Martinez, Pascal Felber

Computational thinking (CT) skills are becoming increasingly relevant for future professionals across all domains, beyond computer science (CS). As such, an increasing number of bachelor and masters programs outside of the computer science discipline integ ...

2022

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

Representing Monads with Capabilities

Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Jonathan Immanuel Brachthäuser

Programming with monads can be advantageous even in imperative languages with builtin support for side effects. However, in these languages composing monadic programs is different from composing side effecting imperative programs. This does not need to be ...

2021

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

SIMPLE code: Optical properties with optimal basis functions

Nicola Marzari, Gianluca Prandini, Paolo Umari

We present SIMPLE, a code developed to calculate optical properties of metallic and insulating extended systems using the optimal basis method originally proposed by E.L. Shirley in 1996. Two different approaches for the evaluation of the complex dielectri ...

ELSEVIER SCIENCE BV2019

Finally, a Polymorphic Linear Algebra Language

Amir Shaikhha, Lionel Emile Vincent Parreaux

Many different data analytics tasks boil down to linear algebra primitives. In practice, for each different type of workload, data scientists use a particular specialised library. In this paper, we present Pilatus, a polymorphic iterative linear algebra la ...

2019