Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Computer science. Software (kategooria)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
313
Vaata veel..
(3/255)
Ekspordi
ekspordi kõik päringu tulemused
(313)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
201
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
202
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
203
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
204
artikkel kogumikus EST
/
artikkel kogumikus ENG
Optimization of address-based data sorting unit with external memory support
Mihhailov, Dmitri
;
Rjabov, Artjom
;
Sklyarov, Valery
;
Skliarova, Iouliia
;
Sudnitsõn, Aleksander
CompSysTech'13 : proceedings of the 14th International Conference on Computer Systems and Technologies
2013
/
p. 83-90 : ill
https://doi.org/10.1145/2516775.2516807
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
205
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
206
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
207
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Orthophoto classification for UGV pth planning using heterogeneous computing
Hudjakov, Robert
;
Tamre, Mart
International journal of advanced robotic systems
2013
/
[7] p. : ill
https://doi.org/10.5772/56545
https://www.researchgate.net/publication/269785081_Orthophoto_Classification_for_UGV_Path_Planning_using_Heterogeneous_Computing
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
208
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus 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
209
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
210
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
211
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
212
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
213
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
214
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
215
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Security-aware physical synthesis of integrated circuits = Integraallülituste turvateadlik füüsiline süntees
216
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
217
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Preface
Matthes, Ralph
;
Uustalu, Tarmo
RAIRO - Theoretical Informatics and Applications
2013
/
p. 1-2
https://doi.org/10.1051/ita/2012026
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
218
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
219
artikkel kogumikus EST
/
artikkel kogumikus ENG
The produoidal algebra of process decomposition
Earnshaw, Matthew David
;
Hefford, James
;
Román, Mario
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
2024
/
art. 25, 19 p. ill
https://doi.org/10.4230/LIPIcs.CSL.2024.25
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
220
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
221
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
222
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria
223
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
224
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Protocol choice and iteration for the free cornering
Nester, Chad Mitchell
;
Voorneveld, Niels Frits Willem
Journal of logical and algebraic methods in programming
2024
/
art. 100942, 30 p
https://doi.org/10.1016/j.jlamp.2023.100942
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
225
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 313, kuvan
201 - 225
eelmine
4
5
6
7
8
9
10
11
12
13
järgmine
võtmesõna
248
1.
computer aided software engineering
2.
computer software
3.
Computer software and hardware
4.
computer science
5.
computer science basics
6.
computer science education
7.
logic in computer science
8.
advanced programming and software
9.
agent software architecture
10.
agent-oriented software engineering
11.
Agile software engineering
12.
AI based CAD software
13.
analysis software
14.
Anonymization software
15.
ARIS software
16.
Automated Synthesis of Software-based Self-test
17.
bernese software
18.
business software
19.
CFD (computational fluid dynamics) software
20.
client-vendor relationship in software development
21.
communicating hardware/software systems
22.
communicating software/hardware systems
23.
COMSOL software
24.
educational software
25.
embedded software
26.
energy simulation software
27.
free software
28.
GIS software
29.
hardware/software co-design
30.
hardware-software integration in robotics
31.
interoperability and evolution of healthcare models and software systems
32.
invasive software
33.
large software projects
34.
learning software agents
35.
model-based software development
36.
model-driven software engineering
37.
ontology driven software development
38.
ontology-based software engineering
39.
open source software
40.
optimization software
41.
plagiarism software
42.
public domain software
43.
RETScreen software
44.
self learning software
45.
sensor software
46.
simulation software "Delphin"
47.
simulations with software
48.
social software
49.
software
50.
software architecture
51.
software architecture improvement
52.
software based self-test
53.
software companies
54.
software complexity
55.
software containers
56.
software defined networking
57.
software defined networking (SDN)
58.
software defined networks (SDN)
59.
software defined radio
60.
software defined radio (SDR)
61.
software design
62.
software development
63.
software development concepts
64.
software documentation
65.
software engineering
66.
software engineering education
67.
Software engineering methodology evaluation
68.
software engineering practises
69.
software factory
70.
software for measurements
71.
software implementation
72.
software industry
73.
software level TMR
74.
software modeling
75.
software outsourcing
76.
Software packages
77.
software project management
78.
software qualification
79.
software quality
80.
software quality attributes
81.
software quality characteristics
82.
software refactoring
83.
software sector
84.
software security
85.
software security level
86.
software security subcharacteristics
87.
software testing
88.
software tools for robot programming
89.
software vulnerabilities
90.
software/hardware partitioning
91.
software/hardware systems
92.
software-based self-test
93.
software-based self-test (SBST)
94.
software-defined network
95.
software-defined networking
96.
software-defined networking (SDN)
97.
software-in-the-loop (SIL) testing
98.
SOLIDWORKS software
99.
SysML modeling software
100.
system-to-software integrity
101.
triptych software engineering
102.
computer
103.
computer aided design
104.
computer aided diagnosis
105.
computer aided diagnostics
106.
computer aided instruction
107.
computer aided language translation
108.
computer aided manufacturing
109.
computer aided methods
110.
computer aided testing
111.
computer algebra
112.
computer algebra system
113.
computer and education
114.
computer anxiety
115.
computer architecture
116.
computer assisted language learning
117.
computer based learning
118.
computer circuits
119.
computer control
120.
Computer crime
121.
computer education
122.
computer engineering
123.
computer engineerng
124.
computer game
125.
computer graphics
126.
computer hardware
127.
computer integrated manufacturing
128.
computer network management
129.
computer network operations
130.
computer networks
131.
computer pipelines
132.
computer programming
133.
computer programming languages
134.
computer programs
135.
computer security
136.
computer simulation
137.
computer simulation environments
138.
computer simulations
139.
computer softwaregraph theory
140.
computer systems
141.
Computer systems organization
142.
computer systems programming
143.
computer terminals
144.
computer vision
145.
computer vision-based methods
146.
computer workers
147.
computer-aided anthropometry
148.
computer-aided architectural design (CAAD)
149.
computer‐aided assessment
150.
computer-aided design
151.
computer-aided design (CAD)
152.
computer-aided detection
153.
computer‐aided detection
154.
computer-aided diagnosis
155.
computer-aided drawing (CAD)
156.
computer-aided engineering
157.
computer-aided teaching
158.
Computer-Aided Tuning
159.
computer-aided tuning (CAT)
160.
computer-assisted language learning (CALL)
161.
computer-oriented technologies
162.
computer-supported decision-making
163.
computer-use
164.
computer-workers
165.
control engineering computer applications
166.
distributed computer systems
167.
education in computer engineering
168.
fifth generation computer
169.
gateways (computer networks)
170.
high-performance computer systems
171.
human computer interaction
172.
human computer interaction (HCI)
173.
human-computer interaction
174.
human–computer interaction
175.
Human-Computer Interaction (HCI)
176.
human-computer interface
177.
human-computer trust
178.
interactive computer graphics
179.
laptop computer
180.
single board computer
181.
single-board computer
182.
structure computer analysis
183.
ubiquitous computer technology
184.
Web and computer-based learning
185.
applied science
186.
big data science
187.
chemistry and philosophy of science
188.
citizen science
189.
citizen science hub
190.
classical exact science
191.
cognitive science
192.
computational social science
193.
data science
194.
data-science
195.
decision science
196.
design science
197.
design science research
198.
design-science
199.
energy science and technology
200.
engineering pedagogy science
201.
environmental science
202.
ethics of science
203.
exact science
204.
food science
205.
forensic science
206.
logic of science
207.
materials science
208.
NATO. Science for Peace and Security Program
209.
non-classical exact science
210.
philosophy of science
211.
physics and philosophy of science
212.
planetary science
213.
political science
214.
popular science literature
215.
post normal science
216.
post-normal science
217.
Q science
218.
science
219.
science advisors
220.
science and arts
221.
science and technology libraries
222.
science and technology parks
223.
Science Education
224.
science fiction
225.
science gateway
226.
science integration
227.
science mapping
228.
science policy
229.
science technology and innovation
230.
science technology innovation
231.
Science, Technology and Innovation Policy
232.
science-based industries
233.
science-driven models
234.
science-policy-society interface
235.
Security and political science
236.
security science and technology
237.
Social Science
238.
social science methodology
239.
sustainability science
240.
Thomson Reuters Web of Science
241.
transdisciplinary science
242.
values in science
243.
Web of Science
244.
wood science and technology
245.
World Academy of Art and Science (WAAS)
246.
ȹ-science
247.
φ-science
248.
ϕ-science
märksõna
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
autor
1
1.
Department of Software Science, Tallinn University of Technology
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT