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
Arvutiteadus. Üldine 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
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
423
Look more..
(1/2)
Export
export all inquiry results
(423)
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
151
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
152
book article EST
/
book article ENG
Floor selection proposal for automated travel with smart elevator
Reinsalu, Uljana
;
Robal, Tarmo
;
Leier, Mairo
Databases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings
2020
https://doi.org/10.1007/978-3-030-57672-1_4
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
153
journal article EST
/
journal article ENG
A formal specification smart-contract language for legally binding decentralized autonomous organizations
Dwivedi, Vimal Kumar
;
Norta, Alexander
;
Wulf, Alexander
;
Leiding, Benjamin
;
Saxena, Sandeep
;
Udokwu, Chibuzor
IEEE Access
2021
/
p. 76069−76082 : ill
https://doi.org/10.1109/ACCESS.2021.3081926
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
154
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
155
book article EST
/
book article ENG
Formal-verification of smart-contract languages : a survey
Dwivedi, Vimal Kumar
;
Deval, Vipin
;
Dixit, Abhishek
;
Norta, Alexander
Advances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II
2019
/
p. 738-747
https://doi.org/10.1007/978-981-13-9942-8_68
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Seotud publikatsioonid
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
156
book article EST
/
book article ENG
Forward and backward compatibility design techniques applying the HL7 FHIR standard
Bossenko, Igor
;
Piho, Gunnar
;
Ross, Peeter
HEDA 2022 : Proceedings of the International Health Data Workshop, co-located with 10th International Conference on Petrinets, Petri Nets 2022
2022
/
p. 1-14
https://ceur-ws.org/Vol-3264/HEDA22_paper_14.pdf
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
157
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
158
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
159
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
160
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
161
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
162
book article EST
/
book article ENG
Future of governance for digital platform ecosystems
Kitsing, Meelis
;
Vallistu, Johanna
Proceedings of Fifth International Congress on Information and Communication Technology : ICICT 2020, London ; 2
2021
/
p. 334-341
https://doi.org/10.1007/978-981-15-5859-7_33
Article collection metrics at Scopus
Article at Scopus
book article EST
/
book article ENG
163
book article EST
/
book article ENG
Gamification model for developing e-learning in Libyan higher education
Al Ghawail, Entisar Alhadi
;
Ben Yahia, Sadok
;
Alrzini, Joma Rajab
Smart education and e-learning 2021
2022
/
p. 97-110 : ill
https://doi.org/10.1007/978-981-16-2834-4_9
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
164
journal article EST
/
journal article ENG
GC and other methods for full and partial context coverage
Raun, Kristo
;
Torim, Ants
;
Ben Yahia, Sadok
Procedia computer science
2021
/
p. 746−755
https://doi.org/10.1016/j.procs.2021.08.077
Conference proceeding at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
165
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
166
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
167
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
168
journal article EST
/
journal article ENG
Grid-connected solar PV power plants optimization: a review
Zidane, Tekai Eddine Khalil
;
Aziz, Ali Saleh
;
Zahraoui, Younes
;
Kotb, Hossam
;
Aboras, Kareem M.
;
Kitmo
;
Jember, Yosef Berhan
IEEE Access
2023
/
p. 79588-79608
https://doi.org/10.1109/ACCESS.2023.3299815
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
169
book article EST
/
book article ENG
Handling software icebergs
Henno, Jaak
;
Jaakkola, Hannu
;
Mäkelä, Jukka
SQAMIA 2022 : Proceedings of the 9th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications
2022
/
9 p. : ill
https://urn.fi/URN:NBN:fi:tuni-202212299811
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
170
book article EST
/
book article ENG
Health and safety management at workplaces through interactive tools
Kontus, Sigrid
;
Reinhold, Karin
Human Interaction, Emerging Technologies and Future Applications IV :Proceedings of the 4th International Conference on Human Interaction and Emerging Technologies: Future Applications (IHIET – AI 2021), April 28-30, 2021, Strasbourg, France
2021
/
p. 686−693
https://doi.org/10.1007/978-3-030-74009-2_87
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
171
journal article EST
/
journal article ENG
High-performance buck-boost partial power quasi-Z-source series resonance converter
Abdel-Rahim, Omar
;
Chub, Andrii
;
Mashinchi Maheri, Hamed
;
Blinov, Andrei
;
Vinnikov, Dmitri
IEEE Access
2022
/
p. 13017-130189
https://doi.org/10.1109/ACCESS.2022.3225751
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
172
book article EST
/
book article ENG
Historio-Graphy
Moktefi, Amirouche
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 511-514
https://doi.org/10.1007/978-3-030-54249-8_46
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
173
journal article EST
/
journal article ENG
Home energy management systems: A review of the concept, architecture, and scheduling strategies
Han, Binghui
;
Zahraoui, Younes
;
Mubin, Marizan
;
Mekhilef, Saad
;
Seyedmahmoudian, Mehdi
;
Stojcevski, Alex
IEEE Access
2023
/
p. 19999-20025
https://doi.org/10.1109/ACCESS.2023.3248502
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
174
book article EST
/
book article ENG
How domain engineering can help to raise adoption rates of artificial intelligence in healthcare
Bertl, Markus
;
Klementi, Toomas
;
Piho, Gunnar
;
Ross, Peeter
;
Draheim, Dirk
Information Integration and Web Intelligence, 25th International Conference, iiWAS 2023, Denpasar, Bali, Indonesia, December 4–6, 2023 : proceedings
2023
/
p. 490-504
https://doi.org/10.1007/978-3-031-48316-5_1
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
175
book article EST
/
book article ENG
How much does an e-Vote cost? Cost comparison per vote in multichannel elections in Estonia
Krimmer, Robert Johannes
;
Duenas Cid, David
;
Krivonosova, Iuliia
;
Vinkel, Priit
;
Koitmäe, Arne
Electronic Voting : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2–5, 2018 : proceedings
2018
/
p. 117-131
https://doi.org/10.1007/978-3-030-00419-4_8
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Number of records 423, displaying
151 - 175
previous
3
4
5
6
7
8
9
10
11
12
next
subject term
2
1.
arvutiteadus
2.
üldine keemia
×
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