Searching - TalTech Research Portal

display

sort

6576

book article EST / book article ENG

Automata and coalgebras in sategories of SpeciesLoregian, FoscoCoalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings2024 / p. 65-92 https://doi.org/10.1007/978-3-031-66438-0_4 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

6577

book article

Automated area and coverage optimization of minimal latency checkersAzad, Siavoosh Payandeh; Niazmand, Behrad; Apneet Kaur; Raik, Jaan; Jervan, Gert; Hollstein, Thomas2017 22nd IEEE European Test Symposium (ETS 2017), Limassol, Cyprus, 22 – 26 May 2017 : proceedings2017 / p. 7-8 : ill https://doi.org/10.1109/ETS.2017.7968211

book article

6578

book article

Automated complex determination indicators of power qualityMandziy, Victor; Lypnytskyy, Volodymyr; Babyuk, Sergiy; Sysak, Ivan7th International Conference-workshop Compatibility and Power Electronics : CPE 2011 : Tallinn, Estonia, June 3, 2011 : student forum2011 / p. 95-99 : ill

book article

6579

book article

An automated configuration framework for TSN networksHoutan, Bahar; Bergström, Albert; Ashjaei, Mohammad; Daneshtalab, Masoud; Sjödin, Mikael; Mubeen, Saad2021 22nd IEEE International Conference on Industrial Technology (ICIT) : proceedings2021 / p. 771-778 https://doi.org/10.1109/ICIT46573.2021.9453628

book article

6580

book article

Automated correction of design errors by edge redirection on high-level decision diagramsKarputkin, Anton; Ubar, Raimund-Johannes; Tombak, Mati; Raik, Jaan13th International Symposium on Quality Electronic Design (ISQED), 20122012 / p. 686-693 : ill https://ieeexplore.ieee.org/document/6113980

book article

6581

journal article EST / journal article ENG

Automated decision-making in Estonian public sector : innovation, regulation, and challenges about non-dicriminationKerikmäe, Tanel; Joamets, Kristi; Metin, EbruEuropean digital regulation and its impact on member-states2025

journal article EST / journal article ENG

6582

journal article EST / journal article ENG

Automated decision-making in the EU member state's public administration : the compliance of automated decisions of the Estonian unemployment insurance fund with Estonian administrative procedure lawZolkin, Vladlen; Chochia, Archil; Hoffmann, ThomasEuropean Studies : The Review of European Law, Economics and Politics2023 / p. 178-202 https://doi.org/10.2478/eustu-2023-0017 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

6583

book article

Automated design and diagnosis of electronic system based on description language representationWawryn, Krzysztof; Drabarek, JozefBEC : Baltic Electronics Conference : proceedings of the 4th Biennial Conference, October 9-14, 1994, Tallinn (Estonia). 21994 / p. 443-448 https://www.ester.ee/record=b2150914*est

book article

6584

journal article EST / journal article ENG

Automated design error debug using high-level decision diagrams and mutation operatorsRaik, Jaan; Repinski, Urmas; Tšepurov, Anton; Hantson, Hanno; Ubar, Raimund-Johannes; Jenihhin, MaksimMicroprocessors and microsystems2013 / p. 505-513 : ill https://doi.org/10.1016/j.micpro.2012.11.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

6585

journal article EST / journal article ENG

Automated design error localization in RTL designsJenihhin, Maksim; Tšepurov, Anton; Tihhomirov, Valentin; Raik, Jaan; Hantson, Hanno; Ubar, Raimund-Johannes; Bartsch, Günter; Meza Escobar, Jorge Hernan; Wuttke, Heinz-DietrichIEEE design & test of computers2014 / p. 83-92 : ill https://doi.org/10.1109/MDAT.2013.2271420 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

6586

journal article EST / journal article ENG

Automated environmental compliance monitoring of rivers with IoT and open government dataMiasayedava, Lizaveta; McBride, Keegan David Braun; Tuhtan, Jeffrey AndrewJournal of environmental management2022 / art. 114283, 10 p. : ill https://doi.org/10.1016/j.jenvman.2021.114283 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Open environmental data assimilation under unknown uncertainty and multiple spatio-temporal scales [Electronic resource] = Keskkonna avaandmete assimilatsioon tundmatu määramatuse ning erinevate aeg-ruumi skaalade korral

6587

journal article EST / journal article ENG

Automated fault diagnosis for an autonomous underwater vehicleDearden, Richard; Ernits, Juhan-PeepIEEE journal of oceanic engineering2013 / p. 484-499 : ill https://doi.org/10.1109/JOE.2012.2227540 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

