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
Computer science. General 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 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
649
Look more..
(4/158)
Export
export all inquiry results
(649)
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
226
book article EST
/
book article ENG
First order logic and commonsense reasoning : a path less travelled
Tammet, Tanel
;
Draheim, Dirk
;
Järv, Priit
;
Verrev, Martin
ICLP Workshops 2022 : Proceedings of the International Conference on Logic Programming 2022 Workshops, co-located with the 38th International Conference on Logic Programming, ICLP 2022
2022
/
art. 182197
https://ceur-ws.org/Vol-3193/short5GDE.pdf
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
227
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
228
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
229
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
230
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
Related publications
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
231
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
232
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
Related publications
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
233
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
Related publications
1
A domain-specific framework for supporting semantic interoperability in primary and secondary use of health data on the example of the Estonian National Health Information System = Tervishoiu domeenipõhise semantilise raamistiku loomine terviseandmete esmaseks ja teiseseks kasutamiseks Eesti Tervise infosüsteemi näitel
234
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
235
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
236
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
237
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
238
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
239
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
240
book article EST
/
book article ENG
From traditional to challenge-based learning : a case study
Lorenz, Birgy
;
Kikkas, Kaido
Proceedings of the European Conference on e-Learning, ECEL, vol. 23, 1
2024
/
p. 227-234
https://doi.org/10.34190/ecel.23.1.2516
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
241
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
242
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
243
book article EST
/
book article ENG
Galois sub-hierarchies used for use case modeling
Torim, Ants
CLA 2013 : proceedings of the Tenth International Conference on Concept Lattices and Their Applications : La Rochelle, France, October 15-18, 2013
2013
/
p. 21-32 : ill
https://ceur-ws.org/Vol-1062/paper2.pdf
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
244
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
245
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
246
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
247
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
248
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
249
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
250
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
Related publications
1
Measures of Impact and Confounding – An Analysis and Experimental Comparison of Novel and Established Measures = Mõju ja segajate mõõdikud – uute ja väljakujunenud meetmete analüüs ja eksperimentaalne võrdlus
Number of records 649, displaying
226 - 250
previous
6
7
8
9
10
11
12
13
14
15
next
keyword
148
1.
computer science
2.
computer science basics
3.
computer science education
4.
logic in computer science
5.
computer
6.
computer aided design
7.
computer aided diagnosis
8.
computer aided diagnostics
9.
computer aided instruction
10.
computer aided language translation
11.
computer aided manufacturing
12.
computer aided methods
13.
computer aided software engineering
14.
computer aided testing
15.
computer algebra
16.
computer algebra system
17.
computer and education
18.
computer anxiety
19.
computer architecture
20.
computer assisted language learning
21.
computer based learning
22.
computer circuits
23.
computer control
24.
Computer crime
25.
computer education
26.
computer engineering
27.
computer engineerng
28.
computer game
29.
computer graphics
30.
computer hardware
31.
computer integrated manufacturing
32.
computer network management
33.
computer network operations
34.
computer networks
35.
computer pipelines
36.
computer programming
37.
computer programming languages
38.
computer programs
39.
computer security
40.
computer simulation
41.
computer simulation environments
42.
computer simulations
43.
computer software
44.
Computer software and hardware
45.
computer softwaregraph theory
46.
computer systems
47.
Computer systems organization
48.
computer terminals
49.
computer vision
50.
computer vision-based methods
51.
computer workers
52.
computer-aided anthropometry
53.
computer-aided architectural design (CAAD)
54.
computer‐aided assessment
55.
computer-aided design
56.
computer-aided design (CAD)
57.
computer-aided detection
58.
computer‐aided detection
59.
computer-aided diagnosis
60.
computer-aided drawing (CAD)
61.
computer-aided engineering
62.
computer-aided teaching
63.
Computer-Aided Tuning
64.
computer-aided tuning (CAT)
65.
computer-assisted language learning (CALL)
66.
computer-oriented technologies
67.
computer-supported decision-making
68.
computer-use
69.
computer-workers
70.
control engineering computer applications
71.
distributed computer systems
72.
education in computer engineering
73.
fifth generation computer
74.
gateways (computer networks)
75.
high-performance computer systems
76.
human computer interaction
77.
human computer interaction (HCI)
78.
human-computer interaction
79.
human–computer interaction
80.
Human-Computer Interaction (HCI)
81.
human-computer trust
82.
interactive computer graphics
83.
laptop computer
84.
single board computer
85.
single-board computer
86.
structure computer analysis
87.
ubiquitous computer technology
88.
Web and computer-based learning
89.
applied science
90.
big data science
91.
chemistry and philosophy of science
92.
citizen science
93.
citizen science hub
94.
classical exact science
95.
cognitive science
96.
computational social science
97.
data science
98.
data-science
99.
decision science
100.
design science
101.
design science research
102.
design-science
103.
energy science and technology
104.
engineering pedagogy science
105.
environmental science
106.
ethics of science
107.
exact science
108.
food science
109.
forensic science
110.
logic of science
111.
materials science
112.
NATO. Science for Peace and Security Program
113.
non-classical exact science
114.
philosophy of science
115.
physics and philosophy of science
116.
planetary science
117.
political science
118.
popular science literature
119.
post normal science
120.
post-normal science
121.
Q science
122.
science
123.
science advisors
124.
science and arts
125.
science and technology libraries
126.
science and technology parks
127.
science fiction
128.
science gateway
129.
science integration
130.
science mapping
131.
science policy
132.
science technology and innovation
133.
science technology innovation
134.
Science, Technology and Innovation Policy
135.
science-based industries
136.
science-driven models
137.
science-policy-society interface
138.
Security and political science
139.
Social Science
140.
social science methodology
141.
sustainability science
142.
Thomson Reuters Web of Science
143.
transdisciplinary science
144.
Web of Science
145.
World Academy of Art and Science (WAAS)
146.
ȹ-science
147.
φ-science
148.
ϕ-science
subject term
6
1.
Estonian Summer School on Computer and Systems Science, 2023
2.
Baltic Computer Systems
3.
National Computer Security Incident Response Teams (N-CSIRTs)
4.
Norwegian University of Science and Technology
5.
The European Federation of Food Science and Technology (EFFoST)
6.
Web of Science
TalTech department
3
1.
Department of Computer Systems
2.
Department of Software Science
3.
School of Science
author
1
1.
Department of Software Science, Tallinn University of Technology
×
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