Searching - TalTech Research Portal

display

sort

1451

book article EST / book article ENG

Special session: reliability assessment recipes for DNN acceleratorsAhmadilivani, Mohammad Hasan; Bosio, Alberto; Deveautour, Bastien; Dos Santos, Fernando Fernandes; Guerrero-Balaguera, Juan-David; Jenihhin, Maksim; Kritikakou, Angeliki; Sierra, Robert Limas; Raik, Jaan; Taheri, Mahdi42nd IEEE VLSI Test Symposium, VTS 20242024 / 11 p. : ill https://doi.org/10.1109/VTS60656.2024.10538707 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Methods for reliability assessment and enhancement of deep neural networks hardware accelerators = Süvanärvivõrkude riistvara kiirendite töökindluse hindamine ja täiustamine

1452

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

1453

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

1454

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

1455

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

1456

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

1457

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

1458

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

1459

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

1460

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

1461

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

1462

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

1463

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

1464

journal article EST / journal article ENG

Stateful runners of effectful computationsUustalu, TarmoElectronic notes in theoretical computer science2015 / p. 403-421 https://doi.org/10.1016/j.entcs.2015.12.024 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

1465

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

1466

journal article EST / journal article ENG

Static state feedback linearization of nonlinear control systems on homogeneous time scalesBartosiewicz, Zbigniew; Kotta, Ülle; Tõnso, Maris; Wyrwas, MałgorzataMathematics of control, signals, and systems2015 / p. 523-550 https://doi.org/10.1007/s00498-015-0150-5 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1467

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

1468

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

1469

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

1470

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

journal article EST / journal article ENG

1471

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

1472

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

1473

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

1474

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

1475

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

Arvutiteadus (category)

types of item

subject term 1