Inconsistency of set theory via evaluation

We introduce in an axiomatic way the categorical theory PR of primitive recursion as the initial cartesian category with Natural Numbers Object. This theory has an extension into constructive set theory S of primitive recursion with abstraction of predicates into subsets and two-valued (boolean) truth algebra. Within the framework of (typical) classical, quantified set theory T we construct an evaluation of arithmetised theory PR via Complexity Controlled Iteration with witnessed termination of the iteration, witnessed termination by availability of Hilbert s iota operator in set theory. Objectivity of that evaluation yields inconsistency of set theory T by a liar (anti)diagonal argument

Application of Bounded Linear Stability Analysis Method for Metrics-Driven Adaptive Control

This paper presents the application of Bounded Linear Stability Analysis (BLSA) method for metrics-driven adaptive control. The bounded linear stability analysis method is used for analyzing stability of adaptive control models, without linearizing the adaptive laws. Metrics-driven adaptive control introduces a notion that adaptation should be driven by some stability metrics to achieve robustness. By the application of bounded linear stability analysis method the adaptive gain is adjusted during the adaptation in order to meet certain phase margin requirements. Analysis of metrics-driven adaptive control is evaluated for a second order system that represents a pitch attitude control of a generic transport aircraft. The analysis shows that the system with the metrics-conforming variable adaptive gain becomes more robust to unmodeled dynamics or time delay. The effect of analysis time-window for BLSA is also evaluated in order to meet the stability margin criteria

Coagulopathy in newborns with hypoxic ischemic encephalopathy (HIE) treated with therapeutic hypothermia: A retrospective case-control study

Background Newborns with hypoxic ischemic encephalopathy (HIE) are at risk for coagulopathy due to systemic oxygen deprivation. Additionally, therapeutic hypothermia (TH) slows enzymatic activity of the coagulation cascade, leading to constitutive prolongation of routinely assessed coagulation studies. The level of laboratory abnormality that predicts bleeding is unclear, leading to varying transfusion therapy practices. Methods HIE infants treated with TH between 2008–2012 were included in this retrospective study. Initial, minimum (min) and maximum (max) values of International Normalized Ratio (INR), activated partial thromboplastin time (aPTT), fibrinogen (Fib) and platelet (PLT) count (measured twice daily during TH) were collected. Bleeding was defined as clinically significant if associated with 1) decreased hemoglobin (Hb) by 2 g/dL in 24 hours, 2) transfusion of blood products for hemostasis, or 3) involvement of a critical organ system. Laboratory data between the bleeding group (BG) and non-bleeding group (NBG) were compared. Variables that differed significantly between groups were evaluated with Receiver Operating Characteristic Curve (ROC) analyses to determine cut-points to predict bleeding. Results Laboratory and bleeding data were collected from a total of 76 HIE infants with a mean (±SD) birthweight of 3.34 ± 0.67 kg and gestational age of 38.6 ± 1.9 wks. BG included 41 infants. Bleeding sites were intracranial (n = 13), gastrointestinal (n = 19), pulmonary (n = 18), hematuria (n = 11) or other (n = 1). There were no differences between BG and NBG in baseline characteristics (p \u3e 0.05). Both groups demonstrated INR and aPTT values beyond the acceptable reference ranges utilized for full tem newborns. BG had higher initial and max INR, initial aPTT, and lower min PLT and min Fib compared to NBG. ROC analyses revealed that platelet count \u3c130 \u3e× 109/L, fib level2 discriminated BG from NBG. Conclusions Laboratory evidence of coagulopathy is universal in HIE babies undergoing TH. Transfusion strategies to maintain PLT counts \u3e130 × 109/L, fib level \u3e1.5 g/L, and INRpopulation

On the complexity of strongly connected components in directed hypergraphs

We study the complexity of some algorithmic problems on directed hypergraphs and their strongly connected components (SCCs). The main contribution is an almost linear time algorithm computing the terminal strongly connected components (i.e. SCCs which do not reach any components but themselves). "Almost linear" here means that the complexity of the algorithm is linear in the size of the hypergraph up to a factor alpha(n), where alpha is the inverse of Ackermann function, and n is the number of vertices. Our motivation to study this problem arises from a recent application of directed hypergraphs to computational tropical geometry. We also discuss the problem of computing all SCCs. We establish a superlinear lower bound on the size of the transitive reduction of the reachability relation in directed hypergraphs, showing that it is combinatorially more complex than in directed graphs. Besides, we prove a linear time reduction from the well-studied problem of finding all minimal sets among a given family to the problem of computing the SCCs. Only subquadratic time algorithms are known for the former problem. These results strongly suggest that the problem of computing the SCCs is harder in directed hypergraphs than in directed graphs.Comment: v1: 32 pages, 7 figures; v2: revised version, 34 pages, 7 figure

Properties of layer-by-layer vector stochastic models of force fluctuations in granular materials

We attempt to describe the stress distributions of granular packings using lattice-based layer-by-layer stochastic models that satisfy the constraints of force and torque balance and non-tensile forces at each site. The inherent asymmetry in the layer-by-layer approach appears to lead to an asymmetric force distribution, in disagreement with both experiments and general symmetry considerations. The vertical force component probability distribution is robust and in agreement with predictions of the scalar q model while the distribution of horizontal force components is qualitatively different and depends on the details of implementation.Comment: 18 pages, 12 figures (with subfigures), 1 table. Uses revtex, epsfig,subfigure, and cite. Submitted to PRE. Plots have been bitmapped. High-resolution version is available. Email [email protected] or download from http://rainbow.uchicago.edu/~mbnguyen/research/vm.htm

Number--conserving model for boson pairing

An independent pair ansatz is developed for the many body wavefunction of dilute Bose systems. The pair correlation is optimized by minimizing the expectation value of the full hamiltonian (rather than the truncated Bogoliubov one) providing a rigorous energy upper bound. In contrast with the Jastrow model, hypernetted chain theory provides closed-form exactly solvable equations for the optimized pair correlation. The model involves both condensate and coherent pairing with number conservation and kinetic energy sum rules satisfied exactly and the compressibility sum rule obeyed at low density. We compute, for bulk boson matter at a given density and zero temperature, (i) the two--body distribution function, (ii) the energy per particle, (iii) the sound velocity, (iv) the chemical potential, (v) the momentum distribution and its condensate fraction and (vi) the pairing function, which quantifies the ODLRO resulting from the structural properties of the two--particle density matrix. The connections with the low--density expansion and Bogoliubov theory are analyzed at different density values, including the density and scattering length regime of interest of trapped-atoms Bose--Einstein condensates. Comparison with the available Diffusion Monte Carlo results is also made.Comment: 21 pages, 12 figure

IL-27 promotes the expansion of self-renewing CD8(+) T cells in persistent viral infection

Chronic infection and cancer are associated with suppressed T cell responses in the presence of cognate antigen. Recent work identified memory-like CXCR5(+) TCF1(+) CD8(+) T cells that sustain T cell responses during persistent infection and proliferate upon anti-PD1 treatment. Approaches to expand these cells are sought. We show that blockade of interferon type 1 (IFN-I) receptor leads to CXCR5(+) CD8(+) T cell expansion in an IL-27- and STAT1-dependent manner. IFNAR1 blockade promoted accelerated cell division and retention of TCF1 in virus-specific CD8(+) T cells. We found that CD8(+) T cell-intrinsic IL-27 signaling safeguards the ability of TCF1(hi) cells to maintain proliferation and avoid terminal differentiation or programmed cell death. Mechanistically, IL-27 endowed rapidly dividing cells with IRF1, a transcription factor that was required for sustained division in a cell-intrinsic manner. These findings reveal that IL-27 opposes IFN-I to uncouple effector differentiation from cell division and suggest that IL-27 signaling could be exploited to augment self-renewing T cells in chronic infections and cancer

First Observation of Coherent π0\pi^0 Production in Neutrino Nucleus Interactions with Eν<E_{\nu}< 2 GeV

The MiniBooNE experiment at Fermilab has amassed the largest sample to date of $\pi^0$s produced in neutral current (NC) neutrino-nucleus interactions at low energy. This paper reports a measurement of the momentum distribution of $\pi^0$s produced in mineral oil (CH$_2$) and the first observation of coherent $\pi^0$ production below 2 GeV. In the forward direction, the yield of events observed above the expectation for resonant production is attributed primarily to coherent production off carbon, but may also include a small contribution from diffractive production on hydrogen. Integrated over the MiniBooNE neutrino flux, the sum of the NC coherent and diffractive modes is found to be (19.5 $\pm$1.1 (stat) $\pm$2.5 (sys))% of all exclusive NC $\pi^0$ production at MiniBooNE. These measurements are of immediate utility because they quantify an important background to MiniBooNE's search for $\nu_{\mu} \to \nu_e$ oscillations.Comment: Submitted to Phys. Lett.

In vitro activity of robenidine Analog NCL195 in combination with outer membrane permeabilizers against gram-negative bacterial pathogens and impact on systemic gram-positive bacterial infection in mice

Multidrug-resistant (MDR) pathogens, particularly the ESKAPE group (Enterococcus faecalis/faecium, Staphylococcus aureus, Klebsiella pneumoniae, Acinetobacter baumannii, Pseudomonas aeruginosa, Escherichia coli, and Enterobacter spp.), have become a public health threat worldwide. Development of new antimicrobial classes and the use of drugs in combination are potential strategies to treat MDR ESKAPE pathogen infections and promote optimal antimicrobial stewardship. Here, the in vitro antimicrobial activity of robenidine analog NCL195 alone or in combination with different concentrations of three outer membrane permeabilizers [ethylenediaminetetraacetic acid (EDTA), polymyxin B nonapeptide (PMBN), and polymyxin B (PMB)] was further evaluated against clinical isolates and reference strains of key Gram-negative bacteria. NCL195 alone was bactericidal against Neisseria meningitidis and Neisseria gonorrhoeae (MIC/MBC = 32 μg/mL) and demonstrated synergistic activity against P. aeruginosa, E. coli, K. pneumoniae, and Enterobacter spp. strains in the presence of subinhibitory concentrations of EDTA, PMBN, or PMB. The additive and/or synergistic effects of NCL195 in combination with EDTA, PMBN, or PMB are promising developments for a new chemical class scaffold to treat Gram-negative infections. Tokuyasu cryo ultramicrotomy was used to visualize the effect of NCL195 on bioluminescent S. aureus membrane morphology. Additionally, NCL195's favorable pharmacokinetic and pharmacodynamic profile was further explored in in vivo safety studies in mice and preliminary efficacy studies against Gram-positive bacteria. Mice administered two doses of NCL195 (50 mg/kg) by the intraperitoneal (IP) route 4 h apart showed no adverse clinical effects and no observable histological effects in major organs. In bioluminescent Streptococcus pneumoniae and S. aureus murine sepsis challenge models, mice that received two 50 mg/kg doses of NCL195 4 or 6 h apart exhibited significantly reduced bacterial loads and longer survival times than untreated mice. However, further medicinal chemistry and pharmaceutical development to improve potency, solubility, and selectivity is required before efficacy testing in Gram-negative infection models.Hongfei Pi, Hang Thi Nguyen, Henrietta Venter, Alexandra R. Boileau, Lucy Woolford, Sanjay Garg ... et al