269 research outputs found
On paths-based criteria for polynomial time complexity in proof-nets
Girard's Light linear logic (LLL) characterized polynomial time in the
proof-as-program paradigm with a bound on cut elimination. This logic relied on
a stratification principle and a "one-door" principle which were generalized
later respectively in the systems L^4 and L^3a. Each system was brought with
its own complex proof of Ptime soundness.
In this paper we propose a broad sufficient criterion for Ptime soundness for
linear logic subsystems, based on the study of paths inside the proof-nets,
which factorizes proofs of soundness of existing systems and may be used for
future systems. As an additional gain, our bound stands for any reduction
strategy whereas most bounds in the literature only stand for a particular
strategy.Comment: Long version of a conference pape
A convenient category of locally preordered spaces
As a practical foundation for a homotopy theory of abstract spacetime, we
extend a category of certain compact partially ordered spaces to a convenient
category of locally preordered spaces. In particular, we show that our new
category is Cartesian closed and that the forgetful functor to the category of
compactly generated spaces creates all limits and colimits.Comment: 26 pages, 0 figures, partially presented at GETCO 2005; changes:
claim of Prop. 5.11 weakened to finite case and proof changed due to problems
with proof of Lemma 3.26, now removed; Eg. 2.7, statement before Lem. 2.11,
typos, and other minor problems corrected throughout; extensive rewording;
proof of Lem. 3.31, now 3.30, adde
Potential vegetable sources for biodiesel production:Cashew, coconut and cotton
This work presents a study on crude oil and biodiesel obtained from the seeds of the tropical plants Anacardium occidentale L (cashew), Cocos nucifera (coconut palm) and Gossypium hirsutum (upland cotton). The following crude oil and biodiesel physical-chemical properties were determined: acid number, iodine value, copper corrosivity, density and viscosity at different temperatures. Also, the chemical composition of the fatty acid methyl esters was measured using gas chromatography and a comparison was made with biodiesel from other sources reported in the literature. The analysis pointed out that cashew, coconut palm and upland cotton are potential sources for biodiesel production. Among the biodiesel types tested, cashew showed the highest oxidation stability
Observations of the circumstellar water 110 → 110 and ammonia 110 → 00 lines in IRC +10216 by the Odin satellite
Submillimeter lines of H 2O and NH 3 have been detected in the carbon star IRC +10216 (CW Leo) with the Odin submillimeter satellite. The detection of the J K-, K+ = 1 10 → 1 10 557 GHz line of ortho-H 2O confirms the earlier detection in the same source with SWAS. The detection of the J K = 1 0 rarr; 0 0 572 GHz line represents the first observation of the ground-state rotational transition of NH 3 in a stellar envelope. By fitting a molecular line transfer model to the observed lines, we derive an ortho-H 20 abundance of 2.4 × 10 -6, which is consistent with estimates from the SWAS observation. The derived ortho-NH 3 abundance of 1 × 10 -6 relative to H 2 is significantly higher than those derived from 24 GHz inversion transitions and is slightly higher than those from vibrational transitions in the infrared band. The high H 2O and NH 3 abundances in the carbon-rich star IRC+10216 underscore shortcomings in the conventional gas-phase LTE and non-LTE chemical models. © 2006. The American Astronomical Society. All rights reserved.published_or_final_versio
LUBAC prevents lethal dermatitis by inhibiting cell death induced by TNF, TRAIL and CD95L
The linear ubiquitin chain assembly complex (LUBAC), composed of HOIP, HOIL-1 and SHARPIN, is required for optimal TNF-mediated gene activation and to prevent cell death induced by TNF. Here, we demonstrate that keratinocyte-specific deletion of HOIP or HOIL-1 (E-KO) results in severe dermatitis causing postnatal lethality. We provide genetic and pharmacological evidence that the postnatal lethal dermatitis in HoipE-KO and Hoil-1E-KO mice is caused by TNFR1-induced, caspase-8-mediated apoptosis that occurs independently of the kinase activity of RIPK1. In the absence of TNFR1, however, dermatitis develops in adulthood, triggered by RIPK1-kinase-activity-dependent apoptosis and necroptosis. Strikingly, TRAIL or CD95L can redundantly induce this disease-causing cell death, as combined loss of their respective receptors is required to prevent TNFR1-independent dermatitis. These findings may have implications for the treatment of patients with mutations that perturb linear ubiquitination and potentially also for patients with inflammation-associated disorders that are refractory to inhibition of TNF alone
Oligochaete Assemblages in the Hyporheic Zone and Coarse Surface Sediments: Their Importance for Understanding of Ecological Functioning of Watercourses
Measurement of the Bottom-Strange Meson Mixing Phase in the Full CDF Data Set
We report a measurement of the bottom-strange meson mixing phase \beta_s
using the time evolution of B0_s -> J/\psi (->\mu+\mu-) \phi (-> K+ K-) decays
in which the quark-flavor content of the bottom-strange meson is identified at
production. This measurement uses the full data set of proton-antiproton
collisions at sqrt(s)= 1.96 TeV collected by the Collider Detector experiment
at the Fermilab Tevatron, corresponding to 9.6 fb-1 of integrated luminosity.
We report confidence regions in the two-dimensional space of \beta_s and the
B0_s decay-width difference \Delta\Gamma_s, and measure \beta_s in [-\pi/2,
-1.51] U [-0.06, 0.30] U [1.26, \pi/2] at the 68% confidence level, in
agreement with the standard model expectation. Assuming the standard model
value of \beta_s, we also determine \Delta\Gamma_s = 0.068 +- 0.026 (stat) +-
0.009 (syst) ps-1 and the mean B0_s lifetime, \tau_s = 1.528 +- 0.019 (stat) +-
0.009 (syst) ps, which are consistent and competitive with determinations by
other experiments.Comment: 8 pages, 2 figures, Phys. Rev. Lett 109, 171802 (2012
Sensor fault reconstruction and observability for unknown inputs, with an application to wastewater treatment plants
Structural Characterization of a Novel Chlamydia pneumoniae Type III Secretion-Associated Protein, Cpn0803
Type III secretion (T3S) is an essential virulence factor used by Gram-negative pathogenic bacteria to deliver effector proteins into the host cell to establish and maintain an intracellular infection. Chlamydia is known to use T3S to facilitate invasion of host cells but many proteins in the system remain uncharacterized. The C. trachomatis protein CT584 has previously been implicated in T3S. Thus, we analyzed the CT584 ortholog in C. pneumoniae (Cpn0803) and found that it associates with known T3S proteins including the needle-filament protein (CdsF), the ATPase (CdsN), and the C-ring protein (CdsQ). Using membrane lipid strips, Cpn0803 interacted with phosphatidic acid and phosphatidylinositol, suggesting that Cpn0803 may associate with host cells. Crystallographic analysis revealed a unique structure of Cpn0803 with a hydrophobic pocket buried within the dimerization interface that may be important for binding small molecules. Also, the binding domains on Cpn0803 for CdsN, CdsQ, and CdsF were identified using Pepscan epitope mapping. Collectively, these data suggest that Cpn0803 plays a role in T3S
- …