Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

Arvutiteadus. Tarkvara (category)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publication ..

year

year of publication

Loading..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 233
Look more.. (2/91)
Export

export all inquiry results (233)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
76

book article EST / book article ENG

Estimating sparse signals using integrated wide-band dictionariesButsenko, Maksim; Swärd, Johan; Jakobsson, Andreas2017 IEEE International Conference on Acoustics, Speech, and Signal Processing : proceedings : March 5-9, 2017, Hilton New Orleans Riverside, New Orleans, Louisiana, USA2017 / p. 4426-4430 : ill https://doi.org/10.1109/ICASSP.2017.7952993 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
77

book article EST / book article ENG

The Estonian data embassy and the applicability of the Vienna convention: an exploratory analysisRobinson, Nick; Kask, Laura; Krimmer, Robert JohannesProceedings of the 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV’19), Melbourne, Australia, April 3-5, 20192019 / p. 391-396 https://doi.org/10.1145/3326365.3326417 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
78

book article EST / book article ENG

Evaluating cybersecurity-related competences through serious gamesMäses, Sten19th Koli Calling Conference on Computing Education Research Koli Calling 2019 : November 21-24, 2019, Koli, Finland : proceedings2019 / 2 p https://doi.org/10.1145/3364510.3366163 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
79

book article EST / book article 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

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
80

book article EST / book article 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

book article EST / book article ENG
81

book article EST / book article 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

book article EST / book article ENG
82

journal article EST / journal article 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

journal article EST / journal article ENG
83

book article EST / book article 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

book article EST / book article ENG
84

journal article EST / journal article 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

journal article EST / journal article ENG
85

book article EST / book article 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

book article EST / book article ENG
86

journal article EST / journal article 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

journal article EST / journal article ENG
87

book article EST / book article 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

book article EST / book article ENG
88

book article EST / book article 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

book article EST / book article ENG
89

journal article EST / journal article 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

journal article EST / journal article ENG
90

journal article EST / journal article 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

journal article EST / journal article ENG
91

journal article EST / journal article 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

journal article EST / journal article ENG
92

journal article EST / journal article 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

journal article EST / journal article ENG
93

book article EST / book article 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

book article EST / book article ENG
94

book article EST / book article 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

book article EST / book article ENG
95

book article EST / book article 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

book article EST / book article ENG
96

journal article EST / journal article 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

journal article EST / journal article ENG
Seotud publikatsioonid 1
- Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
97

book article EST / book article 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

book article EST / book article ENG
98

book article EST / book article 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

book article EST / book article ENG
99

journal article EST / journal article 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

journal article EST / journal article ENG
100

journal article EST / journal article 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

journal article EST / journal article ENG

Number of records 233, displaying 76 - 100

previous
1
2
3
4
5
6
7
8
9
10
next

1. tarkvara

vaste

sort

Otsing
Valikud 0

year of publication

author

TTÜ department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digikogu Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu