Searching - TalTech Research Portal

display

sort

1451

journal article EST / journal article ENG

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccoloMathematical structures in computer science2019 / p. 67-92 https://doi.org/10.1017/s0960129517000184 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1452

book article EST / book article ENG

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccoloTheoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings2015 / p. 110 - 125 https://doi.org/10.1007/978-3-319-25150-9_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

1453

book article EST / book article ENG

Quotients and atoms of reversible languagesTamm, HellisFormal Methods : FM 2019 International Workshops, Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II2020 / p. 443-455 https://doi.org/10.1007/978-3-030-54997-8_28 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

1454

journal article EST / journal article ENG

Quotients and atoms of reversible languagesTamm, HellisTheoretical Computer Science2022 / p. 33-45 https://doi.org/10.1016/j.tcs.2022.02.023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1455

journal article EST / journal article ENG

Radio resource management in NB-IoT systems : empowered by interference prediction and flexible duplexingMalik, Hassan; Alam, Muhammad Mahtab; Pervaiz, Haris; Le Moullec, Yannick; Al-Dulaimi, Anwer; Pärand, Sven; Reggiani, LucaIEEE Network2020 / Art. nr. 8839971 https://doi.org/10.1109/MNET.001.1900087 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1456

journal article EST / journal article ENG

Radio resource management scheme in NB-IoT systemsMalik, Hassan; Pervaiz, Haris; Alam, Muhammad Mahtab; Le Moullec, Yannick; Kuusik, Alar; Imran, Muhammad AliIEEE Access2018 / p. 15051-15064 : ill https://doi.org/10.1109/ACCESS.2018.2812299 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1457

book article EST / book article ENG

Random forests hydrodynamic flow classification in a vertical slot fishway using a bioinspired artificial lateral line probeFukuda, Shinji; Tuhtan, Jeffrey Andrew; Fuentes-Pérez, Juan Francisco; Schletterer, Martin; Kruusmaa, MaarjaIntelligent Robotics and Applications : 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016 : proceedings. Part II2016 / P. 297-307 : ill https://doi.org/10.1007/978-3-319-43518-3_29 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

1458

journal article EST / journal article ENG

Ransomware attack as Hardware Trojan : a feasibility and demonstration studyAlmeida, Felipe; Imran, Malik; Raik, Jaan; Pagliarini, Samuel NascimentoIEEE Access2022 / p. 44827-44839 https://doi.org/10.1109/ACCESS.2022.3168991 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1459

journal article EST / journal article ENG

Rate-latency optimization for NB-IoT with adaptive resource unit configuration in uplink transmissionElgarhy, Osama Mohamed Mostafa; Reggiani, Luca; Malik, Hassan; Alam, Muhammad Mahtab; Imran, Muhammad AliIEEE Systems Journal2021 / p. 265 - 276 https://doi.org/10.1109/JSYST.2020.2991073 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1460

journal article EST / journal article ENG

RE#: High performance derivative-based regex matching with intersection, complement, and restricted lookaroundsVaratalu, Ian Erik; Veanes, Margus; Ernits, Juhan-PeepProceedings of the ACM on Programming Languages2024 / 32 p. : ill https://doi.org/10.1145/3704837 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1461

journal article EST / journal article ENG

REACT: Autonomous intrusion response system for intelligent vehiclesHamad, Mohammad; Finkenzeller, Andreas; Kühr, Michael; Roberts, Andrew James; Maennel, Olaf Manuel; Steinhorst, Sebastian; Prevelakis, VassilisComputers and security2024 / art. 104008, 17 p. : ill https://doi.org/10.1016/j.cose.2024.104008 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Cybersecurity testing and attack propagation analysis of autonomous driving software = Autonoomse sõiduki juhtimistarkvara küberturvalisuse testimine ja rünnakute leviku analüüs

1462

journal article EST / journal article ENG

Readiness of small energy markets and electric power grids to global health crises: Lessons from the COVID-19 pandemicCarmon, David; Navon, Aviad; Machlev, Ram; Belikov, Juri; Levron, YoashIEEE Access2020 / art. 9139437, p. 127234−127243 https://doi.org/10.1109/ACCESS.2020.3008929 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1463

journal article EST / journal article ENG

Realisation of linear time-varying systemsKotta, Ülle; Tõnso, MarisInternational journal of control2017 / p. 1951-1956 https://doi.org/10.1080/00207179.2016.1230891 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1464

journal article EST / journal article ENG

Realization of nonlinear input-output equations in controller canonical formKaldmäe, Arvo; Kotta, ÜlleKybernetika2018 / p. 736-747 https://doi.org/10.14736/kyb-2018-4-0736 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1465

book article EST / book article ENG

Real-time crack detection on concrete using non-destructive approaches based on Yolo series : ReviewBassir, David; Chang, Haochen; Majak, JüriAdvances in Machinery, Materials Science and Engineering Application X : Proceedings of the 10th International Conference (MMSE 2024), Paris, France, 27–28 July 20242024 / p. 820-826 https://doi.org/10.3233/ATDE240712 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

1466

journal article EST / journal article ENG

Real-time demands and calibration of water distribution systemsVassiljev, Anatoli; Koor, Margus; Koppel, TiitAdvances in engineering software2015 / p. 108-113 : ill https://doi.org/10.1016/j.advengsoft.2015.06.012 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1467

book article EST / book article ENG

Real-time gait anomaly detection using 1D-CNN and LSTMRostovski, Jakob; Ahmadilivani, Mohammad Hasan; Krivošei, Andrei; Kuusik, Alar; Alam, Muhammad MahtabDigital Health and Wireless Solutions : First Nordic Conference, NCDHWS 2024, Oulu, Finland, May 7–8, 2024 : Proceedings, Part II2024 / p. 260-278 https://doi.org/10.1007/978-3-031-59091-7_17 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Development of methods for real-time in-step anomaly detection in gait analysis = Reaalajaliste meetodite arendus sammusiseste kõrvalkallete tuvastamiseks kõnnianalüüsis

1468

book article EST / book article ENG

Real-time localization and visualization of a sound source for virtual reality applicationKöse, Ahmet; Tepljakov, Aleksei; Astapov, Sergei2017 25th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) : Split, Croatia, September 21-23, 20172017 / p 219-224 : ill https://doi.org/10.23919/SOFTCOM.2017.8115577 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

1469

journal article EST / journal article ENG

Real-time multi-modal active vision for object detection on UAVs equipped with limited field of view LiDAR and cameraShi, Chuanbeibei; Lai, Ganghua; Yu, Yushu; Bellone, Mauro; Lippiello, VincezoIEEE Robotics and Automation Letters2023 / p. 6571 - 6578 https://doi.org/10.1109/LRA.2023.3309575 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1470

journal article EST / journal article ENG

Real-time regulation of beam-based feedback : implementing an FPGA solution for a continuous wave linear acceleratorMaalberg, Andrei; Kuntzsch, Michael; Petlenkov, EduardSensors2022 / art. 6236, 22 p. : ill https://doi.org/10.3390/s22166236 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Improving beam-based regulation for continuous-wave linear accelerators with a disturbance model-based design = Pidevlaine lineaarsete kiirendite kiire põhise reguleerimise täiustamine häiringu mudelil põhineva sünteesi abil

1471

journal article EST / journal article ENG

A real-time simulation for P2P energy trading using a distributed algorithmZahraoui, Younes; Korõtko, Tarmo; Rosin, Argo; Khalil Zidane, T. E.; Mekhilef, SaadIEEE Access2024 / p. 44135-44146 https://doi.org/10.1109/ACCESS.2024.3369899 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1472

journal article EST / journal article ENG

Recent contributions, future prospects and limitations of interlinking converter control in hybrid AC/DC microgridsNajafzadeh, Mahdiyyeh; Ahmadiahangar, Roya; Husev, Oleksandr; Roasto, Indrek; Jalakas, Tanel; Blinov, AndreiIEEE Access2021 / art. 9312595, p. 7960−7984 https://doi.org/10.1109/ACCESS.2020.3049023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Multifunctional energy router for residential applications = Multifunktsionaalne energiaruuter eramutele

1473

journal article EST / journal article ENG

Reconfigurable three-switch leg multi-port boost inverters with novel modulation schemes for hybrid DC/AC microgrid systemsReddy, M. Rama Narayana; Reddy, B. Dastagiri; Prabhakaran, Prajof; Chub, Andrii; Kouro, SamirIEEE Access2025 / p. 77124-77146 : ill https://doi.org/10.1109/ACCESS.2025.3565791 https://ieeexplore.ieee.org/document/10980297 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1474

journal article EST / journal article ENG

Reconstructing a manufacturing laboratory to a learning factory : a TTK UAS case studyKangru, Tavo; Moor, Madis; Rudz, Andrei; Jänes, AleksanderJournal of Machine Engineering2024 / p. 133-140 https://doi.org/10.36897/jme/191243 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

1475

book article EST / book article ENG

Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward inductionIqbal, Junaid; Truscan, Dragos; Vain, Jüri; Porres, IvanProceedings of the Fifth European Conference on the Engineering of Computer-Based Systems2017 / 10 pages : ill https://doi.org/10.1145/3123779.3123813 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Arvutiteadus (category)

types of item

subject term 1