Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Advanced search

Computer science. Software (category)

—

—

Add criteria Simple search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publication ..

year

year of publication

Loading..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 183
Look more.. (3/209)
Export

export all inquiry results (183)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
126

journal article EST / journal article ENG

Physics based compressive sensing to enable digital twins of additive manufacturing processesLu, Yanglong; Ševtšenko, Eduard; Wang, YanJournal of computing and information science in engineering2021 / 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
127

book article EST / book article ENG

Piloting smart city solutions in very small, small and medium-sized municipalities. The Estonian case studySarv, Lill; Soe, Ralf-MartinICEGOV '22 : Proceedings of the 15th International Conference on Theory and Practice of Electronic Governance2022 / p. 475-482 https://doi.org/10.1145/3560107.3560179 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG
128

journal article EST / journal article ENG

Plotkin's call-by-value λ-calculus as a modal calculusEspírito Santo, José; Pinto, Luis; Uustalu, TarmoJournal of Logical and Algebraic Methods in Programming2022 / 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
129

book article EST / book article ENG

A pragmatic methodology for blind hardware trojan insertion in finalized layoutsHepp, Alexander; Perez, Tiago Diadami; Pagliarini, Samuel Nascimento; Sigl, GeorgICCAD '22: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design2022 / 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
130

book article EST / book article ENG

A privacy-protecting data-exchange wallet with ownership- and monetization capabilitiesNorta, Alexander; Hawthorne, Daniel; Engel, Serafin L.2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings2018 / 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
131

book article EST / book article ENG

Promonads and string diagrams for effectful categoriesRoman Garcia, MarioProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / 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
132

book article EST / book article ENG

Proof theory of partially normal skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / 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
133

book article EST / book article ENG

Proof theory of skew non-commutative MILLUustalu, Tarmo; Veltri, Niccolo; Wan, Cheng-SyuanProceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 20222022 / 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
134

journal article EST / journal article ENG

A proof-theoretic study of bi-intuitionistic propositional sequent calculusPinto, Luis; Uustalu, TarmoJournal of logic and computation2018 / 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
135

book article EST / book article ENG

Public acceptance of advanced identity documentsKalvet, Tarmo; Tiits, Marek; Laas-Mikko, KatrinICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland2018 / 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
136

journal article EST / journal article ENG

Radio resource management in NB-IoT systems : empowered by interference prediction and flexible duplexingMalik, Hassan; Alam, Muhammad Mahtab; Pervaiz, Haris; Moullec, Yannick Le; Al-Dulaimi, Anwer; Pärand, Sven; Reggiani, LucaIEEE Network2020 / 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
137

journal article EST / journal article ENG

Realization of nonlinear input-output equations in controller canonical formKaldmäe, Arvo; Kotta, ÜlleKybernetika2018 / 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
138

book article EST / book article ENG

Real-time localization and visualization of a sound source for virtual reality applicationKöse, Ahmet; Tepljakov, Aleksei; Astapov, Sergei2017 25th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) : Split, Croatia, September 21-23, 20172017 / 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
139

book article EST / book article ENG

Regular monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaLeibniz International Proceedings in Informatics, LIPIcs2022 / p. 44:1-44:14 https://doi.org/10.4230/LIPIcs.MFCS.2022.44 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG
140

book article EST / book article ENG

Reordering derivatives of trace closures of regular languages [Online resource]Maarand, Hendrik; Uustalu, Tarmo30th International Conference on Concurrency Theory : (CONCUR 2019)2019 / art. 40 ; 40:1–40:16 https://doi.org/10.4230/LIPIcs.CONCUR.2019.40 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG
141

book article EST / book article ENG

Re-shaping the EU digital identity frameworkLips, Silvia; Vinogradova, Natalia; Krimmer, Robert Johannes; Draheim, Dirk23rd Annual International Conference on Digital Government Research (DGO2022) : Intelligent Technologies, Governments and Citizens, June 15-17, 2022 : proceedings2022 / p. 13-21 https://doi.org/10.1145/3543434.3543652 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG
Seotud publikatsioonid 1
- A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
142

journal article EST / journal article ENG

A roadside unit deployment framework for enhancing transportation services in Maghrebian citiesChaabene, Seif Ben; Yeferny, Taoufik; Ben Yahia, SadokConcurrency and Computation: Practice and Experience2021 / art. e5611 https://doi.org/10.1002/cpe.5611 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
143

book article EST / book article ENG

Robust training of vector quantized bottleneck modelsLancucki, Adrian; Chorowski, Jan; Sanchez, Guillaume; Marxer, Ricard; Chen, Nanxin; Dolfing, Hans J.G.A.; Khurana, Sameer; Alumäe, Tanel; Laurent, Antoine2020 International Joint Conference onNeural Networks (IJCNN), 19-24 July 2020, Glasgow, UK : proceedings2020 / art. 163566 : 7 p https://doi.org/10.1109/IJCNN48605.2020.9207145 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
144

book article EST / book article ENG

RoCo-NAS : robust and compact neural architecture searchGeraeinejad, Vahid; Sinaei, Sima; Modarressi, Mehdi; Daneshtalab, Masoud2021 International Joint Conference on Neural Networks (IJCNN) : proceedings2021 / 8 l https://doi.org/10.1109/IJCNN52387.2021.9534460 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
145

book article EST / book article ENG

The role of linked open statistical data in public service co-creationMcBride, Keegan David Braun; Matheus, Ricardo; Toots, Maarja; Kalvet, Tarmo; Krimmer, Robert JohannesICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland2018 / p. 679-681 https://doi.org/10.1145/3209415.3209446 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
146

book article EST / book article ENG

Russian Federal remote E-voting scheme of 2021 - protocol description and analysisVakarjuk, Jelizaveta; Snetkov, Nikita; Willemson, JanEICC '22: Proceedings of the 2022 European Interdisciplinary Cybersecurity Conference2022 / p. 29-35 https://doi.org/10.1145/3528580.3528586 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG
147

journal article EST / journal article ENG

A security-aware and LUT-based CAD flow for the physical synthesis of hASICsAbideen, Zain Ul; Perez, Tiago Diadami; Martins, Mayler; Pagliarini, Samuel NascimentoIEEE transactions on computer-aided design of integrated circuits and systems2023 / p. 3157-3170 : ill https://doi.org/10.1109/TCAD.2023.3244879 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
Seotud publikatsioonid 1
- Leveraging FPGA Reconfigurability as an Obfuscation Asset = FPGA ümberkonfigureeritavuse rakendamine hägustamise vahendina
148

book article EST / book article ENG

Self-aware smart contracts with legal relevanceNorta, Alexander2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings2018 / p. 4113-4120 : ill https://doi.org/10.1109/IJCNN.2018.8489235 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
149

journal article EST / journal article ENG

Serverless, FaaS and why organizations need themAstrova, Irina; Koschel, Arne; Schaaf, Marc; Klassen, Samuel; Jdiya, KerimIntelligent decision technologies2021 / p. 825-838 https://doi.org/10.3233/IDT-210194 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
150

book article EST / book article ENG

Sights, titles and tags: mining a worldwide photo database for sightseeingLuberg, Ago; Pindis, Jakob; Tammet, Tanel10th International Conference on Web Intelligence, Mining and Semantics (WIMS 2020) & 5th International Conference on Real-time Intelligent Systems (RTIS 2020) : 30 June - 3 July 2020, Biarritz, France : proceedings2020 / p. 149-158 : ill https://doi.org/10.1145/3405962.3405987 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Number of records 183, displaying 126 - 150

previous
1
2
3
4
5
6
7
8
next

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 deﬁned radio
52. software design
53. software development
54. software development concepts
55. software engineering
56. software engineering education
57. Software engineering methodology evaluation
58. software engineering practises
59. software factory
60. software for measurements
61. software implementation
62. software level TMR
63. software modeling
64. software outsourcing
65. software project management
66. software qualification
67. software quality
68. software sector
69. software testing
70. software/hardware partitioning
71. software/hardware systems
72. software-based self-test
73. software-based self-test (SBST)
74. software-defined network
75. software-defined networking
76. software-defined networking (SDN)
77. software-in-the-loop (SIL) testing
78. SOLIDWORKS software
79. SysML modeling software
80. system-to-software integrity
81. triptych software engineering
82. computer
83. computer aided design
84. computer aided diagnosis
85. computer aided diagnostics
86. computer aided instruction
87. computer aided manufacturing
88. computer aided testing
89. computer algebra
90. computer algebra system
91. computer and education
92. computer anxiety
93. computer architecture
94. computer assisted language learning
95. computer based learning
96. computer circuits
97. computer control
98. computer education
99. computer engineering
100. computer engineerng
101. computer game
102. computer graphics
103. computer hardware
104. computer integrated manufacturing
105. computer network management
106. computer network operations
107. computer networks
108. computer pipelines
109. computer programming
110. computer programs
111. computer security
112. computer simulation
113. computer simulation environments
114. computer simulations
115. computer softwaregraph theory
116. computer systems
117. computer terminals
118. computer vision
119. computer workers
120. computer-aided anthropometry
121. computer-aided architectural design (CAAD)
122. computer‐aided assessment
123. computer-aided design
124. computer-aided detection
125. computer‐aided detection
126. computer-aided diagnosis
127. computer-aided drawing (CAD)
128. computer-aided engineering
129. computer-aided teaching
130. Computer-Aided Tuning
131. computer-aided tuning (CAT)
132. computer-assisted language learning (CALL)
133. computer-oriented technologies
134. computer-supported decision-making
135. computer-use
136. control engineering computer applications
137. distributed computer systems
138. education in computer engineering
139. fifth generation computer
140. gateways (computer networks)
141. high-performance computer systems
142. human computer interaction
143. human computer interaction (HCI)
144. human-computer interaction
145. Human-Computer Interaction (HCI)
146. interactive computer graphics
147. laptop computer
148. single board computer
149. single-board computer
150. structure computer analysis
151. ubiquitous computer technology
152. Web and computer-based learning
153. applied science
154. chemistry and philosophy of science
155. citizen science
156. classical exact science
157. computational social science
158. data science
159. data-science
160. design science
161. design science research
162. design-science
163. energy science and technology
164. engineering pedagogy science
165. environmental science
166. ethics of science
167. exact science
168. food science
169. materials science
170. NATO. Science for Peace and Security Program
171. non-classical exact science
172. philosophy of science
173. physics and philosophy of science
174. planetary science
175. political science
176. popular science literature
177. post normal science
178. post-normal science
179. Q science
180. science
181. science advisors
182. science and arts
183. science and technology libraries
184. science and technology parks
185. science fiction
186. science gateway
187. science integration
188. science mapping
189. science policy
190. science technology innovation
191. Science, Technology and Innovation Policy
192. science-based industries
193. science-policy-society interface
194. Social Science
195. social science methodology
196. sustainability science
197. transdisciplinary science
198. Web of Science
199. World Academy of Art and Science (WAAS)
200. ȹ-science
201. φ-science
202. ϕ-science

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

1. Department of Software Science, Tallinn University of Technology

vaste

sort

Otsing
Valikud 0

year of publication

author

TTÜ department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digikogu Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu