Searching - TalTech Research Portal

display

sort

226

journal article EST / journal article ENG

Realization of nonlinear input-output equations in controller canonical formKaldmäe, Arvo; Kotta, ÜlleKybernetika2018 / p. 736-747 https://doi.org/10.14736/kyb-2018-4-0736 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

227

book article EST / book article ENG

Real-time crack detection on concrete using non-destructive approaches based on Yolo series : ReviewBassir, David; Chang, Haochen; Majak, JüriAdvances in Machinery, Materials Science and Engineering Application X : Proceedings of the 10th International Conference (MMSE 2024), Paris, France, 27–28 July 20242024 / p. 820-826 https://doi.org/10.3233/ATDE240712 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

228

journal article EST / journal article ENG

Real-time demands and calibration of water distribution systemsVassiljev, Anatoli; Koor, Margus; Koppel, TiitAdvances in engineering software2015 / p. 108-113 : ill https://doi.org/10.1016/j.advengsoft.2015.06.012 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

229

book article EST / book article ENG

Real-time localization and visualization of a sound source for virtual reality applicationKöse, Ahmet; Tepljakov, Aleksei; Astapov, Sergei2017 25th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) : Split, Croatia, September 21-23, 20172017 / p 219-224 : ill https://doi.org/10.23919/SOFTCOM.2017.8115577 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

230

book article EST / book article ENG

Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward inductionIqbal, Junaid; Truscan, Dragos; Vain, Jüri; Porres, IvanProceedings of the Fifth European Conference on the Engineering of Computer-Based Systems2017 / 10 pages : ill https://doi.org/10.1145/3123779.3123813 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

231

book article EST / book article ENG

Regular monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaLeibniz International Proceedings in Informatics, LIPIcs2022 / p. 44:1-44:14 https://doi.org/10.4230/LIPIcs.MFCS.2022.44 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

Related publications 1

Languages of string diagrams = Nöördiagrammide keeled

232

journal article EST / journal article ENG

Regular planar monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaJournal of logical and algebraic methods in programming2024 / art. 100963, 20 p. : ill https://doi.org/10.1016/j.jlamp.2024.100963 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Languages of string diagrams = Nöördiagrammide keeled

233

book article EST / book article ENG

Reordering derivatives of trace closures of regular languages [Online resource]Maarand, Hendrik; Uustalu, Tarmo30th International Conference on Concurrency Theory : (CONCUR 2019)2019 / art. 40 ; 40:1–40:16 https://doi.org/10.4230/LIPIcs.CONCUR.2019.40 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

234

journal article EST / journal article ENG

Requirements elicitation and specification using the agent paradigm : the case study of an aircraft turnaround simulatorMiller, Tim; Lu, Bin; Sterling, Leon; Beydoun, Ghassan; Taveter, KuldarIEEE transactions on software engineering2014 / p. 1007-1024 : ill https://doi.org/10.1109/TSE.2014.2339827 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

235

book article EST / book article ENG

Research gaps on public service deliveryLopes, Nuno Vasco; Sa Soares, Delfina; Meyerhoff Nielsen, Morten; Tavares, AntonioICEGOV '17 : proceedings of the 10th International Conference on Theory and Practice of Electronic Governance : New Delhi AA, India, March 7-9, 20172017 / p. 465-474 : ill https://doi.org/10.1145/3047273.3047388 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

236

book article EST / book article ENG

Re-shaping the EU digital identity frameworkLips, Silvia; Vinogradova, Natalia; Krimmer, Robert Johannes; Draheim, Dirk23rd Annual International Conference on Digital Government Research (DGO2022) : Intelligent Technologies, Governments and Citizens, June 15-17, 2022 : proceedings2022 / p. 13-21 https://doi.org/10.1145/3543434.3543652 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Related publications 1

A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik

237

journal article EST / journal article ENG

A roadside unit deployment framework for enhancing transportation services in Maghrebian citiesChaabene, Seif Ben; Yeferny, Taoufik; Ben Yahia, SadokConcurrency and Computation: Practice and Experience2021 / art. e5611 https://doi.org/10.1002/cpe.5611 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

238

journal article EST / journal article ENG

A robust mutual authentication scheme for health-focused connected intelligent objectsHammami, Hamza; Ben Yahia, Sadok; Obaidat, Mohammad S.Cluster Computing2025 / art. 63, 16 p https://doi.org/10.1007/s10586-024-04700-3 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

239

book article EST / book article ENG

