1
Published 2006
Table of Contents: ... for the Intuitionistic Sequent Calculus -- Modular Cut-Elimination: Finding Proofs or Counterexamples -- An Executable...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... Study of c-VEP/SSVEP BCI Hybrid System -- Part II: Higher Mental Functions and Dysfunctions -- Memory...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... -- On Symbolic Scheduling Independent Tasks with Restricted Execution Times -- A Simple Randomized k-Local...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Parallel Execution in Grid Environment -- Toward Dynamic Adoption for a User’s Situation Information in a...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... -- A Novel Federation Development and Execution Process Based on Collaboration Ontology -- PASENS...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... SEARCH METHOD FOR FINDING A SIMPLE NASH EQUILIBRIUM -- A HERO EVOLUTIONARY ALGORITHM HYBRIDIZING FROM PSO...
View full text
Electronic eBook
9
Published 2011
Table of Contents: ... Algorithms -- 4 Parallel Sorting – The Need for Speed -- 5 Topological Sorting – How Should I Begin...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... Particle Swarm Optimization Algorithm -- 10. A Novel Algorithm on IP Traceback to Find the Real Source...
View full text
Electronic eBook