Publications related to F Sharp (programming language)

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 ...

ELSEVIER SCIENCE SA2023

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

On Verified Scala for STIX File System Embedded Code using Stainless

Viktor Kuncak, Jad Hamza

We present an approach for using formal methods in embedded systems and its evaluation on a case study. In our approach, the developers describe the system in a restricted subset of the high-level programming language Scala. We then use 1) a verification s ...

2022

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

Long anchorage resistance of reinforcement bars derived from local bond-slip relationships for good and poor bond conditions

Aurelio Muttoni, Enrique Corres Sojo

The fib Model Code 2010 (MC2010) contains a semi-empirical formulation for the local bond-slip relationship for both pull-out and splitting failure modes (derived from short pull-out tests), as well as a semi-empirical formulation of the steel stress that ...

2022

A greedy and distributable approach to the Lexicographic Bottleneck Assignment Problem with conditions on exactness

Tony Alan Wood

Solving the Lexicographic Bottleneck Assignment Problem (LexBAP) typically relies on centralised computation with order complexity. We consider the Sequential Bottleneck Assignment Problem (SeqBAP), which yields a greedy solution to the LexBAP and discuss ...

Elsevier2022

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

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

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

F Sharp (programming language)

Graph Chatbot

Chat with Graph Search

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

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

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

On Verified Scala for STIX File System Embedded Code using Stainless

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

Long anchorage resistance of reinforcement bars derived from local bond-slip relationships for good and poor bond conditions

A greedy and distributable approach to the Lexicographic Bottleneck Assignment Problem with conditions on exactness

Representing Monads with Capabilities

Formal foundations for GADTs in Scala

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

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

Representing Monads with Capabilities

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

Formal foundations for GADTs in Scala

On Verified Scala for STIX File System Embedded Code using Stainless

Long anchorage resistance of reinforcement bars derived from local bond-slip relationships for good and poor bond conditions

A greedy and distributable approach to the Lexicographic Bottleneck Assignment Problem with conditions on exactness

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

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

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