Sökning: "Johan Lindblad"
Visar resultat 1 - 5 av 12 uppsatser innehållade orden Johan Lindblad.
1. On the Structure of Resolution Refutations Generated by Modern CDCL Solvers
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)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
2. Jämförelse av maskininlärningsmetoder för att förutspå aktieprisrörelser
Kandidat-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)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
3. Effektivare Askåterföring : Kombimetoden
M1-uppsats, Institutionen för skog och träteknik (SOT)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
4. Revisorn och revisionens roll i ideella föreningar - en studie på idrottsföreningar
Magister-uppsats, Sektionen för ekonomi och teknik (SET)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
5. Skapar kundstyrning lönsamhet och utveckling i ett transportföretag?
Kandidat-uppsats, Lunds universitet/Institutionen för tjänstevetenskapSammanfattning : 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