1
Published 2008
Table of Contents: ... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... and Their Applications -- On the Complexity of Trial and Error for Constraint Satisfaction Problems -- Information...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... View of Backward Backtracking in Short Read Mapping -- Some Applications of String Algorithms in Human...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Networks -- Construction of Minimum Connected Dominating Set in 3-Dimensional Wireless Network...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... in GSM Networks -- Adaptive Local Search for a New Military Frequency Hopping Planning Problem -- SS vs...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Intelligence Applications in Engineering Design -- A Prolog Based System That Assists Experts to Construct...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Information Security Risk Assessment Model -- Constructing Problem-Based Learning Activities Using Self...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ...-objective Programming Application for Time-Cost Trade-off of CPM in Project Management -- A Study on Two...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ...Invited Talks -- Digital Curation and Digital Cultural Memory -- RoboCup: A Challenge Problem...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Autonomic Grid Applications: Dynamic Composition, Coordination and Interaction -- Grassroots Approach...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ...Performance Tools -- Performance Analysis of Large-Scale OpenMP and Hybrid MPI/OpenMP Applications...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Expansion by WordNet -- Webified Video: Media Conversion from TV Programs to Web Content for Cross-Media...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... of Embedded Software – Impact of ISO DIS 26262 in the Automotive Domain -- Enforcing Applicability of Real...
View full text
Electronic eBook