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 296
Look more.. (4/243)
Export

export all inquiry results (296)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
276

journal article EST / journal article ENG

Transformation of nonlinear state equations into the observer form : necessary and sufficient conditions in terms of one-formsKaparin, Vadim; Kotta, ÜlleKybernetika2015 / p. 36-58 https://doi.org/10.14736/kyb-2015-1-0036 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
277

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
278

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
279

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
280

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
281

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
282

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
283

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
284

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
285

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
286

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
287

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
288

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
289

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
290

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
291

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
292

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
293

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
294

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
295

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

book article EST / book article ENG
296

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 296, displaying 276 - 296

previous
3
4
5
6
7
8
9
10
11
12
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. interoperability and evolution of healthcare models and software systems
31. invasive software
32. large software projects
33. learning software agents
34. model-based software development
35. model-driven software engineering
36. ontology driven software development
37. ontology-based software engineering
38. open source software
39. optimization software
40. plagiarism software
41. public domain software
42. RETScreen software
43. self learning software
44. sensor software
45. simulation software "Delphin"
46. simulations with software
47. social software
48. software
49. software architecture
50. software architecture improvement
51. software based self-test
52. software companies
53. software complexity
54. software containers
55. software defined networking
56. software defined networking (SDN)
57. software defined networks (SDN)
58. software deﬁned radio
59. software defined radio (SDR)
60. software design
61. software development
62. software development concepts
63. software documentation
64. software engineering
65. software engineering education
66. Software engineering methodology evaluation
67. software engineering practises
68. software factory
69. software for measurements
70. software implementation
71. software level TMR
72. software modeling
73. software outsourcing
74. Software packages
75. software project management
76. software qualification
77. software quality
78. software refactoring
79. software sector
80. software testing
81. software/hardware partitioning
82. software/hardware systems
83. software-based self-test
84. software-based self-test (SBST)
85. software-defined network
86. software-defined networking
87. software-defined networking (SDN)
88. software-in-the-loop (SIL) testing
89. SOLIDWORKS software
90. SysML modeling software
91. system-to-software integrity
92. triptych software engineering
93. computer
94. computer aided design
95. computer aided diagnosis
96. computer aided diagnostics
97. computer aided instruction
98. computer aided language translation
99. computer aided manufacturing
100. computer aided methods
101. computer aided testing
102. computer algebra
103. computer algebra system
104. computer and education
105. computer anxiety
106. computer architecture
107. computer assisted language learning
108. computer based learning
109. computer circuits
110. computer control
111. Computer crime
112. computer education
113. computer engineering
114. computer engineerng
115. computer game
116. computer graphics
117. computer hardware
118. computer integrated manufacturing
119. computer network management
120. computer network operations
121. computer networks
122. computer pipelines
123. computer programming
124. computer programming languages
125. computer programs
126. computer security
127. computer simulation
128. computer simulation environments
129. computer simulations
130. computer softwaregraph theory
131. computer systems
132. Computer systems organization
133. computer terminals
134. computer vision
135. computer vision-based methods
136. computer workers
137. computer-aided anthropometry
138. computer-aided architectural design (CAAD)
139. computer‐aided assessment
140. computer-aided design
141. computer-aided design (CAD)
142. computer-aided detection
143. computer‐aided detection
144. computer-aided diagnosis
145. computer-aided drawing (CAD)
146. computer-aided engineering
147. computer-aided teaching
148. Computer-Aided Tuning
149. computer-aided tuning (CAT)
150. computer-assisted language learning (CALL)
151. computer-oriented technologies
152. computer-supported decision-making
153. computer-use
154. computer-workers
155. control engineering computer applications
156. distributed computer systems
157. education in computer engineering
158. fifth generation computer
159. gateways (computer networks)
160. high-performance computer systems
161. human computer interaction
162. human computer interaction (HCI)
163. human-computer interaction
164. human–computer interaction
165. Human-Computer Interaction (HCI)
166. human-computer trust
167. interactive computer graphics
168. laptop computer
169. single board computer
170. single-board computer
171. structure computer analysis
172. ubiquitous computer technology
173. Web and computer-based learning
174. applied science
175. big data science
176. chemistry and philosophy of science
177. citizen science
178. citizen science hub
179. classical exact science
180. cognitive science
181. computational social science
182. data science
183. data-science
184. decision science
185. design science
186. design science research
187. design-science
188. energy science and technology
189. engineering pedagogy science
190. environmental science
191. ethics of science
192. exact science
193. food science
194. forensic science
195. logic of science
196. materials science
197. NATO. Science for Peace and Security Program
198. non-classical exact science
199. philosophy of science
200. physics and philosophy of science
201. planetary science
202. political science
203. popular science literature
204. post normal science
205. post-normal science
206. Q science
207. science
208. science advisors
209. science and arts
210. science and technology libraries
211. science and technology parks
212. science fiction
213. science gateway
214. science integration
215. science mapping
216. science policy
217. science technology and innovation
218. science technology innovation
219. Science, Technology and Innovation Policy
220. science-based industries
221. science-driven models
222. science-policy-society interface
223. Security and political science
224. Social Science
225. social science methodology
226. sustainability science
227. Thomson Reuters Web of Science
228. transdisciplinary science
229. Web of Science
230. World Academy of Art and Science (WAAS)
231. ȹ-science
232. φ-science
233. ϕ-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