With - PDFSEARCH.IO - Document Search Engine

With
Results: 671344

#	Item
701	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 Mathematical analysis Mathematics Statistical theory Poisson distribution Distribution Probability distribution Binomial distribution Markov chain Uniform distribution Random variable
702	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 Geometry Algebraic geometry Algebra Projective geometry Algebraic curves Analytic geometry Elliptic curve cryptography Conic sections Elliptic curve Quadric Rational point Cubic plane curve
703	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 Avionics 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
704	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 Cryptocurrencies Blockchains Alternative currencies Concurrent computing Distributed computing Computing Decentralization Cross-platform software Ethereum EOS.IO Smart contract ternity
705	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 Waswo X. Waswo National Gallery of Modern Art Bangalore NGMA Goa
706	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 Food and drink Coffee Coffee culture Crops Cupper Single-origin coffee Cup of Excellence Coffee cupping
707	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 Formal methods Theoretical computer science Automation Safety case Embedded system Electromagnetism Computing Carbon nanotubes Electrical engineering
708	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 Control 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
709	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 Operas Cendrillon Vocal music
710	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 Legal professions Law Practice of law Law in the United Kingdom Occupations Human behavior Patent attorney Lawyer

UPDATE