Searching - TalTech Research Portal

display

sort

226

book article EST / book article ENG

Integration of iUML-B and UPPAAL timed automata for development of real-time systems with concurrent processesShokri-Manninen, Fatima; Tsiopoulos, Leonidas; Vain, Jüri; Walden, MarinaRigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 : proceedings2020 / p. 186-202 https://doi.org/10.1007/978-3-030-48077-6_13 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

227

journal article EST / journal article ENG

Integration of long transmission lines in large-scale DQ0 dynamic modelsBelikov, Juri; Levron, YoashElectrical Engineering2018 / p. 1219–1228 https://doi.org/10.1007/s00202-017-0582-7 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

228

book article EST / book article ENG

Intelligent virtual environments with assessment of user experiencesKöse, Ahmet; Tepljakov, Aleksei; Petlenkov, EduardArtificial Intelligence and Soft Computing : 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021 : proceedings, Part I2021 / p. 463−474 : ill https://doi.org/10.1007/978-3-030-87986-0_41 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

229

journal article EST / journal article ENG

Interface converters for residential battery energy storage systems : practices, difficulties and prospectsGalkin, Ilja; Blinov, Andrei; Vorobyov, Maxim; Bubovich, Alexander; Saltanovs, Rodions; Peftitsis, DimosthenisEnergies2021 / art. 3365 https://doi.org/10.3390/en14123365 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

230

journal article EST / journal article ENG

Interfacial long traveling waves in a two-layer fluid with variable depthPelinovsky, Efim; Talipova, Tatyana; Didenkulova, Irina; Didenkulova, EkaterinaStudies in applied mathematics2019 / p. 513-527 https://doi.org/10.1111/sapm.12235 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

231

book article EST / book article ENG

Intrinsic conditions for extended observer forms for nonlinear systemsSimha, Ashutosh; Respondek, Witold; Kaldmäe, Arvo; Kaparin, Vadim; Kotta, Ülle2018 IEEE Conference on Decision and Control (CDC), 17-19 Dec. 2018, 17-19 Dec. 2018 : proceedings2018 / p. 1373-1378 https://doi.org/10.1109/CDC.2018.8619122 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

232

journal article EST / journal article ENG

Inventory routing for ammonia supply in German portsPrause, Felix; Prause, Gunnar; Philipp, RobertEnergies2022 / art. 6485, 22 p. : ill. https://doi.org/10.3390/en15176485 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

233

journal article EST / journal article ENG

An inverse problem for a generalized fractional derivative with an application in reconstruction of time- and space-dependent sources in fractional diffusion and wave equationsKinash, Nataliia; Janno, JaanMathematics2019 / art. 1138, p. 1-16 https://doi.org/10.3390/math7121138 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

234

journal article EST / journal article ENG

Inverse problems for a generalized subdiffusion equation with final overdeterminationKinash, Nataliia; Janno, JaanMathematical modelling and analysis2019 / p. 236–262 https://doi.org/10.3846/mma.2019.016 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

235

journal article EST / journal article ENG

Inverse problems for a perturbed time fractional diffusion equation with final overdeterminationKinash, Nataliia; Janno, JaanMathematical methods in the applied sciences2018 / p. 1925-1943 : ill https://doi.org/10.1002/mma.4719 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

236

journal article EST / journal article ENG

Inverse problems with unknown boundary conditions and final overdetermination for time fractional diffusion-wave equations in cylindrical domainsJanno, JaanMathematics2021 / art. 2541, 22 p https://doi.org/10.3390/math9202541 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

237

book article EST / book article ENG

Investigating different sources of flexibility in power systemAhmadiahangar, Roya; Rosin, Argo; Palu, Ivo; Azizi, AydinDemand-side flexibility in smart grid2020 / p. 27-37 https://doi.org/10.1007/978-981-15-4627-3_3 Journal metrics at Scopus Article at Scopus

book article EST / book article ENG

238

journal article EST / journal article ENG

Investigation and field measurements for demand side management control technique of smart air conditioners located at residential, commercial, and industrial sitesMasood, Bilal; Guobing, Song; Nebhen, Jamel; Rehman, Ateeq Ur; Iqbal, Muhammad Naveed; Rasheed, Iftikhar; Bajaj, Mohit; Shafiq, Muhammad; Hamam, HabibEnergies2022 / art. 2482, 23 p. : ill https://doi.org/10.3390/en15072482 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

239

journal article EST / journal article ENG

IOCBIO Kinetics : an open-source software solution for analysis of data tracesVendelin, Marko; Laasmaa, Martin; Kalda, Mari; Branovets, Jelena; Karro, Niina; Barsunova, Karina; Birkedal Nielsen, RikkePLoS computational biology2020 / art. e1008475 https://doi.org/10.1371/journal.pcbi.1008475 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

240

journal article EST / journal article ENG

Is it disgraceful to present a book of mathematics to a Queen?Moktefi, AmiroucheThe mathematical intelligencer2019 / p. 42–50 : ill https://doi.org/10.1007/s00283-018-9843-1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

241

book article EST / book article ENG

Jin Yuelin’s Simplification of Venn DiagramsLiu, Xinwen; Pietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 260-263 https://doi.org/10.1007/978-3-030-86062-2_26 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

242

book article EST / book article ENG

John Cook Wilson's Hanging Plants : a contribution to the History of Early Logic TreesBeisecker, Dave; Moktefi, AmiroucheDiagrammatic Representation and Inference : 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022 : proceedings2022 / p. 338-346 https://doi.org/10.1007/978-3-031-15146-0_29 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

243

book article EST / book article ENG

Key factors in coping with large-scale security vulnerabilities in the eID fieldLips, Silvia; Pappel, Ingrid; Tsap, Valentyna; Draheim, DirkElectronic Government and the Information Systems Perspective :7th International Conference, EGOVIS 2018, Regensburg, Germany, September 3–5, 2018 : proceedings2018 / p. 60-70 https://doi.org/10.1007/978-3-319-98349-3_5 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

Seotud publikatsioonid 2

244

journal article EST / journal article ENG

Laser additively manufactured magnetic core design and process for electrical machine applicationsTiismus, Hans; Kallaste, Ants; Vaimann, Toomas; Lind, Liina; Virro, Indrek; Rassõlkin, Anton; Dedova, TatjanaEnergies2022 / art. 3665 https://doi.org/10.3390/en15103665 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Seotud publikatsioonid 1

Production and properties of additively manufactured electrical machine cores = Kihtlisandus meetodil valmistatud elektrimasinate magnetsüdamikud ja nende omadused

245

book article EST / book article ENG

A legal framework for digital transformation : a proposal based on a comparative case studyAhmed, Rozha Kamal; Muhammed, Khder H.; Qadir, Awat O.; Arif, Soran I.; Lips, Silvia; Nyman-Metcalf, Katrin Merike; Pappel, Ingrid; Draheim, DirkElectronic Government and the Information Systems Perspective : 10th International Conference, EGOVIS 2021, Virtual Event, September 27–30, 2021 : proceedings2021 / p. 115–128 https://doi.org/10.1007/978-3-030-86611-2_9 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

Seotud publikatsioonid 2

246

journal article EST / journal article ENG

Legally enforceable smart-contract languages : a systematic literature reviewDwivedi, Vimal Kumar; Pattanaik, Vishwajeet; Deval, Vipin; Dixit, Abhishek; Norta, Alexander; Draheim, DirkACM computing surveys2022 / art. 3453475, p. 1–34 https://doi.org/10.1145/3453475 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Seotud publikatsioonid 1

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

247

book article EST / book article ENG

A legal-relationship establishment in smart contracts : ontological semantics for programming-language developmentDwivedi, Vimal Kumar; Norta, AlexanderAdvances in Computing and Data Sciences : 5th International Conference, ICACDS 2021, Nashik, India, April 23–24, 2021, Revised Selected Papers, Part I : proceedings2021 / p. 660-676 https://doi.org/10.1007/978-3-030-81462-5_58 Conference Proceedings at Scopus Article at Scopus Article at WOS

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

248

book article EST / book article ENG

Lewis Carroll’s almost diagrammatic logic notationEnglebretsen, George; Moktefi, AmiroucheLogic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019)2023 / p. 151-168 https://doi.org/10.1007/978-3-030-94452-0_8 Article collection metrics at Scopus Article at Scopus

book article EST / book article ENG

249

journal article EST / journal article ENG

A lightweight anonymous authentication scheme for secure cloud computing servicesHammami, Hamza; Ben Yahia, Sadok; Obaidat, Mohammad S.The Journal of Supercomputing2021 / p. 1693-1713 https://doi.org/10.1007/s11227-020-03313-y Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

250

book article EST / book article ENG

Live enrolment for identity documents in EuropeKalvet, Tarmo; Karlzén, Henrik; Hunstad, Amund; Tiits, MarekElectronic Government : 17th IFIP WG 8.5 International Conference : EGOV 2018, Krems, Austria, September 3–5, 2018 : proceedings2018 / p. 29-39 : ill https://doi.org/10.1007/978-3-319-98690-6_3 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

Mathematics (category)

types of item

keyword 8