Results 231 to 240 of about 3,409,433 (269)
Some of the next articles are maybe not open access.
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
Generating Functions for Hermite Functions
Canadian Journal of Mathematics, 1959Hermite's function Hn(x) is denned for all complex values of x and n bywhere F (α; γ; x) is Kummer's function with the customary indices omitted. It satisfies the differential equation1.1of whichis a second solution. Every solution of (1.1) is an entire function.
openaire +2 more sources
The Wigner Function as Distribution Function
Foundations of Physics, 2006zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
The Function of Function Words and Functional Categories
2005This volume brings together papers which address a range of issues regarding the syntax of function words and functional categories in the Germanic languages. The works offered in this volume derive specifically from comparative studies of Germanic; at the same time they all bear directly on long-standing problems in syntactic theory and universal ...
openaire +1 more source
The Minimal Function of a BV Function
Results in MathematicszbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jing Li, Feng Liu
openaire +2 more sources
On the Distribution Function of Additive Functions
The Annals of Mathematics, 1946The author extends his previous work on the distribution of values of additive arithmetical functions [J. Lond. Math. Soc. 13, 119--127 (1938; Zbl 0018.29301); Am. J. Math. 61, 713--721 (1939; Zbl 0022.00903) and Am. J. Math. 61, 722--725 (1939; Zbl 0022.01001)]. Many striking results are obtained.
openaire +2 more sources