Results 281 to 290 of about 934,400 (317)

Refinable functions, functionals, and iterated function systems

Applied Mathematics and Computation, 2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Francesco Calabrò, A. Corbo Esposito, G. Mantica, T. Radice   +3 more
openaire   +2 more sources

Graph Functions of Boolean Functions

IEEE Transactions on Computers, 1984
We 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), 2014
In 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, 1992
The 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   +1 more source

The function of function

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

Subvexormal Functions and Subvex Functions

Journal of Optimization Theory and Applications, 1999
Subvexormal functions and subinvexormal functions are proposed, whose properties are shared commonly by most generalized convex functions and most generalized invex functions, respectively. A necessary and sufficient condition for a subvexormal function to be subinvexormal is given in the locally Lipschitz and regular case.
Li, X. F., Dong, J. L.
openaire   +1 more source

Generating Functions for Hermite Functions

Canadian Journal of Mathematics, 1959
Hermite'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, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

The Function of Function Words and Functional Categories

2005
This 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

Body functionality: A review of the literature

Body Image, 2021
Jessica M Alleva, Tracy L Tylka
exaly