Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel kogumikus

Automated correction of design errors by edge redirection on high-level decision diagramsKarputkin, Anton; Ubar, Raimund-Johannes; Tombak, Mati; Raik, Jaan13th International Symposium on Quality Electronic Design (ISQED), 20122012 / p. 686-693 : ill https://ieeexplore.ieee.org/document/6113980

artikkel kogumikus

2

artikkel ajakirjas

Binaarsed relatsioonidTombak, MatiA & A2009 / 5, lk. 5-11 https://artiklid.elnet.ee/record=b1507126*est

artikkel ajakirjas

3

artikkel ajakirjas

Canonical representations of high-level decision diagramsKarputkin, Anton; Ubar, Raimund-Johannes; Raik, Jaan; Tombak, MatiEstonian journal of engineering2010 / 1, p. 39-55 : ill

artikkel ajakirjas

4

artikkel kogumikus

An experiment : using Google Translate and semantic mirrors to create synsets with many lexical unitsLohk, Ahti; Tombak, Mati; Vare, KadriProceedings of the 9th Global WordNet Conference : GWC 2018, January 8-12, 2018, Singapore2018 / p. 328-332 http://doi.org/10.1109/EmpiRE.2018.00012

artikkel kogumikus

5

artikkel kogumikus

Finding the description of structure by counting method : a case studyPeder, Ahti; Tombak, MatiSOFSEM 2011 : Theory and Practice of Computer Science : 37th Conference on Current Trends in Theory and Practice of Computer Science : Nový Smokovec, Slovakia, January 22-28, 2011 : proceedings2011 / p. 455-466 : ill https://link.springer.com/chapter/10.1007/978-3-642-18381-2_38

artikkel kogumikus

6

dissertatsioon

Formal verification and error correction on high-level decision diagrams = Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidelKarputkin, Anton2012

dissertatsioon

7

artikkel kogumikus

