pith. sign in

Carnegie Mellon University)

Identifiers

  • name variant Carnegie Mellon University) 0.60 · backfill

Papers (18)

  1. The Epoch of IGM heating by early sources of X-rays astro-ph.CO · 2018 · author #18
  2. The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving cs.LO · 2017 · author #2
  3. A class of equivalent idle-time-order-based routing policies for heterogeneous multi-server systems cs.PF · 2013 · author #2
  4. A Spatial-Epistemic Logic for Reasoning about Security Protocols cs.LO · 2011 · author #4
  5. Supermassive Black Hole Formation at High Redshifts Through a Primordial Magnetic Field astro-ph.CO · 2010 · author #2
  6. EWPT Nucleation With MSSM and Electromagnetic Field Creation astro-ph.CO · 2010 · author #5
  7. Large Mixing Angle Sterile Neutrinos and Pulsar Velocities astro-ph.CO · 2009 · author #2
  8. Simulations of the Sunyaev-Zeldovich Effect from Quasars astro-ph · 2008 · author #3
  9. Pulsar Kicks With Sterile Neutrinos and Landau Levels astro-ph · 2007 · author #2
  10. Pulsar Kicks With Modified URCA and Electrons in Landau Levels astro-ph · 2007 · author #5
  11. Maximum Likelihood Estimation for q-Exponential (Tsallis) Distributions math.ST · 2007 · author #2
  12. Modified Grover's algorithm for an expectation value quantum computer quant-ph · 2001 · author #2
  13. Indestructibility and the level-by-level agreement between strong compactness and supercompactness math.LO · 2001 · author #3
  14. Total-energy-based prediction of a quasicrystal structure cond-mat · 2001 · author #9
  15. Wavelength Doesn't Matter: Optical vs. X-ray Luminosities of Galaxy Clusters astro-ph · 1999 · author #3
  16. Two qubit copying machine for economical quantum eavesdropping quant-ph · 1998 · author #3
  17. Learning Micro-Planning Rules for Preventative Expressions cmp-lg · 1996 · author #3
  18. An Integrated Heuristic Scheme for Partial Parse Evaluation cmp-lg · 1994 · author #2

Mentions

  • 1102.5584 #4 · backfill · confidence 0.70 Carnegie Mellon University)
  • 1005.2942 #2 · backfill · confidence 0.70 Carnegie Mellon University)
  • 1001.2783 #5 · backfill · confidence 0.70 Carnegie Mellon University)
  • 0906.2802 #2 · backfill · confidence 0.70 Carnegie Mellon University)
  • 0808.0268 #3 · backfill · confidence 0.70 Carnegie Mellon University)
  • 0712.0197 #2 · backfill · confidence 0.70 Carnegie Mellon University)
  • 0706.1511 #5 · backfill · confidence 0.70 Carnegie Mellon University)

Frequent Coauthors