Searching - TalTech Research Portal

display

sort

4776

journal article

An approach for verification assertions reuse 2 in RTL test pattern generationJenihhin, Maksim; Raik, Jaan; Ubar, Raimund-Johannes; Viilukas, Taavi; Fujiwara, HideoJournal of Shanghai Normal University : Natural Sciences2010 / p. 441-447 : ill https://www.researchgate.net/publication/240613999_An_Approach_for_Verification_Assertions_Reuse_in_RTL_Test_Pattern_Generation

journal article

4777

book article

Approach of an elevated criterion for frost resistance of concrete according to Estonian practice in concrete industryLiisma, EneliNordic Concrete Research : proceedings of XXIII Nordic Concrete Research Symposium : Aalborg, Denmark, 21-23 August, 20172017 / p. 153-156 : ill

book article

4778

book article

An approach of data mining using monotone systemsKuusik, Rein, inform.; Lind, GreteProceedings of Fifth International Conference on Enterprise Information Systems : ICEIS 2003 : Angers, France, April 23-26, 2003. Vol. 22003 / p. 482-485

book article

4779

book article EST / book article ENG

Approach to account for external dynamics in fluid-structure interaction analysis in AbaqusSahk, Tarmo; Kõrgesaar, Mihkel; Yu, ZhaolongInnovations in the Analysis and Design of Marine Structures2025 / p. 289-294 https://doi.org/10.1201/9781003642411-35

book article EST / book article ENG

4780

journal article EST / journal article ENG

An approach to analyze the performance of advanced manufacturing environmentMahmood, Kashif; Otto, Tauno; Golova, Jelena; Kangru, Tavo; Kuts, VladimirProcedia CIRP2020 / p. 628−633 https://doi.org/10.1016/j.procir.2020.04.042 Conference Proceedings at Scopus Article at Scopus

journal article EST / journal article ENG

4781

journal article EST / journal article ENG

An approach to develop a digital twin for industry 4.0 systems : manufacturing automation case studiesGuerra-Zubiaga, David; Kuts, Vladimir; Mahmood, Kashif; Bondar, Alex; Nasajpour-Esfahani, Navid; Otto, TaunoInternational Journal of Computer Integrated Manufacturing2021 / p. 933-949 : ill https://doi.org/10.1080/0951192X.2021.1946857 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

4782

book article

An approach to integrated CAD/CAM system implementationTamm, Boris, inform.; Küttner, Rein; Pruuden, JuhanAdvances in CAD/CAM : proceedings of the 5th International IFIP/IFAC Conference on Programming Research and Operations Logistics in Advanced Manufacturing Technology ; PROLAMAT 82 , Leningrad, USSR, 16 - 18 May, 19821983 / p. 315-334

book article

4783

book article

An approach to system-level design for testJervan, Gert; Ubar, Raimund-Johannes; Peng, Z.; Eles, PetruSystem-level test and validation of hardware/software systems2005 / p. 121-149 : ill

book article

4784

journal article EST / journal article ENG

Approaches and challenges in the diagnosis and management of secondary progressive multiple sclerosis : a Central Eastern European perspective from healthcare professionalsBoyko, Aleksey; Therapontos, Christina; Horakova, Dana; Szilasiova, Jarmila; Kalniņa, Jolanta; Gross-Paju, KatrinMultiple sclerosis and related disorders2021 / art. 102778, 12 p. : ill https://doi.org/10.1016/j.msard.2021.102778 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

4785

book article

Approaches for improving VoIP QoS in WMNsMeeran, Mohammad Tariq; Annus, Paul; Le Moullec, Yannick2017 International Conference on Electrical Engineering and Computer Science (ICECOS 2017) : Palembang, Indonesia, 22-23 August 20172017 / p. 22-27 : ill https://doi.org/10.1109/ICECOS.2017.8167138

book article

4786

dissertation

Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisidLai, Xinhui2022 https://doi.org/10.23658/taltech.29/2022 https://digikogu.taltech.ee/et/Item/cff1aeb9-b0b2-49ce-b81a-bfb9dc25fd56 https://www.ester.ee/record=b5502807*est

