1
Pubblicazione 2015
Sommario: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Testo
Elettronico eBook
2
Pubblicazione 2005
Sommario: ... Programming with Dependent Types -- Combining Datatypes and Effects -- GEC: A Toolkit for Generic Rapid...
Testo
Elettronico eBook
3
di Addis, Tom., Addis, Tom., Addis, Jan.
Pubblicazione 2010
Sommario: ... Maps and Mechanisms -- Functional Thinking -- Thinking Practically -- Side-Effect Programming...
Testo
Elettronico eBook
4
Pubblicazione 2005
Sommario: ..., Effective Code-Size Reduction for Functional Programs....
Testo
Elettronico eBook
5
Pubblicazione 2005
Sommario: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
Testo
Elettronico eBook
6
di Li, Xingfeng., Li, Xingfeng.
Pubblicazione 2014
Sommario: ... -- AIF selection -- Dispersion effects in DSC-MRI -- -Summary of the PWI algorithm -- First level fMRI...
Testo
Elettronico eBook
7
Pubblicazione 2015
Sommario: ... Transitions in Arabidopsis -- Mechanisms of Transposable Element Evolution in Plants and their Effects on Gene...
Testo
Elettronico eBook
8
... or activity for fitness or high performance sports. This study examined the effect of functional training...
Testo
Articolo
9
Pubblicazione 2014
Sommario: ... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....
Testo
Elettronico eBook
10
Pubblicazione 2013
Sommario: ..., Boston, USA) Fetal hormonal programming of the brain: Implications for understanding sex differences...
Testo
Elettronico eBook
11
... Malaysian context. Aim The study aimed to identify the effectiveness of the buddy program training module...
Testo
Articolo
12
Pubblicazione 2013
Sommario: ... regulation by androgen receptor -- The Functionality of Prostate Cancer Predisposition Risk Regions...
Testo
Elettronico eBook
13
Pubblicazione 2015
Sommario: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
Testo
Elettronico eBook
14
Pubblicazione 2008
Sommario: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Testo
Elettronico eBook
15
Pubblicazione 2013
Sommario: ... for Effectively Cutpoint-Free Programs....
Testo
Elettronico eBook
16
Pubblicazione 2013
Sommario: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
Testo
Elettronico eBook
17
Pubblicazione 2010
Sommario: ...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...
Testo
Elettronico eBook
18
Pubblicazione 2008
Sommario: ...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...
Testo
Elettronico eBook
19
Pubblicazione 2012
Sommario: ... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...
Testo
Elettronico eBook
20
Pubblicazione 2006
Sommario: ... and Effect System for Multi-staged Exceptions -- Session 2 -- Relational Reasoning for Recursive Types...
Testo
Elettronico eBook