Otsing - TalTech teadusportaal

kuva

reasta

126

artikkel kogumikus EST / artikkel kogumikus ENG

Russian Federal remote E-voting scheme of 2021 - protocol description and analysisVakarjuk, Jelizaveta; Snetkov, Nikita; Willemson, JanEICC '22: Proceedings of the 2022 European Interdisciplinary Cybersecurity Conference2022 / p. 29-35 https://doi.org/10.1145/3528580.3528586 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

127

artikkel ajakirjas EST / artikkel ajakirjas ENG

Securing verified IO programs against unverified code in F∗Andrici, Cezar-Constantin; Ciobâca, Stefan; HriÅ£cu, Catalin; Martínez, Guido; Rivas Gadda, Exequiel Matías; Tanter, Éric; Winterhalter, ThéoProceedings of the ACM on programming languages2024 / art. 74, 34 p. : ill https://doi.org/10.1145/3632916 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

128

artikkel ajakirjas EST / artikkel ajakirjas ENG

Self-aware cyber-physical systemsBellman, K.; Landauer, C.; Dutt, N.; Tammemäe, KalleACM transactions on cyber-physical systems2020 / p. 1−26 https://doi.org/10.1145/3375716 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

129

artikkel ajakirjas EST / artikkel ajakirjas ENG

Sentiment analysis for hotel reviews : a systematic literature reviewAmeur, Asma; Hamdi, Sana; Ben Yahia, SadokACM Computing Survey2023 / art. 51 https://doi.org/10.1145/3605152 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

130

raamat

SIGCOMM '15 : proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication : August 17-21, 2015, London, United Kingdom2015 http://dl.acm.org/citation.cfm?id=2785956

raamat

131

artikkel kogumikus EST / artikkel kogumikus ENG

Sights, titles and tags: mining a worldwide photo database for sightseeingLuberg, Ago; Pindis, Jakob; Tammet, Tanel10th International Conference on Web Intelligence, Mining and Semantics (WIMS 2020) & 5th International Conference on Real-time Intelligent Systems (RTIS 2020) : 30 June - 3 July 2020, Biarritz, France : proceedings2020 / p. 149-158 : ill https://doi.org/10.1145/3405962.3405987 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

132

artikkel kogumikus EST / artikkel kogumikus ENG

Smart city collaboration model : A case study of university-city collaborationSarv, Lill; Kibus, Kristel; Soe, Ralf-MartinProceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference2020 / p. 674−677 https://doi.org/10.1145/3428502.3428601 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

133

artikkel kogumikus

A smart city initiative : a case study of Porto Alegre 156Schuch de Azambuja, Luiza; Lheureux-De-Freitas, Jorge; Moreira, Cristiano Ramos; Macadar, Marie Annedg.o '14 : proceedings of the 15th Annual International Conference on Digital Government Research2014 / p. 245–252 https://doi.org/10.1145/2612733.2612768

artikkel kogumikus

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

134

artikkel ajakirjas EST / artikkel ajakirjas ENG

Smart healthcare : disease prediction using the cuckoo-enabled deep classifier in IoT frameworkKumar, Ashwani; Reddy, S. Sai Satyanarayana; Mahommad, Gouse Baig; Khan, Baseem; Sharma, RahulScientific Programming2022 https://doi.org/10.1155/2022/2090681 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

135

artikkel kogumikus EST / artikkel kogumikus ENG

Smart twin cities via urban operating systemSoe, Ralf-MartinICEGOV '17 : proceedings of the 10th International Conference on Theory and Practice of Electronic Governance : New Delhi AA, India, March 7-9, 20172017 / p. 391-400 : ill https://doi.org/10.1145/3047273.3047322 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

136

artikkel kogumikus EST / artikkel kogumikus ENG

A software product line approach for semantic specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, MarcSPLC '14: 18th International Software Product Line Conference, Florence Italy, September 15-19, 2014. Volume 12014 / p. 217-226 : ill https://doi.org/10.1145/2648511.2648534 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

137

raamat

Special track on Intelligent Systems for Digital Era (ISDE)2024 https://doi.org/10.1145/3605098

raamat

138

artikkel kogumikus

Special track on Intelligent Systems for Digital Era (ISDE) : editorial messageRobal, Tarmo; Liiv, Innar; Kalibatiene, Diana; Matulevičius, RaimundasSAC '24 : Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, Avila, Spain, April 8-12, 20242024 / p. 652-653 https://dl.acm.org/action/showFmPdf?doi=10.1145%2F3605098 Article at Scopus

artikkel kogumikus

139

artikkel ajakirjas EST / artikkel ajakirjas ENG

SSProve : a foundational framework for modular cryptographic proofs in CoqHaselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Abate, Carmine; Sidorenco, Nikolaj; Hriţcu, Cǎtǎlin; Maillard, Kenji; Spitters, BasACM Transactions on Programming Languages and Systems2023 / art. 15 https://doi.org/10.1145/3594735 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

140

artikkel kogumikus

Stationary vs. non-stationary mobile learning in MOOCsZhao, Yue; Robal, Tarmo; Lofi, Christoph; Hauff, ClaudiaUMAP '18 : Adjunct Publication of the 26th Conference on User Modeling, Adaptation and Personalization, Singapore, July 08-11, 2018 : proceedings2018 / p. 299-303 https://doi.org/10.1145/3213586.3225241

artikkel kogumikus

141

artikkel ajakirjas EST / artikkel ajakirjas ENG

String diagram rewrite theory I : rewriting with Frobenius structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioJournal of the ACM2022 / art. 14 https://doi.org/10.1145/3502719 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

142

artikkel kogumikus EST / artikkel kogumikus ENG

Structuring analyses of complex enterprise datasets with adaptive morphogenesis methodsPolis, EinarECBS '17: Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems2017 / art. a5, 10 p. : ill https://doi.org/10.1145/3123779.3123808 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

143

artikkel ajakirjas EST / artikkel ajakirjas ENG

Survey on architectural attacks : a unified classification and attack modelGhasempouri, Tara; Raik, Jaan; Reinbrecht, Cezar; Hamdioui, Said; Hamdioui, SaidACM Computing Surveys2023 / art. 42 https://doi.org/10.1145/3604803 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

144

artikkel kogumikus

Synthesis of test purpose directed reactive planning tester for nondeterministic systemsVain, Jüri; Raiend, Kullo; Kull, Andres; Ernits, Juhan-Peep22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) : November 5-9, 2007, Atlanta, Georgia, USA2007 / p. 363-372 https://www.researchgate.net/publication/220883693_Synthesis_of_test_purpose_directed_reactive_planning_tester_for_nondeterministic_systems

artikkel kogumikus

145

artikkel kogumikus

Synthesising schedules to improve QoS of best-effort traffic in TSN networksHoutan, Bahar; Ashjaei, Mohammad; Daneshtalab, Masoud; Sjödin, Mikael; Mubeen, SaadRTNS'2021 : 29th International Conference on Real-Time Networks and Systems2021 / p. 68-77 https://doi.org/10.1145/3453417.3453423

artikkel kogumikus

146

artikkel ajakirjas EST / artikkel ajakirjas ENG

A systematic literature review on hardware reliability assessment methods for deep neural networksAhmadilivani, Mohammad Hasan; Taheri, Mahdi; Raik, Jaan; Daneshtalab, Masoud; Jenihhin, MaksimACM Computing Surveys2024 / art. 141 https://doi.org/10.1145/3638242 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

147

artikkel kogumikus

System-level data format exploration for dynamically allocated data structuresEllervee, Peeter; Miranda, Miguel; Catthoor, Francky; Hemani, Ahmed37th Design Automation Conference : Los Angeles, CA, June 5-9, 2000 : proceedings2000 / p. 556-559 : ill https://ieeexplore.ieee.org/document/855373

artikkel kogumikus

148

artikkel kogumikus

Teleoperation of the industrial robot : augmented reality applicationChung, Xue Er Shamaine; Qiao, Yuansong; Kuts, Vladimir; Henry, John; McNevin, Ken; Murray, NiallMMSys '22: Proceedings of the 13th ACM Multimedia Systems Conference2022 / p. 299–303 https://doi.org/10.1145/3524273.3532901

artikkel kogumikus

149

artikkel kogumikus

Term search in RustAnnus, Tavo; Joram, PhilippTyDe 2024: Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development2024 / p. 62-73 https://doi.org/10.1145/3678000.3678210 Article at Scopus

artikkel kogumikus

150

raamat

The 16th International Baltic Conference on Digital Business and Intelligent Systems : Baltic DB&IS Conference Forum and Doctoral Consortium 2024, 30 June – 03 July, Vilnius, Lithuania : proceedings2024 https://ceur-ws.org/Vol-3698/preface.pdf

raamat

ACM (kirjastus/väljaandja)

teaviku laadid