Rozprawy doktorskie: „Dedukti”

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.

Pełny tekst źródła

Streszczenie:

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'exploration des systèmes de typescumulatifs (CTS), une famille de systèmes de type qui étend celle dessystèmes de types pures avec une relation de sous-typage. Les CTSfournissent aujourd'hui une squelette commun a beaucoup de logiquesutilisés aujourd'hui. Les logiques derrières les systèmes Coq,HOL-Light, Lean, Matita ou bien PVS peuvent toutes être vues comme desextensions des CTS avec des fonctionnalités différentes (typesinductifs, irrelevance de la preuve, sous-typage propositionnel,...). Nous définissons une nouvelle notion de traduction entreCTS. Entre autre, nous expliquons un nouvel algorithme (correct maisincomplet) pour déterminer si une preuve écrite dans un CTS peut-êtretraduire dans un autre CTS. Cet algorithme peut aussi être vu commeune extension de l'algorithme de Coq qui permet de vérifier qu'unensemble de contraintes sur les univers est cohérent. Finalement, nousproposons un nouvel encodage des CTS dans Dedukti et nous prouvonsque cet encodage est correct. Ces résultats montrent que Dedukti estun cadre logique approprié sur le plan théorique pour étudierl'interopérabilité entre systèmes de preuve.Nous poursuivons notre voyage avec une étude de cas: le petit théorèmede Fermat prouvé en Matita. Nous montrons comment nous avons putraduire cette preuve vers différents systèmes à travers le cadrelogique Dedukti. Cette traduction se repose principalement sur deuxoutils que nous avons créees :- Dkmeta qui permet d'utiliser la réécriture comme un langage à partentière pour écrire des traductions de preuves. Un avantage de cetoutil est qu'il ré-utilise la syntaxe de Dedukti.- Universo, un outil qui permet d'implémenter l'algorithme mentionnéprécédemment qui permet de traduire une preuve d'un CTS (en Dedukti)vers un autre.Cette procédure semi-automatique permet de traduire la preuve du petitthéorème de Fermat dans une logique assez faible mais expressive quel'on appelle STTforall. STTforall est une version constructive de lathéorie des types simples avec du polymorphisme prénexe. La simplicitéde cette logique permet d'exporter des preuves de STTforall vers denombreux systèmes de preuve. Cette étude de cas montre que Deduktiest tout aussi efficace en tant qu'outil pour faire del'interopérabilité sur le plan pratique.Les outils que nous avons développés dans cette thèse ne sont passpécifiques à cette traduction et peuvent être réutilisés pourd'autres systèmes de preuve dont un encodage en Dedukti est connu(comme Coq ou bien Agda).Finalement, nous concluons ce voyage avec l'exportation du petitthéorème de Fermat vers cinq systèmes de preuve différents: Coq, Lean,Matita, OpenTheory (membre de la famille des systèmes de preuve basésur la logique d'ordre supérieure) et PVS. Cette traduction estdisponible via un site web appelé Logipedia.Logipedia n'a pas été créé seulement pour cette traduction mais avecl'objectif de contenir beaucoup plus de preuves que l'on pourraitpartager entre plusieurs systèmes de preuves. Cela rendrait Logipediaalors une encyclopédie de preuves formelles en ligne
There is today a large family of proof systems based upon variouslogics: The Calculus of Inductive Constructions, Higher-Order logic orSet theory, etc. The diversity of proof systems has the negativeconsequence that theorems are formalized many times. One way toovercome this issue would be to make proof systems interoperable. Inthis thesis, we have tackled the interoperability problem for proofsystems both on the theoretical and the practical side using theDedukti logical framework.We begin our journey by looking at Cumulative Type Systems (CTS), afamily of type systems which extends that of Pure Type Systemswith a subtyping relation. CTS provides a common skeleton to manylogics used today. The logic behind Coq, HOL-Light, Lean, Matita orPVS can be seen as an extension of CTS with various features(inductive types, proof irrelevance, predicate subtyping, …). Wedefine a new notion of embedding between CTS. We also provide a soundbut incomplete algorithm to decide whether a proof in one CTS can betranslated into another CTS. This algorithm can also be seen as anextension of Coq's algorithm to check that the floating universeconstraints are consistent. Then, we propose a new embedding of CTSinto Dedukti and give a soundness proof of this embedding. Theseresults show that Dedukti is suitable for studying interoperability onthe theoretical side.We continue our journey on a case of study: The proof of Fermat'slittle theorem written in Matita. We show how we were able totranslate this proof to various proof systems through Dedukti. Thistranslation mainly relies on two tools created for this purpose:— Dkmeta, a tool which proposes to use rewriting as a way to writeproofs transformation programs. One advantage of this tool is that itreuses the syntax of Dedukti itself.— Universo, a tool which implements the aforementioned algorithm whichallows to translate a proof in one CTS (written in Dedukti) toanother.This semi-automatic translation allows to translate the proof ofFermat's little theorem into a weak but expressive logic calledSTTforall. STTforall is a constructive version of Simple Type Theorywith prenex polymorphism. As a consequence, a proof in STTforall canbe exported easily to many proof systems. This case of study showsthat Dedukti is also suitable for interoperability on the practicalside.The tools used for these transformations could be reused also forproofs coming from other proof systems for which an encoding inDedukti is known (such as Coq or Agda).The journey ends with the exportation of the proof of Fermat's littletheorem encoded in STTforall towards 5 different proof systems: Coq,Lean, Matita, OpenTheory (a member of the HOL-family proof systems)and PVS. We have implemented a user interface for that via a websitecalled Logipedia.Logipedia was designed with the goal of containing many more proofs thatcould be shared between proof systems and as such is intended to be anencyclopedia of formal proofs

Style APA, Harvard, Vancouver, ISO itp.

2

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

Pełny tekst źródła

Streszczenie:

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-type défini par un prédicat, généralement noté { x : A | P(x) }, est habité par les éléments t de type A pour lesquels P(t) est vrai. Cette extension fournit un système de type très riche et intuitif, mais qui rend le typage indécidable.Cet ouvrage est dédié à l'encodage du sous-typage par prédicats dans Dedukti, un cadre logique avec des règles de calcul. On commence par encoder une version explicite du sous-typage par prédicats pour lequel un habitant de { x: A | P(x) } est syntaxiquement différent d'un habitant de A. On montre que tout jugement dérivable dans cette version du sous-typage par prédicat peut être encodé en un jugement dérivable du cadre logique.Le sous-typage par prédicat est souvent utilisé de manière implicite, sans différence syntaxique entre les habitants de A et les habitants de { x: A | P(x) }. On enrichit le cadre logique avec un système de raffinement des termes qui pourra ajouter ces marqueurs syntaxiques. Ce raffineur peut traduire des jugements typables avec du sous-typage par prédicat implicite en des jugements typable avec du sous-typage explicite.L'assistant à la preuve pvs utilise abondamment le sous-typage par prédicat. On montre comment sa bibliothèque standard peut être exportée vers Dedukti. Par ailleurs, PVS ne préserve que des traces de preuves. Dans la pénultième section, on décrit une procédure pour générer des preuves complètes à partir des traces laissées par PVS.La dernière section détaille une architecture pour l'entrepôt et l'échange de preuves formelles, afin de promouvoir l'interopérabilité
Safe programming as well as most proof systems rely on typing. The more a type system is expressive, the more these types can be used to encode invariants which are therefore verified mechanically through type checking procedures. Dependent types extend simple types by allowing types to depend on values. For instance, it allows to define the types of lists of a certain length. Predicate subtyping is another extension of simple type theory in which types can be defined by predicates. A predicate subtype, usually noted {x: A | P(x)}, is inhabited by elements t of type A for which P(t) is true. This extension provides an extremely rich and intuitive type system, which is at the heart of the proof assistant PVS, at the cost of making type checking undecidable.This work is dedicated to the encoding of predicate subtyping in Dedukti: a logical framework with computation rules. We begin with the encoding of explicit predicate subtyping for which the terms in {x: A | P(x)} and terms of Aare syntactically different. We show that any derivable judgement of predicate subtyping can be encoded into a derivable judgement of the logical framework. Predicate subtyping, is often used implicitly: with no syntactic difference between terms of type A and terms of type {x: A | P(x) }. We enrich our logical framework with a term refiner which can add these syntactic markers. This refiner can be used to refine judgements typed with implicit predicate subtyping into explicited judgements.The proof assistant PVS uses extensively predicate subtyping. We show how its standard library can be exported to Dedukti. Because PVS only store proof traces rather than complete proof terms, we sketch in the penultimate section a procedure to generate complete proof terms from these proof traces.The last section provides the architecture of a repository dedicated to the exchange of formal proofs. The goal of such a repository is to categorise and store proofs encoded in Dedukti to promote interoperability

Style APA, Harvard, Vancouver, ISO itp.

3

Schiefele, Ulrich, i 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/.

Pełny tekst źródła

Streszczenie:

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 Tragebögen zu Lernstrategien undmotivationalen Merkmalen entwickelt. Die kognitiven und motivationalen Komponenten sind dabei strikt getrennt worden. Der vorliegende Artikel stellt beide Gruppen von Verfahren anhand ausgewählter Beispiele dar und diskutiert ihre Vor- und Nachteile.
Currently available questionnaires to measure strategies, styles, and orientations of learning seem to fall in two different groups. The first group employed an inductive procedure and proposed relatively global learner characteristics that were derived from interview studies. These characteristics typically involve motivational as well as cognitive components. The second group of measures did proceed deductively. On the basis of cognitive models of the learning process and theories of motivation, questionnaires were developed with rather specific subscales of learning strategies and motivational characteristics. These measures, however, have strictly separated cognitive and motivational components of learning. In the present article, we selected two representative examples of each group of questionnaires and discussed their advantages and disadvantages.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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 intuitive it may seem  or inextricably having to admit a skeptical conclusion.

Style APA, Harvard, Vancouver, ISO itp.

5

Jönsson, Joakim, i 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.

Pełny tekst źródła

Streszczenie:

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 och att gemenskapen i olika stödgrupper respondenterna deltagit i vägde tungt för den yttre motivationen.
The purpose of this research was to examine and understand how a process of change with a connection to motivation looks like. The individuals of which participated in the study had a common factor of changing their lifestyle after living with a fatal or potentially fatal behavior. With an attachment to the transtheoretical model we have examined whether the respondents have followed through the levels of readiness in the model in their process towards a healthier behavior pattern. By using an open dialog in the interviews we were able to examine the depth in the statements of the respondents. The final results showed among others that the inner motivation of which is experienced is essential in the maintenance of the new behavior, and that the solidarity in the various support groups of which the respondents had participated was crucial to their outer motivation.

Style APA, Harvard, Vancouver, ISO itp.

6

Mickelsson, Johanna, i 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.

Pełny tekst źródła

Streszczenie:

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 komponenter,begriplighet, hanterbarhet samt meningsfullhet. Hög nivå av begriplighet innebar attpersonen hade stor förståelse för hjärtinfarkten. Hög nivå av hanterbarhet innebar att dendrabbade lättare kunde ändra livsstilen efter hjärtinfarkten. Hög nivå av meningsfullhetinnebar att personen som drabbats av en hjärtinfarkt hittar mening i vardagen. Personer somgenomgått en hjärtinfarkt kan hantera händelsen olika beroende på nivå av KASAM. StarkKASAM innebar att personen på ett framgångsrikt sätt hanterade och begrep den nyalivssituationen.Diskussion: De tre komponenterna; begriplighet, hanterbarhet och meningsfullhet somtillsammans bildar KASAM har en viktig roll för att uppnå hälsa och livskvalitet.Slutsats: Insikten om KASAM´s kan öka förståelsen för hur en person kommer att bearbetasitt liv efter hjärtinfarkten.

Godkännande datum: 2018-03-28

Style APA, Harvard, Vancouver, ISO itp.

7

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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 att någon form av inlärning har inträffat tillfrågas eleverna om hur denna har skett. Resultatet visar att den deduktiva grammatikundervisningen tycks gynna flickor av både svensk och utländsk bakgrund.
This degree project is based on four questions and one hypothesis about the effects of deductive grammar instruction on the interlanguage of pupils who are learning German. The study attempts to show whether the deductive method favours a certain group of pupils due to ethnicity and gender. The study consists of a Grammaticality Judgement Test and a set of interviews conducted on pupils who are learning German as their optional choice of a foreign language in the upper primary school years 8 and 9. The grammatical structures that the pupils are tested on were taught spring term 2008 in connection with the regular German language lessons. By assuming that some kind of learning has occurred, the pupils were asked to explain how it took place. The results show that the deductive grammar instruction appears to favour girls with Swedish background as well as girls with a foreign background.

Style APA, Harvard, Vancouver, ISO itp.

9

Algulin, David, i 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.

Pełny tekst źródła

Streszczenie:

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 ett samband mellan eleversbristande förståelse och deduktiv undervisning som fokuserar på utantillkunskap. I studiengranskas tidigare forskning genom att tio utvalda vetenskapliga artiklar kategoriseras utifrånteoretiska perspektiv och dess innehåll tematiseras utifrån framgångsfaktorer för eleverslärande. Studiens resultat med utgångspunkt i de granskade artiklarna tyder på attarbetssättets induktiva eller deduktiva karaktär är av mindre betydelse för eleversmatematiska förståelse. Slutsatsen blir således att de identifierade framgångsfaktorerna ärmer adekvata för elevers matematiska förståelse.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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 inductive and deductive concretization as a didactic method in mathematics teaching promote the development of knowledge and learning to students?· What perceptions do teachers in grades 1-3 have regarding inductive and deductive concretization as a method of mathematics teaching? In order to answer the study's questions, qualitative methods have been used through interviews with teachers and observations in classrooms. The conclusions of the analysis of material shows that concretization through inductive and deductive methods helps students to participate in situations where different mathematical didactic consequences arise in the teaching based on the theories.

