1![Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2 Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2](https://www.pdfsearch.io/img/d1649a13d6e2ec030f0844691d6cc1a6.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-01-24 06:23:37
|
---|
2![1 Optimizing Busy Time on Parallel Machines George B. Mertzios∗ , Mordechai Shalom† , Ariella Voloshin‡ , Prudence W.H. Wong§ and Shmuel Zaks‡ ∗ School of Engineering and Computing Sciences, Durham University 1 Optimizing Busy Time on Parallel Machines George B. Mertzios∗ , Mordechai Shalom† , Ariella Voloshin‡ , Prudence W.H. Wong§ and Shmuel Zaks‡ ∗ School of Engineering and Computing Sciences, Durham University](https://www.pdfsearch.io/img/05765077a7af5a456912f319996728ea.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2012-02-08 11:20:14
|
---|
3![Bulletin of the Seismological Society of America, Vol. 97, No. 6, pp. 1890–1910, December 2007, doi: Real-Time Estimation of Fault Rupture Extent Using Near-Source versus Far-Source Classification b Bulletin of the Seismological Society of America, Vol. 97, No. 6, pp. 1890–1910, December 2007, doi: Real-Time Estimation of Fault Rupture Extent Using Near-Source versus Far-Source Classification b](https://www.pdfsearch.io/img/9a8f91caccfb218b7342913222b95d0b.jpg) | Add to Reading ListSource URL: eew.caltech.eduLanguage: English - Date: 2012-05-15 11:47:39
|
---|
4![David Bohm, Roger Penrose, and the Search for Non-local Causality Before they met, David Bohm and Roger Penrose each puzzled over the paradox of the arrow of time. After they met, the case for projective physical space b David Bohm, Roger Penrose, and the Search for Non-local Causality Before they met, David Bohm and Roger Penrose each puzzled over the paradox of the arrow of time. After they met, the case for projective physical space b](https://www.pdfsearch.io/img/6695dd6923c837d614303e0a34123994.jpg) | Add to Reading ListSource URL: tonyrobbin.netLanguage: English - Date: 2014-03-12 11:30:06
|
---|
5![Parameterized Proof Complexity∗ Stefan Dantchev, Barnaby Martin, and Stefan Szeider Department of Computer Science Durham University, Durham, England, UK [s.s.dantchev,b.d.martin,stefan.szeider]@durham.ac.uk Parameterized Proof Complexity∗ Stefan Dantchev, Barnaby Martin, and Stefan Szeider Department of Computer Science Durham University, Durham, England, UK [s.s.dantchev,b.d.martin,stefan.szeider]@durham.ac.uk](https://www.pdfsearch.io/img/cbcd436a821e21d4f5e4c96ed2bbe799.jpg) | Add to Reading ListSource URL: www.bedewell.comLanguage: English - Date: 2009-11-10 10:56:36
|
---|
6![piotr ka z´ mierczak A G E N T S T H AT P L AY B Y T H E R U L E S
Piotr Ka´zmierczak: Agents that Play by the Rules, Using Social Laws for Coordination of Multiagent Systems, © October 2014
piotr ka z´ mierczak A G E N T S T H AT P L AY B Y T H E R U L E S
Piotr Ka´zmierczak: Agents that Play by the Rules, Using Social Laws for Coordination of Multiagent Systems, © October 2014](https://www.pdfsearch.io/img/69235cf6b59afb238a7b90c14dd000b6.jpg) | Add to Reading ListSource URL: piotrkazmierczak.comLanguage: English - Date: 2016-06-02 10:18:50
|
---|
7![A, B,C’S (AND D)’S FOR UNDERSTANDING VARS JESÚS FERNÁNDEZ-VILLAVERDE UNIVERSITY OF PENNSYLVANIA, NBER, AND CEPR JUAN F. RUBIO-RAMÍREZ FEDERAL RESERVE BANK OF ATLANTA THOMAS J. SARGENT A, B,C’S (AND D)’S FOR UNDERSTANDING VARS JESÚS FERNÁNDEZ-VILLAVERDE UNIVERSITY OF PENNSYLVANIA, NBER, AND CEPR JUAN F. RUBIO-RAMÍREZ FEDERAL RESERVE BANK OF ATLANTA THOMAS J. SARGENT](https://www.pdfsearch.io/img/3a093ec05dc3e09179a4d423ec041aef.jpg) | Add to Reading ListSource URL: www.tomsargent.comLanguage: English - Date: 2015-04-08 13:03:43
|
---|
8![arXiv:0901.1102v1 [math.PR] 8 JanA CLT for the L2 modulus of continuity of Brownian local time Xia Chen, Wenbo Li, Michael B. Marcus and Jay Rosen∗ February 20, 2013 arXiv:0901.1102v1 [math.PR] 8 JanA CLT for the L2 modulus of continuity of Brownian local time Xia Chen, Wenbo Li, Michael B. Marcus and Jay Rosen∗ February 20, 2013](https://www.pdfsearch.io/img/e0e5a47b9da00e05f63f897d5269801f.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2013-02-20 11:10:03
|
---|
9![Bulletin of the Seismological Society of America, Vol. 97, No. 6, pp. 1890–1910, December 2007, doi: Real-Time Estimation of Fault Rupture Extent Using Near-Source versus Far-Source Classification b Bulletin of the Seismological Society of America, Vol. 97, No. 6, pp. 1890–1910, December 2007, doi: Real-Time Estimation of Fault Rupture Extent Using Near-Source versus Far-Source Classification b](https://www.pdfsearch.io/img/bd20c77be61486edaddd8650ad6065e8.jpg) | Add to Reading ListSource URL: www.eqh.dpri.kyoto-u.ac.jpLanguage: English - Date: 2009-05-21 20:56:26
|
---|
10![Continuous-Time Estimation of attitude using B-splines on Lie groups Hannes Sommer1 , Roland Siegwart2 , and Paul Furgale3 Swiss Federal Institute of Technology Zurich (ETHZ), Zurich, 8092, Switzerland James Richard For Continuous-Time Estimation of attitude using B-splines on Lie groups Hannes Sommer1 , Roland Siegwart2 , and Paul Furgale3 Swiss Federal Institute of Technology Zurich (ETHZ), Zurich, 8092, Switzerland James Richard For](https://www.pdfsearch.io/img/1fc5a355a08b95a555123bfffbceff67.jpg) | Add to Reading ListSource URL: europa2.informatik.uni-freiburg.deLanguage: English - Date: 2016-01-26 19:57:38
|
---|