Bakgrund: Sjuksköterskor inom pediatrisk verksamhet möter ofta barn i sitt arbete som upplever smärta och rädsla vid nålrelaterade procedurer (NRP). Inom pediatrisk verksamhet är det därför viktigt att arbeta efter Barnkonventionen som ser till barnets bästa. Barns hantering av smärta och rädsla vid NRP underlättas vanligen med hjälp av information, avledning och föräldrastöd. Den pediatriska omvårdnaden är många gånger komplex och kan vara en utmaning för den oerfarna sjuksköterskan. Erfarenhet och kunskap i arbetet med barn är viktigt för att omvårdnaden ska kunna utföras på ett sätt som skapar de bästa förutsättningarna för barnet.Motiv: I den pediatriska verksamheten anställs ofta grundutbildade sjuksköterskor eftersom det råder brist på specialistutbildade barnsjuksköterskor. Studier som utförts gällande barn som uttrycker rädsla för NRP fokuserar ofta på metoder som fungerar för att hjälpa dessa barn. Däremot är det svårare att finna studier kring hur sjuksköterskor med begränsad erfarenhet inom pediatrisk verksamhet bemöter och underlättar för dessa barn. Denna studie belyser därför sjuksköterskors erfarenheter och behov av stöd gällande barn som uttrycker rädsla för NRP.Syfte: Sjuksköterskors erfarenheter av att arbeta med barn som är rädda för nålrelaterade procedurer.Metod: Sjuksköterskor inom både öppen- och slutenvård med begränsad erfarenhet inom pediatrisk verksamhet deltog i enskilda semistrukturerade intervjuer. Intervjuerna analyserades med hjälp av en kvalitativ manifest innehållsanalys.Resultat: Resultatet ledde fram till tre huvudkategorier; ”Hantera känslosamma möten”, ”Skapa de bästa förutsättningarna för barnet” och ”Få erfarenhetsbaserad kunskap inom ett komplext område”.Konklusion: För att barn som uttrycker rädsla ska få så bra förutsättningar som möjligt vid en NRP är det viktigt att sjuksköterskan känner sig trygg i sin roll. Den oerfarna sjuksköterskan behöver introduceras och utbildas inom ämnet. Erfarenhet och kollegialt stöd gör det lättare för sjuksköterskan att lyckas med en NRP där barn uttrycker rädsla. / Background: Nurses within pediatric care often meet children who experience pain and fear during needle-related procedures (NRP). This makes it important to work according to the Convention on the Rights of the Child, which looks after the best interests of the child. Childrens’ management of pain and fear in NRPs is usually facilitated with information, distraction and parental support. Pediatric nursing can be complex which is challenging for the unexperienced nurse. Experience and knowledge are important when meeting a child tobe able to create the best conditions for the child.Motive: Nurses without further education are very common in pediatric care since there is a shortage of specially trained pediatric nurses. Previous studies on children expressing fear of NRP focus on methods to help these children. Research about how nurses with limited experience in pediatric care treat these children is more difficult to find. Therefore, this study highlights nurses’ experiences and need for support regarding children expressing fear during NRP.Aim: Nurses’ experiences of working with children with fear of needle-related procedures.Methods: Nurses with limited experience in pediatric care who worked in the outpatient or inpatient care participated in individual, semistructured interviews. The interviews were analyzed using a qualitative manifest content analysis.Result: The result led to three main categories; “Manage emotional encounters”, “Creating the best conditions for the child” and “Get experiential knowledge in a complex area”.Conclusion: It is important that the nurse feels comfortable to create the best conditions for children who express fear of NRPs. The unexperienced nurse needs to be introduced and trained in the subject. Experience and collegial support make it easier for the nurse to succeed with an NRP where the child express fear.

Background: Hospital-procedures can be perceived as intimidating by children. There are situations in pediatric care where the childrens' care can be compromised if they are afraid and therefore not treated.Purpose: The purpose of the study was to highlight the parents' experiences of childrens' fear of hospital procedures and how the fears could have been relieved.Design: Descriptive interview study.Method: The study's design was qualitative where data was collected using eleven interviews. The interviews were analyzed using qualitative content analysis with inductive approach. Participants were caregivers to children aged six to twelve years, who were hospitalized. Twelve parents participated in the study. Data collection took place in February to March in 2017.Results: The results of the study are presented on the basis of two categories with eight subcategories: Cause of fear including four subcategories: experiencing pain, the feeling of being disadvantaged, hospital stay and medical procedures. Factors causing security including four subcategories: family presence, preparedness and participation, cared for by child-qualified staff and staff continuity.Conclusion: The study shows that hospitalized children experience fear due to varied causes. The cause for hospitalization is not always the reason for their fears. Child-focused care is required where healthcare staff ask for the child's perspective. Through child-focused nursing, dialogue is conducted with the child allowing expressions of what causes fear. Based on that information the healthcare staff and the child can address the unpleasant experiences and try to reduce the fear. / Bakgrund: Procedurer kan upplevas som skrämmande av barn. Det finns situationer inom pediatrisk vård där barnets vård kan äventyras om de är rädda och de av den anledningen inte får sin behandling.Syfte: Syftet med studien var att belysa föräldrars upplevelser och erfarenheter av barns rädslor i samband med sjukhusförlagda procedurer samt hur rädslorna hade kunnat lindras.Design: Deskriptiv intervjustudie.Metod: Studiens design var kvalitativ där data samlades in med hjälp av elva intervjuer. Intervjuerna analyserades med kvalitativ innehållsanalys med induktiv ansats. Deltagarna var vårdnadshavare som hade barn inlagda på sjukhus i åldern sex till tolv år. Totalt deltog tolv föräldrar i studien. Data samlades in under februari-mars månad, år 2017.Resultat: Studiens resultat presenteras utifrån två kategorier med åtta underkategorier: Orsak till rädsla innefattande fyra underkategorier: upplevelsen av smärta, känslan av att vara i underläge, sjukhusvistelse samt medicinska procedurer. Trygghetsskapande faktorer innefattande fyra underkategorier: närhet till familjen, förberedelse och delaktighet, vård av barn kompetent personal samt personalkontinuitet.Slutsats: Studien visar att barn som befinner sig på sjukhus upplever rädsla av varierande orsaker. Inläggningsorsaken är inte alltid grunden till deras rädslor. Det krävs ett barnfokuserat omhändertagande där vårdpersonalen efterfrågar barnets perspektiv. I den barnfokuserad omvårdnad förs en dialog med barnen där de själva får berätta vad som gör dem rädda. Utifrån den informationen kan vårdpersonalen tillsammans med barnet ta sig an obehagliga upplevelser och försöka reducera rädslan.

Tato práce představuje nové metody pro verifikaci programů pracujících s neomezenými celočíslenými proměnnými, konkrétně metody pro analýzu dosažitelnosti a~konečnosti. Většina těchto metod je založena na akceleračních technikách, které počítají tranzitivní uzávěry cyklů programu. V práci je nejprve představen algoritmus pro akceleraci několika tříd celočíselných relací. Tento algoritmus je až o čtyři řády rychlejší než existující techniky. Z teoretického hlediska práce dokazuje, že uvažované třídy relací jsou periodické a~poskytuje tudíž jednotné řešení prolému akcelerace. Práce dále představuje semi-algoritmus pro analýzu dosažitelnosti celočíselných programů, který sleduje relace mezi proměnnými programu a~aplikuje akcelerační techniky za účelem modulárního výpočtu souhrnů procedur. Dále je v práci navržen alternativní algoritmus pro analýzu dosažitelnosti, který integruje predikátovou abstrakci s accelerací s cílem zvýšit pravděpodobnost konvergence výpočtu. Provedené experimenty ukazují, že oba algoritmy lze úspěšně aplikovat k verifikaci programů, na kterých předchozí metody selhávaly. Práce se rovněž zabývá problémem konečnosti běhu programů a~dokazuje, že tento problém je rozhodnutelný pro několik tříd celočíselných relací. Pro některé z těchto tříd relací je v práci navržen algoritmus, který v polynomiálním čase vypočítá množinu všech konfigurací programu, z nichž existuje nekonečný běh. Tento algoritmus je integrován do metody, která analyzuje konečnost běhů celočíselných programů. Efektivnost této metody je demonstrována na několika netriviálních celočíselných programech.

