English
Related papers

Related papers: Optimizing Provenance Computations

200 papers

A methodology grounded in model reduction is presented for accelerating the gradient-based solution of a family of linear or nonlinear constrained optimization problems where the constraints include at least one linear Partial Differential…

Numerical Analysis · Mathematics 2020-04-15 Youngsoo Choi , Gabriele Boncoraglio , Spenser Anderson , David Amsallem , Charbel Farhat

The key to effective alignment lies in high-quality preference data. Recent research has focused on automated alignment, which involves developing alignment systems with minimal human intervention. However, prior research has predominantly…

Computation and Language · Computer Science 2025-06-12 Hao Xiang , Bowen Yu , Hongyu Lin , Keming Lu , Yaojie Lu , Xianpei Han , Ben He , Le Sun , Jingren Zhou , Junyang Lin

Managing stock efficiently remains a core issue in modern logistics, where companies must reconcile cost efficiency with dependable service despite unpredictable market conditions. Conventional models often overlook the direct connection…

Optimization and Control · Mathematics 2026-04-14 Tianxiao Sun , Noah Schwarzkopf

Many platforms for benchmarking optimization algorithms offer users the possibility of sharing their experimental data with the purpose of promoting reproducible and reusable research. However, different platforms use different data models…

Neural and Evolutionary Computing · Computer Science 2021-04-27 Ana Kostovska , Diederick Vermetten , Carola Doerr , Sašo Džeroski , Panče Panov , Tome Eftimov

Provenance is information about the origin, derivation, ownership, or history of an object. It has recently been studied extensively in scientific databases and other settings due to its importance in helping scientists judge data validity,…

Programming Languages · Computer Science 2008-12-03 James Cheney , Umut Acar , Amal Ahmed

This paper explores the integration of provenance tracking systems within the context of Semantic Web technologies to enhance data integrity in diverse operational environments. SURROUND Australia Pty Ltd demonstrates innovative…

Cryptography and Security · Computer Science 2025-01-17 Nilesh Jain

The annotation of the results of database transformations was shown to be very effective for various applications. Until recently, most works in this context focused on positive query languages. The provenance semirings is a particular…

Databases · Computer Science 2015-03-19 Yael Amsterdamer , Daniel Deutch , Val Tannen

Computational design problems arise in a number of settings, from synthetic biology to computer architectures. In this paper, we aim to solve data-driven model-based optimization (MBO) problems, where the goal is to find a design input that…

Machine Learning · Computer Science 2021-07-15 Brandon Trabucco , Aviral Kumar , Xinyang Geng , Sergey Levine

Discrete optimization is a central problem in artificial intelligence. The optimization of the aggregated cost of a network of cost functions arises in a variety of problems including (W)CSP, DCOP, as well as optimization in stochastic…

Artificial Intelligence · Computer Science 2018-01-12 Ferdinando Fioretto , Enrico Pontelli , William Yeoh , Rina Dechter

Capturing the history of operations and activities during a computational workflow is significantly important for Earth Observation (EO). The data provenance helps to collect the metadata that records the lineage of data products, providing…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-06-11 H. Omidi , L. Sacco , V. Hutter , G. Irsiegler , M. Claus , M. Schobben , A. Jacob , M. Schramm , S. Fiore

Recently the International Virtual Observatory Alliance (IVOA) released a standard to structure provenance metadata, and several implementations are in development in order to capture, store, access and visualize the provenance of astronomy…

Instrumentation and Methods for Astrophysics · Physics 2021-01-22 Mathieu Servillat , François Bonnarel , Mireille Louys , Michèle Sanguillon

Ontology-based data access (OBDA) is a popular paradigm for querying heterogeneous data sources by connecting them through mappings to an ontology. In OBDA, it is often difficult to reconstruct why a tuple occurs in the answer of a query.…

Databases · Computer Science 2019-06-04 Diego Calvanese , Davide Lanti , Ana Ozaki , Rafael Penaloza , Guohui Xiao

A provenance analysis for a query evaluation or a model checking computation extracts information on how its result depends on the atomic facts of the model or database. Traditional work on data provenance was, to a large extent, restricted…

Logic in Computer Science · Computer Science 2024-12-12 Erich Grädel , Val Tannen

Provenance metadata can be valuable in data sharing settings, where it can be used to help data consumers form judgements regarding the reliability of the data produced by third parties. However, some parts of provenance may be sensitive,…

Databases · Computer Science 2014-06-10 Paolo Missier , Jeremy Bryans , Carl Gamble , Vasa Curcin , Roxana Danger

The emergence of Cloud computing provides a new computing paradigm for scientific workflow execution. It provides dynamic, on-demand and scalable resources that enable the processing of complex workflow-based experiments. With the ever…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-03-20 Khawar Hasham , Kamran Munir , Richard McClatchey

A novel simulation strategy is proposed to search for semiconductor quantum devices which are optimized with respect to required performances. Based on evolutionary programming, a tecnique implementing the paradigm of genetic algorithms to…

Materials Science · Physics 2009-10-31 Guido Goldoni , Fausto Rossi

A consensus-based optimization (CBO) algorithm, which enables derivative and mesh-free optimization, is presented to localize a bioluminescent source. The light propagation is modeled by the radiative transfer equation approximated by…

Quantitative Methods · Quantitative Biology 2024-11-04 Jan Friedrich , Sarah Schraven , Fabian Kiessling , Michael Herty

Complex queries for massive data analysis jobs have become increasingly commonplace. Many such queries contain com- mon subexpressions, either within a single query or among multiple queries submitted as a batch. Conventional query…

Databases · Computer Science 2017-01-20 Tarun Kathuria , S. Sudarshan

Data clustering is an instrumental tool in the area of energy resource management. One problem with conventional clustering is that it does not take the final use of the clustered data into account, which may lead to a very suboptimal use…

Machine Learning · Computer Science 2021-06-03 Chao Zhang , Samson Lasaulce , Martin Hennebel , Lucas Saludjian , Patrick Panciatici , H. Vincent Poor

Query optimizer is at the heart of the database systems. Cost-based optimizer studied in this paper is adopted in almost all current database systems. A cost-based optimizer introduces a plan enumeration algorithm to find a (sub)plan, and…

Databases · Computer Science 2021-01-06 Hai Lan , Zhifeng Bao , Yuwei Peng