中文
相关论文

相关论文: A DNC function that computes no effectively bi-imm…

200 篇论文

The main result is the following: Let X be a finite set and D be a non empty family of choice functions for (X choose 2) closed under permutation of X. Then the following conditions are equivalent: (A) for any choice function c on (X choose…

组合数学 · 数学 2007-05-23 Saharon Shelah

Recently, it has been shown that many functions on sets can be represented by sum decompositions. These decompositons easily lend themselves to neural approximations, extending the applicability of neural nets to set-valued inputs---Deep…

机器学习 · 统计学 2020-04-09 Maximilian Soelch , Adnan Akhundov , Patrick van der Smagt , Justin Bayer

Artificial immune systems, more specifically the negative selection algorithm, have previously been applied to intrusion detection. The aim of this research is to develop an intrusion detection system based on a novel concept in immunology,…

人工智能 · 计算机科学 2016-11-17 Julie Greensmith , Jamie Twycross , Uwe Aickelin

Deep Neural Networks (DNNs) have revolutionized computer vision. We now have DNNs that achieve top (performance) results in many problems, including object recognition, facial expression analysis, and semantic segmentation, to name but a…

计算机视觉与模式识别 · 计算机科学 2020-05-04 Ciprian Corneanu , Meysam Madadi , Sergio Escalera , Aleix Martinez

A computable structure A is x-computably categorical for some Turing degree x, if for every computable structure B isomorphic to A there is an isomorphism f:B -> A with f computable in x. A degree x is a degree of categoricity if there is a…

逻辑 · 数学 2016-09-14 Bernard A. Anderson , Barbara F. Csima

The definition of conservative-irreversible functions is extended to smooth manifolds. The local representation of these functions is studied and reveals that not each conservative-irreversible function is given by the weighted product of…

数学物理 · 物理学 2024-04-09 Dan Goreac , Jonas Kirchhoff , Bernhard Maschke

We study the distributed function computation problem with $k$ users of which at most $s$ may be controlled by an adversary and characterize the set of functions of the sources the decoder can reconstruct robustly in the following sense --…

信息论 · 计算机科学 2025-03-11 Hari Krishnan P. Anilkumar , Neha Sangwan , Varun Narayanan , Vinod M. Prabhakaran

We present a powerful method to generate various equations which possess the Lax representations on noncommutative (1+1) and (1+2)-dimensional spaces. The generated equations contain noncommutative integrable equations obtained by using the…

高能物理 - 理论 · 物理学 2010-04-05 Masashi Hamanaka , Kouichi Toda

We propose a definition of double categories whose composition of 1-cells is weak in both directions. Namely, a doubly weak double category is a double computad -- a structure with 2-cells of all possible double-categorical shapes --…

范畴论 · 数学 2026-05-25 Aaron David Fairbanks , Michael Shulman

Immune system is the most important defense system to resist human pathogens. In this paper we present an immune model with bipartite graphs theory. We collect data through COPE database and construct an immune cell- mediators network. The…

适应与自组织系统 · 物理学 2007-12-06 Sheng-Rong Zou , Yu-Jing Peng , Zhong-Wei Guo , Ta Zhou , Chang-gui Gu , Da-Ren He

Working in the Blum-Shub-Smale model of computation on the real numbers, we answer several questions of Meer and Ziegler. First, we show that, for each natural number d, an oracle for the set of algebraic real numbers of degree at most d is…

计算机科学中的逻辑 · 计算机科学 2015-07-01 Wesley Calvert , Ken Kramer , Russell Miller

The Dendritic Cell Algorithm is an immune-inspired algorithm orig- inally based on the function of natural dendritic cells. The original instantiation of the algorithm is a highly stochastic algorithm. While the performance of the algorithm…

人工智能 · 计算机科学 2010-07-05 Julie Greensmith , Uwe Aickelin

Along the lines of Janssen's and Pfanzagl's work the testing theory for statistical functionals is further developed for non-parametric one-sample problems. Efficient tests for the one-sided and two-sided problems are derived for…

统计理论 · 数学 2013-11-11 Vladimir Ostrovski

Challenging the standard notion of totality in computable functions, one has that, given any sufficiently expressive formal axiomatic system, there are total functions that, although computable and "intuitively" understood as being total,…

计算机科学中的逻辑 · 计算机科学 2020-09-03 Felipe S. Abrahão , Klaus Wehmuth , Artur Ziviani

We present a new approach to the problem of mutually unbiased bases (MUBs), based on positive definite functions on the unitary group. The method provides a new proof of the fact that there are at most $d+1$ MUBs in ${\mathbb C}^d$. It may…

量子物理 · 物理学 2016-12-30 Mihail N. Kolountzakis , Máté Matolcsi , Mihály Weiner

Adversarial attack has cast a shadow on the massive success of deep neural networks. Despite being almost visually identical to the clean data, the adversarial images can fool deep neural networks into wrong predictions with very high…

机器学习 · 计算机科学 2017-04-18 Zhitao Gong , Wenlu Wang , Wei-Shinn Ku

We construct a symmetric invertible binary pairing function $F(m,n)$ on the set of positive integers with a property of $F(m,n)=F(n,m)$. Then we provide a complete proof of its symmetry and bijectivity, from which the construction of…

组合数学 · 数学 2021-05-25 Jianrui Xie

Richter, Stephan, and Zhang asked whether every nonrecursive many-one degree contains a least finite-one degree. We solve this question in the negative, already within the class of computably enumerable many-one degrees. Positive answers…

逻辑 · 数学 2026-04-14 Patrizio Cintioli

A one-to-one continuous function from a triangle to itself is defined that has both interesting number theoretic and analytic properties. This function is shown to be a natural generalization of the classical Minkowski ?(x) function. It is…

数论 · 数学 2007-05-23 Olga R. Beaver , Thomas Garrity

Given a bi-invariant metric on a group, we construct a version of an asymptotic cone without using ultrafilters. The new construction, called the directional asymptotic cone, is a contractible topological group equipped with a complete…

群论 · 数学 2023-08-07 Jarek Kędra , Assaf Libman