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
Liitotsing
Valitud kirjed
0
Matemaatika. Teoreetiline arvutiteadus (kategooria)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
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
194
Vaata veel..
(1/6)
Ekspordi
ekspordi kõik päringu tulemused
(194)
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
151
artikkel kogumikus EST
/
artikkel kogumikus ENG
Selection of a green logical data warehouse schema by anti-monotonicity constraint
Ghabri, Issam
;
Bellatreche, Ladjel
;
Ben Yahia, Sadok
SOFSEM 2020: Theory and Practice of Computer Science : 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020 : Proceedings
2020
/
p. 350-361
https://doi.org/10.1007/978-3-030-38919-2_29
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
152
artikkel kogumikus EST
/
artikkel kogumikus ENG
Self assessment tool to bridge the gap between XR Technology, SMEs, and HEIs
Köse, Ahmet
;
Tepljakov, Aleksei
;
Alsaleh, Saleh Ragheb Saleh
;
Petlenkov, Eduard
Extended Reality : First International Conference, XR Salento 2022, Lecce, Italy, July 6-8, 2022, Proceedings, Part I
2022
/
p. 296–311 : ill
https://doi.org/10.1007/978-3-031-15546-8_25
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
153
artikkel kogumikus EST
/
artikkel kogumikus ENG
Semi-parametric approach to random forests for high-dimensional bayesian optimisation
Kuzmanovski, Vladimir
;
Hollmén, Jaakko
Discovery Science : 25th International Conference, DS 2022, Montpellier, France, October 10–12, 2022, Proceedings
2022
/
p. 418 - 428
https://doi.org/10.1007/978-3-031-18840-4_30
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
154
artikkel kogumikus EST
/
artikkel kogumikus ENG
Sentence writing test for Parkinson disease modeling: comparing predictive ability of classifiers
Netšunajev, Aleksei
;
Nõmm, Sven
;
Toomela, Aaro
;
Medijainen, Kadri
;
Taba, Pille
Intelligent Information and Database Systems : 12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 23-26, 2020 : proceedings, Part I
2020
/
p. 345-357
https://doi.org/10.1007/978-3-030-41964-6_30
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
155
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
The sequent calculus of skew monoidal categories
Uustalu, Tarmo
;
Veltri, Niccolo
;
Zeilberger, Noam
Electronic notes in theoretical computer science
2018
/
p. 345-370
https://doi.org/10.1016/j.entcs.2018.11.017
Journal metrics at Scopus
Article at Scopus
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
156
artikkel kogumikus EST
/
artikkel kogumikus ENG
Server-supported decryption for mobile devices
Kirss, Johanna Maria
;
Laud, Peeter
;
Snetkov, Nikita
;
Vakarjuk, Jelizaveta
Security and Trust Management : 18th International Workshop, STM 2022 Copenhagen, Denmark, September 29, 2022 : proceedings
2023
/
p. 71-81
https://doi.org/10.1007/978-3-031-29504-1_4
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
157
artikkel kogumikus EST
/
artikkel kogumikus ENG
Situational states influence on team workload demands in cyber defense exercise
Ask, Torvald F.
;
Sütterlin, Stefan
;
Knox, Benjamin J.
;
Lugo, Ricardo G.
HCI International 2021 - late breaking papers : cognition, inclusion, learning, and culture : 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021 : proceedings
2021
/
p. 3-20 : ill
https://doi.org/10.1007/978-3-030-90328-2_1
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
158
artikkel kogumikus EST
/
artikkel kogumikus ENG
A Software Prototype for Multidimensional Design of Data Warehouses Using Ontologies
Zekri, Manel
;
Ben Yahia, Sadok
;
Hilali-Jaghdam, Ines
Computational Collective Intelligence : 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019 : proceedings, part II
2019
/
p. 273-284 : ill
https://doi.org/10.1007/978-3-030-28374-2_24
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
159
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
160
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
161
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
162
artikkel kogumikus EST
/
artikkel kogumikus ENG
Sweedler theory of monads
McDermott, Dylan
;
Rivas, Exequiel
;
Uustalu, Tarmo
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings
2022
/
p. 428-448
https://doi.org/10.1007/978-3-030-99253-8_22
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
163
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
164
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
165
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
166
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
167
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
168
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
169
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
170
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
171
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
172
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
173
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
174
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
175
artikkel kogumikus EST
/
artikkel kogumikus 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
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 194, kuvan
151 - 175
eelmine
1
2
3
4
5
6
7
8
järgmine
märksõna
6
1.
arvutiteadus
2.
teoreetiline füüsika
3.
teoreetiline geograafia
4.
teoreetiline keemia
5.
teoreetiline mehaanika
6.
teoreetiline mõistus
×
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