English
Related papers

Related papers: Conflict Essences for Transformation Rules with Ne…

200 papers

In this paper, we consider existential rules, an expressive formalism well suited to the representation of ontological knowledge and data-to-ontology mappings in the context of ontology-based data integration. The chase is a fundamental…

Artificial Intelligence · Computer Science 2021-07-14 Maxime Buron , Marie-Laure Mugnier , Michaël Thomazo

Cross-domain knowledge alignment is essential for integrating heterogeneous medical systems, yet existing approaches typically treat entity alignment as a static matching problem, ignoring query context and cross-system asymmetry. This…

Artificial Intelligence · Computer Science 2026-05-19 Yan Jiao , Jingran Xu , Pin-Han Ho , Limei Peng

Beneficial to advanced computing devices, models with massive parameters are increasingly employed to extract more information to enhance the precision in describing and predicting the patterns of objective systems. This phenomenon is…

Information Theory · Computer Science 2024-03-08 Liye Jia , Fengyufan Yang , Ka Lok Man , Erick Purwanto , Sheng-Uei Guan , Jeremy Smith , Yutao Yue

Statistical inference for exponential-family models of random graphs with dependent edges is challenging. We stress the importance of additional structure and show that additional structure facilitates statistical inference. A simple…

Statistics Theory · Mathematics 2020-03-13 Michael Schweinberger , Jonathan Stewart

We propose a transition-based bubble parser to perform coordination structure identification and dependency-based syntactic analysis simultaneously. Bubble representations were proposed in the formal linguistics literature decades ago; they…

Computation and Language · Computer Science 2021-07-16 Tianze Shi , Lillian Lee

Entanglement is a central feature of quantum theory. Mathematical properties and physical applications of pure state entanglement make it a template to study quantum correlations. However, an extension of entanglement measures to mixed…

Quantum Physics · Physics 2017-07-19 Aharon Brodutch , Daniel R. Terno

As large language models (LLMs) advance toward expert-level performance in engineering domains, reliable reasoning under user-specified constraints becomes critical. In circuit analysis, for example, a numerically correct solution is…

Software Engineering · Computer Science 2026-04-23 Mayank Ravishankara

Today's complex software systems combine high-level concurrency models. Each model is used to solve a specific set of problems. Unfortunately, debuggers support only the low-level notions of threads and shared memory, forcing developers to…

Programming Languages · Computer Science 2017-10-31 Stefan Marr , Carmen Torres Lopez , Dominik Aumayr , Elisa Gonzalez Boix , Hanspeter Mössenböck

The dependency graph is a data architecture that models all the dependencies between the different types of assets in the game. It depicts the dependency-based relationships between the assets of a game. For example, a player must construct…

Artificial Intelligence · Computer Science 2013-01-29 Sim-Hui Tee

State-of-the-art deep neural networks (DNNs) are highly effective in solving many complex real-world problems. However, these models are vulnerable to adversarial perturbation attacks, and despite the plethora of research in this domain, to…

Machine Learning · Computer Science 2019-09-10 Gil Fidel , Ron Bitton , Asaf Shabtai

Recent developments in wearable sensors demonstrate promising results for monitoring physiological status in effective and comfortable ways. One major challenge of physiological status assessment is the problem of transfer learning caused…

Signal Processing · Electrical Eng. & Systems 2020-04-20 Mo Han , Ozan Ozdenizci , Ye Wang , Toshiaki Koike-Akino , Deniz Erdogmus

Difference-in-differences is a widely-used evaluation strategy that draws causal inference from observational panel data. Its causal identification relies on the assumption of parallel trends, which is scale dependent and may be…

Applications · Statistics 2019-06-25 Peng Ding , Fan Li

Rule mining is an effective approach for reasoning over knowledge graph (KG). Existing works mainly concentrate on mining rules. However, there might be several rules that could be applied for reasoning for one relation, and how to select…

Logic in Computer Science · Computer Science 2022-09-14 Zezhong Xu , Peng Ye , Hui Chen , Meng Zhao , Huajun Chen , Wen Zhang

In this work we introduce declarative statistics, a suite of declarative modelling tools for statistical analysis. Statistical constraints represent the key building block of declarative statistics. First, we introduce a range of relevant…

Artificial Intelligence · Computer Science 2017-12-29 Roberto Rossi , Özgür Akgün , Steven Prestwich , S. Armagan Tarim

We study competition between the dissipative and coherent effects in the entanglement dynamics of two qubits. The coherent interactions are needed for designing logic gate operations with systems like ion traps, semicondutor quantum dots…

Quantum Physics · Physics 2009-11-23 Sumanta Das , G S Agarwal

Measuring the statistical dependence between observed signals is a primary tool for scientific discovery. However, biological systems often exhibit complex non-linear interactions that currently cannot be captured without a priori knowledge…

How complex is an Ising model? Usually, this is measured by the computational complexity of its ground state energy problem. Yet, this complexity measure only distinguishes between planar and non-planar interaction graphs, and thus fails to…

Statistical Mechanics · Physics 2025-05-28 Tobias Reinhart , Gemma De les Coves

Research has shown that widely used deep neural networks are vulnerable to carefully crafted adversarial perturbations. Moreover, these adversarial perturbations often transfer across models. We hypothesize that adversarial weakness is…

Machine Learning · Statistics 2019-06-24 Horace He , Aaron Lou , Qingxuan Jiang , Isay Katsman , Serge Belongie , Ser-Nam Lim

In this work we derive analytical relations between Entanglement and Coherence as well as between Discord and Coherence, for Bell-diagonal states and for X states, evolving under the action of several noise channels: Bit Flip, Phase Damping…

Quantum Physics · Physics 2020-11-12 J. D. Young , A. Auyuanet

Query answering under existential rules -- implications with existential quantifiers in the head -- is known to be decidable when imposing restrictions on the rule bodies such as frontier-guardedness [BLM10, BLMS11]. Query answering is also…

Databases · Computer Science 2019-08-28 Antoine Amarilli , Michael Benedikt
‹ Prev 1 8 9 10 Next ›