Sökning: "Johan Per Nordström"

Hittade 3 avhandlingar innehållade orden Johan Per Nordström.

  1. 1. Upsalia illustrata cujus partem quartam ... sub præsidio ... Johannis Ihre ... publice examinandam sistit Johannes Petrus Nordström, sudermannus, in audit. Carol. maj. die VI. decemb. anni MDCCLXIX., P. 4

    Författare :Johan Ihre; Johan Per Nordström; Johan Ihre; Uppsala universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

    Sammanfattning : .... LÄS MER

  2. 2. Cardiovascular disease and all-cause mortality : influence of fitness, fatness and genetic factors

    Författare :Gabriel Högström; Anna Nordström; Peter Nordström; Johan Sundström; Umeå universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; all-cause mortality; aerobic fitness; obesity; cardiovascular disease; stroke; myocardial infarction; Epidemiology; epidemiologi; Population studies; befolkningsstudier; Cardiology; kardiologi;

    Sammanfattning : BackgroundLow aerobic fitness and obesity are associated with atherosclerosis, and thereforegreatly increase the risk of cardiovascular disease (CVD) and early death. It has long been known that atherosclerosis my begin early in life. LÄS MER

  3. 3. On Long Proofs of Simple Truths

    Författare :Kilian Risse; Per Austrin; Johan Håstad; Jakob Nordström; Benjamin Rossman; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computational Complexity; Lower Bounds; Proof Complexity; Datalogi; Computer Science;

    Sammanfattning : Propositional proof complexity is the study of certificates of infeasibility. In this thesis we consider several proof systems with limited deductive ability and unconditionally show that they require long refutations of the feasibility of certain Boolean formulas. LÄS MER