Otsing - TalTech teadusportaal

kuva

reasta

29226

artikkel ajakirjas EST / artikkel ajakirjas ENG

Foreword. The Baltic WayRamiro Troitino, DavidPasado y Memoria2025 / p. 1-8 https://doi.org/10.14198/pasado.28896 https://rua.ua.es/server/api/core/bitstreams/2b4d3585-689e-4fc9-b30a-6aa5dd9bbf86/content

artikkel ajakirjas EST / artikkel ajakirjas ENG

29227

artikkel kogumikus

Foreword to the 12th IEEE DDECS SymposiumPliva, Zdenek; Manhaeve, Hans; Renovell, Michel; Novak, Ondrej; Ubar, Raimund-Johannes; Drabkova, JindraProceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems : April 15-17, 2009, Liberec, Czech Republic2009 / p. iii http://dx.doi.org/10.1109/DDECS.2009.5012081

artikkel kogumikus

29228

artikkel ajakirjas

Forgotten architect Aleksander PoleštšukVahtra, MilviLennuk : journal of the British Estonian Association2014 / p. 19-20 : phot https://www.ester.ee/record=b1906013*est

artikkel ajakirjas

29229

artikkel ajakirjas EST / artikkel ajakirjas ENG

Forkhead transcription factor FOXO3a levels are increased in Huntington disease because of overactivated positive autofeedback loopKannike, Kaja; Sepp, Mari; Zuccato, Chiara; Cattaneo, Elena; Timmusk, TõnisJournal of biological chemistry2014 / p. 32845-32857 : ill https://doi.org/10.1074/jbc.M114.612424 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

29230

raamat

Form and purposeSafdie, Moshe1982 https://www.ester.ee/record=b5682069*est

raamat

29231

artikkel kogumikus

Form or content?Sabaliauskiene, Rasa M.Proceedings of International Advanced Writing Conference, Tallinn, 17-19 June 19961997 / p. 52-56

artikkel kogumikus

29232

raamat

Formaalsed keeled ja abstraktsed automaadidHenno, Jaak1991 https://www.ester.ee/record=b1253555*est

raamat

29233

raamat

Formaalsed keeled ja abstraktsed automaadid : õppeabimaterjalHenno, Jaak1985 https://www.ester.ee/record=b1228625*est

raamat

29234

artikkel ajakirjas

Formaalsed mõisted andmeanalüüsisTorim, AntsA & A2010 / 4, lk. 27-34 : ill

artikkel ajakirjas

29235

artikkel ajakirjas EST / artikkel ajakirjas ENG

Formal and informal macro-regional transport clusters as a primary step in the design and implementation of cluster-based strategiesNežerenko, Olga; Koppel, OttTransport and telecommunication2015 / p. 207-216 : ill https://doi.org/10.1515/ttj-2015-0019 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

29236

artikkel ajakirjas

Formal and informal macro-regional transport clusters as primary tools for ensuring stable competitiveness of the Baltic Sea regionNežerenko, Olga; Koppel, OttResearch and technology - step into the future2015 / p. 12-14

artikkel ajakirjas

29237

artikkel kogumikus

Formal and physical consideration of magnetic flux in inductor with ferromagnetic coreJärvik, Jaan6th International Symposium "Topical Problems in the Field of Electrical and Power Engineering" : Doctoral School of Energy and Geotechnology : [Kuressaare, January 12-17, 2009]2009 / p. 164-167 : ill

artikkel kogumikus

29238

dissertatsioon

Formal cluster formation in the development of the transport sector in the Baltic Sea macro-region = Formaalse klastri kujunemine Läänemere makroregiooni transpordisektori arengusNežerenko, Olga2016 https://www.ester.ee/record=b4535738*est

dissertatsioon

29239

dissertatsioon

Formal concepts in the theory of monotone systems = Formaalsed mõisted monotoonsete süsteemide teooria käsitlusesTorim, Ants2009 https://www.ester.ee/record=b2540617*est

