Results 221 to 230 of about 6,971,345 (265)
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Refinable functions, functionals, and iterated function systems
Applied Mathematics and Computation, 2016zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Francesco Calabrò +3 more
openaire +2 more sources
Graph Functions of Boolean Functions
IEEE Transactions on Computers, 1984We introduce and characterize those Boolean functions (graph functions) which can be regarded as characteristic functions of graphs of other Boolean functions. An algorithm for detecting these functions is also presented. Finally, we discuss the complexity of computing a Boolean function which can be regarded as a graph function.
Corina Reischer, Dan A. Simovici
openaire +2 more sources
A functional functional interpretation
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014In this paper, we present a modern reformulation of the Dialectica interpretation based on the linearized version of de Paiva. Contrarily to Gödel's original translation which translated HA into system T, our presentation applies on untyped λ-terms and features nicer proof-theoretical properties.
openaire +2 more sources
Functions and functional on finite systems
Journal of Symbolic Logic, 1992The global function on finite systems is a new concept defined by Gurevich in [1] and discussed in [2] and [3]. In the last ten years this concept has become more and more useful in computer science and logic. Gurevich also pointed out the importance of global functionals on finite systems.
openaire +2 more sources
Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences, 2000
Abstract Contemporary analyses of biological function almost invariably advocate a naturalistic analysis, grounding biological functions in some feature of the mind-independent world. Many recent accounts suggest that no single analysis will be appropriate for all cases of use and that biological teleology should be split into several distinct ...
openaire +1 more source
Abstract Contemporary analyses of biological function almost invariably advocate a naturalistic analysis, grounding biological functions in some feature of the mind-independent world. Many recent accounts suggest that no single analysis will be appropriate for all cases of use and that biological teleology should be split into several distinct ...
openaire +1 more source
Functional Equations and Distribution Functions
Results in Mathematics, 1994Let \(a \in (0,1)\), \(N \in \mathbb{N} \backslash \{1\}\) and \(- 1 = \beta_0 \leq \beta_1 \leq \dots \leq \beta_{N - 1} = 1\). Then the functional equation \[ f(x) = {1 \over N} \sum^{N - 1}_{k = 0} f \left( {x - \beta_k \over a} \right) \] has a unique bounded solution \(f : \mathbb{R} \to \mathbb{R}\) vanishing on \((- \infty, -1/(1 - a))\) and ...
Borwein, Jonathan M., Girgensohn, Roland
openaire +1 more source