Otsing - TalTech teadusportaal

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

Publikatsioonid

Publikatsioonid

Liitotsing

Valitud kirjed 0

Arvutiteadus. Tarkvara (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.. (2/97)
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. tarkvara

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