中文
相关论文

相关论文: Transfer Function Synthesis without Quantifier Eli…

200 篇论文

Transfer learning considers a learning process where a new task is solved by transferring relevant knowledge from known solutions to related tasks. While this has been studied experimentally, there lacks a foundational description of the…

机器学习 · 计算机科学 2020-08-04 Janith Petangoda , Nick A. M. Monk , Marc Peter Deisenroth

Partition of unities appear in many places in analysis. Typically they are generated by compactly supported functions with a certain regularity. In this paper we consider partition of unities obtained as integer-translates of entire…

泛函分析 · 数学 2013-08-27 Ole Christensen , Hong Oh Kim , Rae Young Kim

In a recent work, arXiv:2503.05884, we proposed a unified notion of nonclassicality that applies to arbitrary processes in quantum theory, including individual quantum states, measurements, channels, set of these, etc. This notion is…

量子物理 · 物理学 2025-04-07 Yujie Zhang , Yìlè Yīng , David Schmid

Functionals are an important research subject in Mathematics and Computer Science as well as a challenge in Information Technologies where the current programming paradigm states that only symbolic computations are possible on higher order…

逻辑 · 数学 2018-09-13 Stanislaw Ambroszkiewicz

In this paper, a functional model of interactions in quantum theory (QT) is proposed. A functional model describes the dynamic evolution of a physical system in terms of process steps and intermediate states. That is, it describes how…

量子物理 · 物理学 2015-01-06 Hans H. Diel

Transferring knowledge from one neural network to another has been shown to be helpful for learning tasks with few training examples. Prevailing fine-tuning methods could potentially contaminate pre-trained features by comparably high…

机器学习 · 计算机科学 2019-07-15 Farshid Varno , Behrouz Haji Soleimani , Marzie Saghayi , Lisa Di Jorio , Stan Matwin

Retrosynthesis is a problem to infer reactant compounds to synthesize a given product compound through chemical reactions. Recent studies on retrosynthesis focus on proposing more sophisticated prediction models, but the dataset to feed the…

机器学习 · 计算机科学 2020-10-05 Katsuhiko Ishiguro , Kazuya Ujihara , Ryohto Sawada , Hirotaka Akita , Masaaki Kotera

Set functions are functions (or signals) indexed by the powerset (set of all subsets) of a finite set N. They are fundamental and ubiquitous in many application domains and have been used, for example, to formally describe or quantify loss…

信息论 · 计算机科学 2021-05-18 Markus Püschel , Chris Wendler

The main goal of this paper is to give a rigorous mathematical description of systems for processing quantum information. To do it authors consider abstract state machines as models of classical computational systems. This class of machines…

计算复杂性 · 计算机科学 2012-06-12 Mizal Alobaidi , Andriy Batyiv , Grygoriy Zholtkevych

Transfer entropy is used to establish a measure of causal relationships between two variables. Symbolic transfer entropy, as an estimation method for transfer entropy, is widely applied due to its robustness against non-stationarity. This…

计算复杂性 · 计算机科学 2024-09-24 Dian Jin

The modulation transfer function (MTF) is widely used to characterise the performance of optical systems. Measuring it is costly and it is thus rarely available for a given lens specimen. Instead, MTFs based on simulations or, at best, MTFs…

计算机视觉与模式识别 · 计算机科学 2018-05-07 Matthias Bauer , Valentin Volchkov , Michael Hirsch , Bernhard Schölkopf

Influence functions estimate the effect of removing a training point on a model without the need to retrain. They are based on a first-order Taylor approximation that is guaranteed to be accurate for sufficiently small changes to the model,…

机器学习 · 计算机科学 2019-11-22 Pang Wei Koh , Kai-Siang Ang , Hubert H. K. Teo , Percy Liang

Initially developed for natural language processing (NLP), Transformers are now widely used for source code processing, due to the format similarity between source code and text. In contrast to natural language, source code is strictly…

机器学习 · 计算机科学 2021-06-25 Nadezhda Chirkova , Sergey Troshin

Cognitive transfer is the ability to apply learned skills and knowledge to new applications and contexts. This investigation evaluates cognitive transfer outcomes for a tertiary-level introductory statistics course using the CATALST…

其他统计学 · 统计学 2017-12-05 Matthew D. Beckman , Robert C. delMas , Joan Garfield

We present a general model allowing static analysis based on abstract interpretation for systems of communicating processes. Our technique, inspired by Regular Model Checking, represents set of program states as lattice automata and…

软件工程 · 计算机科学 2016-11-29 Vincent Botbol , Emmanuel Chailloux , Tristan Le Gall

The transfer of quantum information between different locations is key to many quantum information processing tasks. Whereas, the transfer of a single qubit state has been extensively investigated, the transfer of a many-body system…

While conditional diffusion models have achieved remarkable success in various applications, they require abundant data to train from scratch, which is often infeasible in practice. To address this issue, transfer learning has emerged as an…

机器学习 · 计算机科学 2025-10-28 Ziheng Cheng , Tianyu Xie , Shiyue Zhang , Cheng Zhang

We study the problem of learning a good set of policies, so that when combined together, they can solve a wide variety of unseen reinforcement learning tasks with no or very little new data. Specifically, we consider the framework of…

机器学习 · 计算机科学 2022-03-16 Safa Alver , Doina Precup

Recent technical advances have sparked renewed interest in physical systems that couple simultaneously to different parts of the electromagnetic spectrum, thus enabling transduction of signals between vastly different frequencies at the…

量子物理 · 物理学 2020-06-30 Emil Zeuthen , Albert Schliesser , Anders S. Sørensen , Jacob M. Taylor

We focus on (partial) functions that map input strings to a monoid such as the set of integers with addition and the set of output strings with concatenation. The notion of regularity for such functions has been defined using two-way…

形式语言与自动机理论 · 计算机科学 2014-02-14 Rajeev Alur , Adam Freilich , Mukund Raghothaman