Au cours des dernières années, l’automatisation en bactériologie clinique est devenue très importante du fait de l’augmentation constante du nombre d’échantillons mais nécessite tout de même des améliorations. Une revue a été rédigée pour présenter les nouveaux challenges et opportunités dans la surveillance et la détection des bactéries multi-résistantes. Premièrement nous avons testé de nouveaux outils technologiques innovants permettant la lecture plus précoce des antibiogrammes grâce à des scanners de haute résolution d’images: scanner Advencis Bio-System Incubator et le Scan® 1200 et de réaliser l’ensemencement des antibiogrammes en automatique sur un automate déjà existant le PREVI® Isola (bioMérieux, Marcy l’Etoile, France). Dans un second temps, une analyse rétrospective de la résistance aux antibiotiques observés sur l’hôpital la Timone à Marseille a été réalisé entre 2014 et 2016. Nous avons développer un logiciel d’interprétation automatique des phénotypes basé sur la reconnaissance d’images pour lequel un brevet a été rédigé : le logiciel « ANTI-LOGIC ». Le but de notre troisième travail a été de participer au développement d’une PCR en temps réel permettant de détecter le gène mcr-1. Puis, nous avons travaillé sur des souches multi-résistantes afin de tester un panel constitué de 29 à 32 antibiotiques. Pour la détection des souches résistantes à la colistine, un milieu de culture sélectif a été mis au point et nous avons essayé de trouver une alternative thérapeutique par l’étude de combinaisons d’anciens antibiotiques (colistine-sulfadiazine) pour le traitement et la décolonisation avant greffe fécale de patients infectés ou colonisés par des BMR. / In the last few years, automation in clinical microbiology has become very important due to the constant increase of samples but they need to be improved. A review of the literature was performed to expose the new challenges and the new opportunities in the surveillance and the detection of multi-drug resistance bacteria.For that purpose, we conduct a thorough search to test new innovative technological tools for reading earlier AST with high-resolution image scanner: Advencis Bio-System Incubator and the Scan® 1200 and to carry out the automatic seeding of AST with the PREVI® Isola system (bioMérieux, Marcy l’Etoile, France). In a second step, the retrospective analysis of antibiotic resistance and phenotypes observed at La Timone hospital in Marseille was carried out between 2014 and 2016. We have developped a new software for the automatic interpretation of phenotypes based on image recognition protected by a patent: the "ANTI-LOGIC" software. The aim of our third work was to participate on the development of a real-time PCR to detect the mcr-1 gene. We then worked on multi-resistant strains with Gram-negative bacteria, we have tested a large panel of 29-32 antibiotics to see if we are in a therapeutic stalemate. For the detection of colistin resistant strains, a selective culture medium has been developed. In order to finish this part, with the appearance of colistin-resistant strains, we tried to find a therapeutic alternative by studying combinations of old antibiotics (colistin-sulfadiazine) for the treatment and decolonization before faecal transplantation of patients infected or colonized by multi-resistant bacteria

Erwerb vom Nichtberechtigten Diese Arbeit beschäftigt sich mit der Problematik des Erwerbs des Eigentums vom Nichtberechtigten, das ein Durchbrechen des Prinzips, dass niemand mehr Recht übertragen kann, als er selbst hat, vorstellt. Das Problem wird sowohl aus der juristisch-theoretischen Sicht als auch aus der juristisch-philosophischen behandelt, wenn der Konflikt zwischen dem Schutz des guten Glaubens, des Verkehrsschutzes und dem Schutz des Eigentums, als ein das in der Charta verankerten Grundrechte, gelöst wurde. Das gegenwärtige Bürgerliche Gesetzbuch führt das Institut des gutgläubigen Erwerbs wieder in die tschechische Rechtsordnung ein und das sowohl für die Rechtsgeschäfte zwischen Kaufleuten als auch zwischen Zivil-Personen. Zu dieser Problematik wurde schon vieles verfasst. Nichts desto trotz gibt es immer noch Streitfragen in diesem Bereich. Im Zusammenhang mit der neuen Regelung entstand auch eine Reihe von Teilproblemen, auf die hinzudeuten ist. Einige von ihnen wurden unter anderem durch einige Mängel in der tschechischen Regelung verursacht, die in den Kontrast zu der besser durgeführten deutschen Regelung gestellt wurden. Die folgende Arbeit ist in vier Hauptkapitel gegliedert, die weiter in Unterkapiteln geteilt wurden. Das erste Kapitel widmet sich den theoretischen Grundbegriffen, wie...

La vérification en ligne de spécifications formelles permet de créer des détecteurs d'erreur dont le pouvoir de détection dépend en grande partie du formalisme vérifié à l'exécution. Plus le formalisme est puissant plus la séparation entre les exécutions correctes et erronées peut être précise. Cependant, l'utilisation des vérifieurs en-ligne dans le but de détecter des erreurs est entravée par deux problèmes récurrents : le coût à l'exécution de ces vérifications, et le flou entourant les propriétés sémantiques exactes des signaux d'erreur ainsi générés. L'objectif de cette thèse est de clarifier les conditions d'utilisation de tels détecteurs dans le cadre d'applications « temps réel » critiques. Dans ce but, nous avons donné l'interprétation formelle de la notion d'erreur comportementale « temps réel». Nous définissions la propriété de détection « au plus tôt » qui permet de d'identifier la classe des détecteurs qui optimisent la latence de détection. Pour illustrer cette classe de détecteurs, nous proposons un prototype qui vérifie un comportement décrit par un automate temporisé. La propriété de détection au plus tôt est atteinte en raisonnant sur l'abstraction temporelle de l'automate et non sur l'automate lui-même. Nos contributions se déclinent dans trois domaines, la formalisation de la détection au plus tôt, sa traduction pour la synthèse de détecteurs d'erreur à partir d'automate temporisés, puis le déploiement concret de ces détecteurs sur une plate-forme de développement temps réel, Xenomai. / Runtime verification of formal specifications provides the means to generate error detectors with detection capabilities depending mostly on the kind of formalism considered. The stronger the formalism is the easier the speration between correct and erroneous execution is. Nevertheless, two recurring issues have to be considered before using such error detection mechanisms. First, the cost, at run-time, of such error detector has to be assessed. Then, we have to ensure that the execution of such detectors has a well defined semantics. This thesis aims at better understanding the conditions of use of such detectors within critical real-time software application. Given formal behavioural specification, we defined the notion of "behavioural error". Then, we identify the class of early detectors that optimize the detection latency between the occurence of such errors and their signalling. The whole generation process has been implemented for specifications provided as timed automata. The prototype achieves early error detection thanks to a preprocessing of the automaton to generate its temporal abstraction. Our contributions are threefold : formalisation of early detection, algorithms for timed automata run-time verification, and prototyping of such detectors on a real-time kernel, Xenomai.

Background: The genes that produce antibodies and the immune receptors expressed on lymphocytes are not germline encoded; rather, they are somatically generated in each developing lymphocyte by a process called V(D) J recombination, which assembles specific, independent gene segments into mature composite genes. The full set of composite genes in an individual at a single point in time is referred to as the immune repertoire. V(D) J recombination is the distinguishing feature of adaptive immunity and enables effective immune responses against an essentially infinite array of antigens. Characterization of immune repertoires is critical in both basic research and clinical contexts. Recent technological advances in repertoire profiling via high-throughput sequencing have resulted in an explosion of research activity in the field. This has been accompanied by a proliferation of software tools for analysis of repertoire sequencing data. Despite the widespread use of immune repertoire profiling and analysis software, there is currently no standardized format for output files from V(D) J analysis. Researchers utilize software such as IgBLAST and IMGT/High V-QUEST to perform V(D) J analysis and infer the structure of germline rearrangements. However, each of these software tools produces results in a different file format, and can annotate the same result using different labels. These differences make it challenging for users to perform additional downstream analyses. Results: To help address this problem, we propose a standardized file format for representing V(D) J analysis results. The proposed format, VDJML, provides a common standardized format for different V(D) J analysis applications to facilitate downstream processing of the results in an application-agnostic manner. The VDJML file format specification is accompanied by a support library, written in C++ and Python, for reading and writing the VDJML file format. Conclusions: The VDJML suite will allow users to streamline their V(D) J analysis and facilitate the sharing of scientific knowledge within the community. The VDJML suite and documentation are available from https:// vdjserver. org/ vdjml/. We welcome participation from the community in developing the file format standard, as well as code contributions.

This work investigates the thermal performance of buildings in Cyprus and application of a particular passive technology; Phase Change Materials (PCMs) for the ultimate aim of reducing indoor air temperatures and energy supplied for the cooling season.PCMs for passive building applications are emerging technology and have not been tested for the buildings of Cyprus neither by computer simulations nor by practical applications. In this work, particular PCM end product; wallboard, having phase change temperature of 26 oC is employed together with various construction materials and simulated for buildings of Cyprus. Description of the current state in Cyprus has been carried out in terms of low energy building studies, widely used building fabric and building statistics. There is a huge gap in Cyprus in the field of energy performance and thermal comfort of buildings, which creates big room for research. Climatic design of buildings has been abandoned resulting in poor thermal comfort and increased energy consumption. There is still no regulation in place regarding the thermal performance of buildings in North Cyprus.Recent weather data of different Cyprus locations has been investigated and compared with the simulation weather data files that are employed in this work. The author has demonstrated that Finkelstein-Schafer statistics between recent weather data of Cyprus and simulation weather data files are close enough to obtain accurate results.Dynamic thermal simulations has been carried out by using Energy Plus, which is a strong and validated thermal simulation program that can model PCMs. Simulations are done for two different building geometry; “simple building” and “typical building” by employing different construction materials. Simple building is a small size box shaped building and typical building is a real existing building and selected by investigation of the building statistics.Simulation results showed that with this particular PCM product, indoor air temperatures and cooling energies supplied to simple building is reduced up to 1.2 oC and 18.64 % when heavier construction materials are used and up to 1.6 oC and 44.12 % when lighter construction materials are used. These values for typical building are found to be 0.7 oC, 3.24 % when heavier construction materials are used and 1.2 oC, 3.64 % when lighter construction materials are used. It is also found that, if thinner walls and slabs are used in the buildings the effectiveness of the PCM lining increases in significant amount.

