Domain-specific modeling

Applied sciences
Génie informatique
Développement de logiciel
Software development process

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (30)

Direct Model-checking of SysML Models

Alessandro Tempia Calvino

Model-checking intends to verify whether a property is satisfied by a model, or not. Model-checking of high-level models, e.g. SysML models, usually first requires a model transformation to a low level formal specification. The present papers proposes a ne ...

SCITEPRESS2021

A Knowledge Management Approach Supporting Model-Based Systems Engineering

Dimitrios Kyritsis, Jinzhi Lu, Lei Feng

Model-based Systems Engineering (MBSE) is a noval approach to support complex system development by formalizing system artifacts and development using models. Though MBSE models provide a completely structural formalisms about system development for system ...

2021

On the use of applied machine learning and digital infrastructure to leverage social media data in health and epidemiology

Martin Mathias Müller

The quantification of population-level health behaviors is crucial for guiding public health policy. However, traditional methods for measuring such health behaviors have several short- comings. In recent years social media data has been successfully used ...

EPFL2021

A non-twisting flux tube for local gyrokinetic simulations

Stephan Brunner, Justin Richard Ball

Local gyrokinetic simulations use a field-aligned domain that twists due to the magnetic shear of the background magnetic equilibrium. However, if the magnetic shear is strong and/or the domain is long, the twist can become so extreme that it fails to prop ...

2021

De la décoration par les ombres Traduction de méthodes picturales dans l'architecture française des XVIIIème et XIXème siècles

Laura Patricia Joannie Trazic

In the Vitruvian tradition, ornaments are classified into two categories: those that belong to the orders, and the others. If the former' s relief is merely indicated by Vitruvio and Alberti, the latter is simply ignored, thus opening the way to licentia. ...

EPFL2021

Comparison Between Product and Process Oriented Zero-Defect Manufacturing (ZDM) Approaches

Dimitrios Kyritsis, Foivos Psarommatis Giannakopoulos

Contemporary manufacturing companies pay a lot of attention to product quality as this aspect affects directly their competitiveness, productivity and the reputation of the company. Traditional quality improvement methods such as Six Sigma, Lean etc. seems ...

SPRINGER INTERNATIONAL PUBLISHING AG2021

Quantum conformance test

Elena Losero, Marco Genovese

We introduce a protocol addressing the conformance test problem, which consists in determining whether a process under test conforms to a reference one. We consider a process to be characterized by the set of end products it produces, which is generated ac ...

AMER ASSOC ADVANCEMENT SCIENCE2021

How daylight representation in architectural competitions images can lead to an erroneous interpretation of projects

Bernard Paule, Joshua Pereira

The digital world we are living in today offers viewers an experience of buildings before they even exist. This experience is no longer just geometric or descriptive, but also sensory. It generates emotions through fixed or animated images of 3 dimensional ...

IOP PUBLISHING LTD2021

Recommending Burgers based on Pizza Preferences: Addressing Data Sparsity with a Product of Experts

Claudiu-Cristian Musat, Diego Matteo Antognini, Martin Milenkoski

In this paper, we describe a method to tackle data sparsity and create recommendations in domains with limited knowledge about user preferences. We expand the variational autoencoder collaborative filtering from a single-domain to a multi-domain setting. T ...

2021

An Optimizing Multi-platform Source-to-source Compiler Framework for the NEURON MODeling Language

Felix Schürmann, James Gonzalo King, Michael Lee Hines, Pramod Shivaji Kumbhar, Omar Awile, Jorge Blanco Alonso, Liam Roger George Keegan

Domain-specific languages (DSLs) play an increasingly important role in the generation of high performing software. They allow the user to exploit domain knowledge for the generation of more efficient code on target architectures. Here, we describe a new c ...

Springer2020

Page 2 sur 2