With

Results: 671344



#Item
701Mathematical analysis / Mathematics / Statistical theory / Poisson distribution / Distribution / Probability distribution / Binomial distribution / Markov chain / Uniform distribution / Random variable

Programming Discrete Distributions with Chemical Reaction Networks∗ Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1 2

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2016-06-17 04:21:41
702Geometry / Algebraic geometry / Algebra / Projective geometry / Algebraic curves / Analytic geometry / Elliptic curve cryptography / Conic sections / Elliptic curve / Quadric / Rational point / Cubic plane curve

Around cubic hypersurfaces Olivier Debarre June 23, 2015 Abstract A cubic hypersurface X is defined by one polynomial equation of degree 3 in n variables with coefficients in a field K, such as

Add to Reading List

Source URL: www.math.ens.fr

Language: English - Date: 2015-06-23 03:32:59
703Avionics / Aircraft collision avoidance systems / Warning systems / Traffic collision avoidance system / European Train Control System / Carrier-sense multiple access with collision avoidance / Communicating sequential processes / Real-time strategy / Transport / Safety / Technology

Automatic Verification of Real-Time Systems with Rich Data Ernst-Rudiger ¨ Olderog

Add to Reading List

Source URL: www.avacs.org

Language: English - Date: 2015-10-01 02:29:40
704Cryptocurrencies / Blockchains / Alternative currencies / Concurrent computing / Distributed computing / Computing / Decentralization / Cross-platform software / Ethereum / EOS.IO / Smart contract / ternity

Universal Decentralized Asset Platform (UDAP) UDAP Foundation UDAP, a Blockchain Middleware for Tokenizing Everything Summary With the fundamental “layer one” in the Ethereum ecosystem now established,

Add to Reading List

Source URL: www.udap.io

Language: English - Date: 2018-10-19 00:22:37
705Waswo X. Waswo / National Gallery of Modern Art /  Bangalore / NGMA / Goa

Lina Vincent Sunish Associate Curator India Website: www.artport-project.org Lina Vincent Sunish is an art historian and curator with over 15 years experience in research, design, curatio

Add to Reading List

Source URL: artport-project.org

Language: English - Date: 2018-01-11 12:28:37
706Food and drink / Coffee / Coffee culture / Crops / Cupper / Single-origin coffee / Cup of Excellence / Coffee cupping

Milano’s owner and espresso master Brian Turko recently made the trek down to Santa Barbara, Honduras for the “Cooperativa Mixta Montana Verde” with an international jury of professional cuppers, roasters, and buye

Add to Reading List

Source URL: www.milanocoffee.ca

Language: English - Date: 2018-07-18 18:58:30
707Formal methods / Theoretical computer science / Automation / Safety case / Embedded system / Electromagnetism / Computing / Carbon nanotubes / Electrical engineering

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers Stuart Pernsteiner1 , Calvin Loncaric1 , Emina Torlak1 , Zachary Tatlock1 , Xi Wang1 , Michael D. Ernst1 , and Jonathan Jacky2 1

Add to Reading List

Source URL: unsat.cs.washington.edu

Language: English - Date: 2018-08-21 17:45:06
708Control theory / Systems science / Automated planning and scheduling / Classical control theory / Metaphysics / Mathematical optimization / Systems theory / Nonlinear system / Planning Domain Definition Language / Motion planning / Controllability / Trajectory optimization

Mixed Discrete-Continuous Planning with Complex Behaviors Enrique Fernandez-Gonzalez Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Building, Cambri

Add to Reading List

Source URL: icaps16.icaps-conference.org

Language: English - Date: 2016-06-09 08:09:29
709Operas / Cendrillon / Vocal music

Ed Ballard | Baritone Born in London, Ed read History at Cambridge University before training at the Royal Academy of Music and with Royal Academy Opera. Winner of the Marjorie Thomas Art Song Prize and the Elena Gerha

Add to Reading List

Source URL: www.edballard.co.uk

Language: English - Date: 2018-05-10 10:19:32
710Legal professions / Law / Practice of law / Law in the United Kingdom / Occupations / Human behavior / Patent attorney / Lawyer

Federal Register / Vol. 78, NoWednesday, April 17, Rules and Regulations erowe on DSK2VPTVN1PROD with RULES Web site for easy access by all interested parties. In addition, the FDIC posts

Add to Reading List

Source URL: www.gpo.gov

Language: English - Date: 2018-03-19 11:28:24
UPDATE