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
Advanced search
My bookmarks
0
Matemaatika. Teoreetiline arvutiteadus (category)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple 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
328
Look more..
(1/7)
Export
export all inquiry results
(328)
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
51
book article EST
/
book article ENG
Competencies required for the offensive cyber operations planners
Arik, Marko
;
Lugo, Ricardo Gregorio
;
Ottis, Rain
;
Venables, Adrian Nicholas
HCI for Cybersecurity, Privacy and Trust : 6th International Conference, HCI-CPT 2024, Held as Part of the 26th HCI International Conference, HCII 2024Washington, DC, USA, June 29 – July 4, 2024, Proceedings, Part II
2024
/
p. 20-39
https://doi.org/10.1007/978-3-031-61382-1_2
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
52
book article EST
/
book article ENG
Compiling cooperative task management to continuations
Nakata, Keiko
;
Saar, Andri
Fundamentals of Software Engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
2013
/
p. 95 - 110
https://doi.org/10.1007/978-3-642-40213-5_7
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
53
book article EST
/
book article ENG
Composite surrogate for likelihood-free bayesian optimisation in high-dimensional settings of activity-based transportation models
Kuzmanovski, Vladimir
;
Hollmén, Jaakko
Advances in Intelligent Data Analysis XIX : 19th International Symposium on Intelligent Data Analysis, IDA 2021, Porto, Portugal, April 26–28, 2021 : proceedings
2021
/
p. 171-183 : ill
https://doi.org/10.1007/978-3-030-74251-5_14
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
54
book article EST
/
book article ENG
Compositional diagrammatic first-order logic
Haydon, Nathan Joseph
;
Sobocinski, Pawel Maria
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 402-418
https://doi.org/10.1007/978-3-030-54249-8_32
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Related publications
1
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
55
book article EST
/
book article ENG
A comprehensive approach for designing business-intelligence solutions with multi-agent systems in distributed environments
Qayumi, Karima
;
Norta, Alexander
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII
2018
/
p. 113-150
https://doi.org/10.1007/978-3-662-57932-9_4
Article collection metrics at Scopus
Article at Scopus
Article collection metrics at WOS
Article at WOS
book article EST
/
book article ENG
56
book article EST
/
book article ENG
Comprehensive blended learning concept for teaching micro controller technology utilising HomeLab kits and remote labs in a virtual web environment
Seiler, Sven
;
Sell, Raivo
Transactions on Edutainment. X
2013
/
p. 161-177 : ill
https://doi.org/10.1007/978-3-642-37919-2_9
Article collection metrics at Scopus
Article at Scopus
book article EST
/
book article ENG
57
book article EST
/
book article ENG
Computational intelligence methods based design of closed-loop system
Belikov, Juri
;
Petlenkov, Eduard
;
Vassiljeva, Kristina
;
Nõmm, Sven
Neural information processing : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013 : proceedings. Part I
2013
/
p. 215-224 : ill
https://doi.org/10.1007/978-3-642-42054-2_28
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
58
book article EST
/
book article ENG
Concept of Estonian government cloud and data embassies
Kotka, Taavi
;
Liiv, Innar
Electronic Government and the Information Systems Perspective : 4th International Conference, EGOVIS 2015, Valencia, Spain, September 1-3, 2015 : proceedings
2015
/
p. 149-162 : ill
https://doi.org/10.1007/978-3-319-22389-6_11
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
59
book article EST
/
book article ENG
A conceptual nationwide cyber situational awareness framework for critical infrastructures
Bahsi, Hayretdin
;
Maennel, Olaf Manuel
Secure IT systems : 20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19-21, 2015 : proceedings
2015
/
p. 3-10 : ill
https://doi.org/10.1007/978-3-319-26502-5_1
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
60
journal article EST
/
journal article ENG
Concurrent process histories and resource transducers
Nester, Chad Mitchell
Logical methods in computer science
2023
/
p. 7:1-7:22 : ill
https://doi.org/10.46298/LMCS-19(1:7)2023
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
61
journal article EST
/
journal article ENG
Cones with convoluted geometry that always scatter or radiate
Blåsten, Emilia L.K.
;
Pohjola, Valter
Inverse Problems
2022
/
Art. 125001
https://doi.org/10.1088/1361-6420/ac963c
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
62
book article EST
/
book article ENG
Confidences for commonsense reasoning.
Tammet, Tanel
;
Draheim, Dirk
;
Järv, Priit
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021 : proceedings
2021
/
p. 507–524
https://doi.org/10.1007/978-3-030-79876-5_29
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
63
journal article EST
/
journal article ENG
Constructing higher inductive types as groupoid quotients
Veltri, Niccolo
;
Weide, Niels van der
Logical methods in computer science
2021
/
p. 8:1−8:42
https://doi.org/10.23638/LMCS-17(2:8)2021
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
64
book article EST
/
book article ENG
Container combinatorics : monads and lax monoidal functors
Uustalu, Tarmo
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings
2017
/
p. 91-105 : ill
https://doi.org/10.1007/978-3-319-68953-1_8
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
65
book article EST
/
book article ENG
Contextual equivalence for signal flow graphs
Bonchi, Filippo
;
Piedeleu, Robin
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings
2020
/
p. 77-96
https://doi.org/10.1007/978-3-030-45231-5_5
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
66
book article EST
/
book article ENG
Contractive signatures with recursive types, type parameters, and abstract types
Im, Hyeonseung
;
Nakata, Keiko
;
Park, Sungwoo
Automata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
2013
/
p. 299 - 311
https://doi.org/10.1007/978-3-642-39212-2_28
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
67
book article EST
/
book article ENG
Convolutional neural networks for false positive reduction of automatically detected cilia in low magnification TEM images
Gupta, Anindya
;
Suveer, Amit
;
Lindblad, Joakim
;
Dragomir, Anca
;
Sintorn, Ida-Maria
;
Sladoje, Nataša
Image Analysis, 20th Scandinavian Conference, SCIA 2017, Tromsø, Norway, June 12–14, 2017 : proceedings, Part I
2017
/
p. 407-418 : ill
https://doi.org/10.1007/978-3-319-59126-1_34
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
68
book article EST
/
book article ENG
Covering concept lattices with concept chains
Torim, Ants
;
Mets, Marko
;
Raun, Kristo
Graph-Based Representation and Reasoning : 24th International Conference on Conceptual Structures, ICCS 2019 : Marburg, Germany, July 1–4, 2019 : proceedings
2019
/
p. 190-203 : ill
https://doi.org/10.1007/978-3-030-23182-8_14
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
69
book article EST
/
book article ENG
Creating and detecting IPv6 transition mechanism-based information exfiltration covert channels
Blumbergs, Bernhards
;
Pihelgas, Mauno
;
Kont, Markus
;
Maennel, Olaf Manuel
;
Vaarandi, Risto
Secure IT Systems : 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016 : proceedings
2016
/
p. 85-100 : ill
https://doi.org/10.1007/978-3-319-47560-8_6
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
70
book article EST
/
book article ENG
Cyber hygiene : the big picture
Maennel, Kaie
;
Mäses, Sten
;
Maennel, Olaf Manuel
Secure IT Systems : 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28–30, 2018 : proceedings
2018
/
p. 291-305 : ill
https://doi.org/10.1007/978-3-030-03638-6_18
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
71
book article EST
/
book article ENG
CyberPin - Challenges on recognizing youngest cyber talents
Lorenz, Birgy
;
Kikkas, Kaido
;
Talisainen, Aleksei
;
Eomäe, Taavi
HCI for Cybersecurity, Privacy and Trust : Third International Conference, HCI-CPT 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021 : proceedings
2021
/
p. 326-336
https://doi.org/10.1007/978-3-030-77392-2_21
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Aricle at WOS
book article EST
/
book article ENG
72
book article EST
/
book article ENG
Cybersecurity within the curricula of informatics : the Estonian perspective
Lorenz, Birgy
;
Kikkas, Kaido
;
Sõmer, Tiia
;
Laugasson, Edmund
Informatics in Schools. New Ideas in School Informatics :12th International Conference on Informatics in Schools : Situation, Evolution, and Perspectives, ISSEP 2019, Larnaca, Cyprus, November 18–20, 2019 : proceedings
2019
/
p. 159-171
https://doi.org/10.1007/978-3-030-33759-9_13
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
73
book article EST
/
book article ENG
Data augmentation and teacher-student training for LF-MMI based robust speech recognition
Ullah, Asad
;
Alumäe, Tanel
Text, Speech, and Dialogue : 21st International Conference, TSD 2018, Brno, Czech Republic, September 11-14, 2018 : proceedings
2018
/
p. 403-410
https://doi.org/10.1007/978-3-030-00794-2_43
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
74
book article EST
/
book article ENG
Data exchange for digital government: Where are we heading? ADBIS2021 Keynote
Draheim, Dirk
Advances in Databases and Information Systems : 25th European Conference, ADBIS 2021, Tartu, Estonia, August 24–26, 2021 : proceedings
2021
/
p. 7-12
https://doi.org/10.1007/978-3-030-82472-3_2
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
75
book article EST
/
book article ENG
Dealing with data streams: Complex event processing vs. data stream mining
Lange, Moritz
;
Koschel, Arne
;
Astrova, Irina
Computational Science and Its Applications – ICCSA 2020 : 20th International Conference, Cagliari, Italy, July 1–4, 2020 : Proceedings, Part IV
2020
/
p. 3-14
https://doi.org/10.1007/978-3-030-58811-3_1
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Number of records 328, displaying
51 - 75
previous
1
2
3
4
5
6
7
8
9
10
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