Model-based software testing generally refers to test case selection and result evaluation based on a behavioral model of the target software. It may not, however, be possible to evaluate test results in some situations. For embedded software in a real-time environment, for instance, the results may only appear in a fraction of a second and cannot be observed by the tester. In this paper, we di...

introduction: in past decades, psychologists have emphasized the effects that family, cultural and social factors (specially, cognitive-behavioral approach and life skills) may have on mental health and on the treatment of mental disorders. the aim of this study was to evaluate the efficiency of confrontation cognitive-behavioral skills through group training on reducing anxiety and enhancing a...

Abstract—This paper sets out a behavioral macro-model of a Merged PiN and Schottky (MPS) diode based on silicon carbide (SiC). This model holds good for both static and dynamic electrothermal simulations for industrial applications. Its parameters have been worked out from datasheets curves by drawing on the optimization method: Simulated Annealing (SA) for the SiC MPS diodes made available in ...

Model-based testing is a technique to automatically generate test cases and oracles in order to test an implementation. A typical behavioral model used for model-based testing is a Labeled Transition System (LTS). However creating the LTS models needed for testing is a complex task, and especially when data is involved the number of states and thus the complexity will explode fast. Incorporatin...

This paper presents a method for automatic test case and test sequence generation from behavioral patterns. A behavioral pattern represents a class of behaviors of the environment with which the software under test interacts. Behavioral patterns are provided by the human tester to complement functional testing based on random test data generation. Thus, the tester can bring all her knowledge of...

Non-intrusive appliance load monitoring is the process of disaggregating a household’s total electricity consumption into its contributing appliances. In this paper we propose an approach by which individual appliances can be iteratively separated from an aggregate load. Unlike existing approaches, our approach does not require training data to be collected by sub-metering individual appliances...

This experiment aimed to establish a model for long and/or short-term ethanolwithdrawal induced motor deficits and thermal sensitivity in mice. Additionally, the effects of ketamine on these phenomena were evaluated. Human studies of alcoholics have documented, along with behavioral depression, deficiencies in gait and balance, as well as an increase in pain sensitivity, immediately following a...

Prostaglandin E2 (PGE2) produced in the medial preoptic region (MPO) in response to immune signals is generally accepted to play a major role in triggering the illness response, a complex of physiological and behavioral changes induced by infection or injury. Hyperalgesia is now thought to be an important component of the illness response, yet the specific mechanisms through which the MPO acts ...

The seasonal thermal energy storage technology for domestic heating applications is not enjoying the same increasing market penetration as the smaller diurnal thermal energy storage technology. Although high efficiencies are to expect with seasonal thermal energy storages, high up-front costs are likely to constitute an efficient market barrier, impeding the growth of this technology. This pape...