Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Jakob Robert) "

Sökning: WFRF:(Jakob Robert)

Sortera/gruppera träfflistan
  • de Rezende, Susanna F., et al. (författare)
  • Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling
  • 2019
  • Ingår i: Proceedings of the 34th Annual Computational Complexity Conference (CCC ’19). - : Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. - 9783959771160 ; , s. 18:1-18:16
  • Konferensbidrag (refereegranskat)abstract
    • We establish an exactly tight relation between reversible pebblings of graphs and Nullstellensatz refutations of pebbling formulas, showing that a graph G can be reversibly pebbled in time t and space s if an only if there is a Nullstellensatz refutation of the pebbling formula over G in size t + 1 and degree s (independently of the field in which the Nullstellensatz refutation is made). We use this correspondence to prove a number of strong size-degree trade-offs for Nullstellensatz, which to the best of our knowledge are the first such results for this proof system.
  • De Rezende, Susanna F., et al. (författare)
  • Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling
  • 2021
  • Ingår i: Computational Complexity. - : Birkhäuser Verlag. - 1016-3328. ; 30:1
  • Tidskriftsartikel (refereegranskat)abstract
    • We establish an exactly tight relation between reversiblepebblings of graphs and Nullstellensatz refutations of pebbling formulas,showing that a graph G can be reversibly pebbled in time t and space s if and only if there is a Nullstellensatz refutation of the pebbling formulaover G in size t + 1 and degree s (independently of the field in whichthe Nullstellensatz refutation is made). We use this correspondenceto prove a number of strong size-degree trade-offs for Nullstellensatz,which to the best of our knowledge are the first such results for thisproof system.
  • De Rezende, Susanna, et al. (författare)
  • Lifting with simple gadgets and applications to circuit and proof complexity
  • 2020
  • Ingår i: Proceedings - 2020 IEEE 61st Annual Symposium on Foundations of Computer Science, FOCS 2020. - : IEEE Computer Society. - 0272-5428. - 9781728196220 - 9781728196213 ; 2020-November, s. 24-30
  • Konferensbidrag (refereegranskat)abstract
    • We significantly strengthen and generalize the theorem lifting Nullstellensatz degree to monotone span program size by Pitassi and Robere (2018) so that it works for any gadget with high enough rank, in particular, for useful gadgets such as equality and greater-than. We apply our generalized theorem to solve three open problems: •We present the first result that demonstrates a separation in proof power for cutting planes with unbounded versus polynomially bounded coefficients. Specifically, we exhibit CNF formulas that can be refuted in quadratic length and constant line space in cutting planes with unbounded coefficients, but for which there are no refutations in subexponential length and subpolynomial line space if coefficients are restricted to be of polynomial magnitude. •We give the first explicit separation between monotone Boolean formulas and monotone real formulas. Specifically, we give an explicit family of functions that can be computed with monotone real formulas of nearly linear size but require monotone Boolean formulas of exponential size. Previously only a non-explicit separation was known. •We give the strongest separation to-date between monotone Boolean formulas and monotone Boolean circuits. Namely, we show that the classical GEN problem, which has polynomial-size monotone Boolean circuits, requires monotone Boolean formulas of size 2{Omega(n text{polylog}(n))}. An important technical ingredient, which may be of independent interest, is that we show that the Nullstellensatz degree of refuting the pebbling formula over a DAG G over any field coincides exactly with the reversible pebbling price of G. In particular, this implies that the standard decision tree complexity and the parity decision tree complexity of the corresponding falsified clause search problem are equal. This is an extended abstract. The full version of the paper is available at https://arxiv.org/abs/2001.02144.
  • de Savigny, Don, et al. (författare)
  • Integrating community-based verbal autopsy into civil registration and vital statistics (CRVS) : system-level considerations
  • 2017
  • Ingår i: Global Health Action. - 1654-9716 .- 1654-9880. ; 10
  • Tidskriftsartikel (refereegranskat)abstract
    • Background: Reliable and representative cause of death (COD) statistics are essential to inform public health policy, respond to emerging health needs, and document progress towards Sustainable Development Goals. However, less than one-third of deaths worldwide are assigned a cause. Civil registration and vital statistics (CRVS) systems in low-and lowermiddle-income countries are failing to provide timely, complete and accurate vital statistics, and it will still be some time before they can provide physician-certified COD for every death.Proposals: Verbal autopsy (VA) is a method to ascertain the probable COD and, although imperfect, it is the best alternative in the absence of medical certification. There is extensive experience with VA in research settings but only a few examples of its use on a large scale. Data collection using electronic questionnaires on mobile devices and computer algorithms to analyse responses and estimate probable COD have increased the potential for VA to be routinely applied in CRVS systems. However, a number of CRVS and health system integration issues should be considered in planning, piloting and implementing a system-wide intervention such as VA. These include addressing the multiplicity of stakeholders and sub-systems involved, integration with existing CRVS work processes and information flows, linking VA results to civil registration records, information technology requirements and data quality assurance.Conclusions: Integrating VA within CRVS systems is not simply a technical undertaking. It will have profound system-wide effects that should be carefully considered when planning for an effective implementation. This paper identifies and discusses the major system-level issues and emerging practices, provides a planning checklist of system-level considerations and proposes an overview for how VA can be integrated into routine CRVS systems.
  • Dilday, Benjamin, et al. (författare)
  • A Measurement of the Rate of Type Ia Supernovae in Galaxy Clusters from the SDSS-II Supernova Survey
  • 2010
  • Ingår i: Astrophysical Journal. - 0004-637X .- 1538-4357. ; 715, s. 1021-1035
  • Tidskriftsartikel (refereegranskat)abstract
    • We present measurements of the Type Ia supernova (SN) rate in galaxy clusters based on data from the Sloan Digital Sky Survey-II (SDSS-II) Supernova Survey. The cluster SN Ia rate is determined from 9 SN events in a set of 71 C4 clusters at z <= 0.17 and 27 SN events in 492 maxBCG clusters at 0.1 <= z <= 0.3. We find values for the cluster SN Ia rate of (0.37+0.17+0.01 -0.12-0.01) SNur h 2 and (0.55+0.13+0.02 -0.11-0.01) SNur h 2 (SNux = 10-12 L -1 xsun yr-1) in C4 and maxBCG clusters, respectively, where the quoted errors are statistical and systematic, respectively. The SN rate for early-type galaxies is found to be (0.31+0.18+0.01 -0.12-0.01) SNur h 2 and (0.49+0.15+0.02 -0.11-0.01) SNur h 2 in C4 and maxBCG clusters, respectively. The SN rate for the brightest cluster galaxies (BCG) is found to be (2.04+1.99+0.07 -1.11-0.04) SNur h 2 and (0.36+0.84+0.01 -0.30-0.01) SNur h 2 in C4 and maxBCG clusters, respectively. The ratio of the SN Ia rate in cluster early-type galaxies to that of the SN Ia rate in field early-type galaxies is 1.94+1.31+0.043 -0.91-0.015 and 3.02+1.31+0.062 -1.03-0.048, for C4 and maxBCG clusters, respectively. The SN rate in galaxy clusters as a function of redshift, which probes the late time SN Ia delay distribution, shows only weak dependence on redshift. Combining our current measurements with previous measurements, we fit the cluster SN Ia rate data to a linear function of redshift, and find rL = [(0.49+0.15 -0.14)+(0.91+0.85 -0.81) × z] SNuB h 2. A comparison of the radial distribution of SNe in cluster to field early-type galaxies shows possible evidence for an enhancement of the SN rate in the cores of cluster early-type galaxies. With an observation of at most three hostless, intra-cluster SNe Ia, we estimate the fraction of cluster SNe that are hostless to be (9.4+8.3 -5.1)%.
  • Dilday, Benjamin, et al. (författare)
  • Measurements of the Rate of Type Ia Supernovae at Redshift lsim0.3 from the Sloan Digital Sky Survey II Supernova Survey
  • 2010
  • Ingår i: Astrophysical Journal. - 0004-637X .- 1538-4357. ; 713, s. 1026-1036
  • Tidskriftsartikel (refereegranskat)abstract
    • We present a measurement of the volumetric Type Ia supernova (SN Ia) rate based on data from the Sloan Digital Sky Survey II (SDSS-II) Supernova Survey. The adopted sample of supernovae (SNe) includes 516 SNe Ia at redshift z <~ 0.3, of which 270(52%) are spectroscopically identified as SNe Ia. The remaining 246 SNe Ia were identified through their light curves; 113 of these objects have spectroscopic redshifts from spectra of their host galaxy, and 133 have photometric redshifts estimated from the SN light curves. Based on consideration of 87 spectroscopically confirmed non-Ia SNe discovered by the SDSS-II SN Survey, we estimate that 2.04+1.61 -0.95% of the photometric SNe Ia may be misidentified. The sample of SNe Ia used in this measurement represents an order of magnitude increase in the statistics for SN Ia rate measurements in the redshift range covered by the SDSS-II Supernova Survey. If we assume an SN Ia rate that is constant at low redshift (z < 0.15), then the SN observations can be used to infer a value of the SN rate of rV = (2.69+0.34+0.21 -0.30-0.01)×10-5 SNe yr-1 Mpc-3 (H 0/(70 km s-1 Mpc-1))3 at a mean redshift of ~0.12, based on 79 SNe Ia of which 72 are spectroscopically confirmed. However, the large sample of SNe Ia included in this study allows us to place constraints on the redshift dependence of the SN Ia rate based on the SDSS-II Supernova Survey data alone. Fitting a power-law model of the SN rate evolution, rV (z) = Ap × ((1 + z)/(1 + z 0))ν, over the redshift range 0.0 < z < 0.3 with z 0 = 0.21, results in Ap = (3.43+0.15 -0.15) × 10-5 SNe yr-1 Mpc-3 (H 0/(70 km s-1 Mpc-1))3 and ν = 2.04+0.90 -0.89.
  • Egerstedt, Anna, et al. (författare)
  • Profiling of the plasma proteome across different stages of human heart failure
  • 2019
  • Ingår i: Nature Communications. - : Nature Publishing Group. - 2041-1723. ; 10:1
  • Tidskriftsartikel (refereegranskat)abstract
    • Heart failure (HF) is a major public health problem characterized by inability of the heart to maintain sufficient output of blood. The systematic characterization of circulating proteins across different stages of HF may provide pathophysiological insights and identify therapeutic targets. Here we report application of aptamer-based proteomics to identify proteins associated with prospective HF incidence in a population-based cohort, implicating modulation of immunological, complement, coagulation, natriuretic and matrix remodeling pathways up to two decades prior to overt disease onset. We observe further divergence of these proteins from the general population in advanced HF, and regression after heart transplantation. By leveraging coronary sinus samples and transcriptomic tools, we describe likely cardiac and specific cellular origins for several of the proteins, including Nt-proBNP, thrombospondin-2, interleukin-18 receptor, gelsolin, and activated C5. Our findings provide a broad perspective on both cardiac and systemic factors associated with HF development.
  • Fenhammar, Johan, et al. (författare)
  • Renal effects of treatment with a TLR4-inhibitor in conscious septic sheep
  • 2014
  • Ingår i: Critical Care. - 1364-8535 .- 1466-609X. ; 18:5, s. 488-
  • Tidskriftsartikel (refereegranskat)abstract
    • Introduction: Acute kidney injury (AKI) is a common and feared complication of sepsis. The pathogenesis of sepsis-induced AKI is largely unknown, and therapeutic interventions are mainly supportive. In the present study, we tested the hypothesis that pharmacological inhibition of Toll-like receptor 4 (TLR4) would improve renal function and reduce renal damage in experimental sepsis, even after AKI had already developed. Methods: Sheep were surgically instrumented and subjected to a 36-hour intravenous infusion of live Escherichia coli. After 12 hours, they were randomized to treatment with a selective TLR4 inhibitor (TAK-242) or vehicle. Results: The E. coli caused normotensive sepsis characterized by fever, increased cardiac index, hyperlactemia, oliguria, and decreased creatinine clearance. TAK-242 significantly improved creatinine clearance and urine output. The increase in N-acetyl-beta-D-glucosaminidas, a marker of tubular damage, was attenuated. Furthermore, TAK-242 reduced the renal neutrophil accumulation and glomerular endothelial swelling caused by sepsis. These effects were independent of changes in renal artery blood flow and renal microvascular perfusion in both cortex and medulla. TAK-242 had no effect per se on the measured parameters. Conclusions: These results show that treatment with a TLR4 inhibitor is able to reverse a manifest impairment in renal function caused by sepsis. In addition, the results provide evidence that the mechanism underlying the effect of TAK-242 on renal function does not involve improved macro-circulation or micro-circulation, enhanced renal oxygen delivery, or attenuation of tubular necrosis. TLR4-mediated inflammation resulting in glomerular endothelial swelling may be an important part of the pathogenesis underlying Gram-negative septic acute kidney injury.
  • Galbany, Lluis, et al. (författare)
  • 2012
  • Ingår i: Astrophysical Journal. - 0004-637X .- 1538-4357. ; 755:2, s. 125-
  • Tidskriftsartikel (refereegranskat)abstract
    • We use Type Ia supernovae (SNe Ia) discovered by the Sloan Digital Sky Survey-II SN Survey to search for dependencies between SN Ia properties and the projected distance to the host-galaxy center, using the distance as a proxy for local galaxy properties (local star formation rate, local metallicity, etc.). The sample consists of almost 200 spectroscopically or photometrically confirmed SNe Ia at redshifts below 0.25. The sample is split into two groups depending on the morphology of the host galaxy. We fit light curves using both MLCS2k2 and SALT2, and determine color (A(V), c) and light-curve shape (Delta, x(1)) parameters for each SN Ia, as well as its residual in the Hubble diagram. We then correlate these parameters with both the physical and the normalized distances to the center of the host galaxy and look for trends in the mean values and scatters of these parameters with increasing distance. The most significant (at the 4 sigma level) finding is that the average fitted A(V) from MLCS2k2 and c from SALT2 decrease with the projected distance for SNe Ia in spiral galaxies. We also find indications that supernovae (SNe) in elliptical galaxies tend to have narrower light curves if they explode at larger distances, although this may be due to selection effects in our sample. We do not find strong correlations between the residuals of the distance moduli with respect to the Hubble flow and the galactocentric distances, which indicates a limited correlation between SN magnitudes after standardization and local host metallicity.
  • Ghaneh, Paula, et al. (författare)
  • The Impact of Positive Resection Margins on Survival and Recurrence Following Resection and Adjuvant Chemotherapy for Pancreatic Ductal Adenocarcinoma
  • 2019
  • Ingår i: Annals of Surgery. - 0003-4932 .- 1528-1140. ; 269:3, s. 520-529
  • Tidskriftsartikel (refereegranskat)abstract
    • Objective and Background: Local and distant disease recurrence are frequently observed following pancreatic cancer resection, but an improved understanding of resection margin assessment is required to aid tailored therapiesMethods: Analyses were carried out to assess the association between clinical characteristics and margin involvement as well as the effects of individual margin involvement on site of recurrence and overall and recurrence-free survival using individual patient data from the European Study Group for Pancreatic Cancer (ESPAC)-3 randomized controlled trial.Results: There were 1151 patients, of whom 505 (43.9%) had an RI resection. The median and 95% confidence interval (CI) overall survival was 24.9 (22.9-27.2) months for 646 (56.1%) patients with resection margin negative R0 >1 mm) tumors, 25.4 (21.6 30.4) months for 146 (12.7%) patients with RI <1 mm positive resection margins, and 18.7 (17.2-21.1) months for 359 (31.2%) patients with R1-direct positive margins (P < 0.001). In multivariable analysis, overall R 1-direct tumor margins, poor tumor differentiation, positive lymph node status, WHO performance status ≥ 1, maximum tumor size, and RI-direct posterior resection margin were all independently significantly associated with reduced overall and recurrence-free survival. Competing risks analysis showed that overall R1-direct positive resection margin status, positive lymph node status. WHO performance status 1, and R1-direct positive superior mesenteric/medial margin resection status were all significantly associated with local recurrence.Conclusions: RI-direct resections were associated with significantly reduced overall and recurrence-free survival following pancreatic cancer resection. Resection margin involvement was also associated with an increased risk for local recurrence.
