Searching - TalTech Research Portal

display

sort

101

journal article EST / journal article ENG

Coends of higher arityLoregian, Fosco; de Oliveira Santos, TheoApplied categorical structures2022 / p. 173-221 https://doi.org/10.1007/s10485-021-09653-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

102

book article EST / book article ENG

Coherence via focusing for symmetric skew monoidal categoriesVeltri, NiccoloLogic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021 : proceedings2021 / p. 184-200 https://doi.org/10.1007/978-3-030-88853-4_12 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

103

journal article EST / journal article ENG

Combining algebraic effect descriptions using the tensor of complete latticesVoorneveld, NielsElectronic notes in theoretical computer science2020 / p. 257-281 https://doi.org/10.1016/j.entcs.2020.09.013 Journal metrics at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

104

journal article EST / journal article ENG

Comparative assessment of heat recovery from treated wastewater in the district heating systems of the three capitals of the Baltic countriesZiemele, Jelena; Volkova, Anna; Latõšov, Eduard; Murauskaitė, Lina; Džiuvė, VytautasEnergy2023 / art. 128132 https://doi.org/10.1016/j.energy.2023.128132 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

105

journal article EST / journal article ENG

Comparative evaluation of common-ground converters for dual-purpose applicationHemmati Shahsavar, Tala; Rahimpour, Saeed; Vosoughi Kurdkandi, Naser; Fesenko, Artem; Matiushkin, Oleksandr; Husev, Oleksandr; Vinnikov, DmitriEnergies2023 / art. 2977 https://doi.org/10.3390/en16072977 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Seotud publikatsioonid 1

Common-ground energy router structure with enhanced reliability and protection = Ühise nulljuhtmega suurendatud töökindluse ja kaitsega energiaruuter

106

journal article EST / journal article ENG

Comparative simulation study of pump system efficiency driven by induction and synchronous reluctance motorsGevorkov, Levon; Dominguez-Garcia, Jose Luis; Rassõlkin, Anton; Vaimann, ToomasEnergies2022 / art. 4068 https://doi.org/10.3390/en15114068 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

107

journal article EST / journal article ENG

A comparative study of approaches of ontology driven software developmentHaav, Hele-MaiInformatica2018 / p. 439–466 : ill https://doi.org/10.15388/Informatica.2018.175 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

108

journal article EST / journal article ENG

Comparison of district heating supply options for different CHP configurationsRušeljuk, Pavel; Dedov, Andrei; Hlebnikov, Aleksandr; Lepiksaar, Kertu; Volkova, AnnaEnergies2023 / art. 603, 14 p. : ill https://doi.org/10.3390/en16020603 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Aricle at WOS

journal article EST / journal article ENG

Seotud publikatsioonid 1

Decarbonisation of fossil-fuel CHP based district heating system = Fossiilkütustel põhineva CHP kaugküttesüsteemi dekarboniseerimine

109

journal article EST / journal article ENG

Comparison of flux-switching and interior permanent magnet synchronous generators for direct-driven wind applications based on nelder–mead optimal designingPrakht, Vladimir; Dmitrievskii, Vladimir; Kazakbaev, Vadim; Andriushchenko, EkaterinaMathematics2021 / art. 732 https://doi.org/10.3390/math9070732 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

110

journal article EST / journal article ENG

Complete genome sequencing of the luminescent bacterium, vibrio qinghaiensis sp. Q67 using PacBio technologyGong, Liang; Wu, Yu; Jian, Qijie; Yin, Chunxiao; Gupta, Vijai Kumar; Duan, Xuewu; Jiang, YuemingScientific Data2018 / art. 170205 https://doi.org/10.1038/sdata.2017.205 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

111

book article EST / book article ENG

Composite surrogate for likelihood-free bayesian optimisation in high-dimensional settings of activity-based transportation modelsKuzmanovski, Vladimir; Hollmén, JaakkoAdvances in Intelligent Data Analysis XIX : 19th International Symposium on Intelligent Data Analysis, IDA 2021, Porto, Portugal, April 26–28, 2021 : proceedings2021 / p. 171-183 : ill https://doi.org/10.1007/978-3-030-74251-5_14 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

112

book article EST / book article ENG

Compositional diagrammatic first-order logicHaydon, Nathan Joseph; Sobocinski, Pawel MariaDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 402-418 https://doi.org/10.1007/978-3-030-54249-8_32 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

Seotud publikatsioonid 2

113

book article EST / book article ENG

A comprehensive approach for designing business-intelligence solutions with multi-agent systems in distributed environmentsQayumi, Karima; Norta, AlexanderTransactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII2018 / p. 113-150 https://doi.org/10.1007/978-3-662-57932-9_4 Article collection metrics at Scopus Article at Scopus Article collection metrics at WOS Article at WOS

book article EST / book article ENG

114

journal article EST / journal article ENG

A comprehensive instrument for identifying critical information infrastructure servicesHerrera, Luis-Carlos; Maennel, Olaf ManuelInternational Journal of Critical Infrastructure Protection2019 / p. 50-61 : ill https://doi.org/10.1016/j.ijcip.2019.02.001 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

115

book article EST / book article ENG

Computing data lineage and business semantics for data warehouseTomingas, Kalle; Järv, Priit; Tammet, TanelKnowledge Discovery, Knowledge Engineering and Knowledge Management :8th International Joint Conference, IC3K 2016, Porto, Portugal, November 9–11, 2016 : Revised Selected Papers2019 / p. 101-124 https://doi.org/10.1007/978-3-319-99701-8_5 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

116

journal article EST / journal article ENG

Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / p. 7:1-7:22 : ill https://doi.org/10.46298/LMCS-19(1:7)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

117

journal article EST / journal article ENG

Cones with convoluted geometry that always scatter or radiateBlåsten, Emilia L.K.; Pohjola, ValterInverse Problems2022 / Art. 125001 https://doi.org/10.1088/1361-6420/ac963c Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

118

book article EST / book article ENG

Confidences for commonsense reasoning.Tammet, Tanel; Draheim, Dirk; Järv, PriitAutomated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021 : proceedings2021 / p. 507–524 https://doi.org/10.1007/978-3-030-79876-5_29 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

119

book article EST / book article ENG

Confined vortex ringsDanaila, Ionut; Kaplanski, Felix; Sazhin, SergeiVortex Ring Models2021 / p. 103 - 119 https://doi.org/10.1007/978-3-030-68150-0_5 Article collection metrics at Scopus Article at Scopus

book article EST / book article ENG

120

journal article EST / journal article ENG

Constitutive modeling with single and dual internal variablesBerezovski, ArkadiEntropy2023 / art. 721, 26 p https://doi.org/10.3390/e25050721 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

121

journal article EST / journal article ENG

Constructing higher inductive types as groupoid quotientsVeltri, Niccolo; Weide, Niels van derLogical methods in computer science2021 / p. 8:1−8:42 https://doi.org/10.23638/LMCS-17(2:8)2021 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

122

book article EST / book article ENG

Container combinatorics : monads and lax monoidal functorsUustalu, TarmoTopics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings2017 / p. 91-105 : ill https://doi.org/10.1007/978-3-319-68953-1_8 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

123

book article EST / book article ENG

Contextual equivalence for signal flow graphsBonchi, Filippo; Piedeleu, Robin; Sobocinski, Pawel Maria; Zanasi, FabioFoundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings2020 / p. 77-96 https://doi.org/10.1007/978-3-030-45231-5_5 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

124

journal article EST / journal article ENG

Control of a three-input DC-DC converter suitable for DC motorsAlizadeh Asl, Amin; Hosseini, Seyed Hossein; Vosoughi Kurdkandi, Naser; Alizadeh Asl, RaminInternational transactions on electrical energy systems2022 / art. 4264649, 20 p. : ill https://doi.org/10.1155/2022/4264649 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

125

journal article EST / journal article ENG

Converting Tallinn's historic centre's (Old Town) heating system to a district heating systemVolkova, Anna; Krupenski, Igor; Kovtunova, Natalja; Hlebnikov, Aleksandr; Mašatin, Vladislav; Ledvanov, AleksandrEnergy2023 / art. 127429 https://doi.org/10.1016/j.energy.2023.127429 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Mathematics (category)

types of item

keyword 10