Navigation and interaction in a real-scale digital mock-up using natural language and user gesture

This paper tries to demonstrate a very new real-scale 3D system and sum up some firsthand and cutting edge results concerning multi-modal navigation and interaction interfaces. This work is part of the CALLISTO-SARI collaborative project. It aims at constructing an immersive room, developing a set of software tools and some navigation/interaction interfaces. Two sets of interfaces will be introduced here: 1) interaction devices, 2) natural language (speech processing) and user gesture. The survey on this system using subjective observation (Simulator Sickness Questionnaire, SSQ) and objective measurements (Center of Gravity, COG) shows that using natural languages and gesture-based interfaces induced less cyber-sickness comparing to device-based interfaces. Therefore, gesture-based is more efficient than device-based interfaces.FUI CALLISTO-SAR

Combining Terrier with Apache Spark to Create Agile Experimental Information Retrieval Pipelines

Experimentation using IR systems has traditionally been a procedural and laborious process. Queries must be run on an index, with any parameters of the retrieval models suitably tuned. With the advent of learning-to-rank, such experimental processes (including the appropriate folding of queries to achieve cross-fold validation) have resulted in complicated experimental designs and hence scripting. At the same time, machine learning platforms such as Scikit Learn and Apache Spark have pioneered the notion of an experimental pipeline , which naturally allows a supervised classification experiment to be expressed a series of stages, which can be learned or transformed. In this demonstration, we detail Terrier-Spark, a recent adaptation to the Terrier Information Retrieval platform which permits it to be used within the experimental pipelines of Spark. We argue that this (1) provides an agile experimental platform for information retrieval, comparable to that enjoyed by other branches of data science; (2) aids research reproducibility in information retrieval by facilitating easily-distributable notebooks containing conducted experiments; and (3) facilitates the teaching of information retrieval experiments in educational environments

Bridging the gap: building better tools for game development

The following thesis is about questioning how we design game making tools, and how developers may build easier tools to use. It is about the highlighting the inadequacies of current game making programs as well as introducing Goal-Oriented Design as a possible solution. It is also about the processes of digital product development, and reflecting on the necessity for both design and development methods to work cohesively for meaningful results. Interaction Design is in essence the abstracting of key relations that matter to the contextual environment. The result of attempting to tie the Interaction Design principles, Game Design issues together with Software Development practices has led to the production of the User-Centred game engine, PlayBoard

Experiences with Matlab and VRML in Functional Neuroimaging Visualizations

Introduction Neuroinformatics is the task of organizing, analyzing and presenting the knowledge of neuroscience. In the part of neuroinformatics that is associated with functional neuroimaging ("brain mapping") visualization plays an important role. Functional neuroimaging utilizes brain scanners to examine the inner workings of the human brain, usually by mapping the relationship between cognitive components and specialized brain regions. fMRI and PET brain scanners can produce sequential volumetric scalar data. The functional neuroimaging study sometimes incorporate a complicated design making the "time axis" multi-dimensional. This data is seldom viewed directly, but instead it is put through rigorous processing, the result being one or more scalar volumes. Center of mass points of "hot spot" areas are tabelized and included in scientific publications as so-called "Talairach-coordinates" [1]. A database exists with these coordinates: The BrainMap database [2]. The typical vis

Transportability, distributability and rehosting experience with a kernel operating system interface set

For the past two years, PRC has been transporting and installing a software engineering environment framework, the Automated Product control Environment (APCE), at a number of PRC and government sites on a variety of different hardware. The APCE was designed using a layered architecture which is based on a standardized set of interfaces to host system services. This interface set called the APCE Interface Set (AIS), was designed to support many of the same goals as the Common Ada Programming Support Environment (APSE) Interface Set (CAIS). The APCE was developed to provide support for the full software lifecycle. Specific requirements of the APCE design included: automation of labor intensive administrative and logistical tasks: freedom for project team members to use existing tools: maximum transportability for APCE programs, interoperability of APCE database data, and distributability of both processes and data: and maximum performance on a wide variety of operating systems. A brief description is given of the APCE and AIS, a comparison of the AIS and CAIS both in terms of functionality and of philosophy and approach and a presentation of PRC's experience in rehosting AIS and transporting APCE programs and project data. Conclusions are drawn from this experience with respect to both the CAIS efforts and Space Station plans

A Virtual Hydroelectric Power System for Distributable Industrial Control System Security Research

Cyber security for industrial control systems (ICS) has been a rapidly growing area of interest and research for the last several years. The lack of an easily distributable platform on which ICS components can be built for use in security testing and result comparison among researchers presents a major issue. This thesis details the use of a virtual testbed environment to build a representative virtual hydroelectric power system (VHPS). The VHPS generates realistic Modbus/TCP network traffic between two separate ICS devices, a Master and a Slave, located on separate VMs. For security testing purposes, a method of session hijacking has been implemented as well as a Function Code Scan attack and a Setpoint Manipulation attack. The virtual environment, the VHPS, and the attacks have been packaged into an LXDE-based Fedora Spin VM for easy distribution

Towards the integration of digital library applications via web services for use in a scientific workspace

"Our project 'Generic Portals' focuses on the possibilities and problems created by the usage of web-technologies to support web-based Digital Library applications. We observe a divergence of services in the sphere of structured resources and scientific libraries' services. Publications in the form of digital resources have introduced new dynamics into the information exchange in the scientific communities. The changes in the publication process are formed by so-called structured resources, whereas the resource can be seen as an encapsulated object. For the exchange of information we have only to know the interface of the structured resource in detail. W3C has published a working draft which includes a language named Web Service Description Language (WSDL) for describing interfaces of services. A Web service interface is a shared connection between functional components of applications. We consider the requirements for the integration of DL-applications via Web services. We present an adapted process model for supply of DL-oriented Web services. Further we present a component-based approach to relate researchers' activities to so-called DL-oriented Web services. We obtain criteria for the description of DL-oriented Web services based on the researchers' working process. Finally, we present a brief overview what kind of Web technologies might be reused for a prototypical implementation of DL-oriented Web services." (author's abstract

SPEEDY: An Eclipse-based IDE for invariant inference

SPEEDY is an Eclipse-based IDE for exploring techniques that assist users in generating correct specifications, particularly including invariant inference algorithms and tools. It integrates with several back-end tools that propose invariants and will incorporate published algorithms for inferring object and loop invariants. Though the architecture is language-neutral, current SPEEDY targets C programs. Building and using SPEEDY has confirmed earlier experience demonstrating the importance of showing and editing specifications in the IDEs that developers customarily use, automating as much of the production and checking of specifications as possible, and showing counterexample information directly in the source code editing environment. As in previous work, automation of specification checking is provided by back-end SMT solvers. However, reducing the effort demanded of software developers using formal methods also requires a GUI design that guides users in writing, reviewing, and correcting specifications and automates specification inference.Comment: In Proceedings F-IDE 2014, arXiv:1404.578