Log in

Relevant bibliographies by topics / Dedukti / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Dedukti.

Dissertations / Theses on the topic 'Dedukti'

Author: Grafiati

Published: 25 May 2024

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Dedukti.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Thiré, François. "Interoperability between proof systems using the logical framework Dedukti." Electronic Thesis or Diss., université Paris-Saclay, 2020. http://www.theses.fr/2020UPASG053.

Full text

Abstract:

Il existe aujourd'hui une large famille de systèmes de preuve baséesur différentes logiques: Le calcul des constructions inductives, lalogique d'ordre supérieur, la théorie des ensembles, etc... Undésavantage majeur de cette diversité est, que les théorèmes sontprouvés de nombreuses fois. Une possibilité pour résoudre ce problèmeest de rendre les systèmes de preuve interoperables. Dans cette thèse,nous avons attaqué le problème d'interopérabilité entre systèmes depreuve aussi bien sur le plan théorique que le plan pratique enutilisant le cadre logique Dedukti.Notre voyage commence avec l'explo

APA, Harvard, Vancouver, ISO, and other styles

2

Hondet, Gabriel. "Expressing predicate subtyping in computational logical frameworks." Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG070.

Full text

Abstract:

Le typage permet d'apporter de la sûreté dans la programmation, et il est utilisé au coeur de la majorité des systèmes de preuve. Plus un système de types est expressif, plus il est aisé d'y encoder des invariantsqui seront vérifiés mécaniquement lors du typage. Les types dépendants sont une extension des types simples dans laquelle les types peuvent dépendre de valeurs. Ils permettent par exemple de définir les vecteurs paramétrés par leur longueur. Le sous-typage par prédicat est une autre extension des types simples, dans laquelle les types peuvent être définis par des prédicats. Un sous-ty

APA, Harvard, Vancouver, ISO, and other styles

3

Schiefele, Ulrich, and Klaus Peter Wild. "Induktiv versus deduktiv entwickelte Fragebogenverfahren zur Erfassung von Merkmalen des Lernverhaltens." Universität Potsdam, 1993. http://opus.kobv.de/ubp/volltexte/2009/3359/.

Full text

Abstract:

Die gegenwärtig diskutierten Verfahren zur Erfassung von Lernstrategien, Lernstilen und Lernorientierungen können in zwei Gruppen unterteilt werden. Die erste Gruppe ist induktiv konstruiert worden und hat auf der Grundlage von Interviewstudien relativ globale Lernermerkmale postuliert. Typisch für diese Verfahren ist auch die Integration motivationaler und kognitiver Komponenten des Lernverhaltens. Die zweite Gruppe zeichnet sich durch ein deduktives Vorgehen aus. Ausgehend von kognitionspsychologischen Modellen des Lernprozesses sowie verschiedenen Motivationstheorien wurden differenzierte T

APA, Harvard, Vancouver, ISO, and other styles

4

Lindner, Philip. "Det där är ingen icke-zebra! : epistemisk-deduktiv slutenhet och skepticism." Thesis, Umeå universitet, Institutionen för idé- och samhällsstudier, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-52691.

Full text

Abstract:

Departing from Fred Dretske’s groundbreaking article, this essay explore the epistemic closure principle: the principle that states that knowledge is closed under known implication. It also explores the relationship to skepticism, various attempts to challenge and defend the principle, as well as developing a new perspective where the skeptical premise is seen as an a priori justified tautology that can be overriden by a posteriori experience. I argue that Dretske’s illuminating example makes it clear that there is an unescapable choice between either rejecting a skeptical premise  however in

APA, Harvard, Vancouver, ISO, and other styles

5

Jönsson, Joakim, and Pontus Strandell. "Motivation för förändring : En deduktiv forskning baserad på den transteoretiska modellen." Thesis, Karlstads universitet, Fakulteten för samhälls- och livsvetenskaper, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-32635.

Full text

Abstract:

Syftet med undersökningen var att undersöka och förstå hur en förändringsprocess ser ut med koppling till motivation. Individerna som deltog hade alla förändrat ett livshotande eller potentiellt livshotande beteende. Man har utgått från den transteoretiska modellen och undersökt huruvida respondenterna följt modellens stadier av beredskap i sin process mot ett mer hälsosamt beteendemönster. Man använde sig av en öppen intervju för att undersöka djupet i respondenternas utsagor. Resultatet visade bland annat på att den inre motivationen är essentiell vid vidmakthållandet av det nya beteendet oc

APA, Harvard, Vancouver, ISO, and other styles

6

Mickelsson, Johanna, and Anna-Liv Sollerman. "Betydelsen av KASAM hos personer som genom gått enhjärtinfarkt. : ‑ En deduktiv litteraturöversikt." Thesis, Mittuniversitetet, Avdelningen för omvårdnad, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-33874.

Full text

Abstract:

