This thesis develops techniques and methods that extend the art and craft of storytelling, and in particular enable the creation of mobile cinema. Stories are always constrained by the medium in which they are told and the mode by which they are delivered to an audience. This dissertation addresses the design of content, systems, and tools that facilitate the emerging type of computational audi...

This paper introduces the notion of certified computation. A certified computation does not only produce a result r, but also a correctness certificate, which is a formal proof that r is correct. This can greatly enhance the credibility of the result: if we trust the axioms and inference rules that are used in the certificate, then we can be assured that r is correct. In effect, we obtain a tru...

The interplay between olefin metathesis and dendrimers and other nano systems is addressed in this mini review mostly based on the authors' own contributions over the last decade. Two subjects are presented and discussed: (i) The catalysis of olefin metathesis by dendritic nano-catalysts via either covalent attachment (ROMP) or, more usefully, dendrimer encapsulation - ring closing metathesis (...

Here we report the preparation of poly(oligonucleotide) brush polymers and amphiphilic brush copolymers from nucleic acid monomers via graft-through polymerization. We describe the polymerization of PNA-norbornyl monomers to yield poly-PNA (poly(peptide nucleic acid)) via ring-opening metathesis polymerization (ROMP) with the initiator, (IMesH2)(C5H5N)2(Cl)2RuCHPh.1 In addition, we present the ...

The development of new ROMP-derived silica-immobilized heterocyclic phosphate reagents and their application in purification-free protocols is reported. Grafting of norbornenyl norbornenyl-functionalized (Nb-tagged) silica particles with functionalized Nb-tagged heterocyclic phosphate monomers efficiently yield high-load, hybrid silica-immobilized oligomeric heterobenzyl phosphates (Si-OHBP) an...