1
Publicado em 2006
Sumário: ...Methods -- Optimization under Composite Monotonic Constraints and Constrained Optimization over...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2010
Sumário: ... and Space Reuse -- Optimization of Triangular Matrix Functions in BLAS Library on Loongson2F -- Exposing...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2014
Sumário: ... Programs -- Property-Directed Shape Analysis -- Shape Analysis via Second-Order Bi-Abduction -- ICE: A...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2013
Sumário: ... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2005
Sumário: ... Multilevel Approach for Optimizing Collective Communications in Computational Grids -- Rough Set Based...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2007
Sumário: ... Grid Environment -- Recognition and Optimization of Loop-Carried Stream Reusing of Scientific Computing...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2007
Sumário: ... Matching Computation Based on Composite Matchers -- Social Mediation for Collective Intelligence in a Large...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2014
Sumário: ... -- Simulations of Credibility Evaluation and Learning in a Web 2.0 Community -- Optimization of Composite...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2005
Sumário: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2013
Sumário: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2015
Sumário: ... Dust Reinforced Epoxy Composite Using Grey Relational Analysis -- Weight Computation of Alternatives...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2013
Sumário: ... Patterns in Memory -- Synthesis of Circular Compositional Program Proofs via Abduction -- As Soon...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2014
Sumário: ...) -- Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Publicado em 2014
Sumário: ... -- BetaSCP2: A Program for the Optimal Prediction of Side-Chains in Proteins -- Computation of an Improved...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Publicado em 2014
Sumário: ... -- Synthesis from Component Libraries with Costs -- Compositional Controller Synthesis for Stochastic Games...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
Publicado em 2015
Sumário: ... Libraries in .NET for Expression Evaluation.-Value Analysis and Optimization a Machining Process for Hot-Box...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
Publicado em 2008
Sumário: ... -- Autonomic and Evolutionary Computation -- A Multi-objective Optimal Approach for UAV Routing...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Publicado em 2005
Sumário: ... Reordering Optimization During Legal Systems Migration -- Automated SuperSQL Query Formulation Based...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2005
Sumário: ... composite THR -- Comparison of the Functional Biological Activity and Osteolytic Potential of Ceramic...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
Publicado em 2010
Sumário: ...Applications of Web Information Systems -- An Improving Multi-Objective Particle Swarm Optimization...
Obter o texto integral
Recurso Eletrônico livro eletrônico