Searching - TalTech Research Portal

display

sort

62126

book article

Model based continual planning and control framework for assistive robotsAnier, Aivo; Vain, JüriPECCS 2012 : proceedings of the 2nd International Conference on Pervasive and Embedded Computing and Communication Systems, Rome, Italy, 24-26 February, 20122012 / p. 403-406 https://www.scitepress.org/Papers/2012/38271/38271.pdf

book article

62127

book article

Model based continual planning and control framework for assistive robotsAnier, Aivo; Vain, JüriPECCS 2012 : final program and book of abstracts : 2nd International Conference on Pervasive and Embedded Computing and Communication Systems, Rome, Italy, 24-26 February, 20122012 / p. 45 https://www.scitepress.org/Papers/2012/38271/38271.pdf

book article

62128

book article EST / book article ENG

Model based control of a water tank systemBelikov, Juri; Petlenkov, EduardProceedings of the 19th IFAC World Congress, 2014 : Cape Town, South Africa, 24-29 August 20142014 / p. 10838-10843 : ill https://doi.org/10.3182/20140824-6-za-1003.00695 Journal metrics at Scopus Article at Scopus

book article EST / book article ENG

62129

journal article

Model based enterprise manufacturing capacity definition and product cost estimation for SMESahno, Jevgeni; Polyantchikov, Igor; Pribytkova, Marina; Ševtšenko, EduardJournal of machine engineering2011 / p. 23-34 https://www.researchgate.net/publication/265241795_Model_based_enterprise_manufacturing_capacity_definition_and_product_cost_estimation_for_SME

journal article

62130

dissertation

Model based framework for distributed control and testing of cyber-physical systems = Mudelipõhine raamistik küber-füüsikaliste süsteemide hajusjuhtimiseks ja -testimiseksAnier, Aivo2016 http://digi.lib.ttu.ee/i/?6133 https://www.ester.ee/record=b4601197*est

dissertation

62131

book article

Model based framework for testing distributed systemsPal, Deepak; Vain, JüriProceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere2014 / p. 91-94 : ill

book article

62132

dissertation

Model based mechatronic systems modeling methodology in conceptual design stageSell, Raivo2007 https://www.ester.ee/record=b2298261*est

dissertation

62133

dissertation

Model based method for adaptive decomposition of the thoracic bio-impedance variations into cardiac and respiratory components = Mudelipõhine meetod torso bioimpedantsi muutuste adaptiivseks dekompositsiooniks südametegevuse ja hingamise komponentideksKrivošei, Andrei2009 https://www.ester.ee/record=b2508758*est

dissertation

62134

book article

Model based power estimation for centrifugal pumpsGevorkov, Levon16th International Symposium "Topical Problems in the Field of Electrical and Power Engineering. Doctoral School of Energy and Geotechnology III" : Pärnu, Estonia, January 16-21, 20172017 / p. 97-100 : ill http://www.ester.ee/record=b4650094*est

book article

62135

book article EST / book article ENG

Model based Test framework for communications-critical internet of things systemsPal, Deepak; Vain, JüriDatabases and information systems X : selected papers from the thirteenth International Baltic Conference, DB&IS 20182019 / p. 79-94 https://www.ester.ee/record=b5203991*est https://doi.org/10.3233/978-1-61499-941-6-79 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

62136

book article

Model based testing of distributed time critical systemsVain, Jüri; Kanter, Gert; Srinivasan, Seshadhri2017 6th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO 2017) : Noida, India 20-22 September 20172017 / p. 99-105 : ill https://doi.org/10.1109/ICRITO.2017.8342406

book article

62137

book article

Model checking - a new challenge for design of complex computer-controlled systems [Electronic resource]Vain, Jüri; Küttner, Rein5th International Conference on Engineering Design and Automation 2001 : EDA Conference : Las Vegas, Nevada, USA : (refered conference papers)2001 / p. 593-598 : ill. [CD-ROM]

book article

62138

book article

