Otsing - TalTech teadusportaal

kuva

reasta

126

artikkel ajakirjas EST / artikkel ajakirjas ENG

Finiteness and rational sequences, constructivelyUustalu, Tarmo; Veltri, NiccoloJournal of functional programming2017 / art. e13, p. 1-20 https://doi.org/10.1017/S0956796817000041 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

127

artikkel kogumikus EST / artikkel kogumikus ENG

Finiteness of Symbolic Derivatives in LeanZhuchko, Ekaterina; Maarand, Hendrik; Veanes, Margus; Ebner, Gabriel16th International Conference on Interactive Theorem Proving (ITP 2025)2025 / p. 16:1-16:19 https://doi.org//10.4230/LIPIcs.ITP.2025.16 Journal metrics at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

128

artikkel ajakirjas EST / artikkel ajakirjas ENG

A flexible enhanced throughput and reduced overhead (FETRO) MAC protocol for ETSI SmartBANKhan, Rida; Alam, Muhammad Mahtab; Guizani, MohsenIEEE Transactions on Mobile Computing2022 / p. 2671-2686 : ill https://doi.org/10.1109/TMC.2020.3047596 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

Flexible presentations of graded monadsKatsumata, Shin-ya; McDermott, Dylan; Uustalu, Tarmo; Wu, NicolasProceedings of the ACM on Programming Languages2022 / art. 123, 28 p https://doi.org/10.1145/3547654 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

130

artikkel kogumikus EST / artikkel kogumikus ENG

Flow aided path following of an underwater robotJung, David S.; Pott, Peter P.; Salumäe, Taavi; Kruusmaa, Maarja2013 IEEE International Conference on Robotics and Automation (ICRA) : Karlsruhe, Germany, May 6-10, 20132013 / p. 4602-4607 : ill https://doi.org/10.1109/ICRA.2013.6631231 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

131

artikkel kogumikus EST / artikkel kogumikus ENG

Flow feature extraction for underwater robot localization : preliminary resultsMuhammad, Naveed; Strokina, Nataliya; Toming, Gert; Tuhtan, Jeffrey Andrew; Kämäräinen, Joni-Kristian; Kruusmaa, Maarja2015 IEEE International Conference on Robotics and Automation (ICRA) : Washington State Convention Center, Seattle, Washington, May 26-30, 20152015 / p. 1125-1130 : ill https://doi.org/10.1109/ICRA.2015.7139317 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

132

artikkel kogumikus EST / artikkel kogumikus ENG

ForewordUustalu, TarmoICFP'13 : proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming2013 / p. iii Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

133

artikkel ajakirjas EST / artikkel ajakirjas ENG

Formalizing CCS and π-calculus in Guarded Cubical AgdaVeltri, Niccolo; Vezzosi, AndreaJournal of logical and algebraic methods in programming2023 / art. 100846 https://doi.org/10.1016/j.jlamp.2022.100846 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

134

artikkel ajakirjas EST / artikkel ajakirjas ENG

FORTALESA: Fault-tolerant reconfigurable systolic array for DNN inferenceCherezova, Natalia; Jutman, Artur; Jenihhin, MaksimMicroprocessors and Microsystems2025 / art. 105222 https://doi.org/10.1016/j.micpro.2025.105222 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

135

artikkel ajakirjas EST / artikkel ajakirjas ENG

A framework for comprehensive impact assessment in the case of an extreme winter scenario, considering integrative aspects of systemic vulnerability and resilienceMolarius, Riitta; Tuomaala, Pekka; Piira, Kalevi; Räikkönen, Minna; Aubrecht, Christoph; Polese, Maria; Zuccaro, Giulio; Pilli-Sihvola, Karoliina; Rannat, KalevCMES - Computer Modeling in Engineering and Sciences2015 / p. 131 - 158 https://www.techscience.com/CMES/v109-110n2/27295 https://doi.org/10.3970/cmes.2015.109.131 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

136

artikkel kogumikus EST / artikkel kogumikus ENG

A Framework for the adoption of blockchain technology in healthcare information management systems : a case study of NigeriaAzogu, Irene; Norta, Alexander; Pappel, Ingrid; Longo, Justin; Draheim, DirkProceedings of the 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV’19), Melbourne, Australia, April 3-5, 20192019 / p. 310–316 : ill https://doi.org/10.1145/3326365.3326405 Conference proceeding at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

137

artikkel kogumikus EST / artikkel kogumikus ENG

From equations to distinctions: Two interpretations of effectful computationsVoorneveld, Niels Frits WillemProceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 20202020 / p. 1-17 https://doi.org/10.4204/EPTCS.317.1 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

138

artikkel kogumikus EST / artikkel kogumikus ENG

From structured labs to agile teams : A curriculum-based approach to active learning in first-year computer engineeringRuberg, Priit; Ellervee, Peeter; Heinsar, Risto; Selg, Hardi; Eek, Andres2025 IEEE Frontiers in Education Conference (FIE)2025 / 9 p https://doi.org/10.1109/FIE63693.2025.11328686 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

