symbolaris.org
André Platzer @ Carnegie Mellon University
http://www.symbolaris.org/andre.html
André Platzer @ Carnegie Mellon University. Honors and Awards (Selection). Invited Talks, Tutorials and Lectures. Pittsburgh, PA 15213-3891. My primary appointment is in the Computer Science Department. At CMU, with courtesy appointments in the Robotics Institute. And in Electrical and Computer Engineering. An NSF CAREER Award. The Best Paper Awards at TABLEAUX'07 and at FM'09. André Platzer was also named one of the Brilliant 10 Young Scientists. By the IEEE Intelligent Systems Magazine. Master studies ...
radar.spacebar.org
Tom 7 Radar: CSD Logo, part II
http://radar.spacebar.org/f/a/weblog/comment/1/1120
Back to Tom 7 Radar. CSD Logo, part II. 24 May 2015 at. Do you remember this eleven-year-old post. Well, eleven years ago the Computer Science Department at CMU, where I was then a grad student, finally decided that they needed a logo. They held a contest and I submitted two designs. One was " Star Wars. Which after a short passage of time I decided was ugly and regretted (the idea is not too bad, but the lumpy S is revolting). The other was "University Style," which is far superior:. 204138.48.1...I can...
aurick.net
Aurick Qiao
http://www.aurick.net/home
I am a second year Ph.D student in the. At Carnegie Mellon University. Currently, I am working on the. Project, aimed at scalable machine learning. My advisor is Prof. Eric P. Xing. I completed my undergraduate degree at the University of Waterloo, where I studied computer science. And combinatorics and optimization. There, I briefly did some research into multi-pivot quicksort. With Prof. J. Ian Munro. And Prof. Alejandro López-Ortiz.
scs.cmu.edu
Directions, Maps & Parking | Carnegie Mellon School of Computer Science
http://scs.cmu.edu/directions-maps-parking
Skip to main content. Search Faculty by Research Interest. The Allen Newell Award for Research Excellence. News and Press Releases. Media Kit and Press Contacts. SCS Distinguished Lecture Series. SCS 25 - 25th Anniversary. Directions, Maps and Parking. Message from the Dean. Mark Stehlik SCS Alumni Undergraduate Impact Scholarship. Institute for Software Research. Dean's Business Office. Computing Facilities (Help Desk). Directions, Maps and Parking. Our mailing address is:. School of Computer Science.
cs.cmu.edu
The Scone Project
http://www.cs.cmu.edu/~sef/scone
The Scone Knowledge-Base Project. Scott E. Fahlman. Is a high-performance, open-source knowledge-base (KB) system intended for use as a component in many different software applications. Like other KB systems – for example, Cyc. And the various Description Logic. Provides support for representing symbolic knowledge about the world. This may be general common sense knowledge or knowledge about a specific application domain. Our plan is to release. Engine and associated knowledge bases. For example, we can...
labrinidis.cs.pitt.edu
Alexandros Labrinidis -- Publications
http://www.labrinidis.cs.pitt.edu/publications.php
Associate Professor, Department of Computer Science. Co-Director, Advanced Data Management Technologies Laboratory. Adjunct Associate Professor, Computer Science Department. Apr 20, 2016:. New paper: PolyStream: Cryptographically Enforced Access Controls for Outsourced Data Stream Processing. By Cory Thoma, Adam J. Lee, and Alexandros Labrinidis. Published in the 21st ACM Symposium on Access Control Models and Technologies (SACMAT). Shanghai, China, June 6-8, 2016. Feb 3, 2016:. May 16-20, 2016. New pape...
scs.cmu.edu
Doctoral Admissions | Carnegie Mellon School of Computer Science
http://scs.cmu.edu/doctoral-admissions
Skip to main content. Search Faculty by Research Interest. The Allen Newell Award for Research Excellence. News and Press Releases. Media Kit and Press Contacts. SCS Distinguished Lecture Series. SCS 25 - 25th Anniversary. Directions, Maps and Parking. Message from the Dean. Mark Stehlik SCS Alumni Undergraduate Impact Scholarship. Institute for Software Research. Dean's Business Office. Computing Facilities (Help Desk). SCS Graduate Online Application. SCS Online Graduate Application. Students intereste...
SOCIAL ENGAGEMENT