Model checking emerging behavior properties of robot swarmsJuurik, Silver; Vain, Jüri21st Nordic Workshop on Programming Theory : NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : proceedings2009 / p. 68-70 https://www.researchgate.net/publication/228525009_Model_checking_of_emergent_behaviour_properties_of_robot_swarms

book article

62139

book article

Model checking for planning resource-sharing productionVain, Jüri; Otto, Tauno; Kuusik, AlarProceedings 20th International Conference on CAD/CAM, Robotics and Factories of the Future : July 21, 22 and 23, 2004, San Cristobal - Venezuela2004 / p. 151-158 https://www.academia.edu/17640325/Model_Checking_for_Planning_Resource_Sharing_Production

book article

62140

book article

Model checking in pattern based control systems designVain, Jüri; Ernits, Juhan-Peep15th Triennial World Congress of the International Federation of Automatic Control : Barcelona, Spain, 21th-26th July, 2002 : final program, book of abstracts2002 / p. 112 https://www.sciencedirect.com/science/article/pii/S1474667015393666

book article

62141

book article

Model checking in pattern based control systems design [Electronic resource]Vain, Jüri; Ernits, Juhan-PeepProceedings of the 15th IFAC World Congress : Barcelona, Spain, 20022002 / [6] p. : ill. [CD-ROM] https://www.sciencedirect.com/science/article/pii/S1474667015393666#cekeyws10

book article

62142

book article

Model checking in planning resource-sharing based manufacturingOtto, Tauno; Vain, JüriInformation Control Problems in Manufacturing 2006 : a proceedings volume from the 12th IFAC International Symposium : St.Etienne, France. 22006 / p. 523-528 https://www.sciencedirect.com/science/article/pii/S1474667015359991

book article

62143

book article

Model checking in planning resource-sharing based manufacturingOtto, Tauno; Vain, Jüri12th IFAC Symposium on Information Control Problems in Manufacturing : preprints. Vol. II, Industrial Engineering2006 / p. 535-540 https://www.sciencedirect.com/science/article/pii/S1474667015359991

book article

62144

journal article

Model checking of emergent behaviour properties of robot swarmsJuurik, Silver; Vain, JüriProceedings of the Estonian Academy of Sciences2011 / 1, p. 48-54 : ill https://www.researchgate.net/publication/228525009_Model_checking_of_emergent_behaviour_properties_of_robot_swarms

journal article

62145

journal article EST / journal article ENG

Model checking response times in Networked Automation Systems using jitter boundsSrinivasan, Seshadhri; Buonopane, Furio; Vain, Jüri; Ramaswamy, SriniComputers in industry2015 / p. 186-200 https://doi.org/10.1016/j.compind.2015.06.012 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

62146

journal article

Model Driven ArchitectureLeis, PaulA & A2004 / 1, lk. 13-20 : ill https://artiklid.elnet.ee/record=b1014997*est

journal article

62147

book article

Model driven development of networked embedded systemsKarpištšenko, AndreEleventh Estonian Winter School in Computer Science (EWSCS'06) : Park Hotel Palmse, Lahemaa, Estonia : March 5-10, 20062006 / [1] p

book article

62148

book article

Model driven engineering in automatic test generationDomiczi, E.; Vain, JüriProceedings of the NWUML'2005 : The Nordic Workshop on UML and Software Modeling2005 / p. 208-216

book article

62149

journal article EST / journal article ENG

The model for assessment of health risks of dust connected with wood manufacturing in EstoniaTraumann, Ada; Reinhold, Karin; Tint, PiiaAgronomy research2013 / p. 471-478 : ill https://agronomy.emu.ee/vol112/p11223.pdf Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

62150

journal article EST / journal article ENG

A model for confined vortex rings with elliptical-core vorticity distributionDanaila, Ionut; Kaplanski, Felix; Sazhin, SergeiJournal of fluid mechanics2017 / p. 67-94 : ill https://doi.org/10.1017/jfm.2016.752 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

types of item