dissertatsioon

29240

artikkel kogumikus

Formal development of multi-vessel navigation of maritime autonomous systems using UPPAAL STRATEGOShokri-Manninen, Fatima; Vain, Jüri; Walden, Marina32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 20212021 / 4 p http://icetcs.ru.is/nwpt21/abstracts/paper7.pdf http://icetcs.ru.is/nwpt21/programme.html

artikkel kogumikus

29241

artikkel ajakirjas EST / artikkel ajakirjas ENG

Formal methods based security for cloud-based manufacturing cyber physical systemMuniasamy, Kandasamy; Srinivasan, Seshadhri; Vain, Jüri; Sethumadhavan, M.IFAC-PapersOnLine2019 / p. 1198-1203 https://doi.org/10.1016/j.ifacol.2019.11.361 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

29242

artikkel kogumikus

A formal model for automated technological systemKull, ArvoAnalysis and synthesis of complicated systems and circuits with the aid of computers1989 / p. 3-10

artikkel kogumikus

29243

artikkel kogumikus

Formal safety validation of mobile robot teleoperationVain, Jüri; Suzuki, Satoshi; Kuusik, AlarBEC 2004 : proceedings of the 9th Biennial Baltic Electronics Conference : October 3-6, 2004, Tallinn, Estonia2004 / p. 161-164 : ill

artikkel kogumikus

29244

artikkel ajakirjas EST / artikkel ajakirjas ENG

Formal safety versus real safety : quantitative and qualitative approaches to safety culture - evidence from EstoniaJärvis, Marina; Virovere, Anu; Tint, PiiaProceedings of the Latvian Academy of Sciences. Section B, Natural, exact, and applied sciences2016 / p. 269-277 : ill https://doi.org/10.1515/prolas-2016-0042 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

29245

artikkel kogumikus

Formal safety versus real safety : quantitative and qualitative approaches to safety culture - evidence from EstoniaJärvis, Marina; Tint, Piia; Virovere, AnuAbstracts of Conference on Occupational Health and Safety : from policies to practice : December 5-7, 2012, Riga, Latvia2012 / p. 30 https://www.researchgate.net/publication/311339419_Formal_Safety_versus_Real_Safety_Quantitative_and_Qualitative_Approaches_to_Safety_Culture_-_Evidence_from_Estonia

artikkel kogumikus

29246

artikkel kogumikus

Formal specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, Marc7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014 : 5-7 February 2014, Toulouse, France : proceedings2014 / [10] p. : ill

artikkel kogumikus

29247

artikkel kogumikus

Formal specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, MarcInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK seitsmenda aastakonverentsi artiklite kogumik : 15.-16. novembril 2013, Haapsalu2013 / p. 17-19 : ill

artikkel kogumikus

29248

artikkel kogumikus

Formal specification of concurrent time-constraint programsMõtus, LeoEesti teadlaste kongress, 11.-15. augustini 1996. a. Tallinnas : ettekannete kokkuvõtted1996 / lk. 267 https://www.ester.ee/record=b1052731*est

artikkel kogumikus

29249

artikkel kogumikus

Formal specification of sensorsKuusik, Alar; Vain, JüriRinghääling '99 : VI Rahvusvahelise Telekommunikatsioonipäeva konverentsi ettekannete materjalid1999 / lk. 80-83

artikkel kogumikus

29250

artikkel ajakirjas EST / artikkel ajakirjas ENG

A formal specification smart-contract language for legally binding decentralized autonomous organizationsDwivedi, Vimal Kumar; Norta, Alexander; Wulf, Alexander; Leiding, Benjamin; Saxena, Sandeep; Udokwu, ChibuzorIEEE Access2021 / p. 76069−76082 : ill https://doi.org/10.1109/ACCESS.2021.3081926 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus

teaviku laadid