An atypical mood elevator

Verification of an Elevator System with MOCHA

Unlike many other existing model checkers, MOCHA is designed for the modular verification of heterogeneous systems. Instead of manipulating unstructured state‐transition graphs, it supports the hierarchical modeling framework of Reactive Modules. It overcomes the state‐explosion problem by exploiting the modular structure naturally present in many system designs. Instead of traditional te...

Eleview: An Active Elevator Monitoring Vision System. ,

This paper describes an on-going novel vision application to detect abnormal activities in an elevator. Dgference picture technique and human body motion analysis are proposed to accomplish the interpretation tasks. The interpretation makes use of the spatial and temporal features together with the scenario representation. The results obtained are encouraging and further analysis seems fruitful.

A UML Documentation for an Elevator System

Mood stabilizers and atypical antipsychotics: bimodal treatments for bipolar disorder.

Treatment options for bipolar disorder have rapidly expanded over the last decade, but providing optimal management remains an elusive goal. The authors reviewed the literature on the efficacy of agents with the best clinical evidence supporting their use in bipolar disorder, including the mood stabilizers lithium, valproate, lamotrigine, and carbamazepine, as well as the atypical antipsychotic...

Accessible Elevator

This paper describes an proof-of-concept with the goal of providing new interactions for elevators. By connecting the control unit of the elevator to the ISO/IEC 24752 Universal Remote Console (URC) middleware – the Universal Remote Console (UCH) – we show some examples of alternative and accessible User Interfaces. By this, we achieve not only accessible UIs, e.g., spoken language interfaces, ...