One-Design - PDFSEARCH.IO - Document Search Engine

One-Design
Results: 2951

#	Item
581	Text Essentials Mike Dickison • Learning Skills Centre, University of Canterbury mike.dickison[at]canterbury.ac.nz • +ext 4138 • www.learningskills.canterbury.ac.nz Typography basics Type one space af Add to Reading List Source URL: www.lps.canterbury.ac.nz Language: English - Date: 2013-07-30 22:45:42 Writing Printing Latin alphabet Control characters Whitespace Paragraph Typewriter Tab key Block quotation Typography Graphic design Punctuation
582	Applications and Challenges in Satisfiability Modulo Theories Leonardo de Moura Microsoft Research One Microsoft Way Redmond, WA 98052 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:35:41 Formal methods Mathematics Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Z3 Boolean satisfiability problem First-order logic Theoretical computer science Constraint programming Applied mathematics
583	PPCoin: Peer-to-Peer Crypto-Currency with Proof-of-Stake Sunny King, Scott Nadal (, ) August 19th, 2012 Abstract A peer-to-peer crypto-currency design derived from Satoshi Naka Add to Reading List Source URL: www.peercoin.net Language: English - Date: 2014-03-30 13:50:01 Peer-to-peer computing Numismatics Cryptography Coins of the United States Proof-of-work system Peer-to-peer Penny United States dollar Australian one-cent coin Currency Software Bitcoin
584	Strategic ex-ante contracts: rent extraction and opportunity costs Xinyu Hua∗ This paper considers the possibility that a seller can contract with one uninformed buyer prior to an auction involving two potential buyers Add to Reading List Source URL: ihome.ust.hk Language: English - Date: 2011-08-31 04:45:35 Finance Contract law Auction theory Auctioneering Legal documents Ex-ante Futures contract Mechanism design Contract Game theory Business Economics
585	Z310 : Applications, Enablers, Challenges and Directions Nikolaj Bjørner and Leonardo de Moura Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA {nbjorner,leonardo}@microsoft.com Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:10:53 Logic in computer science Metalogic Electronic design automation NP-complete problems Satisfiability Modulo Theories Model theory Formal verification Extended static checking Model checking Theoretical computer science Formal methods Applied mathematics
586	CERAMIC TILES OF ITALY MAKES ITS ICFF DEBUT With a Showcase of Iconic Italian Design (SpringThe Italians are making not one, but two visits to the Northeast this May. Overlapping a day with the AIA Convention, the Add to Reading List Source URL: www.italytile.com Language: English - Date: 2010-06-24 11:11:28 Pavements Construction Architecture Ceramic art Decorative arts Tile Ceramic Visual arts Building materials Floors
587	intemporel - the bathroom that cares - me310 During one year, one team in Paris-Est d.school and one team in one of the school of Stanford Add to Reading List Source URL: www.dschool.fr Language: English - Date: 2014-10-14 12:07:01 Plumbing Public toilets Rooms Design thinking Shower Sink Architecture Bathrooms Bathing
588	ST411/511 WinterOne way ANOVA worked example. Discrimination Against the Physically Disabled Case Study 6.1 in Sleuth Summary Statistics: Add to Reading List Source URL: stat511.cwick.co.nz Language: English - Date: 2014-11-11 18:19:04 Regression analysis Design of experiments Least squares F-test Degrees of freedom Errors and residuals in statistics Total sum of squares Partition of sums of squares One-way ANOVA Statistics Analysis of variance Statistical tests
589	Will you be able to though no one will know anything about it Add to Reading List Source URL: chax.org Language: English - Date: 2011-01-09 01:35:52 Industrial design Macintosh Business
590	1973 Sport Spectacular by Ken Moore Long Distance Run The Second Annual Long Distance Run around Add to Reading List Source URL: www-project.slac.stanford.edu Language: English - Date: 2011-10-13 19:21:41 United States Department of Energy National Laboratories National Offshore One Design Cycling Physics Stanford University SLAC National Accelerator Laboratory

UPDATE