1
Publicado em 2012
Sumário: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2014
Sumário: ... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2007
Sumário: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2010
Sumário: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2010
Sumário: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2007
Sumário: ... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2008
Sumário: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2013
Sumário: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2010
Sumário: ... on a Multi-core Cluster -- Generating Parallel Random Sequences via Parameterizing EICGs...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2014
Sumário: ... -- GenSeeK: A Novel Parallel Multiple Pattern Recognition Algorithm for DNA Sequences -- Improvement of PAPR...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2005
Sumário: ... an Adaptive Memory Strategy to Improve a Multistart Heuristic for Sequencing by Hybridization -- High...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2005
Sumário: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2005
Sumário: ... to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2008
Sumário: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2007
Sumário: .../Inhibitor Docking by Non-parametric Binomial Distribution Test -- satDNA Analyzer 1.2 as a Valuable...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2007
Sumário: ... Algorithm for Dynamic Multi-Objective TSP -- The Construction of Dynamic Multi-objective Optimization Test...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2007
Sumário: ... of Ideal and Empirical ROC-Based Reject Rules -- Outlier Detection with Kernel Density Functions -- Generic...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2015
Sumário: ... Segmentation Algorithm Based on Texture -- Optimal Test Selection of Complex Electronic System Based...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2014
Sumário: ... Parallel Information Extraction Based on Hadoop -- A Novel Class of Periodic Complementary Sequence Sets...
Obter o texto integral
Recurso Electrónico livro electrónico