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
Matemaatika. Teoreetiline arvutiteadus (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
346
Look more..
(1/7)
Export
export all inquiry results
(346)
Save TXT 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
301
book article EST
/
book article 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
book article EST
/
book article ENG
302
book article EST
/
book article 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
book article EST
/
book article ENG
303
journal article EST
/
journal article ENG
Theory of átomata
Brzozowski, Janusz
;
Tamm, Hellis
Theoretical computer science
2014
/
p. 13-27 : ill
https://doi.org/10.1016/j.tcs.2014.04.016
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
304
book article EST
/
book article 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
book article EST
/
book article ENG
305
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
306
book article EST
/
book article 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
book article EST
/
book article ENG
307
book article EST
/
book article 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
book article EST
/
book article ENG
308
book article EST
/
book article 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
book article EST
/
book article ENG
309
book article EST
/
book article 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
book article EST
/
book article ENG
310
book article EST
/
book article 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
book article EST
/
book article ENG
311
book article EST
/
book article 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
book article EST
/
book article ENG
312
book article EST
/
book article 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
book article EST
/
book article ENG
313
book article EST
/
book article ENG
Towards establishing relationships between human arousal level and motion mass
Nõmm, Sven
;
Kõnnusaar, Tiit
;
Toomela, Aaro
Neural Information Processing : 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014 : proceedings. Part 1
2014
/
p. 19-26 : ill
https://doi.org/10.1007/978-3-319-12637-1_3
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
314
book article EST
/
book article 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
book article EST
/
book article ENG
315
book article EST
/
book article 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
book article EST
/
book article ENG
316
book article EST
/
book article ENG
Towards unification of statistical reasoning, OLAP and association rule mining : semantics and pragmatics
Sharma, Rahul
;
Kaushik, Minakshi
;
Arakkal Peious, Sijo
;
Shahin, Mahtab
;
Draheim, Dirk
Database Systems for Advanced Applications : 27th International Conference, DASFAA 2022, Virtual Event, April 11–14, 2022 : proceedings. Part I
2022
/
p. 596–603
https://doi.org/10.1007/978-3-031-00123-9_48
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Related publications
1
Unification of decision support techniques : mitigating statistical paradoxes for enabling trustworthy decision making = Otsuste toetamise tehnikate ühtlustamine : statistiliste paradokside mõju maandamine usaldusväärsete otsuste tegemise võimaldamiseks
317
journal article EST
/
journal article ENG
Transformation of nonlinear state equations into the observer form : necessary and sufficient conditions in terms of one-forms
Kaparin, Vadim
;
Kotta, Ülle
Kybernetika
2015
/
p. 36-58
https://doi.org/10.14736/kyb-2015-1-0036
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
318
journal article EST
/
journal article ENG
Transnational digital identity as an instrument for Global Digital Citizenship : The case of Estonia’s e-Residency
Tammpuu, Piia
;
Masso, Anu
Information systems frontiers
2019
/
p. 621-634 : ill
https://doi.org/10.1007/s10796-019-09908-y
Professor Anu Masso: e-residentsus taastoodab digitaalset ebavõrdsust
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
319
book article EST
/
book article ENG
Tripped at the finishing line : the Åland Islands internet voting project
Duenas Cid, David
;
Krivonosova, Iuliia
;
Serrano-Iova, Radu-Antonio
;
Freire, Marlon
;
Krimmer, Robert Johannes
Electronic Voting : 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020 : proceedings
2020
/
p. 36-49 : ill
https://doi.org/10.1007/978-3-030-60347-2_3
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Related publications
1
Knowledge transfer for public administrations : the case of elections and cybersecurity = Haldusasutuste teadmussiire : valimiste ja küberturvalisuse juhtum
320
book article EST
/
book article ENG
Trust assumptions in voting systems
Krips, Kristjan
;
Snetkov, Nikita
;
Vakarjuk, Jelizaveta
;
Willemson, Jan
Computer Security : ESORICS 2023 : International Workshops CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI. The Hague, The Netherlands, September 25-29, 2023 : Revised Selected Papers, Part II
2024
/
p. 309-329
https://doi.org/10.1007/978-3-031-54129-2_18
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
321
book article EST
/
book article ENG
"Trust me, you will need it" : cybersecurity as extracurricular subject at Estonian schools
Lorenz, Birgy
;
Kikkas, Kaido
HCI for Cybersecurity, Privacy and Trust : Second International Conference, HCI-CPT 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020 : proceedings
2020
/
p. 175-188
https://doi.org/10.1007/978-3-030-50309-3_12
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
322
book article EST
/
book article ENG
Two cognitive systems, two implications, and selection tasks
Bobrova, Angelina
;
Pietarinen, Ahti-Veikko
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
2020
/
p. 195 - 205
https://doi.org/10.1007/978-3-030-57506-9_15
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at Scopus
Article at WOS
book article EST
/
book article ENG
323
book article EST
/
book article ENG
Two implications and dual-process theories of reasoning
Bobrova, Angelina
;
Pietarinen, Ahti-Veikko
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 239-243
https://doi.org/10.1007/978-3-030-54249-8_19
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
324
journal article EST
/
journal article ENG
A two-layer elastic strip under transverse impact loading : analytical solution, finite element, and finite volume simulations
Adamek, Vítězslav
;
Berezovski, Arkadi
;
Mračko, Michal
;
Kolman, Radek
Mathematics and computers in simulation
2021
/
p. 126-140
https://doi.org/10.1016/j.matcom.2020.10.007
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
325
book article EST
/
book article ENG
A type system with subtyping for Webassembly’s stack polymorphism
McDermott, Dylan
;
Morita, Yasuaki
;
Uustalu, Tarmo
Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings
2022
/
p. 305-323
https://doi.org/10.1007/978-3-031-17715-6_20
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Number of records 346, displaying
301 - 325
previous
5
6
7
8
9
10
11
12
13
14
next
subject term
7
1.
arvutiteadus
2.
teoreetiline bioloogia
3.
teoreetiline füüsika
4.
teoreetiline geograafia
5.
teoreetiline keemia
6.
teoreetiline mehaanika
7.
teoreetiline mõistus
×
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