Style APA, Harvard, Vancouver, ISO itp.

11

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

12

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

Pełny tekst źródła

Streszczenie:

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 a objets. Le choix du langage a objets s'est porte sur eiffel pour ses qualites de reutilisabilite et de fiabilite. L'etat de l'art debute par une presentation des liens entre la logique du premier ordre et le concept de base de donnees, et une description du langage datalog qui caracterise les bases de donnees deductives relationnelles. La complexite des donnees dans les nouveaux domaines d'application a mis en evidence les limites du modele relationnel et a conduit a definir des langages logiques adaptes aux donnees complexes comme col, ldl, iql, f-logic ou lila. Ces langages sont classifies selon deux approches: l'approche valeur et l'approche objet. Le modele de donnees sous-jacent au langage r & o prend en compte les concepts d'objet, identificateur, classe, type, attribut methode, heritage ainsi que celui de collection qui joue un role essentiel pour satisfaire la fermeture. La syntaxe du langage est basee sur trois types de regles logiques. Elle est definie de maniere incrementale: nous l'etendons progressivement pour arriver a des regles incluant des litteraux negatifs, des termes ensemblistes, des litteraux evaluables, et des methodes fonctionnelles. Nous montrons que r & o peut etre associe au langage a objets eiffel sans grand probleme de compatibilite. L'integration est facilitee par l'utilisation d'une version persistante du langage. Ensuite, nous definissons une semantique du modele minimal pour les programmes r & o constitues de regles pures et sans litteraux negatifs. La semantique est ensuite etendue aux regles incluant la negation: nous montrons que nous pouvons appliquer a ces regles, la semantique du modele stable. La semantique des regles avec litteraux evaluables, et avec methodes fonctionnelles est aussi etudiee. Le probleme de l'evaluation des regles pures et sans litteraux negatifs est traite en adaptant une methode originale proposee pour datalog et reposant uniquement sur la resolution d'inequations numeriques pour le calcul d'un modele minimal d'un programme logique

Style APA, Harvard, Vancouver, ISO itp.

13

Lyckow, Aleksander, i 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.

Pełny tekst źródła

Streszczenie:

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 och dessa har sedermera analyserats och därefter har slutsatser dragits. Resultatet av studien visar att problematiken med intressekonflikter är snarlik oavsett associationsform, vilket har till följd att det inte finns skäl att behandla olika livförsäkringsbolag olika enkom på grund av associationsform. FI behöver göra ett tydligare vägval i frågan om graden av marknadsanpassning samt hur eventuell sådan ska ske.

Style APA, Harvard, Vancouver, ISO itp.

14

Wallmeyer, Thorben [Verfasser], Ralf [Akademischer Betreuer] Hofestädt i 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

15

Arvidsson, Linda, Amanda Gran i 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.

Pełny tekst źródła

Streszczenie:

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 studie att Kalmars utbytesstudenter betalade en levnadskostnad, de förde med sig besökare och de reste i staden, regionen, i övriga Sverige och Europa under sitt utbyte. Många av studenterna kunde även tänka sig att återvända till Kalmar i framtiden. När det kom till marknadsföring visade vår undersökning att majoriteten av utbytesstudenterna hade en positiv bild utav Kalmar. De flesta använde sig även av sociala medier och en stor del av dessa uppgav att de skrivit om eller nämnt Kalmar i sina uppdateringar. Majoriteten av studenterna kunde även tänka sig att rekommendera Kalmar till framtida utbytesstudenter. Den största kulturella påverkan utbytesstudenter har på en destination är att de utsätter värdbefolkningen för andra kulturer, men för att detta ska kunna ske behöver de interagera med värddestinationen. Vår undersökning visade att i Kalmar sker inte detta fullt ut, studenterna själva kände att de sällan interagerade med värdbefolkningen under sin tid här. Vår slutsats blev att ur ett ekonomiskt och kulturellt perspektiv kunde vi inte med säkerhet säga till vilken utsträckning utbytesstudenterna kan anses vara en betydelsefull grupp för Kalmar. Däremot såg vi att ur ett marknadsföringsperspektiv fanns flertalet fördelar. Slutsatsen blev därmed att även om vi inte kunde mäta utsträckningen av de olika fördelarna så finns dessa och bör tas tillvara på av Kalmar.
Exchange students has been seen as an important segment of youth tourism according to previous studies of the topic, nevertheless have destinations failed to see the connection between the group and the advantages that comes with. This study aimed to investigate what kind of advantages the exchange students of Kalmar brings to the city. Previous research discusses the biggest advantages as economic, cultural and marketing, these three became the categories we investigated in our study. The study is based on a survey and three interviews. Our study showed that the exchange students in Kalmar payed basic living costs. They also brought visitors and travelled around the destination as well as to other Swedish and European cities. They proved to have long term economic advantages since many of them planned to come back in the future. The result of the study when it came to marketing was that most of the students had a positive image of Kalmar, most of them also used social media and talked about or mentioned Kalmar in their updates. Many of the students would also recommend Kalmar to future exchange students. The biggest cultural impact according to previous research was that exchange students expose the host society for different cultures, however this can only happen if the exchange students gets the chance to interact with the local people and students at the destination. Our study showed that the exchange students did to some extent interact with the local students but not very much with the local society. Our conclusion became that we couldn’t say for sure to what extent exchange students affected Kalmar from an economic and cultural perspective. But we can say that from the marketing perspective the exchange students brought some advantages. We think that even though we cannot say for sure to what extent the students affect Kalmar, we do believe that the advantages that comes with the exchange students needs to be addressed and recognized by the destination and its actors.

Style APA, Harvard, Vancouver, ISO itp.

16

Kjellsson, Evelina, i 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.

Pełny tekst źródła

Streszczenie:

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översikt med deduktiv ansats utifrån Kitwood och Bredin’s modell om välbefinnande hos personer med demenssjukdom gjordes. Resultat: Det finns olika omvårdnadsåtgärder som främjar välbefinnandet. De aktiviteter som framkommer i studien är bland annat musikterapi och sysselsättningar så som träningsprogram. Slutsats: För att främja välbefinnande hos PD krävs en personcentrerad vård där sjuksköterskan tar tillvara på personens livberättelse och utefter denna anpassar omvårdnadsåtgärder. Vidare kvalitativ forskning behövs för att föra fram den subjektiva upplevelsen hos personer med demenssjukdom angående omvårdnadsåtgärder som främjar ett upplevt välbefinnande.