Bakgrund: Personer som drabbats av en hjärtinfarkt genomgår en livsomvälvande händelse,den nya livssituationen upplevs ibland som svår. KASAM kopplas starkt till livskvalitet därstark KASAM relateras till hög livskvalité.Syfte: Syftet med denna litteraturstudie var att belysa KASAM hos personer som genomgåtten hjärtinfarkt.Metod: En litteraturöversikt gjordes där sökningar genomfördes i databaserna CINAHL,PubMed samt Psycinfo för att hitta studier som svarade mot syftet. Kvalitativa samtkvantitativa artiklar analyserades.Resultat: Resultatet redovisades utifrån KASAM i sin helhet samt dess tre

APA, Harvard, Vancouver, ISO, and other styles

7

Сорочан, Д. В. "Переваги використання Deduktor при аналізі лояльності покупців". Thesis, ТОВ «ДД «Папірус», 2013. http://essuir.sumdu.edu.ua/handle/123456789/37548.

Full text

Abstract:

Використання аналітичної платформи Deduktor дозволяє використовувати заздалегідь розроблений алгоритм для будь яких наборів даних без витрат часу на програмування платформи. Фактично це надає можливість порівнювати зміни лояльності споживачів без витрат часу на створення та налаштування алгоритму та інтерфейсу, що було не можливо у MS Excel без спеціалізованих знань.

APA, Harvard, Vancouver, ISO, and other styles

8

Kaleja, Bernadette. "Den deduktiva grammatikundervisningens inverkan på tyskelevers interlanguage." Thesis, Malmö högskola, Lärarutbildningen (LUT), 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-35021.

Full text

Abstract:

Detta examensarbete baserar sig på fyra frågeställningar och en hypotes kring hur den deduktiva grammatikundervisningen påverkar tyskelevers interlanguage. Undersökningen försöker visa om den deduktiva metoden t.ex. gynnar en viss elevgrupp beroende på etnicitet och genus. Undersökningen består av ett Grammaticality Judgement Test och en intervjuundersökning bland elever i grundskolans senare år skolår 8 och 9 som läser tyska som språkval. De grammatiska strukturerna som undersöks har eleverna redan blivit testade på vt 2008 i samband med den ordinarie tyskundervisningen. Genom att utgå ifrån

APA, Harvard, Vancouver, ISO, and other styles

9

Algulin, David, and Jesper Sandberg. "Induktiva och deduktiva arbetssätt inom matematik : En systematisk litteraturstudie om hur induktiva och deduktiva arbetssätt kan påverka elevers matematiska förståelse." Thesis, Linnéuniversitetet, Institutionen för matematik (MA), 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-101069.

Full text

Abstract:

Denna systematiska litteraturstudie syftar till att undersöka hur induktiva eller deduktivaarbetssätt i undervisning påverkar elevers förståelse för matematiska innehåll samt vilka föroch nackdelar det finns med respektive. Studiens frågeställningar grundar sig i egnaerfarenheter och utifrån observation på skolor, där vi mött elever med bristande matematiskförståelse. Vi har då uppmärksammat att lärare återkommande fokuserar undervisningen påutantillkunskap, och i hög grad bearbetar matematiska innehåll med deduktiva arbetssätt.Observationerna utgjorde grunden till en hypotes om att det finns

APA, Harvard, Vancouver, ISO, and other styles

10

Koc, Bobil. "Induktiv och deduktiv konkretisering i praktiken : En studie i årskurs 1-3 om hur induktiv och deduktiv konkretisering som didaktisk metod i matematikundervisning kan främja ett utvecklande av kunskap och lärande." Thesis, Södertörns högskola, Lärarutbildningen, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:sh:diva-34276.

Full text

Abstract:

The aim of this study is to examine how inductive and deductive concreteization as a didactic method in mathematics teaching can promote the development of knowledge and learning among students. It is also of interest to hear a number of interviewed teachers perceptions about inductive and deductive concretization as a method in mathematics teaching. The examination is for grades 1-3. Theories dealt with in the study are learning promoting theories such as concretization, proximal development zone, conceptualization and creative reasoning.The study's questions will therefore examine:· How can

APA, Harvard, Vancouver, ISO, and other styles

11

Ragni, Marco. "Räumliche Repräsentation, Komplexität und Deduktion: eine kognitive Komplexitätstheorie /." Berlin : Aka, 2008. http://d-nb.info/989089312/04.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

POULARD-COLLARD, MARTINE. "Un langage de requetes deductif pour objets persistants." Nice, 1993. http://www.theses.fr/1993NICE4687.

Full text

Abstract:

Le sujet de cette these s'inscrit dans le contexte des langages de bases de donnees logiques et orientees objet: nous definissons le langage r & o (regles et objets), langage de regles, type, dont la syntaxe et la semantique integrent les concepts fondamentaux de l'approche objet. Notre premier objectif est de proposer un langage de requetes purement declaratif qui verifie les proprietes de fermeture et d'adequation au modele de donnees. De plus, convaincus de la necessite d'integrer differents styles de programmation, nous recherchons la compatibilite de r & o avec un langage de programmation

APA, Harvard, Vancouver, ISO, and other styles

13

Lyckow, Aleksander, and Fredrik Lindblad. "Livförsäkringsbolagens associationsformer och några konsekvenser av dessa : En deduktiv kvalitativ studie med ett agentteoretiskt redovisningsperspektiv." Thesis, Stockholm University, School of Business, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-6271.

Full text

Abstract:

<p>Den svenska livförsäkringsbranschen har genomgått en förtroendekris under början av 2000-talet. Associationsformen i vilken livförsäkringsbolagen bedriver sin verksamhet lyder under liknande lagar och förordningar som redovisningen i allmänna aktiebolag men fördelningen mellan ägnade och risk är dock inte densamma vilket leder till intressekonflikter. Författarna ämnar genom denna studie öka förståelsen för den komplexitet associationsformerna ger upphov till och hur bemötandet av dem kan tolkas ur ett agent- och informationsteoretiskt perspektiv. Intervjuer har skett med Finansinspektionen

APA, Harvard, Vancouver, ISO, and other styles

14

Wallmeyer, Thorben [Verfasser], Ralf [Akademischer Betreuer] Hofestädt, and Jan [Akademischer Betreuer] Baumbach. "Deduktiv unterstützte Rekonstruktion biologischer Netzwerke aus flexibel analysierten Textdaten / Thorben Wallmeyer ; Ralf Hofestädt, Jan Baumbach." Bielefeld : Universitätsbibliothek Bielefeld, 2016. http://d-nb.info/1121188753/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Arvidsson, Linda, Amanda Gran, and Matilda Sjöberg. "Ready or not, here they come! : En deduktiv studie om utbytesstudenternas betydelse för destinationen Kalmar." Thesis, Linnéuniversitetet, Institutionen för organisation och entreprenörskap (OE), 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-79633.

Full text

Abstract:

Utbytesstudenter har i tidigare studier identifierats som ett betydelsefullt segment inom ungdomsturismen, däremot har många destinationer inte tagit tillvara på de fördelar denna grupp för med sig. Denna studie undersökte vilka fördelar Kalmars utbytesstudenter förde med sig till staden. Eftersom tidigare studier har identifierat de tre största fördelarna som ekonomiska, kulturella och marknadsföring blev det dessa tre kategorier som vi valde att undersöka i vår studie. Denna studie bygger på en enkätundersökning och tre olika former av intervjuer. Ur ett ekonomiskt perspektiv visade vår st

APA, Harvard, Vancouver, ISO, and other styles

16

Kjellsson, Evelina, and Axéll Johanna. "Omvårdnadsåtgärder för ett främjat välbefinnande : Den subjektiva upplevelsen hos personer med demenssjukdom." Thesis, Högskolan i Jönköping, Hälsohögskolan, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-29137.

Full text

Abstract:

Bakgrund: Idag lever ca 160.000 människor i Sverige med demenssjukdom. Det finns en rad olika demenssjukdomar där Alzheimers sjukdom är den vanligaste. För att personer med demenssjukdom ska känna välbefinnande, rekommenderas en anpassad omvårdnad utifrån de nationella riktlinjerna inom demensvård. Det finns endast ett fåtal kvalitativa studier som behandlar vilka omvårdnadsåtgärder som kan tillämpas för att främja välbefinnande hos personer med demenssjukdom. Syfte: Att belysa omvårdnadsåtgärder som främjar välbefinnandet hos personer med demenssjukdom. Metod: En kvalitativ litteraturöversi

APA, Harvard, Vancouver, ISO, and other styles

17

Carlsson, Emmy, and Christina George. "Unga kvinnors känsla av sammanhang : En bloggstudie." Thesis, Hälsohögskolan, Högskolan i Jönköping, HHJ, Avd. för omvårdnad, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-30128.

Full text

Abstract:

Bakgrund: Bröstcancer är den vanligaste cancerformen bland kvinnor och insjuknandet fortsätter öka vilket ställer större krav på hälso-och sjukvården. Kvinnor under 40 år är en underbeforskad grupp då de står i minoritet bland de som drabbas av bröstcancer. Deras begriplighet, hanterbarhet samt meningsfullhet påverkar deras känsla av sammanhang. Kunskap om kvinnornas känsla av sammanhang kan hjälpa vårdpersonal att ge kvinnorna rätt stöd. Syfte: Att beskriva unga kvinnors känsla av sammanhang vid bröstcancer. Metod: Kvalitativ empirisk studie av bloggar med deduktiv ansats. Nio bloggar använde

