DAVID

Results: 76632



#Item
21Theoretical computer science / Probability / Formal methods / Logic in computer science / Model checkers / Dynamic programming / Stochastic control / Model checking / Markov decision process / PRISM model checker / Verification / Runtime verification

Incremental Runtime Verification of Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , Hongyang Qu1 , and Mateusz Ujma1 1

Add to Reading List

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

Language: English - Date: 2012-08-15 08:49:17
22Elections / Voting / Politics / Absentee ballot / Political terminology / Early voting / Springfield /  Massachusetts / Precinct / Electronic voting / Springfield /  Virginia / Geography of Massachusetts / Geography of the United States

CLARK COUNTY BOARD OF ELECTIONS Board Members  Sue DeVoe Allen, Chairperson  Lynda Smith  David Hartley  John Pickarski Director  Jason Baker Deputy Director  Amber Lopez PRESS RELEASE For Immediate Rel

Add to Reading List

Source URL: clark.ohioboe.com

Language: English - Date: 2018-08-15 14:34:05
23Cell biology / Biology / Cell signaling / Tyrosine kinase receptors / Signal transduction / Proteins / Phosphorus / Fibroblast growth factor receptor / GRB2 / MAPK/ERK pathway / Fibroblast growth factor / FRS2

Probabilistic Model Checking of Complex Biological Pathways John Heath a , Marta Kwiatkowska b,? , Gethin Norman b , David Parker b , Oksana Tymchyshyn c a School

Add to Reading List

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

Language: English - Date: 2007-12-19 10:53:34
24Graz University of Technology / Institute for Applied Information Processing and Communications / Accumulator / RSA / Graz / X1 / Computing / Europe

S C I E N C E P A S S I O N T E C H N O L O G Y

Add to Reading List

Source URL: david.derler.info

Language: English - Date: 2018-10-15 14:18:42
25Software engineering / Computing / Computer programming / Functional languages / Procedural programming languages / Type theory / Fellows of the Royal Society / Data types / ML / Logic for Computable Functions / Luca Cardelli / Robin Milner

Luca Cardelli and the Early Evolution of ML David MacQueen Abstract Luca Cardelli has made an enormous range of contributions, but the focus of this paper is the beginning of his career and, in particular, his role in th

Add to Reading List

Source URL: sml-family.org

Language: English - Date: 2016-04-04 09:33:37
26

CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Amber Lopez August 1, 2016 The Board will hold a r

Add to Reading List

Source URL: clark.ohioboe.com

- Date: 2017-04-21 08:14:08
    27

    GRADUATE SEMINAR David Luke Thiessen Models for Non-Monotone Missing at Random Data PhD Student supervised by Yang Zhao

    Add to Reading List

    Source URL: www.uregina.ca

    - Date: 2018-10-11 17:05:27
      28Cryptography / Public-key cryptography / Proxy re-encryption / ID-based encryption / Homomorphic encryption / ElGamal encryption / Chosen-ciphertext attack / Encryption / RSA / Key / Symmetric-key algorithm / Identity-based conditional proxy re-encryption

      Revisiting Proxy Re-Encryption: Forward Secrecy, Improved Security, and Applications David Derler1 , Stephan Krenn2 , Thomas Lor¨ unser2 , Sebastian Ramacher1 , 2 Daniel Slamanig , and Christoph Striecks2

      Add to Reading List

      Source URL: eprint.iacr.org

      Language: English - Date: 2018-05-03 11:03:06
      29

      CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Amber Lopez July 5, 2016

      Add to Reading List

      Source URL: clark.ohioboe.com

      - Date: 2017-04-21 08:14:05
        30

        CLARK COUNTY BOARD OF ELECTIONS Board Members  Sue DeVoe Allen, Chairperson  Lynda Smith  David Hartley  John Pickarski Director  Jason Baker Deputy Director  Amber Lopez November 22, 2017 The Board wil

        Add to Reading List

        Source URL: clark.ohioboe.com

        - Date: 2018-08-15 15:33:22
          UPDATE