1
Publicado 2003
Table of Contents: ... -- Isolation of Polysomal RNA for Microarray Analysis -- Parallel Analysis of Gene Copy Number and Expression...
Ligazón do recurso
Electrónico eBook
2
Publicado 2007
Table of Contents: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Ligazón do recurso
Electrónico eBook
3
Publicado 2007
Table of Contents: ... Between Knowledges -- On Three Closely Related Rough Inclusion Functions -- Rough Set Theory from a Math...
Ligazón do recurso
Electrónico eBook
4
Publicado 2010
Table of Contents: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Ligazón do recurso
Electrónico eBook
5
Publicado 2013
Table of Contents: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
Ligazón do recurso
Electrónico eBook
6
Table of Contents: ...Sets, Relations, Logic, Functions -- Algebraic Structures For Logic Design -- Functional...
Ligazón do recurso
Electrónico eBook
7
Publicado 2014
Table of Contents: ... to Answer Set Programming -- Coverage Driven Test Generation and Consistency Algorithm -- A Datalog Engine...
Ligazón do recurso
Electrónico eBook
8
Publicado 2015
Table of Contents: ...Mutation Testing Process Combined with Test-Driven Development in NET Environment -- Boltzmann...
Ligazón do recurso
Electrónico eBook
9
Publicado 2005
Table of Contents: ... Parallel Automata -- Optimal State Assignment of Asynchronous Parallel Automata -- Design of Embedded...
Ligazón do recurso
Electrónico eBook
10
Table of Contents: ... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...
Ligazón do recurso
Electrónico eBook
11
por Kozen, Dexter C., Kozen, Dexter C.
Publicado 2006
Table of Contents: ... -- The Polynomial-Time Hierarchy -- More on the Polynomial-Time Hierarchy -- Parallel Complexity -- Relation of NC...
Ligazón do recurso
Electrónico eBook
12
Publicado 2005
Table of Contents: ...Fluid Dynamics -- BESTWIHR: Testing of a Closure Assumption for Fully Developed Turbulent Channel...
Ligazón do recurso
Electrónico eBook
13
Publicado 2006
Table of Contents: ... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...
Ligazón do recurso
Electrónico eBook
14
Publicado 2008
Table of Contents: ... Propositional Theories -- Abstract Answer Set Solvers -- Partial Functions and Equality in Answer Set...
Ligazón do recurso
Electrónico eBook
15
Publicado 2008
Table of Contents: ... Approach -- Rough Sets Theory for Multi-Objective Optimization Problems -- How to Acquire and Structuralize...
Ligazón do recurso
Electrónico eBook
16
Publicado 2008
Table of Contents: ...Probabilistic Methods and Randomness Properties of Sequences -- Comparison of Point Sets...
Ligazón do recurso
Electrónico eBook
17
Publicado 2008
Table of Contents: ... Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability...
Ligazón do recurso
Electrónico eBook
18
Publicado 2010
Table of Contents: ... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...
Ligazón do recurso
Electrónico eBook
19
Publicado 2005
Table of Contents: ... and Challenges from the World of E-Commerce -- Data Streams and Data Synopses for Massive Data Sets (Invited Talk...
Ligazón do recurso
Electrónico eBook
20
Publicado 2015
Table of Contents: ... Inverter Using Particle Swarm Optimization -- Anti-islanding Test results for Multiple PV Inverter...
Ligazón do recurso
Electrónico eBook