1
Published 2014
Table of Contents: ... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... in Remote Sensing Information Analysis and Service Grid Node -- Density Based Fuzzy Membership Functions...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... -- Natural Killer cell Licensing during Viral Infection -- Bridging Innate NK cell Functions with Adaptive...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... -- Beyond the Genome: Functional Studies of Phototrophic Sulfur Oxidation -- Multicellularity in a...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... Length with Location Information to Align Monolingual Parallel Texts -- Web Search -- Effective Topic...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... of Ideal and Empirical ROC-Based Reject Rules -- Outlier Detection with Kernel Density Functions -- Generic...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... and Operational States of Wind Turbines -- The Parallel Approach to the Conjugate Gradient Learning Algorithm...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...
View full text
Electronic eBook