中文
相关论文

相关论文: Can I Trust My Simulation Model? Measuring the Qua…

200 篇论文

Gaussian process priors are a popular choice for Bayesian analysis of regression problems. However, the implementation of these models can be complex, and ensuring that the implementation is correct can be challenging. In this paper we…

机器学习 · 计算机科学 2021-10-29 John Mcleod , Fergus Simpson

Model-based safety analysis approaches aim at finding critical failure combinations by analysis of models of the whole system (i.e. software, hardware, failure modes and environment). The advantage of these methods compared to traditional…

计算机科学中的逻辑 · 计算机科学 2010-06-29 Matthias Güdemann , Frank Ortmeier

Nowadays, the numerical models of real-world structures are more precise, more complex and, of course, more time-consuming. Despite the growth of a computational effort, the exploration of model behaviour remains a complex task. The…

计算工程、金融与科学 · 计算机科学 2014-10-17 Eliska Janouchova , Anna Kucerova

Performance models are well-known instruments to understand the scaling behavior of parallel applications. They express how performance changes as key execution parameters, such as the number of processes or the size of the input problem,…

分布式、并行与集群计算 · 计算机科学 2021-01-01 Marcin Copik , Alexandru Calotoiu , Tobias Grosser , Nicolas Wicki , Felix Wolf , Torsten Hoefler

The construction of effective Recommender Systems (RS) is a complex process, mainly due to the nature of RSs which involves large scale software-systems and human interactions. Iterative development processes require deep understanding of a…

机器学习 · 计算机科学 2021-09-15 Lucas Bernardi , Sakshi Batra , Cintia Alicia Bruscantini

This paper reviews background and examples of Bayesian predictive synthesis (BPS), and develops details in a subset of BPS mixture models. BPS expands on standard Bayesian model uncertainty analysis for model mixing to provide a broader…

统计方法学 · 统计学 2023-05-04 Matthew C. Johnson , Mike West

The use of machine learning systems in clinical routine is still hampered by the necessity of a medical device certification and/or by difficulty to implement these systems in a clinic's quality management system. In this context, the key…

医学物理 · 物理学 2022-10-18 Lorenzo Mercolli , Axel Rominger , Kuangyu Shi

Accuracy in spreadsheet modelling systems can be reduced due to difficulties with the inputs, the model itself, or the spreadsheet implementation of the model. When the "true" outputs from the system are unknowable, accuracy is evaluated…

人机交互 · 计算机科学 2008-07-22 Thomas A. Grossman

Defining process standards by integrating, harmonizing, and standardizing heterogeneous and often implicit processes is an important task, especially for large development organizations. However, many challenges exist, such as limiting the…

软件工程 · 计算机科学 2014-02-03 Ove Armbrust , Masafumi Katahira , Yuko Miyamoto , Jürgen Münch , Haruka Nakao , Alexis Ocampo

Molecular simulations and biophysical experiments can be used to provide independent and complementary insights into the molecular origin of biological processes. A particularly useful strategy is to use molecular simulations as a modelling…

化学物理 · 物理学 2019-12-10 Simone Orioli , Andreas Haahr Larsen , Sandro Bottaro , Kresten Lindorff-Larsen

A challenge that machine learning practitioners in the industry face is the task of selecting the best model to deploy in production. As a model is often an intermediate component of a production system, online controlled experiments such…

A good process model is expected not only to reflect the behavior of the process, but also to be as easy to read and understand as possible. Because preferences vary across different applications, numerous measures provide ways to reflect…

形式语言与自动机理论 · 计算机科学 2024-08-23 Patrizia Schalk , Adam Burke , Robert Lorenz

Business process management (BPM) has been widely used to discover, model, analyze, and optimize organizational processes. BPM looks at these processes with analysis techniques that assume a clearly defined start and end. However, not all…

数据库 · 计算机科学 2024-07-26 Stephan A. Fahrenkrog-Petersen , Saimir Bala , Luise Pufahl , Jan Mendling

Matlab/Simulink is a development and simulation language that is widely used by the Cyber-Physical System (CPS) industry to model dynamical systems. There are two mainstream approaches to verify CPS Simulink models: model testing that…

软件工程 · 计算机科学 2019-05-10 Shiva Nejati , Khouloud Gaaloul , Claudio Menghi , Lionel C. Briand , Stephen Foster , David Wolfe

The thesis discusses topics related to the development of business process management systems. Business process management systems have evolved on the basis of workflow management systems through incremental inclusion of standard…

软件工程 · 计算机科学 2025-04-04 Valdis Vitolins

Spatial point processes are used as models in many different fields ranging from ecology and forestry to cosmology and materials science. In recent years, model validation, and in particular goodness-of-fit testing of a proposed point…

统计方法学 · 统计学 2025-05-20 Chiara Fend , Claudia Redenbach

In order to better facilitate the need for continuous business process improvement, the application of DevOps principles has been proposed. In particular, the AB-BPM methodology applies AB testing and reinforcement learning to increase the…

软件工程 · 计算机科学 2023-07-19 Aaron Friedrich Kurz , Timotheus Kampik , Luise Pufahl , Ingo Weber

Predictive business process monitoring is concerned with the prediction how a running process instance will unfold up to its completion at runtime. Most of the proposed approaches rely on a wide number of different machine learning (ML)…

人工智能 · 计算机科学 2021-04-21 Martin Käppel , Stefan Jablonski , Stefan Schönig

This paper suggests that by operationalizing the concept of commitment in the shape of a model, a new insight is provided in improving software processes - a more human centered approach as opposed to various technical approaches available.…

软件工程 · 计算机科学 2019-03-27 Pekka Abrahamsson

In diverse industrial and academic environments, the quality of the software has been evaluated using different analytic studies. The contribution of the present work is focused on the development of a methodology in order to improve the…

软件工程 · 计算机科学 2012-09-13 Leticia Dávila-Nicanor , Pedro Mejía-Alvarez