Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Liitotsing

Valitud kirjed 0

Computer science. Software (kategooria)

—

—

Lisa tingimus Lihtotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 321
Vaata veel.. (3/256)
Ekspordi

ekspordi kõik päringu tulemused (321)
Salvesta TXT fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
301

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG
302

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG
303

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG
304

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
305

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
306

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG
Seotud publikatsioonid 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

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
308

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
309

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
310

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
311

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG
312

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG
313

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG
314

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG
315

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- Enhancing public employment services with AI-enabled virtual competence assistant = Avalike tööturuteenuste parendamine tehisintellektil põhineva virtuaalse kompetentsiassistendiga
316

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
317

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
318

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG
319

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
320

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
321

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

Kirjeid leitud 321, kuvan 301 - 321

eelmine
4
5
6
7
8
9
10
11
12
13
järgmine

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, Tallinn University of Technology

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu