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
303
Look more..
(2/95)
Export
export all inquiry results
(303)
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
126
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
Related publications
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
127
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
128
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
129
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
130
journal article EST
/
journal article ENG
Guest editorial: New boundaries for robotics
Kruusmaa, Maarja
;
Tan, Xiaobo
;
Laschi, Cecilia
;
Fioroni, Paolo
;
Madhavan, Raj
Robotics and autonomous systems
2014
/
p. 1-2
https://doi.org/10.1016/j.robot.2012.12.002
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
131
journal article EST
/
journal article ENG
Guest editorial: Smart cities 2.0 : how artificial intelligence and internet of things are transforming urban living
Chai, Zheng-Yi
;
Shah, Syed Attique
;
Draheim, Dirk
;
Hameed, Sufian
;
Rathore, Muhammad Mazhar Ullah
IET Smart Cities
2024
/
p. 129-131
https://doi.org/10.1049/smc2.12091
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
132
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
133
book article EST
/
book article ENG
Guideliner : a tool to improve Web UI development for better usability
Marenkov, Jevgeni
;
Robal, Tarmo
;
Kalja, Ahto
WIMS 2018 : 8th International Conference on Web Intelligence, Mining and Semantics, June 25–27 2018, Novi Sad, Serbia : proceedings
2018
/
art. 17, 9 p. : ill
https://doi.org/10.1145/3227609.3227667
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
134
journal article EST
/
journal article ENG
Gunshot acoustic event identification and shooter localization in a WSN of asynchronous multichannel acoustic ground sensors
Astapov, Sergei
;
Berdnikova, Julia
;
Ehala, Johannes
;
Kaugerand, Jaanus
;
Preden, Jürgo-Sören
Multidimensional systems and signal processing
2018
/
p. 563-595 : ill
https://doi.org/10.1007/s11045-017-0479-7
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
135
journal article EST
/
journal article ENG
Hardware trojan insertion in finalized layouts : from methodology to a silicon demonstration
Perez, Tiago Diadami
;
Pagliarini, Samuel Nascimento
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2023
/
p. 2094-2107
https://doi.org/10.1109/TCAD.2022.3223846
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Security-aware physical synthesis of integrated circuits = Integraallülituste turvateadlik füüsiline süntees
136
journal article EST
/
journal article ENG
Health management for self-aware SoCs based on IEEE 1687 infrastructure
Shibin, Konstantin
;
Devadze, Sergei
;
Jutman, Artur
;
Grabmann, Martin
;
Pricken, Robin
IEEE Design & Test
2017
/
p. 27-35 : ill
https://doi.org/10.1109/MDAT.2017.2750902
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
137
book article EST
/
book article ENG
Heterogeneous Approximation of DNN HW Accelerators based on Channels Vulnerability
Cherezova, Natalia
;
Pappalardo, Salvatore
;
Taheri, Mahdi
;
Ahmadilivani, Mohammad Hasan
;
Deveautour, Bastien
;
Bosio, Alberto
;
Raik, Jaan
;
Jenihhin, Maksim
2024 IFIP/IEEE 32nd International Conference on Very Large Scale Integration (VLSI-SoC)
2024
/
4 p. : ill
https://doi.org//10.1109/VLSI-SoC62099.2024.10767798
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
Methods for reliability assessment and enhancement of deep neural networks hardware accelerators = Süvanärvivõrkude riistvara kiirendite töökindluse hindamine ja täiustamine
138
journal article EST
/
journal article ENG
High virucidal potential of novel ceramic-metal composites fabricated via hybrid selective laser melting and spark plasma sintering routes
Rahmani Ahranjani, Ramin
;
Molan, Katja
;
Brojan, Miha
;
Prashanth, Konda Gokuldoss
;
Stopar, David
The international journal of advanced manufacturing technology
2022
/
p. 975-988 : ill
https://doi.org/10.1007/s00170-022-08878-x
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
139
book article EST
/
book article ENG
Higher-dimensional subdiagram matching
Hadzihasanovic, Amar
;
Kessler, Diana-Maria
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 2023
2023
/
13 p
https://doi.org/10.1109/LICS56636.2023.10175726
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid
140
journal article EST
/
journal article ENG
High-level axioms for graphical linear algebra
Paixao, Joao
;
Rufino, Lucas
;
Sobocinski, Pawel Maria
Science of computer programming
2022
/
art. 102791 ; 26 p
https://doi.org/10.1016/j.scico.2022.102791
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
141
journal article EST
/
journal article ENG
High-performance information processing in distributed computing systems
Sklyarov, Valery
;
Rjabov, Artjom
;
Skliarova, Iouliia
;
Sudnitsõn, Aleksander
International journal of innovative computing, information and control
2016
/
p. 139-160 : ill
https://www.researchgate.net/publication/297047447_High-performance_information_processing_in_distributed_computing_systems
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
142
journal article EST
/
journal article ENG
High-speed SABER key encapsulation mechanism in 65nm CMOS
Imran, Malik
;
Almeida, Felipe
;
Basso, Andrea
;
Roy, Sujoy Sinha
;
Pagliarini, Samuel Nascimento
Journal of cryptographic engineering
2023
/
p. 461-471 : ill
https://doi.org/10.1007/s13389-023-00316-2
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Hardware realization of lattice-based post-quantum cryptography = Võrel põhinev post-kvant-krüptograafia riistvaraline realisatsioon
143
book article EST
/
book article ENG
A historical analysis on interoperability in Estonian data exchange architecture : perspectives from the past and for the future
Jackson, Eric Blake
;
Dreyling III, Richard Michael
;
Pappel, Ingrid
ICEGOV '21: Proceedings of the 14th International Conference on Theory and Practice of Electronic Governance
2021
/
p. 111-116
https://doi.org/10.1145/3494193.3494209
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Cross-border data exchange in the Nordic-Baltic region : data intermediaries, interoperability, and e-services orchestration = Piiriülene andmevahetus Põhja-Balti regioonis : andmevahendajad, koostalitlusvõime ja e-teenuste orkestreerimine
144
journal article EST
/
journal article ENG
How does context influence music preferences : a user-based study of the effects of contextual information on users’ preferred music
Ben Sassi, Imen
;
Ben Yahia, Sadok
Multimedia Systems
2021
/
p. 143–160
https://doi.org/10.1007/s00530-020-00717-x
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
145
journal article EST
/
journal article ENG
Hybrid protection of digital FIR filters
Aksoy, Levent
;
Nguyen, Quang-Linh
;
Almeida, Felipe
;
Raik, Jaan
;
Flottes, Marie-Lise
;
Dupuis, Sophie
;
Pagliarini, Samuel Nascimento
IEEE transactions on Very Large Scale Integration (VLSI) Systems
2023
/
p. 812-825 : ill
https://doi.org/10.1109/TVLSI.2023.3253641
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Advanced Hardware Protection Mechanisms : A Study on Logic Locking and Circuit Obfuscation Techniques [Võrguteavik] = Täiustatud riistvara kaitsemehhanismid : uuring loogikalukustamise ja hägustamise tehnikate kohta
146
book article EST
/
book article ENG
Identifying design principles for proactive services through systematically understanding the reactivity-proactivity spectrum
Erlenheim, Regina
;
Draheim, Dirk
;
Taveter, Kuldar
Proceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference
2020
/
p. 452–458
https://doi.org/10.1145/3428502.3428572
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
147
book article EST
/
book article ENG
Identifying eGovernment success factors: An analysis of selected national governance models and their experiences in digitising service delivery
Meyerhoff Nielsen, Morten
EGOSE '14: Proceedings of the 2014 Conference on Electronic Governance and Open Society: Challenges in Eurasia, 18-20 November 2014 : proceedings
2014
/
p. 19-25 : ill
https://doi.org/10.1145/2729104.2729111
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
148
journal article EST
/
journal article ENG
Impact of orientation on the bias of SRAM-based PUFs
Abideen, Zain Ul
;
Wang, Rui
;
Perez, Tiago Diadami
;
Schrijen, Geert-Jan
;
Pagliarini, Samuel Nascimento
IEEE design & test
2024
/
p. 14-20
https://doi.org/10.1109/MDAT.2023.3322621
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Leveraging FPGA Reconfigurability as an Obfuscation Asset = FPGA ümberkonfigureeritavuse rakendamine hägustamise vahendina
149
journal article EST
/
journal article ENG
Impact pressure on mechanical properties of aluminum based composite by ECAP-parallel channel
Pramano, Agus
;
Dhoska, Klodian
;
Markja, Irida
;
Kommel, Lembit
Pollack periodica
2019
/
p. 67–74
https://doi.org/10.1556/606.2019.14.1.7
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
150
journal article EST
/
journal article ENG
Improved PWM-based sinewave generation : example of the impedance measurement
Abdullayev, Anar
;
Annus, Paul
;
Krivošei, Andrei
;
Metshein, Margus
;
Märtens, Olev
;
Rist, Marek
Automatic control and computer sciences
2023
/
p. 449-458
https://doi.org/10.3103/S0146411623050024
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 303, displaying
126 - 150
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
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