Where

Results: 47784



#Item
1Theoretical computer science / Mathematics / Computational complexity theory / Logic in computer science / NP-complete problems / Electronic design automation / Formal methods / Constraint programming / Satisfiability modulo theories / Boolean satisfiability problem / Solver / Automated reasoning

Outline SMT: Where Do We Go From Here? Clark Barrett, New York University SMT Workshop, July 17, 2014

Add to Reading List

Source URL: smt2014.it.uu.se

Language: English - Date: 2014-07-21 06:41:07
2Computing / Engineering / Software engineering / Software testing / Information and communications technology / Product development / Software development / Software engineer / Test automation / Software quality

AetherWorks 501 Fifth Avenue, New York, NYSENIOR SOFTWARE ENGINEER AETHERWORKS AetherWorks is a Software Research & Venture Development firm. We have been located on Bryant Park for the last 7 years where we have

Add to Reading List

Source URL: www.aetherworks.com

Language: English - Date: 2018-06-25 16:20:00
3Economy / Business / Supply chain management / Merchandising / Inventory optimization / Logistics / Lean manufacturing / Inventory / Retail / Warehouse / Operations management / Online shopping

Order Fulfillment in Online Retailing: What Goes Where by Ping Josephine Xu M.S. Operations Research

Add to Reading List

Source URL: web.mit.edu

Language: English - Date: 2018-07-20 12:49:48
4Blockchains / Cryptocurrencies / Computing / Concurrent computing / Ethereum / Distributed computing / R3 / Cross-platform software / CORDA / Sam Lee / Hyperledger

Delivering blockchain technology to transform the way the world does business Our vision is of a world where everyone can transact directly and privately without friction; a world where business partners operate in perfe

Add to Reading List

Source URL: www.r3.com

Language: English - Date: 2018-09-11 05:48:15
5Artificial intelligence / Technology / Motivation / Metaphysics / Game theory / Futurology / Philosophy of artificial intelligence / Choice modelling / Utility / Expected utility hypothesis / Intelligent agent / Friendly artificial intelligence

The AI Alignment Problem: Why It’s Hard, and Where to Start Eliezer Yudkowsky Machine Intelligence Research Institute May 5, 2016

Add to Reading List

Source URL: intelligence.org

Language: English - Date: 2017-01-30 22:06:06
6Education / Organisation for Economic Co-operation and Development / Educational psychology / Educational research / Programme for International Student Assessment / Problem solving / Test / International student / Multiple choice / Programme for the International Assessment of Adult Competencies / Singapore math

Singapore Modern life requires people to collaborate with one another. Many human activities involve groups of people, where individuals rely on each other for things that they cannot do themselves. More and more jobs re

Add to Reading List

Source URL: www.oecd.org

Language: English - Date: 2017-11-21 01:41:57
7Informa / UBM plc / Stephen Carter /  Baron Carter of Barnes / FTSE 100 Index / Business / Economy

NOT FOR RELEASE, PUBLICATION OR DISTRIBUTION, IN WHOLE OR IN PART, IN, INTO OR FROM ANY JURISDICTION WHERE TO DO SO WOULD CONSTITUTE A VIOLATION OF THE RELEVANT LAWS OF THAT JURISDICTION Informa LEI: 5493006VM2LKUPSEDU20

Add to Reading List

Source URL: informa.com

Language: English - Date: 2018-06-18 03:17:35
8Theoretical computer science / Quantum information science / Quantum mechanics / Quantum computing / Models of computation / Emerging technologies / Quantum algorithm / DeutschJozsa algorithm / Quantum circuit / Decision tree model / Qubit / Toffoli gate

Lecture 17, Thurs March 23: Quantum Query Complexity, Deutsch-Jozsa People often want to know where the true power of quantum computing comes from. ● Is it the ability of amplitudes to interfere with one another? ● I

Add to Reading List

Source URL: www.scottaaronson.com

Language: English - Date: 2018-09-04 20:36:59
9Marketing / Advertising / Communication design / Salisbury / Targeted advertising / Social media marketing

Media Kit “Print is a digital-free oasis, offering a refuge from the hectic, wired world where readers spend most of their lives.” Jim Bilton, InPublishing magazine

Add to Reading List

Source URL: www.mediaclash.co.uk

Language: English - Date: 2018-04-05 11:15:20
10Lotteries / Marketing / Sweepstake / Terms of service / Privacy / Internet privacy / Advertising / Sponsor / Human behavior / Communication

Unity 2018 Open Beta Sweepstakes #3 Official Rules and Conditions NO PURCHASE NECESSARY TO ENTER OR WIN. A PURCHASE OF ANY KIND WILL NOT INCREASE YOUR CHANCES OF WINNING. VOID WHERE PROHIBITED. The ​Unity 2018 Open Bet

Add to Reading List

Source URL: blogs.unity3d.com

Language: English - Date: 2018-10-02 13:10:14
UPDATE