Searching - TalTech Research Portal

display

sort

1101

book article EST / book article ENG

Normalization by evaluation for the Lambek calculusVeltri, Niccolo10th International Conference on Non-classical Logic : theory and applicatons, Lodz, Poland, 14-18 March 20222022 / p. 102-117 https://doi.org/10.4204/eptcs.358.8 https://arxiv.org/abs/2204.06719v1 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1102

book article EST / book article ENG

Normalization by evaluation in the delay monad: A case study for coinduction via copatterns and sized typesAbel, Andreas; Chapman, JamesProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 51-67 https://doi.org/10.4204/EPTCS.153.4 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

1103

journal article EST / journal article ENG

North Italian CCS scenario for the cement industryŠogenova, Alla; Šogenov, Kazbulat; Mariani, Martina; Gastaldi, Daniela; Pellegrino, GuidoChemical engineering transactions2022 / p. 115-120 : ill https://doi.org/10.3303/CET2296020 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

1104

journal article EST / journal article ENG

Notational differencesBellucci, Francesco; Pietarinen, Ahti-VeikkoActa Analytica2020 / p. 289-314 https://doi.org/10.1007/s12136-020-00425-1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1105

book article EST / book article ENG

Note on homological modeling of the electric circuitsPaal, Eugen; Umbleja, Märt3Quantum : Algebra Geometry Information (QQQ Conference 2012) : 10-13 July 2012, Tallinn, Estonia : dedicated to memory of Professor Jean-Louis Loday (1936-2012)2014 / p. 1-7 https://doi.org/10.1088/1742-6596/532/1/012022 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1106

book article EST / book article ENG

Notes on applicability of the impedance spectroscopy for characterization of materials and substancesAnnus, Paul; Land, Raul; Min, Mart; Reidla, Marko; Rist, MarekI2MTC 2016 : 2016 IEEE International Instrumentation and Measurement Technology Conference : May 23-26, 2016, Taipei International Convention Center, Taipei, Taiwan : proceedings2016 / p. 1052-1057 : ill https://doi.org/10.1109/I2MTC.2016.7520513 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1107

book article EST / book article ENG

Novel interestingness measures for mining significant association rules from imbalanced dataAbdellatif, Safa; Ben Hassine, Mohamed Ali; Ben Yahia, SadokWeb, Artificial Intelligence and Network Applications :Proceedings of the Workshops of the 33rd International Conference on Advanced Information Networking and Applications (WAINA-2019)2019 https://doi.org/10.1007/978-3-030-15035-8_16 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

1108

journal article EST / journal article ENG

Novel method for producing electrospun composite nanofibre yarnsViirsalu, Mihkel; Savest, Natalja; Plamus, Tiia; Vassiljeva, Viktoria; Krumme, AndresProceedings of the Estonian Academy of Sciences2018 / p. 169-174 : ill https://doi.org/10.3176/proc.2018.2.09 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1109

book article EST / book article ENG

A novel multi-criteria method for building massing based on energy performance and solar access : the mixed solar envelope (MSE) methodSepulveda Luque, Abel; De Luca, FrancescoCo-creating the future: inclusion in and through design ; Vol. 12022 / p. 649-658 : ill https://doi.org/10.52842/conf.ecaade.2022.1.649 https://www.researchgate.net/publication/363503843 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1110

journal article EST / journal article ENG

Novel treatment method for black liquor and biomass hydrolysate with partial wet oxidationMuddassar, Hassan Raja; Melin, Kristian; Kuppa, Sarada; Koskinen, Jukka; Hurme, Markku; De Kokkonen, Daniela; Kallas, JuhaCellulose chemistry and technology2015 / p. 347-360 : ill https://www.cellulosechemtechnol.ro/pdf/CCT3-4(2015)/p.347-360.pdf Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1111

book article EST / book article ENG

NZEB and market-based renovation case study of an existing office buildingKuivjõgi, Helena; Kurnitski, Jarek; Uutar, Aivar; Thalfeldt, MartinE3S Web Conference: Cold Climate HVAC and Energy 20212021 / art. 05002, 7 p. : ill https://doi.org/10.1051/e3sconf/202124605002 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1112

journal article EST / journal article ENG

nZEB renovation of multi-storey building with prefabricated modular panelsPihelo, Peep; Kalamees, Targo; Kuusk, KalleIOP conference series : materials science and engineering2017 / art. 012056, 8 p. : ill https://doi.org/10.1088/1757-899X/251/1/012056 Conference proceedings at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

1113

journal article EST / journal article ENG

nZEB retrofit of a concrete large panel apartment buildingKuusk, Kalle; Kalamees, TargoEnergy procedia2015 / p. 985-990 : ill https://doi.org/10.1016/j.egypro.2015.11.038 Conference proceedings at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

1114

book article EST / book article ENG

Numerical simulation and experimental verification of downstream fish migration in a Kaplan turbineBenigni, Helmut; Schneider, Josef; Reckendorfer, Walter; Jaberg, Helmut; Zenz, Gerald; Tuhtan, Jeffrey AndrewIOP Conference Series: Earth and Environmental Science ; 7742021 / art. 012149 https://doi.org/10.1088/1755-1315/774/1/012149 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1115

book article EST / book article ENG

Numerical simulation of energy localization in dynamic materialsBerezovski, Mihhail; Berezovski, ArkadiAdvances in mechanics of microstructured media and structures2018 / p. 75-83 https://doi.org/10.1007/978-3-319-73694-5_5 Article collection metrics at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1116

journal article EST / journal article ENG

Numerical simulation of grid-generated turbulent particulate flow by three-dimensional Reynolds stressKartušinski, Aleksander; Rudi, Ülo; Stock, David; Hussainov, Medhat; Štšeglov, Igor; Tisler, Sergei; Šablinski, AleksandrProceedings of the Estonian Academy of Sciences2013 / p. 161-174 : ill https://doi.org/10.3176/proc.2013.3.02 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1117

book article EST / book article ENG

Numerical solution of stiff ODEs using non-uniform Haar waveletsAziz, Imran; Yasmeen, Shumaila; Tsukrejev, PavelInternational Conference of Numerical Analysis and Applied Mathematics, ICNAAM 2018 : 13-18 September 2018, Rhodes, Greece2019 / art. 330008 https://doi.org/10.1063/1.5114346 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1118

journal article EST / journal article ENG

A numerical study for plant-independent evaluation of fractional-order PID controller performanceAlagoz, Baris Baykant; Tepljakov, Aleksei; Yeroglu, Celaleddin; Gonzalez, Emmanuel A.; Hossein Nia, S. Hassan; Petlenkov, EduardIFAC-PapersOnLine2018 / p. 539-544 : ill https://doi.org/10.1016/j.ifacol.2018.06.151 Conference proceedings at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

1119

journal article EST / journal article ENG

Numerical study of Tallinn storm-water system flooding conditions using CFD simulations of multi-phase flow in a large-scale inverted siphonKaur, Katrin; Laanearu, Janek; Annus, IvarIOP conference series : materials science and engineering2017 / art. 012128, 8 p. : ill https://doi.org/10.1088/1757-899X/251/1/012128 Conference proceedings at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

Related publications 1

Dynamic processes of air-water flows in urban water systems = Õhu ja vee koosvoolamise dünaamilised protsessid linna veesüsteemides

1120

journal article EST / journal article ENG

Numerical study of upward particulate pipe flows at a constant Reynolds numberKartušinski, Aleksander; Rudi, Ülo; Tisler, Sergei; Štšeglov, Igor; Šablinski, AleksandrProceedings of the Estonian Academy of Sciences2013 / p. 97-108 : ill https://doi.org/10.3176/proc.2013.2.03 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1121

book article EST / book article ENG

Obfuscating the hierarchy of a digital IPBasiashvili, Giorgi; Abideen, Zain Ul; Pagliarini, Samuel NascimentoEmbedded Computer Systems : Architectures, Modeling, and Simulation :22nd International Conference, SAMOS 2022, Samos, Greece, July 3-7, 2022 : proceedings2022 / p. 303-314 https://doi.org/10.1007/978-3-031-15074-6_28 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

1122

book article EST / book article ENG

Object detection for rescue operations by high-altitude infrared thermal imaging collected by unmanned aerial vehiclesPolukhin, Andrii; Gordienko, Yuri; Jervan, Gert; Stirenko, SergiiPattern Recognition and Image Analysis : 11th Iberian Conference, IbPRIA 2023, Alicante, Spain, June 27–30, 2023 : proceedings2023 / p. 490-504 https://doi.org/10.1007/978-3-031-36616-1_39 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

1123

journal article EST / journal article ENG

Observable space of the nonlinear control system on a homogeneous time scaleKaparin, Vadim; Kotta, Ülle; Wyrwas, MałgorzataProceedings of the Estonian Academy of Sciences2014 / p. 11-25 https://artiklid.elnet.ee/record=b2665198*est https://doi.org/10.3176/proc.2014.1.04 Journal metrics at Scopus Article at Scopus Journal metrics at Scopus Article at WOS

journal article EST / journal article ENG

1124

journal article EST / journal article ENG

Observer-based residual generation for nonlinear discrete-time systemsKaldmäe, Arvo; Kotta, ÜlleProceedings of the Estonian Academy of Sciences2018 / p. 325-336 https://doi.org/10.3176/proc.2018.4.01 http://www.kirj.ee/public/proceedings_pdf/2018/issue_4/proc-2018-4-325-336.pdf Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1125

book article EST / book article ENG

Obstructions to compositionalityPuca, Caterina; Hadzihasanovic, Amar; Genovese, Fabrizio; Coecke, Bob6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 226-245 https://doi.org/10.4204/EPTCS.397.14 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Q3 (quartile)

types of item

quartile 1