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 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
152
Look more..
(2/89)
Export
export all inquiry results
(152)
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
101
journal article EST
/
journal article ENG
Plotkin's call-by-value λ-calculus as a modal calculus
Espírito Santo, José
;
Pinto, Luis
;
Uustalu, Tarmo
Journal of Logical and Algebraic Methods in Programming
2022
/
art. 100775, 17 p
https://doi.org/10.1016/j.jlamp.2022.100775
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
102
book article EST
/
book article ENG
A pragmatic methodology for blind hardware trojan insertion in finalized layouts
Hepp, Alexander
;
Perez, Tiago Diadami
;
Pagliarini, Samuel Nascimento
;
Sigl, Georg
ICCAD '22: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design
2022
/
art. 69, p. 1-9 : ill
https://doi.org/10.1145/3508352.3549452
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Security-aware physical synthesis of integrated circuits = Integraallülituste turvateadlik füüsiline süntees
103
book article EST
/
book article ENG
A privacy-protecting data-exchange wallet with ownership- and monetization capabilities
Norta, Alexander
;
Hawthorne, Daniel
;
Engel, Serafin L.
2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings
2018
/
p. 4121-4128 : ill
https://doi.org/10.1109/IJCNN.2018.8489551
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
104
book article EST
/
book article ENG
Proof theory of partially normal skew monoidal categories
Uustalu, Tarmo
;
Veltri, Niccolo
;
Zeilberger, Noam
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
2021
/
p. 1-17
https://doi.org/10.48550/arXiv.2101.10487
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
105
book article EST
/
book article ENG
Proof theory of skew non-commutative MILL
Uustalu, Tarmo
;
Veltri, Niccolo
;
Wan, Cheng-Syuan
Proceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022
2022
/
p. 118-135
https://doi.org/10.4204/EPTCS.358.9
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
106
journal article EST
/
journal article ENG
A proof-theoretic study of bi-intuitionistic propositional sequent calculus
Pinto, Luis
;
Uustalu, Tarmo
Journal of logic and computation
2018
/
p. 165-202
https://doi.org/10.1093/logcom/exx044
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
107
book article EST
/
book article ENG
Public acceptance of advanced identity documents
Kalvet, Tarmo
;
Tiits, Marek
;
Laas-Mikko, Katrin
ICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland
2018
/
p. 429-432
https://doi.org/10.1145/3209415.3209456
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
108
journal article EST
/
journal article ENG
Radio resource management in NB-IoT systems : empowered by interference prediction and flexible duplexing
Malik, Hassan
;
Alam, Muhammad Mahtab
;
Pervaiz, Haris
;
Moullec, Yannick Le
;
Al-Dulaimi, Anwer
;
Pärand, Sven
;
Reggiani, Luca
IEEE Network
2020
/
Art. nr. 8839971
https://doi.org/10.1109/MNET.001.1900087
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
109
journal article EST
/
journal article ENG
Realization of nonlinear input-output equations in controller canonical form
Kaldmäe, Arvo
;
Kotta, Ülle
Kybernetika
2018
/
p. 736-747
https://doi.org/10.14736/kyb-2018-4-0736
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
110
book article EST
/
book article ENG
Real-time localization and visualization of a sound source for virtual reality application
Köse, Ahmet
;
Tepljakov, Aleksei
;
Astapov, Sergei
2017 25th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) : Split, Croatia, September 21-23, 2017
2017
/
p 219-224 : ill
https://doi.org/10.23919/SOFTCOM.2017.8115577
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
111
book article EST
/
book article ENG
Regular monoidal languages
Earnshaw, Matthew David
;
Sobocinski, Pawel Maria
Leibniz International Proceedings in Informatics, LIPIcs
2022
/
p. 44:1-44:14
https://doi.org/10.4230/LIPIcs.MFCS.2022.44
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
112
book article EST
/
book article ENG
Reordering derivatives of trace closures of regular languages [Online resource]
Maarand, Hendrik
;
Uustalu, Tarmo
30th International Conference on Concurrency Theory : (CONCUR 2019)
2019
/
art. 40 ; 40:1–40:16
https://doi.org/10.4230/LIPIcs.CONCUR.2019.40
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
113
book article EST
/
book article ENG
Re-shaping the EU digital identity framework
Lips, Silvia
;
Vinogradova, Natalia
;
Krimmer, Robert Johannes
;
Draheim, Dirk
23rd Annual International Conference on Digital Government Research (DGO2022) : Intelligent Technologies, Governments and Citizens, June 15-17, 2022 : proceedings
2022
/
p. 13-21
https://doi.org/10.1145/3543434.3543652
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Seotud publikatsioonid
1
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
114
journal article EST
/
journal article ENG
A roadside unit deployment framework for enhancing transportation services in Maghrebian cities
Chaabene, Seif Ben
;
Yeferny, Taoufik
;
Ben Yahia, Sadok
Concurrency and Computation: Practice and Experience
2021
/
art. e5611
https://doi.org/10.1002/cpe.5611
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
115
book article EST
/
book article ENG
Robust training of vector quantized bottleneck models
Lancucki, Adrian
;
Chorowski, Jan
;
Sanchez, Guillaume
;
Marxer, Ricard
;
Chen, Nanxin
;
Dolfing, Hans J.G.A.
;
Khurana, Sameer
;
Alumäe, Tanel
;
Laurent, Antoine
2020 International Joint Conference onNeural Networks (IJCNN), 19-24 July 2020, Glasgow, UK : proceedings
2020
/
art. 163566 : 7 p
https://doi.org/10.1109/IJCNN48605.2020.9207145
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
116
book article EST
/
book article ENG
RoCo-NAS : robust and compact neural architecture search
Geraeinejad, Vahid
;
Sinaei, Sima
;
Modarressi, Mehdi
;
Daneshtalab, Masoud
2021 International Joint Conference on Neural Networks (IJCNN) : proceedings
2021
/
8 l
https://doi.org/10.1109/IJCNN52387.2021.9534460
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
117
book article EST
/
book article ENG
The role of linked open statistical data in public service co-creation
McBride, Keegan David Braun
;
Matheus, Ricardo
;
Toots, Maarja
;
Kalvet, Tarmo
;
Krimmer, Robert Johannes
ICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland
2018
/
p. 679-681
https://doi.org/10.1145/3209415.3209446
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
118
book article EST
/
book article ENG
Russian Federal remote E-voting scheme of 2021 - protocol description and analysis
Vakarjuk, Jelizaveta
;
Snetkov, Nikita
;
Willemson, Jan
EICC '22: Proceedings of the 2022 European Interdisciplinary Cybersecurity Conference
2022
/
p. 29-35
https://doi.org/10.1145/3528580.3528586
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
119
book article EST
/
book article ENG
Self-aware smart contracts with legal relevance
Norta, Alexander
2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings
2018
/
p. 4113-4120 : ill
https://doi.org/10.1109/IJCNN.2018.8489235
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
120
journal article EST
/
journal article ENG
Serverless, FaaS and why organizations need them
Astrova, Irina
;
Koschel, Arne
;
Schaaf, Marc
;
Klassen, Samuel
;
Jdiya, Kerim
Intelligent decision technologies
2021
/
p. 825-838
https://doi.org/10.3233/IDT-210194
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
121
book article EST
/
book article ENG
Sights, titles and tags: mining a worldwide photo database for sightseeing
Luberg, Ago
;
Pindis, Jakob
;
Tammet, Tanel
10th International Conference on Web Intelligence, Mining and Semantics (WIMS 2020) & 5th International Conference on Real-time Intelligent Systems (RTIS 2020) : 30 June - 3 July 2020, Biarritz, France : proceedings
2020
/
p. 149-158 : ill
https://doi.org/10.1145/3405962.3405987
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
122
book article EST
/
book article ENG
Situated transition systems
Nester, Chad Mitchell
arXiv
2022
/
p. 103-115
https://doi.org/10.4204/EPTCS.372.8
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
123
book article EST
/
book article ENG
Smart city collaboration model : A case study of university-city collaboration
Sarv, Lill
;
Kibus, Kristel
;
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. 674−677
https://doi.org/10.1145/3428502.3428601
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
124
journal article EST
/
journal article ENG
Smart healthcare : disease prediction using the cuckoo-enabled deep classifier in IoT framework
Kumar, Ashwani
;
Reddy, S. Sai Satyanarayana
;
Mahommad, Gouse Baig
;
Khan, Baseem
;
Sharma, Rahul
Scientific Programming
2022
https://doi.org/10.1155/2022/2090681
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
125
journal article EST
/
journal article ENG
Sociotechnical factors and Industry 4.0 : an integrative perspective for the adoption of smart manufacturing technologies
Marcon, Érico
;
Soliman, Marlon
;
Gerstlberger, Wolfgang Dieter
;
Frank, Alejandro G.
Journal of Manufacturing Technology Management
2022
/
p. 259-289 : ill
https://doi.org/10.1108/JMTM-01-2021-0017
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 152, displaying
101 - 125
previous
1
2
3
4
5
6
7
next
subject term
88
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.
Kalman (tarkvara)
33.
Linux (tarkvara)
34.
Lotus 1-2-3 (tarkvara)
35.
Mathcad (tarkvara)
36.
Mathematica (tarkvara)
37.
MATLAB (tarkvara)
38.
MICROPRIZ (tarkvara)
39.
Microsoft Office (tarkvara)
40.
Microstation (tarkvara)
41.
Moodle (tarkvara)
42.
MS-DOS (tarkvara)
43.
Multiplan (tarkvara)
44.
NcCAD (tarkvara)
45.
Norton Commander (tarkvara)
46.
NUT (tarkvara)
47.
NX (tarkvara)
48.
OS (tarkvara)
49.
OS/2 (tarkvara)
50.
OS-RV (tarkvara)
51.
Paintbrush (tarkvara)
52.
Paradox (tarkvara)
53.
PARES (tarkvara)
54.
PC Tools (tarkvara)
55.
PFS: First Publisher (tarkvara)
56.
POISK (tarkvara)
57.
PowerPoint (tarkvara)
58.
PRIZ (tarkvara)
59.
Progress (tarkvara)
60.
Quattro Pro (tarkvara)
61.
Revit MEP (tarkvara)
62.
Simulant (tarkvara)
63.
SIMULINK (tarkvara)
64.
Skype (tarkvara)
65.
Solid Edge (tarkvara)
66.
SolidWorks (tarkvara)
67.
sotsiaalne tarkvara
68.
SPADE (tarkvara)
69.
SPICE (tarkvara)
70.
SPRINT (tarkvara)
71.
SQL Server (tarkvara)
72.
SuperCalc (tarkvara)
73.
tarkvara
74.
tarkvara projekteerimine
75.
Tarkvara Tehnoloogia Arenduskeskus
76.
tarkvara-arendusvahendid
77.
TRANZ-TRAN (tarkvara)
78.
Turbo Pascal (tarkvara)
79.
Turbo Tester (tarkvara)
80.
UNIX (tarkvara)
81.
vaba tarkvara
82.
VASP (tarkvara)
83.
Windows (tarkvara)
84.
Visual Basic (tarkvara)
85.
VM/ESA (tarkvara)
86.
Word (tarkvara)
87.
WordPerfect (tarkvara)
88.
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