中文
相关论文

相关论文: Contamination-Free Measures and Algebraic Operatio…

200 篇论文

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…

人机交互 · 计算机科学 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,…

数据库 · 计算机科学 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…

信息检索 · 计算机科学 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…

种群与进化 · 定量生物学 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…

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…

计算与语言 · 计算机科学 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…

流体动力学 · 物理学 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…

信息检索 · 计算机科学 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…

统计方法学 · 统计学 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…

计算与语言 · 计算机科学 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…

人工智能 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

社会与信息网络 · 计算机科学 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…

微分几何 · 数学 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…

计算机科学中的逻辑 · 计算机科学 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 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

逻辑 · 数学 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…

量子物理 · 物理学 2024-10-14 Alex Wilce