1
Published 2010
Table of Contents: ... for Solving Parametric Linear Systems Whose Input Data Are Rational Functions of Interval Parameters -- Direct...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ...Aspects, Components, and Modularity -- CoCo: Sound and Adaptive Replacement of Java Collections...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ...On Polynomial Solutions of Linear Partial Differential and (q-)Difference Equations -- An Algebraic...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ...Algorithms and Implementations -- Computing the Minkowski Value of the Exponential Function over a...
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 2007
Table of Contents: ... Processors -- Parallel Memory Architecture for TTA Processor -- A Linear Complexity Algorithm...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... -- Generating Artificial Neural Networks for Value Function Approximation in a Domain Requiring a Shifting...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... Recognition Based on Linear Discriminant Analysis -- Association Measures and Aggregation Functions -- JT2FIS...
View full text
Electronic eBook