Results 261 to 270 of about 317,807 (299)
Some of the next articles are maybe not open access.
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
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
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
Mathematics of Operations Research, 2005 We study the properties of ultramodular functions, a class of functions that generalizes scalar convexity and that naturally arises in some economic and statistical applications.
Massimo Marinacci, Luigi Montrucchio
openaire +3 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 +1 more source
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
Subvexormal Functions and Subvex Functions
Journal of Optimization Theory and Applications, 1999Subvexormal 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, 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