1
Publicado em 2010
Sumário: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2006
Sumário: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2013
Sumário: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2005
Sumário: ... Learning -- Beware the Null Hypothesis: Critical Value Tables for Evaluating Classifiers -- Kernel Basis...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2014
Sumário: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2008
Sumário: ... Propositional Theories -- Abstract Answer Set Solvers -- Partial Functions and Equality in Answer Set...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2010
Sumário: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2015
Sumário: ... Optimization for the Se-ries-Parallel Redundancy Allocation Problem -- Impact of the length of optical flow...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2013
Sumário: ... Channel Equalization -- Short Papers -- Optimal and Robust Framework for Enhancing Network Lifetime using...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2008
Sumário: ... Equality with Lazy Superposition -- Linear-Time Analysis -- Controllable Test Cases for the Distributed...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2013
Sumário: ...-Parallel DC/DC Transformer -- A Effective Equalization Based on Fuzzy Logic for Series Moduled Battery...
Obter o texto integral
Recurso Electrónico livro electrónico