Searching - TalTech Research Portal

display

sort

351

book article EST / book article ENG

Maximally multi-focused proofs for skew non-commutative MILLVeltri, NiccolòLogic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023 : proceedings2023 / p. 377-393 https://doi.org/10.1007/978-3-031-39784-4_24 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

352

book article EST / book article ENG

Measuring complexity of legislation. A systems engineering approachKütt, Andres; Kask, LauraProceedings of Fifth International Congress on Information and Communication Technology : ICICT 2020, Vol. 12021 / p. 75-94 https://doi.org/10.1007/978-981-15-5856-6_7 Article collection metrics at Scopus Article at Scopus

book article EST / book article ENG

353

book article EST / book article ENG

Mental model mapping method for cybersecurityKullman, Kaur; Buchanan, Laurin; Komlodi, Anita; Engel, DonHCI for Cybersecurity, Privacy and Trust : Second International Conference, HCI-CPT 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020 : Proceedings2020 / p. 458-470 https://doi.org/10.1007/978-3-030-50309-3_30 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

Related publications 1

Interactive stereoscopically perceivable multidimensional data visualizations for cybersecurity = Interaktiivsed, ruumiliselt tajutavad, mitmemõõtelised andmekuvad küberturbele

354

book article EST / book article ENG

Metacognitive processes involved in human robot interaction in the school learning environmentMishra, Deepti; Lugo, Ricardo Gregorio; Parish, Karen; Tilden, SolveigHuman-Computer Interaction : Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023 :proceedings, Part II2023 / p. 85-100 : ill https://doi.org/10.1007/978-3-031-35599-8_6 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

355

book article EST / book article ENG

A method of comparative spatial analysis of a digitized (LiDAR) point cloud and the corresponding GIS databaseMaigre, Riina; Haav, Hele-Mai; Lillemets, Rauni; Julge, Kalev; Anton, GasparDatabases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings2020 / p. 219-232 : ill https://doi.org/10.1007/978-3-030-57672-1_17 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

356

journal article EST / journal article ENG

Microstructured continua and scaling for wave motionEngelbrecht, JüriAtti della Accademia Peloritana dei Pericolanti, Classe di Scienze Fisiche, Matematiche e Naturali2013 / art. A8 https://doi.org/10.1478/AAPP.91S1A8 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

357

journal article EST / journal article ENG

Misconfiguration-free compositional SDN for cloud networksPan, Heng; Li, Zhenyu; Zhang, Penghao; Cui, Penglai; Salamatian, Mohammad Reza Kave; Xie, GaogangIEEE Transactions on Dependable and Secure Computing2023 / p. 2484 - 2499 https://doi.org/10.1109/TDSC.2022.3185096 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

358

book article EST / book article ENG

Mobile cyber-physical system for diabetic patients' health status monitoringHovorushchenko, Tetiana; Pytlyak, Maksym; Hovorushchenko, Olha; Paionk, Illya; Osyadlyi, Vitaliy; Boyarchuk, ArtemIDDM 2023 : Informatics & Data-Driven Medicine 2023 : proceedings of the 6th International Conference on Informatics & Data-Driven Medicine, Bratislava, Slovakia, November 17-19, 20232023 / p. 27 - 36 https://ceur-ws.org/Vol-3609/ Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

359

book article EST / book article ENG

Mobile cyber-physical system for monitoring the health of patients with cardiovascular diseasesHovorushchenko, Tetiana; Hryshchuk, Illia; Hovorushchenko, Olha; Rei, Kostyantyn; Boyarchuk, ArtemCITRisk 2022 : Computational & Information Technologies for Risk-Informed Systems 2022 : Proceedings of the 3rd International Workshop on Computational & Information Technologies for Risk-Informed Systems (CITRisk 2022)co-located with XXII International scientific and technical conference on Information Technologies in Education and Management (ІТЕМ 2022)2022 / p. 86 - 95 https://ceur-ws.org/Vol-3422/Paper8.pdf Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

360

book article EST / book article ENG

Mobile information system for determining the level of creatine in food productHovorushchenko, Tetiana; Kvasnitskyi, Denys; Hovorushchenko, Olha; Zasornova, Iryna; Boyarchuk, ArtemIntelITSIS 2023: Intelligent Information Technologies & Systems of Information Security 2023 : proceedings of the 4th International Workshop on Intelligent Information Technologies & Systems of Information Security : Khmelnytskyi, Ukraine, March 22-24, 20232023 / p. 185 - 194 https://ceur-ws.org/Vol-3373/ Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

361

book article EST / book article ENG

Mobile phone usage data for credit scoringOts, Henri; Liiv, Innar; Tur, DianaDatabases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings2020 / p. 82-95 https://doi.org/10.1007/978-3-030-57672-1_7 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

362

journal article EST / journal article ENG

Mobile smart contracts : exploring scalability challenges and consensus mechanismsDeval, Vipin; Dwivedi, Vimal Kumar; Dixit, Abhishek; Norta, Alex; Shah, Syed Attique; Sharma, Rahul; Draheim, DirkIEEE Access2024 / p. 34265 - 34288 https://doi.org/10.1109/ACCESS.2024.3371901 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

363

book article EST / book article ENG

Model based approach for testing: distributed real-time systems augmented with online monitorsPal, Deepak; Vain, JüriDatabases and Information Systems : 13th International Baltic Conference, DB&IS 2018, Trakai, Lithuania, July 1-4, 2018 : proceedings2018 / p. 142-157 https://doi.org/10.1007/978-3-319-97571-9_13 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

364

journal article EST / journal article ENG

Model checking response times in Networked Automation Systems using jitter boundsSrinivasan, Seshadhri; Buonopane, Furio; Vain, Jüri; Ramaswamy, SriniComputers in industry2015 / p. 186-200 https://doi.org/10.1016/j.compind.2015.06.012 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

365

book article EST / book article ENG

Model-based technology of software development in largePenjam, Jaan; Tõugu, Enn14th Symposium on Programming Languages and Software Tools, SPLST 2015, Tampere, 9-10 October 20152015 / p. 149-163 : ill https://ceur-ws.org/Vol-1525/paper-11.pdf Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

366

book article EST / book article ENG

Model-based testing of real-time distributed systemsVain, Jüri; Halling, Evelin; Kanter, Gert; Anier, Aivo; Pal, DeepakDatabases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings2016 / p. 272-286 : ill https://doi.org/10.1007/978-3-319-40180-5_19 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

367

journal article EST / journal article ENG

Model-free predictive control for improved performance and robustness of three-phase quasi Z-source invertersAbid, Abderahmane; Bakeer, Abualkasim Ahmed Ali; Albalawi, Hani; Bouzidi, Mansour; Lashab, Abderezak; Chub, Andrii; Zaid, Sherif A.IEEE Access2024 / p. 87850-87863 https://doi.org/10.1109/ACCESS.2024.3417397 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

368

journal article EST / journal article ENG

The modeling and investigation of slot skews and supply imbalance on the development of principal slotting harmonics in squirrel cage induction machinesAsad, Bilal; Vaimann, Toomas; Belahcen, Anouar; Kallaste, Ants; Rassõlkin, Anton; Khang, Huynh Van; Shams Ghahfarokhi, Payam; Naseer, Muhammad Usman; Iqbal, Muhammad NaveedIEEE Access2021 / p. 165932-165946 https://doi.org/10.1109/ACCESS.2021.3134331 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Design and modeling of contoured airgap topology for additively manufactured electrical machines = Kõverdatud õhupilu topoloogiaga kihtlisandusmeetodil valmistatud elektrimasinate projekteerimine ja modelleerimine

369

journal article EST / journal article ENG

Modeling and robust control algorithms for a linear belt driven systemVu, Trieu Minh; Tamre, Mart; Sekhri, EvenOpen computer science2018 / p. 142-153 : ill https://doi.org/10.1515/comp-2018-0010 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

Related publications 1

Fully automated tuning of microwave coaxial cavity filters = Mikrolaine-koaksiaalfiltrite täisautomaatne häälestamine

370

book article EST / book article ENG

Modelling the impact of space situational awareness disruption on the European and Arctic security landscapeCarlo, Antonio; Boschetti, NicoloModelling and Simulation for Autonomous Systems: 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20–21, 2022 : Revised Selected Papers2023 / p. 299-311 https://doi.org/10.1007/978-3-031-31268-7_18 Journal metrics at Scopus Article at Scopus

book article EST / book article ENG

371

journal article EST / journal article ENG

Modern build automation for an insurance company tool selectionLange, Moritz; Tran, Kim Chi; Grunewald, Alexander; Koschel, Arne; Pakosch, Anna; Astrova, IrinaProcedia computer science2023 / p. 736-743 : ill https://doi.org/10.1016/j.procs.2023.01.346 Conference proceedings at Scopus Article at Scopus

journal article EST / journal article ENG

372

journal article EST / journal article ENG

Monads need not be endofunctorsAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoLogical methods in computer science2015 / p. 1-40 https://doi.org/10.2168/LMCS-11(1:3)2015 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

373

journal article EST / journal article ENG

Monoidal widthDi Lavore, Elena; Sobocinski, Pawel MariaLogical methods in computer science2023 / p. 15:1–15:46 : ill https://doi.org/10.46298/LMCS-19(3:15)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Monoidal width = Monoidiline laius

374

book article EST / book article ENG

MOOCs in logistics – preliminary data on university curricula coverageNiine, Tarvo; Cantoni, Franca; Cordova, MiguelEducating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 12021 / p. 586-597 https://doi.org/10.1007/978-3-030-68198-2_54 Article collection metrics at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

375

journal article EST / journal article ENG

Morphological cross entropy loss for improved semantic segmentation of small and thin objectsPihlak, Rene; Riid, AndriProcedia computer science2021 / p. 582–591 https://doi.org/10.1016/j.procs.2021.08.060 Conference proceeding at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

Arvutiteadus. Üldine arvutiteadus (category)

types of item

subject term 2