Publication

Towards a Scientific Model Management System

Related publications (73)

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.

Analog property checkers: a DDR2 case study

Dejan Nickovic

The formal specification component of verification can be exported to simulation through the idea of property checkers. The essence of this approach is the automatic construction of an observer from the specification in the form of a program that can be in ...

Springer US2010

A generic data structure for integrated modelling of tokamak physics and subsystems

Olivier Sauter, Jonathan Bryan Lister

The European Integrated Tokamak Modelling Task Force (ITM-TF) is developing a new type of fully modular and flexible integrated tokamak simulator, which will allow a large variety of simulation types. This ambitious goal requires new concepts of data struc ...

www.elsevier.com/locate/cpc2010

Modelling and Simulation of Electrical Machines, Converters and Power Systems

Yves Perriard

The ninth International Conference organized by the Technical Committee n 1 (TC1) of IMACS, ELECTRIMACS took place at Québec City, Canada, from June 9th to 11th 2008. The goal of this conference was to provide scientific and professional interaction for th ...

Elsevier2010

Parameters identification of a power plant model for the simulation of islanding transients

Mario Paolone, Carlo Alberto Nucci

The paper presents a procedure for parameter identification along with its application to the model of a combined cycle power plant that includes the surrounding electrical network, built for the analysis of islanding maneuvers transients. The paper illust ...

2010

A quasi-analytical model for nanowire FETs with arbitrary polygonal cross section

Mihai Adrian Ionescu, Luca De Michielis, Luca Selmi

In this work a quasi-analytical physical model has been developed for the prediction of the potential in SiNW devices with arbitrary polygonal cross section. The model is then extended to the transport direction; a method for the calculation of the natural ...

Elsevier2010

Mapping the SKA Simulated Skies with the S3-Tools

Danail Obreschkow

The S3-Tools are a set of Python-based routines and interfaces whose purpose is to provide user-friendly access to the SKA Simulated Skies (S3) set of simulations, an effort led by the University of Oxford in the framework of the European Union's SKADS pro ...

2009

Conceptual modeling of multimedia databases

Oleksandr Drutskyy

The gap between the semantic content of multimedia data and its underlying physical representation is one of the main problems in the modern multimedia research in general, and, in particular, in the field of multimedia database modeling. We believe that o ...

EPFL2009

Can bioactivity be tested in vitro with SBF solution ?

Jacques Lemaître

A large part of the scientiﬁc community has accepted the paradigm that a simulated body solution (SBF) can be used to test the bioactivity of a material. This is exempliﬁed by the rapidly increasing number of publications using this test. The aim of this d ...

2009

Contextualized and personalized location-based services

Shijun Yu

Advances in the technologies of smart mobile devices and tiny sensors together with the increase in the number of web resources open up a plethora of new mobile information services where people can acquire and disseminate information at any place and any ...

EPFL2008

Comparison of Methods for Increasing the Performance of a DUA Computation

Computing realistic routes for a given road network and a known demand of vehicles is one of the most important steps when preparing a road traffic simulation. The approach developed by Christian Gawron in 1998 which we use for this purpose computes a dyna ...

2008