Results 271 to 280 of about 11,146,715 (308)

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

Functional nanoparticles through π-conjugated polymer self-assembly

Nature Reviews Materials, 2020
Liam R Macfarlane, Huda Shaikh, Juan Diego Garcia-Hernandez   +2 more
exaly  

Metal Ion-Directed Functional Metal–Phenolic Materials

Chemical Reviews, 2022
Huimin Geng, Qi-Zhi Zhong, Jianhua Li
exaly  

Functional precision oncology using patient-derived assays: bridging genotype and phenotype

Nature Reviews Clinical Oncology, 2023
Emile E Voest
exaly  

Functional Supramolecular Polymeric Networks: The Marriage of Covalent Polymers and Macrocycle-Based Host–Guest Interactions

Chemical Reviews, 2020
Danyu Xia, Pi Wang, Xiaofan Ji
exaly  

Functional Imaging of Cancer with Emphasis on Molecular Techniques

Ca-A Cancer Journal for Clinicians, 2007
Mohamed Houseni
exaly  

Clinical characteristics, pathophysiology, and management of noncentral nervous system cancer‐related cognitive impairment in adults

Ca-A Cancer Journal for Clinicians, 2015
Jeffrey S Wefel, Shelli R Kesler
exaly