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
Mathematics. Theoretical computer science (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 publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
203
Look more..
(2/20)
Export
export all inquiry results
(203)
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
26
book article EST
/
book article ENG
A Characterization of Amenable Groups by Besicovitch Pseudodistances
Capobianco, Silvio
;
Guillon, Pierre
Cellular Automata and Discrete Complex Systems : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020 : proceedings
2020
/
p. 99-110
https://doi.org/10.1007/978-3-030-61588-8_8
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
27
journal article EST
/
journal article ENG
Codensity lifting of monads and its dual
Katsumata, Shin-ya
;
Sato, Tetsuya
;
Uustalu, Tarmo
Logical methods in computer science
2018
/
p. 1-31
https://doi.org/10.23638/LMCS-14(4:6)2018
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
28
journal article EST
/
journal article ENG
Coends of higher arity
Loregian, Fosco
;
de Oliveira Santos, Theo
Applied categorical structures
2022
/
p. 173-221
https://doi.org/10.1007/s10485-021-09653-x
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
29
book article EST
/
book article ENG
Coherence via focusing for symmetric skew monoidal categories
Veltri, Niccolo
Logic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021 : proceedings
2021
/
p. 184-200
https://doi.org/10.1007/978-3-030-88853-4_12
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
30
journal article EST
/
journal article ENG
Combining algebraic effect descriptions using the tensor of complete lattices
Voorneveld, Niels
Electronic notes in theoretical computer science
2020
/
p. 257-281
https://doi.org/10.1016/j.entcs.2020.09.013
Journal metrics at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
31
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
32
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
Seotud publikatsioonid
2
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
33
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
34
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
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
35
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
36
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
37
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
38
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
39
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
40
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
41
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
42
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
43
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
44
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
45
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
46
journal article EST
/
journal article ENG
Design concept and microarchitecture of network-on-chip with best-effort and guaranteed-throughput services
Samman, Faizal
;
Hollstein, Thomas
International journal of innovative computing, informationand control
2019
/
p. 305–319 : ill
https://doi.org/10.24507/ijicic.15.01.305
http://www.ijicic.net/
http://www.ijicic.net/servlet/Download?contentID=CONT5b67c7cbc23142feade914ceeabbdf4d
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
47
book article EST
/
book article ENG
Designing an effective long-term identity management strategy for a mature e-state
Lips, Silvia
;
Aas, Krista
;
Pappel, Ingrid
;
Draheim, Dirk
Electronic Government and the Information Systems Perspective : 8th International Conference, EGOVIS 2019 : Linz, Austria, August 26–29, 2019 : proceedings
2019
/
p. 221-234 : ill
https://doi.org/10.1007/978-3-030-27523-5_16
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
48
book article EST
/
book article ENG
Designing proactive business event services : a case study of the Estonian company registration portal
Kõrge, Helena
;
Erlenheim, Regina
;
Draheim, Dirk
Electronic Participation : 11th IFIP WG 8.5 International Conference, ePart 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedings
2019
/
p. 73 - 84
https://doi.org/10.1007/978-3-030-27397-2_7
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
49
book article EST
/
book article ENG
Detecting Simpson’s paradox : a machine learning perspective
Sharma, Rahul
;
Garayev, Huseyn
;
Kaushik, Minakshi
;
Arakkal Peious, Sijo
;
Tiwari,Prauag
;
Draheim, Dirk
Database and Expert Systems Applications : 33rd International Conference, DEXA 2022, Vienna, Austria, August 22-24, 2022 : proceedings. Part I
2022
/
p. 323-335 : ill
https://doi.org/10.1007/978-3-031-12423-5_25
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
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
50
book article EST
/
book article ENG
Developing cross-border E-governance: exploring interoperability and cross-border integration
Krimmer, Robert Johannes
;
Dedovic, Stefan
;
Schmidt, Carsten
;
Corici, Andreea-Ancuta
Electronic participation : 13th IFIP WG 8.5 International Conference, ePart 2021, Granada, Spain, September 7–9, 2021 : proceedings
2021
/
p. 107-124 : ill
https://doi.org/10.1007/978-3-030-82824-0_9
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
Number of records 203, displaying
26 - 50
previous
1
2
3
4
5
6
7
8
9
next
keyword
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
subject term
1
1.
Estonian Summer School on Computer and Systems Science, 2023
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT