Searching - TalTech Research Portal

display

sort

176

book article EST / book article ENG

Monoid structures on indexed containersDe Pascalis, Michele; Uustalu, Tarmo; Veltri, NiccolòProceedings of the 20th International Symposium on Logical and Semantic Frameworks, with Applications, LSFA 2025, Brasília, Brazil, 6-11 October 20252025 / p. 37-54 https://doi.org/10.4204/EPTCS.430.4 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

177

book article EST / book article ENG

Monoidal streams for dataflow programmingDi Lavore, Elena; De Felice, Giovanni; Roman Garcia, Mario37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 20222022 / art. 3533365, p. 1-14 : ill https://doi.org/10.1145/3531130.3533365 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

Related publications 1

Monoidal context theory = Monoidiliste kontekstide teooria

178

book article EST / book article ENG

Monoidal width : capturing rank widthDi Lavore, Elena; Sobocinski, Pawel MariaProceedings Fifth International Conference on Applied Category Theory : Glasgow, Scotland, 18-22 July 20222023 / p. 268-283 : ill https://doi.org/10.4204/EPTCS.380.16 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Monoidal width = Monoidiline laius

179

book article EST / book article ENG

Motion control architecture of a 4-fin U-CAT AUV using DOF prioritizationSalumäe, Taavi; Chemori, Ahmed; Kruusmaa, MaarjaIROS 2016 : 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems : October 9-14, 2016, Daejeon Convention Center, Daejeon, Korea2016 / p. 1321-1327 : ill https://doi.org/10.1109/IROS.2016.7759218 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

180

journal article EST / journal article ENG

Network IDS alert classification with active learning techniquesVaarandi, Risto; Guerra-Manzanares, AlejandroJournal of Information Security and Applications2024 / art. 103687 https://doi.org/10.1016/j.jisa.2023.103687 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

181

journal article EST / journal article ENG

Network-on-Chip with equality-of-service : a local fair runtime arbitration method for global fair bandwidth shareSamman, Faizal; Hollstein, ThomasInternational journal of innovative computing, information and control2019 / p. 1821−1834 http://www.ijicic.net/servlet/Download?contentID=CONT34590d01977b424ea4f1cdfbb4c8c264 https://doi.org/10.24507/ijicic.15.05.1821 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

182

book article EST / book article ENG

New interpretation and generalization of the Kameda-Weiner methodTamm, Hellis43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)2016 / p. 116:1-116:12 http://dx.doi.org/10.4230/LIPIcs.ICALP.2016.116 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

183

journal article EST / journal article ENG

A new low-complexity patch-based image super-resolutionRasti, Pejman; Nasrollahi, Kamal; Orlova, Olga; Tamberg, Gert; Ozcinar, Cagri; Moeslund, Thomas B.; Anbarjafari, GholamrezaIET computer vision2017 / p. 567-576 : ill https://doi.org/10.1049/iet-cvi.2016.0463 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

184

book article EST / book article ENG

Nonlinear orientation controller for a compliant robotic fish based on asymmetric actuationMeurer, Christian; Simha, Ashutosh; Kotta, Ülle; Kruusmaa, Maarja2019 International Conference on Robotics and Automation : ICRA 2019, Palais des Congres de Montreal, Canada, 20-24 May, 20192019 / Art. 8793892 ; p. 4688-4694 https://doi.org/10.1109/ICRA.2019.8793892 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

185

book article EST / book article ENG

Normalization by evaluation for the Lambek calculusVeltri, Niccolo10th International Conference on Non-classical Logic : theory and applicatons, Lodz, Poland, 14-18 March 20222022 / p. 102-117 https://doi.org/10.4204/eptcs.358.8 https://arxiv.org/abs/2204.06719v1 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

186

book article EST / book article ENG

Normalization by evaluation in the delay monad: A case study for coinduction via copatterns and sized typesAbel, Andreas; Chapman, JamesProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 51-67 https://doi.org/10.4204/EPTCS.153.4 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

187

journal article EST / journal article ENG

A novel efficient and lightweight authentication scheme for secure smart grid communication systemsHammami, Hamza; Ben Yahia, Sadok; Obaidat, Mohammad S.The Journal of Supercomputing2023 / p. 7360 - 7376 https://doi.org/10.1007/s11227-022-04944-z Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

