Otsing - TalTech teadusportaal

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

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

4

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

5

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

6

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

7

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

8

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

9

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

10

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

11

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

12

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

13

dissertatsioon

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

dissertatsioon

14

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

15

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

16

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

17

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

18

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

19

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

20

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

21

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

22

dissertatsioon

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

dissertatsioon

23

dissertatsioon

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

dissertatsioon

24

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

25

artikkel kogumikus

Component based technique for hybrid control systems designVain, Jüri; Kuusik, Alar; Kääramees, MarkoProceedings of the 11th Nordic Workshop on Programming Theory : NWPT'99 : Uppsala University, Sweden, October 6-8, 19991999 / p. 48

artikkel kogumikus

Vain, Jüri (autor)

teaviku laadid