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 publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 321
Look more.. (4/259)
Export

export all inquiry results (321)
Save TXT fail

print
Open for editing with marked entries my bookmarks

display

sort
301

journal article EST / journal article ENG

Transition delay fault simulation with parallel critical path back-tracing and 7-valued algebraKõusaar, Jaak; Ubar, Raimund-Johannes; Devadze, Sergei; Raik, JaanMicroprocessors and microsystems2015 / p. 1130-1138 : ill https://doi.org/10.1016/j.micpro.2015.05.003 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
302

journal article EST / journal article ENG

Transnational digital identity as an instrument for Global Digital Citizenship : The case of Estonia’s e-ResidencyTammpuu, Piia; Masso, AnuInformation systems frontiers2019 / p. 621-634 : ill https://doi.org/10.1007/s10796-019-09908-y Professor Anu Masso: e-residentsus taastoodab digitaalset ebavõrdsust Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
303

journal article EST / journal article ENG

Tree-based ensemble multi-task learning method for classification and regressionSimm, Jaak; Magrans De Abril, Ildefons; Sugiyma, MasashiIEICE transactions on information and systems2014 / p. 1677-1681 https://doi.org/10.1587/transinf.E97.D.1677 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
304

book article EST / book article ENG

Type-theoretic constructions of the final coalgebra of the finite powerset functorVeltri, Niccolo41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)2021 / p. 22:1-22:18 https://doi.org/10.4230/LIPIcs.FSCD.2021.22 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG
305

book article EST / book article ENG

Understanding MPSoCs : exploiting memory microarchitectural vulnerabilities of high performance NoC-based MPSoCsSepulveda, Johanna; Azad, Siavoosh Payandeh; Niazmand, Behrad; Jervan, GertSAMOS '18 : Proceedings of the 18th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Pythagorion, Greece, July 15-19, 20182018 / p. 162-166 https://doi.org/10.1145/3229631.3239367 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
306

journal article EST / journal article ENG

Understanding multidimensional verification : where functional meets non-functionalLai, Xinhui; Balakrishnan, Aneesh; Lange, Thomas; Jenihhin, Maksim; Ghasempouri, Tara; Raik, Jaan; Alexandrescu, DanMicroprocessors and microsystems2019 / art. 102867, 13 p. : ill https://doi.org/10.1016/j.micpro.2019.102867 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
Related publications 2
- A synthetic, hierarchical approach for modelling and managing complex systems' quality and reliability = Sünteetiline, hierarhiline lähenemine keerukate süsteemide kvaliteedi ja töökindluse modelleerimiseks ja haldamiseks
- Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
307

book article EST / book article ENG

A unifying categorical view of nondeterministic iteration and testsGoncharov, Sergey; Uustalu, Tarmo35th International Conference on Concurrency Theory (CONCUR 2024)2024 / art. 25 https://doi.org/10.4230/LIPIcs.CONCUR.2024.25 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG
308

book article EST / book article ENG

Update monads: Cointerpreting directed containersAhman, Danel; Uustalu, Tarmo19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France2014 / p. 1-23 : ill https://doi.org/10.4230/LIPIcs.TYPES.2013.1 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG
309

book article EST / book article ENG

The use of AI in public services : results from a preliminary mapping across the EUMisuraca, Gianluca; Noordt, Colin Pascal van; Boukli, AnysProceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference2020 / p. 90-99 https://doi.org/10.1145/3428502.3428513 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG
310

book article EST / book article ENG

Using blockchain for optimal and transparent resource allocation : a proposed solution for fund allocation : brief overviewVoicu-Dorobantu, Roxana; Udokwu, Chibuzor; Bocse, BogdanICEEG '21: Proceedings of the 5th International Conference on E-Commerce, E-Business and E-Government2021 / p. 35-38 https://doi.org/10.1145/3466029.3466056 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
311

journal article EST / journal article ENG

Using reinforcement learning to optimize the acceptance threshold of a credit scoring modelHerasymovych, Mykola; Märka, Karl; Lukason, OliverApplied Soft Computing Journal2019 / Art. 105697 https://doi.org/10.1016/j.asoc.2019.105697 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
312

journal article EST / journal article ENG

Using spark to ensure system to software integrity : a case studyNäks, Tõnu; Aiello, M.A.; Taft, S.T.Ada user journal2019 / p. 226-229 : ill https://www.ada-switzerland.ch/doc/auj/auj-40-4.pdf Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG
313

journal article EST / journal article ENG

Using STLs for effective in-field test of GPUsRodriguez Condia, Josie E.; Da Silva, Felipe Augusto; Bagbaba, Ahmet Cagrl; Guerrero-Balaguera, Juan-David; Hamdioui, Said; Sauer, Christian; Reorda, Matteo SonzaIEEE Design and Test2023 / p. 109-117 https://doi.org/10.1109/MDAT.2022.3188573 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
314

journal article EST / journal article ENG

