Discrete Semantics for Hybrid Automata

Many natural systems exhibit a hybrid behavior characterized by a set of continuous laws which are switched by discrete events. Such behaviors can be described in a very natural way by a class of automata called hybrid automata. Their evolution are represented by both dynamical systems on dense domains and discrete transitions. Once a real system is modeled in a such framework, one may want to analyze it by applying automatic techniques, such as Model Checking or Abstract Interpretation. Unfortunately, the discrete/continuous evolutions not only provide hybrid automata of great flexibility, but they are also at the root of many undecidability phenomena. This paper addresses issues regarding the decidability of the reachability problem for hybrid automata (i.e., “can the system reach a state a from a state b?”) by proposing an “inaccurate” semantics. In particular, after observing that dense sets are often abstractions of real world domains, we suggest, especially in the context of biological simulation, to avoid the ability of distinguishing between values whose distance is less than a fixed ε. On the ground of the above considerations, we propose a new semantics for first-order formulæ which guarantees the decidability of reachability. We conclude providing a paradigmatic biological example showing that the new semantics mimics the real world behavior better than the precise one.     

Compact representations of all members of an independence system

It is well known that (reduced, ordered) binary decision diagrams (BDDs) can sometimes be compact representations of the full solution set of Boolean optimization problems. Recently they have been suggested to be useful as discrete relaxations in integer and constraint programming (Hoda et al. 2010). We show that for every independence system there exists a top-down (i.e., single-pass) construction rule for the BDD. Furthermore, for packing and covering problems on n variables whose bandwidth is bounded by \(\mathcal {O}(\log n)\) the maximum width of the BDD is bounded by \(\mathcal {O}(n)\). We also characterize minimal widths of BDDs representing the set of all solutions to a stable set problem for various basic classes of graphs. Besides implicitly enumerating or counting all solutions and optimizing a class of nonlinear objective functions that includes separable functions, the results can be applied for effective evaluation of generating functions.     

Illustrating volume data sets and layered models with importance-aware composition

Non-photorealistic (illustrative) rendering augments typical rendering models to selectively emphasize or de-emphasize specific structures of rendered objects. Illustrative techniques may affect not only the rendering style of specific portions of an object but also their visibility, ensuring that less important regions do not occlude more important ones. Cutaway views completely remove occluding, unimportant structures—possibly also removing valuable context information—while existing solutions for smooth reduction of occlusion based on importance lack precise visibility control, simplicity and generality. We introduce a new front-to-back fragment composition equation that directly takes into account a measure of sample importance and allows smooth and precise importance-based visibility control. We demonstrate the generality of our composition equation with several illustrative effects, which were obtained by using a set of importance measures calculated on the fly or defined by the user. The presented composition method is suitable for direct volume rendering as well as rendering of layered 3D models. We discuss both cases and show examples, though focusing mainly on illustration of volumetric data.     

Supporting Different Dimensions of Adaptability in Workflow Modeling

This paper discusses the theme of workflow systemadaptability in relation to process modeling. Startingfrom a discussion on the role of formal constructs incooperation, the main claim is that adaptabilityinvolves different dimensions of process modeling.These dimensions concern the possibility to flexiblycombine a rich set of basic categories in order toobtain the most suitable language for modeling thetarget business process and the work practices aroundit; to take into account various levels of visibilityof the contexts of definition and use of a processmodel; and finally to allow for temporary as well aspermanent modifications of the process itself.Ariadne, a notation conceived for the above purpose,is illustrated by means of a working example.Moreover, the paper presents the main designprinciples governing Ariadne's implementation.     

A comparison of directed formulations for the capacitated minimal spanning tree problem

In this paper, we compare linear integer programming directed formulations for the capacitated minimal spanning tree (CMST) problem. This problem is directly related to network design and consists of finding the cheapest way to link a set of terminals at different locations with a central node (a computer site, for instance). The present work focuses on a single commodity flow formulation presented in [3,4]. This formulation includes two sets of variables and, hence, it also must include coupling constraints between the two sets of variables. These coupling constraints can be defined in several ways. The main result of this work establishes that when the strongest form of the coupling constraints is used in the flow formulation (as in [4]), the equivalent formulation using only theX _ij variables satisfies the so-called multistar constraints. These constraints are shown to be stronger than the weakest form of the generalized subtour breaking constraints and, hence, our result improves on the characterization given in [5] for the flow formulation presented in [4]. For certain parameters, the multistar constraints induce facets of the non-directed CMST polytope (see [2]). We also show that it is not possible to compare the linear relaxations of a formulation that involves the multistar constraints with one that involves the generalized subtour breaking constraints.     

