Initiée indépendamment par Beilinson et Bernstein et par Brylinski et Kashiwara, l'étude des opérateurs différentiels sur les variétés de drapeaux complets a permis de répondre à une conjecture de Kazhdan et Lusztig. Ayant été poursuivie notamment par les travaux de Borho et Brylinski, cette étude a mis à jour plusieurs propriétés intéressantes sur les opérateurs différentiels sur les variétés de drapeaux. Cependant, en dehors du cas des variétés de drapeaux et du cas des variétés toriques projectives, qui a été étudié de manière combinatoire, les opérateurs différentiels sont plutôt mal compris sur les variétés projectives.Dans cette thèse, nous nous pencherons sur le cas de certaines compactifications magnifiques Y d'espaces symétriques G/H de petit rang, et nous comparerons les résultats obtenus avec ceux connus sur les variétés de drapeaux. Nous allons commencer par construire un opérateur différentiel global sur Y qui ne provient pas de l'action infinitésimale de l'algèbre de Lie de G, ce qui constitue une différence avec le cas des variétés de drapeaux.Ensuite, nous nous intéresserons à trois cas particulier que nous exprimerons comme des quotients GIT d'une certaine grassmannienne X. Grâce à cette description, nous verrons plusieurs similitudes avec le cas des variétés de drapeaux : nous montrerons que l'algèbre des opérateurs globaux sur Y est de type fini, et que pour tout faisceau inversible L sur Y, ses sections globales forment un module simple pour l'algèbre des opérateurs différentiels globaux de Y tordus par L. Enfin, en utilisant des arguments de cohomologie locale, nous montrerons que c'est également le cas pour les groupes de cohomologie supérieurs / Started independently by Beilinson and Bernstein, and by Brylinski and Kashiwara, the study of global differential operators on complete flag varieties has been very useful to answer a conjecture of Kazhdan and Lusztig. In their subsequent work, Borho and Brylinski have discovered many interesting properties on differential operators on flag varieties. But apart from the case of flag varieties, and the case of projective toric varieties, which has been investigated with combinatorial methods, differential operators on projective varieties are rather badly known.In this thesis, we will investigate the case of some wonderful compactifications Y of symmetric spaces G/H of small rank, and we will compare our results with what is known in the case of flag varieties. We will first construct a differential operator on Y which does not come from the infinitesimal action of G, which is different from the case of flag varieties.We will then look at three particular cases, which will be expressed as GIT quotients of some Grassmannian X. With this description, we will find some similarities with the case of flag varieties : we will show that the algebra of global differential operators is of finite type, and that for each invertible sheaf L on Y, the module of its global sections is simple as a module over the algebra of global differential operators of Y twisted by L. Finally, using arguments of local cohomology, we will show that it is still the case for higher cohomology groups

Although it is not a new method endoscopy has undergone incredible development in recent years. The examination is however very unpleasant for a patient, which is why health care staff should be well trained, particularly for child patients. The aim of the thesis was to map the specifics of nursing care for children undergoing endoscopic examination of the gastrointestinal tract. We approached the whole issue from the point of view of caring staff ? nurses. In the theoretical part we first described the gastrointestinal tract anatomy, endoscopy development and types of endoscopic examination. Then we dealt with the role of a nurse in the care for child patients undergoing these examinations. We formed three goals for the research. Goal 1: To find out how nurses prepare child patients for the individual endoscopic examinations. Goal 2: To verify whether nurses caring about a child patient undergoing gastrointestinal tract endoscopy are specifically trained. Goal 3 served as the output of the work: To elaborate recommendation for nurses preparing child patients for the individual endoscopic examinations. We chose quantitative research for collection of the necessary information. A questionnaire designed for nurses caring for child patients was the data collection technique. The questionnaire was anonymous, distributed at paediatric clinics of faculty hospitals of Moravian region. 104 questionnaires suitable for processing returned from 140 issued. The research has shown that nurses working at the clinics where the research was performed master the correct nursing care for child patients undergoing endoscopic examination of the gastrointestinal tract. Nevertheless the fact that most information is gained upon practical experience, with low emphasis on initial and repeated training of nurses also results from the research. A recommendation was elaborated upon the gathered information in the form of a standard nursing procedure proposal.

Version Control Systems are a staple of modern software development and its usage is rapidly growing in education. Students often use Version Control Systems such as Git and GitHub during their education, though newly examined students are often found to lack mastery of industry standard practices. Manually monitoring and giving feedback to students is time consuming and requires a large amount of labor. Therefore, this paper proposes and evaluates an automated feedback system which analyses student assignment repositories an publishes feedback based on a set of data points. After the study, we attempt to measure any impact of the feedback on student performance. The study is unable to underline a significant impact. Students are also asked to reflect over the feedback and the reception was positive, further promoting future studies on the subject. / Versionshantering används idag flytigt inom mjukvaruutveckling och dess popularitet växer stadigt inom högre utbildning. Studenter får ofta lära sig att använda versionshanteringssystem såsom Git och GitHub under deras utbildning, trots detta saknar nyexaminerade studenter ofta tillräcklig kunskap om relevanta industristandarder. Att manuellt övervaka studenter och tillförse dem med respons på deras inlämningar är tidskrävande och kräver mycket arbetskraft. Mot bakgrund av detta föreslår och utvärderar vi i denna studie ett automatiskt responssystem med syftet att analysera studenters inlämningar samt återkoppla med relevant respons på ett antal datapunkter. Efter studiens slut görs en mätning av skillnader i studenternas resultat men ingen konkret slutsats kan sammanställas. Studenterna tillfrågades också att reflektera över responsen de tog del av. Deras svar samt studiens resultat pekar mot att ytterligare studier inom ämnet är väl motiverade.

In today’s digital landscape, maintaining the integrity of source code is crucial for delivering reliable and trustworthy software solutions. However, the increasing prevalence of attacks targeting source code repositories and version control systems (VCSs) poses significant challenges to source code integrity. Unauthorized access to source code repositories can lead to various security risks, including the introduction of malicious code or unauthorized approvals for pull requests. Security measures implemented on the remote server hosting the repository are typically insufficient to detect these types of attacks, resulting in changes potentially remaining undetected and becoming part of the deployed artifact. To address those issues, this study proposes GitBark, a framework that employs cryptographic methods to verify the integrity of a source code repository. GitBark achieves this by enforcing rules and policies on the commits made to the repository. Specifically, the study demonstrates that by formulating rules that utilize digital signatures, GitBark can effectively identify unauthorized changes and approvals. Moreover, GitBark prioritizes maintaining the local repository in a consistent and trustworthy state, reducing reliance on the remote server. Even if changes violating established rules are introduced to the remote repository, GitBark prevents their integration into the local repository. Consequently, users of GitBark can have confidence that their local repository remains a consistent and trustworthy version of the source code, without needing to place full trust on a remote server. An evaluation of GitBark, along with the devised rules, demonstrates its effectiveness in mitigating the threats identified in this study. Additionally, in terms of performance, GitBark incurs a modest overhead, both in time and storage. / I dagens digital värld, så är det viktigare än någonsin att källkodens integritet upprätthålls. Detta är kritiskt för att kunna leverera tillförlitlig och kvalitativ mjukvara. Den ständigt ökade förekomsten av attacker som riktar sig mot källkodsrepon och versionshanteringssystem gör dock upprätthållandet av källkodens integritet svårt. Obehörig åtkomst till källkodsrepo ger upphov till flera säkerhetsrisker såsom inkluderandet av skadlig kod eller obehöriga godkännanden av nya ändringar. De säkerhetsåtgärder som finns implementerade på värdserven där källkodsrepot lagras kan generellt sätt inte detektera dessa typer av attacker, vilket resulterar i att dessa typer av ändringar oftast förblir oupptäckta. För att adressera dessa problem, så presenterar denna studie GitBark, ett verktyg som utnyttjar kryptografiska medel för att verifiera integriteten av ett källkodsrepo. GitBark gör detta genom att kräva regler för commits som görs till källkodsrepot och validera att de upprätthålls. Mer specifikt, så visar att studien att genom att formulera regler som uttnyttjar digitala signaturer så kan GitBark effektivt identifiera oauktoriserade ändringar och godkännanden. Dessutom, prioriterar GitBark att alltid bibehålla det lokala källkodsrepot i ett konsekvent och trovärdigt tillstånd, för att minska beroendet på en remoteserver. Även ifall ändringar som inte uppfyller reglerna introduceras på remote-källkodsrepot så ser GitBark till att dessa ändringar aldrig integreras i det lokala repot. Följaktligen så kan användare av GitBark känna sig säkra i att det lokala källkodsrepot alltid förblir i ett konsekvent och trovärdigt tillstånd i relation till dem etablerade reglerna, utan att behöva förlita sig på en remoteserver. En evaluering av GitBark, tillsammans med de skapade reglerna påvisar dess effektivitet i att adressera de identifierade hoten i denna studie. Dessutom, vad gäller prestanda så har GitBark en liten påverkan både i tid och utrymme.

Having the skill to work with Version Control Systems (VCS) is an important aspect of most software development projects in the industry. But students may lack the knowledge on how to use it. By applying requirements on first year students of the Computer Science programme at KTH, this thesis aims to examine if that is enough to improve their VCS behaviour. This can be examined by applying requirements and then examining the metadata from GitHub. The results from this thesis show that the students committed a bit more when requirements were applied, but that the best way to get the students to commit more is to give them the knowledge on how to have a good commit behaviour. This is in line with previous research in the same area. / Versionshanteringssystem är ett viktigt verktyg i de flesta mjukvaruprojekt. Därför är det också en nödvändig kunskap att kunna arbeta med dem. Trots det så kan många datateknikstudenter sakna dessa kunskaper i hur man använder versionshantering optimalt. Därför ämnar detta arbete att undersöka om det är möjligt att förbättra förstaårsstudenterna på civilingenjörsprogrammet med inriktning datateknik på KTHs commitvanor genom att ställa krav på dem om ett minst antal commits per vecka. Krav kan ställas och sen är det möjligt att använda metadatan från GitHub för att besvara frågeställningen. Resultaten från detta arbete visar att även om studenterna committade lite mer med bara kraven, så var det framförallt efter att de fått kunskaper om bra commitbeteenden som de också förbättrade sitt eget beteende. Detta stämmer väl överens med tidigare forskning på området.

The common ringtail possum (Pseudocheirus peregrinus), a member of the family Pseudocheiridae, is an arboreal folivorous marsupial that feeds predominantly on Eucalyptus foliage. Contrary to the expectation that small body size would inhibit utilisation of a diet containing such high levels of lignified fibre because of relatively low gut volume to body mass ratios and relatively high mass-specific metabolic rates and nutrient requirements (Hume 1999), the ringtail possum is able to survive solely on a diet of Eucalyptus foliage. The rabbit (Oryctolagus cuniculus) is a terrestrial herbivore and is a member of the family Leporidae that feeds predominantly on grasses. The rabbit was proposed as a digesta flow model for the ringtail possum since both are caecotrophic (periodically re-ingest caecal contents) and both are proposed to exhibit a colonic separation mechanism (CSM) where fluids and small, easily digested particles are preferentially returned to the caecum. The rabbit is of value for the modelling process since it is more accessible for experimental manipulation than the ringtail possum. This study investigated a proposal to use digesta passage through the gastrointestinal tract (GIT) of the rabbit as a model of digesta passage for the ringtail possum on the basis that both are caecotrophic caecum fermenters. A number of potential problems were identified with this proposal and investigation of these problems formed the basis for the research described in this thesis. Two main areas were identified as being potentially problematic: 1) fundamental flaws with the particulate markers used in digesta rate of passage studies; and 2) differences in animal behaviour and natural diet between the two subject species which suggested different digestive strategies and hence different patterns of digesta flow through the GIT. The proposed digesta passage markers were lanthanide metals (Dy, Tm, Eu and Yb) attached to either fibrous particles (1200 - 600�m) or formalin-fixed rumen bacteria (20 � 0.2�m). These markers were shown to not be of the assumed size classes and the extent of lanthanide metal binding differed between the four metals used. An effect due to method of dosing was also observed. The findings of marker inconsistencies caused major limitation to model development and further research is necessary to clarify these markers. The proposal to use digesta flow in the rabbit GIT as a model for digesta flow in the ringtail possum was shown to be idealistic due to the differences in anatomy and behaviour observed between the two herbivores. Laboratory observations, time series analysis and compartmental modelling confirmed the differences between the animals. This study showed: 1) the GIT of the rabbit was more complex both anatomically and functionally than that of the ringtail possum; 2) behaviour affecting digesta passage of the rabbit and ringtail were different and; 3) compartmental models confirmed the anatomical and behavioural findings. Digesta passage in the rabbit could not be modelled mathematically using data on digesta passage due to complexities of the system. In contrast, a basic model was constructed for digesta passage in the ringtail possum. On the basis of these findings, the research hypothesis "that digesta passage in rabbits is similar to that in ringtail possums" was rejected.

L'objet de cette thèse est l'étude de la structure symplectique des orbites coadjointes holomorphes, et de leurs projections. Une orbite coadjointe holomorphe O est une orbite coadjointe elliptique d'un groupe de Lie réel semi-simple, connexe, non compact et à centre fini, provenant d'un espace symétrique hermitien G/K, telle que O puisse être naturellement munie d'une structure kählérienne G-invariante. Ces orbites sont une généralisation de l'espace symétrique hermitien G/K. Dans cette thèse, nous prouvons que le symplectomorphisme de McDuff se généralise aux orbites coadjointes holomorphes, décrivant la structure symplectique de l'orbite O par le produit direct d'une orbite coadjointe compacte et d'un espace vectoriel symplectique. Ce symplectomorphisme est ensuite utilisé pour déterminer les équations de la projection de l'orbite O relative au sous-groupe compact maximal K de G, en faisant intervenir des résultats récents de Ressayre en Théorie Géométrique des Invariants.

