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 233
Vaata veel.. (3/215)
Ekspordi

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

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
76

artikkel kogumikus EST / artikkel kogumikus ENG

Estimating sparse signals using integrated wide-band dictionariesButsenko, Maksim; Swärd, Johan; Jakobsson, Andreas2017 IEEE International Conference on Acoustics, Speech, and Signal Processing : proceedings : March 5-9, 2017, Hilton New Orleans Riverside, New Orleans, Louisiana, USA2017 / p. 4426-4430 : ill https://doi.org/10.1109/ICASSP.2017.7952993 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
77

artikkel kogumikus EST / artikkel kogumikus ENG

The Estonian data embassy and the applicability of the Vienna convention: an exploratory analysisRobinson, Nick; Kask, Laura; Krimmer, Robert JohannesProceedings of the 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV’19), Melbourne, Australia, April 3-5, 20192019 / p. 391-396 https://doi.org/10.1145/3326365.3326417 Conference proceeding at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
78

artikkel kogumikus EST / artikkel kogumikus ENG

Evaluating cybersecurity-related competences through serious gamesMäses, Sten19th Koli Calling Conference on Computing Education Research Koli Calling 2019 : November 21-24, 2019, Koli, Finland : proceedings2019 / 2 p https://doi.org/10.1145/3364510.3366163 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
79

artikkel kogumikus EST / artikkel kogumikus ENG

Evaluating the impact of artificial intelligence technologies in public services : towards an assessment frameworkNoordt, Colin Pascal van; Misuraca, GianlucaICEGOV '20 : proceedings of the 13th International Conference on Theory and Practice of Electronic Governance : Athens, Greece, September 23-25, 20202020 / p. 8-16 https://doi.org/10.1145/3428502.3428504 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- Public value creation with Artificial Intelligence technologies in public administration = Avaliku väärtuse loomine tehisintellekti tehnoloogiatega avalikus halduses
80

artikkel kogumikus EST / artikkel kogumikus ENG

Evaluation of approaches for designing and developing decentralized applications on blockchainUdokwu, Chibuzor; Anyanka, Henry; Norta, AlexanderICACS'20 : proceedings of the 4th International Conference on Algorithms, Computing and Systems. ICACS-AECCC 2020: the 2nd African Electronics Computer and Communication Conference, September 18-20, 2020, Virtual Conference2020 / p. 55-62 https://doi.org/10.1145/3423390.3426724 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
81

artikkel kogumikus EST / artikkel kogumikus ENG

Evidential decision theory via partial Markov categoriesDi Lavore, Elena; Roman Garcia, Mario2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 20232023 / 14 p. : ill https://doi.org/10.1109/LICS56636.2023.10175776 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
82

artikkel ajakirjas EST / artikkel ajakirjas ENG

Evolving process viewsEshuis, Rik; Norta, Alexander; Roulaux, RaoulInformation and software technology2016 / p. 20-35 : ill https://doi.org/10.1016/j.infsof.2016.08.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
83

artikkel kogumikus EST / artikkel kogumikus ENG

Exploring and demonstrating the once-only principle : a European perspectiveKrimmer, Robert Johannes; Kalvet, Tarmo; Toots, Maarja; Cepilovs, Aleksandrs; Tambouris, Efthimiosdg.o 2017 : the proceedings of the 18th Annual International Conference on Digital Government Research : Innovations and Transformations in Government : June 7-9, 2017, Staten Island, NY, USA2017 / p. 546-551 : ill https://doi.org/10.1145/3085228.3085235 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
84

artikkel ajakirjas EST / artikkel ajakirjas ENG

Extended reality technologies in small and medium-sized European industrial companies : level of awareness, diffusion and enablers of adoptionJalo, Henri; Pirkkalainen, Henri; Torro, Osku; Pessot, Elena; Zangiacomi, Andrea; Tepljakov, AlekseiVirtual Reality2022 / p. 1745 - 1761 https://doi.org/10.1007/s10055-022-00662-2 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
85

artikkel kogumikus EST / artikkel kogumikus ENG

Facilitating cross-sectoral digital product developmentSoe, Ralf-MartinProceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference2020 / p. 795-798 https://doi.org/10.1145/3428502.3428623 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
86

artikkel ajakirjas EST / artikkel ajakirjas ENG

FastStereoNet : A fast neural architecture search for improving the inference of disparity estimation on resource-limited platformsLoni, Mohammad; Zoljodi, Ali; Majd, Amin; Ahn, Byung Hoon; Daneshtalab, Masoud; Sjödin, Mikael; Esmaeilzadeh, HadiIEEE Transactions on Systems, Man, and Cybernetics : Systems2022 / p. 5222-5234 : ill https://doi.org/10.1109/TSMC.2021.3123136 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
87

artikkel kogumikus EST / artikkel kogumikus ENG

Fibration linguistics (FibLang) : language acquisitionGenovese, Fabrizio; Loregian, Fosco; Puca, CaterinaProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 224-236 : ill https://doi.org/10.4204/EPTCS.380.13 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
88

artikkel kogumikus EST / artikkel kogumikus ENG

FINEST Twins : platform for cross-border smart city solutionsSoe, Ralf-Martindg.o 2017 : the proceedings of the 18th Annual International Conference on Digital Government Research : Innovations and Transformations in Government : June 7-9, 2017, Staten Island, NY, USA2017 / p. 352-357 : ill https://doi.org/10.1145/3085228.3085287 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
89

artikkel ajakirjas EST / artikkel ajakirjas ENG

Finiteness and rational sequences, constructivelyUustalu, Tarmo; Veltri, NiccoloJournal of functional programming2017 / art. e13, p. 1-20 https://doi.org/10.1017/S0956796817000041 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
90

artikkel ajakirjas EST / artikkel ajakirjas ENG

A flexible enhanced throughput and reduced overhead (FETRO) MAC protocol for ETSI SmartBANKhan, Rida; Alam, Muhammad Mahtab; Guizani, MohsenIEEE Transactions on Mobile Computing2022 / p. 2671-2686 : ill https://doi.org/10.1109/TMC.2020.3047596 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
91

artikkel ajakirjas EST / artikkel ajakirjas ENG

Flexible presentations of graded monadsKatsumata, Shin-ya; McDermott, Dylan; Uustalu, Tarmo; Wu, NicolasProceedings of the ACM on Programming Languages2022 / art. 123, 28 p https://doi.org/10.1145/3547654 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
92

artikkel ajakirjas EST / artikkel ajakirjas ENG

Formalizing CCS and π-calculus in Guarded Cubical AgdaVeltri, Niccolo; Vezzosi, AndreaJournal of logical and algebraic methods in programming2023 / art. 100846 https://doi.org/10.1016/j.jlamp.2022.100846 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
93

artikkel kogumikus EST / artikkel kogumikus ENG

A Framework for the adoption of blockchain technology in healthcare information management systems : a case study of NigeriaAzogu, Irene; Norta, Alexander; Pappel, Ingrid; Longo, Justin; Draheim, DirkProceedings of the 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV’19), Melbourne, Australia, April 3-5, 20192019 / p. 310–316 : ill https://doi.org/10.1145/3326365.3326405 Conference proceeding at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
94

artikkel kogumikus EST / artikkel kogumikus ENG

From equations to distinctions: Two interpretations of effectful computationsVoorneveld, NielsProceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 20202020 / p. 1-17 https://doi.org/10.4204/EPTCS.317.1 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
95

artikkel kogumikus EST / artikkel kogumikus ENG

Functorial language games for question answeringFelice, Giovanni de; Di Lavore, Elena; Roman Garcia, Mario; Toumi, AlexisProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 311–321 https://doi.org/10.4204/EPTCS.333.21 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
96

artikkel ajakirjas EST / artikkel ajakirjas ENG

Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, 28 p. : ill https://doi.org/10.1145/3434338 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
97

artikkel kogumikus EST / artikkel kogumikus ENG

Generating representative executions : extended abstractMaarand, Hendrik; Uustalu, Tarmo10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software : PLACES 2017 : Uppsala, Sweden, 29 April 20172017 / p. 39-48 : ill https://doi.org/10.4204/EPTCS.246.8 Journal metrics at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
98

artikkel kogumikus EST / artikkel kogumikus ENG

Global intelligent governance a collaborative platformGanapati, Sukumar; Ahn, Michael; Chen, Yu-Che; Krimmer, Robert Johannes; Viale Pereira, Gabriela; Pliscoff, Cristian; Tseng, Hsien-Lee; Wu, JiannanDG.O'21: DG.O2021: The 22nd Annual International Conference on Digital Government Research2021 / p. 593 - 595 https://doi.org/10.1145/3463677.3463728 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
99

artikkel ajakirjas EST / artikkel ajakirjas ENG

Graphical sequent calculi for modal logicsMa, Minghui; Pietarinen, Ahti-VeikkoElectronic proceedings in theoretical computer science2017 / p. 91-103 https://doi.org/10.4204/EPTCS.243.7 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
100

artikkel ajakirjas EST / artikkel ajakirjas ENG

Guest editors' forewordUustalu, Tarmo; Vain, JüriJournal of logical and algebraic methods in programming2016 / p. 1109 https://doi.org/10.1016/j.jlamp.2016.10.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Kirjeid leitud 233, kuvan 76 - 100

eelmine
1
2
3
4
5
6
7
8
9
10
järgmine

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