Bounded Determinization of Timed Automata with Silent Transitions

Deterministic timed automata are strictly less expressive than their non-deterministic counterparts, which are again less expressive than those with silent transitions. As a consequence, timed automata are in general non-determinizable. This is unfortunate since deterministic automata play a major role in model-based testing, observability and implementability. However, by bounding the length of the traces in the automaton, effective determinization becomes possible. We propose a novel procedure for bounded determinization of timed automata. The procedure unfolds the automata to bounded trees, removes all silent transitions and determinizes via disjunction of guards. The proposed algorithms are optimized to the bounded setting and thus are more efficient and can handle a larger class of timed automata than the general algorithms. The approach is implemented in a prototype tool and evaluated on several examples. To our best knowledge, this is the first implementation of this type of procedure for timed automata.Comment: 25 page

Neotropical Bats: Estimating Species Diversity with DNA Barcodes

DNA barcoding using the cytochrome c oxidase subunit 1 gene (COI) is frequently employed as an efficient method of species identification in animal life and may also be used to estimate species richness, particularly in understudied faunas. Despite numerous past demonstrations of the efficiency of this technique, few studies have attempted to employ DNA barcoding methodologies on a large geographic scale, particularly within tropical regions. In this study we survey current and potential species diversity using DNA barcodes with a collection of more than 9000 individuals from 163 species of Neotropical bats (order Chiroptera). This represents one of the largest surveys to employ this strategy on any animal group and is certainly the largest to date for land vertebrates. Our analysis documents the utility of this tool over great geographic distances and across extraordinarily diverse habitats. Among the 163 included species 98.8% possessed distinct sets of COI haplotypes making them easily recognizable at this locus. We detected only a single case of shared haplotypes. Intraspecific diversity in the region was high among currently recognized species (mean of 1.38%, range 0–11.79%) with respect to birds, though comparable to other bat assemblages. In 44 of 163 cases, well-supported, distinct intraspecific lineages were identified which may suggest the presence of cryptic species though mean and maximum intraspecific divergence were not good predictors of their presence. In all cases, intraspecific lineages require additional investigation using complementary molecular techniques and additional characters such as morphology and acoustic data. Our analysis provides strong support for the continued assembly of DNA barcoding libraries and ongoing taxonomic investigation of bats

Colonic epithelial ion transport is not affected in patients with diverticulosis

<p>Abstract</p> <p>Background</p> <p>Colonic diverticular disease is a bothersome condition with an unresolved pathogenesis. It is unknown whether a neuroepithelial dysfunction is present. The aim of the study was two-fold; (1) to investigate colonic epithelial ion transport in patients with diverticulosis and (2) to adapt a miniaturized Modified Ussing Air-Suction (MUAS) chamber for colonic endoscopic biopsies.</p> <p>Methods</p> <p>Biopsies were obtained from the sigmoid part of the colon. 86 patients were included. All patients were referred for colonoscopy on suspicion of neoplasia and they were without pathological findings at colonoscopy (controls) except for diverticulosis in 22 (D-patients). Biopsies were mounted in MUAS chambers with an exposed area of 5 mm². Electrical responses to various stimulators and inhibitors of ion transport were investigated together with histological examination. The MUAS chamber was easy to use and reproducible data were obtained.</p> <p>Results</p> <p>Median basal short circuit current (SCC) was 43.8 μA·cm^-2(0.8 – 199) for controls and 59.3 μA·cm^-2(3.0 – 177.2) for D-patients. Slope conductance was 77.0 mS·cm^-2(18.6 – 204.0) equal to 13 Ω·cm²for controls and 96.6 mS·cm^-2(8.4 – 191.4) equal to 10.3 Ω·cm²for D-patients. Stimulation with serotonin, theophylline, forskolin and carbachol induced increases in SCC in a range of 4.9 – 18.6 μA·cm^-2, while inhibition with indomethacin, bumetanide, ouabain and amiloride decreased SCC in a range of 6.5 – 27.4 μA·cm^-2, and all with no significant differences between controls and D-patients. Histological examinations showed intact epithelium and lamina propria before and after mounting for both types of patients.</p> <p>Conclusion</p> <p>We conclude that epithelial ion transport is not significantly altered in patients with diverticulosis and that the MUAS chamber can be adapted for studies of human colonic endoscopic biopsies.</p

