1
Published 2013
Table of Contents: ...On the Structure of Reduced Kernel Lattice Bases -- Constant Integrality Gap LP formulations...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...: Renormalization Program -- Computational Complexity Aspects in Membrane Computing -- Computable Ordered Abelian...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ...Development of a Fault Detection Model-Based Controller -- Sensitivity Generation in an Adaptive...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Approach to Specification and Composition of Web Services -- Applied Stochastic Integer Programming...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... and All our Yesterdays: MTL Satisfiability over the Integers -- A Theory of Pointers for the UTP...
View full text
Electronic eBook
6
by Schöbel, Anita., Schöbel, Anita.
Published 2006
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... -- Using Ant Colony Optimization-Based Selected Features for Predicting Post-synaptic Activity in Proteins...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... by (C1:T) means of Fourier series -- Chapter 7: Modified Baskakov-Sz´asz operators based on q-integers...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...: Towards Large Scale Programming for Symbolic and Certified Numeric Computations -- Complex Inclusion...
View full text
Electronic eBook
12
Subjects: ...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... Water Drops Algorithm to Solve Graph Based Travelling Salesman Problem -- Optimization of Complex...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ...A Hyper-heuristic with a Round Robin Neighbourhood -- A Multiobjective Approach Based on the Law...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... Event Logs and Process Models for Multi-Perspective Conformance Checking: An Approach Based on Integer...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... Programming Framework -- Whole-Part Relations Rule-Based Automatic Identification: Issues from Fine-Grained...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ... on Piezoelectric Based Prototype Actuator.-Development of Mechanical Actuator for Deep-Hole Measurement System -- D...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Histogram Shifting Method Based on Integer Wavelets -- Analysis and Comparison of Typical Reversible...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
View full text
Electronic eBook