1
Publicado 2008
Table of Contents: ... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...
Ligazón do recurso
Electrónico eBook
2
Table of Contents: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
Ligazón do recurso
Electrónico eBook
3
Publicado 2007
Table of Contents: ... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...
Ligazón do recurso
Electrónico eBook
4
Publicado 2008
Table of Contents: ...Evolutionary Computing and Genetic Algorithms -- Adaptive Routing Algorithm in Wireless...
Ligazón do recurso
Electrónico eBook
5
Publicado 2005
Table of Contents: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Ligazón do recurso
Electrónico eBook
6
Publicado 2006
Table of Contents: ...Genetic Programming: Theory and Practice -- Evolving Swarming Agents in Real Time -- Automated...
Ligazón do recurso
Electrónico eBook
7
Publicado 2007
Table of Contents: ... Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo...
Ligazón do recurso
Electrónico eBook
8
Publicado 2007
Table of Contents: ... Computer and Its Communication Protocol -- A Branch-and-Bound Algorithm to Solve Large Scale Integer...
Ligazón do recurso
Electrónico eBook
9
Publicado 2010
Table of Contents: ...Invited Papers and Abstract -- Invariants and Well-Foundedness in Program Algebra -- A Theory...
Ligazón do recurso
Electrónico eBook
10
Publicado 2007
Table of Contents: ... and Computations Solving Phylogenetic and Population Genetic Problems with Missing or Genotypic Data -- Improved...
Ligazón do recurso
Electrónico eBook
11
Publicado 2006
Table of Contents: ... -- A COMPUTATIONAL METHOD FOR SOLVING CAUCHY PROBLEMS OF ELLIPTIC OPERATORS -- NUMERICAL DETERMINATION...
Ligazón do recurso
Electrónico eBook
12
Publicado 2008
Table of Contents: ...Podium Presentations -- Optimization with Genetic Algorithms and Splines as a way for Computer...
Ligazón do recurso
Electrónico eBook
13
Publicado 2007
Table of Contents: ... Deformation Techniques -- Automatic Generation of Virtual Computer Rooms on the Internet Using X3D -- Stained...
Ligazón do recurso
Electrónico eBook
14
Publicado 2007
Table of Contents: ...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...
Ligazón do recurso
Electrónico eBook
15
Publicado 2014
Table of Contents: ... Aggregation in Wireless Sensor Networks -- The Complex Network Analysis of Power Grid: A Case Study...
Ligazón do recurso
Electrónico eBook
16
Publicado 2005
Table of Contents: ... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...
Ligazón do recurso
Electrónico eBook
17
Publicado 2010
Table of Contents: ... Solving by Means of Neuro-Fuzzy Learning, Genetic Algorithm and Chaos Theory Principles Applying...
Ligazón do recurso
Electrónico eBook
18
Publicado 2015
Table of Contents: ... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...
Ligazón do recurso
Electrónico eBook
19
Publicado 2007
Table of Contents: ... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...
Ligazón do recurso
Electrónico eBook
20
Table of Contents: ... Methods -- 7. Semidefinite Optimization: Selected Special Cases, The S-Procedure, The Function log°det...
Ligazón do recurso
Electrónico eBook