857 research outputs found
Findings from the Portuguese National Health Survey 2014
Vaccination is an effective strategy to prevent tetanus, and in Portugal this service is provided free of charge. Despite this, immigrants reported lower tetanus vaccination coverage than did Portuguese natives. The objective of this study was to identify sociodemographic, migration-related, and access-to-care factors associated with tetanus vaccination coverage among adult immigrants, using data from the Portuguese National Health Survey 2014. For the sample of 1277 immigrants aged ≥18 years, we estimated self-reported tetanus vaccination within the preceding 10 years and its determinants using complex samples logistic regression. The overall self-reported tetanus vaccination coverage was 79.5% (95% CI: 75.8-82.8). Age (adjusted odd ratio (aOR) per 1 year age increase = 0.97, 95% CI: 0.95-0.99), higher household income per adult (aOR = 0.42, 95% CI: 0.19-0.96), having Portuguese citizenship (aOR = 2.30, 95% CI: 1.25-4.24), having private health insurance (aOR = 1.99, 95% CI: 1.06-3.71), and contact with family/general physician in the last 12 months (aOR = 1.59, 95% CI: 1.01-2.51) were associated with self-reported tetanus vaccination coverage among adult immigrants. We also found significant disparities in coverage between regions of residence. This study identified several determinants associated with self-reported tetanus vaccination coverage among adult immigrants in Portugal. These findings may help policymakers to design specific interventions to increase tetanus vaccination coverage among this population.publishersversionpublishe
Tubiclavoides striatum gen. nov et sp nov (Cnidaria : Hydrozoa) a new bathyal hydroid from the Gulf of Cadiz, north-east Atlantic Ocean
Tubiclavoides striatum, a new species of an athecate hydroid, was found on mud volcanoes, inactive carbonate clumneys, and cold-water coral stands in the Gulf of Cadiz (south-western Iberian Peninsula, Atlantic Ocean). The new family Tubiclavoididae and the new genus Tubiclavoides are proposed to accommodate the new species. The new hydroid is characterized by scattered filiform tentacles, sporosacs developing among the tentacles and hydrocauli covered with striated perisarc, often subdivided into imbricating cones. A full description and illustrations are provided, as well as some notes on the ecology and distribution of the new species
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution
Mobile apps can access a wide variety of secure information, such as contacts
and location. However, current mobile platforms include only coarse access
control mechanisms to protect such data. In this paper, we introduce
interaction-based declassification policies, in which the user's interactions
with the app constrain the release of sensitive information. Our policies are
defined extensionally, so as to be independent of the app's implementation,
based on sequences of security-relevant events that occur in app runs. Policies
use LTL formulae to precisely specify which secret inputs, read at which times,
may be released. We formalize a semantic security condition, interaction-based
noninterference, to define our policies precisely. Finally, we describe a
prototype tool that uses symbolic execution to check interaction-based
declassification policies for Android, and we show that it enforces policies
correctly on a set of apps.Comment: This research was supported in part by NSF grants CNS-1064997 and
1421373, AFOSR grants FA9550-12-1-0334 and FA9550-14-1-0334, a partnership
between UMIACS and the Laboratory for Telecommunication Sciences, and the
National Security Agenc
Are organic falls bridging reduced environments in the deep sea?: Results from colonization experiments in the Gulf of Cadiz
Organic falls create localised patches of organic enrichment and disturbance where enhanced degradation is mediated by diversified microbial assemblages and specialized fauna. The view of organic falls as “stepping stones” for the colonization of deep-sea reducing environments has been often loosely used, but much remains to be proven concerning their capability to bridge dispersal among such environments. Aiming the clarification of this issue, we used an experimental approach to answer the following questions: Are relatively small organic falls in the deep sea capable of sustaining taxonomically and trophically diverse assemblages over demographically relevant temporal scales Are there important depth- or site-related sources of variability for the composition and structure of these assemblages? Is the proximity of other reducing environments influential for their colonization? We analysed the taxonomical and trophic diversity patterns and partitioning (α- and β-diversity) of the macrofaunal assemblages recruited in small colonization devices with organic and inorganic substrata after 1-2 years of deployment on mud volcanoes of the Gulf of Cádiz. Our results show that small organic falls can sustain highly diverse and trophically coherent assemblages for time periods allowing growth to reproductive maturity, and successive generations of dominant species. The composition and structure of the assemblages showed variability consistent with their biogeographic and bathymetric contexts. However, the proximity of cold seeps had limited influence on the similarity between the assemblages of these two habitats and organic falls sustained a distinctive fauna with dominant substrate-specific taxa. We conclude that it is unlikely that small organic falls may regularly ensure population connectivity among cold seeps and vents. They may be a recurrent source of evolutionary candidates for the colonization of such ecosystems. However, there may be a critical size of organic fall to create the necessary intense and persistent reducing conditions for sustaining typical chemosymbiotic vent and seep organisms
Brazilian Bidens pilosa Linne´ yields fraction containing quercetin-derived flavonoid with free radical scavenger activity and hepatoprotective effects
Bidens pilosa is a plant used by Amazonian and Asian folks for some hepatopathies. The hydroethanol crude extract and three fractions were assessed for antioxidant and hepatoprotective effects. Higher levels of scavenger activity on the 1,1-diphenyl-2-picrylhydrazyl radical, inhibition of deoxyribose oxidation and lipid peroxidation in vitro were detected for the ethyl acetate fraction (IC50∼4.3-32.3 mg/ml) followed by the crude extract (IC50∼14.2-98.0 mg/ml). The ethyl acetate fraction, again followed by the crude extract, showed high contents of total soluble polyphenols (3.6±0.2 and 2.1±0.2 GAE/mg, respectively) and presence of a quercetin-derived flavonoid identified as quercetin 3,3′-dimethyl ether 7-Ο-β-D-glycopyranoside. Both products were assayed for hepatoprotector effects against CCl4-induced liver injury in mice. Markers of oxidative stress and hepatic injury were evaluated. The results showed that the 10-day pretreatments (15 mg/kg, p.o.) protected the livers against injury by blocking CCl4-induced lipid peroxidation and protein carbonylation and the DNA fragmentation was decreased (∼60%). The pretreatments avoided the loss of the plasma ferric reducing/antioxidant power and the elevation of serum transaminases and lactate dehydrogenase activities. The results suggest that the main constituents responsible for the hepatoprotective effects with free radical scavenger power associated are well extracted by performing fractionation with ethyl acetate. The findings support the Brazilian traditional use of this plant and justify further evaluations for the therapeutic efficacy and safety of the constituents of the ethyl acetate fraction to treat some liver diseases.Keywords: Bidens pilosa L.; hydroethanol maceration; ethyl acetate fractionation; free radical scavenger; hepatoprotection; CCl4 toxicit
Realizing Omega-regular Hyperproperties
We studied the hyperlogic HyperQPTL, which combines the concepts of trace
relations and -regularity. We showed that HyperQPTL is very expressive,
it can express properties like promptness, bounded waiting for a grant,
epistemic properties, and, in particular, any -regular property. Those
properties are not expressible in previously studied hyperlogics like HyperLTL.
At the same time, we argued that the expressiveness of HyperQPTL is optimal in
a sense that a more expressive logic for -regular hyperproperties would
have an undecidable model checking problem. We furthermore studied the
realizability problem of HyperQPTL. We showed that realizability is decidable
for HyperQPTL fragments that contain properties like promptness. But still, in
contrast to the satisfiability problem, propositional quantification does make
the realizability problem of hyperlogics harder. More specifically, the
HyperQPTL fragment of formulas with a universal-existential propositional
quantifier alternation followed by a single trace quantifier is undecidable in
general, even though the projection of the fragment to HyperLTL has a decidable
realizability problem. Lastly, we implemented the bounded synthesis problem for
HyperQPTL in the prototype tool BoSy. Using BoSy with HyperQPTL specifications,
we have been able to synthesize several resource arbiters. The synthesis
problem of non-linear-time hyperlogics is still open. For example, it is not
yet known how to synthesize systems from specifications given in branching-time
hyperlogics like HyperCTL.Comment: International Conference on Computer Aided Verification (CAV 2020
Arachnidism, scorpionism and ophidism in Ouro Preto Municipality, Minas Gerais State, Brazil
Abstract: INTRODUCTION This retrospective study shows the profile of arachnidism, ophidism, and scorpionism in the Ouro Preto Municipality, Brazil, from January 2007 to December 2013. METHODS The data were gathered from forms of the Epidemiological Surveillance Sector of the town's Health's Municipal Secretary. RESULTS Of the 412 envenomations, 308 were caused by spiders, 78 by scorpions, and 26 by snakes. The highest number of incidents involved people aged 20-34 years. Females were more affected than males. There were no reports of death. CONCLUSIONS The results show that envenomations caused by spiders, scorpions and snakes have decreased in recent years
- …