1
Udgivet 2010
Indholdsfortegnelse: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Få fuldtekst
Electronisk eBog
2
Udgivet 2007
Indholdsfortegnelse: ... Through Contouring -- Surfaces with Piecewise Linear Support Functions over Spherical Triangulations -- A...
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 2013
Indholdsfortegnelse: ... are Processed in the Inferior Colliculus -- Chapter 9. Language Parallels in New World Primates -- Chapter 10...
Få fuldtekst
Electronisk eBog
5
Udgivet 2006
Indholdsfortegnelse: ... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...
Få fuldtekst
Electronisk eBog
6
Udgivet 2014
Indholdsfortegnelse: ... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...
Få fuldtekst
Electronisk eBog
7
Udgivet 2012
Indholdsfortegnelse: ....-Approximation of Sparse Controls in Semilinear Elliptic Equations.-A Non-standard Finite Element Method Based...
Få fuldtekst
Electronisk eBog
8
Udgivet 2010
Indholdsfortegnelse: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
Få fuldtekst
Electronisk eBog
9
Udgivet 2008
Indholdsfortegnelse: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Få fuldtekst
Electronisk eBog
10
Udgivet 2013
Indholdsfortegnelse: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
Få fuldtekst
Electronisk eBog
11
Udgivet 2010
Indholdsfortegnelse: ... -- Construction of Rational Curves with Rational Rotation-Minimizing Frames via Möbius Transformations -- Fat Arcs...
Få fuldtekst
Electronisk eBog
12
Udgivet 2008
Indholdsfortegnelse: ... – An Iterative Approach -- Generation of Quasi-Optimal Meshes Based on a Posteriori Error Estimates -- Geometry...
Få fuldtekst
Electronisk eBog
13
Udgivet 2005
Indholdsfortegnelse: ... with Submodular Utility Functions -- An Auction-Based Market Equilibrium Algorithm for a Production Model -- New...
Få fuldtekst
Electronisk eBog
14
Udgivet 2008
Indholdsfortegnelse: ... for Wavelength Assignment in Multifiber Optical Networks -- The Complexity of Rationalizing Matchings -- A Game...
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 2013
Indholdsfortegnelse: ...-Parallel DC/DC Transformer -- A Effective Equalization Based on Fuzzy Logic for Series Moduled Battery...
Få fuldtekst
Electronisk eBog
17
Udgivet 2010
Indholdsfortegnelse: ... Functions and the Classification of Transformerless Series-Parallel Networks -- Ports and Terminals...
Få fuldtekst
Electronisk eBog