108495 research outputs found
Sort by
Improving Bitwise Operation Analysis in Goblint
No full textGoblint is a static analyzer, based on abstract interpretation, specializing in multi-threaded C programs. The goal of this thesis is to improve the precision of Goblint's static analysis by enhancing its handling of bit operations. The thesis establishes a set of integer properties that characterize their behaviour when subjected to bitwise operations on their machine representations, which were used to enhance the abstractions of logical bitwise operations in Goblint's integer domains. Additionally, support for the analysis of bit-fields was added. The precision of Goblint's analyses was successfully improved: the implementation was evaluated on SV-COMP benchmarks, resulting in Goblint being able to solve 26 additional tasks, and its correctness was formally proved.Goblint on abstraktsel interpretatsioonil põhinev staatiline analüsaator, mille peamine rakendusala on mitmelõimelised C programmid. Töö eesmärk on Goblinti staatilise analüüsi täpsuse parandamine, täiendades selle bitioperatsioonide käsitlust. Töös formuleeritakse komplekt täisarvude omadusi, mis iseloomustavad nende käitumist, kui nende masinesitusele rakendada bitthaaval operatsioone, ning neid kasutatakse bitthaaval operatsioonide abstraktsioonide täpsustamiseks Goblinti täisarvudomeenides. Samuti lisati Goblintile bittväljade analüüsi funktsionaalsus. Tulemusena suudeti edukalt muuta Goblinti analüüse täpsemaks: implementatsiooni evalveeriti SV-COMP mõõtlusalustel, mille tulemusena Goblint suutis lahendada 26 uut ülesannet, ning selle korrektsus tõestati formaalselt
Пьеса А. М. Володина «Пять вечеров» в историко-культурном и биографическом контексте
No full textKäesolevas töös jätkatakse Volodini teoste uurimuse traditsiooni ja keskendutakse autori loomingulise teekonna konkreetsetel etappidel. Püstitatud eesmärkide täitmisel püütakse näidata autori evolutsiooni eripära ajaloolos-kultuurilises kontekstis
Physical Performance Profile and Sport-Specific Differences among 15–18-Year-Old Estonian Football and Handball Players
No full textEesmärk: Käesoleva magistritöö eesmärk oli mõõta ja võrrelda 15–18-aastaste jalgpallurite,
käsipallurite ja mittesportlike noorte kehalise koostise ning kehalise võimekuse näitajaid nii
uuringusiseselt kui rahvusvahelises võrdluskontekstis.
Metoodika: Uuringus osales kokku 29 noormeest: 9 jalgpallurit, 8 käsipallurit ja 12
kontrollgrupi noormeest. Sportlased treenisid regulaarselt ning osalesid oma vanuseklassi Eesti
meistrivõistlustel. Kontrollgrupp ei olnud seotud organiseeritud sporditegevusega. Kõigil
uuritavatel mõõdeti kehapikkus, kehamass ja arvutati kehamassiindeks. Kehakoostist hinnati
kahe energiatasemega röntgenabsorptsiomeetria (DXA) abil. Aeroobset töövõimet hinnati
veloergomeetril astmelise koormustestiga, mille käigus määrati VO₂max, ventilatsiooniläved ja
maksimaalne võimsus. Lihasjõudu ja töövõimet mõõdeti CON-TREX isokineetilises testis
ning alakeha plahvatuslikkust CMJ ja korduvhüpete testidega.
Tulemused: Sportlaste kehamass, rasvavaba kehamass ja lihasjõud olid üldjuhul kõrgemad kui
mittesportlike noorte puhul. Sportlased olid erinevates tulemustes läbivalt paremad, kuid
statistiliselt olulised erinevused ilmnesid eelkõige kontrollgrupi ja käsipallurite vahel. Samas
selgus, et sportlaste keharasvaprotsent oli võrreldes rahvusvahelise eliittasemega kõrgem ning
jalgpallurite VO₂max/kg jäi eliitmängijate näitajatele alla, mis viitab arenguruumile keha koostise
ja aeroobse võimekuse parandamisel. Jalgpallurid saavutasid parimad tulemused
plahvatuslikkuse ehk hüppevõime testides, käsipallurid aga jõutestides. Kontrollgrupi
tulemused olid enamasti madalamad kui sportlastel, kuid mõningad füüsilised näitajad olid ka
selles rühmas head.
Kokkuvõte: Eesti noorte jalg- ja käsipallurite kehaline võimekus ning kehakoostis olid
paremad kui mittesportlike eakaaslaste omad. Samas olid nii keharasvaprotsent kui ka
aeroobne võimekus madalamad võrreldes rahvusvahelise eliidi tasemega. Tulemused näitavad,
et kuigi spordiga tegelemine toetab noorte kehalist arengut, on kõrgema sportliku taseme
saavutamiseks oluline pöörata suuremat tähelepanu keha koostise ja vastupidavuse
arendamisele
Vaimse tervise teenuste kättesaadavus Saare maakonnas
No full texthttps://www.ester.ee/record=b5762945*es
Analysis of the Coursework Results in the Course "Multimedia"
No full textThe aim of the bachelor's thesis was to determine how students with different background perform in creative assignments and whether there are differences between human and AI-generated evaluations. To this end, the study examined homework assignments from the course “Multimedia” - a photo collage, poster, animation, and video editing project. The results showed that there were no statistically significant differences between groups based on gender, field of study, or whether the course was mandatory. The study also found that evaluations given by humans and AI language models generally did not differ significantly.Bakalaureusetöö eesmärk oli välja selgitada kuidas erinevate taustaga üliõpilased saavad hakkama loominguliste ülesannetega ning kas on erinevusi autori ja tehisaru poolt antud hinnangutes. Selleks uuriti kursuse “Multimeedia” kodutööd - fotokollaaži, plakatit, animatsiooni ja videotöötlust. Tulemused näitasid, et erinevate rühmade vahel, mis on moodustatud soo, eriala või kursuse kohustuslikkuse alusel, ei ole statistiliselt olulist erinevust. Uurimusest selgus, et inimese ja tehisaru keelemudelite hinnangud valdavalt ei erinenud statistiliselt.
tehisaru keelemudeli
Перевод фразеологизмов в русской версии романа Андруса Кивиряхка “Rehepapp ehk November”/Ноябрь, или Гуменщик
No full textKäesolevas töös analüüsitakse Andrus Kivirähi romaani „Rehepapp ehk November“ venekeelse tõlke fraseoloogiliste üksuste edasiandmise strateegiaid. Töö põhineb T. Verhoustinskaja tõlkel „Ноябрь, или Гуменщик“(2008). Uurimuse eesmärk on hinnata tõlke vastavust algtekstile semantilises, stiililises ja kultuurilises plaanis ning pakkuda võimalikke alternatiivseid tõlkelahendusi juhtudel, kui algne tõlge ei tundu olevat piisavalt täpne või väljendusrikas
Filmiturismi sihtkoha turundus ,,Teneti'' võttepaikade näitel
No full texthttps://www.ester.ee/record=b5765495*es
Development of a Moodle Log‐File Analyzer
No full textUniversity of Tartu lectors currently lack a simple, visual means of analyzing Moodle course log files to identify student activity patterns and course‐design bottlenecks rapidly. In this bachelor’s thesis, a log‐file analyzer is developed that provides four analytical views. The development process employed agile methodology and included user interviews with teaching staff, revealing the analyzer’s potential value for understanding learner behavior and informing course design improvements. The resulting tool visualizes course activity trends, individual student behavior patterns, and the use of Moodle resources and activities through a variety of charts and summaries, and supports data export for further analysis.Tartu Ülikooli õppejõududel puudub lihtne ja visuaalne võimalus Moodle kursuste logifailide analüüsimiseks, et kiiresti tuvastada õppijate aktiivsusmustreid ja kursuse disaini kitsaskohti. Käesoleva bakalaureusetöö raames luuakse logifailide analüsaator, mis pakub nelja vaadet andmete analüüsimiseks koos reaalajas uuendatavate analüüsi sätetega. Arendusprotsess hõlmas agiilse metoodika raames õppejõududega kasutajaintervjuusid, mis näitasid analüsaatori potentsiaalselt väärtust õppijate käitumismustri mõistmisel ning kursuste disaini parendamisel. Töö tulemusena valmis analüsaator, mis visualiseerib kursuse aktiivsustrende, õppijate käitumismustreid ning Moodle’i vahendite ja tegevuste kasutust mitmesuguste diagrammide ning kokkuvõtetena, võimaldades samal ajal andmete eksporti edasiseks analüüsiks
The relationship between self-efficacy and ghosting, age, relationship status and the highest level of education achieved among young adults
No full textKäesoleva uurimistöö eesmärk on lähemalt uurida enesetõhususe seoseid romantilise äkkhülgamise (ghosting) rakendamisega, vanuse, suhtestaatuse ja kõrgeima omandatud haridusastmega 18-29-aastaste inimeste seas. Andmete kogumiseks rakendati veebiküsimustikku, mis hõlmas endas romantilistes suhetes enesesetõhusust mõõtvat küsimustikku (Self-Efficacy in romantic relationships, SERR) (Riggio jt, 2011), Schwartzi portreeväärtuste küsimustikku (Schwartz jt, 2012) ning küsimusi isiklikust kokkupuutest äkkhülgamisega. Leiti statistiliselt oluline tulemus, et äkkhülgamist rakendanud inimeste enesetõhusus on madalam, kui inimestel, kes äkkhülgamist rakendanud ei ole. Samuti leiti, et romantilises suhtes olevate inimeste enesetõhusus on kõrgem, kui vallalistel inimestel. Enesetõhususe ja vanuse, ning enesetõhususe ja kõrgeima omandatud haridusastme vahel ei leitud statistiliselt olulisi tulemusi. Tulemused võimaldavad paremini mõista enesetõhususe seoseid äkkhülgamise rakendamisega suhtelõpetamisstrateegiana
Interferenceless coded aperture correlation holography for five-dimensional imaging of 3D space, spectrum and polarization
No full textInterferenceless coded aperture correlation holography (I-COACH) is a robust imaging technique for recovering three-dimensional object information using incoherent holography without two-beam interference. In this study, five-dimensional (5D) imaging along 3D space, spectrum and polarization in I-COACH is proposed and experimentally demonstrated for the first time. The proposed technique exploits the polarization-dependent light modulation characteristics of spatial light modulators to record polarization-dependent intensity distributions, which are distinguished by significant blurring between orthogonal polarization states. 5D I-COACH is implemented by inter-connecting all five dimensions in a single frame, and image recovery is attempted from different configurations of recorded point spread intensity distributions and response-to-object intensity distributions along 5D using recently developed deconvolution techniques. The simulation and experimental results confirm the 5D imaging capabilities of I-COACH. The proposed technique can be a useful tool for birefringence microscopy, and functional and structural imaging applications