1
Udgivet 2005
Indholdsfortegnelse: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Få fuldtekst
Electronisk eBog
2
Udgivet 2013
Indholdsfortegnelse: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Få fuldtekst
Electronisk eBog
3
Udgivet 2010
Indholdsfortegnelse: ...Keynote Speech -- Building a Domain-Knowledge Guided System Software Environment to Achieve High...
Få fuldtekst
Electronisk eBog
4
Udgivet 2010
Indholdsfortegnelse: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Få fuldtekst
Electronisk eBog
5
Udgivet 2008
Indholdsfortegnelse: ... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...
Få fuldtekst
Electronisk eBog
6
Udgivet 2010
Indholdsfortegnelse: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Få fuldtekst
Electronisk eBog
7
Fag: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Få fuldtekst
Electronisk eBog
8
Udgivet 2010
Indholdsfortegnelse: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
Få fuldtekst
Electronisk eBog
9
Fag: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Få fuldtekst
Electronisk eBog
10
Udgivet 2008
Indholdsfortegnelse: ... Defects in Software Using Grammar-Guided Genetic Programming -- A Clustering Framework to Build Focused...
Få fuldtekst
Electronisk eBog
11
Udgivet 2007
Indholdsfortegnelse: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
Få fuldtekst
Electronisk eBog
12
Udgivet 2010
Indholdsfortegnelse: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Få fuldtekst
Electronisk eBog
13
Udgivet 2005
Indholdsfortegnelse: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Få fuldtekst
Electronisk eBog
14
Indholdsfortegnelse: ... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...
Få fuldtekst
Electronisk eBog
15
Udgivet 2012
Indholdsfortegnelse: ... Algorithm for Parameter Identification of Bioprocess Models.-A General Frame for Building Optimal Multiple...
Få fuldtekst
Electronisk eBog
16
Udgivet 2010
Indholdsfortegnelse: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Få fuldtekst
Electronisk eBog
17
Udgivet 2010
Indholdsfortegnelse: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
Få fuldtekst
Electronisk eBog
18
Udgivet 2010
Indholdsfortegnelse: ... -- LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation -- FGb: A Library...
Få fuldtekst
Electronisk eBog
19
Udgivet 2014
Indholdsfortegnelse: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Få fuldtekst
Electronisk eBog
20
Udgivet 2005
Indholdsfortegnelse: ... -- Theory-Building with System Dynamics: Principles and Practices -- Ontology Integration for Statistical...
Få fuldtekst
Electronisk eBog