Correctly defined concrete syntax

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.

Model-based systems engineering (MBSE) provides an important capability for managing the complexities of system development. MBSE empowers the formalism of system architectures for supporting model-based requirement elicitation, specification, design, deve ...

Model and Data: Dujardin, J.; Lehning, M. Wind-Topo_model. EnviDat 2022 ...

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

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

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

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

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

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

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

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

Correctly defined concrete syntax

Chat with Graph Search

Design Ontology Supporting Model-Based Systems Engineering Formalisms

Wind-Topo_Model

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

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

Virtual Prototyping Methodology for Power Automation Cyber-Physical-Systems

Applications of Approximate Learning and Inference for Probabilistic Models

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

Squid: Type-Safe, Hygienic, and Reusable Quasiquotes

Visualization, Adaptation, and Transformation of Procedural Grammars

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