Orientation development in thermotropic liquid crystal polymers

Thermotropic liquid crystal polymers are a new class of polymeric materials that consist of rigid backbone molecules and thus, even in the quiescent condition, take extended chain conformation to form optically anisotropic melts. A systematic investigation was carried out on how this type of material responds to two basic flow fields: shear and elongation. Rheological properties of the polymer in these flow fields have also been measured. It was found that a high level of molecular orientation was readily obtained by elongational flow but not with shear flow. Specifically, extraordinarily high orientation was obtained when the melt was subjected to small elongational strains, whiel shear strain or shear rate had little effect. A possible mechanism to explain these behaviors is illustrated based on the existing observations or theories of rodlike molecules. This finding was used to interpret the orientation distribution in the extruded and injection-molded articles.     

Cell Identification Codes for Tracking Mobile Users

The minimization of the wireless cost of tracking mobile users is a crucial issue in wireless networks. Some of the previous strategies addressing this issue leave an open gap, by requiring the use of information that is not generally available to the user (for example, the distance traveled by the user). For this reason, both the implementation of some of these strategies and the performance comparison to existing strategies is not clear. In this work we propose to close this gap by the use of Cell Identification Codes (CIC) for tracking mobile users. Each cell periodically broadcasts a short message which identifies the cell and its orientation relatively to other cells in the network. This information is used by the users to efficiently update their location. We propose several cell identification encoding schemes, which are used to implement different tracking strategies, and analyze the amount of information required by each tracking strategy. One of our major results is that there is no need to transmit a code which is unique for each cell. For example, a 3 bits CIC is sufficient to implement a distance-based tracking strategy in a two-dimensional system. In addition, we propose a combination of timer and movement tracking strategy, based on either a one-bit or a two-bit CIC, depending on system topology and user mobility. An important property of our framework is that the overall performance cost, and hence its comparison to existing methods, is evaluated for each tracking strategy. The CIC-based strategies are shown to outperform the geographic-based method currently used in existing networks, and the timer-based method, over a wide range of parameters. Moreover, this superiority increases as the number of users per cell increases.     

Deductive verification of alternating systems

Alternating systems are models of computer programs whose behavior is governed by the actions of multiple agents with, potentially, different goals. Examples include control systems, resource schedulers, security protocols, auctions and election mechanisms. Proving properties about such systems has emerged as an important new area of study in formal verification, with the development of logical frameworks such as the alternating temporal logic ATL*. Techniques for model checking ATL* over finite-state systems have been well studied, but many important systems are infinite-state and thus their verification requires, either explicitly or implicitly, some form of deductive reasoning. This paper presents a theoretical framework for the analysis of alternating infinite-state systems. It describes models of computation, of various degrees of generality, and alternating-time logics such as ATL* and its variations. It then develops a proof system that allows to prove arbitrary ATL* properties over these infinite-state models. The proof system is shown to be complete relative to validities in the weakest possible assertion language. The paper then derives auxiliary proof rules and verification diagrams techniques and applies them to security protocols, deriving a new formal proof of fairness of a multi-party contract signing protocol where the model of the protocol and of the properties contains both game-theoretic and infinite-state (parameterized) aspects.     

A quantum mechanical model of consciousness and the emergence of ‘I’

There have been suggestions that the unity of consciousness may be related to the kind of holism depicted only in quantum physics. This argument will be clarified and strengthened. It requires the brain to contain a quantum system with the right properties — a Bose-Einstein condensate. It probably does contain one such system, as both theory and experiment have indicated. In fact, we cannot pay full attention to a quantum whole and its parts simultaneously, though we may oscillate between the two. In a quantum theory of consciousness, emergent meanings arise as an inevitable consequence of Heisenberg's Uncertainty Principle.     

Levels of the native forms of GnRH in the pituitary of the gilthead seabream, Sparus aurata, at several characteristic stages of the gonadal cycle

