Otsing - TalTech Publikatsioonid

Vain, Jüri (autor)

—

Lisa tingimus Liitotsing

Tühista

teaviku laadid

raamat

artikkel ajakirjas

artikkel ajalehes

artikkel kogumikus

dissertatsioon

Open Access

Teaduspublikatsioon

aasta

ekspordi kõik päringu tulemused (164)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus

A human-adaptive-mechatronics assisted system for training constructional abilityMiyashita, O.; Tsukamoto, S.; Kuusik, Alar; Miyata, D.; Yoshida, T.; Vain, Jüri; Ishigami, S.Proceedings of the 8th International Conference on Mechatronics Technology : ICMT2004 : Hanoi, Vietnam, November 8-12, 20042004 / p. 551-555

artikkel kogumikus
2

artikkel ajakirjas

A model-based approach for design and verification of Industrial Internet of ThingsMuthukumar, Natarajan; Sriniavsan, Seshadhri; Ramkumar, Kannan; Pal, Deepak; Vain, Jüri; Ramaswamy, SriniFuture generation computer systems2019 / p. 354-363 : ill https://doi.org/10.1016/j.future.2018.12.012

artikkel ajakirjas
3

dissertatsioon

A symbolic approach to model-based online testing = Mudelipõhine online-testimine kasutades sümbolarvutustKääramees, Marko2012 http://www.ester.ee/record=b2890159*est

dissertatsioon
4

artikkel ajakirjas

A systematic approach on modeling refinement and regression testing of real-time distributed systemsPal, Deepak; Vain, JüriIFAC-PapersOnLine2019 / p. 1091-1096 https://doi.org/10.1016/j.ifacol.2019.11.341

artikkel ajakirjas
5

artikkel kogumikus

A tool for flexible planning of rescue routesVain, Jüri; Ernits, Juhan-Peep; Littover, Mati; Randvee, Ingmar; Riismaa, TiitIFAC Workshop on Control in Natural Disasters : CND'98 : September 21-22, 1998, Tokyo, Japan : preprints1998 / p. 101-106: ill

artikkel kogumikus
6

artikkel kogumikus

A tool-supported approach for introducing aspects in UPPAAL timed automataTruscan, Dragos; Vain, Jüri; Koskinen, Martin; Iqbal, JunaidSoftware technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers2015 / p. 349-364 http://dx.doi.org/10.1007/978-3-319-25579-8_20

artikkel kogumikus
7

raamat

Advances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops : DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 https://doi.org/10.1007/978-3-030-87657-9

raamat
8

artikkel ajakirjas

An open tool integration environment for manufacturing control software developmentKüttner, Rein; Ernits, Juhan-Peep; Vain, JüriMachine engineering2003 / 1/2, Manufacturing flexibility design and development, p. 23-32 : ill

artikkel ajakirjas
9

artikkel kogumikus

Analysis and recognition of a surgeon's motions in laparoscopic cholecystectomy giving a scrub nurse robot suitable timings for instrument exchange [Electronic resource]Ohnuma, K.; Nasamune, K.; Yoshimitsu, Kitaro; Vain, Jüri; Fukui, Y.; Miyawaki, F.Proceedings of the 3rd COE Workshop on Human Adaptive Mechatronics (HAM) : 3-4 March 2006, Tokyo Denki University, Japan2006 / [5] p. [CD-ROM]

artikkel kogumikus
10

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
11

artikkel kogumikus

Application of self organizing Kohonen Map to detection of surgeon motions during endoscopic surgeryPetlenkov, Eduard; Nõmm, Sven; Vain, Jüri; Miyawaki, Fujio2008 International Joint Conference on Neural Networks (IJCNN2008), 2008 IEEE World Congress on Computational Intelligence (WCCI2008) : June 1-6, 2008, Hong Kong2008 / p. 2807-2812

artikkel kogumikus
12

artikkel kogumikus

Application of volume bounding box decomposition for surgeon’s hand gestures recognitionNõmm, Sven; Leibak, Alar; Vain, Jüri; Miyawaki, FujioIECON 2010 : 36th Annual Conference on IEEE Industrial Electronics Society : Glendale, Arizona, USA, 07 - 10 November, 2010 : proceedings2010 / p. 1076-1080 : ill

