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
211
Vaata veel..
(2/20)
Ekspordi
ekspordi kõik päringu tulemused
(211)
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
26
artikkel kogumikus EST
/
artikkel kogumikus ENG
Certified Foata normalization for generalized traces
Maarand, Hendrik
;
Uustalu, Tarmo
NASA Formal Methods Symposium : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings
2018
/
p. 299-314
https://doi.org/10.1007/978-3-319-77935-5_21
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
27
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
28
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
29
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
30
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
31
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
32
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
33
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus 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
34
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
35
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
36
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
37
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
38
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
39
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
40
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
41
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
42
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
43
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
44
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
45
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
46
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
47
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
48
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
49
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
50
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus 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
Kirjeid leitud 211, kuvan
26 - 50
eelmine
1
2
3
4
5
6
7
8
9
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