APA, Harvard, Vancouver, ISO, and other styles

18

Adilagic, Selma, and Jennifer Erici. "Hopp hos patienter i palliativ vård : En deduktiv litteraturstudie med modellen de 6 S:en som utgångpunkt." Thesis, Ersta Sköndal högskola, Institutionen för vårdvetenskap, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:esh:diva-2214.

Full text

Abstract:

Background: In previous studies on the subject hope it has been revealed that hope is an important condition for the experience of health, quality of life and well-being. In the literature hope is described as a great support in life that is vital for a person's life and for how the person manages to become afflicted with a fatal disease. Within palliative care the 6S: s is a person-centered model for care that is directed towards the promotion of patient´s participation, relief from suffering and enablement of well-being and support of the patient and his or her family members. Aim: To descri

APA, Harvard, Vancouver, ISO, and other styles

19

Filippa, Lundgren. "Anhörigas upplevelse av delaktighet vid vård i livets slut i hemmet : En deduktiv och induktiv innehållsanalys." Thesis, Blekinge Tekniska Högskola, Institutionen för hälsa, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-10976.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Klaassen, Kajsa, Johanna Ohlsson, and Daniella Wennström. "En fördjupning av teorin Att skapa en god sjuksköterska i omvårdnad av barn : En deduktiv litteraturstudie." Thesis, Högskolan i Halmstad, Akademin för hälsa och välfärd, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-38757.

Full text

Abstract:

Barn i alla åldrar möter sjuksköterskor i vården i såväl planerade som oplanerade möten genom hela uppväxten. Grunden för ett lyckat vårdande möte med barn är tillit. Syftet med denna allmänna litteraturstudie var att beskriva barns och sjuksköterskors erfarenheter av att skapa tillitsfulla vårdande möten. Arbetet genomfördes med deduktiv ansats utifrån Randall, Brook och Stammers (2008) teori Att skapa en god sjuksköterska i omvårdnad av barn. 13 resultatartiklar valdes utifrån sökningar i sju databaser, och granskades för att sedan kategoriseras utifrån teorin Att skapa en god sjuksköterska

APA, Harvard, Vancouver, ISO, and other styles

21

Nordkvist, Pernilla. "Företagshälsovårdspersonals upplevelser av den inre kontexten vid implementering av 15-metoden : en deduktiv innehållsanalys av semistrukturerade intervjuer." Thesis, Högskolan i Gävle, Avdelningen för arbetshälsovetenskap och psykologi, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-35661.

Full text

Abstract:

Aims: The purpose is to investigate how occupational health care professionals, trained in the 15-method, experience the impact of the internal organisational context when implementing the method. Methods: The study is a qualitative semi-structured interview survey with 12 practitioners. A deductive content analysis was used, based on the PARIHS framework. Main results: The respondents experienced that an organizational culture that includes knowledge about alcohol problems promotes implementation. Developing local routines, collaborating with competent colleagues and involvement of a respecte

APA, Harvard, Vancouver, ISO, and other styles

22

Bae, Jeong-Ho. "Kants transzendentale Deduktion der Kategorien als Begründung der Metaphysik der Natur /." Hamburg : Kovač, 2007. http://www.verlagdrkovac.de/978-3-8300-2976-2.htm.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

KIERNAN, GERALD. "Integration des types abstraits de donnees dans un sgbd relationnel deductif." Paris 6, 1989. http://www.theses.fr/1989PA066273.

Full text

Abstract:

Dans les versions courantes de sgbd relationnels commerciales, les domaines de base sont limites aux entiers, aux reels et aux textes avec quelques ajouts pour representer les domaines date et devise. Cette these a pour ambition d'etendre les domaines relationnels aux types de donnees abstraits (adt). Le modele relationnel de codd ne precise aucune restriction sur les types de valeurs qui peuvent etre representees par les domaines relationnels. Donc, l'approche demeure entierement relationnelle. L'utilisateur peut definir les domaines qui caracterisent son application et les enregistrer avec l

APA, Harvard, Vancouver, ISO, and other styles

24

Anderberg, Kim. "Trefaldig symbios: Teknologi, Organisation & Covid-19. : En deduktiv studie som undersöker resultatet av en accelererad digital transformering." Thesis, Malmö universitet, Fakulteten för teknik och samhälle (TS), 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-44240.

Full text

Abstract:

Organizations that adopt digital innovations are facing a digital transformation, which can cause complications if not implemented in a systematic and methodical way. Due to Covid-19 organizations have had to adapt their work structure to enable personal to work from home to ensure the health of staff and customers. Covid-19 also forced organizations to accelerate their digital transformation which have led to a stressful implementation of new technology. An accelerated transformation can result in minimal effects which in turn results in failure and the organization can suffer the loss of ass

APA, Harvard, Vancouver, ISO, and other styles

25

