1
Veröffentlicht 2006
Inhaltsangabe: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2005
Inhaltsangabe: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2010
Inhaltsangabe: ... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2007
Inhaltsangabe: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2010
Inhaltsangabe: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2013
Inhaltsangabe: ... Model Checking -- A Transformation from p-pi to MSVL -- On Slicing of Programs with Input Statements...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2015
Inhaltsangabe: ... in Modeling and Simulation -- Fuzzy Xor Classes from Quantum Computing -- New method for non-linear correction...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2006
Inhaltsangabe: ... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2010
Inhaltsangabe: ... Cells/Networks -- Three-dimensional Computer Modeling and Architectural Design Process #x2013; A...
Volltext
Elektronisch E-Book
10
Inhaltsangabe: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2008
Inhaltsangabe: ...: Non-linear and Dynamic Models -- Computational Statistics and Data Mining Methods for Alcohol Studies...
Volltext
Elektronisch E-Book
12
von Chesi, Graziano., Chesi, Graziano.
Veröffentlicht 2011
Inhaltsangabe: ... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2007
Inhaltsangabe: ... Fuzzy Model with a Chain Model -- Singleton Representation of Fuzzy Set for Computing Fuzzy Model...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2007
Inhaltsangabe: ... Programs -- State Isomorphism in Model Programs with Abstract Data Structures -- Composition of Model...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2008
Inhaltsangabe: ... Expensive Functions -- Discriminant Analysis Methods for Microarray Data Classification...
Volltext
Elektronisch E-Book
16
von Gazzaz, Nabeel Mohammad
Veröffentlicht 2012
Schlagworte: ...Neural networks (Computer science)...
Volltext
Abschlussarbeit
17
Veröffentlicht 2014
Inhaltsangabe: ... Product Graphs -- Integer Programming Methods for Special College Admissions Problems -- On the Width...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2010
Inhaltsangabe: ... Secondary Structure Prediction -- Data Mining and Inorganic Crystallography -- Data Bases, the Base for Data...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2013
Inhaltsangabe: ... Recursive Probabilistic Systems.- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2010
Inhaltsangabe: ... Structures -- Bioreactor Control by Genetic Programming -- Solving the One-Commodity Pickup and Delivery...
Volltext
Elektronisch E-Book