Style APA, Harvard, Vancouver, ISO itp.

17

Carlsson, Emmy, i 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.

Pełny tekst źródła

Streszczenie:

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ändes i resultatet som analyserades efter de tre begreppen begriplighet, hanterbarhet samt meningsfullhet. Resultat: Begriplighet var något kvinnorna fick genom att bearbeta sina känslor och tankar kopplade till sjukdomen, behandlingarna och dess biverkningar. De sökte mycket information på egen hand såsom överlevnadsstatistik samt om andra kvinnor med bröstcancer. Hanterbarheten uppnåddes främst genom resurser i sjukvården, stöd från familj och vänner samt olika former utav copingstrategier, exempelvis humor. Meningsfullheten påverkades starkt utav begränsningar orsakade av biverkningar, fertilitetspåverkan, glädje i vardagen samt drömmar och framtidsplaner. Slutsats: God och individanpassad omvårdnad, information och stöd från vårdpersonal kan öka känslan av sammanhang hos kvinnorna vilket kan hjälpa dem att konfrontera livet med bröstcancer.

Style APA, Harvard, Vancouver, ISO itp.

18

Adilagic, Selma, i 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.

Pełny tekst źródła

Streszczenie:

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 describe how patients find hope in their situation in palliative care, and to examine whether there is an interaction between the different dimensions of 6 S: s model and with patients' experiences of hope. Methods: This degree project is literature study. Analysis was made using a deductive analysis with the 6 s:n theory as a theoretical reference frame. Results: The patients were hoping for cure, to live with hope, symptom management and they found hope in activities, symbols and metaphors, dreams and fantasies, humor, spirituality, self-determination, control, relationships, strategies and goals. After the result analysis to this degree project it appeared that all factors of hope corresponded with the dimensions of the 6 S: s: Self-image, Self-determination, Social relationships, Symptom relief, Context and Strategies. Discussions:It has been found that to have hope is important for patients in palliative care as it enables them to deal with their situation and experience meaning, well-being and safety at end of life. It has also been demonstrated that there is an interaction between the different dimensions of 6 S: s model and patients' experiences of hope. Thus, the model can be assumed to facilitate a more systematic way to integrate conversations about hope and accordingly to promote hope among patients in palliative care.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

20

Klaassen, Kajsa, Johanna Ohlsson i 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.

Pełny tekst źródła

Streszczenie:

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 i omvårdnad av barn. Resultatet mynnade ut i tre huvudteman utifrån teorin. Sjuksköterskor behöver framförallt ha ett lugn i mötet med barn, vara kul och rolig och kunna knyta band till barnen. Även miljön i vilken vården sker är essentiell för ett gott vårdande möte. Slutsatsen av denna litteraturstudie blev att teorin Att skapa en god sjuksköterska i omvårdnad av barn kan vara av stor nytta för sjuksköterskor för att kunna skapa goda vårdande möten med barn.
Children of all ages meet nurses in care, in both planned and unplanned encounters throughout their childhood. The foundation in a successful encounter with children is trust. The purpose of this general literature study was to describe children’s and nurse’s experiences of creating trustful encounters with children. The study was conducted with a deductive approach based on Randall, Brook and Stammers (2008) theory To make a good children’s nurse when caring for children. 13 results articles were selected from searches in seven databases and were reviewed to be categorized based on the theory of creating a good nurse for children. The result emerged in three main themes. Nurses primarily need calmness in the encounter with children, be fun and must connect with the children. The environment in which the care is conducted is also essential in creating a good caring encounter. The conclusion of this literature study is that the theory of creating a good nurse for children could be of great benefit for nurses in their work to create good caring encounter.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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 respected physician who supports the method were essential. A committed leadership, supporting implementation in concrete action, was valued. Evaluation was rarely performed; more knowledge and materials were requested. The customers' needs and preferences were emphasized. Conclusions: The study supports the notion of implementation as a complex process that is unique to its context. The results provide insight into the professionals' experiences of influencing factors in the internal context when implementing the 15-method. The factors that recurred in all three perspectives (strengthening, weakening, suggestions for improvement) can possibly be attributed a special weight. Further studies are needed to confirm the consistency of the results when implementing other methods, as well as the effect of the internal context on the implementation process.
Syfte: Syftet är att undersöka hur företagshälsovårdspersonal som genomgått 15-metodutbildning upplever betydelsen av den inre kontexten vid implementering av 15-metoden. Metod: Studien är en kvalitativ semistrukturerad intervjuundersökning med 12 praktiker inom företagshälsovården. Bearbetningen gjordes med en deduktiv innehållsanalys utifrån det teoretiska implementeringsramverket PARIHS. Resultat: Respondenterna upplevde att en organisatorisk kultur som innefattar kunskap om alkoholproblem på alla nivåer främjar implementering. Det framhölls väsentligt att det finns lokala rutiner framtagna, att ha kollegor att samarbeta med samt att det finns en kunnig och betrodd läkare som förespråkar och stödjer användning av metoden. Ett engagerat ledarskap som ger stöd i konkret handling värderades högt. Utvärdering visade sig utföras sällan, mer kunskap och material efterfrågades. Beställarnas kunskapsbehov och preferenser framhölls centrala. Slutsats: Studien ger stöd för att implementering är en komplex process som är unik för sitt sammanhang. Resultatet ger insikt i företagshälsovårdspersonals upplevelser av inverkande faktorer i den inre kontexten på den egna arbetsplatsen vid implementering av 15-metoden. De faktorer som återkom i alla tre perspektiven (förstärkande, försvagande, förbättringsförslag) kan möjligen tillskrivas en särskild tyngd. Ytterligare studier behövs för att undersöka om föreliggande studies resultat återfinns vid implementering av andra metoder. Kvantitativa studier om den inre kontextens effekt på implementering behövs också.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

23

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

Pełny tekst źródła