DAMI, SAMIR. "Florian : un systeme deductif de gestion de base de connaissances centrees objet." Chambéry, 1989. http://www.theses.fr/1989CHAMS008.

Full text

Abstract:

De plus en plus les applications en intelligence artificielle recouvrent des domaines faisant intervenir des connaissances complexes et de nature diverse. Ce courant amene souvent a considerer des formalismes de representation parfois heterogenes et des mecanismes d'inference assez sophistiques. La notion d'objet apparu en informatique il y a quelques annees, constitue a cet egard une promesse face a ce defi, mais les concepts qui s'y rapportent, tels que l'heritage, sont encore loin d'etre maitrises en raison des origines diverses liees a cette approche. L'un des objectifs de cette these est

APA, Harvard, Vancouver, ISO, and other styles

26

Rutschman, Miriam. "”Det är sådant de behöver nöta, nöta, nöta…” : En intervjustudie med sex högstadielärare i engelska om deras arbete med grammatik och deras attityder till grammatikundervisning." Thesis, Umeå universitet, Institutionen för språkstudier, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-57054.

Full text

Abstract:

Grammar is one of the most problematic areas when it comes to teaching a language; to know if or when, and how grammar should be taught, are relevant questions to all language teachers. The aim of the study was to investigate teachers’ attitudes towards teaching grammar, and how much, how and why they use the methods that they do. Therefore semi-structured interviews were undertaken with six 9th grade English teachers. The main results showed that all six teachers were positive to formal instruction, and they considered implicit knowledge of grammar superior to explicit knowledge. The teachers

APA, Harvard, Vancouver, ISO, and other styles

27

Mattsson, Marcus, and Jenny Claesson. "Digitala hjälpmedel i matematik : Många om och men." Thesis, Högskolan i Halmstad, Sektionen för lärarutbildning (LUT), 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-24723.

Full text

Abstract:

Syftet med detta arbete är att undersöka implementationen av digitala hjälpmedel imatematikundervisningen på gymnasiet samt jämföra gymnasieelevers uppfattning medtidigare forskningsresultat. Arbetet influeras av en positivistisk hållning till kunskap ochbygger på en kvantitativ undersökning i form av en enkätundersökning hos gymnasieelever.Med hjälp av hypotetiskt deduktiv metod har vi försökt besvara våra frågeställningar.Resultaten visar att eleverna överlag har en positiv inställning till datorer och surfplattor ochatt detta överensstämmer med tidigare forskning. Resultaten visar också att

APA, Harvard, Vancouver, ISO, and other styles

28

Saidy, Jasmine, and Maija Liimatainen. "HIV-positiva kvinnors upplevelser av HIV-relaterat stigma : En litteraturöversikt." Thesis, Hälsohögskolan, Högskolan i Jönköping, HHJ, Avd. för omvårdnad, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-30382.

Full text

Abstract:

Bakgrund: HIV är en viral infektion som smittar via blod, sexuell kontakt, amning och förlossning. HIV-relaterat stigma är negativa uppfattningar, känslor och attityder gentemot de som lever med HIV eller uppfattas ha det. Fokus är främst kvinnors upplevelser av HIV-relaterat stigma eftersom det är en utsatt grupp. Genom att undersöka deras upplevelser och tillämpa personcentrerad omvårdnad kan hälsa uppnås, vilket är målet för omvårdnad. Syfte: Att beskriva HIV-positiva kvinnors upplevelser av HIV-relaterat stigma. Metod: Arbetet är en litteraturöversikt över nio artiklar som granskades med k

APA, Harvard, Vancouver, ISO, and other styles

29

Hussaini, Ashgar, and Martin Thornér. "Upplevelser efter PCI behandling: Ur ett patientperspektiv." Thesis, Mittuniversitetet, Institutionen för omvårdnad, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-42034.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Rosén, Malin, and Marie Stoltz. "Sjuksköterskans erfarenheter av svårläkta sår; : med utgångspunkt från sjuksköterskans sex kärnkompetenser." Thesis, Mittuniversitetet, Institutionen för omvårdnad, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-38816.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Hallman, Mattias. "Mot en förändrad kunskapssyn inom socialt arbete? En hypotetisk-deduktiv litteraturstudie kring implementeringen av en evidensbaserad praktik i socialtjänsten." Thesis, Malmö högskola, Fakulteten för hälsa och samhälle (HS), 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-25753.

Full text

Abstract:

Denna uppsats avser att, utifrån en samhällsvetenskaplig variant av hypotetisk-deduktiv metod, kritiskt diskutera en mer omfattande kunskapsstyrning av socialtjänsten samt implementeringen av en evidensbaserad praktik inom socialt arbete. Uppsatsen diskuterar den evidensbaserade praktikens värdegrunder paralellt med de centrala utgångspunkterna inom de nyliberala förändringar som kommit att prägla den offentliga sektorn under de senaste tre årtiondena och går under parollen New Public Management. Vidare avhandlas den utökade kunskapsstyrningen och den evidensbaserade praktikens påverkan på båd

