131![Under consideration for publication in Math. Struct. in Comp. Science A Step-Indexed Kripke Model of Hidden State Jan Schwinghammer (Saarland University, Saarbr¨ ucken) Under consideration for publication in Math. Struct. in Comp. Science A Step-Indexed Kripke Model of Hidden State Jan Schwinghammer (Saarland University, Saarbr¨ ucken)](https://www.pdfsearch.io/img/38d04a4f4bb42744ff82fb67d9366c3a.jpg) | Add to Reading ListSource URL: gallium.inria.frLanguage: English - Date: 2012-01-05 06:52:11
|
---|
132![ASYMPTOTICS OF ANALYTIC TORSION FOR HYPERBOLIC THREE–MANIFOLDS JEAN RAIMBAULT Abstract. We prove that for certain sequences of hyperbolic three–manifolds with cusps which converge to hyperbolic three–space in a wea ASYMPTOTICS OF ANALYTIC TORSION FOR HYPERBOLIC THREE–MANIFOLDS JEAN RAIMBAULT Abstract. We prove that for certain sequences of hyperbolic three–manifolds with cusps which converge to hyperbolic three–space in a wea](https://www.pdfsearch.io/img/3c073178244c02d2e0056fba957aafef.jpg) | Add to Reading ListSource URL: www.math.univ-toulouse.frLanguage: English - Date: 2014-11-06 04:47:12
|
---|
133![Online Topic-Aware Influence Maximization Shuo Chen† Ju Fan‡ Guoliang Li† Jianhua Feng† Online Topic-Aware Influence Maximization Shuo Chen† Ju Fan‡ Guoliang Li† Jianhua Feng†](https://www.pdfsearch.io/img/6d3acfe8dfca831b974faa7d05c3dc13.jpg) | Add to Reading ListSource URL: dbgroup.cs.tsinghua.edu.cnLanguage: English - Date: 2015-04-07 22:55:50
|
---|
134![CCCG 2004, Montreal, Quebec, August 9–11, 2004 Surface Reconstruction, One Triangle at a Time Daniel Freedman CCCG 2004, Montreal, Quebec, August 9–11, 2004 Surface Reconstruction, One Triangle at a Time Daniel Freedman ](https://www.pdfsearch.io/img/8bf14f4202b40728c25c3344710bd716.jpg) | Add to Reading ListSource URL: www.cccg.caLanguage: English - Date: 2004-08-23 15:27:23
|
---|
135![arXiv:1108.5997v1 [physics.gen-ph] 30 AugThe Zeta Function Approach for Casimir Energy Calculations in Higher Dimensions R. K. Obousy∗ Casimir Energy Research Group, Icarus Interstellar Inc., arXiv:1108.5997v1 [physics.gen-ph] 30 AugThe Zeta Function Approach for Casimir Energy Calculations in Higher Dimensions R. K. Obousy∗ Casimir Energy Research Group, Icarus Interstellar Inc.,](https://www.pdfsearch.io/img/ce708d8474b89377ddfba9da50d92a28.jpg) | Add to Reading ListSource URL: lanl.arxiv.orgLanguage: English - Date: 2011-08-31 00:36:42
|
---|
136![A MODULAR TYPE-CHECKING ALGORITHM FOR TYPE THEORY WITH SINGLETON TYPES AND PROOF IRRELEVANCE ANDREAS ABEL, THIERRY COQUAND, AND MIGUEL PAGANO Ludwig-Maximilians-Universit¨ at M¨ A MODULAR TYPE-CHECKING ALGORITHM FOR TYPE THEORY WITH SINGLETON TYPES AND PROOF IRRELEVANCE ANDREAS ABEL, THIERRY COQUAND, AND MIGUEL PAGANO Ludwig-Maximilians-Universit¨ at M¨](https://www.pdfsearch.io/img/40a3482693ac4cc759f7e5365db579cf.jpg) | Add to Reading ListSource URL: www2.tcs.ifi.lmu.deLanguage: English - Date: 2011-02-23 03:51:04
|
---|
137![POLYNOMIALS FOR GLp × GLq ORBIT CLOSURES IN THE FLAG VARIETY BENJAMIN J. WYSER AND ALEXANDER YONG A BSTRACT. The subgroup K = GLp × GLq of GLp+q acts on the (complex) flag variety GLp+q /B with finitely many orbits. We POLYNOMIALS FOR GLp × GLq ORBIT CLOSURES IN THE FLAG VARIETY BENJAMIN J. WYSER AND ALEXANDER YONG A BSTRACT. The subgroup K = GLp × GLq of GLp+q acts on the (complex) flag variety GLp+q /B with finitely many orbits. We](https://www.pdfsearch.io/img/34a714875063115b5427279bbfc38b37.jpg) | Add to Reading ListSource URL: www.math.uiuc.eduLanguage: English - Date: 2014-03-04 10:08:04
|
---|
138![COMMENSURATORS OF CUSPED HYPERBOLIC MANIFOLDS OLIVER GOODMAN, DAMIAN HEARD, AND CRAIG HODGSON Abstract. This paper describes a general algorithm for finding the commensurator of a non-arithmetic hyperbolic manifold with COMMENSURATORS OF CUSPED HYPERBOLIC MANIFOLDS OLIVER GOODMAN, DAMIAN HEARD, AND CRAIG HODGSON Abstract. This paper describes a general algorithm for finding the commensurator of a non-arithmetic hyperbolic manifold with](https://www.pdfsearch.io/img/e48205e12eebb0c6d9b1cd5bff7c752c.jpg) | Add to Reading ListSource URL: www.ms.unimelb.edu.auLanguage: English - Date: 2007-12-23 22:40:43
|
---|
139![A Formally-Verified C Static Analyzer Jacques-Henri Jourdan Vincent Laporte Sandrine Blazy A Formally-Verified C Static Analyzer Jacques-Henri Jourdan Vincent Laporte Sandrine Blazy](https://www.pdfsearch.io/img/a900df8ab4fb04cd97b6e3952b6fe51b.jpg) | Add to Reading ListSource URL: cristal.inria.frLanguage: English - Date: 2014-10-28 11:05:08
|
---|
140![Relational Parametricity and Units of Measure Andrew J. Kennedy In Proceedings of the 24th Annual ACM Symposium on Principles of Programming Languages, Paris, France, JanuaryThe following copyright notice is requi Relational Parametricity and Units of Measure Andrew J. Kennedy In Proceedings of the 24th Annual ACM Symposium on Principles of Programming Languages, Paris, France, JanuaryThe following copyright notice is requi](https://www.pdfsearch.io/img/577541380c60eea2f2e83aab2a9356cc.jpg) | Add to Reading ListSource URL: research.microsoft.comLanguage: English - Date: 2010-07-30 11:26:28
|
---|