Quantitative Synthesis for Concurrent Programs?,?? ˇ Pavol Cern´ y1 , Krishnendu Chatterjee1 , Thomas A. Henzinger1 , Arjun Radhakrishna1 , and Rohit Singh2

Source URL: ecee.colorado.edu

MoDeep: A Deep Learning Framework Using Motion Features for Human Pose Estimation Arjun Jain, Jonathan Tompson, Yann LeCun and Christoph Bregler arXiv:1409.7963v1 [cs.CV] 28 Sep 2014

Source URL: arxiv.org

Segment Abstraction for Worst-Case Execution Time Analysis? ˇ Pavol Cern´ y1 , Thomas A. Henzinger2 , Laura Kov´acs3 , Arjun Radhakrishna4 , and Jakob Zwirchmayr5

Source URL: ecee.colorado.edu

PRESS RELEASE “Jag Arjun” delivered to the buyers The Great Eastern Shipping Company Ltd. (G E Shipping) delivered its 1996-built Capesize Dry Bulk Carrier “Jag Arjun” (164,796 dwt) to the buyers on 26th Februar

Source URL: www.greatship.com

Efficient Synthesis for Concurrency by Semantics-Preserving Transformations? ˇ Pavol Cern´ y1 , Thomas A. Henzinger2 , Arjun Radhakrishna2 , Leonid Ryzhyk3 , and Thorsten Tarrach2

Source URL: ecee.colorado.edu

Game Theory in Formal Verification Scribe notes for Lecture 6 Algorithms for Parity Games Arjun Radhakrishna April 28, 2010

Source URL: pub.ist.ac.at

• Rho
• Physics
• Parity
• Quantum field theory

Price Stability and Debt Stability: A Wicksell-Lerner-Tinbergen Framework for Macroeconomic Policy Analysis J. W. Mason and Arjun Jayadev March 25, 2015

Source URL: jwmason.org

NUCLEAR INFORMATION AND RESOURCE SERVICE 6930 Carroll Avenue, Suite 340, Takoma Park, MDNIRS); Fax: ; www.nirs.org

Source URL: www.nirs.org

• Nuclear safety
• Anti-nuclear movement
• Arjun Makhijani
• Our Choice
• Nuclear power
• Sustainable energy
• Anti-nuclear movement in the United States
• Energy
• Technology
• Nuclear Information and Resource Service

Under the patronage of UNESCO, the UNESCO Chair in Anticipatory Systems, together with WAAS-World Academy of Art and Science, ISSS-International Society for the Systems Sciences, the Advanced Design Network, and the Depa

Source URL: www.sapecs.org

• Anticipatory thinking
• Anticipation
• Artificial intelligence
• Futures studies
• Ambient intelligence
• Arjun Appadurai
• Time
• Future
• Science

LE RAPPORT EN DÉTAIL l La présentation du rapport de l’IEER devant l’Assemblée Générale du CLIS le 14 février dernier a été suivie d’une rencontre entre Arjun MAKHIJANI, Annie MAKHIJANI et Elena KALININA e

Source URL: www.clis-bure.com