English
Related papers

Related papers: BP Variability Case Studies Development using diff…

200 papers

Concept Bottleneck Models (CBMs) promote interpretability by grounding predictions in human-understandable concepts. However, existing CBMs typically fix their task predictor to a single linear or Boolean expression, limiting both…

In the database community, we typically evaluate new methods based on experimental results, which we produce by integrating the proposed method along with a set of baselines in a single benchmarking codebase and measuring the individual…

Databases · Computer Science 2026-03-31 Simon Jörz , Felix Schuhknecht

A Boolean network is a discrete dynamical system operating on vectors of Boolean variables. The action of a Boolean network can be conveniently expressed as a system of Boolean update functions, computing the new values for each component…

Formal Languages and Automata Theory · Computer Science 2023-03-02 Artiom Alhazov , Vincent Ferrari-Dominguez , Rudolf Freund , Nicolas Glade , Sergiu Ivanov

Software change is the basic task of software evolution and maintenance. Phased Model for Software Change (PMSC) is a process model for software changes that localize in the code. It consists of several phases that cover both program…

Software Engineering · Computer Science 2019-04-12 Leon A. Wilson , Yoann Senin , Yibin Wang , Václav Rajlich

Maximum diversity problems arise in many practical settings from facility location to social networks, and constitute an important class of NP-hard problems in combinatorial optimization. There has been a growing interest in these problems…

Optimization and Control · Mathematics 2024-01-25 Francisco Parreño , Ramón Álvarez-Valdés , Rafael Martí

Context: Software practitioners adopt approaches like DevOps, Scrum, and Waterfall for high-quality software development. However, limited research has been conducted on exploring software development approaches concerning practitioners…

Software Engineering · Computer Science 2023-05-03 Arif Ali Khan , Javed Ali Khan , Muhammad Azeem Akbar , Peng Zhou , Mahdi Fahmideh

When writing a constraint program, we have to choose which variables should be the decision variables, and how to represent the constraints on these variables. In many cases, there is considerable choice for the decision variables.…

Artificial Intelligence · Computer Science 2011-07-04 B. Hnich , B. M. Smith , T. Walsh

Much of the success of modern language models depends on finding a suitable prompt to instruct the model. Until now, it has been largely unknown how variations in the linguistic expression of prompts affect these models. This study…

Computation and Language · Computer Science 2026-02-17 Jan Philip Wahle , Terry Ruas , Yang Xu , Bela Gipp

This report presents a meta analysis of various sources from literature, research projects, and experience with the goal of collecting examples for instance-spanning constraints to be implemented through Process-Aware Information Systems.

Software Engineering · Computer Science 2016-03-07 Stefanie Rinderle-Ma , Manuel Gall , Walid Fdhila , Jürgen Mangler , Conrad Indiono

Quantification of risk positions under model uncertainty is of crucial importance from both viewpoints of external regulation and internal management. The concept of model uncertainty, sometimes also referred to as model ambiguity. Although…

Risk Management · Quantitative Finance 2019-08-06 Wentao Hu

Context Oriented Programming (COP) concerns the ability of programs to adapt to changes in their running environment. A number of programming languages endowed with COP constructs and features have been developed. However, some foundational…

Programming Languages · Computer Science 2013-02-27 Pierpaolo Degano , Gian-Luigi Ferrari , Letterio Galletta , Gianluca Mezzetti

Most pre-trained language models (PLMs) construct word representations at subword level with Byte-Pair Encoding (BPE) or its variations, by which OOV (out-of-vocab) words are almost avoidable. However, those methods split a word into…

Computation and Language · Computer Science 2021-05-17 Wentao Ma , Yiming Cui , Chenglei Si , Ting Liu , Shijin Wang , Guoping Hu

The increasing development of cyber-physical systems (CPSs) requires modellers to represent and reason about physical values. This paper addresses two major, inter-related, aspects that arise when modelling physical measures. Firstly, there…

Software Engineering · Computer Science 2018-05-16 J Paul Gibson , Dominique Méry

The application of Predictive Process Monitoring (PPM) techniques is becoming increasingly widespread due to their capacity to provide organizations with accurate predictions regarding the future behavior of business processes, thereby…

Software Engineering · Computer Science 2025-04-25 Simona Fioretto , Elio Masciari

Varying coefficient model is often used in statistical modeling since it is more flexible than the parametric model. However, model detection and variable selection of varying coefficient model are poorly understood in mode regression.…

Methodology · Statistics 2020-09-23 Xuejun Ma , Yue Du , Jingli Wang

Model-based process design and operation involves here-and-now and wait-and-see decisions. Here-and-now decisions include design variables like the size of heat exchangers or the height of distillation columns, whereas wait-and-see…

Product Engineering Processes (PEPs) are used for describing complex product developments in big enterprises such as automotive and avionics industries. The Business Process Model Notation (BPMN) is a widely used language to encode…

Logic in Computer Science · Computer Science 2022-03-15 Hassan Hage , Emmanouil Seferis , Vahid Hashemi , Frank Mantwill

Envelope methodology is succinctly pitched as a class of procedures for increasing efficiency in multivariate analyses without altering traditional objectives \citep[first sentence of page 1]{cook2018introduction}. This description is true…

Methodology · Statistics 2020-02-05 Daniel J. Eck

We propose the concept of adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution. Such patterns rely on direct ways of controlling the behavior and location…

Logic in Computer Science · Computer Science 2015-07-01 Mario Bravetti , Cinzia Di Giusto , Jorge A Perez , Gianluigi Zavattaro

A key hurdle is demonstrating compute resource capability with limited benchmarks. We propose workflow templates as a solution, offering adaptable designs for specific scientific applications. Our paper identifies common usage patterns for…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-07-31 Gregor von Laszewski , Wesley Brewer , Sean R. Wilkinson , Andrew Shao , J. P. Fleischer , Harshad Pitkar , Christine R. Kirkpatrick , Geoffrey C. Fox