Results 231 to 240 of about 589,926 (268)

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

Wave-function functionals

Physical Review A, 2010
We extend our prior work on the construction of variational wave functions $\ensuremath{\psi}$ that are functionals of functions $\ensuremath{\chi}:\ensuremath{\psi}=\ensuremath{\psi}[\ensuremath{\chi}]$ rather than simply being functions. In this manner, the space of variations is expanded over those of traditional variational wave functions.
Xiao-Yin Pan, Marlina Slamet, Viraht Sahni   +2 more
openaire   +1 more source

Generating Functions for Ultraspherical Functions

Canadian Journal of Mathematics, 1968
The ultraspherical function1.1for |1 — x| < 2 is a solution of the differential equation1.2This equation has two independent solutions; of the two, only Pn(λ)(x) is analytic at x = 1, aside for some special values of λ, which we shall not consider.
openaire   +2 more sources

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

Body functionality: A review of the literature

Body Image, 2021
Jessica Alleva, Tracy L Tylka
exaly  

Functionality appreciation and its correlates: Systematic review and meta-analysis

Body Image, 2023
Jake Linardon, Mariel Messer, Tracy L Tylka   +2 more
exaly  

Impact of plasma reactive species on the structure and functionality of pea protein isolate

Food Chemistry, 2022
Fan Bu, Gaurav Nayak, Peter Bruggeman
exaly  

Effect of ultrasound on protein functionality

Ultrasonics Sonochemistry, 2021
Jing Su, Artur M Cavaco-Paulo
exaly  

An exploration of how creativity, functionality, and aesthetics are related in design

Research in Engineering Design - Theory, Applications, and Concurrent Engineering, 2021
Ji Han, Dirk Schaefer
exaly  

Gastrointestinal functionality in animal nutrition and health: New opportunities for sustainable animal production

Animal Feed Science and Technology, 2017
Pietro Celi, Aaron J Cowieson
exaly