In this study, the comfort of the tools available to the driver are evaluated through the virtual simulation of a car interior on a Tanorama Powerwall. In a series of couple comparisons, 20 participants have been asked to judge both the visibility and the aesthetic pleasantness of a set of hazard buttons, differing in their coloration parameters. The results show that “visibility’ has a direct ...

OBJECTIVE We tested the hypothesis that automation errors on tasks easily performed by humans undermine trust in automation. BACKGROUND Research has revealed that the reliability of imperfect automation is frequently misperceived. We examined the manner in which the easiness and type of imperfect automation errors affect trust and dependence. METHOD Participants performed a target detection...

A generalized 1-in-3SAT problem is defined and found to be in complexity class P when restricted to a certain subset of CNF expressions. In particular, 1-in-kSAT with no restrictions on the number of literals per clause can be decided in polynomial time when restricted to exact READ-3 formulas with equal number of clauses (m) and variables (n), and no pure literals. Also individual instances ca...

In recent years the interest in monitoring infrastructures has spread in many application domains, even because of the number of natural disasters and terrorist attacks. This important activity can be seen in the general context of critical infrastructure protection such as the freight train meant for hazardous materials transportation. The design of these systems must answer to several issues:...

This paper deenes a class of spaces which are easy for genetic algorithms and hard for stochastic hill{climbers. These spaces require genetic recombination for successful search and are partially deceptive. Problems where tradeoos need to be made subsume spaces with these properties. Preliminary results comparing a genetic algorithm without crossover against one with two{point crossover support...

To improve the research productivity in bioinformatics study by using effective means of large scale data analysis, there are many obstacles that need to be overcome They are standardization of data collection and analysis, management of computing and storage resources, easiness of parallel programming, and efficiency of data analysis job execution, to name a few. Among these, easiness of paral...