1
Udgivet 2010
Indholdsfortegnelse: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Få fuldtekst
Electronisk eBog
2
Indholdsfortegnelse: ...-Posedness of Cauchy Problems -- 1 The Laplace Integral -- 2 The Laplace Transform -- 3 Cauchy Problems -- II...
Få fuldtekst
Electronisk eBog
3
Udgivet 2010
Indholdsfortegnelse: ... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...
Få fuldtekst
Electronisk eBog
4
Udgivet 2015
Indholdsfortegnelse: ... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...
Få fuldtekst
Electronisk eBog
5
Udgivet 2012
Indholdsfortegnelse: ... Concrete Structures under Environmental Actions.-An Inverse Problem for the Stationary Kirchhoff Equation...
Få fuldtekst
Electronisk eBog
6
Udgivet 2005
Indholdsfortegnelse: ... Parallel Automata -- Optimal State Assignment of Asynchronous Parallel Automata -- Design of Embedded...
Få fuldtekst
Electronisk eBog
7
Udgivet 2008
Indholdsfortegnelse: ...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...
Få fuldtekst
Electronisk eBog
8
Udgivet 2005
Indholdsfortegnelse: ... Knowing and Machine Knowing -- Approximation Problems Categories -- Computation of Partial Automata...
Få fuldtekst
Electronisk eBog
9
Udgivet 2006
Indholdsfortegnelse: ... ONRBF NEURAL NETWORKS -- A HYBRID META-HEURISTIC FOR A ROUTING PROBLEM -- IDENTIFICATION OF GEOMETRIC...
Få fuldtekst
Electronisk eBog
10
af Oller, Sergio., Oller, Sergio.
Udgivet 2014
Indholdsfortegnelse: ... function and plastic potential for isotropic materials -- General explicit definition of the isotropic...
Få fuldtekst
Electronisk eBog