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 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
401
Look more..
(3/130)
Export
export all inquiry results
(401)
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
51
journal article EST
/
journal article ENG
Codensity lifting of monads and its dual
Katsumata, Shin-ya
;
Sato, Tetsuya
;
Uustalu, Tarmo
Logical methods in computer science
2018
/
p. 1-31
https://doi.org/10.23638/LMCS-14(4:6)2018
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
52
journal article EST
/
journal article ENG
Coends of higher arity
Loregian, Fosco
;
de Oliveira Santos, Theo
Applied categorical structures
2022
/
p. 173-221
https://doi.org/10.1007/s10485-021-09653-x
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
53
book article EST
/
book article ENG
Coherence via focusing for symmetric skew monoidal categories
Veltri, Niccolo
Logic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021 : proceedings
2021
/
p. 184-200
https://doi.org/10.1007/978-3-030-88853-4_12
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
54
book article EST
/
book article ENG
Collaborative project management framework for partner network initiation in machining domain [Online resource]
Ševtšenko, Eduard
;
Polyantchikov, Igor
;
Mahmood, Kashif
;
Kangilaski, Taivo
;
Norta, Alexander
;
Karaulova, Tatjana
;
Perm, Ardo
Proceedings of the 18th Online World Conference on Soft Computing in Industrial Applications (WSC18)
2018
/
p. 215-233 : ill
https://doi.org/10.1007/978-3-030-00612-9_19
https://link.springer.com/content/pdf/bfm%3A978-3-030-00612-9%2F1.pdf
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
55
journal article EST
/
journal article ENG
Combining algebraic effect descriptions using the tensor of complete lattices
Voorneveld, Niels
Electronic notes in theoretical computer science
2020
/
p. 257-281
https://doi.org/10.1016/j.entcs.2020.09.013
Journal metrics at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
56
book article EST
/
book article ENG
Combining semantic parsing frameworks for automated knowledge base construction
Verrev, Martin
AI^3 2022 : 6th Workshop on Advances in Argumentation in Artificial Intelligence
2022
https://ceur-ws.org/Vol-3354/paper1.pdf
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
57
journal article EST
/
journal article ENG
Compact empirical model for droplet generation in a Lab-on-Chip cytometry system
Pärnamets, Kaiser
;
Udal, Andres
;
Koel, Ants
;
Pardy, Tamas
;
Gyimah, Nafisat
;
Rang, Toomas
IEEE Access
2022
/
p. 127708-127717
https://doi.org/10.1109/ACCESS.2022.3226623
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
Optical detection methods for droplet microfluidic applications = Optilised tuvastusmeetodid tilkade mikrofluidiliste rakenduste jaoks
58
book article EST
/
book article ENG
Comparison of matrix reordering algorithms based on monotone systems
Lind, Grete
;
Kuusik, Rein, inform.
The Fifteenth International Conference on Concept Lattices and Their Applications : CLA 2020, Tallinn, Estonia, June 29-July 1, 2020
2020
/
p. 281-286
https://www.ester.ee/record=b5353358*est
http://ceur-ws.org/Vol-2668/short2.pdf
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
59
journal article EST
/
journal article ENG
Compensation topologies in IPT Systems : standards, requirements, classification, analysis, comparison and application
Shevchenko, Viktor
;
Husev, Oleksandr
;
Strzelecki, Ryszard
IEEE Access
2019
/
art. 2937891, p. 120559–120580 : ill
https://doi.org/10.1109/ACCESS.2019.2937891
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
60
book article EST
/
book article ENG
Composite surrogate for likelihood-free bayesian optimisation in high-dimensional settings of activity-based transportation models
Kuzmanovski, Vladimir
;
Hollmén, Jaakko
Advances in Intelligent Data Analysis XIX : 19th International Symposium on Intelligent Data Analysis, IDA 2021, Porto, Portugal, April 26–28, 2021 : proceedings
2021
/
p. 171-183 : ill
https://doi.org/10.1007/978-3-030-74251-5_14
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
61
book article EST
/
book article ENG
Compositional diagrammatic first-order logic
Haydon, Nathan Joseph
;
Sobocinski, Pawel Maria
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 402-418
https://doi.org/10.1007/978-3-030-54249-8_32
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
62
book article EST
/
book article ENG
A comprehensive approach for designing business-intelligence solutions with multi-agent systems in distributed environments
Qayumi, Karima
;
Norta, Alexander
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII
2018
/
p. 113-150
https://doi.org/10.1007/978-3-662-57932-9_4
Article collection metrics at Scopus
Article at Scopus
Article collection metrics at WOS
Article at WOS
book article EST
/
book article ENG
63
book article EST
/
book article ENG
Computing data lineage and business semantics for data warehouse
Tomingas, Kalle
;
Järv, Priit
;
Tammet, Tanel
Knowledge Discovery, Knowledge Engineering and Knowledge Management :8th International Joint Conference, IC3K 2016, Porto, Portugal, November 9–11, 2016 : Revised Selected Papers
2019
/
p. 101-124
https://doi.org/10.1007/978-3-319-99701-8_5
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
64
journal article EST
/
journal article ENG
Concept drift and cross-device behavior : challenges and implications for effective android malware detection
Guerra Manzanares, Alejandro
;
Luckner, Marcin
;
Bahsi, Hayretdin
Computers & Security
2022
/
art. 102757, 20 p. : ill
https://doi.org/10.1016/j.cose.2022.102757
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
Machine learning-based detection and characterization of evolving threats in mobile and IoT Systems = Masinõppepõhine arenevate ohtude tuvastamine ning kirjeldamine mobiilseadmete ja värkvõrkude jaoks
65
book article EST
/
book article ENG
Conceptualising micro-credentials in the higher education research landscape. A literature review
Cartis, Alexandru
;
Leoste, Janika
;
Iucu, Romiță
;
Kikkas, Kaido
;
Tammemäe, Kalle
;
Männik, Katrin
Polyphonic construction of smart learning ecosystems : proceedings of the 7th Conference on Smart Learning Ecosystems and Regional Development
2023
/
p. 191-203
https://doi.org/10.1007/978-981-19-5240-1_13
book article EST
/
book article ENG
66
book article EST
/
book article ENG
Confidences for commonsense reasoning.
Tammet, Tanel
;
Draheim, Dirk
;
Järv, Priit
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021 : proceedings
2021
/
p. 507–524
https://doi.org/10.1007/978-3-030-79876-5_29
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
67
journal article EST
/
journal article ENG
Constructing higher inductive types as groupoid quotients
Veltri, Niccolo
;
Weide, Niels van der
Logical methods in computer science
2021
/
p. 8:1−8:42
https://doi.org/10.23638/LMCS-17(2:8)2021
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
68
book article EST
/
book article ENG
Contextual equivalence for signal flow graphs
Bonchi, Filippo
;
Piedeleu, Robin
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings
2020
/
p. 77-96
https://doi.org/10.1007/978-3-030-45231-5_5
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
69
journal article EST
/
journal article ENG
Corrections to “Opportunities and Challenges of Utilizing Additive Manufacturing Approaches in Thermal Management of Electrical Machines”
Ghahfarokhi, Payam Shams
;
Podgornovs, Andrejs
;
Kallaste, Ants
;
Marques Cardoso, Antonio J.
;
Belahcen, Anouar
;
Vaimann, Toomas
;
Tiismus, Hans
;
Asad, Bilal
IEEE Access
2021
/
p. 62532
https://doi.org/10.1109/ACCESS.2021.3074827
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
70
book article EST
/
book article ENG
Covering concept lattices with concept chains
Torim, Ants
;
Mets, Marko
;
Raun, Kristo
Graph-Based Representation and Reasoning : 24th International Conference on Conceptual Structures, ICCS 2019 : Marburg, Germany, July 1–4, 2019 : proceedings
2019
/
p. 190-203 : ill
https://doi.org/10.1007/978-3-030-23182-8_14
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
71
book article EST
/
book article ENG
Crisis year 2020 : analysis of Finnish manufacturing companies’ Twitter activity
Lähdeaho, Oskari
;
Hilmola, Olli-Pekka Kristian
Human Centred Intelligent Systems : Proceedings of KES-HCIS 2021 Conference
2021
/
p. 36–45
https://doi.org/10.1007/978-981-16-3264-8_4
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
72
book article EST
/
book article ENG
Cross-disciplinary remote course for mixed group of students and professionals
Lähdeaho, Oskari
;
Hilmola, Olli-Pekka Kristian
Educating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 1
2021
/
p. 3-12
https://doi.org/10.1007/978-3-030-68198-2_1
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
73
book article EST
/
book article ENG
Cyber hygiene : the big picture
Maennel, Kaie
;
Mäses, Sten
;
Maennel, Olaf Manuel
Secure IT Systems : 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28–30, 2018 : proceedings
2018
/
p. 291-305 : ill
https://doi.org/10.1007/978-3-030-03638-6_18
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
74
book article EST
/
book article ENG
CyberPin - Challenges on recognizing youngest cyber talents
Lorenz, Birgy
;
Kikkas, Kaido
;
Talisainen, Aleksei
;
Eomäe, Taavi
HCI for Cybersecurity, Privacy and Trust : Third International Conference, HCI-CPT 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021 : proceedings
2021
/
p. 326-336
https://doi.org/10.1007/978-3-030-77392-2_21
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Aricle at WOS
book article EST
/
book article ENG
75
book article EST
/
book article ENG
Cybersecurity within the curricula of informatics : the Estonian perspective
Lorenz, Birgy
;
Kikkas, Kaido
;
Sõmer, Tiia
;
Laugasson, Edmund
Informatics in Schools. New Ideas in School Informatics :12th International Conference on Informatics in Schools : Situation, Evolution, and Perspectives, ISSEP 2019, Larnaca, Cyprus, November 18–20, 2019 : proceedings
2019
/
p. 159-171
https://doi.org/10.1007/978-3-030-33759-9_13
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
Number of records 401, displaying
51 - 75
previous
1
2
3
4
5
6
7
8
9
10
next
keyword
123
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 manufacturing
11.
computer aided testing
12.
computer algebra
13.
computer algebra system
14.
computer and education
15.
computer anxiety
16.
computer architecture
17.
computer assisted language learning
18.
computer based learning
19.
computer circuits
20.
computer control
21.
computer education
22.
computer engineering
23.
computer engineerng
24.
computer game
25.
computer graphics
26.
computer hardware
27.
computer integrated manufacturing
28.
computer network management
29.
computer network operations
30.
computer networks
31.
computer pipelines
32.
computer programming
33.
computer programs
34.
computer security
35.
computer simulation
36.
computer simulation environments
37.
computer simulations
38.
computer software
39.
computer softwaregraph theory
40.
computer systems
41.
computer terminals
42.
computer vision
43.
computer workers
44.
computer-aided anthropometry
45.
computer-aided architectural design (CAAD)
46.
computer‐aided assessment
47.
computer-aided design
48.
computer-aided detection
49.
computer‐aided detection
50.
computer-aided diagnosis
51.
computer-aided drawing (CAD)
52.
computer-aided engineering
53.
computer-aided teaching
54.
computer-aided tuning (CAT)
55.
computer-assisted language learning (CALL)
56.
computer-oriented technologies
57.
computer-supported decision-making
58.
computer-use
59.
control engineering computer applications
60.
distributed computer systems
61.
education in computer engineering
62.
fifth generation computer
63.
gateways (computer networks)
64.
high-performance computer systems
65.
human computer interaction
66.
human computer interaction (HCI)
67.
human-computer interaction
68.
Human-Computer Interaction (HCI)
69.
interactive computer graphics
70.
laptop computer
71.
single board computer
72.
structure computer analysis
73.
ubiquitous computer technology
74.
Web and computer-based learning
75.
applied science
76.
chemistry and philosophy of science
77.
citizen science
78.
classical exact science
79.
computational social science
80.
data science
81.
data-science
82.
design science
83.
design science research
84.
design-science
85.
energy science and technology
86.
engineering pedagogy science
87.
environmental science
88.
ethics of science
89.
exact science
90.
food science
91.
materials science
92.
NATO. Science for Peace and Security Program
93.
non-classical exact science
94.
philosophy of science
95.
physics and philosophy of science
96.
planetary science
97.
political science
98.
popular science literature
99.
post normal science
100.
post-normal science
101.
Q science
102.
science
103.
science advisors
104.
science and arts
105.
science and technology libraries
106.
science fiction
107.
science gateway
108.
science integration
109.
science mapping
110.
science policy
111.
science technology innovation
112.
Science, Technology and Innovation Policy
113.
science-based industries
114.
science-policy-society interface
115.
Social Science
116.
social science methodology
117.
sustainability science
118.
transdisciplinary science
119.
Web of Science
120.
World Academy of Art and Science (WAAS)
121.
ȹ-science
122.
φ-science
123.
ϕ-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
author
1
1.
Department of Software Science, Tallinn University of Technology
×
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