Streszczenie:

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 le sgbd. Il peut aussi definir un nouvel ensemble d'operateurs applicables sur les domaines de base ou sur les nouveaux domaines qu'il a defini (domaines complexes)

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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 assets, skills, and income. This case study aims to investigate how an organization in the Swedish bakery market has handled an accelerated digital transformation due to external pressure from Covid-19. Also, the study aims to investigate which relationship in the model T-O-E has the greatest impact on the organization’s technology adaptation. Seven hypotheses and one null hypothesis were generated based on theory and previous research. To answer these, a web-based quantitative survey was conducted consisting of 59 questions, measuring 18-character traits, which in turn examine five dimensions, (1) the digital transformation process, (2) individual impediments, (3) the organization’s obstacles and opportunities as well as the competence and incompetence imbedded in the organization, (4) perceived usability and user-friendliness and (5) Covid-19. The questionnaire was then analysed to find mean, standard deviation, percentage, and correlation. The result show that the company has successfully accomplished the transformation and this despite that all theory goes against this accomplishment, and sates that an accelerated digital transformation would result in failure. Furthermore, the result show that external pressures (in this case Covid-19) in T-O-E had the greatest impact on the organization's success and was the reason that the implementation succeeded without major complications. It turned out that the degree of complexity of the technology played a big role in the company's success. Because if the technology had maintained a greater degree of complexity, the company would probably not have been as successful. In conclusion, the factor Organization played a crucial role in the adoption of the technology, because the management despite a forced accelerated digital transformation managed to generate a smart leadership and an ideal culture, that caused most of the staff to experience the transformation positively. The study shows that companies do not need strategic analysis to be successful in a transformation, but on the other hand, a threefold symbiosis of technology, organization & Covid-19 is required to succeed with a forced accelerated transformation.
Organisationer som anammar digitala innovationer står inför en digital transformering, vilket kan ge upphov till komplikationer om det inte införs på ett systematiskt och metodiskt sätt. På grund av Covid-19 har organisationer fått anpassa sin organisation till arbeta hemifrån, för att säkerställa personalens och kunders hälsa. Detta har lett till att organisationer stressar med transformeringen vilket kan leda till att effekten blir minimal, som i sin tur resulterar i ett misslyckande och organisationen går miste om tillgångar, kompetens och intäkter. Denna studie syftar till att undersöka hur en organisation inom den svenska bagerimarknaden har hanterat en accelererad digital transformering på grund externa påtryckningar från Covid-19 och till att undersöka vilket förhållande i modellen T-O-E (technology-organization-environment) som har störst inverkan på organisationens framgång i transformationen. För att uppnå syftet skapades sju hypoteser och en nollhypotes utifrån teori och tidigare forskning. För att besvara dessa hypoteser och samla in data genomfördes en webbaserad kvantitativ enkät som bestod av 59 frågor, som mäter 18 karaktärsdrag, som i sin tur undersöker fem dimensioner, (1) den digitala transformeringsprocessen, (2) individuella mot-och medgångar, (3) organisationens hinder och möjligheter samt kompetens och inkompetens, (4) upplevd användbarhet och användarvänlighet och (5) Covid-19. Sedan analyserades enkäten för att hitta medelvärden, standardavvikelser, procentsatser och samvariationer. Resultatet visar att företaget har på ett framgångsrikt sätt lyckats med transformeringen och detta trots att all teori tyder på att en accelererad digital transformering inte skulle uppnå önskvärda resultat. Vidare visar resultatet att externa påtryckningar (i detta fall Covid-19) i T-O-E hade störst inverkan på organisationens framgång och medförde att implementeringen genomfördes utan större komplikationer. Det visade sig att teknikens grad av komplexitet spelade en stor roll i företagets framgång. Detta eftersom om tekniken hade erhållit en större grad av komplexitet hade troligen företaget inte varit lika framgångsrikt. Avslutningsvis spelade faktorn organisation en avgörande roll i adoptionen av tekniken, eftersom ledningen trots en påtvingad accelererad digital transformering lyckades generera ett smart ledarskap och en idealisk kultur som medförde att majoriteten av personalen upplevde transformeringen positiv. Studien visar att företag inte behöver strategiska analyser för att vara framgångsrika i en transformering men däremot krävs det en trefaldig symbios av teknologi, organisation & Covid-19 för att lyckas med en påtvingad accelererad transformering.

Style APA, Harvard, Vancouver, ISO itp.

25

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

Pełny tekst źródła

Streszczenie:

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 d'unifier differentes perceptions de la notion d'objet, en particulier celle des langages de programmation et celle de la representation de connaissances en ia (intelligence artificielle). Une autre motivation ressentie est liee a l'evolution des systemes a base de connaissances et l'apport des techniques d'ia dans ce domaine. C'est ainsi que l'integration des regles de production aux objets peut etre vu comme un moyen, d'une part pour completer les connaissances acquises, et d'autre part, pour aider a maintenir la coherence de la base. Ce dernier aspect est egalement une des preoccupations de cette these, notamment sur la validite des connaissances inferees par heritage ou par deduction. Les mecanismes mis en place a cet egard, sont essentiellement bases sur des techniques issues des systemes de maintenance de la verite (tms) (truth maintenance systems)

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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 found it problematic to estimate the time spent working on grammar, mainly because half of them saw working on grammar in a wider perspective. All the teachers used the deductive method of teaching, but only half of them also used the inductive method. All but one teacher mentioned the students as being the most important factor that influences their teaching, and also time is mentioned and considered by two of the teachers as a reason for using a text book. The results of this study may be of help to foreign language teachers, or student teachers when considering how to teach grammar.

Style APA, Harvard, Vancouver, ISO itp.

27

Mattsson, Marcus, i 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.

Pełny tekst źródła

Streszczenie:

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 datorer används ihögre utsträckning än surfplattor samt att tekniken endast blir effektiv om den används på rättsätt. Slutsatsen som vi drar av detta arbete är att den moderna tekniken alltid kommer att varasvår att implementera i skolan samt att den ibland kommer att användas på fel sätt. Men närden väl har fått tid att komma in i systemet och börjas användas på rätt sätt kan den leda tillstora framgångar och utveckling i den vardagliga verksamheten på skolorna.

Style APA, Harvard, Vancouver, ISO itp.

28

Saidy, Jasmine, i 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.

Pełny tekst źródła

Streszczenie:

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 kvalitetsgranskningsprotokoll. Artiklarna analyserades utifrån en deduktiv ansats med hjälp av ”Model of Stigma” gjord av Churcher.Resultat: Resultatet presenterades under fyra kategorier; vicarious, enacted, internalized och perceived stigma. HIV-relaterat stigma upplevs som en förlust av identitet, värdighet, arbete och sociala relationer. Detta medförde mycket skam för de drabbade och för att undvika detta dolde vissa sin status. Slutsatser: Kvinnornas upplevelser av HIV-relaterat stigma påverkade deras liv på många olika plan. Omgivningens attityd mot dem påverkade mycket. Bland annat den mentala hälsan hos de HIV-positiva personerna påverkades negativt av stigma. Sjuksköterskan bör därför stötta den HIV-positiva personen i att hitta en ny identitet med sjukdomen så att personen kan uppnå hälsa.
Background: HIV is a viral infection which is transmitted through blood, sexual contact, perinatal transmission and breastfeeding. HIV-related stigma is negative beliefs, feelings or attitudes about an individual based on their true or perceived HIV-status. The focus is on HIV-positive womens’ experiences, because it is a vulnerable group. Health can be achieved by exploring their experiences and using personcentered care, which is the goal for nursing.Aim: To describe HIV-positive womens' experiences of HIV-related stigma.Method: A literature review was made. Nine articles were examined with quality protocols and analyzed through a deductive approach with ”Model of stigma” of Churcher.Results: The result was presented underneath four categories; vicarious, enacted, internalized and perceived stigma. HIV-related stigma was experiencd as a loss of identity, dignity, work and social relationships. It brought a lot of shame to the women and some of them hid their status to avoid it.Conclusions: The women’s’ experiences of HIV-related stigma affected their lives on multiple levels. Their surrounding context affected them a lot. Their mental health was affected negatively by the stigma. Hence the nurse should support the HIV-positive person to find a new identity with the disease in order to achieve health.

Style APA, Harvard, Vancouver, ISO itp.

29

Hussaini, Ashgar, i 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

30

Rosén, Malin, i 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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åde kommun, socialtjänst och den enskilde handläggaren och brukaren. Den enskilde handläggarens handlingsutrymme och autonomi avhandlas utifrån teorier om gräsrotsbyråkratens möjlighet att påverka den förda politiken. Resultatet visar att det finns tydliga kopplingar mellan den evidensbaserade praktiken och förhållningssätt och synsätt som inrymmer New Public Management. Konsekvenser av detta innebär en förändrad kunskapssyn på socialt arbete och ett synsätt som närmar sig det som finns inom hälso- och sjukvården vilken präglas av ett positivistiskt präglad kunskapssyn. Resultatet visar även på svårigheterna att bedöma påverkan av verksamheten och handläggarens handlingsutrymme utifrån empiri bestående av offentliga utredningar och en vetenskapssyn som är positivistisk.
This degree projects intention is to, from a social sciences version of a hypothetical-deductive method, create a critical discussion of a more extensive type of knowledge management in social services and the implementation of evidence-based policy in social work. The degree project discusses the values of evidence-based policy parallel with central points of the neoliberal changes that came to characterize the public service during the last three decades and went under the slogan New Public Management. Further discussion is how the extended knowledge management and evidence-based policy affect on both municipality, social service, the individual social worker and client. The individual social workers and their discretion and autonomy are discussed, based on theories on street-level bureaucrats and their possibility to affect policy. The result shows that there are clear links between the idea of evidence-based policy and approaches that’s clear in New Public Management. Consequences of this means that a changed view on knowledge in social work and a view that’s coming closer to the view that can be seen in the field of health and medical care. The result also shows the difficulties to judge the affect evidence-based policy and a changed view on knowledge within social service and the social workers discretion from an empiricism based on public investigations out of a view of science that’s positivistic.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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 radiances contenues dans l'element d'image a comparer; b) calcul des deplacements sur des images separees en niveaux de radiances utilisant les radiances visible et infrarouge; c) classification des nuages sur les images et affectations des vecteurs deplacement a la classe de nuage majoritaire. Les avantages et inconvenients de ces methodes sont discutes. Le seuillage preliminaire au calcul de deplacement introduit des problemes pour les nuages des niveaux inferieurs. Il parait donc plus judicieux d'effectuer ce calcul avant toute classification. Partie ii: application sur les images isccp vapeur d'eau du mois de juillet des annees 83, 84 et 85: le but de cette partie de notre etude est de mesurer les deplacements des nuages et des structures vapeur d'eau sur les images isccp et d'essayer de mettre en relation ces deplacements avec les vents d'un niveau approprie ou avec la propagation des systemes atmospheriques. Une comparaison des resultats obtenus pour juillet 83, 84 et 85 est aussi presentee. A partir des champs deplacement individuels, nous avons calcule les champs moyens mensuels et analyse leur representativite statistique. Une comparaison des champs mensuels moyens avec les champs de vent du cepmmt a differents niveaux a ete effectuee. Il s'avere que les champs obtenus ne peuvent etre attribues a un niveau bi

Style APA, Harvard, Vancouver, ISO itp.

33

Lindberg, Hanna, i 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.

Pełny tekst źródła

Streszczenie:

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örebygga uppkomst av urinvägsinfektion hos äldre samt att beskriva de inkluderade artiklarnas urvalsmetod och undersökningsgrupp. Metod: En litteraturstudie med deskriptiv design. Studien baseras på 14 vetenskapliga artiklar. Av dessa var 12 stycken skrivna med kvantitativ ansats och två med kvalitativ ansats. Resultatet analyserades deduktivt utifrån Orems fem hjälpmetoder och subkategorierna framkom efter en induktiv analys. Huvudresultat: Resultatet sammanställdes i följande kategorier: Att göra något eller handla för en annan person med subkategorierna; God hygien, Specifika åtgärder relaterade till kateter, Ökat vätskeintag samt Profylaktiska läkemedel och tillskott. Att handleda en annan person, Att ge fysiskt och psykologiskt stöd, Att skapa en miljö som främjar utveckling samt Att undervisa. Slutsats: Sjuksköterskorna i studien använde sig av ett flertal olika omvårdnadsåtgärder för att förebygga urinvägsinfektion. Att förkorta tid med kateter samt att undvika att sätta kateter var de mest effektiva åtgärderna för att förebygga urinvägsinfektion. Sjuksköterskorna i studien upplevde att utbildning av patienter, omvårdnadspersonal och anhöriga samt ett ökat vätskeintag reducerade incidens av urinvägsinfektion.
Background: Urinary tract infection is the most common nosocomial infection and involves the presence of bacteria in the urine with or without symptoms. There are several factors that make that the elderly are at increased risk of suffering from urinary tract infection among other comorbidity and functional impairments. Urinary tract infections lead to suffering among elderly individuals and high costs for the society. The nurse has a responsibility to prevent disease and reduce suffering. Aim:The aim was to describe nursing care measures, perceived effects and the effects of these, in order to prevent the occurrence of urinary tract infection in the elderly and to describe the included articles in the sampling methodology and survey group. Method: A literature study with descriptive design. The study is based on 14 scientific articles. Of these, 12 studies with a quantitative approach and two studies with a qualitative approach. The results were analyzed deductively based on Orem´s five methods of helping. Subcategories emerged after an inductive analysis Main results: The results were compiled in the following categories: To do something or act for another person with subcategories; Good hygiene, Specific actions related to the indwelling urinary catheter, Increased fluid intake and Prophylactic agents / supplements. To mentor another person, To give physically and psychological support, To create an environment conducive to development and To educate. Conclusion: The nurses in the study used a variety of nursing interventions for preventing UTI. To shorten the time with the indwelling urinary catheter and to avoid inserting indwelling urinary catheter were the most effective methods to prevent urinary tract infections. The nurses in the study considered that education of patients, nursing staff and relatives and an increased fluid intake decreased incidence of urinary tract infections.

Style APA, Harvard, Vancouver, ISO itp.

34

Folkebrant, David, i 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.

Pełny tekst źródła

Streszczenie:

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 fjorton stycken semi-strukturerade intervjuer vid två olika gymnasieprogram som präglas av olika mängd utbildningskapital. Respondenternas svar bearbetades genom teman som skapades för att finna likheter och skillnader för gymnasieprogrammen samt att hitta kulturella gemensamma särdrag. Undersökningen ger en varierande bild av de konsekvenser som datoranvändningen kan orsaka.

Style APA, Harvard, Vancouver, ISO itp.

35

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.

Pełny tekst źródła

Streszczenie:

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. Five child health care nurses have been interviewed. Olander's theory of clinical practice is the reference of the deductive content analysis. The result shows that the child health care nurses are aware of their two missions. Their population mission is based on the national guidelines of child health care. However, their family mission seems to be prominent. This as the child health care nurses strive to work in an individualized manner to identify the needs of each family to determine on how to invite parents to participate and how to communicate with parents about their child’s obesity.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

37

Andersson, Helen, i 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.

Pełny tekst źródła

Streszczenie:

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.

It exist different opinions regarding taxable persons’ ability to deduct input VAT when involved in carousel frauds. The ECJ has given judgements in three interest-ing cases dealing with the right to deduct in case of carousel fraud. In the Optigen case, it was established that taxable persons who do not know or have any reason to believe that they are involved in a carousel fraud cannot be denied the right to deduct the input VAT. In the FTI case, it was concluded that taxable persons in-volved in carousel frauds can be jointly and severally liable to pay the VAT to-gether with the person, actually liable to pay the VAT. A precondition for making a taxable person jointly and severally liable is that the taxable person has to be aware or should have been aware that the transaction made, was involved in such a scheme. If the taxable person did not know or had no reason to suspect this, he cannot be made jointly and severally liable. The ruling in the Kittel case confirms the Optigen judgement as well as concludes that when a taxable person is aware or should have been aware that he is involved in a carousel scheme, he is not enti-tled to deduct the input VAT. If this is the case, it is possible for the tax authori-ties in the different Member States to deny taxable persons this right as well as claim a refund.

These judgements clarify when the national tax authorities can deny a taxable per-son the right to deduct input VAT when the transactions are made in a chain of fraud. However, another problem occurred, it is up to the national courts to de-cide when a taxable person should be aware that he is involved in a carousel fraud. This decision shall be based upon objective factors, no guidelines or any other help as to what these objective factors should consist of have been published. This creates an interpretation gap for the national courts followed by the risk of having an outcome with different interpretations from the courts in the Member States.

Den avdragsrätt som beskattningsbara personer besitter utgör en oskiljaktig del av mervärdesskattesystemet och kan därför i princip inte inskränkas. Karusellhandel berövar medlemsstaterna på stora mängder skatteinkomster. Olika undersökning-ar visar att upp till 100 miljarder euro försvinner varje år till följd av karusellbe-drägerier. Vissa medlemsstater vill kunna neka avdragsrätt för beskattningsbara personer som är inblandade i olika typer av karusellhandel som ett försök att stoppa dessa arrangemang och för att minska de skatteintäkter som årligen förlo-ras.

Det finns olika åsikter om möjligheten att neka avdragsrätt för beskattningsbara personer involverade i karusellhandel. EG-domstolen har avkunnat domar i tre in-tressanta mål som rör avdragsrätten vid karusellhandel. I Optigen målet fastställ-des att beskattningsbara personer som inte vet eller har någon anledning att miss-tänka att de är inblandade i en karusellhandel inte kan bli nekade att dra av den in-gående mervärdesskatten. I FTI målet drogs slutsatsen att beskattningsbara per-soner involverade i karusellhandel kan bli solidariskt betalningsansvariga för sälja-rens mervärdesskatteskuld. Förutsättningen för att sådant ansvar skall kunna åläg-gas är att den beskattningsbara personen visste eller hade skälig anledning att misstänka att han var involverad i ett karusellbedrägeri. Däremot kan en beskatt-ningsbar person som inte visste eller hade skälig anledning att misstänka att han var inblandad i ett karusellbedrägeri inte åläggas solidariskt betalningsansvar. Do-men i Kittel målet bekräftar Optigen domen samtidigt som den fastställer att be-skattningsbara personer som medvetet eller som haft skälig anledning att misstän-ka att han är inblandad i ett karusellbedrägeri kan förlora avdragsrätten. Om så är fallet kan följaktligen de nationella skattemyndigheterna neka avdragsrätt för en beskattningsbar person samt kräva en återbetalning av redan utbetalad mervärdes-skatt.

Dessa domar klarlägger när de nationella skattemyndigheterna kan neka en be-skattningsbar person avdragsrätten när en transaktion är genomförd i samband med ett karusellbedrägeri. Ett annat problem uppstod dock eftersom det är upp till de nationella domstolarna att bestämma när en beskattningsbar person skall ha skälig anledning att misstänka att han är involverad i ett karusellbedrägeri. Detta beslut ska baseras på objektiva faktorer, det finns emellertid inga riktlinjer eller annan hjälp att ta till för att bestämma vad dessa objektiva faktorer skall vara. Det-ta skapar ett tolkningsproblem för de nationella domstolarna, vilket kan resultera i olika tolkningar mellan medlemsstaterna.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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 hypotesen. Den empiriska undersökningen är en hypotesprövande enfallsstudie av operation Husky. Hypotesprövningen syftar till att stärka eller förkasta delar eller hela den hypotetiska framtagna teorin. Resultatet från hypotesprövningen visar på ett behov dock i olika grad av samtliga framtagna delhypoteser. På grund av det begränsade omfånget undersöks inte förtroendet mellan försvarsgrenarna som delhypotes vid analysen. Trots detta uppkommer under analysen att det kan utgöra en grundförutsättning för att underlätta samordningen. Den preliminära och omarbetade hypotes som grundats av undersökningens slutsatser lyder: Samordningen mellan försvarsgrenarna grundas i ömsesidigt förtroende och underlättas om det tilldelade rummet ger möjlighet att sprida och manövrera med försvarsgrenen, ledningens förmåga att dynamiskt anpassa gränserna samt att gränsers placering är präglad av enkelhet.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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ärarstudenterna är informanter. Ett teoretisktramverk för min analys upprättas också kring det sociokulturella perspektivet, digital kompetenssamt konnektivism.Mitt examensarbete pekar på att undervisningen i UVK-1 i låg grad bidrar till att utvecklalärarstudenters digitala kompetens. Trots att det finns IKT-relaterade mål i kursplanerna så verkarutbildningen i UVK-1 inte att kvalificera sig för att arbeta mot digital kompetens. Vilket kan fåkonsekvenser för hur utvecklandet av skolans undervisningspraktik ser ut i framtiden. Flera tidigarestudier pekar på att IKT inte är ett naturligt inslag i varken lärarutbildning eller skolverksamheten ilandet.

Style APA, Harvard, Vancouver, ISO itp.

42

Rådefjäll, Jens, i 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.

Pełny tekst źródła

Streszczenie:

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 visade att smärta i samband med trycksår var representerat för flera personer. Även skam och genans på grund av trycksåret och dess odör beskrevs. I kategorin vårdlidande beskrevs nonchalans samt brister i kommunikation och information vilket resulterade i kritik mot sjukvård och vårdpersonal. Livslidandet yttrade sig i livsförändringar och bidrog till en social isolering. Slutsats: Personers lidande till följd av deras trycksår visade sig vara komplext men också vanligt förekommande. Därför är det viktigt att vårdpersonal har strategier för att identifiera lidande och då med hjälp av Erikssons lidandeteori. När vårdpersonalen vet vilket lidande personer upplever kan åtgärderna riktas specifikt och individanpassas. Vid exempelvis outhärdlig smärta bör då fokus ligga på att få smärtan hanterbar för personen.
Background: Pressure ulcer is a well-known concept worldwide in the care environment. Pressure ulcers are painful and stressful and it can create a suffering for the person living with it. Purpose: To describe the suffering a person is experiencing when having a pressure ulcer based on Eriksson’s suffering concept. Method: A qualitative literature review with a deductive analysis. Eight articles where found which were analyzed by Eriksson’s suffering concept; suffering in sickness, suffering in care and suffering which affect life. Result: Suffering in sickness showed that pain, shame and embarrassment was common reported. Suffering in care resulted in reported critic against healthcare and caregivers because of lack of communication and information. Suffering which affect life created a change of life and social isolation. Conclusion: The persons’ experiences of suffering, as a result of pressure ulcers, are complex and hard to define but also common to see. Caregivers therefore needs to create strategies to identify the suffering with directions from Eriksson´s suffering concept. When the caregiver knows which suffering the person experiencing arrangements can be specific directed and individualized. For example, when someone experiencing unbearable pain, focus should be to get the pain manageable for the person.

Style APA, Harvard, Vancouver, ISO itp.

43

Berggren, Malin, i 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.

Pełny tekst źródła

Streszczenie:

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 theatre. Complications such as coital pain and anal incontinence were described in the guidelines. Paracetamol and diclofenac was most common analgesic regimen given for pain. Prophylaxis such as antibiotic treatment and laxative were common. Information given to women was described. Follow-up by physician, midwife and physiotherapist was recommended after four weeks to six months. For future birth a cesarean section was recommended. Conclusion: The guidelines were constructed in the same way and had to a large extent similar content. The authors of the present work recommend a national guideline.
Bakgrund: Sfinkterskada är en allvarlig komplikation i samband med vaginal förlossning. Önskan om att undvika vaginal förlossning igen ses hos kvinnor som tidigare drabbats av sfinkterskada. Syfte: Syftet med studien var att ta reda på om det fanns riktlinjer gällande sfinkterskada i samband med förlossning vid Sveriges förlossningskliniker samt sammanställa och granska innehållet i riktlinjerna. Metod: Innehållsanalys med en kombination av deduktiv och induktiv ansats. Resultat: Av de 39 kliniker som svarade hade 31 riktlinjer gällande sfinkterskada. I riktlinjerna beskrevs vanligast förekommande riskfaktorer samt prevention med hjälp av perinealskydd. Läkaren ställde diagnos och utförde reparation av sfinkterskadan på operationsavdelningen. Komplikationer som samlagssmärta och anal inkontinens fanns beskrivet i riktlinjerna. Paracetamol och diklofenak var den vanligast förekommande smärtlindringen. Profylax som antibiotikabehandling och laxantia gavs av de flesta förlossningskliniker. Information till den nyförlösta kvinnan beskrevs. Uppföljning hos läkare, barnmorska och sjukgymnast rekommenderades efter fyra veckor till sex månader. Vid kommande graviditet och förlossning föredrogs kejsarsnitt. Slutsats: Riktlinjerna var uppbyggda på samma sätt och hade till stor del liknande innehåll. Författarna till föreliggande fördjupningsarbete efterfrågar en nationell riktlinje.

Style APA, Harvard, Vancouver, ISO itp.

44

Gunnarsson, Fredrik, i 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.

Pełny tekst źródła

Streszczenie:

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, about their roots within the sports industry. Because of this they need to follow the laws and norms that are part of the industry. For several years, including right now, a lot of teams, particularly football teams, have been sponsored by gambling companies. Acquiring a sponsor like this is good in one way because it adds a lot of income for the teams. These sponsorships have become a hot topic within the general public especially since The Swedish Sports Confederation are outspoken about their opinions regarding how they feel that sports are supposed to promote good health and gambling is not included in that category. This creates issues in the various football teams because they need the capital that they gain from the sponsorships with gambling companies. However at the same time they need to keep their good brand/reputation that led to the teams gaining supporters in the first place. The purpose of this study is to look at how sponsorships from gambling companies affect the brand of the teams as well as examining what view the teams have on sponsorships from gambling companies. It also looks at the stance that teams have on CSR (Corporate Social Responsibility) in other words, the values within the sport when new co-operations come into play for teams. We are utilizing the theories behind brand identity, brand meaning, brand response and brand relationship as the foundation for this case study. Combined, these theories build the brand equity theory, as well as word-of-mouth and brand identity transfer in order to measure the strength within the different brands. CSR-theories and sponsorships have also been used in order to prove the studies further. The research method used was triangulation, where 5 semistructured interviews with respondents from different football teams in the Swedish professional leagues have been conducted. A questionnaire has been completed by 416 respondents. These respondents are supporters for teams within the Swedish professional football leagues.The result of this case study shows that the supporters look negatively at the sponsorship cooperation between Allsvenskan/Superettan and Unibet. On the other end, the teams themselves see these sponsorships as positive. However the co-operation does not affect the image that the supporters have of the specific team's brand.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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 är dendeduktiva kontra den induktiva metoden. En annan beskriver hur man uppfattar ocharbetar med grammatiken, som produkt eller som process. När det gällergrammatikkunskap skiljer man på den deklarativa kunskapen och den procedurala.Analysresultatet visar en obalans mellan de båda läroböckerna, där det ena läromedletligger mer i framkant med dagens språkdidaktiska forskning än det andra.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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/.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

49

Imad, Sadllah Marveen, i 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.

Pełny tekst źródła

Streszczenie:

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ärigenom ge eleverna bättre förståelse och bidra till att de inte tappar motivationen för grammatikundervisningen.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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 framkommer att krav och förväntningar från föräldrar, lärare och praktikplats har stor betydelse för elevernas prestationer. Många av eleverna tycker att arbete och tjäna pengar stärker deras motivation att arbeta med studierna. Studien visar även att många el-elever väljer att läsa högskoleförberedande kurser.

Style APA, Harvard, Vancouver, ISO itp.

Rozprawy doktorskie na temat „Dedukti”

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych