102 research outputs found
Equations over free inverse monoids with idempotent variables
We introduce the notion of idempotent variables for studying equations in
inverse monoids.
It is proved that it is decidable in singly exponential time (DEXPTIME)
whether a system of equations in idempotent variables over a free inverse
monoid has a solution. The result is proved by a direct reduction to solve
language equations with one-sided concatenation and a known complexity result
by Baader and Narendran: Unification of concept terms in description logics,
2001. We also show that the problem becomes DEXPTIME hard , as soon as the
quotient group of the free inverse monoid has rank at least two.
Decidability for systems of typed equations over a free inverse monoid with
one irreducible variable and at least one unbalanced equation is proved with
the same complexity for the upper bound.
Our results improve known complexity bounds by Deis, Meakin, and Senizergues:
Equations in free inverse monoids, 2007.
Our results also apply to larger families of equations where no decidability
has been previously known.Comment: 28 pages. The conference version of this paper appeared in the
proceedings of 10th International Computer Science Symposium in Russia, CSR
2015, Listvyanka, Russia, July 13-17, 2015. Springer LNCS 9139, pp. 173-188
(2015
Functional Big-step Semantics
When doing an interactive proof about a piece of software, it is important that the underlying programming language’s semantics does not make the proof unnecessarily difficult or unwieldy. Both smallstep and big-step semantics are commonly used, and the latter is typically given by an inductively defined relation. In this paper, we consider an alternative: using a recursive function akin to an interpreter for the language. The advantages include a better induction theorem, less duplication, accessibility to ordinary functional programmers, and the ease of doing symbolic simulation in proofs via rewriting. We believe that this style of semantics is well suited for compiler verification, including proofs of divergence preservation. We do not claim the invention of this style of semantics: our contribution here is to clarify its value, and to explain how it supports several language features that might appear to require a relational or small-step approach. We illustrate the technique on a simple imperative language with C-like for-loops and a break statement, and compare it to a variety of other approaches. We also provide ML and lambda-calculus based examples to illustrate its generality
Micro-fading spectrometry: investigating the wavelength specificity of fading
A modified microfading spectrometer incorporating a linear variable filter is used to investigate the wavelength dependence of fading of traditional watercolour pigments, dosimeters and fading standards at a higher spectral resolution and/or sampling than had previously been attempted. While the wavelength dependence of photochemical damage was largely found to correlate well with the absorption spectra of each material, exceptions were found in the case of Prussian blue and Prussian green pigments (the latter includes Prussian blue), for which an anti-correlation between the spectral colour change and the absorption spectrum was found
Osteocyte deficiency in hip fractures
Osteocytes play a central role in the regulation of bone remodeling. The aim of this study was to explore osteocyte function, and particularly the expression of SOST, a Wnt inhibitor, in patients with hip fractures. Serum sclerostin levels were measured by ELISA. The expression of several osteocytic genes was studied by quantitative PCR in trabecular samples of the femoral head of patients with hip fractures, hip osteoarthritis and control subjects. The presence of sclerostin protein and activated caspase 3 was revealed by immunostaining. There were no significant differences in serum sclerostin between the three groups. Patients with fractures have fewer lacunae occupied by osteocytes (60 ± 5% vs. 64 ± 6% in control subjects, P = 0.014) and higher numbers of osteocytes expressing activated caspase 3, a marker of apoptosis. The proportion of sclerostin-positive lacunae was lower in patients with fractures than in control subjects (34 ± 11% vs. 69 ± 10%, P = 2 × 10(-8)). The proportion of sclerostin-positive osteocytes was also lower in patients. RNA transcripts of SOST, FGF23 and PHEX were also less abundant in fractures than in control bones (P = 0.002, 5 × 10(-6), and 0.04, respectively). On the contrary, in patients with osteoarthritis, there was a decreased expression of SOST and FGF23, without differences in PHEX transcripts or osteocyte numbers. Osteocyte activity is altered in patients with hip fractures, with increased osteocyte apoptosis and reduced osteocyte numbers, as well as decreased transcription of osteocytic genes. Therefore, these results suggest that an osteocyte deficiency may play a role in the propensity to hip fractures
Measurement of the Forward-Backward Asymmetry in the B -> K(*) mu+ mu- Decay and First Observation of the Bs -> phi mu+ mu- Decay
We reconstruct the rare decays , , and in a data sample
corresponding to collected in collisions at
by the CDF II detector at the Fermilab Tevatron
Collider. Using and decays we report the branching ratios. In addition, we report
the measurement of the differential branching ratio and the muon
forward-backward asymmetry in the and decay modes, and the
longitudinal polarization in the decay mode with respect to the squared
dimuon mass. These are consistent with the theoretical prediction from the
standard model, and most recent determinations from other experiments and of
comparable accuracy. We also report the first observation of the {\mathcal{B}}(B^0_s \to
\phi\mu^+\mu^-) = [1.44 \pm 0.33 \pm 0.46] \times 10^{-6}27 \pm 6B^0_s$ decay observed.Comment: 7 pages, 2 figures, 3 tables. Submitted to Phys. Rev. Let
Measurements of the properties of Lambda_c(2595), Lambda_c(2625), Sigma_c(2455), and Sigma_c(2520) baryons
We report measurements of the resonance properties of Lambda_c(2595)+ and
Lambda_c(2625)+ baryons in their decays to Lambda_c+ pi+ pi- as well as
Sigma_c(2455)++,0 and Sigma_c(2520)++,0 baryons in their decays to Lambda_c+
pi+/- final states. These measurements are performed using data corresponding
to 5.2/fb of integrated luminosity from ppbar collisions at sqrt(s) = 1.96 TeV,
collected with the CDF II detector at the Fermilab Tevatron. Exploiting the
largest available charmed baryon sample, we measure masses and decay widths
with uncertainties comparable to the world averages for Sigma_c states, and
significantly smaller uncertainties than the world averages for excited
Lambda_c+ states.Comment: added one reference and one table, changed order of figures, 17
pages, 15 figure
Search for a New Heavy Gauge Boson Wprime with Electron + missing ET Event Signature in ppbar collisions at sqrt(s)=1.96 TeV
We present a search for a new heavy charged vector boson decaying
to an electron-neutrino pair in collisions at a center-of-mass
energy of 1.96\unit{TeV}. The data were collected with the CDF II detector
and correspond to an integrated luminosity of 5.3\unit{fb}^{-1}. No
significant excess above the standard model expectation is observed and we set
upper limits on . Assuming standard
model couplings to fermions and the neutrino from the boson decay to
be light, we exclude a boson with mass less than
1.12\unit{TeV/}c^2 at the 95\unit{%} confidence level.Comment: 7 pages, 2 figures Submitted to PR
A review of techniques for spatial modeling in geographical, conservation and landscape genetics
Most evolutionary processes occur in a spatial context and several spatial analysis techniques have been employed in an exploratory context. However, the existence of autocorrelation can also perturb significance tests when data is analyzed using standard correlation and regression techniques on modeling genetic data as a function of explanatory variables. In this case, more complex models incorporating the effects of autocorrelation must be used. Here we review those models and compared their relative performances in a simple simulation, in which spatial patterns in allele frequencies were generated by a balance between random variation within populations and spatially-structured gene flow. Notwithstanding the somewhat idiosyncratic behavior of the techniques evaluated, it is clear that spatial autocorrelation affects Type I errors and that standard linear regression does not provide minimum variance estimators. Due to its flexibility, we stress that principal coordinate of neighbor matrices (PCNM) and related eigenvector mapping techniques seem to be the best approaches to spatial regression. In general, we hope that our review of commonly used spatial regression techniques in biology and ecology may aid population geneticists towards providing better explanations for population structures dealing with more complex regression problems throughout geographic space
Cancer effects of formaldehyde: a proposal for an indoor air guideline value
Formaldehyde is a ubiquitous indoor air pollutant that is classified as “Carcinogenic to humans (Group 1)” (IARC, Formaldehyde, 2-butoxyethanol and 1-tert-butoxypropanol-2-ol. IARC monographs on the evaluation of carcinogenic risks to humans, vol 88. World Health Organization, Lyon, pp 39–325, 2006). For nasal cancer in rats, the exposure–response relationship is highly non-linear, supporting a no-observed-adverse-effect level (NOAEL) that allows setting a guideline value. Epidemiological studies reported no increased incidence of nasopharyngeal cancer in humans below a mean level of 1 ppm and peak levels below 4 ppm, consistent with results from rat studies. Rat studies indicate that cytotoxicity-induced cell proliferation (NOAEL at 1 ppm) is a key mechanism in development of nasal cancer. However, the linear unit risk approach that is based on conservative (“worst-case”) considerations is also used for risk characterization of formaldehyde exposures. Lymphohematopoietic malignancies are not observed consistently in animal studies and if caused by formaldehyde in humans, they are high-dose phenomenons with non-linear exposure–response relationships. Apparently, these diseases are not reported in epidemiological studies at peak exposures below 2 ppm and average exposures below 0.5 ppm. At the similar airborne exposure levels in rodents, the nasal cancer effect is much more prominent than lymphohematopoietic malignancies. Thus, prevention of nasal cancer is considered to prevent lymphohematopoietic malignancies. Departing from the rat studies, the guideline value of the WHO (Air quality guidelines for Europe, 2nd edn. World Health Organization, Regional Office for Europe, Copenhagen, pp 87–91, 2000), 0.08 ppm (0.1 mg m−3) formaldehyde, is considered preventive of carcinogenic effects in compliance with epidemiological findings
Influência de programas não-formais de exercícios (doméstico e comunitário) sobre a aptidão física, pressão arterial e variáveis bioquímicas em pacientes hipertensos
- …