Utilizing layout effects for analog logic lockingAljafar, Muayad J.; Azais, Florence; Flottes, Marie-Lise; Pagliarini, SamuelJournal of Cryptographic Engineering2024 / p. 311-324 https://doi.org/10.1007/s13389-024-00350-8 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
315

book article EST / book article ENG

Validating the usage of occupational classification systems in the process of creating a national virtual competency assistant within the EU labor marketLiutkevičius, Markko; Erlenheim, ReginaProceedings of the 14th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2021), 6 – 8 October 2021, Athens, Greece2022 / p. 254−259 https://doi.org/10.1145/3494193.3494228 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
Related publications 1
- Enhancing public employment services with AI-enabled virtual competence assistant = Avalike tööturuteenuste parendamine tehisintellektil põhineva virtuaalse kompetentsiassistendiga
316

book article EST / book article ENG

Variations on NoetheriannessFirsov, Denis; Uustalu, Tarmo; Veltri, NiccoloProceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 20162016 / p. 76-88 : ill https://doi.org/10.4204/eptcs.207.4 Journal metrics at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
317

book article EST / book article ENG

VEDA - moVE DAta to balance the grid : research directions and recommendations for exploiting data centers flexibility within the power systemZiagham Ahwazi, Amin; Bordin, Chiara; Mishra, Sambeet; Ha, Phuong H.; Horsch, AlexanderICSCC '21: Proceedings of the 2021 6th International Conference on Systems, Control and Communications2021 / p. 13-18 https://doi.org/10.1145/3510362.3510365 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG
318

journal article EST / journal article ENG

Versatile direct and transpose matrix multiplication with chained operations : an optimized architecture using circulant matricesIakymchuk, Taras; Rosado-Munoz, Alfredo; Mompean, Manuel Bataller; Villora, Jose Vicente Frances; Osimiry, Emmanuel OvieIEEE Transactions on Computers2016 / p. 3470 - 3479 https://doi.org/10.1109/TC.2016.2538235 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
319

book article EST / book article ENG

What makes a strong monad?McDermott, Dylan; Uustalu, TarmoProceedings of the Ninth Workshop on Mathematically Structured Functional Programming2022 / p. 113-133 https://doi.org/10.4204/EPTCS.360.6 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
320

book article EST / book article ENG

Whisker-based tactile navigation algorithm for underground robotsKossas, Tanel; Remmas, Mohamed Walid; Gkliva, Roza; Ristolainen, Asko; Kruusmaa, Maarja2024 IEEE International Conference on Robotics and Automation (ICRA)2024 / p. 13164-13170 https://doi.org/10.1109/ICRA57147.2024.10610762 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
321

journal article EST / journal article ENG

A visual-semantic approach for building content-based recommender systemsBendouch, Mounir M.; Frasincar, Flavius; Robal, TarmoInformation systems2023 / art. 102243, 12 p. : ill https://doi.org/10.1016/j.is.2023.102243 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Number of records 321, displaying 301 - 321

previous
4
5
6
7
8
9
10
11
12
13
next

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 deﬁned 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. fault tolerant computer systems
169. fifth generation computer
170. gateways (computer networks)
171. high-performance computer systems
172. human computer interaction
173. human computer interaction (HCI)
174. human-computer interaction
175. human–computer interaction
176. Human-Computer Interaction (HCI)
177. human-computer interface
178. human-computer trust
179. interactive computer graphics
180. laptop computer
181. single board computer
182. single-board computer
183. structure computer analysis
184. ubiquitous computer technology
185. Web and computer-based learning
186. applied science
187. big data science
188. chemistry and philosophy of science
189. citizen science
190. citizen science hub
191. classical exact science
192. cognitive science
193. computational social science
194. data science
195. data-science
196. decision science
197. design science
198. design science research
199. design-science
200. energy science and technology
201. engineering pedagogy science
202. environmental science
203. ethics of science
204. exact science
205. food science
206. forensic science
207. logic of science
208. materials science
209. NATO. Science for Peace and Security Program
210. non-classical exact science
211. philosophy of science
212. physics and philosophy of science
213. planetary science
214. political science
215. popular science literature
216. post normal science
217. post-normal science
218. Q science
219. science
220. science advisors
221. science and arts
222. science and technology libraries
223. science and technology parks
224. Science Education
225. science fiction
226. science gateway
227. science integration
228. science mapping
229. science policy
230. science technology and innovation
231. science technology innovation
232. Science, Technology and Innovation Policy
233. science-based industries
234. science-driven models
235. science-policy-society interface
236. Security and political science
237. security science and technology
238. Social Science
239. social science methodology
240. sustainability science
241. Thomson Reuters Web of Science
242. transdisciplinary science
243. values in science
244. Web of Science
245. wood science and technology
246. World Academy of Art and Science (WAAS)
247. ȹ-science
248. φ-science
249. ϕ-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
2. Department of Computer Systems
3. School of Science

1. Department of Software Science, Tallinn University of Technology

match

sort

Otsing
Valikud 0

year of publication

author

TalTech department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu