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