Publications associées à Fork (développement logiciel)

Real-Time Nonlinear Model Predictive Control for Fast Mechatronic Systems

This thesis presents an efficient and extensible numerical software framework for real-time model-based control. We are motivated by complex and challenging mechatronic applications spanning from flight control of fixed-wing aircraft and thrust vector cont ...

EPFL2022

EaRL: An Open-Source Software for Earthquake Risk, Loss and Lifecycle Assessment

Dimitrios Lignos, Ahmed Mohamed Ahmed Elkady

Evaluating earthquake-induced losses, such as structural repair costs, downtime and casualties, is becoming a standard practice within the performance-based earthquake engineering framework. Nonetheless, this evaluation is a demanding task that requires de ...

2021

Ultra-high-resolution software-defined photonic terahertz spectroscopy

Gabriel Aeppli

A novel technique for high-resolution 1.5 mu m photonics-enabled terahertz (THz) spectroscopy using software control of the illumination spectral line shape (SLS) is presented. The technique enhances the performance of a continuous-wave THz spectrometer to ...

2020

EaRL—Software for Earthquake Risk, Loss and Lifecycle Analysis

Dimitrios Lignos, Ahmed Mohamed Ahmed Elkady

Performance-based earthquake engineering (PBEE) has become an increasingly popular framework to design, retrofit and manage structures. This probabilistic framework integrates data from the seismic hazard, structural response, damage fragility and damage c ...

2020

Unification of Compile-Time and Runtime Metaprogramming in Scala

Eugene Burmako

Metaprogramming is a technique that consists in writing programs that treat other programs as data. This paradigm of software development contributes to a multitude of approaches that improve programmer productivity, including code generation, program anal ...

EPFL2017

Architecture-based Design: A Satellite On-board Software Case Study

Joseph Sifakis, Simon Bliudze, Anton Ivanov, Anastasia Mavridou

In this case study, we apply the architecture-based design approach to the control software of the CubETH satellite. Architectures are a means for ensuring global coordination properties and thus, achieving correctness of complex systems by construction. T ...

Springer2016

Current Practice in Software Development for Computational Neuroscience and How to Improve It

Marc-Oliver Gewaltig

Almost all research work in computational neuroscience involves software. As researchers try to understand ever more complex systems, there is a continual need for software with new capabilities. Because of the wide range of questions being investigated, n ...

Public Library of Science2014

MosaicIA: an ImageJ/Fiji plugin for spatial pattern and interaction analysis

Aleksandra Radenovic, Arun Shivanandan

Background: Analyzing spatial distributions of objects in images is a fundamental task in many biological studies. The relative arrangement of a set of objects with respect to another set of objects contains information about potential interactions between ...

BioMed Central2013

The S2E Platform: Design, Implementation, and Applications

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

This article presents S2E, a platform for analyzing the properties and behavior of software systems, along with its use in developing tools for comprehensive performance profiling, reverse engineering of proprietary software, and automated testing of kerne ...

2012

S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E's use in developing practical tools for comprehensive performance profiling, reverse engineering of proprietary software, and bug finding ...

2011

Membrane elastic heterogeneity studied at nanometrical scale on living cells

Charles Roduit

The aim of this thesis was to explore the cell mechanical properties using the Atomic Force Microscope (AFM). The cell membrane contains lipids microdomains, called rafts, enriched in cholesterol and sphingolipids. The rafts are believed to play an importa ...

EPFL2008

Dynamic simulation of regulatory networks using SQUAD

Giovanni De Micheli, Abhishek Garg, Ioannis Xenarios

Background The ambition of most molecular biologists is the understanding of the intricate network of molecular interactions that control biological systems. As scientists uncover the components and the connectivity of these networks, it becomes possible t ...

2007