Searching - TalTech Research Portal

display

sort

10626

journal article

Combining communicating sequential processes and temporal logicPearson, Justin; Bryans, JeremyProceedings of the Estonian Academy of Sciences. Engineering1998 / 2, p. 130-137

journal article

10627

book article

Combining conceptual modelling and formal methods to design control systemsVain, Jüri; Hooman, J.Selected papers from the 8th Nordic Workshop on Programming Theory, University of Oslo, May, 19971997 / p. 109-118

book article

10628

journal article

Combining different modification methods of the Stokes formula [Electronic resource]Ellmann, ArtuGeophysical research abstracts2010 / p. EGU2010-12420 [CD-ROM]

journal article

10629

book article

Combining dynamic slicing and mutation operators for ESL correctionRepinski, Urmas; Hantson, Hanno; Jenihhin, Maksim; Raik, Jaan; Ubar, Raimund-JohannesProceedings : 2012 17th IEEE European Test Symposium (ETS) : May 28th-June 1st, 2012, Annecy, France2012 / [6] p. : ill https://ieeexplore.ieee.org/document/6233020

book article

10630

book article

Combining effects and coeffects via gradingGaboardi, Marco; Katsumata, Shin-ya; Orchard, Dominic; Breuvart, Flavien; Uustalu, TarmoICFP 2016 : proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming : Nara, Japan, September 18-24, 20162016 / p. 476-489 https://doi.org/10.1145/2951913.2951939

book article

10631

book article

Combining fault analysis technologies for ISO26262 functional safety verificationAugusto da Silva, Felipe; Bagbaba, Ahmet Cagri; Hamdioui, Said; Sauer, Christian2019 IEEE 28th Asian Test Symposium (ATS) : 10–13 December 2019, Kolkata, India : proceedings2019 / p. 129–134 : ill https://doi.org/10.1109/ATS47505.2019.00024

book article

Related publications 1

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

10632

journal article EST / journal article ENG

Combining financial and ecological sustainability in bank capital regulationsCho, H.-j.; Lehner, Othmar M.; Nilavongse, RachatarJournal of applied accounting research2021 / p. 423-435 https://doi.org/10.1108/JAAR-10-2020-0221 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

10633

journal article

Combining functional and structural approaches in test generation for digital systemsUbar, Raimund-JohannesMicroelectronics reliability1998 / p. 317-329 : ill https://doi.org/10.1016/S0026-2714(97)00192-3

journal article

10634

book article EST / book article ENG

Combining fuzzy and probabilistic reasoning for crowd-sourced categorization and taggingTammet, Tanel; Luberg, AgoWeb Reasoning and Rule Systems : 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014 : proceedings2014 / p. 247-248 https://link.springer.com/book/10.1007/978-3-319-11113-1 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

10635

book article

Combining hybrid and end-to-end approaches for the OpenASR20 challengeAlumäe, Tanel; Kong, JiamingInterspeech 2021 : Brno, Czechia, 30 August - 3 September 2021 : Proceedings of the 22nd Annual Conference of the International Speech Communication Association, Brno 30 August 2021 through 3 September 20212021 / p. 1585-1589 https://doi.org/10.21437/Interspeech.2021-1086

book article

10636

book article

Combining JSON-LD with first order logicTammet, Tanel; Sutcliffe, GeoffProceedings - 2021 IEEE 15th International Conference on Semantic Computing, ICSC 20212021 / p. 256 - 261 https://doi.org/10.1109/ICSC50631.2021.00051 Article at Scopus Article at WOS

book article

10637

book article

Combining learning, training and research in laboratory course for design and testUbar, Raimund-Johannes; Orasson, Elmet; Raik, Jaan; Wuttke, Heinz-DietrichThe 7th Biennial Conference on Electronics and Microsystem Technology "Baltic Electronics Conference" : BEC 2000 : October 8 - 11, 2000, Tallinn, Estonia : conference proceedings2000 / p. 221-224 : ill https://www.researchgate.net/publication/242397131_Combining_Learning_Training_and_Research_in_Laboratory_Course_for_Design_and_Test

book article

10638

journal article

Combining multiple sound sources localization hybrid algorithm and fuzzy rule based classification for real-time speaker tracking applicationIbala, Christian; Astapov, Sergei; Riid, AndriInternational journal of microelectronics and computer science2013 / p. 12-25 : ill https://www.researchgate.net/publication/261467057_Combining_Multiple_Sound_Sources_Localization_Hybrid_Algorithm_and_Fuzzy_Rule_Based_Classification_for_Real-time_Speaker_Tracking_Application

journal article

10639

book article EST / book article ENG

Combining semantic parsing frameworks for automated knowledge base constructionVerrev, MartinAI^3 2022 : 6th Workshop on Advances in Argumentation in Artificial Intelligence2022 https://ceur-ws.org/Vol-3354/paper1.pdf Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

10640

book article

Combining symbolic techniques with topological approach in test generationUbar, Raimund-JohannesProceedings of the 3rd Workshop on Mixed Design of Integrated Circuits and Systems, Lodz, May 19961996 / p. 377-382

book article

10641

dissertation

Combining work and family life - a comparative perspective on changes in parental roles in Estonia, Finland and Sweden = Töö- ja pereelu ühitamise rollide muutustest lastevanematel Eesti, Soome ja Rootsi võrdlusesPõdder, Helbe2015 https://digi.lib.ttu.ee/i/?2446 https://www.ester.ee/record=b4477968*est

dissertation

10642

journal article

Combining work and parenthood in Estonia, Sweden and FinlandPõdder, Helbe; Kirch, AkselEuropean integration studies : research and topicalities2013 / p. 60-70 https://www.academia.edu/110960323/Combining_Work_and_Parenthood_in_Estonia_Sweden_and_Finland

journal article

10643

book article

Combustion air control in biofuel-fired boilersVeski, Ants; Tiikma, Toomas; Borovikov, VitaliProceedings of the 12th European Conference and Technology Exhibition on Biomass for Energy, Amsterdam, 17-21 June, 2002. VI2002 / p. 408-411

book article

10644

journal article EST / journal article ENG

Combustion as a possible solution to pyrolytic wastewater utilizationKonist, Alar; Järvik, Oliver; Pihu, Tõnu; Nešumajev, DmitriChemical engineering transactions2018 / p. 859-864 : ill https://doi.org/10.3303/CET1870144 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

10645

journal article EST / journal article ENG

Combustion behavior of solid waste fuels in the vertical tube reactor under different oxy-fuel environmentsMukhambet, Yerkebulan; Ybray, Sultan; Shah, Dhawal; Konist, Alar; Sarbassov, YerbolProcess Safety and Environmental Protection2024 / p. 760-768 https://doi.org/10.1016/j.psep.2024.10.062 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

10646

journal article

Combustion characteristics of reed and its suitability as a boiler fuelKask, Ülo; Kask, Livia; Link, SiimMires and peat2013 / p. 1-10 : ill https://www.researchgate.net/publication/259397604_Combustion_characteristics_of_reed_and_its_suitability_as_a_boiler_fuel

journal article

10647

book article

Combustion experience of Estonian oil shale in large power plants [Electronic resource]Pihu, Tõnu; Arro, Hendrik; Prikk, Arvi; Parve, Teet; Loosaar, JüriInternational Conference on Oil Shale "Recent Trends in Oil Shale" : 7-9 November 2006, Amman, Jordan2006 / [13] p. (paper no. rtos-A113) [CD-ROM]

book article

10648

journal article

Combustion of Baltic oil shale in boilers with fluidized bed combustionNešumajev, Dmitri; Ots, Arvo; Parve, Toomas; Pihu, Tõnu; Plamus, Kristjan; Prikk, ArviPower technology and engineering2011 / p. 382-385

journal article

10649

journal article

Combustion of Estonian oil shale in fluidized bed boilers, heating value of fuel, boiler efficiency and CO2 emissionsArro, Hendrik; Prikk, Arvi; Pihu, TõnuOil shale2005 / 4S, p. 399-405 : ill https://artiklid.elnet.ee/record=b2352608*est

journal article

10650

book article

Combustion of fuel mixtures in oil shale fired CFBC and PC boilersPihu, Tõnu; Konist, Alar; Nešumajev, Dmitri; Loo, Lauri; Veinjärv, RainInternational Symposium "Oil shale 100 years" : Estonia, Sept. 20-23, 2016 : [abstracts]2016 / p. 22

book article

types of item