Searching - TalTech Research Portal

display

sort

62176

journal article EST / journal article ENG

A model and system for an integrated analysis of the iterative life cycle of university-industry partnershipsKaklauskas, Arturas; Amaratunga, Dilanthi; Haigh, Richard; Binkyte, A.; Lepkova, Natalija; Survila, A.; Lill, IreneProcedia engineering2018 / p. 270-277 https://doi.org/10.1016/j.proeng.2018.01.035 Conference Proceedings at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

62177

book article EST / book article ENG

Model based approach for testing: distributed real-time systems augmented with online monitorsPal, Deepak; Vain, JüriDatabases and Information Systems : 13th International Baltic Conference, DB&IS 2018, Trakai, Lithuania, July 1-4, 2018 : proceedings2018 / p. 142-157 https://doi.org/10.1007/978-3-319-97571-9_13 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

62178

book article

Model based continual planning and control framework for assistive robotsAnier, Aivo; Vain, JüriHEALTHINF 2012 : proceedings of the International Conference on Health Informatics, Vilamoura, Algarve, Portugal, 1-4 February, 20122012 / p. 382-385 https://www.scitepress.org/Papers/2012/38271/38271.pdf

book article

62179

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

62180

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

62181

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

62182

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

62183

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

62184

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

62185

dissertation

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

dissertation

62186

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

62187

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

62188

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

62189

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

62190

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

62191

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

62192

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

62193

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

62194

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

62195

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

62196

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

62197

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

62198

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

62199

journal article

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

journal article

62200

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

types of item