APA, Harvard, Vancouver, ISO, and other styles

32

GUESSOUS, MOHAMED-SAAD. "Etude de la representativite des champs de vent deduits de l'imagerie des satellites geostationnaires : attribution d'une altitude aux vecteurs vents et champs moyens grande echelle deduits de l'imagerie vapeur d'eau." Paris 7, 1988. http://www.theses.fr/1988PA077220.

Full text

Abstract:

Partie i: methodologie: le but de cette etude est d'elaborer un algorithme, simple et peu couteux en temps de calcul, de suivi des nuages sur les images satellitaires et de tenter differentes methodes d'attribution d'une altitude aux vecteurs calcules. La methode de suivi de nuages est une methode qui consiste a rechercher le maximum de ressemblance entre des elements equivalents de deux images successives separees par un intervalle de temps connu. Afin d'attribuer une altitude a chaque vecteur deplacement, nous avons teste plusieurs methodes: a) methode basee sur les statistiques des radiance

APA, Harvard, Vancouver, ISO, and other styles

33

Folkebrant, David, and Dahlberg Tommi Väisänen. "Gymnasieelevers upplevelse kring deras datoranvändning : Skiljer sig upplevelserna beroende på deras habitus?" Thesis, Mälardalens högskola, Akademin för hälsa, vård och välfärd, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-25619.

Full text

Abstract:

Ungdomars liv präglas idag allt mer av datorer där datorn används flitigt både hemma och i skolan. Vår studie belyser gymnasieungdomars vanor kring datoranvändning och hur vanorna skiljer sig åt mellan elevers olika uppsättningar av habitus. Vi valde att göra en kvalitativ undersökning med en induktiv-deduktiv metod. Varför vi valde den metoden grundar sig i att det inte sedan tidigare existerar några teorier inom området som uppsatsen kan verifiera eller förkasta samt att studiens resultat tolkades utifrån Bourdieus teorier om habitus och kapital. Datamaterialet samlades in genom fjort

APA, Harvard, Vancouver, ISO, and other styles

34

Andersson, Sara. "Barn med övervikt : BVC-sjuksköterskors arbetssätt - en kvalitativ intervjustudie." Thesis, Mälardalens högskola, Akademin för hälsa, vård och välfärd, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-30735.

Full text

Abstract:

Obesity is an international as well as a national problem. In Sweden one of five four-year-olds are obese. Child health care nurses work from both a population perspective and a family perspective. The child health care centre is an arena that can make different to the obesity problem in society, by offering support to parents of children at risk for obesity or with diagnosed obesity. The purpose of the study is to describe the child health care nurses clinical practice with parents of children who are obese. The study has a qualitative approach with interviews and deductive content analysis.

APA, Harvard, Vancouver, ISO, and other styles

35

Lindberg, Hanna, and Mika Solum. "Hur sjuksköterskan förebygger urinvägsinfektion hos äldre samt effekten av dessa omvårdnadsåtgärder : En litteraturstudie med deduktiv analys utifrån Orems fem hjälpmetoder." Thesis, Högskolan i Gävle, Avdelningen för hälso- och vårdvetenskap, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-19282.

Full text

Abstract:

Bakgrund: Urinvägsinfektion är den vanligast förekommande vårdrelaterade infektionen och innebär förekomst av bakterier i urinen med eller utan symtom. Det finns ett flertal faktorer som gör att äldre är en riskgrupp för att drabbas av urinvägsinfektion bland annat samsjuklighet och funktionsnedsättningar. Urinvägsinfektioner leder till lidande hos den äldre individen och stora kostnader för samhället. Sjuksköterskan har ett ansvar att förebygga sjukdom och minska lidande. Syfte: Syftet var att beskriva sjuksköterskans omvårdnadsåtgärder, upplevda effekter samt effekter av dessa, för att föreb

APA, Harvard, Vancouver, ISO, and other styles

36

Seeberg, Ulrich. "Ursprung, Umfang und Grenzen der Erkenntnis eine Untersuchung zu Kants transzendentaler Deduktion der Kategorien." [Berlin] Philo, 2001. http://deposit.ddb.de/cgi-bin/dokserv?id=2631404&prov=M&dok_var=1&dok_ext=htm.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Andersson, Helen, and Karolina Franzén. "Value Added Tax : the Right to Deduct in Case of Carousel Fraud." Thesis, Jönköping University, JIBS, Commercial Law, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-1064.

Full text

Abstract:

