Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
Arvutiteadus. Tarkvara (kategooria)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
233
Vaata veel..
(2/91)
Ekspordi
ekspordi kõik päringu tulemused
(233)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
76
artikkel kogumikus EST
/
artikkel kogumikus ENG
Estimating sparse signals using integrated wide-band dictionaries
Butsenko, Maksim
;
Swärd, Johan
;
Jakobsson, Andreas
2017 IEEE International Conference on Acoustics, Speech, and Signal Processing : proceedings : March 5-9, 2017, Hilton New Orleans Riverside, New Orleans, Louisiana, USA
2017
/
p. 4426-4430 : ill
https://doi.org/10.1109/ICASSP.2017.7952993
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
77
artikkel kogumikus EST
/
artikkel kogumikus ENG
The Estonian data embassy and the applicability of the Vienna convention: an exploratory analysis
Robinson, Nick
;
Kask, Laura
;
Krimmer, Robert Johannes
Proceedings of the 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV’19), Melbourne, Australia, April 3-5, 2019
2019
/
p. 391-396
https://doi.org/10.1145/3326365.3326417
Conference proceeding at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
78
artikkel kogumikus EST
/
artikkel kogumikus ENG
Evaluating cybersecurity-related competences through serious games
Mäses, Sten
19th Koli Calling Conference on Computing Education Research Koli Calling 2019 : November 21-24, 2019, Koli, Finland : proceedings
2019
/
2 p
https://doi.org/10.1145/3364510.3366163
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
79
artikkel kogumikus EST
/
artikkel kogumikus ENG
Evaluating the impact of artificial intelligence technologies in public services : towards an assessment framework
Noordt, Colin Pascal van
;
Misuraca, Gianluca
ICEGOV '20 : proceedings of the 13th International Conference on Theory and Practice of Electronic Governance : Athens, Greece, September 23-25, 2020
2020
/
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
80
artikkel kogumikus EST
/
artikkel kogumikus ENG
Evaluation of approaches for designing and developing decentralized applications on blockchain
Udokwu, Chibuzor
;
Anyanka, Henry
;
Norta, Alexander
ICACS'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 Conference
2020
/
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
81
artikkel kogumikus EST
/
artikkel kogumikus ENG
Evidential decision theory via partial Markov categories
Di Lavore, Elena
;
Roman Garcia, Mario
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 2023
2023
/
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
82
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Evolving process views
Eshuis, Rik
;
Norta, Alexander
;
Roulaux, Raoul
Information and software technology
2016
/
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
83
artikkel kogumikus EST
/
artikkel kogumikus ENG
Exploring and demonstrating the once-only principle : a European perspective
Krimmer, Robert Johannes
;
Kalvet, Tarmo
;
Toots, Maarja
;
Cepilovs, Aleksandrs
;
Tambouris, Efthimios
dg.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, USA
2017
/
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
84
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Extended reality technologies in small and medium-sized European industrial companies : level of awareness, diffusion and enablers of adoption
Jalo, Henri
;
Pirkkalainen, Henri
;
Torro, Osku
;
Pessot, Elena
;
Zangiacomi, Andrea
;
Tepljakov, Aleksei
Virtual Reality
2022
/
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
85
artikkel kogumikus EST
/
artikkel kogumikus ENG
Facilitating cross-sectoral digital product development
Soe, Ralf-Martin
Proceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference
2020
/
p. 795-798
https://doi.org/10.1145/3428502.3428623
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
86
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
FastStereoNet : A fast neural architecture search for improving the inference of disparity estimation on resource-limited platforms
Loni, Mohammad
;
Zoljodi, Ali
;
Majd, Amin
;
Ahn, Byung Hoon
;
Daneshtalab, Masoud
;
Sjödin, Mikael
;
Esmaeilzadeh, Hadi
IEEE Transactions on Systems, Man, and Cybernetics : Systems
2022
/
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
87
artikkel kogumikus EST
/
artikkel kogumikus ENG
Fibration linguistics (FibLang) : language acquisition
Genovese, Fabrizio
;
Loregian, Fosco
;
Puca, Caterina
Proceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
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
88
artikkel kogumikus EST
/
artikkel kogumikus ENG
FINEST Twins : platform for cross-border smart city solutions
Soe, Ralf-Martin
dg.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, USA
2017
/
p. 352-357 : ill
https://doi.org/10.1145/3085228.3085287
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
89
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Finiteness and rational sequences, constructively
Uustalu, Tarmo
;
Veltri, Niccolo
Journal of functional programming
2017
/
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
90
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A flexible enhanced throughput and reduced overhead (FETRO) MAC protocol for ETSI SmartBAN
Khan, Rida
;
Alam, Muhammad Mahtab
;
Guizani, Mohsen
IEEE Transactions on Mobile Computing
2022
/
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
91
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Flexible presentations of graded monads
Katsumata, Shin-ya
;
McDermott, Dylan
;
Uustalu, Tarmo
;
Wu, Nicolas
Proceedings of the ACM on Programming Languages
2022
/
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
92
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Formalizing CCS and π-calculus in Guarded Cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
Journal of logical and algebraic methods in programming
2023
/
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
93
artikkel kogumikus EST
/
artikkel kogumikus ENG
A Framework for the adoption of blockchain technology in healthcare information management systems : a case study of Nigeria
Azogu, Irene
;
Norta, Alexander
;
Pappel, Ingrid
;
Longo, Justin
;
Draheim, Dirk
Proceedings of the 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV’19), Melbourne, Australia, April 3-5, 2019
2019
/
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
94
artikkel kogumikus EST
/
artikkel kogumikus ENG
From equations to distinctions: Two interpretations of effectful computations
Voorneveld, Niels
Proceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 2020
2020
/
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
95
artikkel kogumikus EST
/
artikkel kogumikus ENG
Functorial language games for question answering
Felice, Giovanni de
;
Di Lavore, Elena
;
Roman Garcia, Mario
;
Toumi, Alexis
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
2021
/
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
96
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Functorial semantics for partial theories
Di Liberti, Ivan
;
Loregian, Fosco
;
Nester, Chad Mitchell
;
Sobocinski, Pawel Maria
Proceedings of the ACM on Programming Languages
2021
/
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
97
artikkel kogumikus EST
/
artikkel kogumikus ENG
Generating representative executions : extended abstract
Maarand, Hendrik
;
Uustalu, Tarmo
10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software : PLACES 2017 : Uppsala, Sweden, 29 April 2017
2017
/
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
98
artikkel kogumikus EST
/
artikkel kogumikus ENG
Global intelligent governance a collaborative platform
Ganapati, Sukumar
;
Ahn, Michael
;
Chen, Yu-Che
;
Krimmer, Robert Johannes
;
Viale Pereira, Gabriela
;
Pliscoff, Cristian
;
Tseng, Hsien-Lee
;
Wu, Jiannan
DG.O'21: DG.O2021: The 22nd Annual International Conference on Digital Government Research
2021
/
p. 593 - 595
https://doi.org/10.1145/3463677.3463728
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
99
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Graphical sequent calculi for modal logics
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Electronic proceedings in theoretical computer science
2017
/
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
100
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Guest editors' foreword
Uustalu, Tarmo
;
Vain, Jüri
Journal of logical and algebraic methods in programming
2016
/
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
Kirjeid leitud 233, kuvan
76 - 100
eelmine
1
2
3
4
5
6
7
8
9
10
järgmine
märksõna
90
1.
arvutiteadus
2.
Access (tarkvara)
3.
Adobe Audition (tarkvara)
4.
Android (tarkvara)
5.
ANP3 (tarkvara)
6.
Apache (tarkvara)
7.
ARIS-tarkvara
8.
Audacity (tarkvara)
9.
AutoCAD (tarkvara)
10.
CADS Planner Electric (tarkvara)
11.
CDS/ISIS (tarkvara)
12.
ChiWriter (tarkvara)
13.
CODESSA PRO (tarkvara)
14.
DataFlex (tarkvara)
15.
dBASE (tarkvara)
16.
DDMF (tarkvara)
17.
DOS (tarkvara)
18.
Dr. Halo (tarkvara)
19.
DrifterTrack (veebipõhine tarkvara)
20.
ECADE (tarkvara)
21.
ERP (tarkvara)
22.
Ethereum (tarkvara)
23.
Excel (tarkvara)
24.
Excelerator (tarkvara)
25.
ExpertPRIZ (tarkvara)
26.
Flash (tarkvara)
27.
FoxPro (tarkvara)
28.
Gamemaker (tarkvara)
29.
GNU Octave (tarkvara)
30.
Google (tarkvara)
31.
Internet Explorer (tarkvara)
32.
InTouch (tarkvara)
33.
JADE (tarkvara)
34.
Kalman (tarkvara)
35.
Linux (tarkvara)
36.
Lotus 1-2-3 (tarkvara)
37.
Mathcad (tarkvara)
38.
Mathematica (tarkvara)
39.
MATLAB (tarkvara)
40.
MICROPRIZ (tarkvara)
41.
Microsoft Office (tarkvara)
42.
Microstation (tarkvara)
43.
Moodle (tarkvara)
44.
MS-DOS (tarkvara)
45.
Multiplan (tarkvara)
46.
NcCAD (tarkvara)
47.
Norton Commander (tarkvara)
48.
NUT (tarkvara)
49.
NX (tarkvara)
50.
OS (tarkvara)
51.
OS/2 (tarkvara)
52.
OS-RV (tarkvara)
53.
Paintbrush (tarkvara)
54.
Paradox (tarkvara)
55.
PARES (tarkvara)
56.
PC Tools (tarkvara)
57.
PFS: First Publisher (tarkvara)
58.
POISK (tarkvara)
59.
PowerPoint (tarkvara)
60.
PRIZ (tarkvara)
61.
Progress (tarkvara)
62.
Quattro Pro (tarkvara)
63.
Revit MEP (tarkvara)
64.
Simulant (tarkvara)
65.
SIMULINK (tarkvara)
66.
Skype (tarkvara)
67.
Solid Edge (tarkvara)
68.
SolidWorks (tarkvara)
69.
sotsiaalne tarkvara
70.
SPADE (tarkvara)
71.
SPICE (tarkvara)
72.
SPRINT (tarkvara)
73.
SQL Server (tarkvara)
74.
SuperCalc (tarkvara)
75.
tarkvara
76.
tarkvara projekteerimine
77.
Tarkvara Tehnoloogia Arenduskeskus
78.
tarkvara-arendusvahendid
79.
TRANZ-TRAN (tarkvara)
80.
Turbo Pascal (tarkvara)
81.
Turbo Tester (tarkvara)
82.
UNIX (tarkvara)
83.
vaba tarkvara
84.
VASP (tarkvara)
85.
Windows (tarkvara)
86.
Visual Basic (tarkvara)
87.
VM/ESA (tarkvara)
88.
Word (tarkvara)
89.
WordPerfect (tarkvara)
90.
WordStar (tarkvara)
võtmesõna
1
1.
tarkvara
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT