Staff edutainment on a corporate intranet‐lessons learned

This paper discusses the results from a case study of an intranet‐based staff education programme at the national Swedish telecommunications corporation. The programme attempts to convey the environmental benefits of telecommunication services, aiming at increased staff awareness and new business opportunities. A multidisciplinary production team packaged the factual content in a rich mixture of audio and video clips, text, images, animations, quizzes, games, tests and polls. A standard Web browser with downloadable plug‐ins is used to view the material. The self‐paced studies on the intranet are followed by a seminar, combining the advantages of individual and teacher‐assisted education. The impact of the programme has been studied partly through a questionnaire distributed to a number of users, and partly through interviews. The results show that intranet‐based ‘edutainment’ is a practicable and successful tool for organizational learning. Ease of use, interactivity, ease of distribution and renewal, flexibility in time and space, are just some of the benefits offered. However, a number of pedagogical, organizational and technical requirements must be met in order to succeed Context, pedagogical aims and standards, content, information structure, user characteristics, management commitment, technical platform, media types, the production team, user interface and user tests are just a few of the important factors that must be considered This paper attempts to identify some of the factors essential to successful staff education on the corporate intranet, discussing observations and lessons learned from the case study

Functional requirements document for the Earth Observing System Data and Information System (EOSDIS) Scientific Computing Facilities (SCF) of the NASA/MSFC Earth Science and Applications Division, 1992

Five scientists at MSFC/ESAD have EOS SCF investigator status. Each SCF has unique tasks which require the establishment of a computing facility dedicated to accomplishing those tasks. A SCF Working Group was established at ESAD with the charter of defining the computing requirements of the individual SCFs and recommending options for meeting these requirements. The primary goal of the working group was to determine which computing needs can be satisfied using either shared resources or separate but compatible resources, and which needs require unique individual resources. The requirements investigated included CPU-intensive vector and scalar processing, visualization, data storage, connectivity, and I/O peripherals. A review of computer industry directions and a market survey of computing hardware provided information regarding important industry standards and candidate computing platforms. It was determined that the total SCF computing requirements might be most effectively met using a hierarchy consisting of shared and individual resources. This hierarchy is composed of five major system types: (1) a supercomputer class vector processor; (2) a high-end scalar multiprocessor workstation; (3) a file server; (4) a few medium- to high-end visualization workstations; and (5) several low- to medium-range personal graphics workstations. Specific recommendations for meeting the needs of each of these types are presented

Engineering the Hardware/Software Interface for Robotic Platforms - A Comparison of Applied Model Checking with Prolog and Alloy

