Specification and Verification of Media Constraints using UPPAAL

We present the formal specification and verification of a multimedia stream. The stream is described in a timed automata notation. We verify that the stream satisfies certain quality of service properties, in particular, throughput and end-to-end latency. The verification tool used is the real-time model checker UPPAAL

Persistent androgen receptor-mediated transcription in castration-resistant prostate cancer under androgen-deprived conditions

The androgen receptor (AR) is a ligand-inducible transcription factor that mediates androgen action in target tissues. Upon ligand binding, the AR binds to thousands of genomic loci and activates a cell-type specific gene program. Prostate cancer growth and progression depend on androgen-induced AR signaling. Treatment of advanced prostate cancer through medical or surgical castration leads to initial response and durable remission, but resistance inevitably develops. In castration-resistant prostate cancer (CRPC), AR activity remains critical for tumor growth despite androgen deprivation. Although previous studies have focused on ligand-dependent AR signaling, in this study we explore AR function under the androgen-deprived conditions characteristic of CRPC. Our data demonstrate that AR persistently occupies a distinct set of genomic loci after androgen deprivation in CRPC. These androgen-independent AR occupied regions have constitutively open chromatin structures that lack the canonical androgen response element and are independent of FoxA1, a transcription factor involved in ligand-dependent AR targeting. Many AR binding events occur at proximal promoters, which can act as enhancers to augment transcriptional activities of other promoters through DNA looping. We further show that androgen-independent AR binding directs a gene expression program in CRPC, which is necessary for the growth of CRPC after androgen withdrawal

Independent polarisation control of multiple optical traps

We present a system which uses a single spatial light modulator to control the spin angular momentum of multiple optical traps. These traps may be independently controlled both in terms of spatial location and in terms of their spin angular momentum content. The system relies on a spatial light modulator used in a "split-screen" configuration to generate beams of orthogonal polarisation states which are subsequently combined at a polarising beam splitter. Defining the phase difference between the beams with the spatial light modulator enables control of the polarisation state of the light. We demonstrate the functionality of the system by controlling the rotation and orientation of birefringent vaterite crystals within holographic optical tweezers

Exploration of hyperfine interaction between constituent quarks via eta productions

In this work, the different exchange freedom, one gluon, one pion or Goldstone boson, in constituent quark model is investigated, which is responsible to the hyperfine interaction between constituent quarks, via the combined analysis of the eta production processes, $\pi^{-}p\rightarrow\eta n$ and $\gamma p\rightarrow\eta p$. With the Goldstone-boson exchange, as well as the one-gluon or one-pion exchange, both the spectrum and observables, such as, the differential cross section and polarized beam asymmetry, are fitted to the suggested values of Particle Data Group and the experimental data. The first two types of exchange freedoms give acceptable description of the spectrum and observables while the one pion exchange can not describe the observables and spectrum simultaneously, so can be excluded. The experimental data for the two processes considered here strongly support the mixing angles for two lowest S11 sates and D13 states as about -30 and 6 degree respectively.Comment: 7 pages, 4 figures, 4 table

Identification of gene expression logical invariants in Arabidopsis.

Numerous gene expression datasets from diverse tissue samples from the plant variety Arabidopsis thaliana have been already deposited in the public domain. There have been several attempts to do large scale meta-analyses of all of these datasets. Most of these analyses summarize pairwise gene expression relationships using correlation, or identify differentially expressed genes in two conditions. We propose here a new large scale meta-analysis of the publicly available Arabidopsis datasets to identify Boolean logical relationships between genes. Boolean logic is a branch of mathematics that deals with two possible values. In the context of gene expression datasets we use qualitative high and low expression values. A strong logical relationship between genes emerges if at least one of the quadrants is sparsely populated. We pointed out serious issues in the data normalization steps widely accepted and published recently in this context. We put together a web resource where gene expression relationships can be explored online which helps visualize the logical relationships between genes. We believe that this website will be useful in identifying important genes in different biological context. The web link is http://hegemon.ucsd.edu/plant/

Deletion of the Complement C5a Receptor Alleviates the Severity of Acute Pneumococcal Otitis Media following Influenza A Virus Infection in Mice

