Filters
Computations - Volume I
Basic themes of document: partial recursive functions; Turing machines; recursion theory...
BA - Obecná matematika
- 2011 •
- B
Rok uplatnění
B - Odborná kniha
Feasible set functions have small circuits
The Cobham Recursive Set Functions (CRSF) provide an analogue of polynomial characterizations of CRSF. The first is algebraic, using subset-bounded recursion and a form of Mostowski collapse. The second is our main result: ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Cobham recursive set functions
This paper introduces the Cobham Recursive Set Functions (CRSF) as a version of polynomial time computable functions on general sets, based on a limited (bounded) form of ∈-recursion. This is inspired by Cobham's c...
BA - Obecná matematika
- 2016 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Library for recursive system identification
The library contains functions for recursive identification. It is written in ANSI-C programming language. It was tested on 32bit microporocessors version STM32F4. Structure of the library is created by functions for re...
BC - Teorie a systémy řízení
- 2012 •
- R •
- Link
Rok uplatnění
R - Software
Výsledek na webu
On Evolving of Recursive Functions Using Lambda Abstraction and Higher-order Functions
This article introduces an application of higher order functions as structure abstractions of recursive functions as a method to reduce a search effort needed for the automatic programming (evolving) of common types of ...
JD - Využití počítačů, robotika a její aplikace
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Synthetic Concepts A Priori
Concepts are explicated as objective procedures ("constructions" in transparent intensional logic). All mathematical concepts are a priori. Analytic mathematical concepts are effective procedures that compute some recursive functions
AA - Filosofie a náboženství
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
Skip This Paper - RINASim: Your Recursive InterNetwork Architecture Simulator
Recursive InterNetwork Architecture is a clean-slate approach how to deal with the current issues of Internet based on traditional TCP/IP networking stack. Instead of fixed number of layers with dedicated functionality, RINA propose...
IN - Informatika
- 2015 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Do we need recursion?
The operation of primitive recursion, and recursion in a more general sense, is undoubtedly a useful tool. However, we will explain that in two situa- tion where we work with it, namely in the definition of partial recursive
Pure mathematics
- 2020 •
- O
Rok uplatnění
O - Ostatní výsledky
Chebyshev polynomial approximation for activation sigmoid function
An alternative polynomial approximation for the activation sigmoid function is developed here. It can considerably simplify the input/output operations of a neural network. The recursive algorithm is found for Chebyshev expansion of...
BA - Obecná matematika
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Recursive functions and existentially closed structures
The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory T in which all partially recursive functions are representable, yet...
Pure mathematics
- 2020 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 out of 101 388