188

journal article EST / journal article ENG

A novel imbalanced data classification approach for suicidal ideation detection on social mediaBen Hassine, Mohamed Ali; Abdellatif, Safa; Ben Yahia, SadokComputing2022 / p. 741-765 : ill https://doi.org/10.1007/s00607-021-00984-0 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

189

book article EST / book article ENG

Obstructions to compositionalityPuca, Caterina; Hadzihasanovic, Amar; Genovese, Fabrizio; Coecke, Bob6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 226-245 https://doi.org/10.4204/EPTCS.397.14 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

190

book article EST / book article ENG

On architecture of e-government ecosystems: from e-services to e-participation [iiWAS'2020 Keynote]Draheim, DirkiiWAS2020 : The 22st International Conference on Information Integration and Web-based Applications & Services, November 30 - December 2, 2020, Chiang Mai, Thailand : [Proceedings]2020 / p. 3−10 https://doi.org/10.1145/3428757.3429972 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

191

book article EST / book article ENG

On doctrines and Cartesian bicategoriesBonchi, Filippo; Santamaria, Alessio; Seeber, Jens; Sobocinski, Pawel MariaCALCO 2021 : 9th International Conference on Algebra and Coalgebra in Computer Science, Aug 31 - Sep 3, 2021, Salzburg, Austria : proceedings2021 / p. 10:1−10:7 https://doi.org/10.4230/LIPIcs.CALCO.2021.10 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

192

book article EST / book article ENG

On existing trends towards creation of a holistic sociotechnical approach to e-GovernanceKosenkov, Oleksandr; Pappel, Ingrid; Draheim, DirkProceedings of the 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV’19), Melbourne, Australia, April 3-5, 20192019 / p. 492–493 : ill https://doi.org/10.1145/3326365.3326437 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

193

journal article EST / journal article ENG

On stable cones of polynomials via reduced Routh parametersNurges, Ülo; Belikov, Juri; Artemtšuk, IgorKybernetika2016 / p. 461-477 https://doi.org/10.14736/kyb-2016-3-0461 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

194

journal article EST / journal article ENG

On the application of active learning for efficient and effective Iot botnet detectionGuerra Manzanares, Alejandro; Bahsi, HayretdinFuture Generation Computer Systems2023 / p. 40-53 : ill https://doi.org/10.1016/j.future.2022.10.024 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Machine learning-based detection and characterization of evolving threats in mobile and IoT Systems = Masinõppepõhine arenevate ohtude tuvastamine ning kirjeldamine mobiilseadmete ja värkvõrkude jaoks

195

book article EST / book article ENG

On the systematic exploitation of the Estonian data exchange layer X-road for strengthening public-private partnershipsPaide, Karoline; Pappel, Ingrid; Vainsalu, Heiko; Draheim, DirkICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland2018 / p. 34-41 https://doi.org/10.1145/3209415.3209441 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

196

book article EST / book article ENG

Once only principle : benefits, barriers and next stepsWimmer, Maria A.; Tambouris, Efthimios; Krimmer, Robert Johannes; Gil-Garcia, J. Ramon; Chatfield, Akemi Takeokadg.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. 602-603 : ill https://doi.org/10.1145/3085228.3085296 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

197

journal article EST / journal article ENG

Ontology integration : approaches and challenging issuesOsman, Ines; Ben Yahia, Sadok; Diallo, GayoInformation Fusion2021 / p. 38-63 : ill https://doi.org/10.1016/j.inffus.2021.01.007 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

198

book article EST / book article ENG

Open diagrams via Coend calculusRoman Garcia, MarioProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 65-78 : ill https://doi.org/10.4204/EPTCS.333.5 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Monoidal context theory = Monoidiliste kontekstide teooria

199

journal article EST / journal article ENG

Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, TarmoJournal of logical and algebraic methods in programming2021 / art. 100677, 27 p https://doi.org/10.1016/j.jlamp.2021.100677 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

200

book article EST / book article ENG

Optics for premonoidal categoriesHefford, James; Roman Garcia, Mario6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 152-171 : ill https://doi.org/10.4204/EPTCS.397.10 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Arvutiteadus. Tarkvara (category)

types of item

subject term 96

keyword 1