The authors discuss some of the key points raised by Ekman (1992), Izard (1992), and Panksepp (1992) in their critiques of Ortony and Turner's (1990) suggestion that there are and probably can be no objective and generally acceptable criteria for what is to count as a basic emotion. A number of studies are discussed that are relevant to the authors' contention that a more promising approach to ...

Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

The main intention of this paper is to propose a methodology for deriving reduced-order model from complex n-dimensional system. mathematical voltage-lift based quadratic high gain dc-dc converter with in continuous conduction mode (CCM) proposed. chosen topology amalgamates cells boost obtain improved voltage gain. operating principle the configuration steady-state analysis discussed CCM. open...

Access to computer systems is most often based on the use of alphanumeric passwords. However, users have difficulty remembering a password that is long and random-appearing. Instead, they create short, simple, and insecure passwords. Graphical passwords have been designed to try to make passwords more memorable and easier for people to use and, therefore, more secure. Using a graphical password...