The tool described in this paper aims at evaluating the effectiveness of software-implemented faulttolerant techniques used in safety-critical systems. The target application is stressed with the injection of transient or permanent faults. The user can therefore observe the real behaviour of the application in presence of a fault, and, if necessary, take the appropriate countermeasures. The acc...

The purpose of this work is to present a practical study on the key factors of usability in small-sized mobile touch-screen applications. Though using smart phones has brought great easiness in our daily life in many ways, many smart phone applications often remain underutilized due to the poor consideration of end-users in the development phase, thus decreasing potential profit of companies. I...

We generalize Baeten and Boerboom’s method of forcing, and apply this to show that there is a fixed sequence (uk)k∈ω of closed (untyped) λ-terms satisfying the following properties: a) For any countable sequence (gk)k∈ω of continuous functions (of arbitrary arity) on the power set of an arbitrary countable set, there is a graph model such that (λx.xx)(λx.xx)uk represents gk in the model. b) For...

We present new consequences of the assumption that time-bounded algorithms can be “compressed” with non-uniform circuits. Our main contribution is an “easiness amplification” lemma for circuits. One instantiation of the lemma says: if n1+ε-time, Õ(n)-space computations have n1+o(1) size (non-uniform) circuits for some ε > 0, then every problem solvable in polynomial time and Õ(n) space has n1+o...

This paper presents the application of dynamic voltage restorers (DVR) on power distribution Systems for mitigation of voltage sags/swells at critical loads. DVR is one of the compensating types of custom power devices. An adequate modeling and simulation of DVR, including controls in MATLAB, show the flexibility and easiness of the MATLAB environment in studying and Understanding such compensa...

We propose a new approach towards derandomization in the uniform setting, where it is computationally hard to nd possible mistakes in the simulation of a given probabilistic algorithm. The approach consists in combining both easiness and hardness complexity assumptions: if a derandomization method based on an easiness assumption fails, then we obtain a certain hardness test that can be used to ...

Text classification is a process where documents are categorized usually by topic, place, readability easiness, etc. For text classification by topic, a well-known method is Singular Value Decomposition. For text classification by readability, “Flesh Reading Ease index” calculates the readability easiness level of a document (e.g. easy, medium, advanced). In this paper, we propose Singular Valu...