natgillin/translations-raw huggingface dataset:
The goal of this bachelor thesis is to implement a library for verifying the solutions to the provided sentences of the predicate calculus.
Käesoleva bakalaureusetöö eesmärk on implementeerida teek predikaatarvutuse väljendamisülesannete lahenduste kontrollimiseks.
Input is deemed syntactically correct if it contains the constant, functional and predicate symbols that are permitted with the arithmetic signature of σ = <0, 1; +, *; =>, a balanced amount of brackets and the helper predicates defined beforehand.
Teeki kuuluvad meetodid, mis võimaldavad kontrollida, kas sisend, s.t aritmeetika signatuuris σ = <0, 1; +, *; => kujutatud predikaatarvutuse valem, on korrektsel kujul ja kas valem väljendab etteantud predikaati.
For helper predicates, the program also checks the correct usage of free variables, defined as follows – all free variables used in the predicate are provided as arguments to the predicate and all the predicate's arguments are free variables in the predicate.
Valemi süntaktilise korrektsuse hindamiseks kontrollitakse muuhulgas järgnevat: valem sisaldab vaid etteantud signatuuri kuuluvaid konstant-, funktsionaal- ja predikaatsümboleid, valemis esinevad sulud on tasakaalus, lõppvalemis kasutatavad abipredikaadid on eelnevalt defineeritud, abipredikaadi defineerimisel ei kasutata predikaadi tähises vabu muutujaid, mida abipredikaadi valemis ei esine ja vastupidi – abipredikaadi valemis ei esine vabu muutujaid, mida tähises ei ole välja toodud.
To check if the user provided formula is equivalent to a correct formula, the program deploys two methods.
Selleks, et kontrollida, kas valem väljendab etteantud predikaati, kasutatakse käesolevas töös kahte meetodit.
The two selected methods complement each other – the truth tree method allows determining the equivalence of two formulas, while the brute-force evaluation allows determining their non-equivalence.
Tõesuspuu meetodiga üritatakse kindlaks teha, kas sisestatud valem ja õige valem on samaväärsed, teisisõnu, kas nende kahe valemi ekvivalents on samaselt tõene.
The second method consists of evaluating the two formulas with a limited set of natural numbers and checking if the formulas' truth values coincide.Verifying the equivalence of two formulas is a problem that is known to be algorithmically unsolvable.
Kui tõesuspuu meetod ei anna määratud aja jooksul kindlat tulemust, võetakse kasutusele meetod, mis kontrollib, kas kahe valemi tõeväärtused langevad kokku suurel lõplikul hulgal.
First, it applies a method called the truth tree, which consists in analysing the logical structure of the equivalence formula, made up of the user input and the correct answer.
Kuigi valemite samaväärsuse kontroll on algoritmiliselt mittelahenduv, võimaldavad arendatud teegi meetodid anda kindla vastuse laia alamhulga ülesannete korral, tõhustades seega praegust predikaatarvutuse väljendamisülesannete lahenduste kontrollimise töökorraldust Tartu Ülikooli matemaatilise loogika kursustel.
Lithium, sodium and potassium cation basicities in the gas phase
Liitium-, naatrium- ja kaaliumkatiooni aluselisused gaasifaasis
Relationships between life satisfaction and personality at the level of facets and specific nuances
Eluga rahulolu seosed isiksusega alaskaalade ja spetsiifiliste nüansside tasandil
In particular, the thesis describes the synthesis of titanium / zirconium carbide blend (TiC-ZrC), titanium carbide / carbonnanotube composites (TiC/CNT) and titanium oxide / silver nanowires (AgNW/TiO2) nano-composites precursors.
Erilist tähelepanu pöörati titaan-tsirkooniumkarbiidi segu (TiC-ZrC), titaankarbiidi/ süsiniknanotorude komposiidi (TiC/MWCNT) ja titaanoksiidiga kaetud hõbeda nanotraatide (TiO2/AgNW) sünteesile ning karakteriseerimisele.
Application of sol-gel technology for production of ceramic nanocomposites and functional coatings
Sool-geel tehnoloogia rakendamine keraamiliste nanokomposiitmaterjalide ja funktsionaalsete pinnakatete valmistamiseks
The particular aim of this thesis is related to elaboration of ceramic nanocomposites and functional coatings with desired properties by sol-gel method.
Käesoleva töö eesmärgiks oli kõvade keraamiliste nano-komposiitmaterjalide ja funktsionaalsete katete väljatöötamine lähtudes sool-geel tehnoloogiast.
Metal carbides and oxides are promising candidates for extreme environmental conditions due to their excellent and unique combination of high melting point, good thermal-shock resistance and high hardness.
Selleks otstarbeks sobivad metallkarbiidide ja -oksiidide komposiidid ning pinnakatted, millel on äärmuslik kulumiskindlus ning mis kannatavad kõrgeid töötemperatuure, samas vastu pidades temperatuurikõikumistele.
It is chosen since in contrast to conventional ceramic materials synthesis methods, in sol-gel process reactants are mixed together in liquid state at molecular level, the synthesis conditions enable to decrease synthesis temperatures and prepare homogeneous and pure multi component systems.
Sool-geel meetodi kasutamise üheks peamiseks eeliseks alternatiivide ees on, et lähteained segatakse kokku vedelas faasis ehk molekulaarsel tasandil, mille tulemusena saadakse ühtlaselt jaotunud komposiitmaterjalid.
Moreover, the thesis reports mechanical characterisation of individual nanofillers like Al2O3 nanofibers and AgNW using advanced experimental set-up installed inside a scanning electron microscope.
Töös selgitati välja näiteks, kas üksikuid alumiiniumoksiid(Al2O3)fiibreid ja hõbeda nanotraate on võimalik painutada elastselt miljon tsüklit.
The development of nanocomposites and nanostructured coatings are more relevant and preferable research directions in modern material science.
Kosmose-, lennuki- ja energiatehnoloogia tormiline areng on tekitanud vajaduse uudsete nano-komposiitmaterjalide ning funktsionaalsete pinnakatete järele, mida kasutatakse kaasaegsete seadmete ja konstruktsioonide väljatöötamisel.
As a part of the study, the thesis also includes development of experimental set-up, which was used for in situ SEM mechanical characterisation of individual one-dimensional nanostructures (1DNS) served as reinforcing phase or functional filler in the considered nanocomposites.
Eesmärgi saavutamiseks läheneti probleemile mitmest aspektist: töö hõlmas sool-geel tehnoloogia kasutamist, materjalide töötlust ja katsetamist kõrgetel temperatuuridel, tulemi täppis-karakteriseerimist ja nano-osiste mehaaniliste omaduste selgitamist.
Increasing competition on the global market constantly demands for materials with advanced properties and producing technology.
Sarnased nõuded materjalidele on järjest enam ka meie igapäevaellu jõudnud.
The basic version of the environment was made by E. Koppel in 2006.
TEKSTERi baasversiooni on loonud Evari Koppel 2006. aastal bakalaureusetöö raames.
Adding functionality to word problem solving environment
Tekstülesannete lahendamise programmi funktsionaalsuse täiendamine
The result of this bachelor work is an improved word problem solving environment.
Käesoleva bakalaureusetöö sisuks on tekstülesannete lahendamise programmi TEKSTER funktsionaalsuse laiendamine.
Adding the functionality to generate variables used in exercises.
Esimeses peatükis kirjeldatakse baasversiooni kitsendusi ja tuuakse välja rakendusele tehtud muudatused.
Adding division arithmetic operation to the environment.
Töö käigus kirjeldatakse TEKSTERI baasversiooni lisatud täiendusi.
Creation of teacher’s program for creating word problems.
Samuti seletatakse nii käesoleva töö käigus valminud ülesannete koostamise programmi ülesehitust kui ka andmete esitust.
Adding the capability to save user’s solution and mistakes made during the solving.
Teises peatükis tutvustatakse ülesannete koostamise programmi kasutajaliidest ja TEKSTERisse tehtud muudatusi.
A Comprehensive Protocol Suite for Secure Two-Party Computation
Terviklik protokollide kogu kahe osapoolega turvalisteks arvutusteks
Secure multi-party computation allows a number of distrusting parties to collaborate in extracting new knowledge from their joint private data, without any party learning the other participants' secrets in the process.
Turvaline ühisarvutus võimaldab üksteist mitte usaldavatel osapooltel teha arvutusi tundlikel andmetel nii, et kellegi privaatsed andmed ei leki teistele osapooltele.
To this end, we introduce more efficient techniques for the precomputation of Beaver triples using oblivious transfer extension, as the two-party protocols for arithmetic fundamentally rely on efficient triple generation.
Kahe osapoole vahelised turvalise aritmeetika protokollid tuginevad peamiselt Beaveri kolmikute ette arvutamisele.
We describe and implement a large amount of integer operations and data conversion protocols that are competitive with the existing three-party protocols, providing an overall solid foundation for two-party computations on Sharemind.
Meie kirjeldatud ja teostatud täisarvuaritmeetika ja andmetüüpide vaheliste teisendusprotokollide jõudlustulemused on võrreldavad kolme osapoole protokollide jõudlusega.
The efficient and mature Sharemind secure computation platform has relied on a three-party suite of protocols based on secret sharing for supporting large real-world applications.
Sharemind on kaua arenduses olnud turvalise ühisarvutuse platvorm, mis jagab tundlikke andmeid ühissalastuse abil kolme serveri vahel.
In this work, we design and implement a full protocol suite for two-party computations on Sharemind, providing an alternative and viable solution in such cases.
Selles töös kirjeldame ja teostame täieliku protokollistiku kahe osapoolega turvaliste arvutuste jaoks.
We reduce communication costs compared to existing methods by using 1-out-of-N oblivious transfer extension in a novel way, and provide insights into engineering challenges for efficiently implementing these methods.
Töös käsitleme ka insenertehnilisi väljakutseid, mis selliste meetodite teostamisel ette tulid.
Furthermore, we show security of our constructions using strictly weaker assumptions than have been previously required by avoiding the random oracle model.
Selleks kasutame vähem eelduseid, kui tüüpilised teaduskirjanduses leiduvad tõestused.
However, in some scenarios, a two-party model is a better fit when no natural third party is involved in the application.
Igapäevaelus leidub rakendusi, mille puhul kahe osapoolega juurustusmudel on kolme osapoolega variandist sobivam majanduslikel või organisatoorsetel põhjustel.
We aim foremost for efficiency that is on par with the existing three-party protocols.
Loodud protokollistiku eesmärk on pakkuda kolme osapoolega juurutusmudelile võrdväärne alternatiiv, mis on ka jõudluses võrreldaval tasemel.
Regulating Media Freedom: Protection of Journalistic Sources and Right of Reply
Meediavabaduse reguleerimine- allikakaitse ja vastulause õigus
My thesis explores a number of issues related to this theme.
Minu väitekirja eesmärk on arutleda mõnede selle teemaga seotud küsimuste üle.
The Social Organisation of Science as a Question for Philosophy of Science
Teaduse sotsiaalne korraldus kui teadusfilosoofiline probleem
Drawing on Helen Longino ideas, I argue that laypersons’ perspectives and knowledge may also be relevant when doing research.
Toetudes Helen Longino ideedele, väidan ma, et avalikkuse esindajate perspektiivid ja teadmised võivad olla relevantsed ka teadmise loomisel.
Philosophy of science is showing an increasing interest in the social aspects and the social organisation of science—the ways social values and social interactions and structures play a role in the creation of knowledge and the ways this role should be taken into account in the organisation of science and science policy.
Tänapäevast teadusfilosoofiat iseloomustab üha kasvav huvi teaduse sotsiaalsete aspektide ja sotsiaalse korralduse vastu – selle vastu, kuidas sotsiaalsed väärtused ja sotsiaalsed suhted ning struktuurid võivad mängida rolli teadmise loomises ja kuidas neid peaks teaduse korraldamises ja teaduspoliitikas arvesse võtma.
I demonstrate how public participation experiments in science policy may sometimes be close enough to what the philosopher would recommend.
Ma näitan, et mõnikord on need demokratiseerimiskatsed piisavalt sarnased sellega, mida soovitaks teadusfilosoof.
Their analysis can thus be helpful for understanding how societal developments may provide opportunities for the involvement of laypersons in science and what factors may endanger its success.
Nende protsesside kulgemise analüüs võib seega olla kasulik, mõistmaks, kuidas konkreetne poliitiline ja sotsiaalne olukord võib pakkuda võimalusi avalikkuse esindajate kaasamiseks ning millised faktorid võivad teadlaste ja avalikkuse koostööd takistada.
I argue that a prominent approach to the social organisation of science—Philip Kitcher’s well-ordered science—runs into a number of problems.
Ma näitan, et mõjukal käsitlusel teaduse sotsiaalsest korraldusest demokraatlikus ühiskonnas – Philip Kitcheri hästikorraldatud teaduse mudelil – on tõsiseid probleeme, mis ohustavad selle filosoofilist paikapidavust ja potentsiaalset rakendatavust.
I agree with Kitcher that arguments about the social organisation of science should recognise profound societal consequences of science.
Nagu Kitcher, usun ka mina, et teadusfilosoofilised argumendid peavad arvesse võtma teaduse võimet ühiskonda mõjutada.
In order to show how more inclusive research practices may be possible, I discuss connections between philosophy of science and some developments in science policy, which has also recently shown considerable interest in democratic participation.
Vaatlemaks, kuidas selline kaasav lähenemine võiks toimida praktikas, pöördun ma teaduspoliitika uuringute poole: ka teaduspoliitikat on viimastel aastakümnetel iseloomustanud huvi avalikkuse esindajate kaasamise vastu.
Kitcher argues that the appropriate organisation of science should therefore take into account laypersons’ values and needs when making decisions concerning research planning, evaluation and application.
Minu kriitika näitab aga, et vastutustundliku ja efektiivse teaduskorralduse saavutamiseks ei piisa sellest, kui nõuda, et uurimistöö planeerimise ja rakendamise kohta käivate otsuste tegemisel tunnistataks ühiskonna huvisid, nagu seda pakub Kitcher.
I conclude that a way to pursue a more socially relevant philosophy of science is to focus on the points of contact and possibilities of cooperation between philosophical proposals and these public participation initiatives.
Ma teen järelduse, et teadusfilosoofide osalemine sääraste demokratiseerimiskatsete korraldamises võib olla võimaluseks teha sotsiaalselt relevantsemat teadusfilosoofiat.
Nonadaptive personality traits and psychological problems of clients of religious and secular shelters for homeless in Pärnu
Toimetulekut takistavad isiksusejooned ja psüühilised probleemid religioosset ja ilmalikku turvakodu külastavatel Pärnu kodututel
The two runs of the course covered by the thesis have advanced the knowledge of more than a hundred students in some of the modern tools and technologies used in robotics.
Robootika kursus on teemaks oleva kahe toimumiskorra jooksul aidanud arendada enam kui saja tudengi teadmisi mõningatest tänapäevases robootikas kasutatavatest töövahenditest ja tehnoloogiatest.
This thesis covers the design and development process of a robotics course.
Käesolev töö käsitleb robootika kursuse disaini ja arenduse protsessi.
The author, being the lecturer in charge leading the development the course and also pushing for the use of new technology and maintaining chosen solutions.
Autor kandis vastutava õppejõu rolli, juhtides kursuse arendust, uute tehnoloogiate kasutamist ning juurutamist.
The course in question serves as an entry point into the field of robotics in the University of Tartu.
Käsitletav kursus on Tartu Ülikoolis üheks võimalikuks lähtepunktiks robootika valdkonda sisenemiseks.
Altogether, the development of the course has helped to reinforce the line-up of students and instructors available for projects andmore advanced courses in the Institute of Technology and the university as a whole.
Töös kajastatud kursuse arendusprotsess on toetanud robootikaalaste teadmistega tudengite ning nende juhendajate järelkasvu, mis loob aluse keerukamate kursuste arendamiseks ja kasvatab tehnoloogiainstituudi - ning ülikooli üldisemalt - võimekust olla koostööpartner robootika valdkonnas.
The thesis serves as an organised documentation on the evolution process and reasoning for the choices made.
Töö eesmärk on olla läbitud arengu, tehtud valikute, ning nende põhjenduste süstematiseeritud dokumentatsioon.
Software Infrastructure and Course Design of a Robotics Course
Õppeaine "Robootika" tarkvaraline taristu ja kursuse disain
Cycles of improvements, which are core to both of these practices, are in tune with the rapid evolution required of a modern robotics course.Infrastructure as code, version control systems, and incentive towards continuous integration are all used in the development process.
Taristu kui kood (infrastructure as code), versioonihaldussüsteemid ja püüd rakendada pideva integratsiooni (continuous integration) põhimõtteid - on kõik osa kursuse arengust.
The design of the thesis draws on the ideas of educational action research and the infrastructure of the course on the software development and information technology operations practices (DevOps).
Disaini protsessis on kasutatud elemente tegevusuuringu ülesehitusest ning DevOps nime kandvast süsteemiarenduse kultuurist.
Multiparameter flow cytometry is a modern laser-based technology that is used to characterize a cell characteristics, size and granularity.
Läbivoolu tsütomeetria on moderne laseril põhinev meetod, mille abil on võimalik iseloomustada rakkude koostist, suurust ja granulaarsust.
Their number decreased again significantly and remained reduced even at six month after the end of treatment.
Nende arv langes keemiaravi lõppedes uuesti ja nende hulk jäi madalaks ka kuus kuud peale keemiaravi lõppu.
Results of our study showed that in 97% of samples flow cytometry was able to distinguish the reactive lymphoid hyperplasia from malignant lymphoma and allowed precise lymphoma classification in 90% of samples.
Töö tulemused näitasid, et läbivoolu tsütomeetria abil on võimalik 97% täpsusega eristada healoomulist lümfoidset hüperplaasiat maliigsetest lümfoomidest ja maliigseid lümfoome täpsemalt klassifitseerida 90% juhtudest.
Dendritic cell levels regenerate to reference levels by the induction treatment at week seven, but long-term chemotherapy affects myeloid dendritic cells in standard-risk group children.
Dendriitilised rakud taastuvad referentsväärtusteni induktsioonravi lõppedes seitsmendal ravinädalal, kuid pikaaegne keemiaravi kahjustab standardriskigrupi lastel müeloidseid dendriitilisi rakke.
With new monoclonal antibodies it is possible to explore various cell types of the haematopoietic system and follow their changes during treatment.
Uuemate monoklonaalsete antikehade abil on võimalik täpsemalt uurida erinevaid vereloomest pärinevaid rakke ja nende muutusi ravi käigus.
In summary this study demonstrated that flow cytometry is a valuable tool in diagnostics of haematological malignancies and in evaluating treatment responses and effects.
Kokkuvõttes näitas uurimistöö, et läbivoolu tsütomeetria on oluline meetod pahaloomuliste verehaiguste diagnoosimisel, ravitulemuste ja ravimõjude hindamisel.
Our study also showed that children with acute lymphoblastic leukemia have a severe deficiency of dendritic cells in bone marrow at diagnosis.
Uurimistöö näitas samuti, et ägeda lümfoblastse leukeemiaga lastel on dendriitilisi rakke luuüdis haiguse diagnoosimisel väga vähe.
We found that the presence of minimal residual disease at the end of acute myeloid leukemia chemotherapy shows dismal prognosis which could be improved only by haematopoietic stem cell transplantation.
Leidsime, et minimaalse residuaalse haiguse olemasolu ägeda müeloidse leukeemia ravi lõppedes on väga halva prognostilise tähendusega ja haigete prognoosi parandab vaid vereloome tüvirakkude siirdamine.
We also investigated the presence of minimal residual disease in young adult acute myeloid leukemia patients during and at the end of chemotherapy and its prognostic relevance.
Samuti uurisime noortel ägeda müeloidse leukeemiaga täiskasvanutel minimaalse residuaalse haiguse olemasolu keemiaravi käigus ja keemiaravi lõppedes ning selle prognostilist tähtsust.
Flow cytometry is a sensitive method to detect the defined small cell population within large cellular background according to specific, for example cell surface marker.
Läbivoolu tsütomeetria abil on võimalik suurte rakkude populatsioonide hulgast üles leida väike hulk rakke, mis eristuvad teatud kindla tunnuse, näiteks rakupinna markeri järgi.
Aspirates from lymph nodes and bone marrow form haematological patients are ideal sources of material for flow cytometry studies.
Hematoloogiliste patsientide punktaadid lümfisõlmedest ja luuüdist on ideaalsed substraadid, mida saab uurida läbivoolu tsütomeetrilisel meetodil.
In the present study we evaluated the usefulness of flow cytometry in haematological malignancies.
Uurimistöös hindasime läbivoolu tsütomeetria rakendatavust pahaloomuliste hematoloogiliste haiguste korral.
We investigated the value of flow cytometry in lymphoma diagnosis in fine-needle aspiration material.
Uurisime läbivoolu tsütomeetria kasulikkust lümfoomide diagnostikas peennõelbiopsial saadud materjalist.
Multiparameter flow cytometry in haematological malignancies
Läbivoolu tsütomeetria kasutamine pahaloomuliste vereloomehaiguste korral
In addition, we evaluated the dendritic cells levels at diagnosis and their pattern of regeneration in bone marrow of children treated for acute lymphoblastic leukemia.
Hindasime veel dendriitiliste rakkude arvu ägeda lümfoblastse leukeemiaga lastel haiguse diagnoosimisel ja rakkude taastumist luuüdis keemiaravi ajal.
Changes in ownership structures, their determinants and role in the restructuring of enterprises during transition: evidence from Estonia
Omandistruktuuri muutused, neid mõjutavad tegurid ja nende roll ettevõtete restruktureerimisel siirdemajanduses Eesti ettevõtete näitel
This defending mechanism can detect and log attackers behavior which can reveal new attack techniques and even zero day exploits.
See kaitsemehhanism suudab tuvastada ja logida ründaja tegevusi, mis võivad omakorda paljastada uusi ründetehnikaid ning isegi "nullpäeva" (zero-day) haavatavusi.
The fast growing technology raised security questions of how to control the access to the services hosted on the cloud, and whether the performance and the latency of the solutions offered to address these questions are within the bearable limits.
See kiirelt arenev tehnoloogiavaldkond tõstatas palju turvalisusega seotud küsimusi seoses pilves hoitavate teenuste ligipääsetavuse kontrollimisega ning sellega, kas pakutud lahenduste jõudlus ning viiteaeg (latentsus) jäävad aktsepteeritavatesse piiridesse.
This HoneyProxy is connected to a HoneyFarm that is hosted on the same machine (cloud server) each honeypot is serviced in a docker container dedicated for every unique IP, so that each attack session can be isolated within one container with the ability to switch between different types of containers that can fool the attacker without suspecting the existence of a honeypot.
Iga honeypot jookseb eraldi Docker’i konteineris ning omab unikaalset IP-d, mistõttu on võimalik igat ründesessiooni isoleerida ühte konteinerisse võimalusega vahetada erinevate konteineritüüpide vahel, ajades ründaja segadusse honeypot’i kasutust paljastamata.
The contribution of this work is introducing the framework to implement the HoneyProxy on the cloud services using Docker containers.
Käesoleva töö fookus on tutvustada raamistikku HoneyProxy implementeerimiseks pilveteenustel Docker’i konteinereid kasutades.