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
151
book article EST
/
book article ENG
Inductive and coinductive predicate liftings for effectful programs
Veltri, Niccolò
;
Voorneveld, Niels F.W.
Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021
2021
/
p. 260-277
https://doi.org/10.4204/EPTCS.351.16
Conference proceeding at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
152
book article EST
/
book article ENG
An insight into biological datamining based on rarity and correlation as constraints
Bouasker, Souad
;
Ben Yahia, Sadok
;
Diallo, Gayo
SAC '19 : proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing
2019
/
p. 3-10 : ill
https://doi.org/10.1145/3297280.3297281
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
153
book article EST
/
book article ENG
Interaction laws of monads and comonads
Katsumata, Shin-ya
;
Rivas, Exequiel
;
Uustalu, Tarmo
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) : July 8-11, 2020 Saarbrücken, Germany
2020
/
p. 604-618
https://doi.org/10.1145/3373718.3394808
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
154
book article EST
/
book article ENG
Internet of Things network infrastructure for the educational purpose
Tokarz, Krzysztof
;
Czekalski, Piotr
;
Drabik, Gabriel
;
Paduch, Jaroslaw
;
Distefano, Salvatore
;
Di Pietro, Riccardo
;
Merlino, Giovanni
;
Scaffidi, Carlo
;
Sell, Raivo
2020 IEEE Frontiers in Education Conference (FIE)
2020
https://doi.org/10.1109/FIE44824.2020.9274040
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
155
book article EST
/
book article ENG
i-tee : a fully automated cyber defense competition for students
Ernits, Margus
;
Tammekänd, Johannes
;
Maennel, Olaf Manuel
SIGCOMM '15 : proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication : August 17-21, 2015, London, United Kingdom
2015
/
p. 113-114 : ill
https://doi.org/10.1145/2785956.2790033
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
book article EST
/
book article ENG
156
book article EST
/
book article ENG
Iterative Learning based feedforward control for Transition of a Biplane-Quadrotor Tailsitter UAS
Raj, Nidhish
;
Simha, Ashutosh
;
Kothari, Mangal
;
Abhishek
;
Banavar, Ravi N.
2020 IEEE International Conference on Robotics and Automation (ICRA), 31 May-31 Aug. 2020, Paris, France : proceedings
2020
/
p. 321-327 : ill
https://doi.org/10.1109/ICRA40945.2020.9196671
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
157
journal article EST
/
journal article ENG
Leveraging the first line of defense : a study on the evolution and usage of android security permissions for enhanced android malware detection
Guerra Manzanares, Alejandro
;
Luckner, Marcin
;
Bahsi, Hayretdin
Journal of Computer Virology and Hacking Techniques
2022
/
32 p. : ill
https://doi.org/10.1007/s11416-022-00432-3
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Machine learning-based detection and characterization of evolving threats in mobile and IoT Systems = Masinõppepõhine arenevate ohtude tuvastamine ning kirjeldamine mobiilseadmete ja värkvõrkude jaoks
158
journal article EST
/
journal article ENG
A lightweight anonymous authentication scheme for secure cloud computing services
Hammami, Hamza
;
Ben Yahia, Sadok
;
Obaidat, Mohammad S.
The Journal of Supercomputing
2021
/
p. 1693-1713
https://doi.org/10.1007/s11227-020-03313-y
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
159
book article EST
/
book article ENG
Literature review on work-based learning
Murtazin, Kristina
;
Shvets, Oleg
;
Piho, Gunnar
2020 IEEE Frontiers in Education Conference (FIE)
2020
https://doi.org/10.1109/FIE44824.2020.9274264
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
160
journal article EST
/
journal article ENG
LSPR23: A novel IDS dataset from the largest live-fire cybersecurity exercise
Dijk, Allard
;
Halisdemir, Emre
;
Melella, Cosimo
;
Schu, Alari
;
Pihelgas, Mauno
;
Meier, Roland
Journal of Information Security and Applications
2024
/
art. 103847, 14, p. : ill
https://doi.org/10.1016/j.jisa.2024.103847
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
161
journal article EST
/
journal article ENG
LSTM-CNN : an efficient diagnostic network for Parkinson's disease utilizing dynamic handwriting analysis
Wang, Xuechao
;
Huang, Junqing
;
Chatzakou, Marianna
;
Medijainen, Kadri
;
Toomela, Aaro
;
Nõmm, Sven
;
Ruzhansky, Michael
Computer Methods and Programs in Biomedicine
2024
/
art. 108066
https://doi.org/10.1016/j.cmpb.2024.108066
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
162
journal article EST
/
journal article ENG
Management of national eID infrastructure as a state-critical asset and public-private partnership : learning from the case of Estonia
Lips, Silvia
;
Tsap, Valentyna
;
Bharosa, Nitesh
;
Krimmer, Robert Johannes
;
Tammet, Tanel
;
Draheim, Dirk
Information Systems Frontiers
2023
/
p.2439-2456
https://doi.org/10.1007/s10796-022-10363-5
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
163
book article EST
/
book article ENG
A method for adding cyberethical behaviour measurements to computer science homework assignments
Mäses, Sten
;
Aitsam, Heleri
;
Randmann, Liina
19th Koli Calling Conference on Computing Education Research Koli Calling 2019 : November 21-24, 2019, Koli, Finland : proceedings
2019
/
5 p. : ill
https://doi.org/10.1145/3364510.3364529
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
164
book article EST
/
book article ENG
Methods and tools for publishing and reusing linked open statistical data
Tambouris, Efthimios
;
Kalampokis, Evangelos
;
Janssen, Marijn
;
Krimmer, Robert Johannes
;
Tarabanis, Konstantinos
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. 614-615 : ill
https://doi.org/10.1145/3085228.3085234
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
165
journal article EST
/
journal article ENG
Methods for classifying depression in single channel EEG using linear and nonlinear signal analysis
Bachmann, Maie
;
Päeske, Laura
;
Kalev, Kaia
;
Aarma, Katrin
;
Lehtmets, Andres
;
Ööpik, Pille
;
Lass, Jaanus
;
Hinrikus, Hiie
Computer methods and programs in biomedicine
2018
/
p. 11−17 : ill
https://doi.org/10.1016/j.cmpb.2017.11.023
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
166
book article EST
/
book article ENG
Middleware for exchange and validation of context data and information
Preden, Jürgo-Sören
;
Llinas, James
;
Mõtus, Leo
Context-enhanced information fusion : boosting real-world performance with domain knowledge
2016
/
p. 205-230 : ill
https://doi.org/10.1007/978-3-319-28971-7_9
Article collection metrics at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
167
book article EST
/
book article ENG
Modal embeddings and calling paradigms
Espirito Santo, Jose
;
Pinto, Luis
;
Uustalu, Tarmo
4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 2019
2019
/
art. 18 ; 20 p. : ill
https://doi.org/10.4230/LIPIcs.FSCD.2019.18
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
168
journal article EST
/
journal article ENG
A model-based approach for design and verification of Industrial Internet of Things
Muthukumar, Natarajan
;
Srinivasan, Seshadhri
;
Ramkumar, Kannan
;
Pal, Deepak
;
Vain, Jüri
;
Ramaswamy, Srini
Future generation computer systems
2019
/
p. 354-363 : ill
https://doi.org/10.1016/j.future.2018.12.012
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
169
journal article EST
/
journal article ENG
Modeling and simulation of circuits with shared structurally synthesized BDDs
Ubar, Raimund-Johannes
;
Jürimägi, Lembit
;
Raik, Jaan
;
Viies, Vladimir
Microprocessors and microsystems
2017
/
p. 56-61 : ill
https://doi.org/10.1016/j.micpro.2016.09.006
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
170
journal article EST
/
journal article ENG
Modelling of nitrogen leaching from watersheds with large drained peat areas
Vassiljev, Anatoli
;
Kaur, Katrin
;
Annus, Ivar
Advances in engineering software
2018
/
p. 94-100 : ill
https://doi.org/10.1016/j.advengsoft.2018.03.007
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
171
book article EST
/
book article ENG
Monoidal streams for dataflow programming
Di Lavore, Elena
;
De Felice, Giovanni
;
Roman Garcia, Mario
37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 2022
2022
/
art. 3533365, p. 1-14 : ill
https://doi.org/10.1145/3531130.3533365
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
Monoidal context theory = Monoidiliste kontekstide teooria
172
book article EST
/
book article ENG
Monoidal width : capturing rank width
Di Lavore, Elena
;
Sobocinski, Pawel Maria
Proceedings Fifth International Conference on Applied Category Theory : Glasgow, Scotland, 18-22 July 2022
2023
/
p. 268-283 : ill
https://doi.org/10.4204/EPTCS.380.16
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Monoidal width = Monoidiline laius
173
book article EST
/
book article ENG
Motion control architecture of a 4-fin U-CAT AUV using DOF prioritization
Salumäe, Taavi
;
Chemori, Ahmed
;
Kruusmaa, Maarja
IROS 2016 : 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems : October 9-14, 2016, Daejeon Convention Center, Daejeon, Korea
2016
/
p. 1321-1327 : ill
https://doi.org/10.1109/IROS.2016.7759218
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
174
journal article EST
/
journal article ENG
Network IDS alert classification with active learning techniques
Vaarandi, Risto
;
Guerra-Manzanares, Alejandro
Journal of Information Security and Applications
2024
/
art. 103687
https://doi.org/10.1016/j.jisa.2023.103687
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
175
journal article EST
/
journal article ENG
Network-on-Chip with equality-of-service : a local fair runtime arbitration method for global fair bandwidth share
Samman, Faizal
;
Hollstein, Thomas
International journal of innovative computing, information and control
2019
/
p. 1821−1834
http://www.ijicic.net/servlet/Download?contentID=CONT34590d01977b424ea4f1cdfbb4c8c264
https://doi.org/10.24507/ijicic.15.05.1821
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
151 - 175
previous
3
4
5
6
7
8
9
10
11
12
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