1
Published 2005
Table of Contents: ... Components for Timetabling -- An Open Interactive Timetabling Tool -- Distributed Choice Function Hyper...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... -- Multiplication Algorithms for Monge Matrices -- Why Large Closest String Instances Are Easy to Solve in Practice...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... of Dynamic Process Networks -- MULTIGAIN: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... -- Practical Fully Simulatable Oblivious Transfer with Sublinear Communication -- Unconditionally-Secure Robust...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... -- Identifying and Meshing Thin Sections of 3-d Curved Domains -- Session 3A -- Stitching and Filling: Creating...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... Components to Improve Harmony Search -- A Massive Parallel Cellular GPU Implementation of Neural Network...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Computing System -- Computable Statistical Research and Practice -- Implicit and Explicit Parallel Computing...
View full text
Electronic eBook
11
Published 2011
Table of Contents: ...The pharmacological screening process:the small molecule, the biological target, the robot...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... Classifiers to Data Stream Classification -- Efficacy of Some Primary Discriminant Functions in Diagnosing...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Multipartite Quantum Systems and Its Role in Quantum Information Processing Tasks -- GPGPU Based Simulations...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... for Consistency and Coverage Analysis of Assertion Specifications -- DiVinE Multi-Core – A Parallel LTL Model...
View full text
Electronic eBook