1
Gepubliceerd in 2015
Inhoudsopgave: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2010
Inhoudsopgave: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2006
Inhoudsopgave: ... Informatics -- Unraveling International Terrorist Groups’ Exploitation of the Web: Technical Sophistication...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2006
Inhoudsopgave: ... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2014
Inhoudsopgave: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2013
Inhoudsopgave: ... Environment -- The Analysis of the Efficiency of Parallelization of Existing Serial Code on the Basis...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2010
Inhoudsopgave: ... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2008
Inhoudsopgave: ... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2010
Inhoudsopgave: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2007
Inhoudsopgave: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2010
Inhoudsopgave: ... and the Role of Medical Informatics in Stomatology -- Stability Analysis of an SVLI Epidemic Model -- A New...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2010
Inhoudsopgave: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2007
Inhoudsopgave: ... Functions for Learning and Clustering -- Machine Learning in Ecosystem Informatics -- Challenge for Info...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2010
Inhoudsopgave: ... Robots -- Protein Classification Based on 3D Structures and Fractal Features -- Protein Function...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2005
Inhoudsopgave: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
Volledige tekst
Elektronisch E-boek