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
204
Look more..
(2/20)
Export
export all inquiry results
(204)
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
Development of children's cyber security competencies in Estonia
Lorenz, Birgy
;
Kikkas, Kaido
;
Osula, Kairi
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. 473–482
https://doi.org/10.1007/978-3-319-91152-6_36
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
52
book article EST
/
book article ENG
Devising an urban learning centre for municipalities in Eastern Partnership countries
Schuch de Azambuja, Luiza
;
Soe, Ralf-Martin
New Sustainable Horizons in Artificial Intelligence and Digital Solutions : 22nd IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2023, Curitiba, Brazil, November 9–11, 2023, Proceedings
2023
/
p. 403-417
https://doi.org/10.1007/978-3-031-50040-4_30
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Seotud publikatsioonid
1
Exploring the journey towards smarter sustainable cities : capacity development for evolving governance practices = Teel targemate jätkusuutlike linnade poole : arenevate valitsemisstruktuuride suutlikkuse kasvatamine
53
book article EST
/
book article ENG
Digital support in logistics of home-care nurses for disabled and elderly people
Reinhold, Karin
;
Tint, Piia
;
Traumann, Ada
Human Interaction and Emerging Technologies : proceedings of the 1st International Conference on Human Interaction and Emerging Technologies (IHIET 2019), August 22–24, 2019, Nice, France
2020
/
p. 563-568
https://doi.org/10.1007/978-3-030-25629-6_87
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
54
book article EST
/
book article ENG
Distributed scalable association rule mining over Covid-19 data
Shahin, Mahtab
;
Inoubli, Wissem
;
Shah, Syed Attique
;
Ben Yahia, Sadok
;
Draheim, Dirk
Future Data and Security Engineering : 8th International Conference, FDSE 2021, Virtual Event, November 24–26, 2021 : proceedings
2021
/
p. 39-52
https://doi.org/10.1007/978-3-030-91387-8_3
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Seotud publikatsioonid
1
Efficient and effective association rule mining on big data and cloud technology : a multifaceted analysis = Tõhus ja efektiivne assotsiatsioonireeglite kaevandamine suurandmetel ja pilvetehnoloogial : mitmekülgne analüüs
55
book article EST
/
book article ENG
Drivers for and barriers to the cross-border implementation of the once-only principle
Leosk, Nele
;
Põder, Irma
;
Schmidt, Carsten
;
Kalvet, Tarmo
;
Krimmer, Robert Johannes
The once-only principle : The TOOP project
2021
/
p. 38–60
https://doi.org/10.1007/978-3-030-79851-2_3
Collection metrics at Scopus
Article at Scopus
Collection metrics at WOS
Article at WOS
book article EST
/
book article ENG
56
book article EST
/
book article ENG
Dynamic and distributed security management for NoC Based MPSoCs
Azad, Siavoosh Payandeh
;
Jervan, Gert
;
Sepulveda, Johanna
Computational Science - ICCS 2019 : 19th International Conference, Faro, Portugal, June 12-14, 2019 : Proceedings, Part II
2019
/
p. 649–662 : ill
https://doi.org/10.1007/978-3-030-22741-8_4
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
57
book article EST
/
book article ENG
EcoLight : Eco-friendly traffic signal control driven by urban noise prediction
Ounoughi, Chahinez
;
Touibi, Ghofrane
;
Ben Yahia, Sadok
Database and Expert Systems Applications : 33rd International Conference, DEXA 2022, Vienna, Austria, August 22-24, 2022 : proceedings, Part I
2022
/
p. 205–219
https://doi.org/10.1007/978-3-031-12423-5_16
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Urban traffic : data fusion and vehicle flow prediction in smart cities = Linnaliiklus : andmete ühtesulamine ja sõidukite voo prognoosimine nutikates linnades
58
journal article EST
/
journal article ENG
Eilenberg-Kelly reloaded
Uustalu, Tarmo
;
Veltri, Niccolo
;
Zeilberger, Noam
Electronic notes in theoretical computer science
2020
/
p. 233-256
https://doi.org/10.1016/j.entcs.2020.09.012
Journal metrics at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
59
book article EST
/
book article ENG
Emerging technologies and space
Carlo, Antonio
;
Roux, Lucille
Modelling and Simulation for Autonomous Systems : 8th International Conference, MESAS 2021, Virtual Event, October 13–14, 2021
2022
/
p. 494-508
https://doi.org/10.1007/978-3-030-98260-7_32
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
60
book article EST
/
book article ENG
Enhancing semantics-driven recommender systems with visual features
Bendouch, Mounir M.
;
Frasincar, Flavius
;
Robal, Tarmo
Advanced Information Systems Engineering34th International Conference, CAiSE 2022, Leuven, Belgium, June 6-10, 2022, Proceedings
2022
/
p. 443–459
https://doi.org/10.1007/978-3-031-07472-1_26
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
61
book article EST
/
book article ENG
Euler diagrams through the looking glass : from extent to intent
Stapleton, Gem
;
Moktefi, Amirouche
;
Howse, John
;
Burton, Jim
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
p. 365-381 : ill
https://doi.org/10.1007/978-3-319-91376-6_34
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
62
book article EST
/
book article ENG
Event detection based on open information extraction and ontology
Sahnoun, Sihem
;
Elloumi, Samir
;
Ben Yahia, Sadok
Computational Collective Intelligence : 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019 : proceedings, part I
2019
/
p. 244-255 : ill
https://doi.org/10.1007/978-3-030-28377-3_20
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
63
book article EST
/
book article ENG
E-voting – an overview of the development in the past 15 years and current discussions
Krimmer, Robert Johannes
;
Volkamer, Melanie
;
Duenas Cid, David
Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings
2019
/
p. 1-13
https://doi.org/10.1007/978-3-030-30625-0_1
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
64
book article EST
/
book article ENG
E-Voting System evaluation based on the Council of Europe recommendations: nVotes
Marcos del Blanco, David Yeregui
;
Duenas Cid, David
;
Alaiz Moreton, Hector
Fifth International Joint Conference on Electronic Voting : E-Vote-ID 2020, 6-9 October 2020 : proceedings
2020
/
p. 138-154 : ill
https://digikogu.taltech.ee/et/Item/593d1e1a-9bbc-439b-afdc-f72abfcc8afa
Article at Scopus
Conference proceedings at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
65
book article EST
/
book article ENG
Expected vs. unexpected : selecting right measures of interestingness
Sharma, Rahul
;
Kaushik, Minakshi
;
Arakkal Peious, Sijo
;
Ben Yahia, Sadok
;
Draheim, Dirk
Big Data Analytics and Knowledge Discovery : 22nd International Conference, DaWaK 2020, Bratislava, Slovakia, September 14–17, 2020 : proceedings
2020
/
p. 38-47
https://doi.org/10.1007/978-3-030-59065-9_4
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
66
book article EST
/
book article ENG
The experience of a selfassessment tool for enhancing XR technology adoption in SMEs and HEIs across Europe
Köse, Ahmet
;
Tepljakov, Aleksei
;
Alsaleh, Saleh Ragheb Saleh
;
Petlenkov, Eduard
Extended Reality: International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part I
2023
/
p. 184-197
https://doi.org/10.1007/978-3-031-43401-3_12
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
67
book article EST
/
book article ENG
Exploratory analysis of collective intelligence projects developed within the EU-Horizon 2020 framework
Suran, Shweta
;
Pattanaik, Vishwajeet
;
Ben Yahia, Sadok
;
Draheim, Dirk
Computational Collective Intelligence 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019, Proceedings, Part II
2019
/
p. 285-296
https://doi.org/10.1007/978-3-030-28374-2_25
Conference proceeding at Scopus
Article at Scopus
Confernce proceeding at WOS
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
A generic framework for collective intelligence systems = Kollektiivse intelligentsuse süsteemide üldine raamistik
68
book article EST
/
book article ENG
Factors affecting e-ID public acceptance : a literature review
Tsap, Valentyna
;
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. 176-188 : tab
https://doi.org/10.1007/978-3-030-27523-5_13
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
eID public acceptance : success factors, citizen perception, and impact of electronic identity = eID avalik aktsepteerimine : edutegurid, kodanike pertseptsioon ja elektroonilise identiteedi mõju
69
book article EST
/
book article ENG
FARMUR: fair adversarial retraining to mitigate unfairness in robustness
Mousavi, Seyed Ali
;
Mousavi, Hamid
;
Daneshtalab, Masoud
Advances in Databases and Information Systems: 27th European Conference, ADBIS 2023, Barcelona, Spain, September 4–7, 2023 : proceedings
2023
/
p. 133-145
https://doi.org/10.1007/978-3-031-42914-9_10
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
70
book article EST
/
book article ENG
Flexibly graded monads and graded algebras
McDermott, Dylan
;
Uustalu, Tarmo
Mathematics of Program Construction : 14th International Conference on Mathematics of Program Construction, MPC 2022, Tblilisi, September 26-28, 2022 : proceedings
2022
/
p. 102-128 : ill
https://doi.org/10.1007/978-3-031-16912-0_4
Conference Proceeding at Scopus
Article at Scopus
Article at WOS
Conference proceeding at WOS
book article EST
/
book article ENG
71
book article EST
/
book article ENG
Formal verification of COLREG-Based Navigation of maritime autonomous systems
Shokri-Manninen, Fatima
;
Vain, Jüri
;
Walden, Marina
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings
2020
/
p. 41-59
https://doi.org/10.1007/978-3-030-58768-0_3
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
72
journal article EST
/
journal article ENG
Formalizing CCS and π-calculus in Guarded Cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
Journal of logical and algebraic methods in programming
2023
/
art. 100846
https://doi.org/10.1016/j.jlamp.2022.100846
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
73
book article EST
/
book article ENG
Framework for peer-to-peer data sharing over Web browsers
Pattanaik, Vishwajeet
;
Sharvadze, Ioane
;
Draheim, Dirk
Future Data and Security Engineering : 6th International Conference, FDSE 2019Nha Trang City, Vietnam, November 27–29, 2019 : proceedings
2019
/
p. 207-225 : ill
https://doi.org/10.1007/978-3-030-35653-8_14
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks
74
book article EST
/
book article ENG
A framework for the adoption of blockchain-based e-procurement systems in the public sector : A case study of Nigeria
Akaba, Temofe Isaac
;
Norta, Alexander
;
Udokwu, Chibuzor
;
Draheim, Dirk
Responsible Design, Implementation and Use of Information and Communication Technology : 19th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2020, Skukuza, South Africa, April 6–8, 2020 : Proceedings, Part I
2020
https://doi.org/10.1007/978-3-030-44999-5_1
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
75
journal article EST
/
journal article ENG
Frameworks for collective intelligence : a systematic literature review
Suran, Shweta
;
Pattanaik, Vishwajeet
;
Draheim, Dirk
ACM computing surveys
2020
/
art. 14, p. 1−36
https://doi.org/10.1145/3368986
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
2
A generic framework for collective intelligence systems = Kollektiivse intelligentsuse süsteemide üldine raamistik
Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks
Number of records 204, displaying
51 - 75
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