Interactive presentation abstract : automated correction of design errors by edge redirection on high-level decision diagrams [Electronic resource]Karputkin, Anton; Ubar, Raimund-Johannes; Tombak, Mati; Raik, JaanIEEE International High Level Design Validation and Test Workshop (HLDVT'11), November 9-11, 2011, Napa Valley, CA2011 / p. 83 : ill. [CD-ROM] http://doi.ieeecomputersociety.org/10.1109/HLDVT.2011.6113980

artikkel kogumikus

8

artikkel kogumikus

Kahest majanduslike ülesannete lahendamise programmsüsteemistMikli, Toomas; Simonova, H.; Tombak, Mati; Villo, N.Ettekannete teesid IV vabariiklikule konverentsile "Automatiseeritud juhtimissüsteemid Eesti NSV-s" : Käärikul, 18.-21. dets. 1972.a. = Тезисы докладов IV республиканской конференции "Автоматизированные системы управления в Эстонской ССР" в Кяэрику, 18-21 декабря 1972 г.1972 / lk. 33 https://www.ester.ee/record=b1324728*est

artikkel kogumikus

9

raamat

KeerukusteooriaTombak, Mati2007 https://www.ester.ee/record=b2286124*est

raamat

10

artikkel ajakirjas

Linear algorithms for recognizing and parsing superpositional graphsPeder, Ahti; Nestra, Härmel; Raik, Jaan; Tombak, Mati; Ubar, Raimund-JohannesFacta Universitatis [Niš]. Series electronics and energetics2011 / p. 325-339 : ill http://dx.doi.org/10.2298/FUEE1103325P

artikkel ajakirjas

11

artikkel kogumikus

Linear algorithms for testing superpositional graphsPeder, Ahti; Nestra, Härmel; Raik, Jaan; Tombak, Mati; Ubar, Raimund-JohannesProceedings of the Reed-Muller 2011 Workshop : May 25-26, 2011, Tuusula, Finland2011 / p. 111-118 : ill

artikkel kogumikus

12

dissertatsioon

Methods for coopetition and retention analysis : an application to university management = Koopetitsiooni ja väljalangevuse uurimise meetodid : rakendus ülikooli juhtimisesÜbi, Jaan2014 https://www.ester.ee/record=b3090746*est

dissertatsioon

13

artikkel kogumikus

Operatsioonisüsteem ankeeditüüpi andmete töötlemiseksMikli, Toomas; Räbovõitra, M.; Tombak, Mati; Võhandu, Leo; Aus, T.Ettekannete teesid IV vabariiklikule konverentsile "Automatiseeritud juhtimissüsteemid Eesti NSV-s" : Käärikul, 18.-21. dets. 1972.a. = Тезисы докладов IV республиканской конференции "Автоматизированные системы управления в Эстонской ССР" в Кяэрику, 18-21 декабря 1972 г.1972 / lk. 32 https://www.ester.ee/record=b1324728*est

artikkel kogumikus

14

artikkel kogumikus

Optimization of structurally synthesized BDDsUbar, Raimund-Johannes; Vassiljeva, T.; Raik, Jaan; Jutman, Artur; Tombak, Mati; Peder, AhtiProceedings of the Fourth IASTED International Conference on Modelling, Simulation, and Optimization : August 17-19, 2004, Kavai, Hawaii, USA2004 / p. 234-240 : ill

artikkel kogumikus

15

artikkel kogumikus

Pattern matching for superpositional graphs and separable permutationsTombak, Mati; Loorits, Neeme; Peder, Ahti; Võhandu, LeoAbstracts of Eleventh International Conference Permutation Patterns 20132013 / p. 64-66

artikkel kogumikus

16

artikkel kogumikus

Permutations and bijectionsVõhandu, Leo; Peder, Ahti; Tombak, MatiInformation modelling and knowledge bases XXIII2012 / p. 419-437 : ill

artikkel kogumikus

17

artikkel kogumikus

Probabilistic equivalence checking based on high-level decision diagramsKarputkin, Anton; Ubar, Raimund-Johannes; Tombak, Mati; Raik, JaanProceedings of the 2011 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems : April 13-15, 2011, Gottbus, Germany2011 / p. 423-428 : ill https://ieeexplore.ieee.org/document/5783130

artikkel kogumikus

18

artikkel kogumikus

Structurally synthesized binary decision diagramsJutman, Artur; Peder, Ahti; Raik, Jaan; Tombak, Mati; Ubar, Raimund-JohannesBoolean Problems : 6th International Workshop : September 23-24, 2004, Freiberg2004 / p. 271-278 : ill

artikkel kogumikus

19

artikkel ajakirjas

Superpositional graphsPeder, Ahti; Tombak, MatiActa et commentationes Universitatis Tartuensis de mathematica2009 / p. 51-64 : ill

artikkel ajakirjas

20

artikkel kogumikus

Synthesis of high-level decision diagrams for functional test pattern generationUbar, Raimund-Johannes; Raik, Jaan; Karputkin, Anton; Tombak, MatiProceedings of the 16th International Conference Mixed Design of Integrated Circuits and Systems MIXDES 2009 : Lodz, Poland, 25-27 June, 20092009 / p. 519-524 : ill

artikkel kogumikus

21

raamat

Where the theorems are coming from : lectures at autumn school on computational intelligence and information technologies : October 25-27, 2011 [electronic resource]Tombak, Mati2011

raamat

22

artikkel ajakirjas

Генератор матричных отчетовAus, T.; Räbovõitra, M.; Tombak, MatiТруды Вычислительного центра1974 / с. 23-29 : ил https://www.ester.ee/record=b1181233*est

artikkel ajakirjas

23

artikkel ajakirjas

Генератор отчетов "Villis"Villems, A.; Isotamm, A.; Tombak, MatiТруды Вычислительного центра1974 / с. 49-66 : ил https://www.ester.ee/record=b1181233*est

artikkel ajakirjas

24

artikkel kogumikus

О проблемах редуцирования в грамматиках предшестованияVooglaid, Aare; Tombak, MatiОбработка информации1975 / с. 23-38 : илл https://www.ester.ee/record=b1327401*est https://digikogu.taltech.ee/et/Item/6768b116-5b5d-4f83-ad46-282236590987

artikkel kogumikus

25

artikkel kogumikus

О расширенном генераторе отчетов для ЭВМ "Минск-32" позволяющем оперировать со структурами, подобными структурами языка ПЛ/IMikli, Toomas; Tombak, MatiОбработка информации1975 / с. 11-16 : илл https://www.ester.ee/record=b1327401*est https://digikogu.taltech.ee/et/Item/6768b116-5b5d-4f83-ad46-282236590987

artikkel kogumikus

Tombak, Mati (autor)

teaviku laadid

autor 71

tema kohta 30

CV 23