Brains of the gilthead seabream, Sparus aurata, contain three different forms of gonadotropin-releasing hormone (GnRH): seabream (sb) GnRH, chicken (c) GnRH-II, and salmon (s) GnRH. In the present study, we developed three specific enzyme-linked-immunosorbent assays (ELISA) for sbGnRH, cGnRH-II, and sGnRH and used them to measure the levels of each GnRH form in the pituitary of male and female seabream at different stages of gametogenesis. The sensitivity was 6 pg/well for the sbGnRH assay, 7 pg/well for the cGnRH-II assay, and 2 pg/well for the sGnRH assay. Levels of each of the three GnRH forms were measured in pituitaries from fish sampled at the beginning of gonadal recrudescence and during the spawning season. Of the three forms, only sbGnRH and cGnRH-II were detected in the pituitary, irrespective of reproductive state or sex. Recrudescent fish had similar levels of sbGnRH and cGnRH-II in the pituitary. In sexually mature fish, the levels of sbGnRH were higher than those in recrudescent fish while pituitary cGnRH-II content remained unchanged. Consequently, sbGnRH levels were 3- to 17-fold higher than cGnRH-II levels in mature fish. Positive correlations also existed between pituitary sbGnRH content and pituitary and plasma gonadotropin (GtH) II levels. Surprisingly, mature 1-year-old males had significantly higher levels of sbGnRH in the pituitary than mature 3-year-old males, while pituitary and plasma GtH II levels were similar between these two groups. Although the reason for this difference in sbGnRH levels is unclear, a possible role of sbGnRH in the processes of puberty or sex-inversion is implied. Based on the present results, it can be suggested that in the gilthead seabream, sbGnRH is the most relevant form of GnRH in the control of reproduction.     

Modifying supervisory practices to improve subunit safety: A leadership-based intervention model.

This article presents a leadership-based intervention model designed to modify supervisory monitoring and rewarding of subordinates' safety performance. Line supervisors received weekly feedback based on repeated episodic interviews with subordinates concerning the cumulative frequency of their safety-oriented interactions. This information identified the priority of safety over competing goals such as speed or schedules. Section managers received the same information and used it to communicate (high) safety priority. They also were trained to conduct episodic interviews to provide intermittent feedback after intervention, turning safety priority into an explicit performance goal. Safety-oriented interaction increased significantly in the experimental groups but remained unchanged in the control groups. This change in safety-oriented interaction was accompanied by significant (and stable) changes in minor injury rate, earplug use, and safety climate scores during the postintervention period. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Effects of long-term testosterone, gonadotropin-releasing hormone agonist, and pimozide treatments on gonadotropin II levels and ovarian development in juvenile female striped bass (Morone saxatilis)

The ability of the juvenile female reproductive axis to respond to hormonal stimulation was investigated in a Perciform fish, the striped bass (Morone saxatilis) using various combinations of testosterone (T), GnRH agonist (GnRHa), and pimozide. A long-term treatment with T alone, or T in combination with GnRHa, increased pituitary gonadotropin II (GtH II) levels 2- and 3-fold, respectively, suggesting that T and GnRHa each stimulate GtH II accumulation. Release of the accumulated GtH II could be induced only by high doses of GnRHa in combination with T, indicating that GtH II synthesis and release require different levels of GnRH stimulation. The addition of the dopamine antagonist pimozide did not affect pituitary and plasma GtH II levels but, in response to an additional acute GnRHa challenge, inhibited the release of GtH II. Although ovarian development was slightly stimulated by a combined T and GnRHa treatment, vitellogenesis was generally not initiated. The present study demonstrated that the juvenile striped bass pituitary is responsive to hormonal stimulation, resulting in elevated levels of GtH II in the pituitary and plasma. However, increased plasma levels of GtH II did not result in precocious puberty, suggesting that additional factors are required for the initiation of ovarian development in this teleost.