Searching - TalTech Research Portal

display

sort

101

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

102

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

103

journal article EST / journal article ENG

Challenges of microgrids in remote communities: a STEEP model applicationAkinyele, Daniel; Belikov, Juri; Levron, YoashEnergies2018 / art. 432, 35 p. : ill https://doi.org/10.3390/en11020432 Journal metrics at Scopus Article at Scopus Journal metric at WOS Article at WOS

journal article EST / journal article ENG

104

book article EST / book article ENG

Challenges of smart grids implementationAhmadiahangar, Roya; Rosin, Argo; Palu, Ivo; Azizi, AydinDemand-side flexibility in smart grid2020 / p. 1-15 https://doi.org/10.1007/978-981-15-4627-3_1 Journal metrics at Scopus Article at Scopus

book article EST / book article ENG

105

journal article EST / journal article ENG

A chameleon algorithm for solving economic dispatch problem in microgrid systemZahraoui, Younes; Alhamrouni, Ibrahim; Mekhilef, Saad; Korõtko, Tarmo; Jusoh, Awang; Sutikno, ToleBulletin of electrical engineering and informatics2023 / p. 1982-1992 : ill https://doi.org/10.11591/eei.v12i4.4700 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

106

book article EST / book article ENG

A Characterization of Amenable Groups by Besicovitch PseudodistancesCapobianco, Silvio; Guillon, PierreCellular Automata and Discrete Complex Systems : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020 : proceedings2020 / p. 99-110 https://doi.org/10.1007/978-3-030-61588-8_8 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

107

journal article EST / journal article ENG

Characterization of the ensemble of lignin-remodeling DyP-type Peroxidases from Streptomyces coelicolor A3(2)Pupart, Hegne; Jõul, Piia; Bramanis, Melissa Ingela; Lukk, TiitEnergies2023 / art. 1557, 15 p. : ill https://doi.org/10.3390/en16031557 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Characterization of bacterial dye-decolorizing peroxidases = Bakteriaalsete värvi pleegitavate peroksüdaaside iseloomustamine

108

journal article EST / journal article ENG

Chiral auxiliaries and chirogenesis iiSymmetry2021 / art. 1157 https://doi.org/10.3390/sym13071157 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

109

journal article EST / journal article ENG

Chiral heterocycle-based receptors for enantioselective recognitionKhose, Vaibhav N.; John, Marina E.; Pandey, Anita D.; Borovkov, Victor; Karnik, Anil V.Symmetry2018 / 75 p : ill https://doi.org/10.3390/sym10020034 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

Cities4ZERO approach to foresight for fostering smart energy transition on municipal levelTatar, Merit; Kalvet, Tarmo; Tiits, MarekEnergies2020 / art. 3533 https://doi.org/10.3390/en13143533 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

Classification of cross-sections for vascular skeleton extraction using convolutional neural networksLidayová, Kristína; Gupta, Anindya; Frimmel, Hans; Sintorn, Ida-Maria; Bengtsson, Ewert; Smedby, ÖrjanMedical Image : Understanding and Analysis, 21st Annual Conference, MIUA 2017 Edinburgh, UK, July 11–13, 2017 : Proceedings2017 / p. 182-194 https://doi.org/10.1007/978-3-319-60964-5_16 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

112

journal article EST / journal article ENG

Cleaning of floating photovoltaic systems : a critical review on approaches from technical and economic perspectivesZahedi, Rafi; Ranjbaran, Parisa; Gharehpetian, Gevork B.; Mohammadi, Fazel; Ahmadiahangar, RoyaEnergies2021 / art. 2018, 25 p. : ill https://doi.org/10.3390/en14072018 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

113

journal article EST / journal article ENG

Closed-loop control system design for wireless charging of low-voltage EV batteries with time-delay constraintsShevchenko, Viktor; Pakhaliuk, Bohdan; Zakis, Janis; Veligorskyi, Oleksandr; Luszcz, Jaroslaw; Husev, Oleksandr; Lytvyn, Oksana; Matiushkin, OleksandrEnergies2021 / art. 3934, 21 p. : ill https://doi.org/10.3390/en14133934 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

114

journal article EST / journal article ENG

A cluster of many small holes with negative imaginary surface impedances may generate a negative refraction indexAlsaedi, Ahmed; Ahmad, Bashir; Challa, Durga Prasad; Kirane, Mokhtar; Sini, MouradMathematical methods in the applied sciences2016 / p. 3607-3622 : ill https://doi.org/10.1002/mma.3805 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

115

journal article EST / journal article ENG

The CMS fast beam condition monitor for HL-LHCAuzinger, G.; Bakhshiansohi, H.; Dabrowski, A.; Delannoy, A.G.; Dierlamm, A.; Dragicevic, M.; Gholami, A.; Gomez, G.; Jenihhin, Maksim; Shibin, KonstantinJournal of instrumentation2024 / art. C03048, 10 p. : ill https://doi.org/10.1088/1748-0221/19/03/C03048 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

journal article EST / journal article ENG

116

book article EST / book article ENG

CNN based analysis of the Luria’s alternating series test for Parkinson’s disease diagnosticsZarembo, Sergei; Nõmm, Sven; Medijainen, Kadri; Taba, Pille; Toomela, AaroRecent Challenges in Intelligent Information and Database Systems : 13th Asian Conference, ACIIDS 2021, Phuket, Thailand, April 7–10, 2021 : proceedings2021 / p. 3-13 https://doi.org/10.1007/978-981-16-1685-3_1 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

117

journal article EST / journal article ENG

Coalgebraic update lensesAhman, Danel; Uustalu, TarmoElectronic notes in theoretical computer science2014 / p. 25-48 : ill https://doi.org/10.1016/j.entcs.2014.10.003 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

118

book article EST / book article ENG

A coalgebraic view of bar recursion and bar inductionCapretta, Venanzio; Uustalu, TarmoFoundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings2016 / p. 91-106 https://doi.org/10.1007/978-3-662-49630-5_6 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

119

journal article EST / journal article ENG

Codensity lifting of monads and its dualKatsumata, Shin-ya; Sato, Tetsuya; Uustalu, TarmoLogical methods in computer science2018 / p. 1-31 https://doi.org/10.23638/LMCS-14(4:6)2018 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

120

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

121

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

122

book article EST / book article ENG

A combined method for error and complexity reduction in fuzzy rule-based classificationRiid, Andri; Preden, Jürgo-SörenIEEE International Conference on Fuzzy Systems : August 2-5, 2015, Istanbul, Turkey2015 / [6] p. : ill https://doi.org/10.1109/FUZZ-IEEE.2015.7337806 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

123

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

124

book article EST / book article ENG

Combining fuzzy and probabilistic reasoning for crowd-sourced categorization and taggingTammet, Tanel; Luberg, AgoWeb Reasoning and Rule Systems : 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014 : proceedings2014 / p. 247-248 https://link.springer.com/book/10.1007/978-3-319-11113-1 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

125

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; Murauskaite, Lina; Džiuve, 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

Mathematics (category)

types of item

keyword 14