Otsing - TalTech teadusportaal

kuva

reasta

1351

artikkel kogumikus EST / artikkel kogumikus ENG

Certified Foata normalization for generalized tracesMaarand, Hendrik; Uustalu, TarmoNASA Formal Methods Symposium : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings2018 / p. 299-314 https://doi.org/10.1007/978-3-319-77935-5_21 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

1352

artikkel ajakirjas EST / artikkel ajakirjas ENG

Certified normalization of generalized tracesMaarand, Hendrik; Uustalu, TarmoInnovations in Systems and Software Engineering2019 / p. 253–265 https://doi.org/10.1007/s11334-019-00347-1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

1353

artikkel kogumikus EST / artikkel kogumikus ENG

Certified parsing of regular languagesFirsov, Denis; Uustalu, TarmoCertified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings2013 / p. 98 - 113 https://doi.org/10.1007/978-3-319-03545-1_7 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

1354

artikkel ajakirjas

Cervical cancer screening history among women diagnosed with cervical cancer in Estonia 2017-18Orumaa, Madleen; Innos, Kaire; Suurna, Maria; Veerus, PiretThe European Journal of Public Health2023 / p. 64-68 https://doi.org/10.1093/eurpub/ckac176

artikkel ajakirjas

1355

artikkel ajakirjas EST / artikkel ajakirjas ENG

CFD analyses on the water entry process of a freefall lifeboatHuang, Luofeng; Tavakoli, Sasan; Li, Minghao; Dolatshah, Azam; Pena, Blanca; Ding, Boyin; Dashtimanesh, AbbasOcean engineering2021 / art. 109115, 11 p. : ill https://doi.org/10.1016/j.oceaneng.2021.109115 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

1356

artikkel ajakirjas EST / artikkel ajakirjas ENG

CFD comparison of the influence of casting of samples on the fiber orientation distributionGoidyk, Oksana; Heinštein, Mark; Herrmann, HeikoFibers2023 / art. 6 https://doi.org/10.3390/fib11010006 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Inﬂuence of the ﬂow of fresh ﬁber concrete on the ﬁber orientations = Vedela kiudbetooni voolamise mõju kiudude orientatsioonile

1357

artikkel ajakirjas EST / artikkel ajakirjas ENG

CFD simulation of bubbly flow in a long coaxial heat exchangerAkhmadullin, Ildar; Kartušinski, AleksanderThermal Science and Engineering Progress2021 / art. 100991, 11 p https://doi.org/10.1016/j.tsep.2021.100991 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

1358

artikkel ajakirjas EST / artikkel ajakirjas ENG

The challenge of comparing pollen-based quantitative vegetation reconstructions with outputs from vegetation models - a European perspectiveDallmeyer, Anne; Poska, Anneli; Marquer, Laurent; Seim, Andrea; Gaillard, Marie-JoséClimate of the Past2023 / p. 1531 - 1557 https://doi.org/10.5194/cp-19-1531-2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

1359

artikkel kogumikus

The challenge of protecting space-based assets against cyber threatsCarlo, Antonio; Lacroix, Lisa; Zarkan Cesari, LaetitiaIAC 2020 congress proceedings2020 / art. 59386 https://dl.iafastro.directory/event/IAC-2020/paper/59386/

artikkel kogumikus

1360

artikkel ajakirjas

Challenge-driven innovation policy : towards a new policy toolkitMazzucato, Mariana; Kattel, Rainer; Ryan-Collins, JoshJournal of industry, competition and trade2020 / p. 421-437 https://doi.org/10.1007/s10842-019-00329-w

artikkel ajakirjas

1361

artikkel kogumikus

Challenges and implications of the WHO’s digital cross-border COVID-19 vaccine passport recognition pilotJackson, Eric Blake; Dreyling III, Richard Michael; Pappel, Ingrid2021 Eighth International Conference on eDemocracy and eGovernment (ICEDEG) : Quito, Ecuador, 28-30 July 20212021 / p. 88-94 https://doi.org//10.1109/ICEDEG52154.2021.9530954

artikkel kogumikus

Seotud publikatsioonid 1

Cross-border data exchange in the Nordic-Baltic region : data intermediaries, interoperability, and e-services orchestration = Piiriülene andmevahetus Põhja-Balti regioonis : andmevahendajad, koostalitlusvõime ja e-teenuste orkestreerimine

1362

artikkel ajakirjas EST / artikkel ajakirjas ENG

Challenges and opportunities for e-mental health policy : an Estonian case studySogomonjan, MelitaContemporary social science2021 / p. 185-198 https://doi.org/10.1080/21582041.2020.1720795 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Understanding failure in digital health implementation – a case study of Implementing Computerised Cognitive Behaviour Therapy (cCBT) in Estonia = Mõtestades e-Tervise rakendamise ebaõnnestumist - arvutipõhise kognitiivse käitumisteraapia (KKT) rakendamise juhtumiuuring Eestis

1363

artikkel ajakirjas EST / artikkel ajakirjas ENG

Challenges and perspectives in control of ionic polymer-metal composite (IPMC) actuators : a surveyAabloo, Alvo; Belikov, Juri; Kaparin, Vadim; Kotta, ÜlleIEEE Access2021 / art. 9133056, p. 121059-121073 https://doi.org/10.1109/ACCESS.2020.3007020 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

1364

artikkel ajakirjas EST / artikkel ajakirjas ENG

Challenges and perspectives of nature-based wastewater treatment and reuse in rural areas of Central and Eastern EuropeIstenič, Darja; Bodík, Igor; Merisaar, Maret; Gajewska, Magdalena; Šereš, Michal; Griessler Bulc, TjašaSustainability (Switzerland)2023 / art. 8145 https://doi.org/10.3390/su15108145 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

1365

artikkel ajakirjas EST / artikkel ajakirjas ENG

Challenges and strategies for bio-based and biodegradable plastic waste management in EuropeStasiškienė, Žaneta; Barbir, Jelena; Draudvilienė, Lina; Chong, Zhi Kai; Kuchta, Kerstin; Voronova, Viktoria; Leal Filho, WalterSustainability (Switzerland)2022 / art. 16476 https://doi.org/10.3390/su142416476 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

1366

artikkel kogumikus

Challenges and ways forward for performance-driven and simulation-based computational design for sustainable cities and communitiesDe Luca, FrancescoRegenerating the City Performance-driven and Simulation-based Computational Design for Sustainable Cities and Communities : proceedings of the 9th Regional International Symposium on Education and Research in Computer Aided Architectural Design in Europe, Tallinn University of Technology, 15-16 June 20232023 / p. 189-192 https://digikogu.taltech.ee/et/Item/c29fc911-ec34-45da-afe6-bc1e8515e15d

artikkel kogumikus

1367

artikkel kogumikus

Challenges for agriculture industry companies in India to create a sustainable business modelGupta, Amit; Sceulovs, Deniss; Ojasoo, Merle13th International Scientific Conference “Business and Management 2023”2023 / art. bm.2023.1082, p. 199-205 https://doi.org/10.3846/bm.2023.1082

artikkel kogumikus

1368

artikkel kogumikus

Challenges in implementing digital assistive technology in municipal healthcareSvensson, Ann; Bergkvist, Linda; Bäccman, Charlotte; Durst, SusanneManagement and information technology after digital transformation2021 / p. 81-90 https://doi.org/10.4324/9781003111245-10

artikkel kogumikus

1369

artikkel ajakirjas EST / artikkel ajakirjas ENG

Challenges in mechanistic investigation of a flexible aminocatalyst as demonstrated through enamine formationOsadchuk, Irina; Kanger, TõnisChemistryOpen2025 / art. 2500116 https://doi.org/10.1002/open.202500116 https://chemistry-europe.onlinelibrary.wiley.com/doi/10.1002/open.202500116

artikkel ajakirjas EST / artikkel ajakirjas ENG

1370

artikkel ajakirjas EST / artikkel ajakirjas ENG

Challenges in noninvasive skin biomarker measurements in daily practice : a longitudinal study on skin surface protein detection by the transdermal analysis patch in pediatric psoriasisSchaap, Mirjam J.; Bruins, Finola M.; Van Den Brink, Noa J.M.; Orro, Kadri; Groenewoud, Hans M.M.; De Jong, Elke M.G.J.; Van Den Bogaard, Ellen H; Seyger, Marieke M.B.Skin Pharmacology and Physiology2022 / p. 319 - 327 https://doi.org/10.1159/000527258 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

1371

artikkel kogumikus

Challenges in the digital transformation of courts : a case study from the Kurdistan region of IraqAhmed, Rozha Kamal; Draheim, Dirk; Pappel, Ingrid; Muhammed, Khder H.2020 Seventh International Conference on eDemocracy & eGovernment (ICEDEG), Buenos Aires, Argentina, April 22–24, 2020 : proceedings2020 / p. 74-79 https://doi.org/10.1109/ICEDEG48599.2020.9096801

artikkel kogumikus

Seotud publikatsioonid 1