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
Matemaatika. Teoreetiline arvutiteadus (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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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 publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
328
Look more..
(1/7)
Export
export all inquiry results
(328)
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
101
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
102
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
103
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
104
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
Related publications
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
105
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
106
book article EST
/
book article ENG
Experiments with LLMs for converting language to logic
Tammet, Tanel
;
Järv, Priit
;
Verrev, Martin
;
Draheim, Dirk
Neural-Symbolic Learning and Reasoning : 18th International Conference, NeSy 2024, Barcelona, Spain, September 9–12, 2024, Proceedings, Part II
2024
/
p. 305 - 314
https://doi.org/10.1007/978-3-031-71170-1_24
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
107
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
108
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
Related publications
1
A generic framework for collective intelligence systems = Kollektiivse intelligentsuse süsteemide üldine raamistik
109
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
110
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
111
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
Related publications
1
eID public acceptance : success factors, citizen perception, and impact of electronic identity = eID avalik aktsepteerimine : edutegurid, kodanike pertseptsioon ja elektroonilise identiteedi mõju
112
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
113
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
114
book article EST
/
book article ENG
FoREnSiC– an automatic debugging environment for C programs
Bloem, Roderick
;
Raik, Jaan
;
Repinski, Urmas
Eighth Haifa Verification Conference : HVC 2012 : November 6-8, Haifa, Israel : [proceedings]
2013
/
p. 260-265 : ill
https://doi.org/10.1007/978-3-642-39611-3_24
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
115
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
116
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
117
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
118
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
Related publications
1
Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks
119
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
120
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
Related publications
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
121
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
122
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
123
book article EST
/
book article ENG
Future opportunities for systematic AI support in healthcare
Bertl, Markus
;
Piho, Gunnar
;
Draheim, Dirk
;
Ross, Peeter
;
Pechmann, Ludwig
;
Bucciarelli, Nicholas
;
Sharma, Rahul
Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers
2024
/
p. 203 - 224
https://doi.org/10.1007/978-3-031-73741-1_13
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
124
book article EST
/
book article ENG
Generalization of the double-reversal method of finding a canonical residual finite state automaton
Tamm, Hellis
Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
2015
/
p. 268 - 279
https://doi.org/10.1007/978-3-319-19225-3_23
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
125
book article EST
/
book article ENG
Genetic approximations for the failure-free security games
Lenin, Aleksandr
;
Willemson, Jan
;
Charnamord, Anton
Decision and game theory for security : 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015 : proceedings
2015
/
p. 311-321 : ill
https://doi.org/10.1007/978-3-319-25594-1_17
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Number of records 328, displaying
101 - 125
previous
1
2
3
4
5
6
7
8
9
10
next
subject term
7
1.
arvutiteadus
2.
teoreetiline bioloogia
3.
teoreetiline füüsika
4.
teoreetiline geograafia
5.
teoreetiline keemia
6.
teoreetiline mehaanika
7.
teoreetiline mõistus
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT