108495 research outputs found
Sort by
Combining Verification Tools for More Effective Data Race Detection
Get PDFThe purpose of this Bachelor’s thesis is to create a tool, CoOpeRace CLI, that utilizes the principles of verification cooperation to combine existing verification tools into a single meta-verifier and to find the best configuration of available verification tools for detecting data races. The work provides an overview of software verification, the SV-COMP competition, and the CoOpeRace project. Additionally, the tools developed during the work and the results of experiments conducted using the CoOpeRace CLI are presented.Töö eesmärkideks on luua töövahend CoOpeRace CLI, mis kasutab verifitseerimiskoostöö põhimõtteid, et kombineerida olemasolevaid verifitseerimistööriistu ühes metaverifitseerijas ning leida parim konfiguratsioon olemasolevatest verifitseerimistööriistadest andmejooksude avastamiseks. Töös antakse ülevaade tarkvara verifitseerimisest, SV-COMP võistlusest ning CoOpeRace projektist. Lisaks tutvustatakse töö käigus loodud tööriistu ning CoOpeRace CLI abil tehtud katsete tulemusi
Vektorväärtustega Lipschitzi funktsioonide ruumi Daugaveti omadus
Get PDFBakalaureusetöös kirjutatakse üksikasjaliselt lahti järgmise R. Medina ja A. Rueda Zoca teoreemi [J. Funct. Anal., 2025; teoreem 1] tõestus. Teoreem. Kui M on täielik liinkaugusega nullpunktiga meetriline ruum ja X on Banachi ruum, siis ruumil Lip0(M, X) on Daugaveti omadus
ABCG18 ja ABCG19 ekspressioonimuster harilikus müürloogas (Arabidopsis thaliana) ja roll õhulõhede arengus
Get PDFTaimedele on õhulõhed olulise tähtsusega. Õhulõhe moodustab kaks sulgrakku, mille vahel on õhupilu, mis avaneb või sulgub vastavalt turgori muudatustele sulgrakkudes. Antud uurimistöös uurisin geenide ABCG18 ja ABCG19 ekspressioonimustrit harilikus müürloogas (Arabidopsis thaliana), täpsemalt epidermirakkudes ja seemikutes, keskendudes peamiselt õhulõhedele. Töös konstrueerisin promootor-GUS reportersüsteemiga transgeensed taimeliinid, kus GUS geen oli vastava ABCG geeni promootori kontrolli all. Lisaks kasutasin hariliku müürlooga Col-0 metsiktüüpi ja häiritud ABCG17, ABCG18 ja ABCG19 geeni funktsiooniga taimeliine. Leidsin, et ABCG18 ja ABCG19 geenid on aktiivsed taime epidermis ja õhulõhedes. Uurides õhulõhede tihedust, ei leidnud mutantliinide ja metsiktüüpi taimede vahel erinevusi
Huminfra – a Swedish national infrastructure to support research in digital and experimental humanities
No full textDesigning an English for Specific Purposes Course for Lähte Gymnasium Technology Module Students
No full textThe aim of this thesis is to understand the requirements for creating an effective English for Specific Purposes (ESP) course and to design such a language course for the 11th grade Technology module students in Lähte Gymnasium. The first chapter describes the aspects of ESP, such as the concept itself, the teacher’s role, needs analysis, teaching, and assessing, and looks into aspects of course and syllabus design. The third chapter unites the theoretical knowledge into a practical needs analysis, course outline, and discussion of the intended ESP course.
Keywords: English for Specific Purposes, course design, syllabu
Inimese papilloomiviirusega seotud diagnooside geneetilised riskifaktorid
No full textInimese papilloomiviirus (HPV) on seotud mitmete haiguste, sealhulgas viiruslike tüügaste, genitaalkondüloomide, kurgu- ja genitaalpiirkonna pahaloomuliste vähivormidega. Lisaks erinevatele riskifaktoritele, nagu HPV, rohke seksuaalpartnerite arv, nõrgenenud immuunsüsteem, tubakatoodete kasutamine ja rohke alkoholi tarvitamine, on nendel haigustel ka geneetilised riskifaktorid, mida on senini vähe uuritud. Käesolevas bakalaureusetöös annoteeriti viiruslike tüügaste, genitaalkondüloomide, ning kurgu- ja genitaalpiirkonna pahaloomuliste vähivormidega seotud geneetilisi variante, mis tuvastati Eesti geenivaramu andmete ülegenoomsel seoseuuringul. Töö tulemused toetavad teooriat, mille kohaselt papilloomiviiruse infektsiooni geneetilised riskifaktorid on seotud eelkõige koesobivuse antigeeni geenidega
Vene emakeelega õpetajate kohanemine õppeainete eesti keeles õpetamisega Ida-Virumaa koolides
No full texthttps://www.ester.ee/record=b5758754*es
Platvormile AUR+ töölauarakenduse ja integratsioonisüsteemi loomine
No full textNowadays, the development and distribution of digital games has become significantly more accessible due to technological advancements and the widespread availability of open-source tools. As a result, the author of this bachelor's thesis conceived the idea of creating a web-based game platform that allows programming enthusiasts to showcase and share their games while integrating them into a unified user experience and virtual currency system. This thesis focuses on the development of the platform’s user interface and technical solutions, detailing the chosen development frameworks, architectural decisions, and the integration of a sample game. The completed prototype illustrates the functionality of the created system and provides a foundation for further development
Tarkvara testimise praktikumimaterjalid: metamorfne testimine
No full textAs the use of artificial intelligence continues to rise, teaching testing methods to verify such complex applications becomes increasingly important. This thesis aimed to develop a lab package on metamorphic testing for the Software Testing course at the University of Tartu. The thesis includes an overview of the course and the metamorphic testing method, a description of the development process of the materials and the implementation of the lab session, as well as an analysis of the feedback received. The lab took place in the spring semester of 2025 with six student groups, and feedback was collected through a survey. Results show that students found the lab clear, engaging, and relevant to industry needs, with minor improvements needed in the setup instructions.Tehisintellekti populaarsuse kiire kasvu tõttu muutub neid kasutavate süsteemide testimismeetodite õpetamine järjest olulisemaks. Töö eesmärgina koostati Tartu Ülikooli kursuse „Tarkvara testimine” jaoks metamorfse testimise praktikumimaterjalid. Lõputöö sisaldab ülevaadet kursusest ja metamorfse testimise meetodist, kirjeldust materjalide loomisprotsessist ja praktikumi läbiviimisest ning analüüsi kogutud tagasisidest. Praktikum viidi läbi 2025. aasta kevadsemestril kuues praktikumirühmas ning tagasiside koguti küsitlusena. Tulemused näitasid, et õpilaste arvates oli praktikum selge, kaasahaarav ja asjakohane ning juhistes on vaja teha vaid väiksemaid parandus
Koolieelsete lasteasutuste ühendamise mõju organisatsioonikultuurile: töötajate rahulolu, motivatsioon ja koostöö
No full texthttps://www.ester.ee/record=b576582