Skapa referenser, mejla, bekava och länka
Typ av publikation
tidskriftsartikel (103)
konferensbidrag (15)
annan publikation (3)
doktorsavhandling (3)
forskningsöversikt (2)
rapport (1)
visa fler...
bokkapitel (1)
visa färre...
Typ av innehåll
refereegranskat (117)
övrigt vetenskapligt (9)
populärvet., debatt m.m. (2)
Andreasson, Jakob (15)
Barty, Anton (15)
Hajdu, Janos (14)
Rudenko, Artem (14)
Rolles, Daniel (14)
Hartmann, Robert (14)
visa fler...
Seibert, M Marvin (13)
Foucar, Lutz (13)
Maia, Filipe R. N. C ... (13)
Bostedt, Christoph (13)
Kimmel, Nils (13)
Overvad, Kim (12)
Martin, Andrew V. (12)
Aquila, Andrew (12)
Rudek, Benedikt (12)
Chapman, Henry N. (12)
DePonte, Daniel P. (12)
Erk, Benjamin (11)
Nordin, Jakob (11)
Ekeberg, Tomas (11)
Bozek, John D. (11)
Holl, Peter (11)
Liang, Mengning (11)
Schulz, Joachim (11)
Sollerman, Jesper (10)
Graafsma, Heinz (10)
Timneanu, Nicusor (10)
Svenda, Martin (10)
Bajt, Saša (10)
Epp, Sascha W. (10)
Gumprecht, Lars (10)
Riboli, Elio (9)
Hirsemann, Helmut (9)
Andersson, Inger (9)
Shoeman, Robert L (9)
Barthelmess, Miriam (9)
Lomb, Lukas (9)
Reich, Christian (9)
Schlichting, Ilme (9)
Soltau, Heike (9)
Ullrich, Joachim (9)
Goobar, Ariel (8)
Palli, Domenico (8)
Bogan, Michael J. (8)
Kirian, Richard A. (8)
White, Thomas A. (8)
Coppola, Nicola (8)
Fleckenstein, Holger (8)
Hampton, Christina Y ... (8)
Stellato, Francesco (8)
visa färre...
Lunds universitet (36)
Uppsala universitet (32)
Stockholms universitet (25)
Umeå universitet (17)
Göteborgs universitet (16)
Kungliga Tekniska Högskolan (12)
visa fler...
Karolinska Institutet (12)
Linköpings universitet (6)
Chalmers tekniska högskola (3)
Karlstads universitet (3)
Luleå tekniska universitet (2)
Örebro universitet (2)
Linnéuniversitetet (2)
Sveriges Lantbruksuniversitet (2)
Mittuniversitetet (1)
Södertörns högskola (1)
RISE (1)
Marie Cederschiöld högskola (1)
visa färre...
Engelska (124)
Svenska (3)
Latin (1)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (59)
Medicin och hälsovetenskap (53)
Samhällsvetenskap (14)
Teknik (10)
Humaniora (2)
Lantbruksvetenskap (1)


Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy