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
Mathematics. Theoretical computer science (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
276
Vaata veel..
(2/20)
Ekspordi
ekspordi kõik päringu tulemused
(276)
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
226
artikkel kogumikus EST
/
artikkel kogumikus ENG
Stenmap : framework for evaluating cybersecurity-related skills based on computer simulations
Mäses, Sten
;
Randmann, Liina
;
Maennel, Olaf Manuel
;
Lorenz, Birgy
Learning and Collaboration Technologies : Learning and Teaching : 5th International Conference : LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018 : Proceedings, Part II
2018
/
p. 492-504
https://doi.org/10.1007/978-3-319-91152-6_38
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
227
artikkel kogumikus EST
/
artikkel kogumikus ENG
Streams of approximations, equivalence of recursive effectful programs
Veltri, Niccolo
;
Voorneveld, Niels
Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings
2022
/
p. 198-221 : ill
https://doi.org/10.1007/978-3-031-16912-0_8
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
228
artikkel kogumikus EST
/
artikkel kogumikus ENG
The structure of concurrent process histories
Nester, Chad Mitchell
Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings
2021
/
p. 209−224
https://doi.org/10.1007/978-3-030-78142-2_13
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
229
artikkel kogumikus EST
/
artikkel kogumikus ENG
Success in eVoting - success in eDemocracy? The Estonian paradox
Toots, Maarja
;
Kalvet, Tarmo
;
Krimmer, Robert Johannes
Electronic Participation : 8th IFIP WG 8.5 International Conference, ePart 2016, Guimaraes, Portugal, September 5-8, 2016 : proceedings
2016
/
p. 55-66 : ill
https://doi.org/10.1007/978-3-319-45074-2_5
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
230
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Survey on architectural attacks : a unified classification and attack model
Ghasempouri, Tara
;
Raik, Jaan
;
Reinbrecht, Cezar
;
Hamdioui, Said
;
Hamdioui, Said
ACM Computing Surveys
2023
/
art. 42
https://doi.org/10.1145/3604803
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
231
artikkel kogumikus EST
/
artikkel kogumikus ENG
Synthesis of implementations for divide-and-conquer specifications
Bortin, Maksym
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, proceedings
2022
/
p. 73-88
https://doi.org/10.1007/978-3-031-22476-8_5
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
232
artikkel kogumikus EST
/
artikkel kogumikus ENG
Systematic digital signing in Estonian e-Government processes : influencing factors, technologies, change management
Pappel, Ingrid
;
Pappel, Ingmar
;
Tepandi, Jaak
;
Draheim, Dirk
Transactions on large-scale data- and knowledge-centered systems XXXVI : special issue on data and security engineering
2017
/
p. 31-51 : ill
https://doi.org/10.1007/978-3-662-56266-6_2
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
233
artikkel kogumikus EST
/
artikkel kogumikus ENG
The beauty of graphs
Pietarinen, Ahti-Veikko
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
p. 9-12
https://doi.org/10.1007/978-3-319-91376-6_2
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
234
artikkel kogumikus EST
/
artikkel kogumikus ENG
The data quality framework for the Estonian public sector and its evaluation : establishing a systematic process-oriented viewpoint on cross-organizational data quality
Tepandi, Jaak
;
Lauk, Mihkel
;
Linros, Janar
;
Raspel, Priit
;
Piho, Gunnar
;
Pappel, Ingrid
;
Draheim, Dirk
Transactions on large-scale data- and knowledge-centered systems XXXV
2017
/
p. 1-26 : ill
https://doi.org/10.1007/978-3-662-56121-8_1
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
235
artikkel kogumikus EST
/
artikkel kogumikus ENG
The digital archiving process in Estonia - assessment and future perspectives
Pappel, Ingrid
;
Oolu, Karin
;
Saarevet, Koit
;
Lauk, Mihkel
;
Draheim, Dirk
Future Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017 : proceedings
2017
/
p. 472-481 : ill
https://doi.org/10.1007/978-3-319-70004-5_34
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
236
artikkel kogumikus EST
/
artikkel kogumikus ENG
The future of the once-only principle in Europe
Krimmer, Robert Johannes
;
Prentza, Andriana
;
Mamrot, Szymon
;
Schmidt, Carsten
;
Cepilovs, Aleksandrs
The once-only principle : The TOOP project
2021
/
p. 225–236
https://doi.org/10.1007/978-3-030-79851-2_12
Article collection metrics at Scopus
Article at Scopus
Article collection metrics at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
237
artikkel kogumikus EST
/
artikkel kogumikus ENG
The potential of the Estonian e-Governance infrastructure in supporting displaced Estonian residents
Thurnay, Lörinc
;
Klasche, Benjamin
;
Nyman-Metcalf, Katrin Merike
;
Pappel, Ingrid
;
Draheim, Dirk
Electronic Government and the Information Systems Perspective : 6th International Conference, EGOVIS 2017, Lyon, France, August 28-31, 2017 : proceedings
2017
/
p. 236-250
https://doi.org/10.1007/978-3-319-64248-2_17
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
238
artikkel kogumikus EST
/
artikkel kogumikus ENG
The technical challenges in OOP application across the European Union and the TOOP OOP architecture
Tepandi, Jaak
;
Rotuna, Carmen
;
Sellitto, Giovanni Paolo
;
Fieten, Sander
;
Prentza, Andriana
The once-only principle : The TOOP project
2021
/
p. 141−163
https://doi.org/10.1007/978-3-030-79851-2_8
Collection metrics at Scopus
Article at Scopus
Collection metrics at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
239
artikkel kogumikus EST
/
artikkel kogumikus ENG
Theoretical aspects of symbolic automata
Tamm, Hellis
;
Veanes, Margus
SOFSEM 2018 : Theory and Practice of Computer Science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018 : proceedings
2018
/
p. 428-441
https://doi.org/10.1007/978-3-319-73117-9_30
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
240
artikkel kogumikus EST
/
artikkel kogumikus ENG
3DLaneNAS : neural architecture search for accurate and light-weight 3D lane detection
Zoljodi, Ali
;
Loni, Mohammad
;
Abadijou, Sadegh
;
Alibeigi, Mina
;
Daneshtalab, Masoud
Artificial Neural Networks and Machine Learning - ICANN 2022 : proceedings. Part I
2022
/
p. 404-415
https://doi.org/10.1007/978-3-031-15919-0_34
Conference Proceedings at scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
241
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Mannaa, Bassel
;
Mogelberg, Rasmus Ejlers
;
Veltri, Niccolo
Logical Methods in Computer Science
2020
/
p. 17:1 - 17:31
https://doi.org/10.23638/LMCS-16(4:17)2020
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
242
artikkel kogumikus EST
/
artikkel kogumikus ENG
To i-vote or not to i-vote: drivers and barriers to the implementation of internet voting
Licht, Nathan
;
Duena Cid, David
;
Krivonosova, Iuliia
;
Krimmer, Robert Johannes
Electronic voting : 6th International Joint Conference, E-Vote-ID 2021, Virtual Event, October 5–8, 2021, Proceedings
2021
/
p. 91-105 : ill
https://doi.org/10.1007/978-3-030-86942-7_7
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
243
artikkel kogumikus EST
/
artikkel kogumikus ENG
A tool for design-time usability evaluation of web user interfaces
Marenkov, Jevgeni
;
Robal, Tarmo
;
Kalja, Ahto
Advances in databases and information systems 21st European Conference, ADBIS 2017 Nicosia, Cyprus, September 24-27, 2017 : proceedings
2017
/
p. 394-407 : ill
https://doi.org/10.1007/978-3-319-66917-5_26
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
244
artikkel kogumikus EST
/
artikkel kogumikus ENG
TOOP trust architecture
Boldrin, Luca
;
Sellitto, Giovanni Paolo
;
Tepandi, Jaak
The once-only principle : The TOOP project
2021
/
p. 126–140
https://doi.org/10.1007/978-3-030-79851-2_7
Article collection metrics at Scopus
Article at Scopus
Article collection metrics at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
245
artikkel kogumikus EST
/
artikkel kogumikus ENG
Top-K formal concepts for identifying positively and negatively correlated biclusters
Houari, Amina
;
Ben Yahia, Sadok
Model and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings
2021
/
p. 156-172
https://doi.org/10.1007/978-3-030-78428-7_13
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
246
artikkel kogumikus EST
/
artikkel kogumikus ENG
Towards an architecture for e-learning infrastructures on a national level : a case study of AfgREN
Saay, Mohammad Salim
;
Norta, Alexander
;
Laanpere, Mart
Current Developments in Web Based Learning : ICWL 2015 International Workshops, KMEL, IWUM, LA, Guangzhou, China, November 5-8, 2015 : revised selected papers
2016
/
p. 98-107 : ill
https://doi.org/10.1007/978-3-319-32865-2_11
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
247
artikkel kogumikus EST
/
artikkel kogumikus ENG
Towards assessment of behavioral patterns in a virtual reality environment
Köse, Ahmet
;
Tepljakov, Aleksei
;
Abel, Mihkel
;
Petlenkov, Eduard
Augmented Reality, Virtual Reality, and Computer Graphics : 6th International Conference, AVR 2019 :Santa Maria al Bagno, Italy, June 24–27, 2019 : Proceedings. Part I
2019
/
p. 237–253 : ill
https://doi.org/10.1007/978-3-030-25965-5_18
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
248
artikkel kogumikus EST
/
artikkel kogumikus ENG
Towards assisting interactive reality : interactive reality for education, data analysis and industry
Köse, Ahmet
;
Tepljakov, Aleksei
;
Petlenkov, Eduard
Augmented Reality, Virtual Reality, and Computer Graphics : 5th International Conference : AVR 2018, Otranto, Italy, June 24–27, 2018 : proceedings, Part I
2018
/
p. 569-588
https://doi.org/10.1007/978-3-319-95282-6_41
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
249
artikkel kogumikus EST
/
artikkel kogumikus ENG
Towards modeling of finger motions in virtual reality environment
Nõmm, Sven
;
Toomela, Aaro
;
Kulikov, Jaroslav
Augmented Reality, Virtual Reality, and Computer Graphics : 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017 : proceedings. Part I
2017
/
p. 106-115 : ill
https://doi.org/10.1007/978-3-319-60922-5_8
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
250
artikkel kogumikus EST
/
artikkel kogumikus ENG
Towards the notion of average trajectory of the repeating motion of human limbs
Nõmm, Sven
;
Toomela, Aaro
;
Gaichenja, Ilia
Intelligent Information and Database Systems : 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017 : proceedings. Part II
2017
/
p. 582-591 : ill
https://doi.org/10.1007/978-3-319-54430-4_56
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 276, kuvan
226 - 250
eelmine
3
4
5
6
7
8
9
10
11
12
järgmine
võtmesõna
19
1.
computer science
2.
computer science basics
3.
computer science education
4.
logic in computer science
5.
Cognitive Mathematics
6.
computational mathematics
7.
foundations of mathematics
8.
Husserl and Peirce and the goals of mathematics
9.
mathematics
10.
mathematics and computing
11.
mathematics students learning habits
12.
matrix (mathematics)
13.
philosophy of mathematics
14.
univalent mathematics
15.
theoretical analysis
16.
theoretical framework
17.
theoretical models
18.
theoretical perspectives
19.
theoretical rigor
märksõna
1
1.
Estonian Summer School on Computer and Systems Science, 2023
×
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