Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue

Source URL: www.kestrel.edu

• Mathematics
• Algebra
• Combinatorial optimization
• Mathematical logic
• Mathematical optimization
• Operations research
• Algorithm
• Sheaf
• Branch and bound
• Universal property
• Equation solving
• Boolean algebra

THE “3D WIKI”: BLENDING VIRTUAL WORLDS AND WEB ARCHITECTURE FOR REMOTE COLLABORATION Michael Roberts1, Nicolas Ducheneaut1, Trevor F. Smith2 1 Palo Alto Research Center andSolutions, Inc.

Source URL: trevor.smith.name

• Virtual reality
• Computing
• Software
• Game design
• Second Life
• Avatar
• Virtual world
• Open Wonderland
• Server
• Social software
• Session
• Virtual world framework

Variations Forever: Flexibly Generating Rulesets from a Sculptable Design Space of Mini-Games Adam M. Smith and Michael Mateas  Abstract—Variations Forever is a novel game in which the player explores a vast design

Source URL: adamsmith.as

Random Jottings 2 is edited and published by Michael Dobson, 1310 Buchanan Street, Charlotte, North CarolinaCo-edited by Edward R. “Edsmith” Smith, 1725 17th Street NW, Washington, DC 20009, and by Spiror T

Source URL: efanzines.com

Separator for Capture Reactions High Priority Reactions for SECAR Measurements Michael Smith ORNL

Source URL: fribastro.org

THE MICHAEL SMITH LABS PRESENT OUR MOLECULAR BIOLOGY WORKSHOP 2018 Summer Session University of British Columbia,Vancouver, Canada. ONE WEEK VERSION - MOLECULAR BIOLOGY WORKSHOP

Source URL: www.bioteach.ubc.ca

The PEPA Eclipse Plug-in A modelling, analysis and verification platform for PEPA Adam Duguid, Stephen Gilmore, Michael Smith and Mirco Tribastone Wednesday 01 December 2010

Source URL: www.dcs.ed.ac.uk

• System software
• Process calculi
• PEPA
• Markov models
• Software
• Markov chain
• Workbench
• Process calculus
• Time series

Single-arm three-wave interferometer for measuring dispersion of short lengths of fiber Michael A. Galle, Waleed Mohammed, Li Qian and Peter W. E. Smith Dept. of Electrical and Computer Engineering, University of Toronto

Source URL: www.inometrix.com

The Flying Gator: Towards Aerial Robotics in occam-π Ian ARMSTRONG, Michael PIRRONE-BRUSSE, Anthony SMITH, and Matthew JADUD Allegheny College Meadville, Pennsylvania, 16335, USA {armstri , pirronm, smitha7 , mjadud} @a

Source URL: jadud.com

Computational Caricatures: Probing the Game Design Process with AI Adam M. Smith and Michael Mateas Expressive Intelligence Studio University of California, Santa Cruz 1165 High Street, Santa Cruz, CA 95064 {amsmith,mich

Source URL: adamsmith.as