Correctly defined concrete syntax

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (29)

Role of the electron-phonon coupling on the thermal boundary conductance of metal/diamond interfaces with nanometric interlayers

Ludger Weber, Gionata Schneider, Maïté Blank

Thermal boundary conductance (TBC) of the Ag/diamond and Au/diamond interfaces with a nanometer-thick interface layer of either nickel or molybdenum is measured by time domain thermoreflectance and modeled based on a 3-layer two-temperature model (3l-TTM). ...

2019

Towards semantics-driven modelling and simulation of context-aware manufacturing systems

Damiano Nunzio Arena

Systems modelling and simulation are two important facets for thoroughly and effectively analysing manufacturing processes. The ever-growing complexity of the latter, the increasing amount of knowledge, and the use of Semantic Web techniques adhering meani ...

EPFL2019

Numerical methods for hydraulic fracture propagation: a review of recent trends

Brice Tanguy Alphonse Lecampion, Xi Zhang

Development of numerical methods for hydraulic fracture simulation has accelerated in the past two decades. Recent advances in hydraulic fracture modeling and simulation are driven by increased industry and research activity in oil and gas, a drive toward ...

2018

Virtual Prototyping Methodology for Power Automation Cyber-Physical-Systems

Juan Sebastian Rodriguez Estupinan

In this thesis, the author proposes a circular system development model which considers all the stages in a typical development process for industrial systems. In particular, the present work shows that the use of virtual prototyping at early stages of the ...

EPFL2017

Applications of Approximate Learning and Inference for Probabilistic Models

Young Jun Ko

We develop approximate inference and learning methods for facilitating the use of probabilistic modeling techniques motivated by applications in two different areas. First, we consider the ill-posed inverse problem of recovering an image from an underdeter ...

EPFL2017

Leading the Blind : Automated Transistor-Level Modeling for FPGA Architects

Grace Zgheib

The design and development of innovative FPGA architectures hinge on the flexibility of its toolchain. Retargetable toolchains, like the Verilog-to-Routing (VTR) flow, have been developed to enable the testing of new FPGAs by mapping circuits onto easily-d ...

EPFL2017

Squid: Type-Safe, Hygienic, and Reusable Quasiquotes

Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux

Quasiquotes have been shown to greatly simplify the task of metaprogramming. This is in part because they hide the data structures of the intermediate representation (IR), instead allowing metaprogrammers to use the concrete syntax of the language they man ...

ACM2017

Visualization, Adaptation, and Transformation of Procedural Grammars

Stefan Lienhard

Procedural shape grammars are powerful tools for the automatic generation of highly detailed 3D content from a set of descriptive rules. It is easy to encode variations in stochastic and parametric grammars, and an uncountable number of models can be gener ...

EPFL2017

A Design-Build-Test cycle using modeling and experiments reveals interdependencies between upper glycolysis and xylose uptake in recombinant S. cerevisiae and improves predictive capabilities of large-scale kinetic models

Ljubisa Miskovic, Vassily Hatzimanikatis, Keng Cher Soh

Recent advancements in omics measurement technologies have led to an ever-increasing amount of available experimental data that necessitate systems-oriented methodologies for efficient and systematic integration of data into consistent large-scale kinetic ...

2017

Page 2 sur 2