Les travaux présentés dans cette thèse sont lies aux problèmes de vérification de l'atteignabilité et de la terminaison de programmes qui manipulent des données entières non-bornées. On décrit une nouvelle méthode de vérification basée sur une technique d'accélération de boucle, qui calcule, de manière exacte, la clôture transitive d'une relation arithmétique. D'abord, on introduit un algorithme d'accélération de boucle qui peut calculer, en quelques secondes, des clôtures transitives pour des relations de l'ordre d'une centaine de variables. Ensuite, on présente une méthode d'analyse de l'atteignabilité, qui manipule des relations entre les variables entières d'un programme, et applique l'accélération pour le calcul des relations entrée-sortie des procédures, de façon modulaire. Une approche alternative pour l'analyse de l'atteignabilité, présentée également dans cette thèse, intègre l'accélération avec l'abstraction par prédicats, afin de traiter le problème de divergence de cette dernière. Ces deux méthodes ont été évaluées de manière pratique, sur un nombre important d'exemples, qui étaient, jusqu'a présent, hors de la portée des outils d'analyse existants. Dernièrement, on a étudié le problème de la terminaison pour certaines classes de boucles de programme, et on a montré la décidabilité pour les relations étudiées. Pour ces classes de relations arithmétiques, on présente un algorithme qui s'exécute en temps au plus polynomial, et qui calcule l'ensemble d'états qui peuvent générer une exécution infinie. Ensuite on a intégré cet algorithme dans une méthode d'analyse de la terminaison pour des programmes qui manipulent des données entières. / This work presents novel methods for verification of reachability and termination properties of programs that manipulate unbounded integer data. Most of these methods are based on acceleration techniques which compute transitive closures of program loops. We first present an algorithm that accelerates several classes of integer relations and show that the new method performs up to four orders of magnitude better than the previous ones. On the theoretical side, our framework provides a common solution to the acceleration problem by proving that the considered classes of relations are periodic. Subsequently, we introduce a semi-algorithmic reachability analysis technique that tracks relations between variables of integer programs and applies the proposed acceleration algorithm to compute summaries of procedures in a modular way. Next, we present an alternative approach to reachability analysis that integrates predicate abstraction with our acceleration techniques to increase the likelihood of convergence of the algorithm. We evaluate these algorithms and show that they can handle a number of complex integer programs where previous approaches failed. Finally, we study the termination problem for several classes of program loops and show that it is decidable. Moreover, for some of these classes, we design a polynomial time algorithm that computes the exact set of program configurations from which non-terminating runs exist. We further integrate this algorithm into a semi-algorithmic method that analyzes termination of integer programs, and show that the resulting technique can verify termination properties of several non-trivial integer programs. / Tato pr´ace pˇredstavuje nov´e metody pro verifikaci program°u pracuj´ıc´ıch s neomezen´ymiceloˇc´ıslen´ymi promˇenn´ymi, konkr´etnˇe metody pro anal´yzu dosaˇzitelnosti a koneˇcnosti.Vˇetˇsina tˇechto metod je zaloˇzena na akceleraˇcn´ıch technik´ach, kter´e poˇc´ıtaj´ı tranzitivn´ıuz´avˇery cykl°u programu.V pr´aci je nejprve pˇredstaven algoritmus pro akceleraci nˇekolika tˇr´ıd celoˇc´ıseln´ychrelac´ı. Tento algoritmus je aˇz o ˇctyˇri ˇr´ady rychlejˇs´ı neˇz existuj´ıc´ı techniky. Z teoretick´ehohlediska pr´ace dokazuje, ˇze uvaˇzovan´e tˇr´ıdy relac´ı jsou periodick´e a poskytuje tud´ıˇzjednotn´e ˇreˇsen´ı prol´emu akcelerace.Pr´ace d´ale pˇredstavuje semi-algoritmus pro anal´yzu dosaˇzitelnosti celoˇc´ıseln´ych program°u, kter´y sleduje relace mezi promˇenn´ymi programu a aplikuje akceleraˇcn´ı technikyza ´uˇcelem modul´arn´ıho v´ypoˇctu souhrn°u procedur. D´ale je v pr´aci navrˇzen alternativn´ıalgoritmus pro anal´yzu dosaˇzitelnosti, kter´y integruje predik´atovou abstrakci s accelerac´ıs c´ılem zv´yˇsit pravdˇepodobnost konvergence v´ypoˇctu. Proveden´e experimenty ukazuj´ı, ˇzeoba algoritmy lze ´uspˇeˇsnˇe aplikovat k verifikaci program°u, na kter´ych pˇredchoz´ı metodyselh´avaly.Pr´ace se rovnˇeˇz zab´yv´a probl´emem koneˇcnosti bˇehu program°u a dokazuje, ˇze tentoprobl´em je rozhodnuteln´y pro nˇekolik tˇr´ıd celoˇc´ıseln´ych relac´ı. Pro nˇekter´e z tˇechto tˇr´ıdrelac´ı je v pr´aci navrˇzen algoritmus, kter´y v polynomi´aln´ım ˇcase vypoˇc´ıt´a mnoˇzinu vˇsechkonfigurac´ı programu, z nichˇz existuje nekoneˇcn´y bˇeh. Tento algoritmus je integrov´ando metody, kter´a analyzuje koneˇcnost bˇeh°u celoˇc´ıseln´ych program°u. Efektivnost t´etometody je demonstrov´ana na nˇekolika netrivi´aln´ıch celoˇc´ıseln´ych programech.

This thesis is concentrated on the detection and evaluation of views and experience of the institutions active in criminal procedure, namely the representatives of district courts, district prosecutions, municipal police departments of the Czech Republic and the Penitentiary of the Czech Republic. Furthermore, it deals with the position of the Probation and Mediation Service in the Czech legal system and its integration into criminal justice system. This domain is examined under three defined indicators: abbreviation of procedure, decrease of prison population and the impact of the social work implementation in justice on the offender resocialization. The investigated area was selected on the basis of study practices executed in the Probation and Mediation Service departments in Jablonec na Nisou and in Liberec, in the Prison Rýnovice and also partly by reading of expert essays, in which the results of researches concentrated on these areas are evaluated very contrarily. To achieve the objectives of the study was used a case study on probation centers in Jablonec nad Nisou and Liberec, the results were compared with a nationwide questionnaire survey.