Searching - TalTech Research Portal

display

sort

9476

dissertation

Certification of context-free grammar algorithms = Kontekstivabade grammatikate algoritmide sertifitseerimineFirsov, Denis2016 http://digi.lib.ttu.ee/i/?6213

dissertation

9477

book

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

book

9478

journal article

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

journal article

9479

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

9480

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

9481

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

9482

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

9483

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

9484

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

9485

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

9486

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

9487

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

9488

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

9489

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

9490

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

9491

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

9492

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

9493

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

9494

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

9495

book

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

book

9496

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

9497

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

9498

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

9499

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

9500

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

types of item