Otsing - TalTech teadusportaal

kuva

reasta

29251

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

29252

raamat

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

raamat

29253

artikkel kogumikus

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

artikkel kogumikus

29254

raamat

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

raamat

29255

raamat

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

raamat

29256

artikkel ajakirjas

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

artikkel ajakirjas

29257

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

29258

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

29259

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

29260

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

29261

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

29262

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

29263

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

29264

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

29265

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

29266

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

29267

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

29268

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

29269

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

29270

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

29271

artikkel kogumikus

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

artikkel kogumikus

29272

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

29273

artikkel kogumikus

Formal synthesis of 9,11-SecosterolsRõuk, Kristi; Kõllo, Marek; Lopp, MargusBalticum Organicum Syntheticum (BOS 2024) : Book of Abstracts2024 / art. 115, p. 134 https://boschem.eu/bos2024/wp-content/uploads/sites/5/2024/07/BOS2024_Abstract-Book.pdf

artikkel kogumikus

29274

raamat

Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedingsDerrick, John; Vain, Jüri2007 https://www.ester.ee/record=b2286028*est

raamat

29275

artikkel kogumikus

Formal timing analysis of OMT designs using LIMITSMõtus, Leo; Näks, TõnuThird International Workshop on Object-Oriented Real-Time Dependable Systems, February5-7, 1997, Newport Beach, California, USA1997 / p. 137-144 https://ieeexplore.ieee.org/document/609944

artikkel kogumikus

teaviku laadid