And

Results: 4618951



#Item
51Science and technology in Switzerland / Swissnex / Geography of California / Economy / California

san franciscoInitiative of the State Secretariat for Education and Research SER Annex of the Consulate General of Switzerland in San Francisco Swiss Knowledge Network Outposts in Bangalore, Boston, San Francisco,

Add to Reading List

Source URL: www.swissnexsanfrancisco.org

Language: English - Date: 2014-07-22 13:52:57
52Computing / Software engineering / Computer programming / Programming languages / Cross-platform software / Object-oriented programming languages / Procedural programming languages / Data types / Array data structure / Array data type / Getopt / Lua

The Mercury Library Reference Manual Version c 1995–1997,1999–2014 The University of Melbourne. Copyright Permission is granted to make and distribute verbatim copies of this manual provided the

Add to Reading List

Source URL: mercurylang.org

Language: English - Date: 2016-03-18 02:30:36
53Geography of Florida / Florida / Tampa /  Florida / National Register of Historic Places in Hillsborough County /  Florida / Stageworks Theatre / St. Petersburg /  Florida / Glazer Children's Museum / Sarasota /  Florida / Tampa Bay History Center / Tampa Union Station / Tampa Bay / Publix

for sharing the news! The Tampa Bay Times would like to thank the businesses, organizations and individuals who supported our Newspaper in Education program (NIE) between August 2017 and August 2018. $20,000 or more

Add to Reading List

Source URL: nieonline.com

Language: English - Date: 2018-10-24 10:08:59
54Cryptocurrencies / Bitcoin / Alternative currencies / Currency / Money / Digital currencies / Economy / Mining pool / Blockchain.info / Ghash.io

BLOCK ONE CAPITAL, INC. • FOR PUBLIC RELEASE 1 A simple model of bitcoin mining Dr. Pratheev Sreetharan and Dr. Sivakumar Arumugam

Add to Reading List

Source URL: www.blockonecap.com

Language: English - Date: 2018-09-05 23:05:42
55Law / Data security / Privacy / Data protection / Information privacy / Privacy law / Terms of service / General Data Protection Regulation / Right to be forgotten / Internet privacy / Personally identifiable information / Money laundering

Privacy Policy and Cookies Policy Procivis AG (26 SeptemberWe are collecting and processing your personal data. Any type of personal data can be used to identify you. It is very important that you keep in mind tha

Add to Reading List

Source URL: procivis.ch

Language: English - Date: 2018-09-26 11:34:32
56Artificial intelligence / Applied mathematics / Learning / Machine learning / Computational neuroscience / Artificial neural networks / Computational statistics / Monte Carlo tree search / Convolutional neural network / Reinforcement learning / Q-learning / Structured prediction

Thinking Fast and Slow with Deep Learning and Tree Search Thomas Anthony1, , Zheng Tian1 , and David Barber1,2 arXiv:1705.08439v4 [cs.AI] 3 Dec 2017

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2017-12-04 21:14:29
57Design of experiments / Causal inference / Evaluation / Observational study / Methodology / Knowledge / Impact assessment / Confounding / Experiment / Quasi-experiment / Program evaluation / Impact evaluation

A2J Evaluation and Research Options Process Evaluation Formative Assessment

Add to Reading List

Source URL: a2jlab.org

Language: English - Date: 2018-05-30 16:17:25
58University of Wyoming / Wyoming / Western United States

UNIVERSITY OF WYOMING WYOHACKATHON AUTHORIZATION FOR MINOR TO PARTICIPATE, AND RELEASE, ASSUMPTION OF RISK & AGREEMENT TO HOLD HARMLESS I am the parent or legal guardian of _______________ (Participant) who is a minor be

Add to Reading List

Source URL: cdn.landinglion.net

Language: English - Date: 2018-08-29 20:03:22
59Logic / Symbol / Substitution / Mathematical logic / Finite automata

A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2016-07-20 12:50:31
60Logic / Mathematics / Automated theorem proving / Logic programming / Mathematical logic / Logical truth / Propositional calculus / Substitution / Sequence / LOOP / Constructible universe / Ground expression

Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level Roberto Barbuti, Andrea Maggiolo–Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa

Add to Reading List

Source URL: pages.di.unipi.it

Language: English - Date: 2015-12-18 06:55:14
UPDATE