artikkel kogumikus
13

artikkel kogumikus

Application of volume bounding box decomposition for surgeon's hand gestures recognitionNõmm, Sven; Leibak, Alar; Vain, Jüri; Miyawaki, FujioAbstracts IECON 2010 - ICELIE 2010 : 36th Annual Conference of the IEEE Industrial Electronics Society, 4th International Conference on E-Learning in Industrial Electronics, IES Industry Forum 2010 : Arizona, USA, 7-10 November 20102010 / p. 102

artikkel kogumikus
14

dissertatsioon

Aspect-oriented model-based testing = Aspekt-orienteeritud mudeli-põhine testimineSarna, Külli2018 https://digi.lib.ttu.ee/i/?11065

dissertatsioon
15

artikkel kogumikus

Aspect-oriented Model-based testing with UPPAAL timed automataVain, Jüri; Tsiopoulos, Leonidas; Kanter, GertModel and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. 117-124 https://doi.org/10.1007/978-3-030-78428-7_10

artikkel kogumikus
16

artikkel kogumikus

Aspect-oriented testing of a rehabilitation systemSarna, Külli; Vain, JüriVALID 2014 : the Sixth International Conference on Advances in System Testing and Validation Lifecycle : October 12-16, 2014, Nice, France2014 / p. 73-78 : ill

artikkel kogumikus
17

artikkel kogumikus

Automatic distribution of local testers for testing distributed systemsVain, Jüri; Halling, Evelin; Kanter, Gert; Anier, Aivo; Pal, DeepakDatabases and information systems IX : selected papers from the twelfth International Baltic Conference, DB&IS 20162016 / p. 297-310 : ill http://dx.doi.org/10.3233/978-1-61499-714-6-297

artikkel kogumikus
18

artikkel kogumikus

Case study-based performance evaluation of reactive planning testerKull, Andres; Raiend, Kullo; Vain, Jüri; Kääramees, MarkoModel-based Testing in Practice : 2nd Workshop on Model-based Testing in Practice(MoTiP 2009) : Enschede, The Netherlands, June 23, 2009 : proceedings2009 / p. 87-96 : ill

artikkel kogumikus
19

artikkel kogumikus

Cloud computing with robots: does it make sense?Matskin, Mihhail; Haverin, Janne; Roning, Juha; Vain, JüriMDA4ServiceCloud'10 : Modeling, Design, and Analysis for the Service Cloud [Workshop, 4th ed., held in Paris, France on June 15, 2010]2010 / [2] p

artikkel kogumikus
20

artikkel ajakirjas

Combined method of load planning for production linesRennik, Heli; Vain, JüriMachine engineering2005 / 3/4, Manufacturing systems development : industry expectations, p. 153-165 : ill

artikkel ajakirjas
21

artikkel kogumikus

Combining aspect-orientation and UPPAAL timed automataTruscan, Dragos; Vain, Jüri; Koskinen, MartinICSOFT-PT 2014 : proceedings of the 9th International Conference on Software Paradigm Trends, Vienna, Austria, 29-31 August, 20142014 / p. 159-164 : ill

artikkel kogumikus
22

artikkel kogumikus

Combining conceptual modelling and formal methods to design control systemsVain, Jüri; Hooman, J.Selected papers from the 8th Nordic Workshop on Programming Theory, University of Oslo, May, 19971997 / p. 109-118

artikkel kogumikus
23

dissertatsioon

Compact smart home systems : design and verification of cost effective hardware solutionsKuusik, Alar2001 http://www.ester.ee/record=b1578112*est

dissertatsioon
24

dissertatsioon

Compact smart home systems : design and verification of cost effective hardware solutionsKuusik, Alar2001 http://www.ester.ee/record=b1622134*est

dissertatsioon
25

artikkel kogumikus

Component based development of hybrid control systemsVain, Jüri; Kuusik, Alar; Kääramees, MarkoProceedings of the 15th International Conference on CAD/CAM, Robotics & Factories of the Future CARSAMPFOF'99 : August 18-20, 1999, Aguas de Lindoia, Brasil. Vol. 21999 / p. RW5-1 - RW5-6

artikkel kogumikus

Kirjeid leitud 164, kuvan 1 - 25

eelmine
1
2
3
4
5
6
7
järgmine