Searching - TalTech Research Portal

display

sort

176

book article EST / book article ENG

Flexibly graded monads and graded algebrasMcDermott, Dylan; Uustalu, TarmoMathematics of Program Construction : 14th International Conference on Mathematics of Program Construction, MPC 2022, Tblilisi, September 26-28, 2022 : proceedings2022 / p. 102-128 : ill https://doi.org/10.1007/978-3-031-16912-0_4 Conference Proceeding at Scopus Article at Scopus Article at WOS Conference proceeding at WOS

book article EST / book article ENG

177

book article EST / book article ENG

Floor selection proposal for automated travel with smart elevatorReinsalu, Uljana; Robal, Tarmo; Leier, MairoDatabases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings2020 https://doi.org/10.1007/978-3-030-57672-1_4 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

178

book article EST / book article ENG

Forecasting available demand-side flexibilityAhmadiahangar, Roya; Rosin, Argo; Palu, Ivo; Azizi, AydinDemand-side flexibility in smart grid2020 / p. 39-49 https://doi.org/10.1007/978-981-15-4627-3_4 Journal metrics at Scopus Article at Scopus

book article EST / book article ENG

179

book article EST / book article ENG

Formal verification of COLREG-Based Navigation of maritime autonomous systemsShokri-Manninen, Fatima; Vain, Jüri; Walden, MarinaSoftware Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings2020 / p. 41-59 https://doi.org/10.1007/978-3-030-58768-0_3 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

180

book article EST / book article ENG

Formal-verification of smart-contract languages : a surveyDwivedi, Vimal Kumar; Deval, Vipin; Dixit, Abhishek; Norta, AlexanderAdvances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II2019 / p. 738-747 https://doi.org/10.1007/978-981-13-9942-8_68 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Seotud publikatsioonid 1

A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus

181

book article EST / book article ENG

Formation number of vortex ringsDanaila, Ionut; Kaplanski, Felix; Sazhin, SergeiVortex Ring Models2021 / p. 121-139 https://doi.org/10.1007/978-3-030-68150-0_6 Article collection metrics at Scopus Article at Scopus

book article EST / book article ENG

182

book article EST / book article ENG

Framework for peer-to-peer data sharing over Web browsersPattanaik, Vishwajeet; Sharvadze, Ioane; Draheim, DirkFuture Data and Security Engineering : 6th International Conference, FDSE 2019Nha Trang City, Vietnam, November 27–29, 2019 : proceedings2019 / p. 207-225 : ill https://doi.org/10.1007/978-3-030-35653-8_14 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

Seotud publikatsioonid 1

Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks

183

book article EST / book article ENG

A framework for the adoption of blockchain-based e-procurement systems in the public sector : A case study of NigeriaAkaba, Temofe Isaac; Norta, Alexander; Udokwu, Chibuzor; Draheim, DirkResponsible Design, Implementation and Use of Information and Communication Technology : 19th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2020, Skukuza, South Africa, April 6–8, 2020 : Proceedings, Part I2020 https://doi.org/10.1007/978-3-030-44999-5_1 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

184

journal article EST / journal article ENG

Frameworks for collective intelligence : a systematic literature reviewSuran, Shweta; Pattanaik, Vishwajeet; Draheim, DirkACM computing surveys2020 / art. 14, p. 1−36 https://doi.org/10.1145/3368986 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Seotud publikatsioonid 2

185

book article EST / book article ENG

Freely combining partial knowledge in multiple dimensions (extended abstract)Draheim, DirkFuture Data and Security Engineering : 5th International Conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28–30, 2018, Proceedings2018 / p. 3-11 https://doi.org/10.1007/978-3-030-03192-3_1 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

186

journal article EST / journal article ENG

Frictional wear and corrosion behavior of AlCoCrFeNi high-entropy alloy coatings synthesized by atmospheric plasma sprayingMu, Yongkun; Zhang, Liangbo; Xu, Long; Prashanth, Konda Gokuldoss; Zhang, Nizhen; Ma, Xindi; Jia, Yuefei; Xu, Yulai; Jia, Yandong; Wang, GangEntropy2020 / art. 740 https://doi.org/10.3390/e22070740 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

187

journal article EST / journal article ENG

From bench to bedsideArezzo, Alberto; Kruusmaa, Maarja; Mylonas, GeorgeIEEE Transactions on Medical Robotics and Bionics2022 / p. 297 - 299 https://doi.org/10.1109/TMRB.2022.3172013 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

188

book article EST / book article ENG

From sensors to Dempster-Shafer theory and back : the axiom of ambiguous sensor correctness and its applicationsDraheim, Dirk; Tammet, TanelDatabase and Expert Systems Applications : 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020 : Proceedings, Part I2020 / p. 3-19 https://doi.org/10.1007/978-3-030-59003-1_1 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

189

book article EST / book article ENG

GK : Implementing full first order default logic for commonsense reasoning (system description)Tammet, Tanel; Draheim, Dirk; Järv, PriitAutomated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022 : proceedings2022 / p. 300-309 https://doi.org/10.1007/978-3-031-10769-6_18 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

190

book article EST / book article ENG

GKC: A reasoning system for large knowledge basesTammet, TanelAutomated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019 : proceedings2019 / p. 538-549 https://doi.org/10.1007/978-3-030-29436-6_32 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

191

journal article EST / journal article ENG

Global data on earthworm abundance, biomass, diversity and corresponding environmental propertiesPhillips, Helen R. P.; Bach, Elizabeth M.; Bartz, Marie L. C.; Bennett, Joanne M.; Beugnon, Remy; Briones, Maria J. I.; Brown, George G.; Ferlian, Olga; Gongalsky, Konstantin B.; Ivask, MariScientific data2021 / art. 136 https://doi.org/10.1038/s41597-021-00912-z Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

192

journal article EST / journal article ENG

A global database for metacommunity ecology, integrating species, traits, environment and spaceJeliazkov, Alienor; Mijatovic, Darko; Chantepie, Stephane; Reitalu, TriinScientific data2020 / art. 6 ; 12 p. : ill https://doi.org/10.1038/s41597-019-0344-7 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

193

book article EST / book article ENG

Grand reports : a tool for generalizing association rule mining to numeric target valuesArakkal Peious, Sijo; Sharma, Rahul; Kaushik, Minakshi; Shah, Syed Attique; Ben Yahia, SadokBig Data Analytics and Knowledge Discovery : 22nd International Conference, DaWaK 2020, Bratislava, Slovakia, September 14-17, 2020 : Proceedings2020 / p. 28-37 https://doi.org/10.1007/978-3-030-59065-9_3 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

194

journal article EST / journal article ENG

Grid-forming operation of energy-router based on model predictive control with improved dynamic performanceNajafzadeh, Mahdiyyeh; Strzelecka, Natalia; Husev, Oleksandr; Roasto, Indrek; Nassereddine, Kawsar; Vinnikov, Dmitri; Strzelecki, RyszardEnergies2022 / 14 p. : ill https://doi.org/10.3390/en15114010 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Seotud publikatsioonid 1

Multifunctional energy router for residential applications = Multifunktsionaalne energiaruuter eramutele

195

journal article EST / journal article ENG

Gunshot acoustic event identification and shooter localization in a WSN of asynchronous multichannel acoustic ground sensorsAstapov, Sergei; Berdnikova, Julia; Ehala, Johannes; Kaugerand, Jaanus; Preden, Jürgo-SörenMultidimensional systems and signal processing2018 / p. 563-595 : ill https://doi.org/10.1007/s11045-017-0479-7 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

196

journal article EST / journal article ENG

Hairpin windings for electric vehicle motors : modeling and investigation of AC loss-mitigating approachesGhahfarokhi, Payam Shams; Podgornovs, Andrejs; Cardoso, Antonio J. Marques; Kallaste, Ants; Belahcen, Anouar; Vaimann, ToomasMachines2022 / art. 1029 https://doi.org/10.3390/machines10111029 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

197

journal article EST / journal article ENG

Hardware-in-the-Loop test of an open loop fuzzy control method for decoupled electro-hydraulic antilock braking systemAksjonov, Andrei; Ricciardi, Vincenzo; Augsburg, Klaus; Vodovozov, Valery; Petlenkov, EduardIEEE transactions on fuzzy systems2020 / p. 965-975: ill https://doi.org/10.1109/TFUZZ.2020.2965868 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

198

book article EST / book article ENG

Harnessing cloud scalability to hadoop clustersKoschel, Arne; Heine, Felix; Astrova, IrinaInformation Systems 15th European, Mediterranean, and Middle Eastern Conference, EMCIS 2018 : Limassol, Cyprus, October 4–5, 2018 : proceedings2019 / p. 59-71 https://doi.org/10.1007/978-3-030-11395-7_6 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

199

journal article EST / journal article ENG

Heat loss due to domestic hot water pipesHamburg, Anti; Mikola, Alo; Parts, Tuule Mall; Kalamees, TargoEnergies2021 / art. 6446 https://doi.org/10.3390/en14206446 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Seotud publikatsioonid 1

Realisation of energy renovation targets of Estonian apartment buildings = Eesti korterelamute renoveerimisel energiatõhususe eesmärkide saavutamine

200

journal article EST / journal article ENG

Heating sizing power reduction in buildings connected to district heating with dynamically controlled DHW setback and flow limitersHajian, Hatef; Simson, Raimo; Kurnitski, JarekEnergies2022 / art. 5278 https://doi.org/10.3390/en15145278 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 8