Efficacy of psychotherapy. Asking the right questions

Economic pressures and "value" judgments both compel and contaminate the current debate on the efficacy of psychotherapy. Too often, complex clinical trial outcome studies ignore the clinical or treatment process, as well as personality or contextual variables. Thus, they fail to build the foundations of a clinical science that makes possible the development of individually tailored treatment approaches and outcome predictions for specific patients with unique personalities, symptoms, and life circumstances. The real challenge, therefore, is for each psychotherapeutic approach to delineate its "process steps" and relate these steps to different outcomes. The "process" is the "final common pathway" for a number of patient, therapist, technique, and contextual variables. The capacity to predict the relationship between process and outcome at each stage in a therapeutic procedure is the relevant clinical test of "efficacy."     

Stability of the polyribosomes of Blakeslea trispora Thaxter during normal translation, its stimulation and inhibition

beta-Ionone is found to stimulate considerably carotinoids synthesis in Blakeslea trispora. The stabilization of carotene-synthesizing ability of B. trispora in the presence of beta-ionine under prolonged incubation time is observed. Stabilization of polyribosomes in the presence of beta-ionine is observed when studying polyribosome content in B. trispora. A hypothesis is expressed on the existence of biochemical "receptors" as a linkage between synthesized protein and destroying mRNA.     

Scientific productivity paradox: The case of China's S&T system

Summary In 1985 China began the reform of its Science & Technology (S&T) sector inherited from the planned economy. To disclose the impact of the drawn-out reform on the efficiency of the whole sector, we measure the scientific productivity of China's S&T institutes. The analysis is based on R&D input and output data at the country aggregate and provincial level. We utilize Polynomial Distributed Lag model to uncover the structure of the lag between R&D input and output. The findings reveal that the growth rate of scientific productivity of China's S&T institutes has been negative since the 1990s.     

Written Emotional Disclosure Buffers the Effects of Social Constraints on Distress Among Cancer Patients.

The aims of the present study were to examine whether written emotional disclosure would reduce distress among cancer patients and whether it would buffer the effects of high levels of social constraint (negative social responses to patients' expressions of emotion regarding their cancer) on distress. Cancer patients (N=104) were randomly assigned to write about their emotions regarding their cancer 20 min a day for 3 days or to write about a nonemotional topic. They completed questionnaires at baseline and 6 months postintervention. Results showed that written disclosure buffered the effects of social constraints on stress at the 6-month follow-up and that avoidance partly mediated these effects. The present data reinforce the notion that interventions should be tailored to patients' needs. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Distribution of nitric oxide synthase immunoreactivity in the mouse brain

Nitric oxide (NO) is a gaseous intercellular messenger with a wide range of neural functions. NO is synthesized by activation of different isoforms of nitric oxide synthases (NOS). At present NOS immunoreactivity has been described in mouse brain in restricted and definite areas and no detailed mapping studies have yet been reported for NOS immunoreactivity. We have studied the distribution of neuronal NOS-containing neurons in the brain of three months male mice, using a specific commercial polyclonal antibody against the neuronal isoform of nitric oxide synthase (nNOS). Neuronal cell bodies exhibiting nNOS immunoreactivity were found in several distinct nuclei throughout the brain. The neurons that were positively stained exhibited different intensities of reaction. In some brain areas (i.e., cortex, striatum, tegmental nuclei) neurons were intensely stained in a Golgi-like fashion. In other regions, immunoreactive cells are moderately stained (i.e., magnocellular nucleus of the posterior commissure, amygdaloid nucleus, interpeduncular nucleus, lateral periaqueductal gray) or weakly stained (i.e., vascular organ of the lamina terminalis, hippocampus, inferior colliculus, reticular nucleus). In the mouse, the NO-producing system appears well developed and widely diffused. In particular, nNOS immunoreactive neurons seem chiefly present in several sensory pathways like all the nuclei of the olfactory system, as well as in many regions of the lymbic system. These data suggest a widespread role for the NO system in the mouse nervous system.