Stream Clustering: Efficient Kernel-based Approximation using Importance Sampling Radha Chitta, Rong Jin and Anil K. Jain Department of Computer Science and Engineering, Michigan State University, East Lansing, MI 48824,

Source URL: www.cse.msu.edu

MSU Technical Report MSU-CSE-15-10, July 8, 2015 Sparse Kernel Clustering of Massive High-Dimensional Data sets with Large Number of Clusters Radha Chitta, Anil K. Jain, Rong Jin Dept. of Computer Science and Engineerin

Source URL: www.cse.msu.edu

2014 Conference on Decision and Game Theory for Security (GameSec), Los Angeles, CA, USA General Chair: Radha Poovendran, Univ. of Washington, WA, USA TPC Chair:

Source URL: www.gamesec-conf.org

• Security
• Academia
• Tamer Baar
• Computer security
• Game theory
• Privacy
• Ambient intelligence
• Resilient control systems

λ-RBAC: Programming with Role-Based Access Control Radha Jagadeesan1,? , Alan Jeffrey2,? , Corin Pitcher1?? , and James Riely1,? ? ? 1 2 School of CTI, DePaul University

Source URL: ect.bell-labs.com

• Logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Abstraction
• Generalised Whitehead product
• Symbol

Logical Methods in Computer Science Volume 00, Number 0, Pages 000–000 SXX λ -RBAC: PROGRAMMING WITH ROLE-BASED ACCESS CONTROL RADHA JAGADEESAN, ALAN JEFFREY, CORIN PITCHER, AND JAMES RIELY

Source URL: ect.bell-labs.com

• Type theory
• Algebraic geometry
• Computability theory
• Lambda calculus
• Theoretical computer science
• Role-based access control
• Valuation
• Subtyping
• Monad
• CurryHoward correspondence

Gravity © 2009 Radha Sahar Photo: Charles Bagnall

Source URL: babyboomergirl.files.wordpress.com

Confidential Safety via Correspondence Assertions Radha Jagadeesan Alan Jeffrey Corin Pitcher

Source URL: ect.bell-labs.com

• Logic
• Mathematics
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Mathematical analysis
• Measure theory
• Generalised Whitehead product
• Indexed grammar

Warm Hearted Friends © 2013 Radha Sahar Sometimes I shiver on a cold winter’s day Friends, when you’re around I never feel that way Barely need the heater, forget to light the fire

Source URL: babyboomergirl.files.wordpress.com

Obesity, Diet and Type II Diabetes Risk 1Terresa Lehman, 1,2Luke Ratnasinghe, 1Rama Modali, 1Mike Seddon, 3K Nasaruddin,3JB Vijayakumar, 4Charles J Spurgeon, 4Mani K. Radha Mani, 4Bhaskar Seema, 4P Smitha, 4Giriraj Chand

Source URL: www.bioserve.com

Towards a theory of accountability and audit? Radha Jagadeesan1 , Alan Jeffrey2 , Corin Pitcher1 , and James Riely1,?? 1 School of Computing, DePaul University 2 Bell Labs, Alcatel–Lucent

Source URL: ect.bell-labs.com