Otsing - TalTech teadusportaal

kuva

reasta

6576

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

6577

artikkel kogumikus

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

artikkel kogumikus

6578

artikkel kogumikus

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

artikkel kogumikus

6579

artikkel kogumikus

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

artikkel kogumikus

6580

artikkel kogumikus

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

artikkel kogumikus

6581

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

6582

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

6583

artikkel kogumikus

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

artikkel kogumikus

6584

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

6585

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

6586

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 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

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

6588

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

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

6589

artikkel kogumikus

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

artikkel kogumikus

6590

dissertatsioon

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

dissertatsioon

6591

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

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

6592

artikkel kogumikus

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

artikkel kogumikus

6593

artikkel kogumikus

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

artikkel kogumikus

6594

artikkel kogumikus

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

artikkel kogumikus

6595

artikkel ajakirjas

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

artikkel ajakirjas

6596

artikkel kogumikus

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

artikkel kogumikus

6597

artikkel kogumikus

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

artikkel kogumikus

6598

artikkel kogumikus

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

artikkel kogumikus

6599

artikkel kogumikus

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

artikkel kogumikus

6600

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

teaviku laadid