1
Published 2005
Table of Contents: ... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Control on Traffic Light Networks -- Performance Measurement of a Dual-Channel Intersection Switch...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ...The Design for High Dynamic GPS Receiver in a Combinated Method of FLL and PLL -- The Modeling...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ...Session 1 -- Finding Small Holes -- Session 2A -- Approximate Range Searching: The Absolute Model...
View full text
Electronic eBook
9
Published 2011
Table of Contents: ... Satellites -- iCloudMedia: A Business Model for Cloud-Based Interactive Multimedia Services -- Study...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ...: An Application to Gene Expression Data Analysis -- Local Pattern Discovery in Array-CGH Data -- Learning...
View full text
Electronic eBook
11
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
12
Published 2011
Table of Contents: .... Grasswick -- I Intersections: Feminism, Epistemology, and Science Studies -- 1. The Marginalization...
View full text
Electronic eBook