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
Searching
My bookmarks
0
Arvutiteadus. Tarkvara (category)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
291
Look more..
(2/95)
Export
export all inquiry results
(291)
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
A direct version of Veldman's proof of open induction on cantor space via delimited control operators
Ilik, Danko
;
Nakata, Keiko
19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France
2014
/
p. 188-201
https://doi.org/10.4230/LIPIcs.TYPES.2013.188
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
77
book article EST
/
book article ENG
Directed containers as categories
Ahman, Danel
;
Uustalu, Tarmo
Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016
2016
/
p. 89-98
https://doi.org/10.4204/eptcs.207.5
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
78
book article EST
/
book article ENG
Distributed largest eigenvalue detection
Ainomäe, Ahti
;
Trump, Tõnu
;
Bengtsson, Mats
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. 3519-3523 : ill
https://doi.org/10.1109/ICASSP.2017.7952811
Confernce proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
79
journal article EST
/
journal article ENG
A divertimento on MonadPlus and nondeterminism
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2016
/
p. 1086-1094 : ill
https://doi.org/10.1016/j.jlamp.2016.06.004
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
80
book article EST
/
book article ENG
Drivers and barriers for the development of smart sustainable cities : a systematic literature review
Schuch de Azambuja, Luiza
ICEGOV '21: Proceedings of the 14th International Conference on Theory and Practice of Electronic Governance
2021
/
p. 422 - 428
https://doi.org/10.1145/3494193.3494250
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Exploring the journey towards smarter sustainable cities : capacity development for evolving governance practices = Teel targemate jätkusuutlike linnade poole : arenevate valitsemisstruktuuride suutlikkuse kasvatamine
81
book article EST
/
book article ENG
Duality of lattices associated to left and right quotients
Bell, Jason
;
Smertnig, Daniel
;
Tamm, Hellis
16th International Conference on Automata and Formal Languages, AFL 2023, Eger, 5 September - 7 September 2023
2023
/
p. 35-50
https://doi.org/10.4204/EPTCS.386.5
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
82
journal article EST
/
journal article ENG
EcoLight+ : a novel multi-modal data fusion for enhanced eco-friendly traffic signal control driven by urban traffic noise prediction
Ounoughi, Chahinez
;
Ounoughi, Doua
;
Ben Yahia, Sadok
Knowledge and information systems
2023
/
p. 5309–5329
https://doi.org/10.1007/s10115-023-01938-y
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Urban traffic : data fusion and vehicle flow prediction in smart cities = Linnaliiklus : andmete ühtesulamine ja sõidukite voo prognoosimine nutikates linnades
83
book article EST
/
book article ENG
E-court system evaluation through the user's perspective : applying the end-user computing satisfaction (EUCS) model
Ahmed, Rozha Kamal
;
Ahmed, Omer
;
Pappel, Ingrid
;
Draheim, Dirk
23rd Annual International Conference on Digital Government Research (DGO2022) : Intelligent Technologies, Governments and Citizens, June 15-17, 2022 : proceedings
2022
/
p. 293-299
https://doi.org/10.1145/3543434.3543560
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
Digital transformation of court processes : driving forces, success factors, regulations and technology acceptance = Kohtuprotsesside digitaalne ümberkujundamine : liikumapanevad jõud, edu tegurid, regulatsioonid ja tehnoloogia vastuvõtmine
84
book article EST
/
book article ENG
Educating future digital leaders : developing e-governance curriculum in Estonia and Ukraine
Morze, Nataliia
;
Makhachashvili, Rusudan
;
Mosiashvili, Gvantsa
;
Pappel, Ingrid
DHW 2021: Digital Humanities Workshop
2021
/
p. 185 - 190
https://doi.org/10.1145/3526242.3526253
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
85
journal article EST
/
journal article ENG
Effective scalable IEEE 1687 instrumentation network for fault management
Jutman, Artur
;
Shibin, Konstantin
;
Devadze, Sergei
IEEE design & test
2013
/
p. 26-35 : ill
https://doi.org/10.1109/MDAT.2013.2278535
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
86
book article EST
/
book article ENG
eID public acceptance in Estonia : towards understanding the citizen
Tsap, Valentyna
;
Lips, Silvia
;
Draheim, Dirk
The Proceedings of the 21st Annual International Conference on Digital Government Research (DGO2020), Intelligent Government in the Intelligent Information Society : June 15-19, 2020, Seoul, Republic of Korea
2020
/
p. 340−341
https://doi.org/10.1145/3396956.3397009
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
2
eID public acceptance : success factors, citizen perception, and impact of electronic identity = eID avalik aktsepteerimine : edutegurid, kodanike pertseptsioon ja elektroonilise identiteedi mõju
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
87
book article EST
/
book article ENG
Enabling sensemaking and trust in communities : an organizational perspective
Arakkal Peious, Sijo
;
Suran, Shweta
;
Pattanaik, Vishwajeet
;
Draheim, Dirk
iiWAS2021: The 23rd International Conference on Information Integration and Web Intelligence : November 29-December 1, 2021, Linz, Austria : proceedings
2021
/
p. 95-103 : ill
https://doi.org/10.1145/3487664.3487678
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
3
A generic framework for collective intelligence systems = Kollektiivse intelligentsuse süsteemide üldine raamistik
Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks
Measures of Impact and Confounding – An Analysis and Experimental Comparison of Novel and Established Measures = Mõju ja segajate mõõdikud – uute ja väljakujunenud meetmete analüüs ja eksperimentaalne võrdlus
88
book article EST
/
book article ENG
Enabling social information exchange via dynamically robust annotations
Pattanaik, Vishwajeet
;
Suran, Shweta
;
Draheim, Dirk
iiWAS2019 : Proceedings of the 21st International Conference on Information Integration and Web-based Applications & Services : December 2–4, 2019, Munich, Germany
2019
/
p. 176–184 : ill
https://doi.org/10.1145/3366030.3366060
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
2
A generic framework for collective intelligence systems = Kollektiivse intelligentsuse süsteemide üldine raamistik
Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks
89
book article EST
/
book article ENG
Enhancing OSGi with asynchronous messaging
Astrova, Irina
;
Schaaf, Marc
;
Koschel, Arne
;
Ahlers, Volker
JTRES '16 : proceedings of the 14th International Workshop on Java Technologies for Real-Time and Embedded Systems : Lugano, Switzerland, August 29 - September 02, 2016
2016
/
[10] p. : ill
https://doi.org/10.1145/2990509.2990513
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
90
book article EST
/
book article ENG
Ensemble of Tensor Train Decomposition and Quantization Methods for Deep Learning Model Compression
Ademola, Olutosin Ajibola
;
Petlenkov, Eduard
;
Leier, Mairo
2022 International Joint Conference on Neural Networks (IJCNN)
2022
https://doi.org/10.1109/IJCNN55064.2022.9892626
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Efficient Deep Learning Model Optimization for Resource Constrained Devices = Tõhus süvaõppe mudeli optimeerimine piiratud ressurssidega seadmete jaoks
91
book article EST
/
book article ENG
E-Residency as a nation branding case
Kimmo, Margarita
;
Pappel, Ingrid
;
Draheim, Dirk
11th International Conference on Theory and Practice of Electronic Governance, 4 - 6 April 2018
2018
/
p. 419-428
https://doi.org/10.1145/3209415.3209447
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
92
journal article EST
/
journal article ENG
Error messages in relational database management systems : a comparison of effectiveness, usefulness, and user confidence
Taipalus, Toni
;
Grahn, Hilkka
;
Ghanbari, Hadi
Journal of systems and software
2021
/
art. 111034, 15 p.: ill
https://doi.org/10.1016/j.jss.2021.111034
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
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
94
journal article EST
/
journal article ENG
Estimation of real-time demands on the basis of pressure measurements by different optimization methods
Vassiljev, Anatoli
;
Koppel, Tiit
Advances in engineering software
2015
/
p. 67-71 : ill
https://doi.org/10.1016/j.advengsoft.2014.09.023
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
95
journal article EST
/
journal article ENG
Estimation of real-time water fluxes in water distribution system on the basis of pressure measurements
Koppel, Tiit
;
Vassiljev, Anatoli
Advances in engineering software
2013
/
p. 19-23 : ill
https://doi.org/10.1016/j.advengsoft.2012.11.012
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
96
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
97
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
98
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
Related publications
1
Public value creation with Artificial Intelligence technologies in public administration = Avaliku väärtuse loomine tehisintellekti tehnoloogiatega avalikus halduses
99
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
100
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
Number of records 291, displaying
76 - 100
previous
1
2
3
4
5
6
7
8
9
10
next
subject term
94
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.
MapInfo (tarkvara)
40.
Mathcad (tarkvara)
41.
Mathematica (tarkvara)
42.
MATLAB (tarkvara)
43.
MICROPRIZ (tarkvara)
44.
Microsoft Office (tarkvara)
45.
Microstation (tarkvara)
46.
Moodle (tarkvara)
47.
MS-DOS (tarkvara)
48.
Multiplan (tarkvara)
49.
NcCAD (tarkvara)
50.
Norton Commander (tarkvara)
51.
NUT (tarkvara)
52.
NX (tarkvara)
53.
OS (tarkvara)
54.
OS/2 (tarkvara)
55.
OS-RV (tarkvara)
56.
Paintbrush (tarkvara)
57.
Paradox (tarkvara)
58.
PARES (tarkvara)
59.
PC Tools (tarkvara)
60.
PFS: First Publisher (tarkvara)
61.
POISK (tarkvara)
62.
PowerPoint (tarkvara)
63.
PRIZ (tarkvara)
64.
Progress (tarkvara)
65.
PSpice (tarkvara)
66.
Quattro Pro (tarkvara)
67.
Revit MEP (tarkvara)
68.
Simulant (tarkvara)
69.
SIMULINK (tarkvara)
70.
Skype (tarkvara)
71.
Solid Edge (tarkvara)
72.
SolidWorks (tarkvara)
73.
sotsiaalne tarkvara
74.
SPADE (tarkvara)
75.
SPICE (tarkvara)
76.
SPRINT (tarkvara)
77.
SQL Server (tarkvara)
78.
SuperCalc (tarkvara)
79.
tarkvara
80.
tarkvara projekteerimine
81.
Tarkvara Tehnoloogia Arenduskeskus
82.
tarkvara-arendusvahendid
83.
TRANZ-TRAN (tarkvara)
84.
Turbo Pascal (tarkvara)
85.
Turbo Tester (tarkvara)
86.
UNIX (tarkvara)
87.
vaba tarkvara
88.
VASP (tarkvara)
89.
Windows (tarkvara)
90.
Visual Basic (tarkvara)
91.
VM/ESA (tarkvara)
92.
Word (tarkvara)
93.
WordPerfect (tarkvara)
94.
WordStar (tarkvara)
keyword
1
1.
tarkvara
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT