Filetype
A proof system P is said to be automatable in time f(N) if there exists an algorithm that given as input an unsatisfiable formula F outputs a refutation of F in the proof system P in time f(N), where N is the size of the smallest P-refutation of F plus the size of F. Atserias and Bonet (ECCC 2002), observed that tree-like k-DNF resolution is automatable in time Nc·k log N for a universal constant
En företagsöverlåtelse föregås i regel av en process bestående av långa förhandlingar mellan köpare och säljare, en s.k. förvärvsprocess varefter vilken parterna slutligen upprättar ett avtal. Frågan är när bundenhet inträder för parterna. AvtL utgår i princip från att ett anbud skall accepteras och att detta i sin tur leder till avtal. Avgörande för när bundenheten inträder är parternas avsikter,
Denna uppsats behandlar straffmätningssystematiken i Sverige, Danmark och Norge. Frågor som jag har försökt besvara är: Hur ser de olika ländernas reglering och praxis ut? Vilka övergripande likheter och skillnader finns det? Hur kan de problem som uppstått angripas? För att illustrera problematiken och systematiken kring straffmätning har undersökningen gjorts i ljuset av brottstyperna misshandel
Hälsoupplysning är ett viktigt arbete idag eftersom många människor lever en hälsovådlig livsstil. Syftet var att belysa sjuksköterskors funktion och arbetssätt inom det hälsofrämjande arbetet. Metoden var en litteraturstudie där analys av tio vetenskapliga artiklar utfördes. I artiklarna framkom att sjuksköterskor var speciellt betydelsefulla i detta arbete genom alla de möten och relationer som
Idag är det brist på yrkesverksamma sjuksköterskor i Sverige och allt fler överväger att avbryta sin yrkesprofession. Samtidigt har Sveriges befolkning ett ökat vårdbehov. Det finns även risk för utbrändhet pga en ökad arbetsbörda. Syftet med studien var att undersöka vilka behov nyutbildade sjuksköterskor hade för att orka stanna kvar i yrket och bli experter. Studien var kvalitativ. Intervjupers
Detta arbete behandlar den svenska CFC-lagstiftningen. CFC-lagstiftning innebär att en stat, under vissa förhållanden, löpande kan beskatta inhemska delägare för deras andel i ett utländskt bolags vinst. Det skall generellt röra sig om utländska bolag som inte eller endast nominellt beskattats i bolags-staten. Syftet med sådana regler är generellt att skydda delägarstatens skattebas samt att motve
Offentliga uppgifter och verksamheter utförs inte bara av statliga och kommunala myndighetsorgan utan även genom andra fristående rättssubjekt, såsom bolag, korporationer och enskilda. Det allmännas skadeståndsansvar påverkas först och främst av om det utgör myndighetsutövning, vilket bland annat ställer krav på verksamhetens karaktär och anknytning till ett myndighetsärende. Även utanför detta om
For nogle kan det tekstkritiske arbejde nok opleves både teknisk utilgængeligt og som bærer af en iboende form for skepticistisk bibelkritik, men sådan forholder det sig ikke. Den bibelske tekstkritik er derimod den uundværlig første del af den arbejdsproces, der munder ud i at den enkelte får adgang til Bibelen. I denne artikel vil jeg give tre eksempler på, hvordan beskæftigelse indenfor nytesta
Det är lika bra att erkänna det först som sist, denna uppsats är inte allenast beskrivande. Den är också i hög grad värderande, ty enligt författarens mening är de främsta platserna i helvetet förbehållna dem som inte tar ställning. Eftersom de framtidsutsikterna inte lockar mig kommer jag i föreliggande arbete att ta hänsyn till såväl mina egna ställningstaganden som åsikter avseende de behandlad
Handel med människor är något som har förekommit lika länge som mänskligheten har existerat, skillnaden ligger i vilket syfte som handeln har ägt rum. Förr var det brist på arbetskraft som fick de rika i Nordstaterna i USA att handla svart arbetskraft från Afrika. Idag är det istället vit slavhandel som går från de fattiga länderna i Öst till Västvärlden i prostitutionssyfte. Precis som förr handl
Det kan vara vanskligt att finna ett enhetligt begrepp på företeelsen gåva. Men jag har i min uppsats försökt belysa de viktigaste förutsättningarna för att gåva skall vara för handen och samtidigt analyserat vilka lagar och avtalsprinciper som kan ge vägledning i vad som gäller om tvist uppkommer vid gåva. Gåvor är ofta ett välkommet tillskott. Vad som brukar förbises är vad som ska gälla när oen
https://www.vetenskaphalsa.se/tag/patologi/ - 2026-07-07
https://www.vetenskaphalsa.se/tag/patolog/ - 2026-07-07
Arbetstagares upphovsrätt regleras av två skilda rättsområden, arbetsrätt och upphovsrätt. Inom arbetsrätten utgår man ifrån arbetsgivarens rätt till vad arbetstagaren skapat då den senare kompenseras för sin arbetsinsats genom lön. Upphovsrätten har istället som grundläggande princip att den som skapat ett litterärt eller konstnärligt verk blir innehavare av upphovsrätten till verket. Med dessa s
Ett av de centrala ämnena i denna uppsats är bodelning p.g.a. äktenskapsskillnad. Då skilsmässor de senaste decennierna ökat kraftigt är bodelning ett viktigt ämne att studera. Det uppstår inte några större ändringar i makarnas egendomsförhållande då de ingår äktenskap. De ses fortfarande som två självständiga objekt utåt, där var och en svarar för sina tillgångar och sina skulder. Det som däremot
En stor del av dagens industrialiserade samhällen är organiserade som s.k. öppna marknadsekonomier. Enligt många är marknadsekonomin det effektivaste sättet att utnyttja samhällets resurser. Systemet riskerar dock att missbrukas av marknadens parter. En allvarlig form av missbruk är kartellbildning. Konkurrerande företag går då ihop för att kunna ta ut högre priser för sina produkter. Det innebär
Människor som lever under hot eller har utsatta yrken kan behöva ett skydd för sina folkbokföringsuppgifter för att inte drabbas av hot eller våld. Detta skydd erbjuds idag i tre former, nämligen sekretessmarkering, kvarskrivning och nya folkbokföringsuppgifter. Sekretessmarkering är det första och vanligaste steget för den som känner sig hotad och vill få skydd för sina personuppgifter. Denna för
En person som pendlar mellan Sverige och Danmark är obegränsat skatt-skyldig i sitt bosättningsland och begränsat skattskyldig i arbetslandet. Han skall således erlägga skatt för sin tjänsteinkomst i arbetslandet. För att undvika dubbelbeskattning av inkomsten så använder Sverige full exemption-metoden där inkomsten från utlandet helt undandras svensk beskattning. Danmark använder ordinary credit-
Syndikerade lån används när den aktuella lånesumman uppgår till så stora belopp att en enskild långivare är ovillig eller saknar förmåga att låna ut hela det aktuella beloppet. För att kunna förse låntagaren med det önskade beloppet sätts ett syndikat av långivare samman där varje långivare lånar ut en del av det aktuella lånebeloppet. Normalt inträder varje långivare i en separat rättslig relatio
