Searching - TalTech Research Portal

display

sort

62076

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

62077

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

62078

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

62079

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

62080

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

62081

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

62082

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

62083

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

62084

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

62085

journal article

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

journal article

62086

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

62087

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

62088

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

62089

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

62090

book article

A model for cyclic plasticityKenk, KaljuProc. IAR1999 / p. 6-7

book article

62091

journal article

A model for cyclic shear in plasticityKenk, KaljuProceedings of the Estonian Academy of Sciences. Engineering2000 / 3, p. 186-197 : ill

journal article

62092

book article

Model for energy management of residential building heating systemGevorkov, Levon; Šmidl, Vaclav; Sirovy, Martin; Rassõlkin, Anton; Kallaste, Ants; Vaimann, Toomas2020 27th International Workshop on Electric Drives: MPEI Department of Electric Drives 90th Anniversary (IWED), Moscow, Russia, January 27-30, 20202020 / 4 p https://doi.org/10.1109/IWED48848.2020.9069503

book article

62093

book article

A model for high Reynolds number vortex ringsKaplanski, Felix; Fukumoto, Yasuhide; Rudi, ÜloAbstract book of the 23rd International Congress of Theoretical and Applied Mechanics : August 19-24, 2012, Beijing, China2012 / p. 225-226 https://www.researchgate.net/profile/Felix-Kaplanski/publication/278242787_A_model_for_high_Reynolds_number_vortex_rings/links/557eb0e508aeea18b778040d/A-model-for-high-Reynolds-number-vortex-rings.pdf?origin=scientific-contributions

book article

62094

book article

The model for improving the company's productivity and efficiencyLavin, Jaak; Riives, Jüri; Kaganski, Sergei; Paavel, MarkoProceedings of the 9th International Conference of DAAAM Baltic Industrial Engineering, 24-26th April 2014, Tallinn, Estonia2014 / p. 127-132 : ill

book article

62095

journal article EST / journal article ENG

Model for leisure boat activities and emissions - implementation for the Baltic SeaJohansson, Lasse; Ytreberg, Erik; Jalkanen, Jukka-Pekka; Fridell, Erik; Eriksson, K. Martin; Lagerström, Maria; Maljutenko, Ilja; Raudsepp, Urmas; Fischer, Vivian; Roth, EvaOcean science2020 / p. 1143-1163 https://doi.org/10.5194/os-16-1143-2020 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

62096

book article

A model for monolithic joints in the plane frame analysisReivinen, Mika; Salonen, Eero-Matti; Paavola, JuhaTenth Nordic Seminar on Computational Mechanics, Tallinn Technical University, October 24-25, 19971997 / p. 296-299: ill

book article

62097

book article

Model for risk assessment of dust and chemicals in the work environmentTraumann, Ada; Tint, Piia; Reinhold, Karin3rd Workplace and Indoor Aerosols Conference AEROSOLS 2014 : 13th-16th May, 2014, Wroclaw, Poland : program [and abstracts]2014 / p. 31-32 : tab

book article

62098

book article

Model for smart, self-learning and adaptive resilience buildingKaklauskas, Arturas; Lill, Irene; Amaratunga, Dilanthi; Ubarte, IevaProceedings of the 10th Nordic Conference on Construction Economics and Organization (CEO 2019), May 7-8, 2019, Tallinn, Estonia2019 / p. 315−324 : ill https://doi.org/10.1108/S2516-285320190000002017

book article

62099

journal article

Model for stress-dependent hysteresis in electrical steel sheets including orthotropic anisotropyRasilo, Paavo; Steentjes, S.; Belahcen, Anouar; Kouhia, Reijo; Hameyer, KayIEEE transactions on magnetics2017 / art. 2001004, 4 p. : ill http://dx.doi.org/10.1109/TMAG.2017.2659784

journal article

62100

dissertation

Model for the analysis of combined heat and power production = Soojuse ja elektri koostootmise analüüsi mudelLatõšov, Eduard2011

dissertation

types of item