John H. Reif
Download 433.18 Kb.
|
- Navigate this page:
- Recent Invited Talks
Courses TaughtSpring, 2017, Computational Complexity, CPS 531, Duke University. Fall, 2016, Algorithm Paradigms, COMPSCI 530, Duke University Spring, 2016, Molecular Assembly and Computation, COMPSCI 590.01, Duke University. Fall, 2015, Algorithm Paradigms, COMPSCI 530, Duke University. Spring, 2015, Computational Complexity, CPS 531, Duke University. Fall, 2014, Algorithm Paradigms, COMPSCI 530, Duke University. Fall, 2013, Algorithm Paradigms, COMPSCI 530, Duke University. Spring, 2012, Molecular Assembly and Computation, COMPSCI 590.02, Duke University. Fall, 2011, Analysis of Algorithms, CPS 130, Duke University. Spring, 2011, Computational Complexity, CPS 240, Duke University. Fall, 2010, Analysis of Algorithms, CPS 130, Duke University. Spring, 2010. Alternative Computational Models, Spring 2010. Fall, 2009, Analysis of Algorithms, CPS 130, Duke University. Spring, 2009, Computational Complexity, CPS 240, Duke University. Fall, 2008, Analysis of Algorithms, CPS 130, Duke University. Spring, 2008, Randomized Algorithms, CPS 237, Duke University. Fall, 2007, Analysis of Algorithms, CPS 130, Duke University. Spring, 2007, Computational Complexity, CPS 240, Duke University. Fall, 2006, Analysis of Algorithms, CPS 130, Duke University. Spring, 2006, Randomized Algorithms, CPS 237, Duke University. Fall, 2005, Analysis of Algorithms, CPS 130, Duke University. Summer, 2005, Analysis of Algorithms(NCSC 6021). Taught this masters-level remote instructional course for National Technical University(Walden University), produced at MGM Studios, Orlando, FL, June, 2005. Spring, 2005, Analysis of Algorithms, CPS 130, Duke University. Fall, 2004, Efficient Algorithms, CPS 230, Duke University. Spring, 2003, Analysis of Algorithms, CPS 130, Duke University. Fall, 2002, Efficient Algorithms, CPS 230, Duke University. Spring, 2002, Randomized Algorithms, CPS 237, Duke University. Fall 2001, Analysis of Algorithms, CPS 130, Duke University. Spring 2001, Mathematical Foundations of Computer Science, CPS 140, Duke University. Fall 2000, Computational Biology, CPS 296.2, Duke University. Spring 2000, Computational Biology and Biomolecular Computation, CPS 296.2, Duke University. Fall 1999, Analysis of Algorithms, CPS 130, Duke University. Spring 1999, Analysis of Algorithms, CPS 130, Duke University. Fall 1998, Parallel Algorithms, CPS 236, Duke University. Spring 1998, Analysis of Algorithms, CPS 130, Duke University. Fall 1997, Design and Analysis of Algorithms, CPS 230, Duke University. Spring 1997, Analysis of Algorithms, CPS 130, Duke University. Fall 1996, Design and Analysis of Algorithms, CPS 230, Duke University. Spring 1996, Parallel Algorithms, CPS 236, Duke University. Fall 1995, Analysis of Algorithms, CPS 130, Duke University. Spring 1995, Parallel Algorithms, CPS 236, Duke University. Fall 1994, Analysis of Algorithms, CPS 230, Duke University. Fall 1993, Analysis of Algorithms, CPS 174, Duke University. Spring 1993, Parallel Algorithms, CPS 230, Duke University. Fall 1992, Analysis of Algorithms, CPS 174, Duke University. Spring 1992, Numerical and Algebraic Algorithms, CPS 206, Duke University. Fall 1991, Parallel Algorithm Implementation, CPS 265, Duke University. Spring 1991, Computational Robotics, CPS 265, Duke University. Fall 1990, Analysis of Algorithms, CPS 174, Duke University. Spring 1990, Advanced Topics in Theory, CPS 265, Duke University. Fall 1989, Analysis of Algorithms, CPS 224, Duke University. Spring 1989, Advanced Topics in Massively Parallel Processing, CPS 265, Duke University. Spring 1989, Advanced Topics in Algorithms, CPS 265, Duke University. Fall 1988, Analysis of Algorithms, CPS 174, Duke University. Spring 1988, Parallel Algorithms, CPS 265, Duke University. Fall 1987, Analysis of Algorithms, CPS 224, Duke University. Spring 1987, Parallel Algorithms, CPS 265, Duke University. Fall 1986, Analysis of Algorithms, CPS 224, Duke University. Spring 1994, Algorithms for Scientific Computation CS 15-850, Carnegie-Mellon University. Fall 1985, Introduction to the Theory of Computing, CS 207, Harvard University. Spring 1985, The Complexity of Computations: Parallel Computation, CS 224, Harvard University. Spring 1984, The Complexity of Computations: Parallel Computation, CS 224, Harvard University. Fall 1983, Efficient Algorithms, CS 226, Harvard University. Spring 1983, The Complexity of Computations: Parallel Computation, AM 224, Harvard University. Fall 1982, Efficient Algorithms, AM 226, Harvard University. Spring 1982, The Complexity of Computations: Parallel Computation, AM 224, Harvard University. Fall 1981, Introduction to the Theory of Computing, AM 207, Harvard University. Spring 1981, Data Structures, AM 119, Harvard University. Fall 1980, Introduction to the Theory of Computing, AM 207, Harvard University. Spring 1980, Introduction to the Theory of Computing, AM 207, Harvard University. Fall 1979, Efficient Algorithms, AM 226, Harvard University. Spring 1979, Seminar in Research Topics, CSC 589, University of Rochester. Fall 1978, Introduction to Theory of Computation, CSC 281/481, University of Rochester. Fall 1978, Programming Problems Seminar, CSC 400, University of Rochester. Spring 1978, Seminar on Optimization of Computer Programs, CSC 589, University of Rochester. Fall 1977, Programming Problems Seminar, CSC 400, University of Rochester. Recent Invited TalksBiomolecular Computation by Local Assembly, University of Delaware, Mathematics Dept, April 19, 1997 Biomolecular Computation by Local Assembly, U Pennsylvania, April 18, 1997 Biomolecular Computation, Ultrascale Meeting, DARPA, Estes Park, CO, Oct 14, 1997. Biomolecular Computation (Distinguished Lecture Series), Department of Computer Science, Rice University, April 30, 1997 Approximate Complex Polynomial Evaluation, Department of Computer Science, U. of Houston, May 1, 1997 Randomized parallel algorithms in computational geometry, October 10, 1997, School and Workshop on Randomized Algorithms in Sequential, Parallel, and Distributed Computing(RALCOM 97),Santorini Island, Greece. Randomized parallel algorithms for routing and sorting October 11, 1997, Workshop on Randomized Algorithms in Sequential, Parallel, and Distributed Computing(RALCOM 97), Santorini Island, Greece. Biomolecular Computation, CS Dept, Brandeis University, Nov 22, 1997. Toward Autonomous Robots: Robust, Adaptive and Dynamic Motion, 19 NSF Design and Manufactoring Grantees Conference, Monterrey, Mexico, Jan 1998. Paradigms for Biomolecular Computation, First International Conference on Unconventional Models of Computation, Auckland, New Zealand, January 1998. in Unconventional Models of Computation, edited by C.S. Calude, J. Casti, and M.J. Dinneen, Springer Publishers, January 1998, pp. 72-93. Microflow Bio-Molecular Computation, 4th DIMACS Workshop on DNA Based Computers, University of Pennsylvania, June, 1998. Nano-Robotics Motion Planning and Its Applications in Nanotechnology and Biomolecular Computing, NSF Design and Manufacturing Grantees Conference, Longbeach, CA, Jan 5-8, 1999. Quantum Information Processing: Compression, Coding, and Related Computations, Plenary Talk, IEEE Data Compression Conference (DCC'99) Snowbird, Utah, March 29 - 31, 1999. Experimental Progress in Computation by Self-Assembly of DNA Tilings, 5th DIMACS Workshop on DNA Based Computers, MIT, June 14, 1999. DNA-based Cryptography, 5th DIMACS Workshop on DNA Based Computers, MIT, June 15, 1999. Molectronics Software Architecture, DARPA Molelectronics Meeting, Ashburn, VI, July8-9, 1999. DNA Cryptosystems, Workshop in Biomolecular Computation: Its Potential and Applications, NSF, Arlington VI, Oct 1, 1999, (abstract). Collaborative Biomolecular Computation Projects in Europe, Japan, & the US, Workshop in Biomolecular Computation: Its Potential and Applications, NSF, Arlington VI, Oct 1, 1999, (abstract). Nonparametric Multiscale Multimodal Model for Detection/Recognition, Multi-Modality Image Fusion Conference, Rochester, NY, Oct 7, 1999. Software Architecture for a Molecular Computer, DARPA, Arlington VI, Nov 30, 1999. Molectronics Software Architecture, Center Nanoscale Science and Technology, Rice University, Dec 3, 1999. DNA Cryptosystems, Invited Talk, National Security Agency(NSA), Fort Meade, Maryland, Dec 13, 1999. Associative Search in DNA Databases, Invited Talk, National Reconnaissance Office(NRO), Chantilly, VA, Dec 14, 1999. Software Design for Molectronics, DARPA Molectronics Meeting, Arlington, VI, (Feb 26,2000). An Efficient Approximation Algorithm for Weighted Region Optimal Path Problem, Workshop on Foundations of Robotics (WFR2000), Dartmouth, NH, (March 17, 2000). Self-Assembled DNA Nanostructures, ADT Novel Technologies for Information: DNA/Biological SRC meeting, San Jose CA, (March 26, 2000). Self-Assembled DNA Nanostructures, NSF workshop on nano-scale molecular based electronics, Arlington, VI, (May 18, 2000). Computationally Inspired Biotechnologies: Improved DNA Synthesis and Associative Search Using Error-Correcting Codes and Vector-Quantization, Invited Talk, Sixth International Meeting on DNA Based Computers (DNA6), Leiden, The Netherlands, (June 14, 2000) Challenges and Applications for Self-Assembled DNA Nanostructures, Plenary Talk, Sixth International Meeting on DNA Based Computers (DNA6), Leiden, The Netherlands, (June 16, 2000) Algorithmic self-assembly of DNA Tilings, City University of Hong Kong, Kowloon, Hong Kong, Oct 2, 2000. Improved DNA Synthesis and Associative Search Using Error-Correcting Codes and Vector-Quantization, City University of Hong Kong, Kowloon, Hong Kong, Oct 3, 2000. On the Impossibility of Interaction-Free Quantum Sensing for Small I/O Bandwidth, City University of Hong Kong, Kowloon, Hong Kong, Oct 4, 2000. A Biomolecular System for Ultra-Scale Associative Search, Invited Talk, National Reconnaissance Office(NRO), Chantilly, VA, November, 2000. A Biomolecular System for Ultra-Scale Associative Search, Theory Seminar, CS Dept, Duke University, Durham, NC, November 16, 2000. Experimental Demonstrations of Ultra-Scale Molecular Data Storage & Retrieval, Computation and Assembly, Information Science and Technology Colloquium Series Invited Talk, NASA Goddard, Maryland, Jan 17, 2001. Programmable Assembly at the Molecular Scale: Self-Assembly of DNA Lattices, Plenary Talk, 2001 IEEE International Conference on Robotics and Automation (ICRA2001), Seoul, Korea, May 26, 2001 Molecular Computing via Programmed Self-Assembly of Patterned Molecules, Plenary Talk, 2001 Congress on Evolutionary Computation (CEC2001), Seoul, Korea, May 28, 2001 Experimental Construction of Very Large Scale DNA Databases with Associative Search Capability, Seventh International Meeting on DNA Based Computers (DNA7), Tampa, FL, June 11-13, 2001. Molecular Database Systems for Storage, Processing & Retrieval of Genetic Information & Material, Invited Talk, MiniSymposium "On Interfaces among Information Technology, sensing sciences, and Biological Systems", organized by Jagdish Chandra and Srikanta Kumar, SIAM Annual Meeting, San Diego, California, July 9-13, 2001 Movement Planning in the Presence of Flows, Workshop on Algorithms and Data Structures (WADS2001), Brown University, Providence, RI, August 8-10, (2001). Computations & patterned structures via DNA self-assembly, Invited talk, Max Planck Institute for the Physics of Complex Systems, Dresden, Germany, August 20-24,2001. DNA in NanoScience, Invited talk, Department of Computer Science Seminar Series, Duke University, Durham, NC, October 22, 2001 DNA Computation by Self-Assembly of DNA Nano-Scale Structures, Symposium on New Approaches toward Computing, Plenary Talk, National Academy of Arts and Sciences, Brussels, Belguim, November 9, 2001 Programmable DNA Lattices: Design, Synthesis and Applications, Invited Talk, Joint DARPA/NSF BioComp PI Meeting, Monterey Bay, CA. November, 27 - 30, 2001. Self-Assembly of DNA Nano-Scale Structures for Computation, Invited Talk, Joint DARPA/NSF BioComp PI Meeting, Monterey Bay, CA. November, 27 - 30, 2001. Self-Assembly of DNA Nano-Scale Structures, Invited Talk, DARPA ITO BioComp PI Meeting, Washington, DC, May 22-24, 2002. DARPA Supplemental Project Overview, Invited Talk, Central Intelligence Agency(CIA), McLean, VI, Feb 12, 2002. DNA Database Project Final Report Talk, National Reconnaissance Office(NRO), Chantilly, VA, Feb 12, 2002. The Design of Autonomous DNA Nanomechanical Devices: Walking and Rolling DNA, The 8th International Meeting on DNA Based Computers (DNA 8), Sapporo, Japan, June 10-13, 2002. Molecular Assembly and Computation: From Theory to Experimental Demonstrations, Plenary Talk, 29th International Colloquium on Automata, Languages, and Programming(ICALP), Málaga, Spain (July 8, 2002). Programmable Molecular Self-Assembly: Theory and Experimental Demonstrations, invited talk, Alternative Computing Workshop, Mathematics in Nanoscale Science and Engineering, UCLA, September 30, 2002. Programmable Molecular Self-Assembly: Theory and Experimental Demonstrations, distinguished lecture, Computer Science Department, John Hopkins University, Baltimore, Maryland, October 3, 2002. DARPA Supplemental Project Overview Talk & Demonstration, MITRE Corporation, McLean, VI, October 4, 2002 Programmable DNA Lattices: Design, Synthesis and Applications, Invited Talk, Department of Computer Science, Boston University, Boston, MA, December 2, 2002. Patterned Molecular Self-Assembly, Invited Talk, Joint DARPA/NSF BioComp PI Meeting, San Deigo, CA. December 7, 2002. DARPA Supplemental Project Overview Talk & Demonstration, MITRE Corporation, McLean, VI, April 14, 2003 DNA Nanostructures: Patterning and Computation, Duke Nanostructure Workshop, Duke University, Durham, NC, May 5, 2003 Achieving Patterned Molecular Self-Assembly, Invited Talk, DARPA BioComp PI Meeting, Fort Lauderdale, Florida, May 15, 2003. Directed Nucleation Assembly of Barcode Patterned DNA Lattices, DNA9 Conference, Madison, Wisconsin, June 2, 2003 Programmable DNA Lattices: Design, Synthesis and Applications, Keynote Talk, 5th Conference on Computational Biology and Genome Informatics (CBGI), 7th Joint Conference on Information Sciences (JCIS 2003), September 26-30,2003. Cary, NC, USA. Compact Error-Resilient Computational DNA Tiling Assemblies, Tenth International Meeting on DNA Based Computers (DNA10), Milano, Italy, June 7-10, 2004. Designs for Autonomous Unidirectional Walking DNA Devices, Tenth International Meeting on DNA Based Computers (DNA10), Milano, Italy, June 7-10, 2004. Design of an Autonomous DNA Nanomechanical Device Capable of Universal Computation and Universal Translational Motion, Poster Presentation, Tenth International Meeting on DNA Based Computers (DNA10), Milano, Italy, June 7-10, 2004. TileSoft: Sequence Optimization Software For Designing DNA Secondary Structures, Poster Presentation, Tenth International Meeting on DNA Based Computers (DNA10), Milano, Italy, June 7-10, 2004. DNA-Based Nano-Engineering: DNA and its Enzymes as the Engines of Creation at the Molecular Scale, Plenary Invited Talk, Tenth International Meeting on DNA Based Computers (DNA10), Milano, Italy, June 7-10, 2004. Design, Simulation, and Experimental Demonstration of Self-Assembled DNA Nanostructures and DNA Motors, Invited Talk, Computational Modeling and Simulation of Materials (CIMTEC) Conference, Acireale, Sicily, Italy, May 29-June 4, 2004. Molecular Computations Using Self-Assembled DNA Nanostructures and Autonomous Motors, Invited Talk, Bio-inspired Computing Track, Unconventional Programming Paradigms (UPP), Mont Saint-Michel, France, September 15–17, 2004. Self-Assembled DNA Nanostructures for Molecular Scale Patterning, Computation and Motors, Invited Talk, Korean Society for Bioinformatics Conference, Seoul, South Korea, November 5, 2004. Self-Assembled DNA Nanostructures for Molecular Scale Patterning, Computation and Motors, Invited Talk, Nano System Institute (NSI_NCRC), Seoul National University, Seoul, South Korea, November 8, 2004. Self-Assembled DNA Nanostructures for Molecular Scale Patterning, Computation and Motors, Invited Talk, Biomedical MEMS Laboratory, Korea Institute of Science and Technology (KIST), Seoul, South Korea, November 8, 2004. Self-Assembled DNA Nanostructures for Molecular Scale Patterning, Computation and Motors, Invited Talk, Division of Nano Science, Ewha Woman’s University, Seoul, South Korea, November 9, 2004. Self-Assembled DNA Nanostructures for Molecular Scale Patterning, Computation and Motors, Invited Talk, Department of BioSystems, Korean Advanced Institute of Science and Technology (KAIST), Taejon, South Korea, November 9, 2004. Self-Assembled DNA Nanostructures for Molecular Scale Patterning, Computation and Motors, Invited Talk, Department of Materials Science and Engineering, Massachusetts Institute of Technology (MIT), Cambridge, MA, December 6, 2004. Self-Assembled DNA Nanostructures for Molecular Scale Patterning, Computation and Motors, Invited Talk, Department of Chemistry, Tufts University, Medford, MA, December 7, 2004. Self-Assembled DNA Nanostructures for Molecular Scale Patterning, Computation and Motors, Invited Talk, Workshop on Engineering a DNA World, Center for Biological Circuit Design, California Institute of Technology (Caltech), Pasadena, CA, January 6-8, 2005. Self-Assembled DNA Nanostructures for Molecular Scale Patterning, Computation and Motors, Invited Talk, Departments of EE and Material Science, Seattle, WA, February 15, 2005. Self-Assembled DNA Nanostructures for Molecular Scale Patterning, Computation and Motors, Invited Talk, Frontiers 2005, Duke University, Durham, NC, May 4, 2005. Complexity of Graph Self-Assembly in Accretive Systems and Self-Destructible Systems, Eleventh International Meeting on DNA Based Computers (DNA11), London, Ontario, June, 2005. Design of Autonomous DNA Cellular Automata, Eleventh International Meeting on DNA Based Computers (DNA11), London, Ontario, June, 2005. A Self-Assembly Model of Time-Dependent Glue Strength, Eleventh International Meeting on DNA Based Computers (DNA11), London, Ontario, June, 2005. Self-Assembled DNA Nanostructures for Molecular Scale Patterning, Computation and Transport, Invited Talk, New York Academy of Science, New York, NY, Oct 11, 2005. Design and Simulation of Self-Repairing DNA Lattices, 12th International Meeting on DNA Computing (DNA 12), Seoul, Korea, June 5-9, 2006. On Constructing Tile-less DNA Ribbons and Tubes, 12th International Meeting on DNA Computing (DNA 12), Seoul, Korea, June 5-9, 2006. Capabilities and Limits of Compact Error Resilience Methods for Algorithmic Self-Assembly in Two and Three Dimensions, 12th International Meeting on DNA Computing (DNA 12), Seoul, Korea, June 5-9, 2006. DNA Modeller: Modeling DNA based Molecular Systems, Poster Abstract, 12th International Meeting on DNA Computing (DNA 12), Seoul, Korea, June 5-9, 2006. (Poster Abstract). Self-Assembled DNA Nanostructures for Molecular Scale Patterning, Computation and Transport, Invited Talk, 14th Workshop on Logic, Language, Information and Computation (WoLLIC'2007), Rio de Janeiro, Brazil, July 2-5, 2007. DNA Self-assembly and Autonoumous R Molecular Robots. Invited Talk, presented at the Conference on Morphological Computation, Venice, Italy, March 26-28, 2007. Autonomous Programmable Biomolecular Devices Using Self-Assembled DNA Nanostructures, invited talk, Fourteenth Workshop on Logic, Language, Information and Computation (WoLLIC'2007), Rio de Janeiro, Brazil, July 2-5, 2007. Autonomous Programmable DNA Nanorobotic Devices Using DNAzymes, 13th International Meeting on DNA Computing (DNA 13), Memphis, Tennessee, June 4-8, 2007. Activatable Tiles for Compact Error-Resilient Directional Assembly. 13th International Meeting on DNA Computing (DNA 13), Memphis, Tennessee, June 4-8, 2007. Autonomous Programmable Biomolecular Devices Using Self-Assembled DNA Nanostructures, invited talk, Workshop on Algorithmic Bioprocesses, Lorentz Center, Leiden University, Leiden, Netherlands, Dec 3-7, 2007. Autonomous Programmable Biomolecular Devices Using Self-Assembled DNA Nanostructures, invited talk, joint talk, University of Vancouver & Simon-Fraser University, Vancouver, BC, Jan 30, 2008. Isothermal Reactivating Whiplash PCR for Locally Programmable Molecular Computation, Fourteenth International Meeting on DNA Based Computers (DNA14), Prague, Czech Republic (June, 2008). Programmable DNA Nanodevices, NSF EMT 2008 Workshop, Princeton, NJ, July 24-25, 2008. DNA Nanoassembly and DNA Nanodevices: Challenges, Applications and Research Progress, DNA-based nanotechnology: Construction, mechanics, and electronics, International Workshop, Dresden, Germany, (May 11 - 15, 2009). DNA nanoassembly and DNA Nanodevices: Challenges, Applications and Research Progress, Future and Emerging Technologies (FET) seminar, European Commission, Brussels, Belgium, (May 20, 2009). Design of a Biomolecular Device that Executes Process Algebra, Fifteenth International Meeting on DNA Computing and Molecular Programming (DNA15), Fayetteville, Arkansas (June 8-11, 2009). The Tile Complexity of Linear Assemblies, 36th International Colloquium on Automata, Languages and Programming (ICALP 2009), Rhodes, Greece (July 5 - 12, 2009). DNA Nanoassembly and DNA Nanodevices: Challenges, Applications and Research Progress, Computer Technology Institute, University of Patras, Patras, Greece (July 19, 2009). DNA-Based Assembly of Molecular-Scale Autonomous Devices for Sensing, Transport and Computation, Wuhan University. Hubei, China, May 17, 2010. DNA-Based Assembly of Molecular-Scale Autonomous Devices for Sensing, Transport and Computation, Hefei University of Technology, Hefei, China, May 18, 2010. DNA-Based Assembly of Molecular-Scale Autonomous Devices for Sensing, Transport and Computation, Anhui University, Hefei, China, May 18, 2010. DNA-Based Assembly of Molecular-Scale Autonomous Devices for Sensing, Transport and Computation, North China University of Technology, Beijing, China, May, 2010. DNA-Based Assembly of Molecular-Scale Autonomous Devices for Sensing, Transport and Computation, College of Computer Science and Information Technology, Kunming Normal University, Kunming, China, June 1 2010. The Theory of Self-Assembly, Tuitorial, International Conference on DNA Computing and Molecular Programming, (DNA16), Hong Kong University of Science and Technology. Hong Kong, China, June 14, 2010. High-Fidelity DNA Hybridization using Programmable Molecular DNA Devices, International Conference on DNA Computing and Molecular Programming, (DNA16), Hong Kong University of Science and Technology. Hong Kong, China, June 14-17th, 2010. DNA-Based Assembly of Molecular-Scale Autonomous Devices for Sensing, Transport and Computation, Bioengineering Seminar Series, Hong Kong University of Science and Technology (HKUST), Department of Chemical and Biomolecular Engineering, Hong Kong, China, June 18. 2010. DNA-Based Assembly of Molecular-Scale Autonomous Devices for Sensing, Transport and Computation, Chinese University of Hong Kong, Hong Kong, China, June 18. 2010. DNA-Based Assembly of Molecular-Scale Autonomous Devices for Sensing, Transport and Computation, Distinguished Lecture, North Eastern University, College of Computer Science, Boston, MA, November 18, 2010. DNA-Based Molecular Devices, Keynote talk ICCABS, Orlando, FL, Feb. 3‐5, 2011. DNA Self-Assembled Autonomous Devices for Programmed Molecular Computation, Transport, and Amplified Sensing, van Leeuwenhoek Lecture on BioScience, Leiden University, Leiden, Netherlands, May 26 2011. Programmable Self-Assembled DNA-Based Autonomous Molecular Devices, Microsoft Research, Cambridge, June 2, 2011. Programmable Self-Assembled DNA-Based Autonomous Molecular Devices, Department of Physics, Clarendon Laboratory, University of Oxford, Oxford University, UK, June 7, 2011. Localized Hybridization Circuits, International Conference on DNA Computing and Molecular Programming, (DNA17), California Institute of Technology, Pasadena, California, Sept 19-23, 2011. Programmable Self-Assembled DNA-Based Autonomous Molecular Devices, Faculty of Computing and Information Technology (FCIT), King Abdulaziz University (KAU), Jeddah, Saudi Arabia, December 4, 2011. Development and Demonstration of an Energy-Efficient Cost-Effective Durable Solar Concentrator, Faculty of Computing and Information Technology (FCIT), King Abdulaziz University (KAU), Jeddah, Saudi Arabia, December 11, 2011. Development and Demonstration of an Energy-Efficient Cost-Effective Durable Solar Concentrator, King Abdullah City for Atomic and Renewable Energy (KACARE), Riyadh, Saudi Arabia, December 13, 2011 Programmable Self-Assembled DNA-Based Autonomous Molecular Devices, Effat University, Jeddah, Saudi Arabia, May 13, 2012. Development and Demonstration of an Energy-Efficient Cost-Effective Durable Solar Concentrator for Powering Desalination, King Abdullah City for Atomic and Renewable Energy (KACARE), Riyadh, Saudi Arabia, Sept 16, 2012. Development and Demonstration of an Energy-Efficient Cost-Effective Durable Solar Concentrator for Powering Desalination, Saudi Arabian Ministry of Water and Electricity, Riyadh, Saudi Arabia, Sept 16, 2012. Keynote Talk, Future Challenges for DNA-Based Nano-Architectures and Nano-Devices, Workshop on Molecular Programming and Computing, Copenhagen, Denmark, May 2-4, 2013. Keynote talk, 4th IEEE International Conference on Computational Advances in Bio and Medical Sciences (ICCABS), Miami Beach Resort and Spa, Miami Beach, FL, June 2-4, 2014. DNA Computing: Theory, Experiments & Software, Computability in Europe: Evolving Computability (CiE 2015), Bucharest, Romania, July 2, 2015. Self-Assembled DNA Nanostructures, Computability in Europe: Evolving Computability (CiE 2015), Bucharest, Romania, July 3, 2015. DNA-Based Programmable Autonomous Molecular Robotic Devices, Computability in Europe: Evolving Computability (CiE 2015), Bucharest, Romania, July 4, 2015. DNA-Based Molecular Assembly and Computation, Dagstuhl Seminar 15402 Self-assembly and Self-organization in Computer Science and Biology, Sept 27-October 02, Dagstuhl Saarbrücken, Germany, July 2, 2015. DNA-Based Programmable Autonomous Molecular Devices, MSE Department, Boise State University, Boise, ID, October 30, 2015. DNA-Based Programmable Autonomous Molecular Devices, Chemistry Department, UNC Charlotte, NC, October 20, 2016. Directory: ~reif -> vita ~reif -> CS294-2: Quantum Computation Spring 2007 ~reif -> Springer Science+Business Media New York 2017 ~reif -> Mechanical Computation: The Computational Complexity of Physical Computing Devices Chapter, Encyclopedia of Complexity and Systems Science vita -> Papers by Reif on Program Logics (6 papers) ~reif -> R. Landauer, "Irreversibility and heat generation in the computing process", ibm j. Res. Dev. 5, 183 (1961) ~reif -> 1 John h reif2 and Thomas h laBean Download 433.18 Kb. Share with your friends:
|