dissertation

Related publications 5

4787

book article

Approaches to improve hierarchical ATPG for synchronous sequential circuitsViilukas, TaaviInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kuuenda aastakonverentsi artiklite kogumik : 3.-5. oktoobril 2012, Laulasmaa2012 / p. 105-108 : ill

book article

4788

journal article EST / journal article ENG

Approaches to strengthen the social cohesion between displaced and host communitiesJayakody, Chathuranganee; Malalgoda, Chamindi; Witt, Emlyn David QivitoqSustainability2022 / art. 3413 https://doi.org/10.3390/su14063413 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

4789

book article

Approaches to use semantic web technologies in real applicationsSeiler, Sven; Sell, RaivoAnnals of DAAAM for 2009 & proceedings of the 20th International DAAAM Symposium "Intelligent Manufacturing & Automation : Focus on Theory, Practice and Education" : 25-28th November 2009, Vienna, Austria2009 / p. 1741-1742 : ill

book article

4790

book article

Approximate Gauss-Newton methods for the nonlinear least squares problemVaarmann, OtuThe Third World Congress of Nonlinear Analysts : July 19-26, 2000, Catania, Italy2000 / [1] p

book article

4791

book article

Approximate methods for ill-posed optimization problemsVaarmann, OtuORBEL 14 : Fourteenth Conference on Quantitative Methods for Decision Making : January 20-21, 2000 : book of abstracts2000 / p. 11-12

book article

4792

book article

Approximate methods for two-point boundary value-problemVaarmann, OtuTheory and practice of differential equations2000 / p. 31-38

book article

4793

book article

Approximate methods for unstable nonlinear optimization problems [Electronic resource]Vaarmann, OtuInternationales Kolloquium über Anwendungen der Informatik und der Mathematik in Architektur und Bauwesen : Promise and reality : gemeinsam mit eCAADe 2000 : 22. bis 24. Juni 2000, Weimar2000 / [6] p. [CD-ROM]

book article

4794

book article

Approximate numerical solutions to inverse problems for preventive protection of marine environmentSoomere, Tarmo28th Nordic Seminar on Computational Mechanics, 22-23 October, Tallinn, 2015 : proceedings of the NSCM282015 / p. 25-28

book article

4795

book article

Approximate solution of ill-posed optimization problemsVaarmann, OtuMathematical Modelling and Analysis : abstracts of the 10th International Conference MMA2005AMPCMAM2 : Trakai2005 / p. 145

book article

4796

book article

Approximate solution of stochastic programs with probability functionalsLepp, RihoProceedings of the Conference on Operations Research OR98, 31 August-03 September 1998, Zürich1998 / p. 63-64 https://www.kybernetika.cz/content/1987/6/476/paper.pdf

book article

4797

book article

Approximate solution of stochastic programs with probability functionalsLepp, RihoAbstracts of Papers of 19th IFIP Conference on System Modelling and Optimization : 12-16 July 1999, Cambridge, England1999 / p. 31

book article

4798

journal article

An approximate solution to linear and quadratic programming problems by the method of least squaresÜbi, EvaldProceedings of the Estonian Academy of Sciences. Physics. Mathematics1998 / 1, p. 19-28

journal article

4799

book article

Approximation by generalized Shannon sampling operators generated by band-limited kernels [Electronic resource]Kivinukk, Andi; Tamberg, GertGAMM2008 : 79th annual Meeting of the International Association of Applied Mathematics and Mechanics : University of Bremen, 31st March - 4th April 20082008 / [CD-ROM] https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=68a3a953a3772a8b74615a8376f4680ad11fc82c

book article

4800

book article

Approximation by Shannon sampling operators in terms of an averaged modulus of smoothnessKivinukk, Andi; Tamberg, GertProceedings of 10th International Conference on Sampling Theory and Applications2013 / p. 540-543 https://www.eurasip.org/Proceedings/Ext/SampTA2013/papers/p540-tamberg.pdf

book article

types of item