Searching - TalTech Research Portal

display

sort

26

book article EST / book article ENG

Clearing the existing fog over the smart sustainable city concept: highlighting the importance of governanceSchuch de Azambuja, Luiza; Pereira, Gabriela Viale; Krimmer, Robert JohannesProceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference2020 / p. 628–637 https://doi.org/10.1145/3428502.3428595 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Seotud publikatsioonid 1

Exploring the journey towards smarter sustainable cities : capacity development for evolving governance practices = Teel targemate jätkusuutlike linnade poole : arenevate valitsemisstruktuuride suutlikkuse kasvatamine

27

book article EST / book article ENG

Collages of string diagramsBraithwaite, Dylan; Roman Garcia, Mario6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 39-53 https://doi.org/10.4204/EPTCS.397.3 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Seotud publikatsioonid 1

Monoidal context theory = Monoidiliste kontekstide teooria

28

book article EST / book article ENG

Commercial property tokenizing with smart contractsNorta, Alexander; Fernandez, Chad; Hickmott, Stefan2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings2018 / p. 4801-4808 https://doi.org/10.1109/IJCNN.2018.8489534 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

29

book article EST / book article ENG

CommunityCare : tackling mental health issues with the help of communitySuran, Shweta; Pattanaik, Vishwajeet; Draheim, DirkiiWAS2020 : The 22st International Conference on Information Integration and Web-based Applications & Services, November 30 - December 2, 2020, Chiang Mai, Thailand : [Proceedings]2020 / art. 3429114, p. 377-382 https://doi.org/10.1145/3428757.3429114 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Seotud publikatsioonid 1

A generic framework for collective intelligence systems = Kollektiivse intelligentsuse süsteemide üldine raamistik

30

book article EST / book article ENG

Completeness for categories of generalized automataBoccali, Guido; Laretto, Andrea; Loregian, Fosco; Luneia, Stefano10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Bloomington, 19 June 2023 - 21 June 20232023 / art. 20, 14 p. : ill https://doi.org/10.4230/LIPIcs.CALCO.2023.20 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

31

book article EST / book article ENG

Compositional modelling of network gamesDi Lavore, Elena; Hedges, Jules; Sobocinski, Pawel Maria29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)2021 / art. 30, p. 30:1–30:24 : ill https://doi.org/10.4230/LIPIcs.CSL.2021.30 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

Seotud publikatsioonid 1

Monoidal width = Monoidiline laius

32

book article EST / book article ENG

Computational intelligence approach for estimation of vehicle insurancere risk levelVassiljeva, Kristina; Tepljakov, Aleksei; Petlenkov, Eduard; Netšajev, Eduard2017 International Joint Conference on Neural Networks (IJCNN 2017) : Anchorage, Alaska, USA, 14-19 May 20172017 / p. 4073-4078 : ill https://doi.org/10.1109/IJCNN.2017.7966370 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

33

book article EST / book article ENG

Conceptual challenges of researching Artificial Intelligence in public administrationsNoordt, Colin Pascal van23rd Annual International Conference on Digital Government Research (DGO2022) : Intelligent Technologies, Governments and Citizens, June 15-17, 2022 : proceedings2022 / p. 183-190 https://doi.org/10.1145/3543434.3543441 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Seotud publikatsioonid 1

Public value creation with Artificial Intelligence technologies in public administration = Avaliku väärtuse loomine tehisintellekti tehnoloogiatega avalikus halduses

34

book article EST / book article ENG

Constructive final semantics of finite bagsJoram, Philipp; Veltri, Niccolò14th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July 2023 - 4 August 20232023 / art. 20, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.20 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

35

book article EST / book article ENG

Contributing to a digital single market for Europe: barriers and drivers of an EU-wide once-only principleKalvet, Tarmo; Toots, Maarja; Krimmer, Robert Johannesdg.o 18 : Proceedings of the 19th Annual International Conference on Digital Government Research : Governance in the Data Age : Delft, Netherlands, May 30-June 01, 20182018 / Article No. 45, 8 p https://doi.org/10.1145/3209281.3209344 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

36

journal article EST / journal article ENG

A coordinated strategy for multi-machine power system stabilityGhasemi-Marzbali, Ali; Ahmadiahangar, RoyaApplied Soft Computing2021 / art. 07742, 16 p. : ill https://doi.org/10.1016/j.asoc.2021.107742 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

37

book article EST / book article ENG

Cornering opticsBoisseau, Guillaume; Nester, Chad Mitchell; Roman Garcia, MarioProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 97-110 : ill https://doi.org/10.4204/EPTCS.380.6 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.6.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

38

book article EST / book article ENG

Cross-border e-government services in Europe: expected benefits, barriers and drivers of the once-only principleKalvet, Tarmo; Toots, Maarja; Veenstra, Anne Fleur van; Krimmer, Robert JohannesICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland2018 / p. 59-68 https://doi.org/10.1145/3209415.3209458 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

39

journal article EST / journal article ENG

The cyber-insurance market in NorwayBahsi, Hayretdin; Franke, Ulrik; Langfeldt Friberg, EvenInformation and computer security2020 / p. 54−67 https://doi.org/10.1108/ICS-01-2019-0012 Journal metrics at Scopud Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

40

journal article EST / journal article ENG

DASS: Differentiable architecture search for sparse neural networksMousavi, Hamid; Loni, Mohammad; Alibeigi, Mina; Daneshtalab, MasoudACM transactions on embedded computing systems2023 / art. 105, 21 p. : ill https://doi.org/10.1145/3609385 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

41

journal article EST / journal article ENG

Data fusion for ITS : a systematic literature reviewOunoughi, Chahinez; Ben Yahia, SadokInformation Fusion2023 / p. 267-291 https://doi.org/10.1016/j.inffus.2022.08.016 Journal metrics at Scopus Article at scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Seotud publikatsioonid 1

Urban traffic : data fusion and vehicle flow prediction in smart cities = Linnaliiklus : andmete ühtesulamine ja sõidukite voo prognoosimine nutikates linnades

42

book article EST / book article ENG

Data structures for topologically sound higher-dimensional diagram rewritingHadzihasanovic, Amar; Kessler, Diana5th International Conference on Applied Category Theory, ACT 2022, Hybrid, Glasgow, 18-22 July 20222023 / p. 111-127 : ill https://doi.org/10.4204/EPTCS.380.7 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

43

book article EST / book article ENG

Decomposing comonad morphismsAhman, Danel; Uustalu, Tarmo8th Conference on Algebra and Coalgebra in Computer Science : CALCO 2019, University College London, United Kingdom, 3-6 June 20192019 / art. 14 ; 20 p https://doi.org/10.4230/LIPIcs.CALCO.2019.14 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

44

book article EST / book article ENG

Deductive systems and coherence for skew prounital closed categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-19 https://doi.org/10.48550/arXiv.2101.03809 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

45

journal article EST / journal article ENG

Deep Reinforcement Learning for energy-aware task offloading in join SDN-Blockchain 5G massive IoT edge networkSellami, Bassem; Hakiri, Akram; Ben Yahia, SadokFuture generation computer systems2022 / p. 363-379 https://doi.org/10.1016/j.future.2022.07.024 Journal metrics at Scopus Article at Scopus Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

46

book article EST / book article ENG

Degrading listsMcDermott, Dylan; Pirog, Maciej; Uustalu, TarmoProceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming (PPDP 2020), Part of BOPL 2020 : The Bologna Federated Conference on Programming Languages, 8-10 September 20202020 / art. 6, 14 p https://doi.org/10.1145/3414080.3414084 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

47

book article EST / book article ENG

Depth control of the biomimetic U-CAT turtle-like AUV with experiments in real operating conditionsChemori, Ahmed; Kuusmik, Keijo; Salumäe, Taavi; Kruusmaa, Maarja2016 IEEE International Conference on Robotics and Automation : Stockholm, Sweden, May 16th-21st2016 / p. 4750-4755 : ill https://doi.org/10.1109/ICRA.2016.7487677 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

48

journal article EST / journal article ENG

Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAALBalasubramaniyan, Sreram; Srinivasan, Seshadhri; Buonopane, Furio; Balasubramanian, Subathra; Vain, Jüri; Ramaswamy, SriniMicroprocessors and microsystems2016 / p. 37-48 : ill https://doi.org/10.1016/j.micpro.2015.12.006 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

49

journal article EST / journal article ENG

Design concept and microarchitecture of network-on-chip with best-effort and guaranteed-throughput servicesSamman, Faizal; Hollstein, ThomasInternational journal of innovative computing, informationand control2019 / p. 305–319 : ill https://doi.org/10.24507/ijicic.15.01.305 http://www.ijicic.net/ http://www.ijicic.net/servlet/Download?contentID=CONT5b67c7cbc23142feade914ceeabbdf4d Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

50

journal article EST / journal article ENG

Design of Cyber Bio-analytical Physical Systems : formal methods, architectures, and multi-system interaction strategiesAshraf, Kanwal; Le Moullec, Yannick; Pardy, Tamas; Rang, ToomasMicroprocessors and microsystems2023 / art. 104780, 14 p. : ill https://doi.org/10.1016/j.micpro.2023.104780 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Seotud publikatsioonid 1

Co-design of wireless networked control systems : model-based architecture and joint optimization = Juhtmevabade võrgustatud juhtimissüsteemide koosdisain : mudelipõhine arhitektuur ja ühisoptimeerimine

Arvutiteadus. Tarkvara (category)

types of item

subject term 92

keyword 1