Otsing - TalTech teadusportaal

kuva

reasta

276

artikkel kogumikus EST / artikkel kogumikus ENG

A software product line approach for semantic specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, MarcSPLC '14: 18th International Software Product Line Conference, Florence Italy, September 15-19, 2014. Volume 12014 / p. 217-226 : ill https://doi.org/10.1145/2648511.2648534 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

277

artikkel ajakirjas EST / artikkel ajakirjas ENG

Sound conflict management and resolution for virtual-enterprise collaborationsNarendra, Nanjangud C.; Norta, Alexander; Mahunnah, Msury; Ma, Lixin; Maggi, Fabrizio MariaService-oriented computing and applications2016 / p. 233-251 : ill https://doi.org/10.1007/s11761-015-0183-0 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

278

artikkel ajakirjas EST / artikkel ajakirjas ENG

Span(Graph) : a canonical feedback algebra of open transition systemsDi Lavore, Elena; Gianola, Alessandro; Roman Garcia, Mario; Sabadini, Nicoletta; Sobocinski, Pawel MariaSoftware and systems modeling2023 / p. 495-520 : ill https://doi.org/10.1007/s10270-023-01092-7 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Monoidal context theory = Monoidiliste kontekstide teooria

279

artikkel ajakirjas EST / artikkel ajakirjas ENG

Special issue on concept lattices and their applications (CLA 2020)Valverde-Albacete, Francisco José; Trnecka, Martin; Ben Yahia, SadokInternational journal of approximate reasoning2024 / art. 109079, 3 p. https://doi.org/10.1016/j.ijar.2023.109079 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

280

artikkel ajakirjas EST / artikkel ajakirjas ENG

Special Issue on Digital Twin for Future Networks and Emerging IoT Applications (DT4IoT)Hakiri, Akram; Ben Yahia, Sadok; Gokhale, Aniruddha S.; Mellouli, NédraFuture generation computer systems2024 / p. 81-84 https://doi.org/10.1016/j.future.2024.06.056 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

281

artikkel ajakirjas EST / artikkel ajakirjas ENG

Split-chip design to prevent IP reverse engineeringPagliarini, Samuel Nascimento; Sweeney, Joseph; Mai, Ken; Blanton, Shawn; Mitra, Subhasish; Pileggi, LarryIEEE Design and Test2020 / p. 109-118 https://doi.org/10.1109/MDAT.2020.3033255 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

282

artikkel ajakirjas EST / artikkel ajakirjas ENG

SSProve : a foundational framework for modular cryptographic proofs in CoqHaselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Abate, Carmine; Sidorenco, Nikolaj; Hriţcu, Cǎtǎlin; Maillard, Kenji; Spitters, BasACM Transactions on Programming Languages and Systems2023 / art. 15 https://doi.org/10.1145/3594735 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

283

artikkel ajakirjas EST / artikkel ajakirjas ENG

Stream clustering guided supervised learning for classifying NIDS alertsVaarandi, Risto; Guerra Manzanares, AlejandroFuture generation computer systems2024 / p. 231-244 : ill https://doi.org/10.1016/j.future.2024.01.032 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

284

artikkel ajakirjas EST / artikkel ajakirjas ENG

String diagram rewrite theory I : rewriting with Frobenius structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioJournal of the ACM2022 / art. 14 https://doi.org/10.1145/3502719 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

285

artikkel kogumikus EST / artikkel kogumikus ENG

String diagrammatic electrical circuit theoryBoisseau, Guillaume; Sobocinski, Pawel MariaarXiv.org2022 / p. 178-191 : ill https://doi.org/10.4204/EPTCS.372.13 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2021.13 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

286

artikkel kogumikus EST / artikkel kogumikus ENG

String diagrammatic trace theoryEarnshaw, Matthew David; Sobocinski, Pawel Maria48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)2023 / art. 43, 43 p. : ill https://doi.org/10.4230/LIPIcs.MFCS.2023.43 Conference proceeding at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Languages of string diagrams = Nöördiagrammide keeled

287

artikkel ajakirjas EST / artikkel ajakirjas ENG

Structured development of implementations for divide-and-conquer specificationsBortin, MaksymScience of computer programming2024 / art. 103011, 15 p. : ill https://doi.org/10.1016/j.scico.2023.103011 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

288

artikkel kogumikus EST / artikkel kogumikus ENG

Structuring analyses of complex enterprise datasets with adaptive morphogenesis methodsPolis, EinarECBS '17: Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems2017 / art. a5, 10 p. : ill https://doi.org/10.1145/3123779.3123808 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

289

artikkel kogumikus EST / artikkel kogumikus ENG

Surviving the unforeseen - teaching IT and engineering students during COVID-19 outbreakRuberg, Priit; Ellervee, Peeter; Tammemäe, Kalle; Reinsalu, Uljana; Rähni, Andres; Robal, TarmoProceedings - Frontiers in Education Conference, FIE2022 / Code 184790 https://doi.org/10.1109/FIE56618.2022.9962383 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

290

artikkel ajakirjas EST / artikkel ajakirjas ENG

Symbolic Automata: Omega-Regularity Modulo TheoriesVeanes, Margus; Ball, Thomas; Ebner, Gabriel; Zhuchko, EkaterinaProceedings of the ACM on Programming Languages2025 / art. 2, p. 33-66 : ill https://doi.org/10.1145/3704838 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

291

artikkel kogumikus EST / artikkel kogumikus ENG

ZED-TTE: Zone embedding and deep neural network based travel time estimation approachOunoughi, Chahinez; Yeferny, Taoufik; Ben Yahia, Sadok2021 International Joint Conference on Neural Networks (IJCNN) : proceedings2021 / 10 p https://doi.org/10.1109/IJCNN52387.2021.9533456 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

292

artikkel kogumikus EST / artikkel kogumikus ENG

TalTech Systems for the Interspeech 2025 ML-SUPERB 2.0 ChallengeAlumäe, Tanel; Fedorchenko, ArtemInterspeech 2025 : 17-21 August 2025, Rotterdam, The Netherlands2025 / p. 2098–2102 : ill https://doi.org/10.21437/Interspeech.2025-1797 https://www.isca-archive.org/interspeech_2025/alumae25_interspeech.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

293

artikkel kogumikus EST / artikkel kogumikus ENG

TalTech Systems for the PROCESS Signal Processing Grand ChallengeIllaste, Erik; Alumäe, TanelICASSP 2025 - 2025 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) : Conference proceedings2025 / p. 1-2 https://doi.org/10.1109/ICASSP49660.2025 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

294

artikkel kogumikus EST / artikkel kogumikus ENG

TalTech-IRIT-LIS speaker and language diarization systems for DISPLACE 2024Kalda, Joonas; Alumäe, Tanel; Lebourdais, Martin; Bredin, Herve; Baroudi, Séverin; Marxer, RicardInterspeech 2024, 1-5 September 2024, Kos, Greece2024 / p. 1635–1639 : ill https://doi.org/10.21437/Interspeech.2024-2462 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Improved Training Methods for Multi-Talker Speech Processing = Treeningmeetodid mitme rääkijaga kõne töötluseks

295

artikkel kogumikus EST / artikkel kogumikus ENG

Tape Diagrams for Monoidal MonadsBonchi, Filippo; Cioffo, Cipriano Junior; Di Giorgio, Alessandro; Di Lavore, Elena11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025) : CALCO 2025, June 16–18, 2025, University of Strathclyde, UK2025 / 24 p.: ill https://doi.org/10.4230/LIPIcs.CALCO.2025.11 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

296

artikkel ajakirjas EST / artikkel ajakirjas ENG

TermX: The semantic interoperability, knowledge management and sharing platformBossenko, Igor; Piho, Gunnar; Ivanova, Marina; Ross, PeeterSoftwareX2024 / art. 101839, 7 p. : ill https://doi.org/10.1016/j.softx.2024.101839 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

A domain-specific framework for supporting semantic interoperability in primary and secondary use of health data on the example of the Estonian National Health Information System = Tervishoiu domeenipõhise semantilise raamistiku loomine terviseandmete esmaseks ja teiseseks kasutamiseks Eesti Tervise infosüsteemi näitel

297

artikkel kogumikus EST / artikkel kogumikus ENG

Test adapter generation based on assume/guarantee contracts for verification of cyber-physical systemsGuin, Jishu; Vain, Jüri; Tsiopoulos, LeonidasMODELSWARD 2025 : 13th International Conference on Model-Based Software and Systems Engineering, Proceedings, Porto, Portugal, 26-28 February, 20252025 / p. 297–304 http://doi.org/10.5220/0013322100003896 https://www.scitepress.org/PublicationsDetail.aspx?ID=TcnFenKjQbg=&t=1 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

298

artikkel ajakirjas EST / artikkel ajakirjas ENG

Test scenario specification language for model-based testingHalling, Evelin; Vain, Jüri; Boyarchuk, Artem; Illiashenko, OlegInternational Journal of Computing2019 / p. 408-421 : ill http://www.computingonline.net/computing/article/view/1611 https://doi.org/10.47839/ijc.18.4.1611 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

299

artikkel kogumikus EST / artikkel kogumikus ENG

The 2016 BBN Georgian telephone speech keyword spotting systemAlumäe, Tanel; Karakos, Damianos; Hartmann, William2017 IEEE International Conference on Acoustics, Speech, and Signal Processing : proceedings : March 5-9, 2017, Hilton New Orleans Riverside, New Orleans, Louisiana, USA2017 / p. 5755-5759 : tab https://doi.org/10.1109/ICASSP.2017.7953259 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

300

artikkel ajakirjas EST / artikkel ajakirjas ENG

The essential competencies of software professionals : a unified competence frameworkAssyne, Nana; Ghanbari, Hadi; Pulkkinen, MirjaInformation and software technology2022 / art. 107020, 20 p. : ill https://doi.org/10.1016/j.infsof.2022.107020 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Arvutiteadus. Tarkvara (kategooria)

teaviku laadid

märksõna 96

võtmesõna 1