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 (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
1151
Look more..
(3/133)
Export
export all inquiry results
(1000*)
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
Calculational proofs in relational graphical linear algebra
Paixao, Joao
;
Sobocinski, Pawel Maria
Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020 : proceedings
2020
/
p. 83-100
https://doi.org/10.1007/978-3-030-63882-5_6
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
102
book article EST
/
book article ENG
CALL-technolgy based approach to control acquisition of foreign language skills
Nymm, Voldemar
;
Piotrowska, Xenia
;
Nõmm, Sven
;
Ronzhin, Andrey
Proceedings of the III International Conference on Language Engineering and Applied Linguistics (PRLEAL-2019), Saint Petersburg, Russia, November 27, 2019
2020
/
art. 157532, p. 200-210
http://ceur-ws.org/Vol-2552/Paper16.pdf
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
103
book article EST
/
book article ENG
Can I have a Mooc2Go, please? On the viability of mobile vs. stationary learning
Zhao, Yue
;
Robal, Tarmo
;
Lofi, Christoph
;
Hauff, Claudia
Lifelong Technology-Enhanced Learning : 13th European Conference on Technology Enhanced Learning : EC-TEL 2018, Leeds, UK, September 3-5, 2018 : proceedings
2018
/
p. 101-115 : ill
https://doi.org/10.1007/978-3-319-98572-5_8
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
104
book article EST
/
book article ENG
A canonical algebra of open transition systems
Di Lavore, Elena
;
Gianola, Alessandro
;
Roman Garcia, Mario
;
Sabadini, Nicoletta
;
Sobocinski, Pawel Maria
Formal aspects of component software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021 : proceedings
2021
/
p. 63-81
https://doi.org/10.1007/978-3-030-90636-8_4
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
105
book article EST
/
book article ENG
Canonical gradings of monads
Breuvart, Flavien
;
McDermott, Dylan
;
Uustalu, Tarmo
Proceedings of the 5th Annual International Applied Category Theory Conference (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
p. 1-21
https://doi.org/10.4204/eptcs.380.1
https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4328.pdf
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
106
book article EST
/
book article ENG
Capacity building in government : towards developing a standard for a functional specialist in AI for public services
Labanava, Alena
;
Dreyling, Richard Michael
;
Mortati, Marzia
;
Liiv, Innar
;
Pappel, Ingrid
Future Data and Security Engineering : Big Data, Security and Privacy, Smart City and Industry 4.0 Applications : 9th International Conference, FDSE 2022, Ho Chi Minh City, Vietnam, November 23-25, 2022 : proceedings
2022
/
p. 503-516
https://doi.org/10.1007/978-981-19-8069-5_34
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
107
book article EST
/
book article ENG
Carroll diagrams : design and manipulation
Moktefi, Amirouche
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
p. 32-35 : ill
https://doi.org/10.1007/978-3-319-91376-6_7
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
108
book article EST
/
book article ENG
A case for modern build automation for intelligent systems
Grunewald, Alexander
;
Lange, Moritz
;
Tran, Kim Chi
;
Astrova, Irina
Intelligent Systems and Applications : proceedings of the 2022 Intelligent Systems Conference (IntelliSys). Volume 1
2023
/
p. 789-799
https://doi.org/10.1007/978-3-031-16072-1_56
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
109
book article EST
/
book article ENG
Case study in experiential learning - from chaos to order: sensemaking with the interactive timeline tool in architecture and civil engineering studies
Nutt, Nele
;
Salmistu, Sirle
;
Meitl, Cassi
;
Karu, Katrin
Educating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 1
2021
/
p. 1300-1311
https://doi.org/10.1007/978-3-030-68198-2_8
Article collection metrics at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
110
book article EST
/
book article ENG
A Case Study on Data Protection for a Cloud- and AI-based Homecare Medical Device
Bende, Philipp
;
Vovk, Olga
;
Caraveo, David
;
Pechmann, Ludwig
;
Leucker, Martin
HEDA 2022 : Proceedings of the International Health Data Workshop, co-located with 10th International Conference on Petrinets, Petri Nets 2022
2022
/
p. 1-13
https://ceur-ws.org/Vol-3264/HEDA22_paper_3.pdf
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
111
book article EST
/
book article ENG
A Categorical semantics for bounded Petri Nets
Genovese, Fabrizio
;
Loregian, Fosco
;
Palombi, Daniele
Proceedings of the 4th Annual International Applied Category Theory Conference 2021 [ACT 2021] : Cambridge, United Kingdom, 12-16 July 2021
2021
/
15 p
https://doi.org/10.48550/arXiv.2101.09100
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
112
book article EST
/
book article ENG
A categorical semantics for hierarchical Petri Nets
Genovese, Fabrizio
;
Herold, Jelle
;
Loregian, Fosco
;
Palombi, Daniele
Proceedings Twelfth International Workshop on Graph Computational Models, Online, 22nd June 2021
2021
/
p. 51−68
https://doi.org/10.48550/arXiv.2102.00096
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
113
journal article EST
/
journal article ENG
Cellular, extracellular and extracellular vesicular miRNA profiles of pre-ovulatory follicles indicate signaling disturbances in polycystic ovaries
Rooda, Ilmatar
;
Hasan, Mohammed Mehedi
;
Roos, Kristine
;
Viil, Janeli
;
Smolander, Olli-Pekka
;
Velthut-Meikas, Agne
International journal of molecular sciences
2020
/
art. 9550, 23 p. : ill
https://doi.org/10.3390/ijms21249550
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
114
book article EST
/
book article ENG
Certified Foata normalization for generalized traces
Maarand, Hendrik
;
Uustalu, Tarmo
NASA Formal Methods Symposium : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings
2018
/
p. 299-314
https://doi.org/10.1007/978-3-319-77935-5_21
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
115
journal article EST
/
journal article ENG
Certified normalization of generalized traces
Maarand, Hendrik
;
Uustalu, Tarmo
Innovations in Systems and Software Engineering
2019
/
p. 253–265
https://doi.org/10.1007/s11334-019-00347-1
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
116
journal article EST
/
journal article ENG
Challenges and perspectives in control of ionic polymer-metal composite (IPMC) actuators : a survey
Aabloo, Alvo
;
Belikov, Juri
;
Kaparin, Vadim
;
Kotta, Ülle
IEEE Access
2021
/
art. 9133056, p. 121059-121073
https://doi.org/10.1109/ACCESS.2020.3007020
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
117
journal article EST
/
journal article ENG
Challenges and perspectives of nature-based wastewater treatment and reuse in rural areas of Central and Eastern Europe
Istenič, Darja
;
Bodík, Igor
;
Merisaar, Maret
;
Gajewska, Magdalena
;
Šereš, Michal
;
Griessler Bulc, Tjaša
Sustainability (Switzerland)
2023
/
art. 8145
https://doi.org/10.3390/su15108145
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
118
journal article EST
/
journal article ENG
Challenges and strategies for bio-based and biodegradable plastic waste management in Europe
Stasiškienė, Žaneta
;
Barbir, Jelena
;
Draudvilienė, Lina
;
Chong, Zhi Kai
;
Kuchta, Kerstin
;
Voronova, Viktoria
;
Leal Filho, Walter
Sustainability (Switzerland)
2022
/
art. 16476
https://doi.org/10.3390/su142416476
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
119
journal article EST
/
journal article ENG
Challenges of active learning in a view of integrated engineering education
Vodovozov, Valery
;
Raud, Zoja
;
Petlenkov, Eduard
Education Sciences
2021
/
art. 43
https://doi.org/10.3390/educsci11020043
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
120
journal article EST
/
journal article ENG
Challenges of applying e-learning in the libyan higher education system
Ghawail, Entisar Alhadi Al
;
Ben Yahia, Sadok
;
Alrshah, Mohamed A.
International journal of advanced trends in computer science and engineering
2019
/
p. 38-43 : ill
https://doi.org/10.30534/ijatcse/2019/0681.42019
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
121
book article EST
/
book article ENG
Challenges of teaching programming in StackOverflow era
Pöial, Jaanus
Educating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 1
2021
/
p. 703-710
https://doi.org/10.1007/978-3-030-68198-2_65
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
122
journal article EST
/
journal article ENG
A chameleon algorithm for solving economic dispatch problem in microgrid system
Zahraoui, Younes
;
Alhamrouni, Ibrahim
;
Mekhilef, Saad
;
Korõtko, Tarmo
;
Jusoh, Awang
;
Sutikno, Tole
Bulletin of electrical engineering and informatics
2023
/
p. 1982-1992
https://doi.org/10.11591/eei.v12i4.4700
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
123
book article EST
/
book article ENG
Changes in EEG measures of a recipient of the mRNA COVID-19 vaccine - a case study
Uudeberg, Tuuli
;
Hinrikus, Hiie
;
Päeske, Laura
;
Lass, Jaanus
;
Bachmann, Maie
2022 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC)
2022
/
p. 3702-3705
https://doi.org/10.1109/EMBC48229.2022.9871524
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
124
journal article EST
/
journal article ENG
Channel characterization at 2.4 GHz for aerial base station
Sharma, Navuday
;
Magarini, Maurizio
;
Reggiani, Luca
;
Alam, Muhammad Mahtab
Procedia computer science
2019
/
p. 1092-1099
https://doi.org/10.1016/j.procs.2019.04.155
Conference proceeding at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
125
book article EST
/
book article ENG
A Characterization of Amenable Groups by Besicovitch Pseudodistances
Capobianco, Silvio
;
Guillon, Pierre
Cellular Automata and Discrete Complex Systems : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020 : proceedings
2020
/
p. 99-110
https://doi.org/10.1007/978-3-030-61588-8_8
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Number of records 1151, displaying
101 - 125
previous
1
2
3
4
5
6
7
8
9
10
next
keyword
126
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
55.
computer-aided tuning (CAT)
56.
computer-assisted language learning (CALL)
57.
computer-oriented technologies
58.
computer-supported decision-making
59.
computer-use
60.
control engineering computer applications
61.
distributed computer systems
62.
education in computer engineering
63.
fifth generation computer
64.
gateways (computer networks)
65.
high-performance computer systems
66.
human computer interaction
67.
human computer interaction (HCI)
68.
human-computer interaction
69.
Human-Computer Interaction (HCI)
70.
interactive computer graphics
71.
laptop computer
72.
single board computer
73.
single-board computer
74.
structure computer analysis
75.
ubiquitous computer technology
76.
Web and computer-based learning
77.
applied science
78.
chemistry and philosophy of science
79.
citizen science
80.
classical exact science
81.
computational social science
82.
data science
83.
data-science
84.
design science
85.
design science research
86.
design-science
87.
energy science and technology
88.
engineering pedagogy science
89.
environmental science
90.
ethics of science
91.
exact science
92.
food science
93.
materials science
94.
NATO. Science for Peace and Security Program
95.
non-classical exact science
96.
philosophy of science
97.
physics and philosophy of science
98.
planetary science
99.
political science
100.
popular science literature
101.
post normal science
102.
post-normal science
103.
Q science
104.
science
105.
science advisors
106.
science and arts
107.
science and technology libraries
108.
science and technology parks
109.
science fiction
110.
science gateway
111.
science integration
112.
science mapping
113.
science policy
114.
science technology innovation
115.
Science, Technology and Innovation Policy
116.
science-based industries
117.
science-policy-society interface
118.
Social Science
119.
social science methodology
120.
sustainability science
121.
transdisciplinary science
122.
Web of Science
123.
World Academy of Art and Science (WAAS)
124.
ȹ-science
125.
φ-science
126.
ϕ-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