1
Publicat 2005
Taula de continguts: ...Arithmetic over Function Fields: A Cohomological Approach -- Algebraic Stacks Whose Number...
Obtenir text complet
Electrònic eBook
2
Publicat 2010
Taula de continguts: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Obtenir text complet
Electrònic eBook
3
Publicat 2015
Taula de continguts: ... in a Decision Making Problem by Preference Relation -- RBHR: Region-Based Hybrid Routing Protocol...
Obtenir text complet
Electrònic eBook
4
Publicat 2005
Taula de continguts: ...Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed...
Obtenir text complet
Electrònic eBook
5
Publicat 2006
Taula de continguts: ... Macro Package Suitable for Drawing Fine -Pictures -- Matlab-Based Problem-Solving Environment...
Obtenir text complet
Electrònic eBook
6
Publicat 2006
Taula de continguts: ... Central Configurations in Newton 9-Body Problem -- Algorithmic Invariants for Alexander Modules -- Sudokus...
Obtenir text complet
Electrònic eBook
7
Publicat 2015
Taula de continguts: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
Obtenir text complet
Electrònic eBook
8
Publicat 2014
Taula de continguts: ... Criterion for the Fast Detection of Functional Modules in Protein Interaction Networks....
Obtenir text complet
Electrònic eBook
9
Publicat 2015
Taula de continguts: ... Framework -- SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform...
Obtenir text complet
Electrònic eBook
10
Publicat 2014
Taula de continguts: ... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...
Obtenir text complet
Electrònic eBook
11
Publicat 2005
Taula de continguts: ... Algorithm for the NMR Backbone Assignment Problem -- Avoiding Local Optima in Single Particle Reconstruction...
Obtenir text complet
Electrònic eBook
12
Publicat 2014
Taula de continguts: ... in pGCL with Isabelle -- A Coq Formalization of Finitely Presented Modules -- Formalized, Effective Domain...
Obtenir text complet
Electrònic eBook
13
Publicat 2013
Taula de continguts: ... and Parallelization to Improve the Application of the APH Hamiltonian in Reactive Scattering.- Multi Reference versus...
Obtenir text complet
Electrònic eBook
14
Publicat 2008
Taula de continguts: ... Streams -- The Effects of Local Randomness in the Adversarial Queueing Model -- Parallel Imaging Problem...
Obtenir text complet
Electrònic eBook
15
Publicat 2013
Taula de continguts: ... of Temporal Data -- Fast Approximation Method for Gaussian Process Regression Using Hash Function for Non...
Obtenir text complet
Electrònic eBook
16
Publicat 2008
Taula de continguts: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
Obtenir text complet
Electrònic eBook
17
Taula de continguts: ...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...
Obtenir text complet
Electrònic eBook
18
Publicat 2011
Taula de continguts: ... Recognition System -- Study on Architecture and Performances of Dual Track SAW Device -- Adaptive Function...
Obtenir text complet
Electrònic eBook
19
Publicat 2015
Taula de continguts: ... -- Design of Electronic Control Board to Obtain the Photovoltaic Module Power Voltage Curve as Temperature...
Obtenir text complet
Electrònic eBook
20
Publicat 2006
Taula de continguts: ... of Production Rules for Integrity Maintenance -- Modules for Prolog Revisited -- A Local Algorithm...
Obtenir text complet
Electrònic eBook