Self-motion can facilitate perspective switches and "automatic spatial updating" and help reduce disorientation in applications like virtual reality (VR). However, providing physical motion through moving-base motion simulators or free-space walking areas comes with high cost and technical complexity. This study provides first evidence that merely experiencing an embodied illusion of self-motio...

In this work we propose an automatic way of generating and verifying formal hybrid models of signaling and transcriptional events, gathered in largescale regulatory networks.This is done by integrating temporal and stochastic aspects of the expression of some biological components. The hybrid approach lies in the fact that measurements take into account both times of lengthening phases and disc...

This research aims to make a miniature ore material transfer tool automatically using Omron PLC. The way this works is that when the start button pressed, motor 1 will move apron containing be taken 3 storage barrels filled alternately. In each barrel, proximity sensor installed detect level of filling. On rails are passed by apron, there three limit switches serve as indicators position right ...

The big hospitals’ electricity supply system’s reliability is discussed in this article through Petri nets and Fuzzy Inference System (FIS). To simulate analyse an electric power system, the FIS Mamdani MATLAB implemented. advantage of that it uses human experience to provide a faster solution than conventional techniques. elements involved are Main Electrical Power, Generator sets, Automatic T...

Multilevel rectifiers allow improving the system performance by reducing harmonic content of synthesized voltages, which leads to minimizing size and weight grid interface filters. Alternatively, use unidirectional PWM is particularly interesting in situations where there nonregenerative operation, since it possible operate with fewer active switches. This work proposes a five-level rectifier r...

There is a great need for more TV programs to be closed-captioned to help hearing impaired and elderly people watch TV. For that purpose, automatic speech recognition is expected to contribute to providing text from speech in real-time. NHK has been using speech recognition for closed-captioning of some of its news, sports and other live TV programs. In news programs, automatic speech recogniti...

We present the DryVR framework for verifying hybrid control systems that are described by a combination of a black-box simulator for trajectories and a white-box transition graph specifying mode switches. The framework includes (a) a probabilistic algorithm for learning sensitivity of the continuous trajectories from simulation data, (b) a bounded reachability analysis algorithm that uses the l...