1
2
Publicerad 2006
Innehållsförteckning: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2008
Innehållsförteckning: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
Hämta fulltext
Elektronisk E-bok
4
Innehållsförteckning: ... of the NK Theorem -- Special Methods -- Newton-like Methods -- Analytic Computational Complexity We...
Hämta fulltext
Elektronisk E-bok
5
av Saeed, Walid
Publicerad 2005
...) into an Integer Programming (IP) model, resolved by using the branch and bound search method in order to generate...
Hämta fulltext
Lärdomsprov
6
Publicerad 2010
Innehållsförteckning: ... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2010
Innehållsförteckning: ... Cells/Networks -- Three-dimensional Computer Modeling and Architectural Design Process #x2013; A...
Hämta fulltext
Elektronisk E-bok
8
av Chesi, Graziano., Chesi, Graziano.
Publicerad 2011
Innehållsförteckning: ... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2008
Innehållsförteckning: ...–Wasserstein Distance -- Computation for Graphical Models and Bayes Nets -- Iterative Conditional Fitting...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2013
Innehållsförteckning: ... Recursive Probabilistic Systems.- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2007
Innehållsförteckning: ... Further Thoughts on Concordance -- Vertical Scaling -- Practical Issues in Vertical Scaling -- Methods...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 1999
Innehållsförteckning: ...The Mouse Embryo -- The Mouse as a Developmental Model -- Culture of Postimplantation Mouse Embryos...
Hämta fulltext
Elektronisk E-bok