Results 251 to 260 of about 6,413,720 (299)

Relativistic Prolapse-Free Gaussian Basis Sets of Double- and Triple-ζ Quality for f-Block Elements: (aug-)RPF-2Z and (aug-)RPF-3Z. [PDF]

J Chem Theory Comput
Dias AKNDR, Sousa JDS, Gusmão EF, Haiduke RLA.   +3 more
europepmc   +1 more source

Statement of Retraction: LncRNA HOXA10-AS functions as an oncogene by binding miR-6509-5p to upregulate Y-box binding protein 1 in gastric cancer. [PDF]

Bioengineered
europepmc   +1 more source

Quality and Functional Breadth of Publicly Available Mobile Apps Supporting Self-Management After Kidney Transplantation: Cross-Sectional App Store Evaluation. [PDF]

JMIR Form Res
Lee H, Kang CM.
europepmc   +1 more source

Functionalism, functional analysis and functional explanation

openaire   +1 more source

Some of the next articles are maybe not open access.

Related searches:

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

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