Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

Arvutiteadus. Tarkvara (kategooria)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 296
Vaata veel.. (2/95)
Ekspordi

ekspordi kõik päringu tulemused (296)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
101

artikkel kogumikus EST / artikkel kogumikus ENG

Evaluating the impact of artificial intelligence technologies in public services : towards an assessment frameworkNoordt, Colin Pascal van; Misuraca, GianlucaICEGOV '20 : proceedings of the 13th International Conference on Theory and Practice of Electronic Governance : Athens, Greece, September 23-25, 20202020 / p. 8-16 https://doi.org/10.1145/3428502.3428504 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- Public value creation with Artificial Intelligence technologies in public administration = Avaliku väärtuse loomine tehisintellekti tehnoloogiatega avalikus halduses
102

artikkel kogumikus EST / artikkel kogumikus ENG

Evaluation of approaches for designing and developing decentralized applications on blockchainUdokwu, Chibuzor; Anyanka, Henry; Norta, AlexanderICACS'20 : proceedings of the 4th International Conference on Algorithms, Computing and Systems. ICACS-AECCC 2020: the 2nd African Electronics Computer and Communication Conference, September 18-20, 2020, Virtual Conference2020 / p. 55-62 https://doi.org/10.1145/3423390.3426724 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
103

artikkel kogumikus EST / artikkel kogumikus ENG

Evidential decision theory via partial Markov categoriesDi Lavore, Elena; Roman Garcia, Mario2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 20232023 / 14 p. : ill https://doi.org/10.1109/LICS56636.2023.10175776 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
104

artikkel ajakirjas EST / artikkel ajakirjas ENG

Evolving process viewsEshuis, Rik; Norta, Alexander; Roulaux, RaoulInformation and software technology2016 / p. 20-35 : ill https://doi.org/10.1016/j.infsof.2016.08.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
105

artikkel ajakirjas EST / artikkel ajakirjas ENG

Experts still needed : boosting long-term android malware detection with active learningGuerra-Manzanares, Alejandro; Bahsi, HayretdinJournal of Computer Virology and Hacking Techniques2024 / p. 901 - 918 https://doi.org/10.1007/s11416-024-00536-y Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
106

artikkel kogumikus EST / artikkel kogumikus ENG

Exploring and demonstrating the once-only principle : a European perspectiveKrimmer, Robert Johannes; Kalvet, Tarmo; Toots, Maarja; Cepilovs, Aleksandrs; Tambouris, Efthimiosdg.o 2017 : the proceedings of the 18th Annual International Conference on Digital Government Research : Innovations and Transformations in Government : June 7-9, 2017, Staten Island, NY, USA2017 / p. 546-551 : ill https://doi.org/10.1145/3085228.3085235 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
107

artikkel ajakirjas EST / artikkel ajakirjas ENG

Extended reality technologies in small and medium-sized European industrial companies : level of awareness, diffusion and enablers of adoptionJalo, Henri; Pirkkalainen, Henri; Torro, Osku; Pessot, Elena; Zangiacomi, Andrea; Tepljakov, AlekseiVirtual Reality2022 / p. 1745 - 1761 https://doi.org/10.1007/s10055-022-00662-2 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
108

artikkel kogumikus EST / artikkel kogumikus ENG

Facilitating cross-sectoral digital product developmentSoe, Ralf-MartinProceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference2020 / p. 795-798 https://doi.org/10.1145/3428502.3428623 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
109

artikkel ajakirjas EST / artikkel ajakirjas ENG

FastStereoNet : A fast neural architecture search for improving the inference of disparity estimation on resource-limited platformsLoni, Mohammad; Zoljodi, Ali; Majd, Amin; Ahn, Byung Hoon; Daneshtalab, Masoud; Sjödin, Mikael; Esmaeilzadeh, HadiIEEE Transactions on Systems, Man, and Cybernetics : Systems2022 / p. 5222-5234 : ill https://doi.org/10.1109/TSMC.2021.3123136 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
110

artikkel kogumikus EST / artikkel kogumikus ENG

Fibration linguistics (FibLang) : language acquisitionGenovese, Fabrizio; Loregian, Fosco; Puca, CaterinaProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 224-236 : ill https://doi.org/10.4204/EPTCS.380.13 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
111

artikkel kogumikus EST / artikkel kogumikus ENG

FINEST Twins : platform for cross-border smart city solutionsSoe, Ralf-Martindg.o 2017 : the proceedings of the 18th Annual International Conference on Digital Government Research : Innovations and Transformations in Government : June 7-9, 2017, Staten Island, NY, USA2017 / p. 352-357 : ill https://doi.org/10.1145/3085228.3085287 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
112

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
113

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
114

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
115

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
116

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
117

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
118

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
119

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
120

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
121

artikkel kogumikus EST / artikkel kogumikus ENG

From equations to distinctions: Two interpretations of effectful computationsVoorneveld, NielsProceedings 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
122

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
123

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
124

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
125

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

Kirjeid leitud 296, kuvan 101 - 125

eelmine
1
2
3
4
5
6
7
8
9
10
järgmine

1. tarkvara

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu