1
Taula de continguts: ...Introduction -- House Rating Schemes -- Thermal Comfort -- Modelling efficient building design...
Obtenir text complet
Electrònic eBook
2
... programs. To address these issues, nonlinear dynamic systems, notably Recurrent Neural Networks (RNNs...
Obtenir text complet
Article
3
Publicat 2012
Taula de continguts: ... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...
Obtenir text complet
Electrònic eBook
4
Publicat 2015
Taula de continguts: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
Obtenir text complet
Electrònic eBook
5
Publicat 2008
Taula de continguts: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Obtenir text complet
Electrònic eBook
6
Publicat 2015
Taula de continguts: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
Obtenir text complet
Electrònic eBook
7
Publicat 2006
Taula de continguts: ... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...
Obtenir text complet
Electrònic eBook
8
Publicat 2005
Taula de continguts: ...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...
Obtenir text complet
Electrònic eBook
9
Publicat 2007
Taula de continguts: ... Rate -- Revising Probabilistic Prolog Programs -- Inductive Logic Programming for Gene Regulation...
Obtenir text complet
Electrònic eBook
10
per Zhang, Yue., Zhang, Yue.
Publicat 2015
Taula de continguts: ... Python Program -- Branching and Looping -- Problem solving using branches and loops -- Functions -- Lists...
Obtenir text complet
Electrònic eBook
11
Publicat 2014
Taula de continguts: ... Portfolio using Genetic Programming-based Load Models -- Maintenance of a Long Running Distributed Genetic...
Obtenir text complet
Electrònic eBook
12
Publicat 2010
Taula de continguts: ..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...
Obtenir text complet
Electrònic eBook
13
Publicat 2012
Taula de continguts: ... of the Hip -- Gender Differences in Core Strength and Lower Extremity Function During the Single-leg Squat...
Obtenir text complet
Electrònic eBook
14
Publicat 2013
Taula de continguts: ... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...
Obtenir text complet
Electrònic eBook
15
Publicat 2010
Taula de continguts: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Obtenir text complet
Electrònic eBook
16
Publicat 2015
Taula de continguts: ...On Bayesian based adaptive confidence sets for linear functionals -- A new finite approximation...
Obtenir text complet
Electrònic eBook
17
Publicat 2008
Taula de continguts: ... Refinement -- Sorting Cancer Karyotypes by Elementary Operations -- On Computing the Breakpoint Reuse Rate...
Obtenir text complet
Electrònic eBook
18
per Barker, Philip., Barker, Philip.
Publicat 2007
Taula de continguts: ...Interest Rate Calculations -- Bonds -- Duration -- Futures -- Options -- Modelling Stock Prices...
Obtenir text complet
Electrònic eBook
19
Publicat 2008
Taula de continguts: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
Obtenir text complet
Electrònic eBook
20
per Dewson, Robin., Dewson, Robin.
Publicat 2008
Taula de continguts: ... Procedures and Functions -- T-SQL Essentials -- Advanced T-SQL -- Triggers -- SQL Server 2008 Reporting...
Obtenir text complet
Electrònic eBook