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
618
Look more..
(4/147)
Export
export all inquiry results
(618)
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
201
book article EST
/
book article ENG
Experiences from maritime logistics distance learning course
Hilmola, Olli-Pekka Kristian
;
Palu, Riina
;
Tolli, Andres
Educating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 1
2021
/
p. 577-585
https://doi.org/10.1007/978-3-030-68198-2_53
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
202
book article EST
/
book article ENG
An experimental comparison of heuristic coloring algorithms in terms of found color classes on random graphs
Kumlander, Deniss
;
Kulitškov, Aleksei
WCGO 2019: Optimization of Complex Systems: Theory, Models, Algorithms and Applications
2020
/
p. 365-375
https://doi.org/10.1007/978-3-030-21803-4_37
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
203
book article
An experimental pipeline for automated reasoning in natural language (short paper)
Tammet, Tanel
;
Järv, Priit
;
Verrev, Martin
;
Draheim, Dirk
Automated Deduction – CADE 29, 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings
2023
/
p. 509-521
https://doi.org/10.1007/978-3-031-38499-8_29
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article
204
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
205
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
206
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
207
book article EST
/
book article ENG
Exploring e-services development in local government authorities by means of electronic document management systems
Pappel, Ingrid
;
Tsap, Valentyna
;
Pappel, Ingmar
;
Draheim, Dirk
Electronic Governance and Open Society : Challenges in Eurasia 5th International Conference, EGOSE 2018, St. Petersburg, Russia, November 14–16, 2018 : Revised Selected Papers
2019
/
p. 223-234 . ill
https://doi.org/10.1007/978-3-030-13283-5_17
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
208
journal article EST
/
journal article ENG
Exploring factors in a crossroad dataset using cluster-based association rule mining
Shahin, Mahtab
;
Heidari Iman, Mohammad Reza
;
Kaushik, Minakshi
;
Sharma, Rahul
;
Ghasempouri, Tara
;
Draheim, Dirk
Procedia computer science
2022
/
p. 231-238 : ill
https://doi.org/10.1016/j.procs.2022.03.032
Conference proceeding at Scopus
Article at Scopus
journal article EST
/
journal article ENG
Related publications
1
Efficient and effective association rule mining on big data and cloud technology : a multifaceted analysis = Tõhus ja efektiivne assotsiatsioonireeglite kaevandamine suurandmetel ja pilvetehnoloogial : mitmekülgne analüüs
209
journal article EST
/
journal article ENG
Extended ZVS-On/ZCS-Off range for CF-DAB converter under DCM operation for residential energy storage systems
Carvalho da Silva, Edivan Laercio
;
Cardoso, Rafael
;
Felipe, Carla Aparecida
;
Stein, Carlos Marcelo De Oliveira
;
Bellinaso, Lucas Vizzotto
;
Michels, Leandro
;
Vinnikov, Dmitri
IEEE Access
2023
/
p. 119231-119243
https://doi.org/10.1109/ACCESS.2023.3327219
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
210
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
211
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
212
book article EST
/
book article ENG
Factors of socially engineering citizens in critical situations
Lorenz, Birgy
;
Kikkas, Kaido
;
Osula, Kairi
Advances in Human Factors in Cybersecurity : proceedings of the AHFE 2018 : International Conference on Human Factors in Cybersecurity, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA
2019
/
p. 229-240
https://doi.org/10.1007/978-3-319-94782-2_23
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
213
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
214
journal article EST
/
journal article ENG
Fast and fair computation offloading management in a swarm of drones using a rating-based federated learning approach
Rahbari, Dadmehr
;
Alam, Muhammad Mahtab
;
Le Moullec, Yannick
;
Jenihhin, Maksim
IEEE Access
2021
/
p. 113832-113849
https://doi.org/10.1109/ACCESS.2021.3104117
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
215
journal article EST
/
journal article ENG
Fault management techniques to enhance the reliability of power electronic converters : an overview
Rahimpour, Saeed
;
Husev, Oleksandr
;
Vinnikov, Dmitri
;
Vosoughi Kurdkandi, Naser
;
Tarzamni, Hadi
IEEE Access
2023
/
p. 13432-13446
https://doi.org/10.1109/ACCESS.2023.3242918
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Common-ground energy router structure with enhanced reliability and protection = Ühise nulljuhtmega suurendatud töökindluse ja kaitsega energiaruuter
216
journal article EST
/
journal article ENG
Feedback linearization and lattice theory
Kotta, Ülle
;
Tõnso, Maris
;
Shumsky, Alexey Ye.
;
Zhirabok, Alexey N.
Systems & control letters
2013
/
p. 248-255
https://doi.org/10.1016/j.sysconle.2012.11.014
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
217
journal article EST
/
journal article ENG
Finite determination of accessibility and singular points of nonlinear systems: an algebraic approach
Sarafrazi, Mohammad Amin
;
Kotta, Ülle
;
Bartosiewicz, Zbigniew
Systems & control letters
2020
/
art. 104600, p. 1−7
https://doi.org/10.1016/j.sysconle.2019.104600
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
218
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
219
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
220
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
221
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
222
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
223
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
224
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
225
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
Number of records 618, displaying
201 - 225
previous
5
6
7
8
9
10
11
12
13
14
next
keyword
137
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 testing
13.
computer algebra
14.
computer algebra system
15.
computer and education
16.
computer anxiety
17.
computer architecture
18.
computer assisted language learning
19.
computer based learning
20.
computer circuits
21.
computer control
22.
Computer crime
23.
computer education
24.
computer engineering
25.
computer engineerng
26.
computer game
27.
computer graphics
28.
computer hardware
29.
computer integrated manufacturing
30.
computer network management
31.
computer network operations
32.
computer networks
33.
computer pipelines
34.
computer programming
35.
computer programming languages
36.
computer programs
37.
computer security
38.
computer simulation
39.
computer simulation environments
40.
computer simulations
41.
computer software
42.
computer softwaregraph theory
43.
computer systems
44.
Computer systems organization
45.
computer terminals
46.
computer vision
47.
computer workers
48.
computer-aided anthropometry
49.
computer-aided architectural design (CAAD)
50.
computer‐aided assessment
51.
computer-aided design
52.
computer-aided design (CAD)
53.
computer-aided detection
54.
computer‐aided detection
55.
computer-aided diagnosis
56.
computer-aided drawing (CAD)
57.
computer-aided engineering
58.
computer-aided teaching
59.
Computer-Aided Tuning
60.
computer-aided tuning (CAT)
61.
computer-assisted language learning (CALL)
62.
computer-oriented technologies
63.
computer-supported decision-making
64.
computer-use
65.
control engineering computer applications
66.
distributed computer systems
67.
education in computer engineering
68.
fifth generation computer
69.
gateways (computer networks)
70.
high-performance computer systems
71.
human computer interaction
72.
human computer interaction (HCI)
73.
human-computer interaction
74.
Human-Computer Interaction (HCI)
75.
human-computer trust
76.
interactive computer graphics
77.
laptop computer
78.
single board computer
79.
single-board computer
80.
structure computer analysis
81.
ubiquitous computer technology
82.
Web and computer-based learning
83.
applied science
84.
big data science
85.
chemistry and philosophy of science
86.
citizen science
87.
citizen science hub
88.
classical exact science
89.
computational social science
90.
data science
91.
data-science
92.
design science
93.
design science research
94.
design-science
95.
energy science and technology
96.
engineering pedagogy science
97.
environmental science
98.
ethics of science
99.
exact science
100.
food science
101.
forensic science
102.
materials science
103.
NATO. Science for Peace and Security Program
104.
non-classical exact science
105.
philosophy of science
106.
physics and philosophy of science
107.
planetary science
108.
political science
109.
popular science literature
110.
post normal science
111.
post-normal science
112.
Q science
113.
science
114.
science advisors
115.
science and arts
116.
science and technology libraries
117.
science and technology parks
118.
science fiction
119.
science gateway
120.
science integration
121.
science mapping
122.
science policy
123.
science technology innovation
124.
Science, Technology and Innovation Policy
125.
science-based industries
126.
science-driven models
127.
science-policy-society interface
128.
Social Science
129.
social science methodology
130.
sustainability science
131.
Thomson Reuters Web of Science
132.
transdisciplinary science
133.
Web of Science
134.
World Academy of Art and Science (WAAS)
135.
ȹ-science
136.
φ-science
137.
ϕ-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