1![Alignment-based Translations Across Formal Systems Using Interface Theories Dennis M¨uller Colin Rothgang Alignment-based Translations Across Formal Systems Using Interface Theories Dennis M¨uller Colin Rothgang](https://www.pdfsearch.io/img/be902cbba2e5c72f48845f29efb27654.jpg) | Add to Reading ListSource URL: pxtp.github.ioLanguage: English - Date: 2017-09-19 19:50:55
|
---|
2![1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A. 1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A.](https://www.pdfsearch.io/img/3a24bb9a078d61259d4565f5b76a4094.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:26:03
|
---|
3![Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,](https://www.pdfsearch.io/img/9cf4c03e043b852604fe480de929af96.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2016-04-24 16:51:40
|
---|
4![66 IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOL. 46, NO. 1, FEBRUARY 2016 The GRASP Taxonomy of Human Grasp Types Thomas Feix, Javier Romero, Heinz-Bodo Schmiedmayer, Aaron M. Dollar, and Danica Kragic 66 IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOL. 46, NO. 1, FEBRUARY 2016 The GRASP Taxonomy of Human Grasp Types Thomas Feix, Javier Romero, Heinz-Bodo Schmiedmayer, Aaron M. Dollar, and Danica Kragic](https://www.pdfsearch.io/img/d184566e0965a93ba22810932fda74e1.jpg) | Add to Reading ListSource URL: www.is.mpg.deLanguage: English - Date: 2016-02-22 05:50:31
|
---|
5![Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa](https://www.pdfsearch.io/img/d0ef70379824275bb0f69541234c2db7.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-09-15 09:37:52
|
---|
6![SoK: Making Sense of Censorship Resistance Systems That CRS SoK paper at PETS Sheharbano Khattak1, Tariq Elahi2, Laurent Simon1, Colleen M. Swanson3, Steven J. Murdoch4, Ian Goldberg5 1: University of Cambridge, 2: KU Le SoK: Making Sense of Censorship Resistance Systems That CRS SoK paper at PETS Sheharbano Khattak1, Tariq Elahi2, Laurent Simon1, Colleen M. Swanson3, Steven J. Murdoch4, Ian Goldberg5 1: University of Cambridge, 2: KU Le](https://www.pdfsearch.io/img/a61c5040beb988c10d05307b17c47682.jpg) | Add to Reading ListSource URL: sheharbano.comLanguage: English - Date: 2017-02-16 07:58:33
|
---|
7![Exploring Limits to Prediction in Complex Social Systems Jake M. Hofman Travis Martin University of Michigan Exploring Limits to Prediction in Complex Social Systems Jake M. Hofman Travis Martin University of Michigan](https://www.pdfsearch.io/img/c052933389aa747be4374cc6c274c6d9.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 01:32:49
|
---|
8![Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,](https://www.pdfsearch.io/img/b729b5824f60e9af76c3bd7d5468b194.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-04-25 05:07:53
|
---|
9![METR.systems M-Gate | DATA SHEET KEY FEATURES ● Open system gateway for wired and wireless M-Bus/ OMS ● Reads common submetering network nodes via wired/wireless M-Bus METR.systems M-Gate | DATA SHEET KEY FEATURES ● Open system gateway for wired and wireless M-Bus/ OMS ● Reads common submetering network nodes via wired/wireless M-Bus](https://www.pdfsearch.io/img/3a8300f88b50459b446b52a18699eaee.jpg) | Add to Reading ListSource URL: metr.systemsLanguage: English - Date: 2018-03-19 13:21:46
|
---|
10![METR.systems M-Gate 1.0 | DATENBLATT HAUPTFUNKTIONEN ● Gateway mit wired und wireless M-Bus ● Auslese von Submetering Netzwerkknoten über wired/wireless M-Bus METR.systems M-Gate 1.0 | DATENBLATT HAUPTFUNKTIONEN ● Gateway mit wired und wireless M-Bus ● Auslese von Submetering Netzwerkknoten über wired/wireless M-Bus](https://www.pdfsearch.io/img/a86b95c14962fe9db02c783d131c55b0.jpg) | Add to Reading ListSource URL: metr.systemsLanguage: German - Date: 2018-03-19 13:21:46
|
---|