- Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol
- On the Complexity of Space Bounded Interactive Proofs Anne Condon
- To appear in the 11th Annual Symposium on Parallel Algorithms and Architectures (SPAA), June 27 -30 1999, Saint-Malo, France This work is supported in part by the National Science Foundation with grants MIP-
- Parsing nucleic acid pseudoknotted secondary structure: algorithm and applications
- 12th CCWESTT Conference May 29 31, 2008 Guelph, Ontario BUILDING COMMUNITIES SYMPOSIUM '07
- The Complexity of Space Bounded Interactive Proof Systems
- This work is supported in part by the National Science Foundation with grants MIP-9225097, MIPS-9625558, CCR 9257241, and CDA-9623632,
- Toward A Decidable Notion of Sequential Consistency Jesse D. Bingham
- The Jade Bridges Programme 2009 Grant Competition
- Stepwise Randomized Combinatorial Auctions Achieve Revenue Monotonicity
- Module 2: Interfaces Interfaces are the point of connection between people and their tools. Common examples are
- Parallel Implementation of Boruvka's Minimum Spanning Tree Algorithm Sun Chung Anne Condon
- September 20, 2009 23:42 WSPC -Proceedings Trim Size: 11in x 8.5in psb2010 An algorithm for the energy barrier problem without pseudoknots and temporary arcs
- Revenue Monotonicity in Combinatorial Auctions Baharak Rastegari, Anne Condon and Kevin Leyton-Brown
- 0123245 6728 9441 @A 6B4CB48 DBE1FG HA 6BF48 @IGB4 PI7Q1F8 RS145CB45 T128 UB4V TFWGBQ8 RS14 PWB8 H7X PA Y757IIV8
- Stories from the Jade Project Sharing a passion for science and engineering with
- 12th CCWESTT Conference May 29 31, 2008 Guelph, Ontario WOMEN IN ENGINEERING AT UBC
- CCWESTT Conference May 29 31, 2008 Guelph, Ontario Improving the Working Climate in the Faculty of Science at UBC
- Strategies for Recruiting and Retaining Women in Science and Engineering
- Connecting with Computer Science: Course Overview
- Shark feeding FRENZY! Before you get started
- Module 6: Digital DNA Representation and processing of digital information in the form of DNA is essential to life
- CCWESTT Conference May 29 31, 2008 Guelph, Ontario The Jade Bridges Project and Network
- High school Outreach Initiative SSuussttaaiinnaabbiilliittyy,, SScciieennccee aanndd EEnnggiinneeeerriinngg NNoorrtthh ooff 6600
- Problems on RNA Secondary Structure Prediction and Design
- Module 1: Data Organization Knowledge of the ways that data is commonly organized on a computer will be helpful to
- Flow Algorithms for Two Pipelined Filter Ordering Anne Condon
- To appear in the 10th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), June 28-July 2, 1998, Puerto Vallarta, Mexico This work is supported in part by Wright Laboratory Avionics Directorate, Air Force
- Automatable Verification of Sequential Consistency
- $ % & ' ( ) ' ) 0 & 1 2 3 4 5 67 8 6 9 3 5 @ A B 5 C D E F D G 5
- !"#$%"'&"($"&)0(1& 24356"789$@7BACDFEHG"G"8PIRQG"S"QBG"T
- Revenue Monotonicity in Combinatorial Auctions BAHARAK RASTEGARI, ANNE CONDON and KEVIN LEYTON-BROWN
- PANEL: MAKING THE TRANSITION FROM GRADUATE STUDENT TO FACULTY
- Classifying RNA Pseudoknotted Structures Anne Condon
- Less Haste, Less Waste: On Recycling and its Limits in Strand Displacement Systems
- Efficient codon optimization with motif engineering