Robust training of vector quantized bottleneck modelsLancucki, Adrian; Chorowski, Jan; Sanchez, Guillaume; Marxer, Ricard; Chen, Nanxin; Dolfing, Hans J.G.A.; Khurana, Sameer; Alumäe, Tanel; Laurent, Antoine2020 International Joint Conference onNeural Networks (IJCNN), 19-24 July 2020, Glasgow, UK : proceedings2020 / art. 163566 : 7 p https://doi.org/10.1109/IJCNN48605.2020.9207145 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

240

book article EST / book article ENG

RoCo-NAS : robust and compact neural architecture searchGeraeinejad, Vahid; Sinaei, Sima; Modarressi, Mehdi; Daneshtalab, Masoud2021 International Joint Conference on Neural Networks (IJCNN) : proceedings2021 / 8 l https://doi.org/10.1109/IJCNN52387.2021.9534460 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

241

book article EST / book article ENG

The role of linked open statistical data in public service co-creationMcBride, Keegan David Braun; Matheus, Ricardo; Toots, Maarja; Kalvet, Tarmo; Krimmer, Robert JohannesICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland2018 / p. 679-681 https://doi.org/10.1145/3209415.3209446 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

242

book article EST / book article ENG

Russian Federal remote E-voting scheme of 2021 - protocol description and analysisVakarjuk, Jelizaveta; Snetkov, Nikita; Willemson, JanEICC '22: Proceedings of the 2022 European Interdisciplinary Cybersecurity Conference2022 / p. 29-35 https://doi.org/10.1145/3528580.3528586 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

243

journal article EST / journal article ENG

SCARF : securing chips with a robust framework against fabrication-time hardware trojansEslami, Mohammad; Ghasempouri, Tara; Pagliarini, Samuel NascimentoIEEE Transactions on Computers2024 / p. 2761-2775 https://doi.org/10.1109/TC.2024.3449082 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

SCARF : securing chips with a robust framework against fabrication-time hardware Trojans : preprint

244

journal article EST / journal article ENG

Securing verified IO programs against unverified code in F∗Andrici, Cezar-Constantin; Ciobâca, Stefan; HriÅ£cu, Catalin; Martínez, Guido; Rivas, Exequiel; Tanter, Éric; Winterhalter, ThéoProceedings of the ACM on programming languages2024 / art. 74, 34 p. : ill https://doi.org/10.1145/3632916 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

245

journal article EST / journal article ENG

A security-aware and LUT-based CAD flow for the physical synthesis of hASICsAbideen, Zain Ul; Perez, Tiago Diadami; Martins, Mayler; Pagliarini, Samuel NascimentoIEEE transactions on computer-aided design of integrated circuits and systems2023 / p. 3157-3170 : ill https://doi.org/10.1109/TCAD.2023.3244879 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Leveraging FPGA Reconfigurability as an Obfuscation Asset = FPGA ümberkonfigureeritavuse rakendamine hägustamise vahendina

246

book article EST / book article ENG

Self-aware smart contracts with legal relevanceNorta, Alexander2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings2018 / p. 4113-4120 : ill https://doi.org/10.1109/IJCNN.2018.8489235 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

247

book article EST / book article ENG

Semi-Substructural Logics à la LambekWan, Cheng-SyuanProceedings of 11th International Conference on Nonclassical Logics : Theory and Applications (NCL’24)2024 / p. 195–213 https://doi.org/10.4204/EPTCS.415.18 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Related publications 1

Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria

248

book article EST / book article ENG

Semi-substructural logics with additivesVeltri, Niccolo; Wan, Cheng-SyuanProceedings of the 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, Rome, Italy & Paris, France, 1-2 July, 2023 & 23rd April 20232024 / p. 63-80 https://doi.org/10.4204/EPTCS.402.8 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria

249

journal article EST / journal article ENG

Serverless, FaaS and why organizations need themAstrova, Irina; Koschel, Arne; Schaaf, Marc; Klassen, Samuel; Jdiya, KerimIntelligent decision technologies2021 / p. 825-838 https://doi.org/10.3233/IDT-210194 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

250

book article EST / book article ENG

Sights, titles and tags: mining a worldwide photo database for sightseeingLuberg, Ago; Pindis, Jakob; Tammet, Tanel10th International Conference on Web Intelligence, Mining and Semantics (WIMS 2020) & 5th International Conference on Real-time Intelligent Systems (RTIS 2020) : 30 June - 3 July 2020, Biarritz, France : proceedings2020 / p. 149-158 : ill https://doi.org/10.1145/3405962.3405987 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Arvutiteadus. Tarkvara (category)

types of item

subject term 96

keyword 1