English
Related papers

Related papers: Contamination-Free Measures and Algebraic Operatio…

200 papers

Designing safe and sustainable chemicals is critical to combat chemical pollution in our environment. Machine learning (ML) methods have been developed to aid with de novo molecule design. However, data on the environmental impacts of…

Human-Computer Interaction · Computer Science 2026-05-18 Coelina Robinson , Franziska Weissbach , Kjell Jorner , Mennatallah El-Assady , Christina Humer

Data mining environment produces a large amount of data, that need to be analyzed, patterns have to be extracted from that to gain knowledge. In this new era with boom of data both structured and unstructured, in the field of genomics,…

Databases · Computer Science 2013-07-23 Chanchal Yadav , Shuliang Wang , Manoj Kumar

Recent breakthroughs in large language models (LLMs), particularly in reasoning capabilities, have propelled Retrieval-Augmented Generation (RAG) to unprecedented levels. By synergizing retrieval mechanisms with advanced reasoning, LLMs can…

Information Retrieval · Computer Science 2025-04-25 Yunfan Gao , Yun Xiong , Yijie Zhong , Yuxi Bi , Ming Xue , Haofen Wang

I consider the many ways in which evolved information-flows are restricted and metabolic resources protected and hidden -- the thesis of living phenomena as evolutionary cryptosystems. I present the information theory of secrecy systems and…

Populations and Evolution · Quantitative Biology 2015-05-08 David Krakauer

Retrieval-Augmented Generation (RAG) has become the dominant approach for answering questions over large corpora. However, current datasets and methods are highly focused on cases where only a small part of the corpus (usually a few…

Computation and Language · Computer Science 2025-11-12 Omri Koshorek , Niv Granot , Aviv Alloni , Shahar Admati , Roee Hendel , Ido Weiss , Alan Arazi , Shay-Nitzan Cohen , Yonatan Belinkov

Understanding how language and embedding models encode semantic relationships is fundamental to model interpretability. While early word embeddings exhibited intuitive vector arithmetic (''king'' - ''man'' + ''woman'' = ''queen''), modern…

Computation and Language · Computer Science 2026-02-27 Michael Freenor , Lauren Alvarez

Machine learning is used to develop closure terms for coarse grained model of two-dimensional turbulent flow directly from the coarse grained data by adding a source term to the Navier-Stokes equations to ensure that the coarse-grained flow…

Fluid Dynamics · Physics 2022-05-04 Xianyang Chen , Jiacai Lu , Gretar Tryggvason

The rapid expansion of space activities has led to an unprecedented accumulation of technical documentation, operational guidelines, and scientific literature, creating challenges for timely decision-making in space operations. Effective…

Information Retrieval · Computer Science 2026-05-28 Ruben Belo , Marta Guimarães , Cláudia Soares

In many environmental applications involving spatially-referenced data, limitations on the number and locations of observations motivate the need for practical and efficient models for spatial interpolation, or kriging. A key component of…

Methodology · Statistics 2016-10-11 Mark D. Risser

Memory-efficient large language models are good at refining text input for better readability. However, controllability is a matter of concern when it comes to text generation tasks with long inputs, such as multi-document summarization. In…

Computation and Language · Computer Science 2023-10-06 Litton J Kurisinkel , Nancy F chen

To capture the uncertainty of information or knowledge in information systems, various information granulations, also known as knowledge granulations, have been proposed. Recently, several axiomatic definitions of information granulation…

Artificial Intelligence · Computer Science 2009-08-28 Ping Zhu

We give a sequential model for noninterference security including probability (but not demonic choice), thus supporting reasoning about the likelihood that high-security values might be revealed by observations of low-security activity. Our…

Formal Languages and Automata Theory · Computer Science 2010-07-08 Annabelle McIver , Larissa Meinicke , Carroll Morgan

Reactive systems (RSs) represent a meta-framework aimed at deriving behavioral congruences for those computational formalisms whose operational semantics is provided by reduction rules. RSs proved a flexible specification device, yet so far…

Logic in Computer Science · Computer Science 2010-02-16 Filippo Bonchi , Fabio Gadducci , Giacoma Valentina Monreale

In this work, we study the problem of clearing contamination spreading through a large network where we model the problem as a graph searching game. The problem can be summarized as constructing a search strategy that will leave the graph…

Social and Information Networks · Computer Science 2014-08-19 Michael Simpson , Venkatesh Srinivasan , Alex Thomo

Geometric problems are usually formulated by means of (exterior) differential systems. In this theory, one enriches the system by adding algebraic and differential constraints, and then looks for regular solutions. Here we adopt a dual…

Differential Geometry · Mathematics 2016-09-07 Abdelghani Zeghib

In the talk at the workshop my aim was to demonstrate the usefulness of graph techniques for tackling problems that have been studied predominantly as problems on the term level: increasing sharing in functional programs, and addressing…

Logic in Computer Science · Computer Science 2019-02-07 Clemens Grabmayer

Given the present state of work in natural language processing, this address argues first, that advance in both science and applications requires a revival of concern about what language is about, broadly speaking the world; and second,…

cmp-lg · Computer Science 2008-02-03 Karen Sparck Jones

Rough sets are approximations of concrete sets. The theory of rough sets has been used widely for data-mining. While it is well-known that adjunctions are underlying in rough approximations, such adjunctions are not enough for…

Logic in Computer Science · Computer Science 2025-04-08 Yoshihiko Kakutani

Both algebraic and computational approaches for dealing with similarity spaces are well known in generalized rough set theory. However, these studies may be said to have been confined to particular perspectives of distinguishability in the…

Logic · Mathematics 2009-05-14 A. Mani

Two very basic constructions involving experimental procedures are the formation of coarse-grained versions of experiments, and the formation of branching sequential experiments. The latter allow for the conditioning of states on the…

Quantum Physics · Physics 2024-10-14 Alex Wilce