6588

journal article EST / journal article ENG

Automated identification of application-dependent safe faults in automotive systems-on-a-chipsBagbaba, Ahmet Cagri; Augusto da Silva, Felipe; Sonza Reorda, Matteo; Hamdioui, Said; Jenihhin, Maksim; Sauer, ChristianElectronics2022 / art. 319 https://doi.org/10.3390/electronics11030319 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Methods to optimize functional safety assessment for automotive integrated circuits = Meetodid autotööstuse kiipide funktsionaalse ohutuse hindamise optimeerimiseks

6589

book article

Automated inspection system of electric motor stator and rotor sheetsRoosileht, Ingmar; Mets, Oliver; Lentsius, Marek; Heering, Siim; Hiiemaa, Maido; Tamre, MartProceedings of the 9th International Conference of DAAAM Baltic Industrial Engineering, 24-26th April 2014, Tallinn, Estonia2014 / p. 283-288 : ill

book article

6590

dissertation

An automated legal content capture and visualisation method = Automaatne meetod õigusteabe hankimiseks ja visualiseerimiseksTäks, Ermo2013 http://www.ester.ee/record=b2630616*est

dissertation

6591

journal article EST / journal article ENG

An automated method for mining high-quality assertion setsHeidari Iman, Mohammad Reza; Raik, Jaan; Jenihhin, Maksim; Jervan, Gert; Ghasempouri, TaraMicroprocessors and microsystems2023 / art. 104773 https://doi.org/10.1016/j.micpro.2023.104773 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks

6592

book article

Automated minimization of concurrent online checkers for network-on-chipsSaltarelli, Pietro; Niazmand, Behrad; Hariharan, Ranganathan; Raik, Jaan; Jervan, Gert; Hollstein, Thomas10th International Symposium on Reconfigurable and Communication-centric Systems-on-Chip (ReCoSoC 2015) : Bremen, 29 June - 1 July 20152015 / [8] p. : ill http://dx.doi.org/10.1109/ReCoSoC.2015.7238079

book article

6593

book article

Automated neural network model selection algorithm for feedback linearization based controlVassiljeva, Kristina; Petlenkov, Eduard; Belikov, JuriBEC 2010 : 2010 12th Biennial Baltic Electronics Conference : proceedings of the 12th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia2010 / p. 235-238 : ill

book article

6594

book article

Automated photo categorization for digital forensic analysis using a machine learning-based classifierCastillon Del Mar, Joanna RoseProceedings of the 5th Interdisciplinary Cyber Research Conference 2019 : 29th of June 2019, Tallinn University of Technology2019 / p. 82-84 https://www.ester.ee/record=b5238490*est

book article

6595

journal article

Automated software-based in-field self-test program synthesisJasnetski, Artjom; Ubar, Raimund-Johannes; Tšertov, AntonInternational journal of microelectronics and computer science2017 / p. 57-64 : ill

journal article

6596

book article

Automated software-based self-test generation for microprocessorsJasnetski, Artjom; Ubar, Raimund-Johannes; Tšertov, AntonProceedings of the 24st International Conference Mixed Design of Integrated Circuits and Systems : MIXDES 2017 : Bydgoszcz, Poland, June 19-21, 20142017 / p. 453-458 : ill https://doi.org/10.23919/MIXDES.2017.8005252

book article

6597

book article

Automated test bench generation for high-level synthesis flow ABELITEViilukas, Taavi; Jenihhin, Maksim; Raik, Jaan; Ubar, Raimund-Johannes; Baranov, SamaryProceedings of IEEE East-West Design & Test Symposium (EWDTS'2011) : Sevastopol, Ukraine, September 9-12, 20112011 / p. 13-16 : ill https://ieeexplore.ieee.org/document/6116601

book article

6598

book article

Automated test pattern generator with constraint solverViilukas, Taavi; Raik, JaanInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis2010 / lk. 33-36

book article

6599

book article

Automated test program synthesis for digital systems with high-level decision diagramsUbar, Raimund-JohannesProc. of 7th International Conference2005 / p. 171-180

book article

6600

book article EST / book article ENG

Automated training set size reduction for detection of small and thin objectsPihlak, Rene; Riid, Andri12th International Conference on Information Systems and Advanced Technologies "ICISAT 2022" : Intelligent Information, Data Science and Decision Support System2023 / p. 423-433 https://doi.org/10.1007/978-3-031-25344-7_39 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

types of item