Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables

We show that Branching-time temporal logics CTL and CTL*, as well as Alternating-time temporal logics ATL and ATL*, are as semantically expressive in the language with a single propositional variable as they are in the full language, i.e., with an unlimited supply of propositional variables. It follows that satisfiability for CTL, as well as for ATL, with a single variable is EXPTIME-complete, while satisfiability for CTL*, as well as for ATL*, with a single variable is 2EXPTIME-complete,--i.e., for these logics, the satisfiability for formulas with only one variable is as hard as satisfiability for arbitrary formulas.Comment: Prefinal version of the published pape

Thoughts about the optimum data acquisition geometry and time resolution of monochromatic beam x-ray diffraction microscopy experiments

International audienceSo far, 3D X-ray diffraction microscopy (3DXRD) and X-ray diffraction contrast tomography (DCT) experiments have typically been performed in forward scattering geometry, the detector intercepting diffraction cones up to limited opening angles below 30°. The extension of the current synchrotron–based methodology towards 3D orientation mapping of deformed microstructures with down to (sub-)micrometer spatial resolution will require a reduction of the pixel and hence sample size by one order of magnitude. This in turn relaxes the need for high energy beams and opens interesting possibilities for new acquisition geometries, taking advantage of improved spatial resolution and strain sensitivity at high diffraction angles. First results obtained in this acquisition geometry will be discussed and a comparison to polychromatic micro-diffraction experiments is drawn

Risk of death in patients with post-traumatic cerebrospinal fluid leakage—Analysis of 1773 cases

AbstractBackgroundPost-traumatic cerebrospinal fluid (CSF) leakage is one of the most troublesome conditions associated with head trauma. CSF fistulae, meningitis/central nervous infection, or even death may accompany it. Few studies have discussed post-traumatic CSF leakage as a risk factor in mortality following head trauma. We conducted this cohort study to examine the issue.MethodsWe reviewed the records in the Taiwan Traumatic Brain Injury (TBI) Registry System between 1993 and 2008. The study group included patients with acute TBI and post-traumatic CSF leakage, and the control group included cases with TBI but without CSF leakage, selected randomly at a 5:1 ratio with respect to the study group. The demographic data, Glasgow Coma Scale, brain computerized tomography, association of skull fractures and intracranial lesions, and 1-year mortality rates between these two cohorts were reviewed meticulously and analyzed statistically.ResultsOf 174,236 cases, 1773 with post-traumatic CSF leakage were included in the study group, and 8865 cases in the control group. Of the total 10,638 sampled cases, 406 (3.8%) died during the 1-year follow-up period, 159 (9.0%) cases in the CSF leakages group, and 247 (2.8%) in the control group. The patients with CSF leakage had a significantly higher mortality rate within 1 year (adjusted hazard ratio = 1.44, p < 0.001) than those without. We divided the CSF leakage group into three subgroups: otorrhea (n = 568), rhinorrhea (n = 302), and tension pneumocephalus (n = 903). The mortality rates were 8.5% (48/568) in the otorrhea subgroup, 10.9% (33/302) in the rhinorrhea subgroup, and 8.6% (78/903) in the tension pneumocephalus subgroup. The cases with CSF rhinorrhea had a significantly higher mortality rate than the other two subgroups (p < 0.05). All three subgroups had significantly higher mortality rates than the control group during the 1-year follow-up period (adjusted hazard ratios = 2.29, 1.35, and 1.32 in the rhinorrhea, tension pneumocephalus, and otorrhea subgroups, respectively).ConclusionPost-traumatic CSF leakages had higher mortality rates than those without CSF leakages in TBI cases, and the cases with CSF rhinorrhea had worse outcomes compared with CSF leakages with pneumocephalus or otorrhea

Honeybee Colony Vibrational Measurements to Highlight the Brood Cycle

Insect pollination is of great importance to crop production worldwide and honey bees are amongst its chief facilitators. Because of the decline of managed colonies, the use of sensor technology is growing in popularity and it is of interest to develop new methods which can more accurately and less invasively assess honey bee colony status. Our approach is to use accelerometers to measure vibrations in order to provide information on colony activity and development. The accelerometers provide amplitude and frequency information which is recorded every three minutes and analysed for night time only. Vibrational data were validated by comparison to visual inspection data, particularly the brood development. We show a strong correlation between vibrational amplitude data and the brood cycle in the vicinity of the sensor. We have further explored the minimum data that is required, when frequency information is also included, to accurately predict the current point in the brood cycle. Such a technique should enable beekeepers to reduce the frequency with which visual inspections are required, reducing the stress this places on the colony and saving the beekeeper time

Development of an in vitro periodontal biofilm model for assessing antimicrobial and host modulatory effects of bioactive molecules

Background: Inflammation within the oral cavity occurs due to dysregulation between microbial biofilms and the host response. Understanding how different oral hygiene products influence inflammatory properties is important for the development of new products. Therefore, creation of a robust host-pathogen biofilm platform capable of evaluating novel oral healthcare compounds is an attractive option. We therefore devised a multi-species biofilm co-culture model to evaluate the naturally derived polyphenol resveratrol (RSV) and gold standard chlorhexidine (CHX) with respect to anti-biofilm and anti-inflammatory properties.&lt;p&gt;&lt;/p&gt; Methods: An in vitro multi-species biofilm containing &lt;i&gt;S. mitis, F. nucleatum, P. Gingivalis&lt;/i&gt; and &lt;i&gt;A. Actinomycetemcomitans&lt;/i&gt; was created to represent a disease-associated biofilm and the oral epithelial cell in OKF6-TERT2. Cytotoxicity studies were performed using RSV and CHX. Multi-species biofilms were either treated with either molecule, or alternatively epithelial cells were treated with these prior to biofilm co-culture. Biofilm composition was evaluated and inflammatory responses quantified at a transcriptional and protein level.&lt;p&gt;&lt;/p&gt; Results: CHX was toxic to epithelial cells and multi-species biofilms at concentrations ranging from 0.01-0.2%. RSV did not effect multi-species biofilm composition, but was toxic to epithelial cells at concentrations greater than 0.01%. In co-culture, CHX-treated biofilms resulted in down regulation of the inflammatory chemokine IL-8 at both mRNA and protein level. RSV-treated epithelial cells in co-culture were down-regulated in the release of IL-8 protein, but not mRNA.&lt;p&gt;&lt;/p&gt; Conclusions: CHX possesses potent bactericidal properties, which may impact downstream inflammatory mediators. RSV does not appear to have bactericidal properties against multi-species biofilms, however it did appear to supress epithelial cells from releasing inflammatory mediators. This study demonstrates the potential to understand the mechanisms by which different oral hygiene products may influence gingival inflammation, thereby validating the use of a biofilm co-culture model.&lt;p&gt;&lt;/p&gt

Preserving the impossible: conservation of soft-sediment hominin footprint sites and strategies for three-dimensional digital data capture.

Human footprints provide some of the most publically emotive and tangible evidence of our ancestors. To the scientific community they provide evidence of stature, presence, behaviour and in the case of early hominins potential evidence with respect to the evolution of gait. While rare in the geological record the number of footprint sites has increased in recent years along with the analytical tools available for their study. Many of these sites are at risk from rapid erosion, including the Ileret footprints in northern Kenya which are second only in age to those at Laetoli (Tanzania). Unlithified, soft-sediment footprint sites such these pose a significant geoconservation challenge. In the first part of this paper conservation and preservation options are explored leading to the conclusion that to 'record and digitally rescue' provides the only viable approach. Key to such strategies is the increasing availability of three-dimensional data capture either via optical laser scanning and/or digital photogrammetry. Within the discipline there is a developing schism between those that favour one approach over the other and a requirement from geoconservationists and the scientific community for some form of objective appraisal of these alternatives is necessary. Consequently in the second part of this paper we evaluate these alternative approaches and the role they can play in a 'record and digitally rescue' conservation strategy. Using modern footprint data, digital models created via optical laser scanning are compared to those generated by state-of-the-art photogrammetry. Both methods give comparable although subtly different results. This data is evaluated alongside a review of field deployment issues to provide guidance to the community with respect to the factors which need to be considered in digital conservation of human/hominin footprints

Signal Transduction Pathways in the Pentameric Ligand-Gated Ion Channels

The mechanisms of allosteric action within pentameric ligand-gated ion channels (pLGICs) remain to be determined. Using crystallography, site-directed mutagenesis, and two-electrode voltage clamp measurements, we identified two functionally relevant sites in the extracellular (EC) domain of the bacterial pLGIC from Gloeobacter violaceus (GLIC). One site is at the C-loop region, where the NQN mutation (D91N, E177Q, and D178N) eliminated inter-subunit salt bridges in the open-channel GLIC structure and thereby shifted the channel activation to a higher agonist concentration. The other site is below the C-loop, where binding of the anesthetic ketamine inhibited GLIC currents in a concentration dependent manner. To understand how a perturbation signal in the EC domain, either resulting from the NQN mutation or ketamine binding, is transduced to the channel gate, we have used the Perturbation-based Markovian Transmission (PMT) model to determine dynamic responses of the GLIC channel and signaling pathways upon initial perturbations in the EC domain of GLIC. Despite the existence of many possible routes for the initial perturbation signal to reach the channel gate, the PMT model in combination with Yen's algorithm revealed that perturbation signals with the highest probability flow travel either via the β1-β2 loop or through pre-TM1. The β1-β2 loop occurs in either intra- or inter-subunit pathways, while pre-TM1 occurs exclusively in inter-subunit pathways. Residues involved in both types of pathways are well supported by previous experimental data on nAChR. The direct coupling between pre-TM1 and TM2 of the adjacent subunit adds new insight into the allosteric signaling mechanism in pLGICs. © 2013 Mowrey et al

Methods and apparatus for constructing and implementing a universal extension module for processing objects in a database

Methods and apparatus for providing a multi-tier object-relational database architecture are disclosed. In one illustrative embodiment of the present invention, a multi-tier database architecture comprises an object-relational database engine as a top tier, one or more domain-specific extension modules as a bottom tier, and one or more universal extension modules as a middle tier. The individual extension modules of the bottom tier operationally connect with the one or more universal extension modules which, themselves, operationally connect with the database engine. The domain-specific extension modules preferably provide such functions as search, index, and retrieval services of images, video, audio, time series, web pages, text, XML, spatial data, etc. The domain-specific extension modules may include one or more IBM DB2 extenders, Oracle data cartridges and/or Informix datablades, although other domain-specific extension modules may be used