2,543 research outputs found
On SAT representations of XOR constraints
We study the representation of systems S of linear equations over the
two-element field (aka xor- or parity-constraints) via conjunctive normal forms
F (boolean clause-sets). First we consider the problem of finding an
"arc-consistent" representation ("AC"), meaning that unit-clause propagation
will fix all forced assignments for all possible instantiations of the
xor-variables. Our main negative result is that there is no polysize
AC-representation in general. On the positive side we show that finding such an
AC-representation is fixed-parameter tractable (fpt) in the number of
equations. Then we turn to a stronger criterion of representation, namely
propagation completeness ("PC") --- while AC only covers the variables of S,
now all the variables in F (the variables in S plus auxiliary variables) are
considered for PC. We show that the standard translation actually yields a PC
representation for one equation, but fails so for two equations (in fact
arbitrarily badly). We show that with a more intelligent translation we can
also easily compute a translation to PC for two equations. We conjecture that
computing a representation in PC is fpt in the number of equations.Comment: 39 pages; 2nd v. improved handling of acyclic systems, free-standing
proof of the transformation from AC-representations to monotone circuits,
improved wording and literature review; 3rd v. updated literature,
strengthened treatment of monotonisation, improved discussions; 4th v. update
of literature, discussions and formulations, more details and examples;
conference v. to appear LATA 201
Exposure to glycols and their renal effects in motor servicing workers
Ten car mechanics frequently exposed to glycol-based cooling liquids were followed during a workshift. Airborne ethylene and propylene glycol concentrations in the car mechanics' environment were measured. The car mechanics gave urine samples after the workshift and their excretion of ethylene glycol, propylene glycol, oxalic acid, calcium and ammonia was analysed and compared to that of unexposed office workers. Urinary succinate dehydrogenase activity and glycosaminoglycans were also measured in both groups. Airborne ethylene and propylene glycol concentrations in the car mechanics' environment were negligible. Urinary ethylene glycol excretion in exposed workers was significantly higher than that in unexposed workers, but propylene glycol excretion was at the same level as in controls. In the exposed group, the excretion of the end metabolite of ethylene glycol, oxalic acid (47 ± 11 mmol/mol creatinine, mean ± SD, n= 10) differed slightly from that of controls (36 ± 14 mmol/mol creatinine, mean ± SD, n= 10). Urinary excretion of ammonia was higher among exposed workers than office workers. The excretion of calcium did not differ from that of controls. A marginally decreased urinary succinate dehydrogenase activity was found in the exposed men. The excretion of glycosaminoglycans was significantly lower in exposed workers. Therefore, it seems that ethylene glycol is absorbed by skin contact. The internal body burden is associated with oxaluria and increased ammoniagenesis typical of chronic acidosi
The Mechanism of Electro-Reduction of Chromate in Molten LiCl-KCl
When chromate ion is electro-reduced in molten LiCl- KCl
in the presence of Mg (II), Zn (II) or Ni (II), the product is typically
of composition LixMyCr04 , in which X + 2 Y = 5. Variations
in composition accompany variations is experimental conditions,
except in the case of Zn(II), for which X = 1 and Y = · 2.
With Co (II), the product is either LixCoyCr04 or Co2Cr04 or a
mixture of the two, depending upon the conditions. A mechanism
involving a first two-electron reduction followed by a competition
between further one-electron reduction and an internal chemical
redox reaction accounts -satisfactorily for the variation of product
with changes in experimental conditions
Regular albuterol or nedocromil sodium — effects on airway subepithelial tenascin in asthma
AbstractBoth albuterol and nedocromil sodium have been recognized to possess certain anti-inflammatory properties. However, there are no data on the impact of these drugs on the pathophysiology of the bronchial extracellular matrix in asthma characterized by enhanced tenascin (Tn) expression, known to occur proportional to the severity of asthma. This paper reports data from a morphometric study on the effects of regular treatment with inhaled albuterol or nedocromil sodium on the extent of bronchial subepithelial deposition of Tn, collagen types III, IV, and VII and mucosal infiltration with macrophages.Thirty-two patients (14 women) with chronic asthma, aged 38·7 years (median) with a median forced expiratory volume in 1 sec (FEV1) of 74·4% predicted, were selected to undergo fibre-optic bronchoscopy with bronchial biopsies before and after 12 weeks of treatment with either inhaled albuterol 0·2 mg or nedocromil sodium 4 mg four times daily according to a double-blind protocol. Cryostat sections of the biopsy specimens were studied by indirect immunostaining techniques using monoclonal antibodies and computer-assisted quantitative image analysis.Albuterol treatment significantly reduced the median thickness of subepithelial Tn expression from 9·7 to 6·3 μm (P=0·023) and macrophage numbers in the epithelium (P=0·034), lamina propria (P=0·039) and entire mucosa (P=0·033), whereas nedocromil sodium had no effect. Expression of the collagen types was not affected by either treatment. There was no identifiable statistical difference between the two treatments for any of the outcome variables measured. Nevertheless, the results demonstrate that even a short-acting β2-agonist may exert anti-inflammatory potential sufficient to interfere with the basic mechanisms of asthma as shown by reduction of subepithelial Tn content and mucosal macrophage count
Preventive home visits to promote the health-related quality of life of home-dwelling older people : Baseline findings and feasibility of a randomized, controlled trial
Background and aims: Studies on multiprofessional preventive home visits to older people are needed. We describe here the baseline findings and feasibility of a randomized controlled study on preventive home visits delivered by a multiprofessional team. Materials and methods: Participants (n = 422) were home-dwelling people who were 75+ years old. They were recruited from the Hyvinkaaa municipal area. They were randomized into intervention and control groups. Participants in the intervention group received three home visits, delivered by a nurse, physiotherapist and social worker. Health-related quality of life (HRQoL), measured by 15D, was used as our primary outcome measurement. Feedback on the intervention was gathered from the participants. Results: The mean age of our participants was 81 years. They scored 0.82 in the 15D HRQoL score, and 65% were female. The findings of both groups were similar in most background variables. The only differences between the groups were that lower proportions of participants in the intervention group had diabetes or used a walker. The professionals delivering the intervention reported that all intervention procedures had been delivered according to plan. Participants who responded to the feedback survey mostly reported having gained new information and were fairly content with the intervention. However, most participants felt the home visits had not improved their health or functioning. Conclusions: We have successfully randomized participants into two study groups in this trial examining the effectiveness of preventive home visits. The intervention seems feasible and has mostly been well received. (C) 2017 Elsevier Masson SAS and European Union Geriatric Medicine Society. All rights reserved.Peer reviewe
The relationship between serum 25-hydroxyvitamin D and parathyroid hormone concentration in assessing vitamin D deficiency in pet rabbits
Background Vitamin D deficiency and related metabolic bone diseases in pet rabbits have been intermittently debated. In human research, the parathyroid hormone concentration in relation to the 25-hydroxyvitamin D concentration is used to determine vitamin D deficiency. Thus, this study aimed to identify the breakpoint in the 25-hydroxyvitamin D concentration indicating a significant change in the parathyroid hormone concentration in 139 pet rabbits. An enzyme immunoassay kit was used for 25-hydroxyvitamin D analysis and the intact parathyroid hormone (PTH 1-84) immunoradiometric assay kit for parathyroid hormone analysis. The mid-tibial cortical bone density was measured using peripheral quantitative computed tomography. A segmented linear regression analysis was performed, with the 25-hydroxyvitamin D concentration as the independent variable, and parathyroid hormone, ionised calcium, total calcium, inorganic phosphorus concentrations and the mid-tibial cortical density as the dependent variables. Results The breakpoint for the parathyroid hormone concentration occurred at a 25(OH)D concentration of 17 ng/mL, whereas the cortical bone density breakpoint occurred at a 25-hydroxyvitamin D concentration of 19 ng/mL. No breakpoints were found for ionised calcium, total calcium or phosphorus. Conclusions These results suggest that a serum 25-hydroxyvitamin D concentration of 17 ng/mL serves as the threshold for vitamin D deficiency in rabbits. Nearly one-third of the rabbits had a serum 25-hydroxyvitamin D concentration below this threshold. Concerns persist regarding the high prevalence of vitamin D deficiency in pet rabbits and the possible health consequences caused by a chronic vitamin D deficiency, including the risk for metabolic bone diseases.Peer reviewe
Supermagnetosonic jets behind a collisionless quasi-parallel shock
The downstream region of a collisionless quasi-parallel shock is structured
containing bulk flows with high kinetic energy density from a previously
unidentified source. We present Cluster multi-spacecraft measurements of this
type of supermagnetosonic jet as well as of a weak secondary shock front within
the sheath, that allow us to propose the following generation mechanism for the
jets: The local curvature variations inherent to quasi-parallel shocks can
create fast, deflected jets accompanied by density variations in the downstream
region. If the speed of the jet is super(magneto)sonic in the reference frame
of the obstacle, a second shock front forms in the sheath closer to the
obstacle. Our results can be applied to collisionless quasi-parallel shocks in
many plasma environments.Comment: accepted to Phys. Rev. Lett. (Nov 5, 2009
- …