English
Related papers

Related papers: Space-contained conflict revision, for geographic …

200 papers

Reference information plays an essential role for making decisions under uncertainty, yet may vary across multiple data sources. In this paper, we study resource allocation in stochastic dynamic environments, where we perform information…

Optimization and Control · Mathematics 2024-11-05 Yanru Guo , Bo Zhou , Ruiwei Jiang , Xi , Yang , Siqian Shen

This paper will focus on the process of 'fusing' several observations or models of uncertainty into a single resultant model. Many existing approaches to fusion use subjective quantities such as 'strengths of belief' and process these…

Artificial Intelligence · Computer Science 2020-07-28 Shawn C. Eastwood , Svetlana N. Yanushkevich

Many semantical aspects of programming languages, such as their operational semantics and their type assignment calculi, are specified by describing appropriate proof systems. Recent research has identified two proof-theoretic features that…

Logic in Computer Science · Computer Science 2008-04-14 Andrew Gacek , Dale Miller , Gopalan Nadathur

Many applications of computational social science aim to infer causal conclusions from non-experimental data. Such observational data often contains confounders, variables that influence both potential causes and potential effects.…

Computation and Language · Computer Science 2020-05-05 Katherine A. Keith , David Jensen , Brendan O'Connor

The method of using concepts and insight from quantum information theory in order to solve problems in reversible classical computing (introduced in Ref. [1]) have been generalized to irreversible classical computing. The method have been…

Quantum Physics · Physics 2008-10-22 Berry Groisman

We make a case for "planetary computing" -- infrastructure to handle the ingestion, transformation, analysis and publication of global data products for furthering environmental science and enabling better informed policy-making. We draw on…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-06-04 Patrick Ferris , Michael Dales , Sadiq Jaffer , Amelia Holcomb , Eleanor Toye Scott , Thomas Swinfield , Alison Eyres , Andrew Balmford , David Coomes , Srinivasan Keshav , Anil Madhavapeddy

In the analysis of survey data, sampling weights are needed for consistent estimation of the population. However, the original inverse probability weights from the survey sample design are typically modified to account for non-response, to…

Computation · Statistics 2025-08-19 Matthew R. Williams , Terrance D. Savitsky

This research addresses the challenge of conducting interpretable causal inference between a binary treatment and its resulting outcome when not all confounders are known. Confounders are factors that have an influence on both the treatment…

Machine Learning · Computer Science 2023-10-24 Sohaib Kiani , Jared Barton , Jon Sushinsky , Lynda Heimbach , Bo Luo

Properties of the logical reloading in the Euclidean geometry are considered. The logical reloading is a logical operation which replaces one system of basic concepts of a conception by another system of basic concepts of the same…

General Mathematics · Mathematics 2010-05-20 Yuri A. Rylov

The increasing deployment of machine learning as well as legal regulations such as EU's GDPR cause a need for user-friendly explanations of decisions proposed by machine learning models. Counterfactual explanations are considered as one of…

Machine Learning · Computer Science 2020-08-04 André Artelt , Barbara Hammer

In a standard possibilistic logic, prioritized information are encoded by means of weighted knowledge base. This paper proposes an extension of possibilistic logic for dealing with partially ordered information. We Show that all basic…

Artificial Intelligence · Computer Science 2012-12-12 Salem Benferhat , Sylvain Lagrue , Odile Papini

Linear combination is a potent data fusion method in information retrieval tasks, thanks to its ability to adjust weights for diverse scenarios. However, achieving optimal weight training has traditionally required manual relevance…

Information Retrieval · Computer Science 2023-09-25 Qiuyu Xu , Yidong Huang , Shengli Wu , Adrian Moore

Contention resolution addresses the challenge of coordinating access by multiple processes to a shared resource such as memory, disk storage, or a communication channel. Originally spurred by challenges in database systems and bus networks,…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-04-30 Ioana Banicescu , Trisha Chakraborty , Seth Gilbert , Maxwell Young

Merging beliefs requires the plausibility of the sources of the information to be merged. They are typically assumed equally reliable in lack of hints indicating otherwise; yet, a recent line of research spun from the idea of deriving this…

Artificial Intelligence · Computer Science 2021-03-23 Paolo Liberatore

A central prediction of the accompanying theoretical framework is that metacognitive calibration can vary even when content-level performance is held approximately fixed, depending on whether support structure is preserved in a globally…

Neurons and Cognition · Quantitative Biology 2026-03-02 Mark Walsh

While the importance of efficient recycling is widely acknowledged, accurately determining the recyclability of items and their proper disposal remains a complex task for the general public. In this study, we explore the application of…

Computer Vision and Pattern Recognition · Computer Science 2026-01-06 Eliot Park , Abhi Kumar , Pranav Rajpurkar

Multi-view clustering is an important yet challenging task due to the difficulty of integrating the information from multiple representations. Most existing multi-view clustering methods explore the heterogeneous information in the space…

Machine Learning · Computer Science 2019-09-16 Zhao Kang , Zipeng Guo , Shudong Huang , Siying Wang , Wenyu Chen , Yuanzhang Su , Zenglin Xu

Incorporating constraints is a major concern in probabilistic machine learning. A wide variety of problems require predictions to be integrated with reasoning about constraints, from modelling routes on maps to approving loan predictions.…

Machine Learning · Computer Science 2020-01-31 Ioannis Papantonis , Vaishak Belle

Distributed computation in artificial life and complex systems is often described in terms of component operations on information: information storage, transfer and modification. Information modification remains poorly described however,…

Information Theory · Computer Science 2013-10-10 Joseph T. Lizier , Benjamin Flecker , Paul L. Williams

Many AI applications rely on knowledge about a relevant real-world domain that is encoded by means of some logical knowledge base (KB). The most essential benefit of logical KBs is the opportunity to perform automatic reasoning to derive…

Artificial Intelligence · Computer Science 2016-05-20 Patrick Rodler