Pragmatic model checking: from theory to implementations
The Stability of Non-Extremal Conifold Backgrounds with Sources
IES - Simulation of Coupled Electromagnetic-Thermal Systems Using CAE Software
Pion correlations in hydro-inspired models with resonances A. Kisiel 1, W. Florkowski 2,3, W. Broniowski 2,3, J. Pluta 1 (based on nucl-th/0602039, to.
Jeroen Tromp Computational Seismology. Governing Equations Equation of motion: Boundary condition: Initial conditions: Earthquake source: Constitutive.
Measurements of top quark properties at CDF
Analysis status
Search for Exotic Particles and Extra Dimensions at the Tevatron Collider Sharon Hagopian
Pion correlations in hydro-inspired models with resonances
New Heavy Gauge Bosons at CMS Claudia-Elisabeth Wulz On behalf of the CMS Collaboration Institute of High Energy Physics Vienna Austrian Academy of Sciences.
Sergei Shmatov Joint Institute for Nuclear Research, Dubna on behalf of CMS Collaboration
ICHEP 2012 Melbourne July 4-12, 2012