natgillin/translations-raw huggingface dataset:
The mentioned data base allows to speed up and enhance substantially the research in phraseology, the principal current topics of which include the structure and figurative semantics of folk similes; categories and subcategories of proverbial phrases a. o. fixed expressions; occurrence and internal structure of particular thematic fields and conceptual clusters in phraseology; problems of developing specific software for serving phraseo- logical corpora and databases. 
See andmebaas lubab oluliselt kiirendada ja tõhustada fraseoloogia-alast uurimistööd, mille senisteks põhi- suundadeks on olnud: rahvapäraste võrdluste kujundisemantika ja struktuur; kõnekäändude jt fraseoloogiliste püsiühendite alaliigid; konkreetsete teemaväljade ja mõiste- klastrite esindatus fraseoloogias; fraseoloo- gilisi korpusi ja andmebaase teenindava tarkvara arendamise probleemid.
In Estonian paremiology the recent focal topics have been: relationships of different structural levels (syntactic – modal – figurative) and metaphor-theoretical aspects of proverbs, especially those emerging in animal metaphors. 
Parömioloogia alal on viimaste aastate peamisteks teemakeskmeteks olnud vanasõnade struktuuritasandite (süntaks–modaliteedid–kujund) suhted ja kujundkõnelised aspektid, eriti loomkujunditega ütlustes.
Two extensive monographic studies are currently in progress – one on typology and images of animal proverbs, the other on the history of collecting and publishing Estonian riddles. 
Teoksil on pikemad monograafilised uurimused loomava- nasõnade tüpoloogia ja metafoorika ning eesti mõistatuste kogumise ja publitseerimise ajaloo kohta.
Theory of rhetoric and figurative language. 
Retoorika ja kujundkõneteooria.
One of them is to analyse the logical and ideological constructions and historical change of grand domains in language usages, the socalled discourses, practiced by our UTCL foreign members J. Undusk, E. Annus, etc. 
Üks neist on kultuuris toimivate suurte keelekasutus- valdkondade e diskursside loogilise ja ideoloogilise ülesehituse ning nende ajaloolise muutumise analüüs, mida viljelevad pms EKFK välisliikmed J. Undusk ja E. Annus (UTKK).
One of the aims of this work is to test the applicability of concepts entrenched in classical rhetoric or introduced by new rhetoric (like synecdoche, topos, oxymoron, enjam- bement, etc.) in contemporary research in culture typology and intertextual analysis. 
Töö üks eesmärke on klassikalises retoorikas väljakujunenud või uusretoorikas tarvitusele võetud mõistete (nt sünekdohh, topos, oksüümoron, anžambmaan e siire jt) rakendamine tänapäevases kultuuritüpoloo- gilises vaatluses ja intertekstuaalses analüüsis.
Literature, theatre, historiography, religious and philosophical texts, mainly descending from the Estonian and Baltic German cultural space of the 18th–20th centuries, but also on a temporally larger European scale – the broad variety of source materials have been and are being used as polygons of observation for these purposes. 
Vaatlusobjektideks on kirjandus, teater, ajalookirjutus, religioosne ja filosoofiline kirjasõna pms 18.–20. sajandi eesti ja bal- tisaksa, kuid ka ajaliselt laiemas Euroopa ruumis.
Efforts will be made to integrate the cognitive and culture-theoretical viewpoints on figurative language and rhetoric, and make the existing results more comparable. 
Tehakse jõupingutusi retoorika ja kujundkõne kogniti- vistlike ning kirjandus- ja kultuuriteoreetiliste vaatekohtade integreerimiseks.
Contemporary folk humour and theory of humour. 
Kaasaegne rahvahuumor ja huumoriteooria.
Topics of active research include ethnic jokes in Estonia and on the international scale; poli-tical humour in the previous USSR (and the socialist camp in general) aimed at Stalin and other targets; contemporary trends of humour research and developments of humour theories (particularly the incongruence theory); the typology of classical (“Aarne-Thompson”) jokes; structural differences and relationships between the older non-punchlined and newer punch- lined jokes. 
Konkreetsemalt uuritavad teemad on: etnilised nal- jad Eestis ja rahvusvaheliselt; Stalini-teemaline ja muu poliitiline huumor endises NSV Liidus ja sotsialismi-maailmas; huumoriuurimise tänapäevased suunad ja huumoriteooriate (eriti inkongruentsiteooria) kaasaegsed arengud; klassikaliste rahvanaljandite tüpoloogia; vanema puändita naljandi ja uuema puändiga anekdoodi struktuurilised erinevused.
INTERNATIONAL CONTACTS 
RAHVUSVAHELISED KONTAKTID
Teine, täien- datud ja parandatud trükk. 
Teine, täiendatud ja parandatud trükk.
Eesti Keele Siht- asutus, Tallinn (2000). 
Eesti Keele Sihtasutus, Tallinn (2000).
Finno-Ugrians and Indo- Europeans: Linguistic and Literary Contacts. 
Finno-Ugrians and Indo-Euro- peans: Linguistic and Literary Contacts.
RESEARCH GROUP IN POETICAL AND MUSICAL FOLKLORE 
POEETILINE JA MUUSIKALINE FOLKLOOR
This kind of interdisciplinary background makes it possible to apply multiple methods to the study of poetical and musical folklore, e.g. those from sociology, cognitive science, acoustics, and linguistics, as well as to integrate research of music, verbal texts, and context in which the two occur. 
See võimaldab rakendada muusika uurimisel erinevaid meetodeid (lisaks tavapärasele muusikaanalüüsile ka nt sotsioloogilisi, kognitiivseid, akustilisi, lingvistilisi) ning koondada ühte meloodia, teksti ja konteksti uurimise.
THE MATERIAL IS MADE ACCESSIBLE FOR RESEARCH 
AINES SUUNDUB UURIJATE KASUTUSSE
RESULTS: PUBLICATIONS, CONFERENCE PAPERS 
TULEM: PUBLIKATSIOONID, ETTEKANDED, LOENGUD
ADDRESSEE A: 
ADRESSAAT A:
(scholarly community) 
(teadlaskond)
ADDRESSEE B: 
ADRESSAAT B:
A recent study by Jaan Ross and Ilse Lehiste demonstrates how in the old Baltic Finnic folksongs, the so-called runic or Kalevala songs, speech and music as two separate sound systems mutually influence each other under conditions of co-existence. 
Üheks silmapaistvaimaks saavutuseks uuri- misgrupi teoreetilise suunitlusega tööde hulgas on J. Rossi ja I. Lehiste uurimus, mis demonstreerib regilaulu baasil, kuidas laul- misel kaks helidel põhinevat süsteemi – kõne ja muusika – kooseksistentsi tingimustes vastastikku teineteist mõjutavad.
Triinu Oja- maa has studied different segmentation principles of the Samoyed musical tradition to be found in Siberia, and showed that cultural background plays a role in determination of how to divide a continuous acoustical signal into culturally relevant units. 
Sama probleemiga on seotud T. Ojamaa lühem uurimus akustilise signaali liigendamisest ning nende impulsside esiletoomisest, mis erineva kultuuritaustaga laulja/kuulaja jaoks on primaarsed.
Research of the study group “Poetical and musical folklore” generally follows the trends common to ethnomusicological studies in other European countries, regarding both methods and content. 
Uurimisgrupi “Poeetiline ja muusikaline folkloor” teadustöö on nii sisuliselt kui ka rakendatavate uurimismeetodite poolest kooskõlas Euroopa (etno)musikoloogias valitsevate suundumustega.
This has facilitated our integration into international research projects as well as professional organizations, such as the European Society for the Cognitive Sciences of Music, the European Seminar in Ethnomusicology, etc. 
See on hõlbustanud integreerumist rahvusvaheliste projektide ja erialaorganisatsioonide tööga (nt European Society for the Cog- nitive Sciences of Music, European Seminar in Ethno-musicology jt).
Dissertationes Philologiae Uralicas Universitatis Tartuensis 5. 
Dissertationes Philologiae Uralicas Univer- sitatis Tartuensis 5.
Eesti Kirjandusmuu- seum, EMKÜ,Tartu (2003). 
Eesti Kirjandusmuuseum, EMKÜ,Tartu (2003).
CENTRE FOR DEPENDABLE COMPUTING 
TÖÖKINDLATE ARVUTISÜSTEEMIDE UURIMISE KESKUS
Head Prof Jaan Penjam 
Juht prof Jaan Penjam
MATHEMATICAL FOUNDATIONS & PROGRAMMING LANGUAGE TECHNOLOGY 
ARVUTITEADUSE MATEMAATILISED ALUSED JA PROGRAMMEERIMISKEELTE TEHNIKA
Supervisor Tarmo Uustalu Institute of Cybernetics 
Juht dr Tarmo Uustalu TTÜ Küberneetika Instituut
Akadeemia tee 21, 12618 Tallinn, Estonia 
Akadeemia tee 21, 12618 Tallinn
Fax +372 620 4151 tarmo@cs.ioc.ee 
Faks +372 620 4151 tarmo@cs.ioc.ee
FORMAL METHODS IN SOFTWARE ENGINEERING 
FORMAALMEETODID SÜSTEEMIARENDUSES
Supervisor Prof Jaan Penjam Institute of Cybernetics 
Juht prof Jaan Penjam TTÜ Küberneetika Instituut
Centre for Dependable Computing (CDC) unites scientists from different institutions sharing common research interests and working on common themes following a jointly agreed research plan. 
Töökindlate Arvutisüsteemide Uurimise Keskus on erinevate teadusasutuste uurimisrühmade võrk, mis ühendab sarnaste uurimiseesmärkidega teadlasi.
In fact, the associated research groups have for years constituted an informal research network that, depending on the prevailing political and financial situation, has worked together organising all-Estonian seminars, conducting projects for supporting computer science higher education (TEMPUS projects) or running international winter schools for graduate students. 
Keskusesse ühendatud uurimisrühmad kujutavad endast juba aastaid de facto koos töötanud uurijate võrku, mis sõltuvalt finantsoludest ja teadus- poliitilisest taustast on teinud koostööd üleriigiliste seminaride vormis, arvutiteadusliku hariduse arendamise sildi all (TEMPUS-projektid) või rahvusvaheliste talvekoolide korraldamisel.
The Centre involves scientists from seven institutions: 
Keskuse koosseisu kuuluvad teadlased järgmistest teadusasutustest:
Institute of Cybernetics at TUT (IoC), 
TTÜ Küberneetika Instituut (IoC),
Strategic supervision is in the hands of an international Advisory Board of four renowned European scientists: Prof Reino Kurki-Suonio, Tampere University of Technology, Finland; Prof Kim G. Larsen, Aalborg University, Denmark; Prof Reinhard Wilhelm, University of Saarland, Germany; Prof José Oliveira, Universidade do Minho, Braga, Portugal. 
Tegevuse süstemaatiliseks rahvusvaheliseks hindamiseks ning temaatikaalaseks nõustamiseks on keskusel juhtkomitee, mille moodustavad neli tunnustatud Euroopa teadlast: prof Reino Kurki-Suonio, Tampere Tehnoloogiaüli- kool, Soome; prof Kim G. Larsen, Ǻlborgi Ülikool, Taani; prof Reinhard Wilhelm, Saarimaa Ülikool, Saksamaa; prof José Oliveira, Minho Ülikool, Braga, Portugal.
Type-theoretic and category-theoretic studies of (co)inductive types and (co)recur- sion schemes. 
(Ko)induktiivsete tüüpide ja (ko)rekur- siooniskeemide uurimine tüübi- ja kate- gooriateoreetiliste vahenditega.
Development of methods for static analysis and abstract testing methods based on abstract interpretation. 
Abstraktse interpretatsiooni põhiste staatilise analüüsi ja abstraktse testimise meetodite arendamine.
Development of methods for stack code validation and type checking in stack-based languages. 
Meetodite arendamine magasinikoodi valideerimiseks ja tüübikontrolliks maga- sinipõhistes keeltes.
Development of structural program synthesis methods for systems with distributed architecture. 
Programmide struktuurse sünteesi meetodi arendamine hajusarhitektuuriga arvutisüsteemidele.
Development of new hierarchical diagnostic models of digital systems and highly efficient algorithms for test generation, fault grading and design error and fault diagnosis. 
Digitaalsüsteemide uute hierarhiliste diagnostikamudelite ja testide genereerimise, rikete analüüsi ning disainivigade ja rikete diagnoosi efektiivsemate meetodite ja algoritmide väljatöötamine.
The Centre is also in charge of several series of all-Estonian seminars (computer science theory days, formal methods seminar days etc.) as well as master classes of invited foreign lectures. 
Samuti organiseeritakse süstemaatiliselt üleriigilisi seminare (arvutiteaduse teooriapäevad, formaalmee- todite seminarpäevad jms) ning meistriklasse kutsutud välisõppejõududega.
Currently, 24 PhD students are being supervised by members of CDC. 
Praegu on keskuse liikmete juhendamisel 24 doktoranti.
MATHEMATICAL FOUNDATIONS AND PROGRAMMING LANGUAGE TECHNOLOGY 
ARVUTITEADUSE MATEMAATILISED ALUSED JA PROGRAMMEERIMISKEELTE TEHNIKA
The main research directions of the group are logic and algebra as the foundational disciplines of theoretical computer science, and programming language theory (semantics, design, implementation). 
Uurimisgrupi põhilisteks teadussuundadeks on loogika ja algebra kui teoreetilise arvutiteaduse alusdistsipliinid ning programmeerimiskeelte teooria (semantika, disain, realiseerimine).
More specifically, the group is focusing on structural proof theory and type theory, categorical logic, ordinal analysis, algebraic combinatorics, semiring theory and algebraic automata theory, programming language semantics and programming language implementation, program analysis, incl. type-based methods, semantics-based program manipulation, language-based security. 
Konkreetsemalt on uurimisvaldkondadeks struktuurne tõestusteooria ja tüü- biteooria, kategoorne loogika, ordinaalana- lüüs, algebraline kombinatoorika, poolringide teooria ja algebraline automaaditeooria, programmikeelte semantika ja realisatsioon, programmianalüüs, sh tüübipõhised analüüsid, programmide semantikapõhine teisendamine, turvalisus programmikeeltes.
MAIN RESULTS 
OLULISEMAID TULEMUSI
From the 8th Estonian Winter School in Computer Science (EWSCS'03) at Palmse. 
Eesti Arvutiteaduse Talvekoolist (EWSCS'03 Palmses).
Several constructive foundational mathematical theories (constructive set theory, Martin-Löf’s type theory) have been shown to be realizable into Feferman’s explicit mathematics. 
On näidatud mitme konstruktiivse matemaatilise alusteooria (konstruktiivse hulgateooria, Martin-Löfi tüübiteooria) realiseeritavus Fe- fermani eksplitsiitsesse matemaatikasse.
A number of results has been obtained on rewriting on semirings and the algebraic theory of automata. 
On uuritud termiümberkirjutamist poolringidel ning algebralist automaaditeooriat.
The group initiated the Estonian computer science theory days that have been held twice a year since autumn 2002. 
Grupp on alates sügisest 2002 kaks korda aastas toimuvate Eesti arvutiteaduse teoori- päevade mootoriks.
Research team: Tarmo Uustalu, Peeter Laud, Jaanus Pöial, Olga Sokratova, Mati Tombak (prof), Sergei Tupailo, Varmo Vene; Reimo Palm; Härmel Nestra, Ahti Peder, Tiina Zingel (PhD students). 
Koosseis: Tarmo Uustalu (vanemteadur,), Peeter Laud (vanemteadur), Jaanus Pöial (dotsent), Olga Sokratova (vanemteadur), Mati Tombak (prof), Sergei Tupailo (vanemteadur), Varmo Vene (vanemteadur); Reimo Palm (teadur); Härmel Nestra, Ahti Peder, Tiina Zingel (doktorandid).
Abel, A., Matthes, R., Uustalu, T. Generalized iteration and coiteration for higher-order nested datatypes. 
Abel, A., Matthes, R., Uustalu, T. Generalized iteration and coiteration for higher-order nes- ted datatypes.
Barthe, G., Giménez, E., Frade, M. J., Pinto, L., Uustalu, T. Type-based termination of recursive definitions. 
Barthe, G., Giménez, E., Frade, M. J., Pinto, L., Uustalu, T. Type-based termination of recur- sive definitions.
14, 1, 97 141 (2004). 
14, 1, 97-141 (2004).
Symp. on Programming, ESOP 2003, Lect. 
Symp. on Program- ming, ESOP 2003, Lect.
Sokratova, O. The Mal’cev lemma and rewriting on semirings. 
Sokratova, O. The Mal’cev lemma and rewri- ting on semirings.
255, 1- 2, 611-614 (2001). 
255, 1-2, 611-614 (2001).
Logic 120, 1-3, 165-196 (2003 
Logic 120, 1-3, 165-196 (2003).
To meet the high requirements on the reliability of complex systems and to speed up productivity of software development teams, methods for getting provably correct programs are needed. 
Keerukatele süsteemidele esitatavate töö- kindlusenõuete rahuldamiseks ja produktiivsuse saavutamiseks süsteemide realiseerimisel vajatakse nii meetodeid korrektsete programmide saamiseks kui ka efektiivseid tarkvaratehnikaid.
Formal proof theory provides a basis for two different approaches to correct software development: program construction (program is derived from its specification) and program verification (program is proven to meet requirements of the specification). 
Formaalne tõestusteooria on aluseks kahele erinevale korrektse tarkvara loomise mudelile: programmide automaatne genereerimine tema spetsifikatsioonist ja verifitseerimine (tõestatakse programmi vastavus spetsifikatsioonile).
In practice, a variety of combinations of these two diametrically opposed approaches is used. 
Praktikas kasutatakse nende kahe vastandliku lähenemise mitmesuguseid kombinatsioone.
The main aim of this research is studying logic, algebra and systems theory based methods for proving properties and synthesising programs and systems, and also studying properties of the proof methods themselves. 
Töörühma eesmärgiks on uurida loogikal, al- gebral ja süsteemiteoorial põhinevaid programmide omaduste tõestamise ja programmide sünteesi meetodeid, samuti arendada automaattõestuse tehnikaid.
Current research is addressing developing techniques and tools applicable for obtaining both transformati- onal and reactive (embedded) systems. 
Aktuaalne on meetodite ja vahendite loomine nii transfor- matsiooniliste kui reaktiivsete (reaalaja-) süsteemide arendamiseks.
Research of this team is also focused on formal description and analysis methods of time-sensitive multi- agent systems, and on methods for assessment of structural and behavioural properties of time- sensitive software. 
Töörühm on muuhulgas keskendunud nii interaktiivsete arvutuste mudelitele üldiselt kui ka nn ajatundlike agentsüsteemide formaalsele kirjeldamisele ja analüüsile.
The research team has competence in the areas of proof theory and automated theorem proving, program synthesis, timed and hybrid automata, compositional program verification, correctness by construction techniques, and application domains such as mechanical engineering and control. 
Töörühma kompetents langeb valdkondadesse, nagu tõestusteooria ja teoreemide automaatne tõestamine, mudelite teooria ajaga ja hübriid-automaadid, kompositsiooniline programmide verifitseerimine, konstruktsiooniga tagatud korrektsus, tarkvara ajastamisprob- leemide formaalne analüüs ning rakendusvaldkonnad, nagu näiteks masinaehitus ja automaatjuhtimine.
SYNTHESIS OF PROGRAMS 
PROGRAMMIDE SÜNTEES
A common formal basis for representing semantics of computations both at the level close to hardware primitives, and at the level of software components is presented. 
Esitatud on üldine formaalloogiline meetod arvutuste semantika spetsifitseerimiseks, mis kasutab osistena kas tarkvara või riistvara komponente.
This logic is expressive enough for describing, first, the structure of hierarchical configurations and, second, dataflow both at signal and object level. 
Kasutatav loogikaarvutus on küllalt väljendusrikas, et esitada samaaegselt süsteemide hierarhilist struktuuri ja andmevoogu nii signaali kui objekti tasandil.
It is sufficiently efficient for synthesis of large configurations and algorithms from their high-level specifications. 
Meetod on küllalt võimas genereerimaks keerukaid konfiguratsioone ja algoritme kõrgtaseme spetsifikatsioonide põhjal.
Automatic knowledge based program construction based on declarative description of ontology of a problem domain has been investigated. 
Edasi on arendatud meetodeid programmide automaatseks konstrueerimiseks algoritmide probleemvaldkonna ontoloogia formaalse kirjelduse põhjal.
This is an inductive approach based on the idea to search for the optimal program from among all possible sequences of relations of the computational model using genetic programming techniques. 
Lähenemise aluseks on idee valida kõigi arvutusmudelil genereeritavate programmide hulgast opti- maalseim, kasutades diferentsiaalevolutsiooni meetodit (induktiivset programmide sünteesi).
Actually, the same computational models by Tõugu are used for specification of problem ontology that are utilised for knowledge representation in structural program synthesis (deductive approach). 
Ontoloogia spetsifitseerimiseks kasutatavad arvutusmudelid on samad, mida kasutatakse ülesannete kirjeldamiseks Enn Tõugu struktuurse programmide sünteesi korral ning see asjaolu loob aluse induktiivse ja deduktiivse meetodi kooskasutamiseks programmide konstrueerimisel.
This research is motivated by utilisation and developing further existing paradigms (program synthesis using intuitionistic propositional calculus, Java language etc.) by increasing their performance via parallel computing. 
Töö motivatsiooniks on olemasolevate paradigmade (intuitsionistliku lauseloogika abil programmide genereerimine, Java programmeerimiskeel) edasiarendamine, et kasvatada nende jõudlust paral- leelarvutust kasutades.
Modular structure of the distributed program synthe- sizer. 
Hajusprogrammide süntesaatori moodulstruktuur.
Co-operation partners: Royal Institute of Technology in Stockholm, Norwegian University of Science and Technology, Stanford University. 
Koostööpartnerid: Rootsi Kuninglik Tehnoloo- giaülikool, Norra Teaduse ja Tehnoloogia- ülikool, Stanfordi Ülikool.
MULTIAGENT SYSTEMS 
MULTIAGENTSÜSTEEMID
Towards the fault-tolerant parallel computing models a fault-tolerant communication model for parallel computation package DOUG (Domain Decomposition on Unstructured Grids) has been developed. 
Tõrkekindlate paralleelarvutuse mudelite uurimiseks on arendatud edasi paralleelarvu- tuste paketti DOUG (Domain Decomposition on Unstructured Grids).
This prototype implantation has been successfully used in stability assessment of flow simulation with the Navier-Stokes equations. 
Paketti on edukalt katsetatud Navier-Stokesi vooluvõrrandite stabiilsusarvutuste realiseerimisel.
Co-operation partners: University of Lübeck, University of Bath, Pennsylvania State University, University of Toulouse. 
Koostööpartnerid: Lübecki Ülikool, Bathi Ülikool, Pennsylvania Osariigi Ülikool, Toulouse’i Ülikool.
VERIFICATION OF HYBRID DYNAMIC SYSTEMS 
HÜBRIIDSETE DÜNAAMILISTE SÜSTEEMIDE VERIFITSEERIJMINE
New methods have been proposed for construction of finite models for first-order predicate formulas describing real-time systems. 
Leiti meetodid lõplike mudelite ehitamiseks reaalaja süsteeme kirjeldatavatele esimest järku predikaatarvutuse valemitele, töötati välja uued mittetõestatavuse näitamise meetodid.
New techniques for proving non-derivability have been found and implemented in the automatic theorem proving system Gandalf. 
Loodud meetodid realiseeriti teoreemi- tõestamissüsteemis Gandalf.
The continuously developing module of the abovementioned theorem prover won the yearly international contest of proving systems held as a part of the CADE-19 conference in Miami. 
Antud töö käigus valminud ja pidevalt täiustatav moodul nimetatud teoreemitõestamissüsteemis võitis vastava ülesanneteklassi iga-aastasel rahvusvahelisel teoreemitõestajate võistlusel konverentsi CADE-19 raames Miamis USAs.
A representation of taxonomies has been developed that allows using an inference engine for classical logic for systems verification and solving queries in semantic web. 
Töötati välja mehhanism taksonoomiate esitamiseks ja kasutamiseks klassikalise teo- reemitõestamise kontekstis, mis on vajalik järeldusmootorite efektiivseks kasutamiseks verifitseerimisülesannete ja semantilise veebi- ga seotud ülesannete lahendamisel.
The first prototype system has been implemented that is able to extract facts and rules from the specifications of correctness of the systems and in several semantic web languages, translating them into first-order logic. 
Realiseeriti esimene prototüüpsüsteem, mis suudab mõista fakte ja reegleid süsteemide korrektsust kirjeldavates spetsifikatsioonides ja mitmes erinevas semantilise veebi keeles, teisendades neid esimest järku loogikasse.
Co-operation partners: Chalmers Technical University, Danish Technical University, Ålborg University. 
Koostööpartnerid: Chalmersi Tehnikaülikool, Taani Tehnikaülikool, Ålborgi Ülikool.
Graham, I. G., Spence A., Vainikko, E. Parallel iterative methods for Navier-Stokes equations and application to eigenvalue computation. 
Graham, I. G., Spence A., Vainikko, E. Paral- lel iterative methods for Navier-Stokes equa- tions and application to eigenvalue compu- tation.
Selic, B., Motus, L. Modeling of real-time software with UML. 
Selic, B., Motus, L. Modeling of real-time soft- ware with UML.
INFORMATION SECURITY AND CRYPTOGRAPHY 
INFOTURVE JA KRÜPTOGRAAFIA