Applying the Abadi-Lamport composition theorem in real-world secure system integration environments

Author(s):  
J.A. Hemenway ◽  
J. Fellows
Author(s):  
Angran Xiao ◽  
Andy S. Zhang

Project based learning (PBL) is a dynamic classroom approach in which students actively explore solving real world problems and gaining knowledge and skills through developing real products. In this paper, we introduce a student project that focuses on the integration of mechanical and electrical components in the development of a speech controlled service robot. The technical details of this project are presented, including the major components, system integration, and the software that enables the functions of the robot. A robot with such functions can be used in many applications such as military operations, speech controlled appliances, etc. Student assessment has shown that this project helps students learn valuable knowledge of product development that are usually only acquired through real world working experiences.


Author(s):  
Kimitoshi Yamazaki ◽  
Ryohei Ueda ◽  
Shunichi Nozawa ◽  
Yuto Mori ◽  
Toshiaki Maki ◽  
...  

AbstractThis paper describes a system integration of daily assistive robots. Several tasks related to cleaning and tidying up rooms are focused on. Recognition and motion generation functions were integrated onto the robot, and these provided failure detection and in some cases, its recovery. Experiments of several daily tasks handling daily tools showed the effectiveness of our system.


2018 ◽  
Vol 41 ◽  
Author(s):  
Michał Białek

AbstractIf we want psychological science to have a meaningful real-world impact, it has to be trusted by the public. Scientific progress is noisy; accordingly, replications sometimes fail even for true findings. We need to communicate the acceptability of uncertainty to the public and our peers, to prevent psychology from being perceived as having nothing to say about reality.


2010 ◽  
Vol 20 (3) ◽  
pp. 100-105 ◽  
Author(s):  
Anne K. Bothe

This article presents some streamlined and intentionally oversimplified ideas about educating future communication disorders professionals to use some of the most basic principles of evidence-based practice. Working from a popular five-step approach, modifications are suggested that may make the ideas more accessible, and therefore more useful, for university faculty, other supervisors, and future professionals in speech-language pathology, audiology, and related fields.


2015 ◽  
Vol 25 (1) ◽  
pp. 39-45 ◽  
Author(s):  
Jennifer Tetnowski

Qualitative case study research can be a valuable tool for answering complex, real-world questions. This method is often misunderstood or neglected due to a lack of understanding by researchers and reviewers. This tutorial defines the characteristics of qualitative case study research and its application to a broader understanding of stuttering that cannot be defined through other methodologies. This article will describe ways that data can be collected and analyzed.


2006 ◽  
Vol 40 (7) ◽  
pp. 47
Author(s):  
LEE SAVIO BEERS
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document