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
326
book article EST
/
book article ENG
Making sense of Schopenhauer's diagram of Good and Evil
Lemanski, Jens
;
Moktefi, Amirouche
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
p. 721-724 : ill
https://doi.org/10.1007/978-3-319-91376-6_67
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
327
book article EST
/
book article ENG
Mapping brains on grids of features for schizophrenia analysis
Perina, Alessandro
;
Peruzzo, Denis
;
Kesa, Maria
;
Jojic, Nebojsa
;
Murino, Vittorio
;
Bellani, Mellani
;
Brambilla, Paolo
;
Castellani, Umberto
Medical Image Computing and Computer-Assisted Intervention –MICCAI 2014,17th International Conference, Boston, MA, USA, September 14-18, 2014, Proceedings, Part II
2014
/
p. 805-812 : ill
https://doi.org/10.1007/978-3-319-10470-6_100
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
328
book article EST
/
book article ENG
Mapping requirements specifications into a formalized blockchain-enabled authentication protocol for secured personal identity assurance
Leiding, Benjamin
;
Norta, Alexander
Future Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017 : proceedings
2017
/
p. 181-196 : ill
https://doi.org/10.1007/978-3-319-70004-5_13
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
329
journal article EST
/
journal article ENG
Materials properties of magnesium and calcium hydroxides from first-principles calculations
Pishtshev, Aleksandr
;
Karazhanov, S. Zh.
;
Klopov, Mihhail
Computational materials science
2014
/
p. 693-705 : ill
https://doi.org/10.1016/j.commatsci.2014.07.007
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
330
book article EST
/
book article ENG
Maximally multi-focused proofs for skew non-commutative MILL
Veltri, Niccolò
Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023 : proceedings
2023
/
p. 377-393
https://doi.org/10.1007/978-3-031-39784-4_24
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
331
book article EST
/
book article ENG
Measuring complexity of legislation. A systems engineering approach
Kütt, Andres
;
Kask, Laura
Proceedings of Fifth International Congress on Information and Communication Technology : ICICT 2020, Vol. 1
2021
/
p. 75-94
https://doi.org/10.1007/978-981-15-5856-6_7
Article collection metrics at Scopus
Article at Scopus
book article EST
/
book article ENG
332
book article EST
/
book article ENG
Mental model mapping method for cybersecurity
Kullman, Kaur
;
Buchanan, Laurin
;
Komlodi, Anita
;
Engel, Don
HCI for Cybersecurity, Privacy and Trust : Second International Conference, HCI-CPT 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020 : Proceedings
2020
/
p. 458-470
https://doi.org/10.1007/978-3-030-50309-3_30
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
Interactive stereoscopically perceivable multidimensional data visualizations for cybersecurity = Interaktiivsed, ruumiliselt tajutavad, mitmemõõtelised andmekuvad küberturbele
333
book article EST
/
book article ENG
Metacognitive processes involved in human robot interaction in the school learning environment
Mishra, Deepti
;
Lugo, Ricardo Gregorio
;
Parish, Karen
;
Tilden, Solveig
Human-Computer Interaction : Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023 :proceedings, Part II
2023
/
p. 85-100 : ill
https://doi.org/10.1007/978-3-031-35599-8_6
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
334
book article EST
/
book article ENG
A method of comparative spatial analysis of a digitized (LiDAR) point cloud and the corresponding GIS database
Maigre, Riina
;
Haav, Hele-Mai
;
Lillemets, Rauni
;
Julge, Kalev
;
Anton, Gaspar
Databases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings
2020
/
p. 219-232 : ill
https://doi.org/10.1007/978-3-030-57672-1_17
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
335
journal article EST
/
journal article ENG
Microstructured continua and scaling for wave motion
Engelbrecht, Jüri
Atti della Accademia Peloritana dei Pericolanti, Classe di Scienze Fisiche, Matematiche e Naturali
2013
/
art. A8
https://doi.org/10.1478/AAPP.91S1A8
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
336
journal article EST
/
journal article ENG
Misconfiguration-free compositional SDN for cloud networks
Pan, Heng
;
Li, Zhenyu
;
Zhang, Penghao
;
Cui, Penglai
;
Salamatian, Mohammad Reza Kave
;
Xie, Gaogang
IEEE Transactions on Dependable and Secure Computing
2023
/
p. 2484 - 2499
https://doi.org/10.1109/TDSC.2022.3185096
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
337
book article EST
/
book article ENG
Mobile cyber-physical system for diabetic patients' health status monitoring
Hovorushchenko, Tetiana
;
Pytlyak, Maksym
;
Hovorushchenko, Olha
;
Paionk, Illya
;
Osyadlyi, Vitaliy
;
Boyarchuk, Artem
Informatics & Data-Driven Medicine 2023 : proceedings of the 6th International Conference on Informatics & Data-Driven Medicine, Bratislava, Slovakia, November 17-19, 2023
2023
/
p. 27 - 36
https://ceur-ws.org/Vol-3609/
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
338
book article EST
/
book article ENG
Mobile cyber-physical system for monitoring the health of patients with cardiovascular diseases
Hovorushchenko, Tetiana
;
Hryshchuk, Illia
;
Hovorushchenko, Olha
;
Rei, Kostyantyn
;
Boyarchuk, Artem
CITRisk 2022 : Computational & Information Technologies for Risk-Informed Systems 2022 : Proceedings of the 3rd International Workshop on Computational & Information Technologies for Risk-Informed Systems (CITRisk 2022)co-located with XXII International scientific and technical conference on Information Technologies in Education and Management (ІТЕМ 2022)
2022
/
p. 86 - 95
https://ceur-ws.org/Vol-3422/Paper8.pdf
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
339
book article EST
/
book article ENG
Mobile information system for determining the level of creatine in food product
Hovorushchenko, Tetiana
;
Kvasnitskyi, Denys
;
Hovorushchenko, Olha
;
Zasornova, Iryna
;
Boyarchuk, Artem
IntelITSIS 2023: Intelligent Information Technologies & Systems of Information Security 2023 : proceedings of the 4th International Workshop on Intelligent Information Technologies & Systems of Information Security : Khmelnytskyi, Ukraine, March 22-24, 2023
2023
/
p. 185 - 194
https://ceur-ws.org/Vol-3373/
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
340
book article EST
/
book article ENG
Mobile phone usage data for credit scoring
Ots, Henri
;
Liiv, Innar
;
Tur, Diana
Databases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings
2020
/
p. 82-95
https://doi.org/10.1007/978-3-030-57672-1_7
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
341
journal article EST
/
journal article ENG
Mobile smart contracts : exploring scalability challenges and consensus mechanisms
Deval, Vipin
;
Dwivedi, Vimal Kumar
;
Dixit, Abhishek
;
Norta, Alex
;
Shah, Syed Attique
;
Sharma, Rahul
;
Draheim, Dirk
IEEE Access
2024
/
p. 34265 - 34288
https://doi.org/10.1109/ACCESS.2024.3371901
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
342
book article EST
/
book article ENG
Model based approach for testing: distributed real-time systems augmented with online monitors
Pal, Deepak
;
Vain, Jüri
Databases and Information Systems : 13th International Baltic Conference, DB&IS 2018, Trakai, Lithuania, July 1-4, 2018 : proceedings
2018
/
p. 142-157
https://doi.org/10.1007/978-3-319-97571-9_13
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
343
journal article EST
/
journal article ENG
Model checking response times in Networked Automation Systems using jitter bounds
Srinivasan, Seshadhri
;
Buonopane, Furio
;
Vain, Jüri
;
Ramaswamy, Srini
Computers in industry
2015
/
p. 186-200
https://doi.org/10.1016/j.compind.2015.06.012
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
344
book article EST
/
book article ENG
Model-based technology of software development in large
Penjam, Jaan
;
Tõugu, Enn
14th Symposium on Programming Languages and Software Tools, SPLST 2015, Tampere, 9-10 October 2015
2015
/
p. 149-163 : ill
https://ceur-ws.org/Vol-1525/paper-11.pdf
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
345
book article EST
/
book article ENG
Model-based testing of real-time distributed systems
Vain, Jüri
;
Halling, Evelin
;
Kanter, Gert
;
Anier, Aivo
;
Pal, Deepak
Databases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings
2016
/
p. 272-286 : ill
https://doi.org/10.1007/978-3-319-40180-5_19
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
346
journal article EST
/
journal article ENG
Modeling and robust control algorithms for a linear belt driven system
Vu, Trieu Minh
;
Tamre, Mart
;
Sekhri, Even
Open computer science
2018
/
p. 142-153 : ill
https://doi.org/10.1515/comp-2018-0010
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
Related publications
1
Fully automated tuning of microwave coaxial cavity filters = Mikrolaine-koaksiaalfiltrite täisautomaatne häälestamine
347
book article EST
/
book article ENG
Modelling the impact of space situational awareness disruption on the European and Arctic security landscape
Carlo, Antonio
;
Boschetti, Nicolo
Modelling and Simulation for Autonomous Systems: 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20–21, 2022 : Revised Selected Papers
2023
/
p. 299-311
https://doi.org/10.1007/978-3-031-31268-7_18
Journal metrics at Scopus
Article at Scopus
book article EST
/
book article ENG
348
journal article EST
/
journal article ENG
Modern build automation for an insurance company tool selection
Lange, Moritz
;
Tran, Kim Chi
;
Grunewald, Alexander
;
Koschel, Arne
;
Pakosch, Anna
;
Astrova, Irina
Procedia computer science
2023
/
p. 736-743 : ill
https://doi.org/10.1016/j.procs.2023.01.346
Conference proceedings at Scopus
Article at Scopus
journal article EST
/
journal article ENG
349
journal article EST
/
journal article ENG
Monads need not be endofunctors
Altenkirch, Thorsten
;
Chapman, James
;
Uustalu, Tarmo
Logical methods in computer science
2015
/
p. 1-40
https://doi.org/10.2168/LMCS-11(1:3)2015
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
350
journal article EST
/
journal article ENG
Monoidal width
Di Lavore, Elena
;
Sobocinski, Pawel Maria
Logical methods in computer science
2023
/
p. 15:1–15:46 : ill
https://doi.org/10.46298/LMCS-19(3:15)2023
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Monoidal width = Monoidiline laius
Number of records 649, displaying
326 - 350
previous
10
11
12
13
14
15
16
17
18
19
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