Publication

Supplementary datasets for the manuscript "Generative machine learning produces kinetic models that accurately characterize intracellular metabolic states" - Part 3

Related publications (32)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

First experimental results from the European Union 2 MW coaxial cavity ITER gyrotron prototype

Timothy Goodman, Stefano Alberti, Minh Quang Tran, Jean-Philippe Hogge, Laurie Porte, Damien Fasel, Pierre Lavanchy, Ugo Siravo, Emmanuel Droz, Philippe Marmillod, Albert Perez, Ioannis Pagonakis, Blaise Marlétaz

The European Union is working toward providing 2-MW, coaxial-cavity, continuous-wave (cw) 170-GHz gyrotrons for ITER. Their design is based on results,from an experimental preprototype tube having a pulse length of several milliseconds, in operation at For ...

American Nuclear Society2009

Emotion on FPGA: Model Driven Approach

Arash Arami

Implementation of intelligent and bio-inspired algorithms in industrial and real applications is arduous, time consuming and costly; in addition, many aspects of system from high level behavior of algorithm to energy consumption of targeted system must be ...

Elsevier2009

PathScore-Relevance: A Metric for Improving Test Quality

George Candea, Silviu Andrica

Reliability of today's software systems hinges on developers writing test cases that exercise as much of a program as possible. Writing and running such tests is inevitably subject to a time budget. This paper addresses the question of how to maximize qual ...

2009

Run-time monitoring and on-line testing of middleware based communication services

With the present day's exponential growth of the (tele-)communications market, the explosion of the number of mobile communication customers, and the tremendous growth of the number of IP hosts, ensuring the reliability of communication services is one of ...

EPFL2000

A comparison of noise reduction techniques for robust speech recognition

This report presents the integration of several noise reduction methods into the front-end for speech recognition developed at IDIAP. The chosen methods are : Spectral Subtraction, Cepstral Mean Subtraction and Blind Equalization. These different methods a ...

IDIAP1999

Formal testing of object-oriented software

Cécile Peraire

This thesis presents a method and a tool for test set selection, dedicated to object-oriented applications and based on formal specifications. Testing is one method to increase the quality of today's extraordinary complex software. The aim is to find progr ...

EPFL1998

Quality-for-ASIS: A Portable Testing Facility for ASIS

This paper describes the project Quality-for-ASIS, aiming at the development of an extensive testing facility for ASIS implementations. First the specific problems and requirements are presented. After a section about the basic concepts of ASIS and after a ...

Springer Verlag1998

Testing Temporal Logic Properties in Distributed Systems

Jean-Pierre Hubaux, Shawn Koppenhoefer

Based on the notion of event-based behavioral abstraction (EBBA) we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are then observed at system run-time and it is checked whether or not the system v ...

1998

Testing Temporal Logic Properties in Distributed Systems

Jean-Pierre Hubaux

The concept of event-based behavioral abstraction (EBBA) is shown to facilitate the Design For Testability (DFT) if the set of events is well-chosen. We provide a predefined set of events which, together with linear-time temporal logic, can be used for exp ...

1997

Open Issues in Testing Object-Oriented Software

While the use of object-oriented development methods has increased the quality of software by leading to better, modular architectures, it does not provide correctness by itself. Thus, testing software remains an important task even in the presence of obje ...

vdf Hochschulverlag AG an der ETH Zürich1994