<--- Back to Details
First PageDocument Content
Viola Sonata / Clarke / Elizabeth Sprague Coolidge / Ethel Smyth / Martin Boykan / Virginia Woolf / Viola / Music / Rebecca Clarke / Morpheus
Date: 2011-08-30 11:33:37
Viola Sonata
Clarke
Elizabeth Sprague Coolidge
Ethel Smyth
Martin Boykan
Virginia Woolf
Viola
Music
Rebecca Clarke
Morpheus

Add to Reading List

Source URL: www.rebeccaclarke.org

Download Document from Source Website

File Size: 295,87 KB

Share Document on Facebook

Similar Documents

Mathematics / Mathematical analysis / Theoretical computer science / Differential calculus / Numerical analysis / Ordinary differential equation / Taylor's theorem / Differential-algebraic system of equations / Satisfiability modulo theories / PROPT

Satisfiability Modulo ODEs Sicun Gao Soonho Kong Edmund M. Clarke

DocID: 1xTX2 - View Document

Theoretical computer science / Computability theory / Computational complexity theory / Theory of computation / Constructivism / Fourier analysis / Formal methods / Computable number / Computable analysis / Computable function / NC / Modulus of continuity

δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de

DocID: 1xTR5 - View Document

Theoretical computer science / Mathematics / Dynamical systems / Systems science / Control theory / Hybrid system / Systems theory / Satisfiability modulo theories

dReach: δ-Reachability Analysis for Hybrid Systems Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke Computer Science Department, Carnegie Mellon University, USA Abstract. dReach is a bounded reachability analysis to

DocID: 1xTlX - View Document

PDF Document

DocID: 1xMBr - View Document

PDF Document

DocID: 1xGAo - View Document