Searching - TalTech Research Portal

display

sort

9501

book

Certification of ICTs in electionsSchürmann, Carsten; Barrat, Jordi; Bolo, Eden; Bravo, Alejandro; Krimmer, Robert Johannes2015

book

9502

journal article

Certified CYK parsing of context-free languagesFirsov, Denis; Uustalu, TarmoJournal of logical and algebraic methods in programming2014 / p. 459-468

journal article

9503

book article EST / book article 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

book article EST / book article ENG

9504

journal article EST / journal article 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

journal article EST / journal article ENG

9505

book article EST / book article 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

book article EST / book article ENG

9506

journal article

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

journal article

9507

journal article EST / journal article 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

journal article EST / journal article ENG

9508

journal article EST / journal article 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

journal article EST / journal article ENG

Related publications 1

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

9509

journal article

CFD modelling of single crystal growth of potassium dihydrogen phosphate (KDP) from binary water-solution at 30 CLiiri, Maret; Enqvist, Yuko; Kallas, Juha; Aittamaa, JuhaniJournal of crystal growth2006 / 2, p. 413-423 : ill

journal article

9510

book article

CFD modelling of solid-liquid suspension flow in a horizontal pipe [Elctronic resource]Yang, Guangyu; Enqvist, Yuko; Qu, Haiyan; Louhi-Kultanen, Marjatta; Kallas, Juha; Wang, J.ECCE-6 proceedings : 6th European Congress on Chemical Engineering (ECCE-6) : Copenhagen, 16-21 September2007 / ? p. [CD-ROM] https://folk.ntnu.no/skoge/prost/proceedings/ecce6_sep07/upload/1132.pdf

book article

9511

book article

CFD modelling of the tubular air preheater in boiler firing oil shaleNešumajev, Dmitri; Ots, ArvoAdvances in heat transfer : proceedings of the 7th Baltic Heat Transfer Conference : Tallinn, Estonia, August 24-26, 20152015 / p. 257-262 : ill

book article

9512

journal article EST / journal article 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

journal article EST / journal article ENG

9513

book article

CFD simulation of particle size distribution in suspension crystallizationSha, Zuo-Liang; Yang, Guang-Yu; Louhi-Kultanen, Marjatta; Kallas, JuhaACFD 2000 Beijing : International Conference on Applied Computational Fluid Dynamics : October 17-20, 2000, Beijing, China : selected papers2000 / p. 53-59 : ill

book article

9514

journal article

CFD, ehk mis see on ja kellel seda vaja?Lakatoš, Mikloš; Vatsfeld, VilluPaat & Merendus2023 / lk. 74-75 : ill http://www.ester.ee/record=b4471304*est

journal article

9515

book article

CFD-PBM modelling of agglomeration and deposition in petroleum industry [Electronic resource]Balakin, Boris V.; Kartušinski, Aleksander; Hoffman, Alex Christian; Kosinski, Pawel9th International Conference on Multiphase Flow : ICMF 2016 : May 22-27 2016, Firenze, Italy : proceedings2016 / [6] p. : ill. [CD-ROM]

book article

9516

newspaper article

CGI Eesti kosmose ärisuuna juhi Sille Kraami soovitus noortele : tehke suure kirega seda, millesse usuteKraam, Silleforte.delfi.ee2024 GI Eesti kosmose ärisuuna juhi Sille Kraami soovitus noortele: tehke suure kirega seda, millesse usute

newspaper article

9517

newspaper article

CGI Eesti kosmosevaldkonna juht Martin Jüssi: alati on võimalik veel kaugemale ja kõrgemale jõudaSaluveer, Helenforte.delfi.ee2023 CGI Eesti kosmosevaldkonna juht Martin Jüssi: alati on võimalik veel kaugemale ja kõrgemale jõuda

newspaper article

9518

book article

Chain resolution for the Semantic WebTammet, TanelAutomated Reasoning : Second International Joint Conference, IJCAR 2004 : Cork, Ireland, July 4-8, 2004 : proceedings2004 / p. 307-320

book article

9519

book

Chair of Semiconductor Materials Technology : activity report 1988-19931994 https://www.ester.ee/record=b1065473*est

book

9520

journal article EST / journal article 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

journal article EST / journal article ENG

9521

book article

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/

book article

9522

journal article

The challenge of urban regeneration in a post-socialist city. Gentrification in Supilinn - a district that recoveredNutt, NeleActa architecturae naturalis = Maastikuarhitektuurseid uurimusi2019 / p. 70-83 : phot https://www.ester.ee/record=b5183441*est https://www.maastikuarhitektuur.ee/acta/article/view/80/70

journal article

9523

journal article

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

journal article

9524

book article

Challenges and Applications of Impedance-Based Biosensors in Water AnalysisKivirand, Kairi; Min, Mart; Rinken, ToonikaBiosensors for environmental monitoring2019 https://doi.org/10.5772/intechopen.89334

book article

9525

book article

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

book article

Related publications 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

types of item