The Ackermann Award 2013 Anuj Dawar, Thomas A. Henzinger, and Damian Niwiński Members of EACSL Jury of the Ackermann Award The ninth Ackermann Award is presented at CSL’13, held in Turin, Italy. This year, as in the p

Source URL: drops.dagstuhl.de

• Philosophical logic
• Logic in computer science
• Game semantics
• Game theory
• Quantification
• Temporal logic
• First-order logic
• Logic
• Mathematical logic
• Mathematics

The Ackermann Award 2012 Thierry Coquand1 , Anuj Dawar2 , and Damian Niwiński3 1,2,3 Members of EACSL Jury of the Ackermann Award∗

Source URL: drops.dagstuhl.de

• Computability theory
• Theory of computation
• Lambda calculus
• Logic in computer science
• Decision problem
• Combinatory logic
• Profinite group
• Computability
• Henk Barendregt
• Theoretical computer science
• Mathematical logic
• Mathematics

ATPIO BOARD Tele-Conference Minutes (June 7, 2014) Members in attendance: Mr. Arun Shirole Dr. Shashi Nambisan Dr. Anuj Sharma Dr. Sabyasachee Mishra

Source URL: www.atpio.org

• Anuj
• Shashi

ATPIO BOARD Tele-Conference Minutes (July 7, 2014) Members in attendance: Mr. Arun Shirole Dr. Shashi Nambisan Dr. Anuj Sharma Dr. Sabyasachee Mishra

Source URL: www.atpio.org

• Anuj Sharma
• Anuj

The Ackermann Award 2014 Anuj Dawar Chairman of the Jury of the EACSL Ackermann Award [removed] Abstract

Source URL: eacsl.kahle.ch

• Mathematics
• Computational complexity theory
• Time complexity
• Circuit complexity
• First-order logic
• L
• Algorithm
• FO
• Structure
• Theoretical computer science
• Applied mathematics
• Complexity classes

RESEARCH ARTICLE INFORMATION DISCOVERY AND THE LONG TAIL OF MOTION PICTURE CONTENT Anuj Kumar Warrington College of Business Administration, University of Florida,

Source URL: www.misq.org

• Science
• Bioethics
• Medical ethics
• Pharmacology
• Clinical research
• Placebo
• Dummy variable
• Medicine
• Health
• Regression analysis

Anuj Mehra Managing Director, Mahindra Rural Housing Finance Limited Mr. Anuj Mehra graduated from Delhi University (Economics) and did his post graduation from IIM (Ahmedabad).

Source URL: www.nasscom.in

Graph-Theoretic Analysis of Structured Peer-to-Peer Systems: Routing Distances and Fault Resilience Dmitri Loguinov, Anuj Kumar, Vivek Rai, Sai Ganesh Department of Computer Science Texas A&M University College Station,

Source URL: conferences.sigcomm.org

• Graph
• Chordal graph
• Shortest path problem
• Induced path
• Distributed hash table
• Tree
• Moore graph
• Networks
• Koorde
• Graph theory
• Network theory
• Distributed data storage

Design and Technology for Collaborage: Collaborative Collages of Information on Physical Walls Thomas P. Moran, Eric Saund, William van Melle, Anuj U. Gujar, Kenneth P. Fishkin, Beverly L. Harrison Xerox Palo Alto Resear

Source URL: luci.ics.uci.edu

• Interactive whiteboard
• Technology
• Glyph
• Whiteboard
• Media technology
• Graphic design
• Office equipment
• Educational technology
• Display technology

Closing the Door on Web Shells Anuj Soni 1 <%if(request.getParameter("f")!=null)(new

Source URL: digital-forensics.sans.org

• Computing
• Oracle Corporation
• JavaScript
• Oracle Database
• Password
• Tuvalu
• Tokelau
• Software
• Cross-platform software
• Polynesia