Functional

A program logic for resources

Functional Programming / Design / Theoretical Computer Science / Conception / Mathematical Sciences / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS

A program logic for resources

Functional Programming / Design / Theoretical Computer Science / Conception / Mathematical Sciences / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS

Internal tidal mixing as a control on continental margin ecosystems

Carbon Sequestration / Carbon Cycle / Multidisciplinary / Mixing / Protein Structure and Function / FISH / Ecosystems / Plankton / Exportation / Surface Water / Marine Sciences / Continental shelf / Stocks / Stock / Deep water / Fish Larvae / Source / Particulate organic carbon / Ecosystem / Geophysical / Functional / Larvae / Organic carbon / Bathymetry / Internal waves / Temporal Variability / Continental Margin / Plancton / FISH / Ecosystems / Plankton / Exportation / Surface Water / Marine Sciences / Continental shelf / Stocks / Stock / Deep water / Fish Larvae / Source / Particulate organic carbon / Ecosystem / Geophysical / Functional / Larvae / Organic carbon / Bathymetry / Internal waves / Temporal Variability / Continental Margin / Plancton

Transient global amnesia: hippocampal magnetic resonance imaging abnormalities

Brain Mapping / Hippocampus / Humans / Female / Male / Aged / Middle Aged / Functional Neurology / Functional / Retrospective Studies / Aged / Middle Aged / Functional Neurology / Functional / Retrospective Studies

Parametrized multifield variational principles in elasticity: I. Mixed functionals

Elasticity / Functional

Transient global amnesia: hippocampal magnetic resonance imaging abnormalities

Brain Mapping / Hippocampus / Humans / Female / Male / Aged / Middle Aged / Functional Neurology / Functional / Retrospective Studies / Aged / Middle Aged / Functional Neurology / Functional / Retrospective Studies

Behavioural compensation reduces energy expenditure during migration hyperphagia in a large bird

Zoology / Animal Behavior / Migration / Functional Ecology / Animal Ecology / Avian Ecology / Animal Physiology / Avian Biology / Biological Sciences / Environmental Sciences / Avian Physiology / Birds Ecology / Functional / Avian Ecology / Animal Physiology / Avian Biology / Biological Sciences / Environmental Sciences / Avian Physiology / Birds Ecology / Functional

Behavioural compensation reduces energy expenditure during migration hyperphagia in a large bird

Zoology / Animal Behavior / Migration / Functional Ecology / Animal Ecology / Avian Ecology / Animal Physiology / Avian Biology / Biological Sciences / Environmental Sciences / Avian Physiology / Birds Ecology / Functional / Avian Ecology / Animal Physiology / Avian Biology / Biological Sciences / Environmental Sciences / Avian Physiology / Birds Ecology / Functional

Robust Kernel Principal Component Analysis

Functional Analysis / Algorithms / Principal Component Analysis / Decomposition / Neural Network / Multidisciplinary / Linear models / Humans / Missing Data / Feature Extraction / Functional / Kernel principal component analysis (KPCA) / Reproducibility of Results / Adomian decomposition method / Neural Computation / Eigenvalue Problems / Cost Function / Covariance / Feature Space / Kernel Function / Outlier / Multidisciplinary / Linear models / Humans / Missing Data / Feature Extraction / Functional / Kernel principal component analysis (KPCA) / Reproducibility of Results / Adomian decomposition method / Neural Computation / Eigenvalue Problems / Cost Function / Covariance / Feature Space / Kernel Function / Outlier

Principal components for multivariate functional data

Econometrics / Statistics / Information Theory / Data Analysis / Principal Component Analysis / Numerical Analysis / Numerical Linear Algebra / Correspondence Analysis / Multivariate Analysis / Dimension Reduction / Factor analysis / Variance / Eigenvalues / Information Loss / Functional / Principal component analysis (PCA) / Statistical Theory / Covariance analysis / Eigenvalue Problems / Variance Analysis / Eigenvector / Computational Statistics and Data Analysis / Statistical Regression / Numerical Analysis / Numerical Linear Algebra / Correspondence Analysis / Multivariate Analysis / Dimension Reduction / Factor analysis / Variance / Eigenvalues / Information Loss / Functional / Principal component analysis (PCA) / Statistical Theory / Covariance analysis / Eigenvalue Problems / Variance Analysis / Eigenvector / Computational Statistics and Data Analysis / Statistical Regression

Copyright © 2017 DATOSPDF Inc.