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