Taxonomic Search: dan OR huttenlocher
Results 1 - 10 of 121
The objective of this research is to develop truly intelligent, automated driving through a new paradigm that tightly integrates probabilistic perception and deterministic planning in a formal, verifiable framework.
This thread is about new articles about the Wyvern project. Wyvern is a new programming language designed to help developers be highly productive when writing high-assurance applications.The Wyvern project is supported by the National Security Agency lablet at Carnegie Mellon University.
Dan Geer, Chief Information Security Officer at In-Q-Tel gave the keynote address at the NSF Secure and Trustworthy Cyberspace Principal Investigators' Meeting held January 5-7, 2015 in Arlington, Virginia. Read the complete text version of the keynote address below.
Dan Geer, NSF, 6 January 15
||Poster Session Presenter
|Aaron Ames (Texas A&M)
||Correct-by-Design Control Software Synthesis for Highly Dynamic Systems|
20th International Conference on Architectural Support for Programming Languages and Operating Systems
ASPLOS is the premier forum for multidisciplinary systems research spanning computer architecture and hardware, programming languages and
compilers, operating systems and networking, as well as applications and user interfaces. The 2015 conference will be held in Istanbul, Turkey, a city where two continents meet on the blue waters of the Bosphorus to offer an abundance of unique natural, historical, cultural, and culinary experiences.
INSIGHT, an innovative GK-12 STEM Fellowship Program integrates sensor technology with computing and information science in a standards-based science, technology, and engineering curricula. GK-12 STEM Fellows are teamed with science, technology, and physical education teachers for two years to carry out hands-on classroom activities utilizing technology and engineering practice with a focus on the use of sensors, computing, and information technology aligned with state curriculum standards.
Highlights from the Tech Jam's Agenda
Ignite-style presentations from 20+ existing GCTC Action Clusters including: