Filtyp
We show exponential lower bounds on resolution proof length for pigeonhole principle (PHP) formulas and perfect matching formulas over highly unbalanced, sparse expander graphs, thus answering the challenge to establish strong lower bounds in the regime between balanced constant-degree expanders as in [Ben-Sasson and Wigderson'01] and highly unbalanced, dense graphs as in [Raz'04] and [Razborov'03
We obtain the first true size-space trade-offs for the cutting planes proof system, where the upper bounds hold for size and total space for derivations with constantsize coefficients, and the lower bounds apply to length and formula space (i.e., number of inequalities in memory) even for derivations with exponentially large coefficients. These are also the first trade-offs to hold uniformly for r
Background: To increase the clinical usefulness of the D-dimer test in diagnosis of deep vein thrombosis (DVT), two strategies have been proposed: the age-adjusted, and the clinical pre-test probability (CPTP) adjusted interpretation. However, it is not known which of these strategies is superior. Objective: To conduct an individual patient data (IPD) meta-analysis that compares the sensitivity, s
Aims: To examine the effect of lifestyle (diet and physical activity) interventions on the prevalence of GDM, considering the method of GDM ascertainment and its association with early pregnancy characteristics and maternal and neonatal outcomes in the LIFE-Moms consortium. Methods: LIFE-Moms evaluated the effects of lifestyle interventions to optimize gestational weight gain in 1148 pregnant wome
Laser-induced fluorescence data for rats injected with the different tumor-marking drugs, dihematoporphyrin ether, poly hematoporphyrin esters, hematoporphyrin and phtalocyanine, are presented. Studies were performed at two different excitation wavelengths. Comparisons between the different drugs are made with regard to fluorescence intensity and tumor demarcation capability. Further, the origin o
Aim: To evaluate the long-term success rate of treatment with the Surgisis® (Biodesign®) anal fistula plug for complex anal fistulas, assess fistula plug failure over time and compare success rates for fistula plug between a group of patients with cryptoglandular fistula and another group with Crohn's fistula. Method: This is a single-centre study of consecutive patients treated with the Surgisis®
Optimization of the duration of Structural Health Monitoring (SHM) campaigns is rarely performed. This article provides a utility-based solution to posteriorly determine: i) optimal monitoring durations and ii) the extension of the service life of the welds on a steel bridge deck. The approach is illustrated with a case study focusing on remaining fatigue life estimation of the welds on the orthot
The purpose of the study was to assess both anatomic and functional outcomes between short-pulse continuous wavelength and infrared micropulse lasers in the treatment of DME. This was a prospective interventional study from tertiary care eye hospital—King Khaled Eye Specialist Hospital (Riyadh, Saudi Arabia). Patients with center-involving diabetic macular edema were treated with subthreshold lase
This paper brings together two important distinctions in the study of entrepreneurship: the difference between full-time and hybrid entrepreneurship and the difference between productive and unproductive or predatory entrepreneurship. We combine the literature on hybrid entrepreneurship, primarily identifying significant differences compared with full-time entrepreneurs, with an adapted framework
BACKGROUND: Epidemiological studies provide strong evidence for a role of endogenous sex hormones in the aetiology of breast cancer. The aim of this analysis was to identify genetic variants that are associated with urinary sex-hormone levels and breast cancer risk.METHODS: We carried out a genome-wide association study of urinary oestrone-3-glucuronide and pregnanediol-3-glucuronide levels in 560
The possibility of accurately identifying thermal material parameters on the basis of a simple tension test is presented, using a parameter identification framework for thermo-mechanically coupled material models on the basis of full field displacement and temperature field measurements. Main objective is to show the impact of the material model formulation on the results of such an identification
BACKGROUND: Blood loss and adult blood transfusions are common during the neonatal period in preterm infants. The objective of the study was to clarify if degree of loss of fetal haemoglobin (HbF) was associated with later retinopathy of prematurity (ROP).METHODS: Retrospective observational cohort study. In total, 452 infants born <30 gestational weeks at a tertiary level neonatal intensive care
The real antibiotic industrial wastewater with the characteristics of complex compositions, biological toxic, and degradation-resistant, is still biologically toxic to the ecosystem and human health even if the discharge standards have been met after treatment by traditional methods. Therefore, the biological harmless treatment of real antibiotic industrial wastewater is a valuable and meaningful
This chapter discusses the position of philantropic organisations in EU tax law if they are active in other member states. There are no EU rules. However there is jurisprudence of the Court of Justice. The author analyses where we are in terms of tax provisions and specifically weather we are heading towards a single market for philanthropy.
Hydrogen peroxide treatment is a cost-effective and simple method to improve the bioactivity of titanium implants. In this study, the effects of chloride ion concentration and temperature of hydrogen peroxide on the surface treatment of titanium were investigated using X-ray diffractometry (XRD), Field Emission-Scanning Electron Microscopy (FESEM), and tests in order to determine wettability and a