The common ringtail possum (Pseudocheirus peregrinus), a member of the family Pseudocheiridae, is an arboreal folivorous marsupial that feeds predominantly on Eucalyptus foliage. Contrary to the expectation that small body size would inhibit utilisation of a diet containing such high levels of lignified fibre because of relatively low gut volume to body mass ratios and relatively high mass-specific metabolic rates and nutrient requirements (Hume 1999), the ringtail possum is able to survive solely on a diet of Eucalyptus foliage. The rabbit (Oryctolagus cuniculus) is a terrestrial herbivore and is a member of the family Leporidae that feeds predominantly on grasses. The rabbit was proposed as a digesta flow model for the ringtail possum since both are caecotrophic (periodically re-ingest caecal contents) and both are proposed to exhibit a colonic separation mechanism (CSM) where fluids and small, easily digested particles are preferentially returned to the caecum. The rabbit is of value for the modelling process since it is more accessible for experimental manipulation than the ringtail possum. This study investigated a proposal to use digesta passage through the gastrointestinal tract (GIT) of the rabbit as a model of digesta passage for the ringtail possum on the basis that both are caecotrophic caecum fermenters. A number of potential problems were identified with this proposal and investigation of these problems formed the basis for the research described in this thesis. Two main areas were identified as being potentially problematic: 1) fundamental flaws with the particulate markers used in digesta rate of passage studies; and 2) differences in animal behaviour and natural diet between the two subject species which suggested different digestive strategies and hence different patterns of digesta flow through the GIT. The proposed digesta passage markers were lanthanide metals (Dy, Tm, Eu and Yb) attached to either fibrous particles (1200 - 600�m) or formalin-fixed rumen bacteria (20 � 0.2�m). These markers were shown to not be of the assumed size classes and the extent of lanthanide metal binding differed between the four metals used. An effect due to method of dosing was also observed. The findings of marker inconsistencies caused major limitation to model development and further research is necessary to clarify these markers. The proposal to use digesta flow in the rabbit GIT as a model for digesta flow in the ringtail possum was shown to be idealistic due to the differences in anatomy and behaviour observed between the two herbivores. Laboratory observations, time series analysis and compartmental modelling confirmed the differences between the animals. This study showed: 1) the GIT of the rabbit was more complex both anatomically and functionally than that of the ringtail possum; 2) behaviour affecting digesta passage of the rabbit and ringtail were different and; 3) compartmental models confirmed the anatomical and behavioural findings. Digesta passage in the rabbit could not be modelled mathematically using data on digesta passage due to complexities of the system. In contrast, a basic model was constructed for digesta passage in the ringtail possum. On the basis of these findings, the research hypothesis "that digesta passage in rabbits is similar to that in ringtail possums" was rejected.

Hardware and software developers rely on different tools for document management, product data management (PDM) and software configuration management (SCM). As more and more products include components of both types there is a growing demand for one collaborative system. This becomes even more critical in the medical sector, where a device is under regulatory demands for document management to even be allowed in to the market. Combined systems become more complex and are generally based on PDM-principles rather than SCM. Current development of SCM tends instead towards simpler systems focused on pure version control (VCS) that are easy to use and economically available to small- and medium sized enterprises (SME), which is not the case with generic PDM-systems or combined systems. This study explored the possibility to extend the usage of such a VCS and include hardware documentation as well as software. The aim was to further our understanding of the SME perspective on product documentation for the medical device field. The method was a case study, collaboration with a SME development company. The scope was to explore possible usage of a chosen VCS (GitLab) and to compare it with a generic PDM-system and with existing manual system. The results showed that for several of the hardware document types there are special made Git-solutions to find within the open source community. However, none of the ones tested in the study was deemed good enough with respect to functionality and reliability. Instead the case study used direct storage of the files in their binary format and focused on testing different VCS functions and on how to organize in order to best gain the advantages of using the system. The conclusions showed that hardware documents can be stored in the same iterative manner as software but with limited Git functionality. Compared with a PDM system GitLab can offer the same level of revision control and communication around the specifications but lacks classification of parts and detailed product structures. GitLab offers better iteration history than both a PDMsystem and the existing manual system does. But not being able to use full Git functionality the organization needs a collaboration strategy to handle the decentralized storage. If the collaboration strategy matches the organization development practices, GitLab is a useful alternative for medical device documentation.

Jag undersöker konceptet återanvändning av kod i samarbete med webbyrån Whitespace. Genom praktik på plats i Malmö ska jag arbeta med ett utvecklingsverktyg kallat Spacecraft som de inom byrån själva utvecklat. Konceptet bygger på en komponentbaserad arbetsmetod där det i Spacecraft som utvecklingsmiljö är möjligt att strukturera sin kod baserat på komponenter med dess tillhörande HTML, JavaScript, CSS, konfiguration, bilder etc. Metoden ska göra komponenter enklare att flytta och återanvända, tanken är att detta bland annat ska bidra till en både mer effektiv- och kvalitetssäkrad produktion. Främst kommer mitt arbetet att fokusera på distribution och arkitektur för komponenter samt anpassning av funktionalitet i Spacecraft.