1
Udgivet 2006
Indholdsfortegnelse: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
Få fuldtekst
Electronisk eBog
2
Udgivet 2013
Indholdsfortegnelse: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
Få fuldtekst
Electronisk eBog
3
Indholdsfortegnelse: ... -- Hypersurfaces of a sphere with parallel shape operator -- Codimension reduction of a submanifold -- CR...
Få fuldtekst
Electronisk eBog
4
Udgivet 2010
Indholdsfortegnelse: ... -- Parallel Algorithms -- Scalable Co-clustering Algorithms -- Parallel Pattern Matching with Swaps on a...
Få fuldtekst
Electronisk eBog
5
Udgivet 2010
Indholdsfortegnelse: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
Få fuldtekst
Electronisk eBog
6
Udgivet 2010
Indholdsfortegnelse: ... Simulations -- Parallel Implementation of a Steady State Thermal and Hydraulic Analysis of Pipe Networks...
Få fuldtekst
Electronisk eBog
7
Fag: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Få fuldtekst
Electronisk eBog
8
Indholdsfortegnelse: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
Få fuldtekst
Electronisk eBog
9
Indholdsfortegnelse: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Få fuldtekst
Electronisk eBog
10
Indholdsfortegnelse: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Få fuldtekst
Electronisk eBog
11
Udgivet 2013
Indholdsfortegnelse: ... and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm...
Få fuldtekst
Electronisk eBog
12
Udgivet 2012
Fag: ...Project Management. https://scigraph.springernature.com/ontologies/product-market-codes/515020...
Få fuldtekst
Electronisk eBog
13
Udgivet 2014
Indholdsfortegnelse: ... Pitfalls: Divisional Efficiency and Frontier Projection -- Efficiency Decomposition in Network Data...
Få fuldtekst
Electronisk eBog
14
Udgivet 2005
Indholdsfortegnelse: ... on the Heisenberg Group -- A Div-Curl Lemma in BMO on a Domain -- Subharmonic Functions on Discrete Structures...
Få fuldtekst
Electronisk eBog
15
Udgivet 2007
Indholdsfortegnelse: ... of Feasible Learning Functionals -- Parallelism Increases Iterative Learning Power -- Prescribed Learning...
Få fuldtekst
Electronisk eBog
16
Udgivet 2015
Indholdsfortegnelse: ... Requirements Artifacts -- Requirements Engineering in the Bidding Stage of Software Projects A Research Preview...
Få fuldtekst
Electronisk eBog
17
Udgivet 2007
Indholdsfortegnelse: ... Control of Bio-entities in the Bio-network Middleware -- A Web Portal for Regional Projection of Weather...
Få fuldtekst
Electronisk eBog
18
Udgivet 2015
Indholdsfortegnelse: ... Strategies -- A Parallel Approach for Evolutionary Induced Decision Trees -- MPI+OpenMP Implementation...
Få fuldtekst
Electronisk eBog
19
Udgivet 2015
Indholdsfortegnelse: ... features values -- IX Concurrent Parallel Processing -- Parallelization of a Block Cipher Based on Chaotic...
Få fuldtekst
Electronisk eBog
20
Udgivet 2014
Indholdsfortegnelse: ... Algorithm Based on Neural Network Structures -- A New Image Reconstruction from Projections Algorithm...
Få fuldtekst
Electronisk eBog