Sökning: "johan lindblad"

Visar resultat 1 - 5 av 12 uppsatser innehållade orden johan lindblad.

  1. 1. On the Structure of Resolution Refutations Generated by Modern CDCL Solvers

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Johan Lindblad; [2019]
    Nyckelord :;

    Sammanfattning : Modern solvers for the Boolean satisfiability problem (SAT) that are based on conflict-driven clause learning (CDCL) are known to be able to solve some instances significantly more efficiently than older kinds of solvers such as ones using the Davis-Putnam-Logemann-Loveland (DPLL) algorithm. In addition to solving instances that can be satisfied, SAT solvers will implicitly generate proofs of unsatisfiability for formulae that are unsatisfiable. LÄS MER

  3. 2. Jämförelse av maskininlärningsmetoder för att förutspå aktieprisrörelser

    Kandidat-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

    Författare :Johan Lindblad; [2015]
    Nyckelord :;

    Sammanfattning : Att förutspå aktiepriser är något som undersökts i hundra- tals år och kan användas som grund för investeringsbeslut. Under senare år har maskininlärning applicerats på detta problem vilket gjort att ett flertal metoder föreslagits och den elektroniska handelns införande har gjort att högupp- löst data med nanosekundsprecision blivit tillgänglig. LÄS MER

  4. 3. Effektivare Askåterföring : Kombimetoden

    M1-uppsats, Institutionen för skog och träteknik (SOT)

    Författare :Johan Magnusson; Michael Lindblad; [2013]
    Nyckelord :Askåterföring; Lönsamhet; Näringsuttag; Näringsbalans; Markförsurning;

    Sammanfattning : Undersökningens resultat visar att det finns betydande kostnadsbesparingar att göra vid införandet av en ny metod för askåterföring. Den nya metoden medför betydligt mindre transporter vilket leder till ett reducerat utsläpp av koldioxid och andra ämnen som har en negativ miljöpåverkan. LÄS MER

  5. 4. Revisorn och revisionens roll i ideella föreningar - en studie på idrottsföreningar

    Magister-uppsats, Sektionen för ekonomi och teknik (SET)

    Författare :Johan Ahlberg; Joel Nelje; [2013]
    Nyckelord :Revisor; revision; ideella föreningar; idrottsföreningar;

    Sammanfattning : Background: Non-profit organizations have a large and significant role in Swedish society and Thunberg (2006) choose to express it like Sweden stops without nonprofit effort. But in several non-profit organizations, and then perhaps especially in sports, there exist problems with the economy. LÄS MER

  7. 5. Skapar kundstyrning lönsamhet och utveckling i ett transportföretag?

    Kandidat-uppsats, Lunds universitet/Institutionen för tjänstevetenskap

    Författare :Filip Lindblad; Johan Jeraeus; [2012]
    Nyckelord :service; logistik; intermodal; transport; intern effektivitet; intern kommunikation; tjänsteproduktion; konkurrenskraft; Social Sciences;

    Sammanfattning : Logistik som konkurrenskraft blir allt viktigare på dagens marknader, vilket medför att logistikföretagen idag erbjuder en bredare service än vad som gjorts tidigare. Vårt syfte är att undersöka problematiken mellan att erbjuda en hög servicenivå och att inneha en kostnadseffektiv organisation. LÄS MER