Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Arvutiteadus. Tarkvara (kategooria)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
191
Vaata veel..
(2/91)
Ekspordi
ekspordi kõik päringu tulemused
(191)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
76
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Formalizing CCS and π-calculus in Guarded Cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
Journal of logical and algebraic methods in programming
2023
/
art. 100846
https://doi.org/10.1016/j.jlamp.2022.100846
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
77
artikkel kogumikus EST
/
artikkel kogumikus ENG
A Framework for the adoption of blockchain technology in healthcare information management systems : a case study of Nigeria
Azogu, Irene
;
Norta, Alexander
;
Pappel, Ingrid
;
Longo, Justin
;
Draheim, Dirk
Proceedings of the 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV’19), Melbourne, Australia, April 3-5, 2019
2019
/
p. 310–316 : ill
https://doi.org/10.1145/3326365.3326405
Conference proceeding at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
78
artikkel kogumikus EST
/
artikkel kogumikus ENG
From equations to distinctions: Two interpretations of effectful computations
Voorneveld, Niels
Proceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 2020
2020
/
p. 1-17
https://doi.org/10.4204/EPTCS.317.1
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
79
artikkel kogumikus EST
/
artikkel kogumikus ENG
Functorial language games for question answering
Felice, Giovanni de
;
Di Lavore, Elena
;
Roman Garcia, Mario
;
Toumi, Alexis
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
2021
/
p. 311–321
https://doi.org/10.4204/EPTCS.333.21
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
80
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
81
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
82
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
83
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
84
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Security-aware physical synthesis of integrated circuits = Integraallülituste turvateadlik füüsiline süntees
85
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
86
artikkel kogumikus EST
/
artikkel kogumikus ENG
Higher-dimensional subdiagram matching
Hadzihasanovic, Amar
;
Kessler, Diana
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
artikkel kogumikus EST
/
artikkel kogumikus ENG
87
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
88
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Hardware realization of lattice-based post-quantum cryptography = Võrel põhinev post-kvant-krüptograafia riistvaraline realisatsioon
89
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
90
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
91
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
92
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
93
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
94
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Improved PWM-based sinewave generation : example of the impedance
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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
95
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
96
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
97
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
98
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
99
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
100
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
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
Kirjeid leitud 191, kuvan
76 - 100
eelmine
1
2
3
4
5
6
7
8
järgmine
märksõna
90
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.
InTouch (tarkvara)
33.
JADE (tarkvara)
34.
Kalman (tarkvara)
35.
Linux (tarkvara)
36.
Lotus 1-2-3 (tarkvara)
37.
Mathcad (tarkvara)
38.
Mathematica (tarkvara)
39.
MATLAB (tarkvara)
40.
MICROPRIZ (tarkvara)
41.
Microsoft Office (tarkvara)
42.
Microstation (tarkvara)
43.
Moodle (tarkvara)
44.
MS-DOS (tarkvara)
45.
Multiplan (tarkvara)
46.
NcCAD (tarkvara)
47.
Norton Commander (tarkvara)
48.
NUT (tarkvara)
49.
NX (tarkvara)
50.
OS (tarkvara)
51.
OS/2 (tarkvara)
52.
OS-RV (tarkvara)
53.
Paintbrush (tarkvara)
54.
Paradox (tarkvara)
55.
PARES (tarkvara)
56.
PC Tools (tarkvara)
57.
PFS: First Publisher (tarkvara)
58.
POISK (tarkvara)
59.
PowerPoint (tarkvara)
60.
PRIZ (tarkvara)
61.
Progress (tarkvara)
62.
Quattro Pro (tarkvara)
63.
Revit MEP (tarkvara)
64.
Simulant (tarkvara)
65.
SIMULINK (tarkvara)
66.
Skype (tarkvara)
67.
Solid Edge (tarkvara)
68.
SolidWorks (tarkvara)
69.
sotsiaalne tarkvara
70.
SPADE (tarkvara)
71.
SPICE (tarkvara)
72.
SPRINT (tarkvara)
73.
SQL Server (tarkvara)
74.
SuperCalc (tarkvara)
75.
tarkvara
76.
tarkvara projekteerimine
77.
Tarkvara Tehnoloogia Arenduskeskus
78.
tarkvara-arendusvahendid
79.
TRANZ-TRAN (tarkvara)
80.
Turbo Pascal (tarkvara)
81.
Turbo Tester (tarkvara)
82.
UNIX (tarkvara)
83.
vaba tarkvara
84.
VASP (tarkvara)
85.
Windows (tarkvara)
86.
Visual Basic (tarkvara)
87.
VM/ESA (tarkvara)
88.
Word (tarkvara)
89.
WordPerfect (tarkvara)
90.
WordStar (tarkvara)
võtmesõna
1
1.
tarkvara
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT