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
264
Look more..
(2/95)
Export
export all inquiry results
(264)
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
251
journal article EST
/
journal article ENG
Understanding multidimensional verification : where functional meets non-functional
Lai, Xinhui
;
Balakrishnan, Aneesh
;
Lange, Thomas
;
Jenihhin, Maksim
;
Ghasempouri, Tara
;
Raik, Jaan
;
Alexandrescu, Dan
Microprocessors and microsystems
2019
/
art. 102867, 13 p. : ill
https://doi.org/10.1016/j.micpro.2019.102867
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
2
A synthetic, hierarchical approach for modelling and managing complex systems' quality and reliability = Sünteetiline, hierarhiline lähenemine keerukate süsteemide kvaliteedi ja töökindluse modelleerimiseks ja haldamiseks
Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
252
book article EST
/
book article ENG
A unifying categorical view of nondeterministic iteration and tests
Goncharov, Sergey
;
Uustalu, Tarmo
35th International Conference on Concurrency Theory (CONCUR 2024)
2024
/
art. 25
https://doi.org/10.4230/LIPIcs.CONCUR.2024.25
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
253
book article EST
/
book article ENG
The use of AI in public services : results from a preliminary mapping across the EU
Misuraca, Gianluca
;
Noordt, Colin Pascal van
;
Boukli, Anys
Proceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference
2020
/
p. 90-99
https://doi.org/10.1145/3428502.3428513
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
254
book article EST
/
book article ENG
Using blockchain for optimal and transparent resource allocation : a proposed solution for fund allocation : brief overview
Voicu-Dorobantu, Roxana
;
Udokwu, Chibuzor
;
Bocse, Bogdan
ICEEG '21: Proceedings of the 5th International Conference on E-Commerce, E-Business and E-Government
2021
/
p. 35-38
https://doi.org/10.1145/3466029.3466056
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
255
journal article EST
/
journal article ENG
Using reinforcement learning to optimize the acceptance threshold of a credit scoring model
Herasymovych, Mykola
;
Märka, Karl
;
Lukason, Oliver
Applied Soft Computing Journal
2019
/
Art. 105697
https://doi.org/10.1016/j.asoc.2019.105697
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
256
journal article EST
/
journal article ENG
Using spark to ensure system to software integrity : a case study
Näks, Tõnu
;
Aiello, M.A.
;
Taft, S.T.
Ada user journal
2019
/
p. 226-229 : ill
https://www.ada-switzerland.ch/doc/auj/auj-40-4.pdf
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
257
journal article EST
/
journal article ENG
Using STLs for effective in-field test of GPUs
Rodriguez Condia, Josie E.
;
Da Silva, Felipe Augusto
;
Bagbaba, Ahmet Cagrl
;
Guerrero-Balaguera, Juan-David
;
Hamdioui, Said
;
Sauer, Christian
;
Reorda, Matteo Sonza
IEEE Design and Test
2023
/
p. 109-117
https://doi.org/10.1109/MDAT.2022.3188573
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
258
book article EST
/
book article ENG
Validating the usage of occupational classification systems in the process of creating a national virtual competency assistant within the EU labor market
Liutkevičius, Markko
;
Erlenheim, Regina
Proceedings of the 14th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2021), 6 – 8 October 2021, Athens, Greece
2022
/
p. 254−259
https://doi.org/10.1145/3494193.3494228
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Enhancing public employment services with AI-enabled virtual competence assistant = Avalike tööturuteenuste parendamine tehisintellektil põhineva virtuaalse kompetentsiassistendiga
259
book article EST
/
book article ENG
Variations on Noetherianness
Firsov, Denis
;
Uustalu, Tarmo
;
Veltri, Niccolo
Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016
2016
/
p. 76-88 : ill
https://doi.org/10.4204/eptcs.207.4
Journal metrics at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
260
book article EST
/
book article ENG
VEDA - moVE DAta to balance the grid : research directions and recommendations for exploiting data centers flexibility within the power system
Ziagham Ahwazi, Amin
;
Bordin, Chiara
;
Mishra, Sambeet
;
Ha, Phuong H.
;
Horsch, Alexander
ICSCC '21: Proceedings of the 2021 6th International Conference on Systems, Control and Communications
2021
/
p. 13-18
https://doi.org/10.1145/3510362.3510365
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
261
journal article EST
/
journal article ENG
Versatile direct and transpose matrix multiplication with chained operations : an optimized architecture using circulant matrices
Iakymchuk, Taras
;
Rosado-Munoz, Alfredo
;
Mompean, Manuel Bataller
;
Villora, Jose Vicente Frances
;
Osimiry, Emmanuel Ovie
IEEE Transactions on Computers
2016
/
p. 3470 - 3479
https://doi.org/10.1109/TC.2016.2538235
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
262
book article EST
/
book article ENG
What makes a strong monad?
McDermott, Dylan
;
Uustalu, Tarmo
Proceedings of the Ninth Workshop on Mathematically Structured Functional Programming
2022
/
p. 113-133
https://doi.org/10.4204/EPTCS.360.6
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
263
book article EST
/
book article ENG
Whisker-based tactile navigation algorithm for underground robots
Kossas, Tanel
;
Remmas, Mohamed Walid
;
Gkliva, Roza
;
Ristolainen, Asko
;
Kruusmaa, Maarja
2024 IEEE International Conference on Robotics and Automation (ICRA)
2024
/
p. 13164-13170
https://doi.org/10.1109/ICRA57147.2024.10610762
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
264
journal article EST
/
journal article ENG
A visual-semantic approach for building content-based recommender systems
Bendouch, Mounir M.
;
Frasincar, Flavius
;
Robal, Tarmo
Information systems
2023
/
art. 102243, 12 p. : ill
https://doi.org/10.1016/j.is.2023.102243
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 264, displaying
251 - 264
previous
2
3
4
5
6
7
8
9
10
11
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
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