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. Software (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
233
Look more..
(3/215)
Export
export all inquiry results
(233)
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
151
book article EST
/
book article ENG
Open diagrams via Coend calculus
Roman Garcia, Mario
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
2021
/
p. 65-78 : ill
https://doi.org/10.4204/EPTCS.333.5
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
152
journal article EST
/
journal article ENG
Operational semantics with semicommutations
Maarand, Hendrik
;
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2021
/
art. 100677, 27 p
https://doi.org/10.1016/j.jlamp.2021.100677
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
153
book article EST
/
book article ENG
Optics for premonoidal categories
Hefford, James
;
Roman Garcia, Mario
6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 2023
2023
/
p. 152-171 : ill
https://doi.org/10.4204/EPTCS.397.10
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
154
journal article EST
/
journal article ENG
Optimal control of automatic manipulator for elimination of galvanic line load oscillation
Autsou, Siarhei
;
Rassõlkin, Anton
;
Vaimann, Toomas
;
Demidova, Galina
;
Saroka, Viktor
;
Karpovich, Dzmitry
;
Kallaste, Ants
Periodica polytechnica electrical engineering and computer science
2021
/
15 p. : ill
https://doi.org/10.3311/PPee.15893
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
155
journal article EST
/
journal article ENG
Optimization of pump efficiencies with different pumps characteristics working in parallel mode
Koor, Margus
;
Vassiljev, Anatoli
;
Koppel, Tiit
Advances in engineering software
2016
/
p. 69-76 : ill
https://doi.org/10.1016/j.advengsoft.2015.10.010
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
156
journal article EST
/
journal article ENG
Optimized vibro-acoustic design of suspended glass panels
Aiello, Robert
;
Auriemma, Fabio
Structural and multidisciplinary optimization
2018
/
p. 2253–2268 : ill
https://doi.org/10.1007/s00158-018-2014-3
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
157
book article EST
/
book article ENG
Overcoming challenges in the silver economy by connecting services in the Silver Hub : the tool to provide the basis for the innovative solutions
Kangilaski, Taivo
;
Butt, Sidra Azmat
;
Pappel, Ingrid
;
Kangilaski, Erik
Proceedings of the 14th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2021), 6 - 8 October 2021, Athens, Greece
2021
/
p. 231-237 : ill
https://doi.org/10.1145/3494193.3494225
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
A Digital collaborative platform to facilitate innovative solutions for the silver economy = Digitaalne koostööplatvorm hõlbustamaks uuenduslikke lahendusi hõbemajanduses
158
journal article EST
/
journal article ENG
Parkinson's disease diagnostics based on the analysis of digital sentence writing test
Netšunajev, Aleksei
;
Nõmm, Sven
;
Toomela, Aaro
;
Medijainen, Kadri
;
Taba, Pille
Vietnam journal of computer science
2021
/
p. 493-512
https://doi.org/10.1142/S2196888821500238
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
159
book article EST
/
book article ENG
Partiality and container monads
Uustalu, Tarmo
;
Veltri, Niccolo
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017 : abstracts
2017
/
p. 99-100
https://types2017.elte.hu/proc.pdf#page=107
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
160
journal article EST
/
journal article ENG
Physics based compressive sensing to enable digital twins of additive manufacturing processes
Lu, Yanglong
;
Ševtšenko, Eduard
;
Wang, Yan
Journal of computing and information science in engineering
2021
/
031009, 30 p
https://doi.org/10.1115/1.4050377
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
161
book article EST
/
book article ENG
Piloting smart city solutions in very small, small and medium-sized municipalities. The Estonian case study
Sarv, Lill
;
Soe, Ralf-Martin
ICEGOV '22 : Proceedings of the 15th International Conference on Theory and Practice of Electronic Governance
2022
/
p. 475-482
https://doi.org/10.1145/3560107.3560179
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
162
journal article EST
/
journal article ENG
Plotkin's call-by-value λ-calculus as a modal calculus
Espírito Santo, José
;
Pinto, Luis
;
Uustalu, Tarmo
Journal of Logical and Algebraic Methods in Programming
2022
/
art. 100775, 17 p
https://doi.org/10.1016/j.jlamp.2022.100775
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
163
book article EST
/
book article ENG
Policy and legal environment analysis for e-Government services migration to the public cloud
Kotka, Taavi
;
Kask, Laura
;
Raudsepp, Karoliina
;
Storch, Tyson
;
Radloff, Rebecca
;
Liiv, Innar
ICEGOV '15-16 : proceedings of the 9th International Conference on Theory and Practice of Electronic Governance : Montevideo, Uruguay, March 1-3, 2016
2016
/
p. 103-108 : ill
https://doi.org/10.1145/2910019.2910056
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
164
book article EST
/
book article ENG
A pragmatic methodology for blind hardware trojan insertion in finalized layouts
Hepp, Alexander
;
Perez, Tiago Diadami
;
Pagliarini, Samuel Nascimento
;
Sigl, Georg
ICCAD '22: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design
2022
/
art. 69, p. 1-9 : ill
https://doi.org/10.1145/3508352.3549452
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Security-aware physical synthesis of integrated circuits = Integraallülituste turvateadlik füüsiline süntees
165
journal article EST
/
journal article ENG
Predicting fuel properties using chemometrics : a review and an extension to temperature dependent physical properties by using infrared spectroscopy to predict density
Baird, Zachariah Steven
;
Oja, Vahur
Chemometrics and intelligent laboratory systems
2016
/
p. 41-47 : ill
https://doi.org/10.1016/j.chemolab.2016.08.004
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
166
book article EST
/
book article ENG
A privacy-protecting data-exchange wallet with ownership- and monetization capabilities
Norta, Alexander
;
Hawthorne, Daniel
;
Engel, Serafin L.
2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings
2018
/
p. 4121-4128 : ill
https://doi.org/10.1109/IJCNN.2018.8489551
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
167
book article EST
/
book article ENG
Promonads and string diagrams for effectful categories
Roman Garcia, Mario
Proceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
p. 344−361
https://doi.org/10.4204/EPTCS.380.20
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.20.pdf
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
168
book article EST
/
book article ENG
Proof theory of partially normal skew monoidal categories
Uustalu, Tarmo
;
Veltri, Niccolo
;
Zeilberger, Noam
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
2021
/
p. 1-17
https://doi.org/10.48550/arXiv.2101.10487
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
169
book article EST
/
book article ENG
Proof theory of skew non-commutative MILL
Uustalu, Tarmo
;
Veltri, Niccolo
;
Wan, Cheng-Syuan
Proceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022
2022
/
p. 118-135
https://doi.org/10.4204/EPTCS.358.9
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
170
journal article EST
/
journal article ENG
A proof-theoretic study of bi-intuitionistic propositional sequent calculus
Pinto, Luis
;
Uustalu, Tarmo
Journal of logic and computation
2018
/
p. 165-202
https://doi.org/10.1093/logcom/exx044
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
171
book article EST
/
book article ENG
Public acceptance of advanced identity documents
Kalvet, Tarmo
;
Tiits, Marek
;
Laas-Mikko, Katrin
ICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland
2018
/
p. 429-432
https://doi.org/10.1145/3209415.3209456
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
172
journal article EST
/
journal article ENG
Quadratic/linear rational spline histopolation
Hallik, Helle
;
Oja, Peeter
BIT numerical mathematics
2017
/
p. 629-648 : ill
https://doi.org/10.1007/s10543-017-0645-1
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
173
journal article EST
/
journal article ENG
Radio resource management in NB-IoT systems : empowered by interference prediction and flexible duplexing
Malik, Hassan
;
Alam, Muhammad Mahtab
;
Pervaiz, Haris
;
Moullec, Yannick Le
;
Al-Dulaimi, Anwer
;
Pärand, Sven
;
Reggiani, Luca
IEEE Network
2020
/
Art. nr. 8839971
https://doi.org/10.1109/MNET.001.1900087
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
174
journal article EST
/
journal article ENG
Realization of nonlinear input-output equations in controller canonical form
Kaldmäe, Arvo
;
Kotta, Ülle
Kybernetika
2018
/
p. 736-747
https://doi.org/10.14736/kyb-2018-4-0736
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
175
book article EST
/
book article ENG
Real-time localization and visualization of a sound source for virtual reality application
Köse, Ahmet
;
Tepljakov, Aleksei
;
Astapov, Sergei
2017 25th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) : Split, Croatia, September 21-23, 2017
2017
/
p 219-224 : ill
https://doi.org/10.23919/SOFTCOM.2017.8115577
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Number of records 233, displaying
151 - 175
previous
1
2
3
4
5
6
7
8
9
10
next
keyword
208
1.
computer software
2.
computer science
3.
computer science basics
4.
computer science education
5.
logic in computer science
6.
advanced programming and software
7.
agent software architecture
8.
agent-oriented software engineering
9.
Agile software engineering
10.
AI based CAD software
11.
analysis software
12.
Anonymization software
13.
bernese software
14.
business software
15.
CFD (computational fluid dynamics) software
16.
client-vendor relationship in software development
17.
communicating hardware/software systems
18.
communicating software/hardware systems
19.
COMSOL software
20.
educational software
21.
embedded software
22.
energy simulation software
23.
free software
24.
GIS software
25.
hardware/software co-design
26.
interoperability and evolution of healthcare models and software systems
27.
invasive software
28.
large software projects
29.
learning software agents
30.
model-based software development
31.
ontology driven software development
32.
ontology-based software engineering
33.
open source software
34.
optimization software
35.
plagiarism software
36.
public domain software
37.
RETScreen software
38.
self learning software
39.
sensor software
40.
simulation software "Delphin"
41.
simulations with software
42.
social software
43.
software
44.
software architecture
45.
software based self-test
46.
software companies
47.
software complexity
48.
software containers
49.
software defined networking
50.
software defined networking (SDN)
51.
software defined networks (SDN)
52.
software defined radio
53.
software design
54.
software development
55.
software development concepts
56.
software engineering
57.
software engineering education
58.
Software engineering methodology evaluation
59.
software engineering practises
60.
software factory
61.
software for measurements
62.
software implementation
63.
software level TMR
64.
software modeling
65.
software outsourcing
66.
Software packages
67.
software project management
68.
software qualification
69.
software quality
70.
software sector
71.
software testing
72.
software/hardware partitioning
73.
software/hardware systems
74.
software-based self-test
75.
software-based self-test (SBST)
76.
software-defined network
77.
software-defined networking
78.
software-defined networking (SDN)
79.
software-in-the-loop (SIL) testing
80.
SOLIDWORKS software
81.
SysML modeling software
82.
system-to-software integrity
83.
triptych software engineering
84.
computer
85.
computer aided design
86.
computer aided diagnosis
87.
computer aided diagnostics
88.
computer aided instruction
89.
computer aided manufacturing
90.
computer aided testing
91.
computer algebra
92.
computer algebra system
93.
computer and education
94.
computer anxiety
95.
computer architecture
96.
computer assisted language learning
97.
computer based learning
98.
computer circuits
99.
computer control
100.
computer education
101.
computer engineering
102.
computer engineerng
103.
computer game
104.
computer graphics
105.
computer hardware
106.
computer integrated manufacturing
107.
computer network management
108.
computer network operations
109.
computer networks
110.
computer pipelines
111.
computer programming
112.
computer programs
113.
computer security
114.
computer simulation
115.
computer simulation environments
116.
computer simulations
117.
computer softwaregraph theory
118.
computer systems
119.
Computer systems organization
120.
computer terminals
121.
computer vision
122.
computer workers
123.
computer-aided anthropometry
124.
computer-aided architectural design (CAAD)
125.
computer‐aided assessment
126.
computer-aided design
127.
computer-aided detection
128.
computer‐aided detection
129.
computer-aided diagnosis
130.
computer-aided drawing (CAD)
131.
computer-aided engineering
132.
computer-aided teaching
133.
Computer-Aided Tuning
134.
computer-aided tuning (CAT)
135.
computer-assisted language learning (CALL)
136.
computer-oriented technologies
137.
computer-supported decision-making
138.
computer-use
139.
control engineering computer applications
140.
distributed computer systems
141.
education in computer engineering
142.
fifth generation computer
143.
gateways (computer networks)
144.
high-performance computer systems
145.
human computer interaction
146.
human computer interaction (HCI)
147.
human-computer interaction
148.
Human-Computer Interaction (HCI)
149.
human-computer trust
150.
interactive computer graphics
151.
laptop computer
152.
single board computer
153.
single-board computer
154.
structure computer analysis
155.
ubiquitous computer technology
156.
Web and computer-based learning
157.
applied science
158.
chemistry and philosophy of science
159.
citizen science
160.
citizen science hub
161.
classical exact science
162.
computational social science
163.
data science
164.
data-science
165.
design science
166.
design science research
167.
design-science
168.
energy science and technology
169.
engineering pedagogy science
170.
environmental science
171.
ethics of science
172.
exact science
173.
food science
174.
materials science
175.
NATO. Science for Peace and Security Program
176.
non-classical exact science
177.
philosophy of science
178.
physics and philosophy of science
179.
planetary science
180.
political science
181.
popular science literature
182.
post normal science
183.
post-normal science
184.
Q science
185.
science
186.
science advisors
187.
science and arts
188.
science and technology libraries
189.
science and technology parks
190.
science fiction
191.
science gateway
192.
science integration
193.
science mapping
194.
science policy
195.
science technology innovation
196.
Science, Technology and Innovation Policy
197.
science-based industries
198.
science-driven models
199.
science-policy-society interface
200.
Social Science
201.
social science methodology
202.
sustainability science
203.
transdisciplinary science
204.
Web of Science
205.
World Academy of Art and Science (WAAS)
206.
ȹ-science
207.
φ-science
208.
ϕ-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