Introduction: Orthodontic treatment is meant to provide patients with stable occlusion and an esthetic smile, and often improves a patient's self-esteem. Unfortunately, and too often, an ideal orthodontic finish in terms of alignment and occlusion is tarnished by the appearance of white spot lesions on the facial surface of teeth after removing the fixed appliances. These white spots detract from the esthetics of a patient's smile. Purpose: The objective of this study was to evaluate the effectiveness of MI PasteTM (GC America, Alsip, Illinois), MI Paste PlusTM (GC America, Alsip, Illinois), and Topex RenewTM (Sultan Healthcare, Hackensack, NJ) in increasing remineralization and improving the esthetic appearance of white spot lesions in patients after treatment with fixed orthodontic appliances. In addition, at-home only versus in-office and at-home treatment protocols were evaluated. Methods and Materials: Thirty patients were enrolled in four treatment groups and a control group, with six patients in each group. The study lasted three months and results were analyzed with normal and QLF photographs. Results, Discussion, and Conclusion: Upon completion of this clinical study, the following conclusions can be drawn. First, the visible area and the fluorescence decrease of white spot lesions will both significantly lessen after orthodontic treatment regardless of products used, or even with a non-prescription fluoride toothpaste control. Second, there is some evidence that an at-home treatment protocol using Topex Renew, or a combination in-office and at-home treatment protocol with MI Paste Plus, may be more beneficial in reducing the appearance of white spot lesions after orthodontic treatment than other treatment protocols.

I den här uppsatsen tittar jag närmre på hur Dressmann valt att representera plus sizemän och redogör för hur den manliga kroppen träder fram utifrån normer kring denmanliga kroppen och sätter det i kontrast mot mitt material. Dressmann är ettklädföretag som är duktiga på att inkludera plus size män i sina reklamer. Genom envisuell analys som fördjupas med diskursanalys kommer jag fram till att den manligakroppen både representeras utifrån rådande normer, men att Dressmann också visar ennyanserad och mer realistisk bild av den manliga kroppen som bryter mot hurDressmann tidigare representerat kroppen. Avslutningsvis diskuterar jag hurDressmann i framtiden kan visa vägen för hur plus size kroppen visas och att vi måstese till hur alla kroppar ser olika ut och att ingen är den andra lik, och skapa rättvisarepresentationer kring kroppen. / In this essay I look more closely at how Dressmann chose to represent plus size menand explain how the male body emerges from norms around the male body, to laterput that in contrasts with my material. Dressmann is a clothing company that is goodat including plus size men in their advertisements. Through a visual analysis that Ideepened with a discourse analysis I come to the conclusion that the male body isrepresented on the basis of prevailing norms, but that Dressmann also shows anuanced and more realistic picture of the male body that violates how Dressmannpreviously represented the body. In conclusion, I discuss how Dressmann in the futurecan show the way for how the plus size body is shown and that we need to look at howbodies actually look, that they all look different from one to another, and create fairrepresentations around the body.

The diploma thesis aims to map the use of certain morphological phenomena by the hosts as well as the guests of Interview Plus broadcast at Český rozhlas Plus. The thesis focuses on morphological norms, in particular on three morphological phenomena - competitiveness of conditional forms "bychom", "bysme", the concord in plural neuters in the nominative, accusative, and instrumental cases. The aforementioned phenomena have been chosen because they are problematic, and their nonstandard usage has been infiltrating standard utterances. Both standard and nonstandard forms of all phenomena have been detected. The findings have been interpreted from different perspectives. Firstly, social factors, such as the speakers' profession or their gender, were taken into consideration. Secondly, the thesis observes the proportion of standard to nonstandard forms, that is how many speakers use only standard forms, how many speakers use the nonstandard form only, and how many speakers combine the two. Several hypotheses have been formulated. The first hypothesis claims that the hosts use more standard than nonstandard forms. The second hypothesis states the guests use more nonstandard forms than the hosts. The third hypothesis applies only to journalists for it proposes that the journalists use more standard forms...

The master thesis deals with the performance evaluation of the selected company according to the multi-criteria model START PLUS. Based on the assessment of key performance indicators in individual areas a scoring is created in order to identify strengths and areas for improvement. The last chapter of this thesis is dedicated to proposal of concrete measures and recommendations to increase the performance of the analyzed company.

The diploma thesis deals with the chosen company performance assessment. The company is analyzed on the basis of multi-criteria model which is used for management approaches´ assessment, specifically by means of model Start Plus. After that, the point assessment of this model was made, the strengths and the areas for improvement were identified and the specific steps were suggested. The implementation of these steps should contribute to an improvement in the company performance.