1
Published 2010
Table of Contents: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Computation for XML Documents by XML Element Sequence Patterns -- Evolving Weighting Functions for Query...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... of Schur, Tau and Sigma Functions on Abel-Jacobi Images -- Padé interpolation for elliptic Painlevé...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Decision Processes -- All Symmetric Predicates in NSPACE(n 2) Are Stably Computable by the Mediated...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... Requirements in Services Software Development Process: an MDD Approach -- Safety Contracts for Timed Reactive...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... on Computational Methods, Algorithms and Applications -- Phonological Recoding in the Second Language Processing...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Structure -- Graph Seriation Using Semi-definite Programming -- Comparing String Representations...
View full text
Electronic eBook
9
Table of Contents: ... -- Quantum Statistical Mechanics -- Correlation Functions -- Imaginary Time Formalism -- The Scalar Field...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... -- Reinventing Machine Learning with ROC Analysis -- Cocktail Party Processing -- AI in Education and Intelligent...
View full text
Electronic eBook
11
by Lee, James., Lee, James.
Published 2010
Table of Contents: ... -- Subroutines/Functions -- Regular Expressions -- Files and Data -- String Processing -- Interfacing...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ...Keynote -- Security Issues for the Use of Semantic Web in E-Commerce -- Business Process Management...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... -- Toposes Are Adhesive -- Extensions for Distributed and Global Computing -- Graph Transactions as Processes...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... Rehabilitation Process; S.Salim, et al -- A Security Protocol based-on Mutual Authentication Application toward...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... -- Develop Multi-hierarchy Classification Model: Rough Set Based Feature Decomposition Method -- On Fitting...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... Property Testing -- Finding Total and Partial Orders from Data for Seriation -- Computational Models...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Quality Estimation -- Quasigroup String Transformations and Hash Function Design -- Performances of Error...
View full text
Electronic eBook
20
Subjects: ...Apple computer....
View full text
Electronic eBook