Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
Arvutiteadus. Tarkvara (category)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
233
Look more..
(2/94)
Export
export all inquiry results
(233)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
76
book article EST
/
book article 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
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 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
book article EST
/
book article ENG
78
book article EST
/
book article 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
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 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
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 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
book article EST
/
book article ENG
81
book article EST
/
book article 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
book article EST
/
book article ENG
82
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
83
book article EST
/
book article 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
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 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
journal article EST
/
journal article ENG
85
book article EST
/
book article 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
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 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
journal article EST
/
journal article ENG
87
book article EST
/
book article 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
book article EST
/
book article ENG
88
book article EST
/
book article 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
Article at WOS
book article EST
/
book article ENG
89
journal article EST
/
journal article 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
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 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
journal article EST
/
journal article ENG
91
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
92
journal article EST
/
journal article 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
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 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
book article EST
/
book article ENG
94
book article EST
/
book article 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
book article EST
/
book article ENG
95
book article EST
/
book article 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
book article EST
/
book article ENG
96
journal article EST
/
journal article 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
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 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
book article EST
/
book article ENG
98
book article EST
/
book article 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
book article EST
/
book article ENG
99
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
100
journal article EST
/
journal article 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
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
subject term
93
1.
arvutiteadus
2.
Access (tarkvara)
3.
Adobe Audition (tarkvara)
4.
Android (tarkvara)
5.
ANP3 (tarkvara)
6.
Apache (tarkvara)
7.
APLAC (tarkvara)
8.
ARIS-tarkvara
9.
Audacity (tarkvara)
10.
AutoCAD (tarkvara)
11.
CADS Planner Electric (tarkvara)
12.
CDS/ISIS (tarkvara)
13.
ChiWriter (tarkvara)
14.
CODESSA PRO (tarkvara)
15.
DataFlex (tarkvara)
16.
dBASE (tarkvara)
17.
DDMF (tarkvara)
18.
DOS (tarkvara)
19.
Dr. Halo (tarkvara)
20.
DrifterTrack (veebipõhine tarkvara)
21.
ECADE (tarkvara)
22.
ERP (tarkvara)
23.
Ethereum (tarkvara)
24.
Excel (tarkvara)
25.
Excelerator (tarkvara)
26.
ExpertPRIZ (tarkvara)
27.
Flash (tarkvara)
28.
FoxPro (tarkvara)
29.
Gamemaker (tarkvara)
30.
GNU Octave (tarkvara)
31.
Google (tarkvara)
32.
Internet Explorer (tarkvara)
33.
InTouch (tarkvara)
34.
JADE (tarkvara)
35.
Kalman (tarkvara)
36.
LabVIEW (tarkvara)
37.
Linux (tarkvara)
38.
Lotus 1-2-3 (tarkvara)
39.
Mathcad (tarkvara)
40.
Mathematica (tarkvara)
41.
MATLAB (tarkvara)
42.
MICROPRIZ (tarkvara)
43.
Microsoft Office (tarkvara)
44.
Microstation (tarkvara)
45.
Moodle (tarkvara)
46.
MS-DOS (tarkvara)
47.
Multiplan (tarkvara)
48.
NcCAD (tarkvara)
49.
Norton Commander (tarkvara)
50.
NUT (tarkvara)
51.
NX (tarkvara)
52.
OS (tarkvara)
53.
OS/2 (tarkvara)
54.
OS-RV (tarkvara)
55.
Paintbrush (tarkvara)
56.
Paradox (tarkvara)
57.
PARES (tarkvara)
58.
PC Tools (tarkvara)
59.
PFS: First Publisher (tarkvara)
60.
POISK (tarkvara)
61.
PowerPoint (tarkvara)
62.
PRIZ (tarkvara)
63.
Progress (tarkvara)
64.
PSpice (tarkvara)
65.
Quattro Pro (tarkvara)
66.
Revit MEP (tarkvara)
67.
Simulant (tarkvara)
68.
SIMULINK (tarkvara)
69.
Skype (tarkvara)
70.
Solid Edge (tarkvara)
71.
SolidWorks (tarkvara)
72.
sotsiaalne tarkvara
73.
SPADE (tarkvara)
74.
SPICE (tarkvara)
75.
SPRINT (tarkvara)
76.
SQL Server (tarkvara)
77.
SuperCalc (tarkvara)
78.
tarkvara
79.
tarkvara projekteerimine
80.
Tarkvara Tehnoloogia Arenduskeskus
81.
tarkvara-arendusvahendid
82.
TRANZ-TRAN (tarkvara)
83.
Turbo Pascal (tarkvara)
84.
Turbo Tester (tarkvara)
85.
UNIX (tarkvara)
86.
vaba tarkvara
87.
VASP (tarkvara)
88.
Windows (tarkvara)
89.
Visual Basic (tarkvara)
90.
VM/ESA (tarkvara)
91.
Word (tarkvara)
92.
WordPerfect (tarkvara)
93.
WordStar (tarkvara)
keyword
1
1.
tarkvara
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT