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
Mathematics. Theoretical computer science (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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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 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
180
Look more..
(2/18)
Export
export all inquiry results
(180)
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
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
52
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
53
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
54
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
55
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
56
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
57
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
58
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
59
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
60
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
61
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
62
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
63
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
64
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
65
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
66
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
67
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
68
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
69
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
70
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
71
book article EST
/
book article ENG
Freely combining partial knowledge in multiple dimensions (extended abstract)
Draheim, Dirk
Future Data and Security Engineering : 5th International Conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28–30, 2018, Proceedings
2018
/
p. 3-11
https://doi.org/10.1007/978-3-030-03192-3_1
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
72
book article EST
/
book article ENG
From sensors to Dempster-Shafer theory and back : the axiom of ambiguous sensor correctness and its applications
Draheim, Dirk
;
Tammet, Tanel
Database and Expert Systems Applications : 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020 : Proceedings, Part I
2020
/
p. 3-19
https://doi.org/10.1007/978-3-030-59003-1_1
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
73
book article EST
/
book article ENG
GK : Implementing full first order default logic for commonsense reasoning (system description)
Tammet, Tanel
;
Draheim, Dirk
;
Järv, Priit
Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022 : proceedings
2022
/
p. 300-309
https://doi.org/10.1007/978-3-031-10769-6_18
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
74
book article EST
/
book article ENG
GKC: A reasoning system for large knowledge bases
Tammet, Tanel
Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019 : proceedings
2019
/
p. 538-549
https://doi.org/10.1007/978-3-030-29436-6_32
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
75
book article EST
/
book article ENG
Grand reports : a tool for generalizing association rule mining to numeric target values
Arakkal Peious, Sijo
;
Sharma, Rahul
;
Kaushik, Minakshi
;
Shah, Syed Attique
;
Ben Yahia, Sadok
Big Data Analytics and Knowledge Discovery : 22nd International Conference, DaWaK 2020, Bratislava, Slovakia, September 14-17, 2020 : Proceedings
2020
/
p. 28-37
https://doi.org/10.1007/978-3-030-59065-9_3
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Number of records 180, displaying
51 - 75
previous
1
2
3
4
5
6
7
8
next
keyword
17
1.
computer science
2.
computer science basics
3.
computer science education
4.
logic in computer science
5.
Cognitive Mathematics
6.
foundations of mathematics
7.
Husserl and Peirce and the goals of mathematics
8.
mathematics
9.
mathematics and computing
10.
mathematics students learning habits
11.
philosophy of mathematics
12.
univalent mathematics
13.
theoretical analysis
14.
theoretical framework
15.
theoretical models
16.
theoretical perspectives
17.
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