Searching - TalTech Research Portal

display

sort

301

book article

Lean formalization of extended regular expression matching with lookaroundsZhuchko, Ekaterina; Veanes, Margus; Ebner, GabrielCPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 20242024 / p. 118 - 131 https://doi.org/10.1145/3636501.3636959 Article at Scopus Article at WOS

book article

302

journal article

Legal engineering of the anti-abuse rule in ATAD : architecture of the regression tree modelKünnapas, KaidoTalTech journal of European studies2021 / p. 65-82 : ill https://www.ester.ee/record=b5290032*est

journal article

303

journal article

Lihtsaim NP-keeruline ülesanneVeski, AndreA & A2009 / 2, lk. 51-56 : ill https://artiklid.elnet.ee/record=b1451686*est

journal article

304

dissertation

Liitobjektide identifitseerimisest distantsmeetodil : magistritööSullakatko, Toomas1992 https://www.ester.ee/record=b2629856*est

dissertation

305

book article

Lineaarse süsteemi parameetrite optimeerimise algoritmide uurimineMatskin, M.; Rüstern, EnnuXXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid1977 / lk. 48 https://www.ester.ee/record=b2449987*est

book article

306

journal article

Linear algorithms for recognizing and parsing superpositional graphsPeder, Ahti; Nestra, Härmel; Raik, Jaan; Tombak, Mati; Ubar, Raimund-JohannesFacta Universitatis [Niš]. Series electronics and energetics2011 / p. 325-339 : ill http://dx.doi.org/10.2298/FUEE1103325P

journal article

307

book article

Linear algorithms for testing superpositional graphsPeder, Ahti; Nestra, Härmel; Raik, Jaan; Tombak, Mati; Ubar, Raimund-JohannesProceedings of the Reed-Muller 2011 Workshop : May 25-26, 2011, Tuusula, Finland2011 / p. 111-118 : ill

book article

308

book article

LogCluster - a data clustering and pattern mining algorithm for event logsVaarandi, Risto; Pihelgas, Mauno11th International Conference on Network and Service Management, CNSM 2015 : Barcelona, Spain, November 9-13, 20152015 / p. 1-7

book article

309

book article EST / book article ENG

LQG problem of descriptor systems and separation principleNosrati, Komeil; Belikov, Juri; Tepljakov, Aleksei; Petlenkov, Eduard2024 IEEE 63rd Conference on Decision and Control (CDC)2024 / p. 1412 - 1417 https://doi.org/10.1109/CDC56724.2024.10886178 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

310

book article

Maatriksalgoritmide tähtsusest ehitusmehaanikasEek, RaimondÕppemetoodika küsimusi ; 101973 / lk. 79-86 https://www.ester.ee/record=b1346720*est

book article

311

book article

Machine learning clustering techniques for selective mitigation of critical design featuresLange, Thomas; Balakrishnan, Aneesh; Glorieux, Maximilien; Alexandrescu, Dan; Sterpone, LucaProceedings : 2020 26th IEEE International Symposium on On-Line Testing and Robust System Design : IOLTS 2020, Napoli, Italy, July 13-16, 2020 : virtual edition2020 / 7 p. : ill https://doi.org/10.1109/IOLTS50870.2020.9159751

book article

312

book article

Machine learning task as a diclique extracting taskKuusik, Rein, inform.; Treier, Tarvo; Lind, Grete; Roosmann, Peeter2009 Sixth International Conference on Fuzzy Systems and Knowledge Discovery : FSKD'09 : Tianjin, China, August 14-16, 2009. 12009 / p. 555-560 https://ieeexplore.ieee.org/document/5358516

book article

313

journal article

Martínez-Guerra, Rafael; Montesinos-García, Juan Javier; Flores-Flores, Juan Pablo. Encryption and decryption algorithms for plain text and images using fractional calculus : [review)Henno, JaakZentralblatt MATH2024 / 1 p. https://zbmath.org/1531.94002

journal article

314

journal article

Mathematical programming via the least-squares methodÜbi, EvaldCentral European journal of mathematics2010 / 4, p. 795-806 https://link.springer.com/article/10.2478/s11533-010-0049-9

journal article

315

book

Mathematics of Program Construction : 8th International Conference, MPC 2006 : Kuressaare, Estonia, July 2006 : proceedingsUustalu, Tarmo2006 https://www.ester.ee/record=b2160527*est

book

316

book article

Matrix reordering with monotonic systems : backround, formulation, motivation and extensionsLiiv, InnarInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum2007 / lk. 13-16 : ill

book article

317

book article

Maximum likelihood estimation of nominal direction of arrival and angular spread using an array of sensorsTrump, Tõnu; Ottersten, B.Proceedings COST 229 Final Workshop on Adaptive Systems, Intelligent Approaches, Massively Parallel Computing and Emergent Techniques in Signal Processing and Communications, Oct. 1994, Bayona (Vigo), Spain1994 / p. 77-82 https://www.researchgate.net/publication/2686731_Maximum_Likelihood_Estimation_of_Nominal_Direction_of_Arrival_and_Angular_Spread_Using_an_Array_of_Sensors

book article

318

journal article EST / journal article ENG

A method for assessment of the general circulation model quality using the K-means clustering algorithm : a case study with GETM v2.5Raudsepp, Urmas; Maljutenko, IljaGeoscientific model development2022 / p. 535-551 https://doi.org/10.5194/gmd-15-535-2022 Journal metrics at Scopus Article at Scopus Journal methods at WOS Article at WOS

journal article EST / journal article ENG

319

book article

Methodologies on the mechatronics domainSell, Raivo; Leomar, PriitOST-03 Symposium on Machine Design2003 / p. 53-59 : ill https://www.researchgate.net/publication/259519138_Methodologies_on_the_Mechatronics_Domain

book article

320

book article

A methodology for automated mining of compact and accurate assertion setsHeidari Iman, Mohammad Reza; Raik, Jaan; Jenihhin, Maksim; Jervan, Gert; Ghasempouri, Tara2021 IEEE Nordic Circuits and Systems Conference (NorCAS) : Oslo, Norway, October 26-272021 / 7 p. : ill https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9599865 https://doi.org/10.1109/NorCAS53631.2021.9599865

book article

321

book article

Metropolise algoritm kui muutumise vajaduse kriteeriumPihlak, MargusAastaraamat 2017 / Eesti Matemaatika Selts2018 / lk. 45-53 : ill https://www.ester.ee/record=b1226018*est

book article

322

book article

Minimization of the high-level fault model for microprocessor control parts [Online resource]Ubar, Raimund-Johannes; Oyeniran, Adeboye Stephen; Medaiyese, OlusijiBEC 2018 : 2018 16th Biennial Baltic Electronics Conference (BEC) : proceedings of the 16th Biennial Baltic Electronics Conference, October 8-10, 20182018 / 4 p.: ill https://doi.org/10.1109/BEC.2018.8600980

book article

323

journal article EST / journal article ENG

Mobile smart contracts : exploring scalability challenges and consensus mechanismsDeval, Vipin; Dwivedi, Vimal Kumar; Dixit, Abhishek; Norta, Alex; Shah, Syed Attique; Sharma, Rahul; Draheim, DirkIEEE Access2024 / p. 34265 - 34288 https://doi.org/10.1109/ACCESS.2024.3371901 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

324

book article

Model checking emerging behavior properties of robot swarmsJuurik, Silver; Vain, Jüri21st Nordic Workshop on Programming Theory : NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : proceedings2009 / p. 68-70 https://www.researchgate.net/publication/228525009_Model_checking_of_emergent_behaviour_properties_of_robot_swarms

book article

325

journal article

Model checking of emergent behaviour properties of robot swarmsJuurik, Silver; Vain, JüriProceedings of the Estonian Academy of Sciences2011 / 1, p. 48-54 : ill https://www.researchgate.net/publication/228525009_Model_checking_of_emergent_behaviour_properties_of_robot_swarms

journal article

algoritmid (subject term)

types of item

subject term 2