Searching - TalTech Research Portal

display

sort

1151

book article EST / book article ENG

Special session: approximation and fault resiliency of DNN acceleratorsAhmadilivani, Mohammad Hasan; Barbareschi, Mario; Barone, Salvatore; Bosio, Alberto; Daneshtalab, Masoud; Torca, Salvatore Della; Gavarini, Gabriele; Jenihhin, Maksim; Raik, Jaan; Taheri, MahdiProceedings 2023 IEEE 41st VLSI Test Symposium (VTS)2023 / 10 p. : ill https://doi.org/10.1109/VTS56346.2023.10140043 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1152

book article EST / book article ENG

Specification and verification of a linear-time temporal logic for graph transformationGadducci, Fabio; Laretto, Andrea; Trotta, DavideGraph transformation, 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023 : Proceedings2023 / p. 22-42 : ill https://doi.org/10.1007/978-3-031-36709-0_2 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

1153

journal article EST / journal article ENG

Specification of the data warehouse for the decision-making dimension of the bid process information systemZekri, Manel; Zahaf, Sahbi; Ben Yahia, SadokProcedia computer science2019 / p. 756 - 763 https://doi.org/10.1016/j.procs.2019.09.231 Conference proceeding at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

1154

journal article EST / journal article ENG

Spectral properties of incoherent terahertz torch based on parabolic Ga(As,Bi)/AlGaAs quantum wellsKaraliunas, Mindaugas; Pagalys, Justas; Jakštas, Vytautas; Norkus, Ričardas; Urbanowicz, Andrzej; Devenson, Jan; Devenson, Renata; Udal, Andres; Valušis, GintarasTerahertz Emitters, Receivers, and Applications X : SPIE Optical Engineering + Applacations, 11-15 August 2019, San Diego, California, United States : proceedings SPIE digital library2019 https://doi.org/10.1117/12.2528428 Conference proceeding at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

1155

book article EST / book article ENG

Speech-based identiﬁcation of children’s gender and age with neural networksPiel, Leo Kristopher; Alumäe, TanelHuman Language Technologies - the Baltic Perspective : Proceedings of the Eighth International Conference, Baltic HLT 20182018 / p. 104-111 https://doi.org/10.3233/978-1-61499-912-6-104 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1156

journal article EST / journal article 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

journal article EST / journal article ENG

1157

journal article EST / journal article 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

journal article EST / journal article ENG

1158

journal article EST / journal article ENG

Stabilization and stability robustness of coupled non-constant parameter time fractional PDEsChen, Juan; Tepljakov, Aleksei; Petlenkov, EduardIEEE Access2019 / p. 163969 - 163980 : ill https://doi.org/10.1109/ACCESS.2019.2951058 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1159

journal article EST / journal article ENG

Stacking deep-learning model, stories and drawing properties for automatic scene generationElloumi, Samir; Bignoumba, NzambaInternational journal of advanced computer science and applications2023 / p. 894-911 https://doi.org/10.14569/IJACSA.2023.0140197 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1160

book article EST / book article ENG

Stage models for moving from e-government to smart governmentLemke, Florian; Taveter, Kuldar; Erlenheim, Regina; Pappel, Ingrid; Draheim, Dirk; Janssen, MarijnElectronic Governance and Open Society: Challenges in Eurasia : 6th International Conference, EGOSE 2019, St.Petersburg, Russia, November 13-14, 2019 : Proceedings2020 / p. 152-164 https://doi.org/10.1007/978-3-030-39296-3_12 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

1161

journal article EST / journal article ENG

State and output feedback boundary control of time fractional pde–fractional ode cascades with space-dependent diffusivityChen, Juan; Tepljakov, Aleksei; Petlenkov, Eduard; Chen, Yangquan; Zhuang, BoIET Control Theory and Applications2020 / p. 3589 - 3600 https://doi.org/10.1049/iet-cta.2019.1015 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1162

journal article EST / journal article ENG

State feedback linearization of nonlinear control systems on homogeneous time scalesBartosiewicz, Zbigniew; Belikov, Juri; Kotta, Ülle; Wyrwas, MałgorzataNonlinear analysis: hybrid systems2019 / p. 69-85 https://doi.org/10.1016/j.nahs.2018.08.002 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1163

journal article EST / journal article ENG

State of the art of automated busesAinsalu, Jaagup; Müür, Jaanus; Soe, Ralf-MartinSustainability2018 / art. 3118, 34 p. : ill https://doi.org/10.3390/su10093118 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1164

book article EST / book article ENG

Static Shading Optimization for Glare Control and DaylightDe Luca, Francesco; Sepulveda Luque, Abel; Varjas, ToivoProceedings of the 39th eCAADe Conference - Towards a new, configurable architecture : University of Novi Sad, Novi Sad, Serbia, 8-10 September 2021. Vol. 22021 / p. 419-428 https://doi.org/10.52842/conf.ecaade.2021.2.419 https://papers.cumincad.org/cgi-bin/works/paper/ecaade2021_230 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

1165

book article EST / book article ENG

Stenmap : framework for evaluating cybersecurity-related skills based on computer simulationsMäses, Sten; Randmann, Liina; Maennel, Olaf Manuel; Lorenz, BirgyLearning and Collaboration Technologies : Learning and Teaching : 5th International Conference : LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018 : Proceedings, Part II2018 / p. 492-504 https://doi.org/10.1007/978-3-319-91152-6_38 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

1166

book article EST / book article ENG

Stimulating the uptake of AI in public administrations : overview and comparison of AI strategies of european member statesNoordt, Colin Pascal van; Medaglia, Rony; Misuraca, GianlucaEGOV-CeDEM-ePart-* 2020 : Ongoing Research, Practitioners, Posters, Workshops, and Projects at EGOV-CeDEM-ePart 20202020 / p. 269-277 https://ceur-ws.org/Vol-2797/paper26.pdf Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

1167

journal article EST / journal article ENG

Strategies for sustainable and circular management of phosphorus in the Baltic Sea region : The holistic approach of the InPhos projectSmol, Marzena; Preisner, Michal; Bianchini, Augusto; Voronova, Viktoria; Pachel, KarinSustainability2020 / 21 p. : ill https://doi.org/10.3390/su12062567 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1168

book article EST / book article ENG

Streams of approximations, equivalence of recursive effectful programsVeltri, Niccolo; Voorneveld, NielsMathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings2022 / p. 198-221 : ill https://doi.org/10.1007/978-3-031-16912-0_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

1169

journal article EST / journal article 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

journal article EST / journal article ENG

1170

journal article EST / journal article ENG

String diagram rewrite theory II : rewriting with symmetric monoidal structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 511 - 541 https://doi.org/10.1017/S0960129522000317 Journal at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1171

journal article EST / journal article ENG

String diagram rewrite theory III : confluence with and without FrobeniusBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 829-869 https://doi.org/10.1017/S0960129522000123 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1172

book article EST / book article ENG

String diagrammatic electrical circuit theoryBoisseau, Guillaume; Sobocinski, Pawel MariaarXiv2022 / 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

book article EST / book article ENG

1173

book article EST / book article ENG

String diagrammatic trace theoryEarnshaw, Matthew; 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

book article EST / book article ENG

1174

book article EST / book article ENG

The structure of concurrent process historiesNester, Chad MitchellCoordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings2021 / p. 209−224 https://doi.org/10.1007/978-3-030-78142-2_13 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

1175

book article EST / book article 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

book article EST / book article ENG

Computer Science (category)

types of item

keyword 130

subject term 6

author 1