Cover Image
Read Now

161
by Mistry, Sajib, Bouguettaya, Athman, Dong, Hai
Published 2018
Springer International Publishing
“... Adaptive Genetic Algorithm (HAGA) is proposed that optimizes a non-linear profit function periodically...”
Cover Image
Read Now

162
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... -- Testing of Concurrent Programs Using Genetic Algorithms -- Reverse Engineering Feature Models...”
Cover Image
Read Now

163
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... the Computation of Elementary Modes Using Pattern Trees -- A Linear-Time Algorithm for Studying Genetic Variation...”
Cover Image
Read Now

164
Published 2022
Springer International Publishing
Table of Contents: “... for Privacy-Preserving Optimization Using Genetic Algorithms and Multi-Party Computation -- Data-Driven...”
Cover Image
Read Now

165
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Optimization Parameter Selection by Means of Limited Execution and Genetic Algorithms -- Study...”
Cover Image
Read Now

166
Published 2014
Springer International Publishing
Table of Contents: “... in Mechanized Linearizability Proofs -- Partial Quantifier Elimination -- Formal Verification of 800 Genetically...”
Cover Image
Read Now

167
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- Computing Unique Input/Output Sequences Using Genetic Algorithms -- Automatic Generation of Test Purposes...”
Cover Image
Read Now

168
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Checking with Hopper -- SEQ.OPEN: A Tool for Efficient Trace-Based Verification -- Model Checking Genetic...”
Cover Image
Read Now

169
Published 2001
Springer US
Table of Contents: “... by Genetic Algorithms -- 9. VERIS: An Efficient Model Checker for Synchronous VHDL Designs -- 10. Title...”
Cover Image
Read Now

170
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Colouring -- Automatic Tuning of GRASP with Path-Relinking Heuristics with a Biased Random-Key Genetic...”
Cover Image
Read Now

171
Published 1992
Springer Berlin Heidelberg
“... these hypothesises. This has been done at the physical, the chemical, the genetic, the neural, the social...”
Cover Image
Read Now

172
Published 2015
Springer International Publishing
Table of Contents: “... Integration of Neuroimaging Data -- Integration of Behavioral, Structural, Functional, and Genetic Data...”
Cover Image
Read Now

173
Published 2019
Springer International Publishing
Table of Contents: “... Evidence: a Genetic Approach Inspired by Process Mining -- Keeping Data Inter-Related in a Blockchain...”
Cover Image
Read Now

174
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... for MPEG-4 Multimedia Applications -- A Genetic Algorithm-Based Segmentation for Automatic VOP Generation --...”
Cover Image
Read Now

175
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Testing -- Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm -- Checking...”
Cover Image
Read Now

176
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Concern Interactions in Middleware -- An Improved Genetic Algorithm for Web Services Selection -- Mobility...”
Cover Image
Read Now

177
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- Analyzing Stripped Device-Driver Executables -- Model Checking-Based Genetic Programming with an Application...”
Cover Image
Read Now

178
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Checking for Knowledge Assimilation -- Improving Cutting-Stock Plans with Multi-objective Genetic Algorithm...”
Cover Image
Read Now

179
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... to Finding Ancient Evolutionary Genetic Anomalies -- A Model for Designing and Implementing Parallel...”
Cover Image
Read Now

180
Published 2023
Springer International Publishing
Table of Contents: “... Quantification and Applications -- Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic...”