Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel kogumikus

Abstraktse automaadi sünteesi programmid algoritmi graafskeemi aluselPops, M.; Salum, Kaja; Plaks, ToomasXXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 19801981 / lk. 91 https://www.ester.ee/record=b1322611*est

artikkel kogumikus

2

artikkel kogumikus

Algoritmi loogikaskeemi sisestamine arvutisseTammemäe, Kalle; Plaks, ToomasXXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 19801981 / lk. 92 https://www.ester.ee/record=b1322611*est

artikkel kogumikus

3

artikkel kogumikus

Application of bidding automata for measuring the informativeness of hand motion characteristic featuresParm, Kenno; Nõmm, Sven; Vain, JüriBEC 2010 : 2010 12th Biennial Baltic Electronics Conference : proceedings of the 12th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia2010 / p. 205-208 : ill

artikkel kogumikus

4

artikkel kogumikus

Attributed automata model of computingPenjam, Jaan; Meriste, MerikAbstracts of NWPT'96, Oslo 19961996 / p. 21

artikkel kogumikus

5

artikkel kogumikus

Categories, automata and splicing systemsKaljulaid, U.; Penjam, JaanProceedings of 9th Nordic Workshop on Programming Theory1997

artikkel kogumikus

6

artikkel ajalehes

Coca-colat müüakse mobiili teel : [Tehnikaülikooli joogiautomaadist saavad EMT kliendid katsetamise korras osta mobiiltelefoni vahendusel Coca-Colat : lühisõnum]Eesti Päevaleht2003 / 18. veebr., Tallinn, lk. 2

artikkel ajalehes

7

artikkel kogumikus EST / artikkel kogumikus ENG

Completeness for categories of generalized automataBoccali, Guido; Laretto, Andrea; Loregian, Fosco; Luneia, Stefano10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Bloomington, 19 June 2023 - 21 June 20232023 / art. 20, 14 p. : ill https://doi.org/10.4230/LIPIcs.CALCO.2023.20 Conference proceeding at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

8

raamat

Fehler in Automaten1989 http://www.ester.ee/record=b2015320*est

raamat

9

artikkel kogumikus

Formalization of finite state machines with data path for the verification of high-level synthesisBorrione, Dominique; Dušina, Julia; Pierre, LaurenceXI Brasilian Symposium on Integrated Circuit Design, September 30 - October 3, 1998, Rio de Janeiro, Brazil : proceedings1998 / p. 99-102: ill https://ieeexplore.ieee.org/document/715419

artikkel kogumikus

10

artikkel kogumikus

Human-robot interaction learning using timed automataVain, Jüri; Miyawaki, Fujio; Nõmm, Sven; Totskaya, Tatiana; Anier, AivoICCAS-SICE 2009 : ICROS-SICE International Joint Conference 2009 : Fukuoka City, Japan, August 18-21, 2009 : final program and papers2009 / p. 2037-2043 https://ieeexplore.ieee.org/document/5334368

artikkel kogumikus

11

artikkel kogumikus

Hybrid approach to detection of the surgeon's hand motions during endoscope surgeryNõmm, Sven; Vain, Jüri; Petlenkov, Eduard; Miyawaki, Fujio; Yoshimitsu, KitaroICIEA : 4th IEEE Conference on Industrial Electronics and Applications : Xi'an, 25-27 May 20092009 / p. 3488-3492 https://ieeexplore.ieee.org/abstract/document/5138854

artikkel kogumikus

12

artikkel kogumikus

Informatiivne keerukushinnang automaatide dekompositsooniülesande lahendamiseksKruus, M.; Keevallik, AndresXXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 19801981 / lk. 93 https://www.ester.ee/record=b1322611*est

artikkel kogumikus

13

artikkel ajakirjas

Informational operators of finite automataKeevallik, Andres; Lausmaa, ToomasTallinna Tehnikaülikooli Toimetised1990 / lk. 20-26

artikkel ajakirjas

14

raamat

Inimesed ja automaadidAgur, Ustus1966 https://www.ester.ee/record=b1352413*est

raamat

15

artikkel ajakirjas

Keevitamine poolautomaadigaLaansoo, AndresEhitaja2003 / 10, lk. 60-61 : ill https://artiklid.elnet.ee/record=b1013730*est

artikkel ajakirjas

16

artikkel ajakirjas

Keevituse poolautomaadi häälestamineLaansoo, AndresEhitaja2003 / 9, lk. 54-56 : ill https://artiklid.elnet.ee/record=b1013482*est

artikkel ajakirjas

17

artikkel kogumikus

Kontrollautomaadi "Ekzamenator K-54" eksamil kasutamise kogemusiKõnnusaar, Kalju; Võhandu, E.Õppemetoodika küsimusi ; 31968 / lk. 117-129 : ill https://www.ester.ee/record=b1346720*est

artikkel kogumikus

18

artikkel kogumikus

Kontrollautomaadi "Ekzamenator K-54" kasutamise kogemusi metallide tehnoloogia kateedrisRitso, AaduÕppemetoodika küsimusi ; 31968 / lk. 130-136 : ill https://www.ester.ee/record=b1346720*est

artikkel kogumikus

19

artikkel ajalehes

Kui pea paks, siis aitab... : [joogiautomaat III õppehoone esimesel korrusel]Mente et Manu2000 / 7. nov., lk. 1 : fot https://www.ester.ee/record=b1242496*est

artikkel ajalehes

20

artikkel kogumikus

Refinement-based development of timed systemsBerthing, Jesper; Boström, Pontus; Sere, Kaisa; Tsiopoulos, Leonidas; Vain, JüriIntegrated Formal Methods : 9th International Conference IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings2012 / p. 69-83 : ill https://link.springer.com/chapter/10.1007/978-3-642-30729-4_6

artikkel kogumikus

21

artikkel kogumikus

Software environment for synthesis of testable FSM through decompositionDevadze, Sergei; Sudnitsõn, Aleksander2008 26th International Conference on Microelectronics (MIEL 2008) : proceedings2008 / p. 433-436 https://ieeexplore.ieee.org/document/4559314

artikkel kogumikus

22

artikkel kogumikus

Timed automata based provably correct robot controlAnier, Aivo; Vain, JüriBEC 2010 : 2010 12th Biennial Baltic Electronics Conference : proceedings of the 12th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia2010 / p. 201-204 : ill

artikkel kogumikus

23

artikkel kogumikus

Wreath products of generalized automataPenjam, Jaan; Vene, Varmo2nd APPSEM II Workshop : APPSEM 2004 : Tallinn, Estonia, 14-16 April 2004 : proceedings2004 / p. 217-218 https://cdc.ioc.ee/appsem04/webproc/short/penjam-vene.pdf

artikkel kogumikus

24

artikkel ajakirjas EST / artikkel ajakirjas ENG

Yet another canonical nondeterministic automatonMaarand, Hendrik; Tamm, HellisTheoretical computer science2024 / art. 114581, 15 p. : ill https://doi.org/10.1016/j.tcs.2024.114581 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

25

artikkel kogumikus

Влияние систематической погрешности преобразования на точность и результаты поверки контрольно-сортировочного автоматаIzrailev, V.; Laaneots, Rein; Saar, BernhardСборник статей по машиностроению. 91972 / с. 37-42 https://www.ester.ee/record=b2190570*est https://digikogu.taltech.ee/et/Item/3aab34ef-a920-43ae-9a14-2c99ba3caad2

artikkel kogumikus

automaadid (seadmed) (märksõna)

teaviku laadid

märksõna 10

võtmesõna 1