English
Related papers

Related papers: Contribution \`a la mod\'elisation explicite des p…

200 papers

In a Systems Engineering setting, various models are produced using a variety of methods and tools. Focusing on a type of models -- called descriptive models -- which we shall describe, we argue that, while the clarity and precision of…

Systems and Control · Electrical Eng. & Systems 2022-07-29 Freddy Kamdem Simo , Dominique Ernadote , Dominique Lenne

Moldable development supports decision-making by making software systems explainable. This is done by making it cheap to add numerous custom tools to your software, turning it into a live, explorable domain model. Based on several years of…

Software Engineering · Computer Science 2024-09-30 Oscar Nierstrasz , Tudor Gîrba

The rapid growth in terms of the availability of transportation data provides great potential for the introduction of emerging data-driven methodologies into transportation-related research and development efforts. However, advanced…

Physics and Society · Physics 2024-06-25 Zilin Bian , Dachuan Zuo , Jingqin Gao , Kaan Ozbay , Matthew D. Maggio

Machine learning (ML) is a revolutionary technology with demonstrable applications across multiple disciplines. Within the Earth science community, ML has been most visible for weather forecasting, producing forecasts that rival modern…

Predictive modeling has an increasing number of applications in various fields. High demand for predictive models drives creation of tools that automate and support work of data scientist on the model development. To better understand what…

Machine Learning · Computer Science 2019-07-11 Przemyslaw Biecek

In the paper by D. Regulin et al. (IEEE Trans. On Automation Science and Engineering, vol. 13, no. 4, 1422-1432, October 2016) authors claim that they present a meta-model for the modeling of the Automated Material Flow Module (aMFM) and a…

Software Engineering · Computer Science 2016-12-15 Kleanthis Thramboulidis

The specification of requirements and tests are crucial activities in automotive development projects. However, due to the increasing complexity of automotive systems, practitioners fail to specify requirements and tests for distributed and…

With the increasing number of created and deployed prediction models and the complexity of machine learning workflows we require so called model management systems to support data scientists in their tasks. In this work we describe our…

Machine Learning · Computer Science 2021-07-30 Florian Bachinger , Gabriel Kronberger

Methods: This work introduces a method supporting the collaborative definition of machine learning tasks by leveraging model-based engineering in the formalization of the systems modeling language SysML. The method supports the…

Software Engineering · Computer Science 2023-07-11 Simon Raedler , Juergen Mangler , Stefanie Rinderle-Ma

This paper recalls the principles of the finite-element methods (FEM) theory and declines its application in the EN-MME group, for the numerical modelling and study of particle accelerator equipment. Implicit and explicit methods are…

Reusable software components need expressive specifications. This paper outlines a rigorous foundation to model-based contracts, a method to equip classes with strong contracts that support accurate design, implementation, and formal…

Software Engineering · Computer Science 2013-08-14 Nadia Polikarpova , Carlo A. Furia , Bertrand Meyer

The aim of this paper is to propose a rigorous and complete design framework for complex system based on system engineering (SE) principles. The SE standard EIA-632 is used to guide the approach. Within this framework, two aspects are…

Software Engineering · Computer Science 2012-12-19 Romaric Guillerm , Hamid Demmou , Nabil Sadou

The contemporary development of hardware components is a prerequisite for increasing the concentration of computing power. System software is developing at a much slower pace. To use available resources efficiently modeling is required.…

Operating Systems · Computer Science 2014-02-21 Asen Petkov Iliev

Multimodal summarization integrating information from diverse data modalities presents a promising solution to aid the understanding of information within various processes. However, the application and advantages of multimodal…

Software Engineering · Computer Science 2025-03-07 Nenad Petrovic , Yurui Zhang , Moaad Maaroufi , Kuo-Yi Chao , Lukasz Mazur , Fengjunjie Pan , Vahid Zolfaghari , Alois Knoll

Agent-based models (ABMs) are ubiquitous in research and industry. Currently, simulating ABMs involves at least some imperative (step-by-step) computer instructions. An alternative approach is declarative programming, in which a set of…

Multiagent Systems · Computer Science 2015-04-01 David Bruce Borenstein

Neural networks are one tool for approximating non-linear differential equations used in scientific computing tasks such as surrogate modeling, real-time predictions, and optimal control. PDE foundation models utilize neural networks to…

Machine Learning · Computer Science 2025-02-11 Elisa Negrini , Yuxuan Liu , Liu Yang , Stanley J. Osher , Hayden Schaeffer

We introduce a comprehensive data-driven framework aimed at enhancing the modeling of physical systems, employing inference techniques and machine learning enhancements. As a demonstrative application, we pursue the modeling of cathodic…

Computational Physics · Physics 2025-02-04 Christian Jacobsen , Jiayuan Dong , Mehdi Khalloufi , Xun Huan , Karthik Duraisamy , Maryam Akram , Wanjiao Liu

Ethnomethodological fieldwork has long been acknowledged as a potentially valuable way of informing the design of technology. However, there is relatively little methodological support for this activity, particularly in relation to the…

Software Engineering · Computer Science 2024-11-15 Chris Hinds

We illustrate how purpose-specific, graphical modeling enables application experts with different levels of expertise to collaboratively design and then produce complex applications using their individual, purpose-specific modeling…

Digital engineering has transformed the design and development process. However, the utility of digital engineering is fundamentally dependent on the assumption that a simulation provides information consistent with reality. This…

Computational Engineering, Finance, and Science · Computer Science 2025-08-01 Evan Taylor , Edward Louis , Gregory Mocko