Uncontrollable anxious thought characterizes a number of emotional disorders and has been linked to impaired emotional and physical health. The present research aimed to clarify the nature of uncontrollable worry as a clinical and cognitive construct. Chapter 1 evaluated uncontrollability of worry as a diagnostic criterion for generalized anxiety disorder (GAD). This study was conducted in resp...

Recent results in the literature have provided eecient control synthesis techniques for the problem of deadlock avoidance in Petri nets. These results are shown to t within an established framework for the enforcement of linear constraints on the marking behavior of a net. Framing the problem in this way allows uncontrollable transitions to be included in the plant model when deadlock avoidance...

This paper expands upon results of previous research dealing with the supervisory control of Petri net modeled discrete event systems that contain uncontrollable transitions. It represents the current state of progress, as well as recent results, in an ingoing research project in the area of Petri nets in discrete event system control. The concept of unobservable plant transitions is introduced...

INTRODUCTION Cryptococcosis is an opportunistic mycosis, especially in patients that are human immunodeficiency virus (HIV)-positive, and frequently involves the central nervous system. METHODS We assessed the potential of ventriculoperitoneal shunting (VPS) in preventing mortality due to uncontrollable intracranial hypertension (ICH) in 15 patients with acquired immunodeficiency syndrome (AI...

While users enjoy the convenience of data outsourcing in cloud, they also face risks modification and private information leakage. Searchable encryption technology can perform keyword searches over encrypted while protecting their privacy guaranteeing integrity by verifying search results. However, some associated problems are still encountered, such as low efficiency verification uncontrollabl...