1
Publicerad 2005
Innehållsförteckning: ... Application to Metabolic Flux Analysis -- GEMPLS: A New QSAR Method Combining Generic Evolutionary Method...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2006
Innehållsförteckning: ... MLPG METHOD -- APPLICATION OF HIGH ORDER BASIS FUNCTIONS IN SOLID MECHANICS BY ELEMENT FREE GALERKIN...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2007
Innehållsförteckning: ... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2008
Innehållsförteckning: ... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2013
Innehållsförteckning: ... the Recursive Method -- Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2015
Innehållsförteckning: ... in Option Pricing -- Applications of Numerical Methods for Stochastic Controlled Switching Diffusions with A...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2010
Innehållsförteckning: ... the Lattice Boltzmann Method and Analysis of OpenMP Scalability -- Parallel Computations of Unsteady Three...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2013
Innehållsförteckning: ... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2008
Innehållsförteckning: ... and Its Application in Image Recognition -- Intelligent Computing in Bio/Cheminformatics -- A Novel Method...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2008
Innehållsförteckning: ...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2010
Innehållsförteckning: ... Distributed System -- Comparison and Analysis of the Eye Pointing Methods and Applications -- Abstraction...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2013
Innehållsförteckning: ... of Temporally Separated CT Colonography Cases -- A Classification-Enhanced Vote Accumulation Scheme...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2010
Innehållsförteckning: ... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2010
Innehållsförteckning: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2007
Innehållsförteckning: ... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...
Hämta fulltext
Elektronisk E-bok
16
Innehållsförteckning: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2014
Innehållsförteckning: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2013
Innehållsförteckning: ... Priori Knowledge in Pattern Search Methods: Application to Beam Angle Optimization for Intensity...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2010
Innehållsförteckning: ... Functions Conflicts Calculation -- Credal Sets Approximation by Lower Probabilities: Application to Credal...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2010
Innehållsförteckning: ... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...
Hämta fulltext
Elektronisk E-bok