Robotic platforms serve different use cases ranging from experiments for prototyping assistive applications up to embedded systems for realizing cyber-physical systems in various domains. We are using 1:10 scale miniature vehicles as a robotic platform to conduct research in the domain of self-driving cars and collaborative vehicle fleets. Thus, experiments with different sensors like e.g.~ultra-sonic, infrared, and rotary encoders need to be prepared and realized using our vehicle platform. For each setup, we need to configure the hardware/software interface board to handle all sensors and actors. Therefore, we need to find a specific configuration setting for each pin of the interface board that can handle our current hardware setup but which is also flexible enough to support further sensors or actors for future use cases. In this paper, we show how to model the domain of the configuration space for a hardware/software interface board to enable model checking for solving the tasks of finding any, all, and the best possible pin configuration. We present results from a formal experiment applying the declarative languages Alloy and Prolog to guide the process of engineering the hardware/software interface for robotic platforms on the example of a configuration complexity up to ten pins resulting in a configuration space greater than 14.5 million possibilities. Our results show that our domain model in Alloy performs better compared to Prolog to find feasible solutions for larger configurations with an average time of 0.58s. To find the best solution, our model for Prolog performs better taking only 1.38s for the largest desired configuration; however, this important use case is currently not covered by the existing tools for the hardware used as an example in this article.Comment: Presented at DSLRob 2013 (arXiv:cs/1312.5952

Flexible Low-cost Automated Scaled Highway (FLASH) Laboratory for Studies on Automated Highway Systems

This paper addresses the development of a flexible low-cost automated scale highway (FLASH) laboratory which is intended to serve as a catalyst for accelerating the development of many intelligent vehicle highway system (IVHS) concepts. It also highlights the significance of the laboratory for the research, evaluation, and testing of automated highway system (AHS) configurations, architectures, designs and technologies. This laboratory, using small scale standardized vehicles will serve as a test bed for the economical development and evaluation of various hardware, software, and management systems before full scale testing and deployment. The laboratory will provide the capability to test day and night, and will be immune to adverse weather conditions. It will be able to evaluate and test situations from various points of view including control, communication, routing, sensing, etc., which otherwise would be very expensive and dangerous-if human operators are involved-to test on test sites like Smart Road, a proposed testbed for ITS (IVHS) technology in Virginia. The development of this laboratory complements the development and utilization of the Smart Road, and is in harmony with the mission of the Center for Transportation Research

Configurable 3D-integrated focal-plane sensor-processor array architecture

A mixed-signal Cellular Visual Microprocessor architecture with digital processors is described. An ASIC implementation is also demonstrated. The architecture is composed of a regular sensor readout circuit array, prepared for 3D face-to-face type integration, and one or several cascaded array of mainly identical (SIMD) processing elements. The individual array elements derived from the same general HDL description and could be of different in size, aspect ratio, and computing resources

Ground Robotic Hand Applications for the Space Program study (GRASP)

This document reports on a NASA-STDP effort to address research interests of the NASA Kennedy Space Center (KSC) through a study entitled, Ground Robotic-Hand Applications for the Space Program (GRASP). The primary objective of the GRASP study was to identify beneficial applications of specialized end-effectors and robotic hand devices for automating any ground operations which are performed at the Kennedy Space Center. Thus, operations for expendable vehicles, the Space Shuttle and its components, and all payloads were included in the study. Typical benefits of automating operations, or augmenting human operators performing physical tasks, include: reduced costs; enhanced safety and reliability; and reduced processing turnaround time

On the tailoring of CAST-32A certification guidance to real COTS multicore architectures

The use of Commercial Off-The-Shelf (COTS) multicores in real-time industry is on the rise due to multicores' potential performance increase and energy reduction. Yet, the unpredictable impact on timing of contention in shared hardware resources challenges certification. Furthermore, most safety certification standards target single-core architectures and do not provide explicit guidance for multicore processors. Recently, however, CAST-32A has been presented providing guidance for software planning, development and verification in multicores. In this paper, from a theoretical level, we provide a detailed review of CAST-32A objectives and the difficulty of reaching them under current COTS multicore design trends; at experimental level, we assess the difficulties of the application of CAST-32A to a real multicore processor, the NXP P4080.This work has been partially supported by the Spanish Ministry of Economy and Competitiveness (MINECO) under grant TIN2015-65316-P and the HiPEAC Network of Excellence. Jaume Abella has been partially supported by the MINECO under Ramon y Cajal grant RYC-2013-14717.Peer ReviewedPostprint (author's final draft

Small RNAs and extracellular vesicles in filarial nematodes: from nematode development to diagnostics

Parasitic nematodes have evolved sophisticated mechanisms to communicate with their hosts in order to survive and successfully establish an infection. The transfer of RNA within extracellular vesicles (EVs) has recently been described as a mechanism that could contribute to this communication in filarial nematodes. It has been shown that these EVs are loaded with several types of RNAs, including microRNAs, leading to the hypothesis that parasites could actively use these molecules to manipulate host gene expression and to the exciting prospect that these pathways could result in new diagnostic and therapeutic strategies. Here we review the literature on the diverse RNAi pathways that operate in nematodes and more specifically our current knowledge of extracellular RNA (exRNA) and EVs derived from filarial nematodes in vitro and within their hosts. We further detail some of the issues and questions related to the capacity of RNA-mediated communication to function in parasite-host interactions and the ability of exRNA to enable us to distinguish and detect different nematode parasites in their hosts

Thermal Benchmark and Power Benchmark Software

Power consumption and heat dissipation become key elements in the field of high-end integrated circuits, especially those used in mobile and high-speed applications, due to their increase of transistor count and clock frequencies. Dynamic thermal management strategies have been proposed and implemented in order to mitigate heat dissipation. However, there is a lack of a tool that can be used to evaluate DTM strategies and thermal response of real life systems. Therefore, in this paper we introduce and define the concepts of thermal benchmark software and power benchmark software as a software application for run-time system level thermal and power characterizationComment: Submitted on behalf of TIMA Editions (http://irevues.inist.fr/tima-editions