There is considerable evidence that influenza A virus (IAV) promotes adherence, colonization, and superinfection by S. pneumoniae (Spn) and contributes to the pathogenesis of otitis media (OM). The complement system is a critical innate immune defense against both pathogens. To assess the role of the complement system in the host defense and the pathogenesis of acute pneumococcal OM following IAV infection, we employed a well-established transtympanically-induced mouse model of acute pneumococcal OM. We found that antecedent IAV infection enhanced the severity of acute pneumococcal OM. Mice deficient in complement C1qa (C1qa−/−) or factor B (Bf −/−) exhibited delayed viral and bacterial clearance from the middle ear and developed significant mucosal damage in the eustachian tube and middle ear. This indicates that both the classical and alternative complement pathways are critical for the oto-immune defense against acute pneumococcal OM following influenza infection. We also found that Spn increased complement activation following IAV infection. This was characterized by sustained increased levels of anaphylatoxins C3a and C5a in serum and middle ear lavage samples. In contrast, mice deficient in the complement C5a receptor (C5aR) demonstrated enhanced bacterial clearance and reduced severity of OM. Our data support the concept that C5a-C5aR interactions play a significant role in the pathogenesis of acute pneumococcal OM following IAV infection. It is possible that targeting the C5a-C5aR axis might prove useful in attenuating acute pneumococcal OM in patients with influenza infection

Rapid, energy-efficient synthesis of the layered carbide, Al₄C₃

The phase-pure binary aluminium carbide, Al4C3 can be synthesised in vacuo from the elements in 30 minutes via microwave heating in a multimode cavity reactor. The success of the reaction is dependent on the use of finely divided aluminium and graphite starting materials, both of which couple effectively to the microwave field. The yellow-brown powder product was characterised by powder X-ray diffraction, scanning electron microscopy/energy dispersive X-ray spectroscopy thermogravimetric-differential thermal analysis and Raman spectroscopy. Powders were composed of hexagonal single crystallites tens of microns in diameter (rhombohedral space group R[3 with combining macron]m; Z = 3; a = 3.33813(5) Å, c = 25.0021(4) Å) and were stable to 1000 °C in air, argon and nitrogen. Equivalent microwave reactions of the elements in air led to the formation of the oxycarbide phases Al2OC and Al4O4C

A Cretaceous origin for fire adaptations in the Cape flora

Fire has had a profound effect on the evolution of worldwide biotas. The Cape Floristic Region is one of the world's most species-rich regions, yet it is highly prone to recurrent fires and fire-adapted species contribute strongly to the overall flora. It is hypothesized that the current fire regimes in the Cape could be as old as 6-8 million years (My), while indirect evidence indicates that the onset of fire could have reached 18 million years ago (Ma). Here, we trace the origin of fire-dependent traits in two monocot families that are significant elements in the fire-prone Cape flora. Our analysis shows that fire-stimulated flowering originated in the Cape Haemodoraceae 81 Ma, while fire-stimulated germination arose in the African Restionaceae at least 70 Ma, implying that wildfires have been a significant force in the evolution of the Cape flora at least 60 My earlier than previous estimates. Our results provide strong evidence for the presence of fire adaptations in the Cape from the Cretaceous, leading to the extraordinary persistence of a fire-adapted flora in this biodiversity hotspot, and giving support to the hypothesis that Cretaceous fire was a global phenomenon that shaped the evolution of terrestrial floras

Dynamic capabilities and knowledge management: an integrative role for learning?

Modern strategic management theories try to explain why firms differ, because new sources of competitive advantage are keenly sought in the dynamic and complex environment of global competition. Two areas in particular have attracted the attention of researchers: the role of dynamic capabilities, and the firm's abilities for knowledge management. In this paper, we argue that there is a link between these two concepts, which has not been fully articulated in the literature. The aim of the paper is therefore to ascertain the conceptual connection between them as a basis for future research. Our proposed framework acknowledges and critiques the distinct roots of each field, identifies boundaries, and proposes relationships between the constructs and firm performance

Modular Equations and Distortion Functions

Modular equations occur in number theory, but it is less known that such equations also occur in the study of deformation properties of quasiconformal mappings. The authors study two important plane quasiconformal distortion functions, obtaining monotonicity and convexity properties, and finding sharp bounds for them. Applications are provided that relate to the quasiconformal Schwarz Lemma and to Schottky's Theorem. These results also yield new bounds for singular values of complete elliptic integrals.Comment: 23 page