<p>Taxable persons’ right to deduct input VAT is an integral part of the VAT system and may in principle not be limited. Carousel schemes deprive the Member States a great deal of tax revenue, investigations show that up to EUR 100 billion disap-pear every year. In order to stop these trading arrangements and reduce the big amount of tax revenue which disappears every year, some Member States would like to deny traders involved in carousel frauds the right to deduct the input VAT.</p><p>It exist different opinions regarding taxable persons’ ability to deduct input VAT when involved in carousel

APA, Harvard, Vancouver, ISO, and other styles

38

Wieland, Christian Andreas. "Erklärungskomponente zu einem deduktiven Datenbank-Verwaltungssystem /." Zürich : Verlag der Fachvereine an den schweizerischen Hochschulen und Techniken, 1991. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=9368.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Carlhammar, Simon. "Påverkan av spelreklam och internetspelande på konsumenter i en digitaliserad marknad : En deduktiv studie om konsumenters uppfattning av den förändrade spelmarknaden." Thesis, Högskolan i Halmstad, Centrum för innovations-, entreprenörskaps- och lärandeforskning (CIEL), 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-45068.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Nygren, Kenneth. "Sätter gränser gränser? : En teoriutvecklande studie om gränser och dess påverkan på samordningen." Thesis, Försvarshögskolan, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:fhs:diva-7430.

Full text

Abstract:

En viktig uppgift som den operativa nivån har är att samordna försvarsgrenarna så resurseffektivt som möjligt. Överraskande blir det då att krigföringsprincipen samordning är så förhållandevis outforskad. Denna teoriutvecklade studie har som ansats att genom en hypotetisk-deduktiv metod skapa en användbar hypotes som strävar efter att förklara vad som underlättar samordningen mellan försvarsgrenarna. Hypotesen bygger på framgångsfaktorer avseende gränser och dess nyttjande mellan försvarsgrenarna. Dessa hypotetiskt framtagna framgångsfaktorer grundas i militärteorin och utgör delhypoteser i hy

APA, Harvard, Vancouver, ISO, and other styles

41

Semb, Oscar. "DIGITALT KOMPETENTA LÄRARSTUDENTER GENOM UTBILDNINGSVETENSKAPLIGKÄRNA?" Thesis, Högskolan i Halmstad, Sektionen för lärarutbildning (LUT), 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-27130.

Full text

Abstract:

Syftet med examensarbetet är att undersöka erfarenheterna av IKT i Utbildningsvetenskaplig kärna1 (UVK-1) hos lärarstudenterna som läser den nya lärarutbildningen som lanserades 2011. För attuppnå detta syfte ämnar jag att besvara frågan:• I vilken grad har undervisningen i Utbildningsvetenskap-1 (UVK-1) bidragit till att utvecklalärarstudenternas digitala kompetens?Som metod används en hypotetisk deduktiv ansats. Min hypotes är att genomtänkta ochgenomgående inslag av digital kompetens saknas i lärarutbildningen. Hypotesen prövas genom enanalys av resultatet från en enkätundersökning, där lär

APA, Harvard, Vancouver, ISO, and other styles

42

Rådefjäll, Jens, and Elin Rönngren. "Lidande hos personer med trycksår. : -En litteraturöversikt." Thesis, Hälsohögskolan, Högskolan i Jönköping, HHJ, Avd. för omvårdnad, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-29190.

Full text

Abstract:

Bakgrund: Trycksår är ett välkänt begrepp i vården och är vanligt förekommande runtom i världen. Trycksår visar sig vara smärtsamma och påfrestande för personen som är drabbad och att leva med ett trycksår kan utvecklas till ett lidande för personen. Syfte: Att utifrån Erikssons lidandebegrepp beskriva personers erfarenheter i samband med trycksår. Metod: En litteraturöversikt där kvalitativa artiklar analyserades deduktivt. Sökningarna resulterade i totalt åtta artiklar som analyserades utifrån Erikssons lidandebegrepp; sjukdomslidande, vårdlidande och livsslidande. Resultat: Sjukdomslidande

APA, Harvard, Vancouver, ISO, and other styles

43

Berggren, Malin, and Camilla Strömberg. "Granskning av riktlinjer vid Sveriges förlossningskliniker gällande sfinkterskada i samband med förlossning : Innehållsanalys med en kombination av en deduktiv och induktiv ansats." Thesis, Högskolan Dalarna, Vårdvetenskap, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:du-13183.

Full text

Abstract:

Background: Sphincter injury is serious complication in connection to vaginal childbirth. Desire to avoid vaginal birth again is seen in women who previously suffered from a sphincter injury. Objective: To identify and evaluate obstetric guidelines in Sweden regarding sphincter injury in relation to childbirth Method: Content analysis with a combination of a deductive and inductive approach. Results: The most frequently occurring risk factors and prevention with help of perineal protection were described in the guidelines. The physician made diagnosis and repaired the sphincter injury at the t

APA, Harvard, Vancouver, ISO, and other styles

44

