Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
computing programming » computer programming
computers programming » computer programming, computer program, computer programs
semantics arrays » semantics essays, semantics across, semantics arrow
arrays via » arrays a
computing programming » computer programming
computers programming » computer programming, computer program, computer programs
semantics arrays » semantics essays, semantics across, semantics arrow
arrays via » arrays a
1
Publicado em 2005
Sumário:
“... -- On Compatibility of Discrete Relations -- Construction of Two Level Orthogonal Arrays Via Solutions of Linear...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Publicado em 2008
Sumário:
“... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Publicado em 2005
Sumário:
“...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Publicado em 2008
Sumário:
“... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2008
Sumário:
“... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
Publicado em 2005
Sumário:
“... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Publicado em 2008
Sumário:
“... in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics -- Computing Longest...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2005
Sumário:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Publicado em 2015
Sumário:
“... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Publicado em 2014
Sumário:
“... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Publicado em 2015
Sumário:
“... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Publicado em 2010
Sumário:
“...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Publicado em 2012
Sumário:
“... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Publicado em 2012
Sumário:
“... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
15
Publicado em 2014
Sumário:
“... Cluster Ensembles -- Similar-video retrieval via learned exemplars and time-warped alignment -- Automatic...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
16
Publicado em 2005
Sumário:
“... -- Flexible Query Answering in Data Cubes -- An Extendible Array Based Implementation of Relational Tables...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
17
Publicado em 2005
Sumário:
“... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
18
Publicado em 2013
Sumário:
“... of Security Encryption Storage System Based on SAN Environments -- Applying General Probabilistic Neural...”Obter o texto integral
Recurso Eletrônico
livro eletrônico