139

artikkel kogumikus EST / artikkel kogumikus ENG

FROST-EMA: Finnish and Russian Oral Speech Dataset of Electromagnetic Articulography Measurements with L1, L2 and Imitated L2 AccentsHopponen, Satu; Kinnunen, Tomi; Nikolaev, Alexandre; Gonzalez Hautamäki, Rosa; Tavi, Lauri; Meister, EinarInterspeech 2025, Rotterdam, The Netherlands, 17-21 August 20252025 / p. 364-368 : ill https://www.isca-archive.org/interspeech_2025/hopponen25_interspeech.html# https://doi.org/10.21437/Interspeech.2025-1853 Journal metrics at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

140

artikkel ajakirjas EST / artikkel ajakirjas ENG

Functional self-test of high-performance pipe-lined signal processing architecturesGorev, Maksim; Ubar, Raimund-Johannes; Ellervee, Peeter; Devadze, Sergei; Raik, Jaan; Min, MartMicroprocessors and microsystems2015 / p. 909-918 : ill https://doi.org/10.1016/j.micpro.2014.11.002 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

141

artikkel kogumikus EST / artikkel kogumikus ENG

Functorial language games for question answeringFelice, Giovanni de; Di Lavore, Elena; Roman Garcia, Mario; Toumi, AlexisProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 311–321 https://doi.org/10.4204/EPTCS.333.21 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

142

artikkel ajakirjas EST / artikkel ajakirjas ENG

Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, 28 p. : ill https://doi.org/10.1145/3434338 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

143

artikkel kogumikus EST / artikkel kogumikus ENG

Generating representative executions : extended abstractMaarand, Hendrik; Uustalu, Tarmo10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software : PLACES 2017 : Uppsala, Sweden, 29 April 20172017 / p. 39-48 : ill https://doi.org/10.4204/EPTCS.246.8 Journal metrics at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

144

artikkel kogumikus EST / artikkel kogumikus ENG

Global intelligent governance a collaborative platformGanapati, Sukumar; Ahn, Michael; Chen, Yu-Che; Krimmer, Robert Johannes; Viale Pereira, Gabriela; Pliscoff, Cristian; Tseng, Hsien-Lee; Wu, JiannanDG.O'21: DG.O2021: The 22nd Annual International Conference on Digital Government Research2021 / p. 593 - 595 https://doi.org/10.1145/3463677.3463728 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

145

artikkel ajakirjas EST / artikkel ajakirjas ENG

Graphical sequent calculi for modal logicsMa, Minghui; Pietarinen, Ahti-VeikkoElectronic proceedings in theoretical computer science2017 / p. 91-103 https://doi.org/10.4204/EPTCS.243.7 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

146

artikkel ajakirjas EST / artikkel ajakirjas ENG

Guest editorial: New boundaries for roboticsKruusmaa, Maarja; Tan, Xiaobo; Laschi, Cecilia; Fioroni, Paolo; Madhavan, RajRobotics and autonomous systems2014 / p. 1-2 https://doi.org/10.1016/j.robot.2012.12.002 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

147

artikkel ajakirjas EST / artikkel ajakirjas ENG

Guest editorial: Smart cities 2.0 : how artificial intelligence and internet of things are transforming urban livingChai, Zheng-Yi; Shah, Syed Attique; Draheim, Dirk; Hameed, Sufian; Rathore, Muhammad Mazhar UllahIET Smart Cities2024 / p. 129-131 https://doi.org/10.1049/smc2.12091 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

148

artikkel ajakirjas EST / artikkel ajakirjas ENG

Guest editors' forewordUustalu, Tarmo; Vain, JüriJournal of logical and algebraic methods in programming2016 / p. 1109 https://doi.org/10.1016/j.jlamp.2016.10.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

149

artikkel kogumikus EST / artikkel kogumikus ENG

Guideliner : a tool to improve Web UI development for better usabilityMarenkov, Jevgeni; Robal, Tarmo; Kalja, AhtoWIMS 2018 : 8th International Conference on Web Intelligence, Mining and Semantics, June 25–27 2018, Novi Sad, Serbia : proceedings2018 / art. 17, 9 p. : ill https://doi.org/10.1145/3227609.3227667 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

150

artikkel ajakirjas EST / artikkel ajakirjas ENG

Gunshot acoustic event identification and shooter localization in a WSN of asynchronous multichannel acoustic ground sensorsAstapov, Sergei; Berdnikova, Julia; Ehala, Johannes; Kaugerand, Jaanus; Preden, Jürgo-SörenMultidimensional systems and signal processing2018 / p. 563-595 : ill https://doi.org/10.1007/s11045-017-0479-7 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Arvutiteadus. Tarkvara (kategooria)

teaviku laadid

märksõna 96

võtmesõna 1