1
Publicerad 2006
Innehållsförteckning: ... -- A COMPUTATIONAL METHOD FOR SOLVING CAUCHY PROBLEMS OF ELLIPTIC OPERATORS -- NUMERICAL DETERMINATION...
Hämta fulltext
Elektronisk E-bok
2
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
3
Publicerad 2013
Innehållsförteckning: ... in Biochemically Reacting Systems -- An Approximate Execution of Rule-Based Multi-level Models -- Computing...
Hämta fulltext
Elektronisk E-bok
4
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
5
Publicerad 2005
Innehållsförteckning: ... for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences...
Hämta fulltext
Elektronisk E-bok
6
Innehållsförteckning: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2007
Innehållsförteckning: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2010
Innehållsförteckning: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2010
Innehållsförteckning: ... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2007
Innehållsförteckning: ... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2007
Innehållsförteckning: ... Programming Classification Method -- Kimberlites Identification by Classification Methods -- A Fast Method...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2015
Innehållsförteckning: ... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2008
Innehållsförteckning: ...Formal Methods and the Theory of Social Choice -- Relations Making Their Way from Logics...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2014
Innehållsförteckning: ... Aggregation in Wireless Sensor Networks -- The Complex Network Analysis of Power Grid: A Case Study...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2007
Innehållsförteckning: ...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2008
Innehållsförteckning: ...-Computing Methods on Abnormalities in Audio Data -- Bioinformatics -- Shadowed Clustering for Speech Data...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2015
Innehållsförteckning: ... -- Iterative Implicit Methods for Solving Nonlinear Dynamical Systems: Application of the Levitron -- Modeling...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2015
Innehållsförteckning: ... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2010
Innehållsförteckning: ...Applications of Computational Intelligence -- A New Fault Detection Method of Induction Motor -- A...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2014
Innehållsförteckning: ... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...
Hämta fulltext
Elektronisk E-bok