1
Published 2008
Table of Contents: ... -- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols -- Proving Ptolemy Right...
View full text
Electronic eBook
2
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
3
Published 2010
Table of Contents: ...: Efficient Constructions and Applications -- Estimating the Average of a Lipschitz-Continuous Function from...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... -- Cryptographic Applications -- Do Broken Hash Functions Affect the Security of Time-Stamping Schemes? -- A Handy...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Based on Particle Filter and Optical Flow -- Stitching of Microscopic Images for Quantifying Neuronal...
View full text
Electronic eBook