Gunnarsson, Fredrik, and Adam Withfeldt. "Hur idrottsvarumärken påverkas av sponsring från bettingbolag : En jämförande deduktiv studie gällande de svenska elitfotbollsklubbarna och deras supportrar, samt klubbarnas CSR-arbete." Thesis, Högskolan i Halmstad, Akademin för företagande, innovation och hållbarhet, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-45137.

Full text

Abstract:

Swedish football teams of today who are playing on an elite level get several tough tasks that they have to go through. It’s not like the good old days, when success on the pitch was everything that mattered. Now is the surroundings equally important. The sports profit interest today has added motivation to the football clubs to be operated equally, and that the brand and the sponsorships are portrayed as two essential factors. As a team, it’s not about working with your brand in any way you want, or collaborating with any given company. The teams need to think about where they came from, abou

APA, Harvard, Vancouver, ISO, and other styles

45

Rastoder, Elvedina. "Inlärning av verb i tyska läromedel." Thesis, Malmö högskola, Fakulteten för lärande och samhälle (LS), 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-29809.

Full text

Abstract:

I denna uppsats undersöks hur två läroböcker i tyska för högstadiet skolår 7-9 utformat ettgrammatiskt moment – verbböjningen. Analysen baseras på språkdidaktiska teorier. Ianalysen undersöks om upplägget i böckerna är didaktiskt motiverat och vilka didaktiskateorier som ligger bakom upplägget. Vidare undersöks om arbetsuppgifterna är inbäddadei ett kommunikativt sammanhang eller om de är isolerade samt vilken grad av styrningarbetsuppgifterna har. Därtill undersöks hur ordningsföljden är vid inlärningen av verben.Det finns olika teorier och metoder om grammatikinlärning, två av de viktigaste

APA, Harvard, Vancouver, ISO, and other styles

46

Thieme, Jens. "Die Ad-hoc-Publizität und ihre Konzerndimension : eine deduktive Darstellung unter Berücksichtigung der US-amerikanischen Regelungssystematik /." Berlin : dissertation.de, 2004. http://www.gbv.de/dms/spk/sbb/recht/toc/391433806.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Kim, Hwa-Sung. "Kants transzendentale Konzeption der Subjektivität und Beweis der zweiten Analogie der Erfahrung in der Kritik der reinen Vernunft." [S.l.] : [s.n.], 2005. http://archiv.ub.uni-marburg.de/diss/z2005/0136/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Chatalic, Philippe. "Raisonnement deductif en presence de connaissances imprecises et incertaines : un systeme base sur la theorie de dempster-shafer." Toulouse 3, 1986. http://www.theses.fr/1986TOU30189.

Full text

Abstract:

Ce memoire s'interesse aux approches quantitatives permettant de modeliser les notions d'incertitude et d'imprecision, dans les methodes de raisonnement automatiques. La premiere partie donne une vue d'ensemble des outils actuels, permettant de representer et manipuler des connaissances imprecises ou incertaines. La seconde partie a pour cadre general, celui des fonctions de croyances de shafer qui presente l'avantage d'englober les cadres propabiliste et possibliste comme cas particuliers

APA, Harvard, Vancouver, ISO, and other styles

49

Imad, Sadllah Marveen, and Haosar Majid. "”Grammatik är ganska svårt” : Grammatikundervisning för några mellanstadieelever." Thesis, Mälardalens högskola, Akademin för utbildning, kultur och kommunikation, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-37520.

Full text

Abstract:

Vår studie handlar om hur mellanstadielärare kan göra sin grammatikundervisning intressant och lärorik för att eleverna inte ska uppleva att grammatik är svårt. I denna studie har vi intervjuat två mellanstadielärare samt utformat en enkätundersökning som eleverna besvarat. Resultaten i vår uppsats visar att det är många elever som upplever att grammatik är ett ganska svårt och komplicerat område. Vår slutsats visar att lärarna behöver ha goda färdigheter kring grammatiken och didaktiska kunskaper. Dessutom behöver lärarna ändra på sin undervisningsform när något inte fungerar för att därigeno

APA, Harvard, Vancouver, ISO, and other styles

50

Kristoffersen, Bård. "Motivation hos yrkeselever." Thesis, Linköpings universitet, Pedagogik och didaktik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-111155.

Full text

Abstract:

Syftet med denna undersökning är att ta reda på hur det förhåller sig med motivationen inom några ämnen hos elever som går på elprogrammet på en skola i Stockholmsregionen. Undersökningen baseras på en enkätstudie av 67 elever i årskurs ett till tre och en intervjustudie av fyra elever. Den kvalitativa studien genomfördes med strukturerade intervjuer medan den kvantitativa studien genomfördes med hjälp av Internetenkäter. Undersökningens resultat visar att eleverna tycker det är avgörande för motivationen att lärarna är duktiga och engagerade, samt att det är en praktisk utbildning. Vidare fr

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!