1
Udgivet 2010
Indholdsfortegnelse: ... of the Paparella–Young epsilon theorem -- Inertia-gravity-wave generation: a geometric-optics approach -- Parallels...
Få fuldtekst
Electronisk eBog
2
Udgivet 2014
Indholdsfortegnelse: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
Få fuldtekst
Electronisk eBog
3
Udgivet 2013
Indholdsfortegnelse: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Få fuldtekst
Electronisk eBog
4
Udgivet 2014
Indholdsfortegnelse: ... Sequence Generation by Uniform Cellular Automata -- On the Determinization Blowup for Finite Automata...
Få fuldtekst
Electronisk eBog
5
Udgivet 2013
Indholdsfortegnelse: ... Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions -- Modelling...
Få fuldtekst
Electronisk eBog
6
Udgivet 2006
Indholdsfortegnelse: ...-Tolerant Parallel Applications with Dynamic Parallel Schedules: A Programmer’s Perspective -- Autonomic...
Få fuldtekst
Electronisk eBog
7
Udgivet 2010
Indholdsfortegnelse: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Få fuldtekst
Electronisk eBog
8
Udgivet 2007
Indholdsfortegnelse: ... Sampling for Automatic Classification of NMR Data -- A New HMM-Based Ensemble Generation Method for Numeral...
Få fuldtekst
Electronisk eBog
9
Udgivet 2007
Indholdsfortegnelse: ... on a Massively Parallel Embedded Processor -- Stream Image Processing on a Dual-Core Embedded System...
Få fuldtekst
Electronisk eBog
10
Udgivet 2015
Indholdsfortegnelse: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Få fuldtekst
Electronisk eBog
11
Udgivet 2006
Indholdsfortegnelse: ...The Need for Standards -- Programmable Platform Characterization for System Level Performance...
Få fuldtekst
Electronisk eBog
12
Udgivet 2014
Fag: ...Computational Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes...
Få fuldtekst
Electronisk eBog
13
Udgivet 2011
Indholdsfortegnelse: ...: Parallel Paradigms and Run-time Management Techniques for Many-Core Architectures -- 6. Adaptive Task...
Få fuldtekst
Electronisk eBog
14
Udgivet 2010
Indholdsfortegnelse: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
Få fuldtekst
Electronisk eBog
15
Udgivet 2012
Indholdsfortegnelse: ...-Based Semantic Difference in Expressive Description Logics -- SPLODGE: Systematic Generation of SPARQL...
Få fuldtekst
Electronisk eBog
16
Udgivet 2012
Indholdsfortegnelse: ...-Based Semantic Difference in Expressive Description Logics -- SPLODGE: Systematic Generation of SPARQL...
Få fuldtekst
Electronisk eBog
17
Udgivet 2010
Indholdsfortegnelse: ... Signal Transformation -- Evaluation of Generation Alternation Models in Evolutionary Robotics -- Photonic...
Få fuldtekst
Electronisk eBog
18
Udgivet 2008
Indholdsfortegnelse: ... Distributed Resources Allocation in Massively Parallel Processors on-Chip -- Cooperative Learning Sensitive...
Få fuldtekst
Electronisk eBog
19
Udgivet 2007
Indholdsfortegnelse: ... in a Multidimensional Perspective -- Application of the Peano Curve for the Robot Trajectory Generating...
Få fuldtekst
Electronisk eBog
20
Udgivet 2013
Indholdsfortegnelse: ... urban space: A case study of cozy space design pattern -- Quantum-Membership-Function-Based Adaptive...
Få fuldtekst
Electronisk eBog