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
276
Look more..
(2/20)
Export
export all inquiry results
(276)
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
76
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
77
book article EST
/
book article ENG
Enterprise security analysis and training experience
Ojamaa, Andres
;
Tõugu, Enn
Critical Information Infrastructures Security : 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014 : revised selected papers
2016
/
p. 200-208 : ill
https://doi.org/10.1007/978-3-319-31664-2_21
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
78
book article EST
/
book article ENG
Establishing distributed governance infrastructures for enacting cross-organization collaborations
Norta, Alexander
Service-Oriented Computing - ICSOC 2015 Workshops : WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015 : revised selected papers
2016
/
p. 24-35
https://doi.org/10.1007/978-3-662-50539-7_3
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
79
book article EST
/
book article ENG
Estonian e-residency : benefits, risk and lessons learned
Kotka, Taavi
;
Vargas Alvarez del Castillo, Carlos Ivan
;
Korjus, Kaspar
Electronic Government and the Information Systems Perspective : 5th International Conference, EGOVIS 2016, Porto, Portugal, September 5-8, 2016 : proceedings
2016
/
p. 3-15 : ill
https://doi.org/10.1007/978-3-319-44159-7_1
http://www.ester.ee/record=b4645628*est
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
80
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
81
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
82
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
83
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
84
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
85
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
86
book article EST
/
book article ENG
Exploiting factory telemetry to support virtual reality simulation in robotics cell
Kuts, Vladimir
;
Modoni, Gianfranco E.
;
Terkaj, Walter
;
Tähemaa, Toivo
;
Sacco, Marco
;
Otto, Tauno
Augmented Reality, Virtual Reality, and Computer Graphics : 4th International Conference, AVR 2017, Ugento, Italy, June 12–15, 2017 : proceedings. Part I
2017
/
p. 212-221 : ill
https://doi.org/10.1007/978-3-319-60922-5_16
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
87
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
88
book article EST
/
book article ENG
Extensions of Euler diagrams in Peirce's four manuscripts on logical graphs
Pietarinen, Ahti-Veikko
Diagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016 : proceedings
2016
/
p. 139-154 : ill
https://doi.org/10.1007/978-3-319-42333-3_11
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
89
journal article EST
/
journal article ENG
Extraction of the index of refraction by embedding multiple small inclusions
Alsaedi, Ahmed
;
Alzahrani, Faris
;
Challa, Durga Prasad
;
Kirane, Mokhtar
;
Sini, Mourad
Inverse problems
2016
/
art. 045004, p. 1-18 : ill
http://iopscience.iop.org/0266-5611/32/4/045004
https://doi.org/10.1088/0266-5611/32/4/045004
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
90
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
91
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
92
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
93
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
94
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
95
book article EST
/
book article ENG
A framework for data-driven public service co-production
Toots, Maarja
;
McBride, Keegan David Braun
;
Kalvet, Tarmo
;
Krimmer, Robert Johannes
Electronic Government : 16th IFIP WG 8.5 International Conference : EGOV 2017, St. Petersburg, Russia, September 4-7, 2017 : proceedings
2017
/
p. 264-275 : ill
https://doi.org/10.1007/978-3-319-64677-0_22
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
96
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
97
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
98
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
99
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
100
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
Number of records 276, displaying
76 - 100
previous
1
2
3
4
5
6
7
8
9
10
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