Fluorosis risk from early exposure to fluoride toothpaste

Swallowed fluoride toothpaste in the early years of life has been postulated to be a risk factor for fluorosis, but the epidemiological evidence is weakened by the fact that most of the relevant studies were done in developed countries where an individual is exposed to multiple sources of fluoride. Objectives: To quantify the risk of fluorosis from fluoride toothpaste in a population whose only potential source of fluoride was fluoride toothpaste. Methods: Case-control analyses were conducted to test the hypothesis that fluoride toothpaste use before the age of 6 years increased an individual's risk of fluorosis. Data came from a cross-sectional clinical dental examination of schoolchildren and a self-administered questionnaire to their parents. The study was conducted in Goa, India. The study group consisted of 1189 seventh grade children with a mean age of 12.2 years. Results: The prevalence of fluorosis was 12.9% using the TF index. Results of the crude, stratified, and logistic regression analyses showed that use of fluoride toothpaste before the age of 6 years was a risk indicator for fluorosis (OR 1.83, 95% CI 1.05–3.15). Among children with fluorosis, beginning brushing before the age of 2 years increased the severity of fluorosis significantly ( P < 0.001). Other factors associated with the use of fluoride toothpaste, such as eating or swallowing fluoride toothpaste and higher frequency of use, did not show a statistically significant increased risk for prevalence or severity of fluorosis. Conclusions: Fluoride toothpaste use before the age of 6 years is a risk indicator for fluorosis in this study population.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/75437/1/j.1600-0528.1998.tb01957.x.pd

Defining the Boundaries of Development wih Plasticity

International audienceThe concept of plasticity has always been present in the history of developmental biology, both within the theory of epigenesis and within morphogenesis studies. However this tradition relies also upon a genetic conception of plasticity. Founded upon the concepts of "phenotypic plasticity" and "reaction norm," this genetic conception focuses on the array of possible phenotypic change in relation to diversified environments. Another concept of plasticity can be found in recent publications by some developmental biologists (Gilbert, West-Eberhard). I argue that these authors adopt a "broad conception of plasticity" that is closely related to a notion of development as something that is ongoing throughout an organism's lifecycle, and has no clear-cut boundaries. However, I suggest that given a narrow conception of plasticity, one can define temporal boundaries for development that are linked to specific features of the morphological process, which are different from behavioral and physiological processes

Does Selective Migration Explain the Hispanic Paradox?: A Comparative Analysis of Mexicans in the U.S. and Mexico

Latino immigrants, particularly Mexican, have some health advantages over U.S.-born Mexicans and Whites. Because of their lower socioeconomic status, this phenomenon has been called the epidemiologic “Hispanic Paradox.” While cultural theories have dominated explanations for the Paradox, the role of selective migration has been inadequately addressed. This study is among the few to combine Mexican and U.S. data to examine health selectivity in activity limitation, self-rated health, and chronic conditions among Mexican immigrants, ages 18 and over. Drawing on theories of selective migration, this study tested the “healthy migrant” and “salmon-bias” hypotheses by comparing the health of Mexican immigrants in the U.S. to non-migrants in Mexico, and to return migrants in Mexico. Results suggest that there are both healthy migrant and salmon-bias effects in activity limitation, but not other health aspects. In fact, consistent with prior research, immigrants are negatively selected on self-rated health. Future research should consider the complexities of migrants’ health profiles and examine selection mechanisms alongside other factors such as acculturation

Socioeconomic status and non-fatal injuries among Canadian adolescents: variations across SES and injury measures

BACKGROUND: While research to date has consistently demonstrated that socioeconomic status (SES) is inversely associated with injury mortality in both children and adults, findings have been less consistent for non-fatal injuries. The literature addressing SES and injury morbidity among adolescents has been particularly inconclusive. To explore potential explanations for these discrepant research findings, this study uniquely compared the relationship across different measures of SES and different causes of injury (recreation versus non-recreation injuries) within a sample of Canadian adolescents. METHODS: The sample included adolescent participants (aged 12 to 19 years) in the Canadian 1996–1997 cross-sectional National Population Health Survey (n = 6967). Five SES measures (household income, two neighbourhood-level proxy measures, two parental indicators) were examined in relation to three injury outcomes (total, recreation, and non-recreation injuries) using multivariable logistic regression. RESULTS: Among males, a clear relationship with injury was observed only for a parental SES index, which was positively associated with total and recreation injuries (odds ratios for the highest versus lowest SES category of 1.9 for total and 2.5 for recreation injuries). Among females, there was some evidence of a positive relationship between SES and injuries, particularly for a neighbourhood-level education measure with total and recreation injuries (odds ratios of 1.7 for total and 2.0 for recreation injuries). CONCLUSION: The results suggest that differences related to the measures of SES chosen and the causes of injury under study may both contribute to discrepancies in past research on SES and non-fatal injuries among adolescents. To clarify the potential SES-injury relationship among youth, the findings emphasize a need for a greater understanding of the meaning and relevance of different SES measures for adolescents, and for an exploration of the pathways through which SES may be related to injury risk

Suppression of charged particle production at large transverse momentum in central Pb-Pb collisions at sNN=2.76\sqrt{s_{\rm NN}} = 2.76 TeV

Inclusive transverse momentum spectra of primary charged particles in Pb-Pb collisions at $\sqrt{s_{_{\rm NN}}}$ = 2.76 TeV have been measured by the ALICE Collaboration at the LHC. The data are presented for central and peripheral collisions, corresponding to 0-5% and 70-80% of the hadronic Pb-Pb cross section. The measured charged particle spectra in $|\eta|<0.8$ and $0.3 < p_T < 20$ GeV/$c$ are compared to the expectation in pp collisions at the same $\sqrt{s_{\rm NN}}$, scaled by the number of underlying nucleon-nucleon collisions. The comparison is expressed in terms of the nuclear modification factor $R_{\rm AA}$. The result indicates only weak medium effects ($R_{\rm AA} \approx$ 0.7) in peripheral collisions. In central collisions, $R_{\rm AA}$ reaches a minimum of about 0.14 at $p_{\rm T}=6$-7GeV/$c$ and increases significantly at larger $p_{\rm T}$. The measured suppression of high-$p_{\rm T}$ particles is stronger than that observed at lower collision energies, indicating that a very dense medium is formed in central Pb-Pb collisions at the LHC.Comment: 15 pages, 5 captioned figures, 3 tables, authors from page 10, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/98

The influence of physical exercise on the generation of TGF-β1, PDGF-AA, and VEGF-A in adipose tissue

Adipose tissue is an important organ that produces and secretes hormones and cytokines, including TGF-β1, PDGF-AA, and VEGF-A. The goal of the present study was to investigate the influence of a single session of acute exercise, as well as the prolonged endurance training on the production of TGF-β1, PDGF-AA, and VEGF-A in the subcutaneous white adipose tissue in rats. Rats were randomly divided into two groups: untrained (UT, n = 30) and trained rats (T, subjected to 6-week endurance training with increasing load, n = 29). Both groups were subjected to an acute exercise session with the same work load. The rats were killed before (UTpre, Tpre), immediately after (UT0h, T0h), or 3 h (UT3h, T3h) after exercise and adipose tissue samples collected. Growth factor mRNA was evaluated using RT-PCR; the protein levels were measured before and after training (UTpre and Tpre) using the immunoenzymatic method. TGF-β1 and PDGF-AA mRNA levels were decreased in the UT3h rats compared to the UTpre rats (P = 0.0001 and P = 0.03, respectively), but the VEGF-A mRNA level remained unchanged in the UT0h and UT3h rats compared to UTpre rats. TGF-β1, PDGF-AA and VEGF-A mRNA levels were decreased in the T3h rats compared to Tpre (P = 0.0002, P = 0.02, and P = 0.03, respectively). TGF-β1, PDGF-AA and VEGF-A mRNA levels significantly increased in the Tpre rats compared to UTpre (all P = 0.0002). However, the protein levels remained constant. In conclusion, prolonged physical exercise increases growth factor mRNA in adipose tissue but not protein levels