The document was issued by industry or industrial organization.
News Item
Call for Student Posters on Unmanned Aircraft Systems (UAS) Communications and Networking Research
Call for Student Posters on Unmanned Aircraft Systems (UAS) Communications and Networking Research
Submitted by Kamesh Namuduri on January 24th, 2017
The Academic-Industry Partnerships at NSF Newsletter is an all-in-one source for information on the Industry/University Cooperative Research Centers (I/UCRC), Partnerships for Innovation: Building Innovation Capacity (PFI:BIC), Partnerships for Innovation: Accelerating Innovation Research-Technology Translation and Research Alliance (PFI:AIR-TT and PFI:AIR-RA), Innovation Corps (I-Corps), and Grant Opportunities for Academic Liaison with Industry (GOALI) programs, among others.
Submitted by Anonymous on October 30th, 2013
State-of-the-art debugging techniques for equation-based languages follow a low-level approach to interface users
with the complex interactions between equations and algorithms that describe cyber-physical processes. Although
these techniques are useful for understanding the low-level behaviors, they do not provide the means for creating a
system-level understanding that is often necessary during the early concept product design phase. In this paper, we
present a novel debugging technique for equation-based languages based on a high-level approach to facilitate
Submitted by Arquimedes Canedo on July 12th, 2013
File
The Nash Protocol
A computationally efficient cryptographic algorithm.
Submitted by Mark Knight on March 14th, 2013
Presented as part of the 2001 HCSS conference.
Submitted by Anne Dyson on February 15th, 2012
Submitted by Jim BRAZELL on January 25th, 2012
Submitted by Jim BRAZELL on January 25th, 2012
This presentation conceptualizes Model-Based Design of a cyber-physical system. Three stages of a system under design at various levels of detail are depicted. The designs are captured by models that have computational semantics based on the execution engine on a host platform. The implementation as generated code executes on a target platform. Because executable, the design can be explored, tested, and verified while at various levels of detail. This enables separation of concerns and so allows raising the level of abstraction in design.
Submitted by Pieter Mosterman on July 31st, 2011
Don Winter, VP-Engineering & Information Technology, Boeing Research and Technology, keynote presentation at the CCC Workshop on New Forms of Industry Academy Collaboration
Submitted by Anonymous on April 6th, 2011
Science of Integration for Cyber Physical Systems
NSF LARGE Project
Vanderbilt University, University of Maryland, University of Notre Dame
in collaboration with
General Motors Corporation
Kickoff Meeting Agenda
Nov 29-30, 2010
Submitted by Janos Sztipanovits on February 7th, 2011