Searching - TalTech Research Portal

display

sort

151

book article EST / book article ENG

Certified Foata normalization for generalized tracesMaarand, Hendrik; Uustalu, TarmoNASA Formal Methods Symposium : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings2018 / p. 299-314 https://doi.org/10.1007/978-3-319-77935-5_21 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

152

book article EST / book article ENG

Certified parsing of regular languagesFirsov, Denis; Uustalu, TarmoCertified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings2013 / p. 98 - 113 https://doi.org/10.1007/978-3-319-03545-1_7 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

153

book article

Chain resolution for the Semantic WebTammet, TanelAutomated Reasoning : Second International Joint Conference, IJCAR 2004 : Cork, Ireland, July 4-8, 2004 : proceedings2004 / p. 307-320

book article

154

book article

Challenges and possibilities of enforcing the rule of Law within the EU constitutional edifice - the need for increased role of court of justice, EU charter and diagonality in perceptionHamulak, Ondrej; Circolo, AndreaThe EU in the 21st century : challenges and opportunities for the European integration process2020 / p. 155-169 https://doi.org/10.1007/978-3-030-38399-2_10

book article

155

book article

Challenges in collecting digital evidence : a legal perspectiveKasper, Agnes; Laurits, EneliThe future of law and eTechnologies2016 / p. 195-233 : ill http://dx.doi.org/10.1007/978-3-319-26896-5_10

book article

156

book article EST / book article ENG

Challenges of smart grids implementationAhmadiahangar, Roya; Rosin, Argo; Palu, Ivo; Azizi, AydinDemand-side flexibility in smart grid2020 / p. 1-15 https://doi.org/10.1007/978-981-15-4627-3_1 Journal metrics at Scopus Article at Scopus

book article EST / book article ENG

157

book article EST / book article ENG

Challenges of teaching programming in StackOverflow eraPöial, JaanusEducating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 12021 / p. 703-710 https://doi.org/10.1007/978-3-030-68198-2_65 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

158

book article

Change of power and its influence on country's europeanization process. Case study : GeorgiaChochia, Archil; Popjanevski, JohannaPolitical and legal perspectives of the EU eastern partnership policy2016 / p. 197-210 http://dx.doi.org/10.1007/978-3-319-27383-9_13 http://www.ester.ee/record=b4556715*est

book article

159

book article EST / book article ENG

ChangeMakers – promoting engineering through developing the soft skills of youngstersAnnus, Ivar; Kaur, KatrinFutureproofing Engineering Education for Global Responsibility : Proceedings of the 27th International Conference on Interactive Collaborative Learning (ICL 2024) ; vol. 32025 / p. 184-194 https://doi.org/10.1007/978-3-031-83523-0_17

book article EST / book article ENG

160

book article

A characterization of a class of 2-groups by their endomorphism semigroupsGramushnjak, Tatjana; Puusemp, PeeterGeneralized Lie theory in mathematics, physics and beyond2009 / p. 151-159 https://www.researchgate.net/publication/225250270_A_Characterization_Of_A_Class_Of_2-Groups_By_Their_Endomorphism_Semigroups

book article

161

book article EST / book article ENG

A Characterization of Amenable Groups by Besicovitch PseudodistancesCapobianco, Silvio; Guillon, PierreCellular Automata and Discrete Complex Systems : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020 : proceedings2020 / p. 99-110 https://doi.org/10.1007/978-3-030-61588-8_8 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

162

book article

Charles-Irene Castel, abbe de Saint-Pierre : the role of religion in the European integrationRamiro Troitino, DavidThe European Union and its political leaders : understanding the integration process2022 / p. 17-27 https://doi.org/10.1007/978-3-030-96662-1_3

book article

163

book article EST / book article ENG

Charting a Course for Sustainable Port Operations : Insights on Green Ammonia Production and BunkeringHrenov, Georgi; Reinhold, Karin; Järvis, Marina; Prause, Gunnar KlausReliability and Statistics in Transportation and Communication : Human Sustainability and Resilience in the Digital Age : Selected Papers from the 24th International Multidisciplinary Conference on Reliability and Statistics in Transportation and Communication, RelStat-2024, Riga, Latvia, September 25-28, 20242025 / p. 339-412 https://link.springer.com/chapter/10.1007/978-3-031-87532-8_35 https://doi.org/10.1007/978-3-031-87532-8_35

book article EST / book article ENG

164

book article EST / book article ENG

Chemical analysis of dumped chemical warfare agents during the MODUM projectSöderström, Martin; Östin, Anders; Vaher, Merike; Jõul, Piia; Lees, Heidi; Kaljurand, MihkelTowards the monitoring of dumped munitions threat (MODUM) : a study of chemical munitions dumpsites in the Baltic Sea2018 / p. 71-103 https://doi.org/10.1007/978-94-024-1153-9_4 Article collections at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

165

journal article EST / journal article ENG

Chemical bath deposition of SnS thin films on ZnS and CdS substratesSafonova, Maria; Nair, Padmanabhan Pankajakshy Karunakaran; Mellikov, Enn; Garcia, A. R.; Kerm, Karin; Revathi, Naidu; Romann, Tavo; Mikli, Valdek; Volobujeva, OlgaJournal of materials science : materials in electronics2014 / p. 3160-3165 : ill https://doi.org/10.1007/s10854-014-1998-8 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

166

journal article EST / journal article ENG

Chemistry as a practical science : Edward Caldin revisitedMüürsepp, PeeterFoundations of chemistry2016 / p. 113-123 https://doi.org/10.1007/s10698-015-9244-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

167

journal article EST / journal article ENG

Chemistry as a practical science (Edward Caldin revisited)Müürsepp, PeeterFoundations of chemistry2016 / p. 213-223 https://doi:10.1007/s10698-016-9257-0 Journal metrics at Scopus Article at scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

168

journal article

Chip-to-Chip authentication method based on SRAM PUF and public key cryptographyKarageorgos, Ioannis; Isgenc, Mehmet Meric; Pagliarini, Samuel Nascimento; Pileggi, LarryJournal of hardware and systems security2019 / p. 382–396 : ill https://doi.org/10.1007/s41635-019-00080-y

journal article

169

journal article EST / journal article ENG

Chromosome variant 1qh- and its influence on the 3D organization of chromosome 1 heterochromatin in interphase nucleus of patients with endometriosisMikelsaar, Ruth; Paves, Heiti; Org, Katrin; Mikelsaar, Aavo-ValdurJournal of genetics2014 / p. 219-223 : ill https://doi.org/10.1007/s12041-014-0340-9 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

170

book article

Civil status registration - more than data collection : EU digital development in promoting the free movement of civil status documentJoamets, KristiRegulating eTechnologies in the European Union : normative realities and trends2014 / p. 141-156

book article

171

book article EST / book article ENG

Classification of cross-sections for vascular skeleton extraction using convolutional neural networksLidayová, Kristína; Gupta, Anindya; Frimmel, Hans; Sintorn, Ida-Maria; Bengtsson, Ewert; Smedby, ÖrjanMedical Image : Understanding and Analysis, 21st Annual Conference, MIUA 2017 Edinburgh, UK, July 11–13, 2017 : Proceedings2017 / p. 182-194 https://doi.org/10.1007/978-3-319-60964-5_16 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

172

journal article EST / journal article ENG

Clinical equipoise and moral leeway : an epistemological stanceChiffi, Daniele; Pietarinen, Ahti-VeikkoTopoi2019 / p. 447-456 https://doi.org/10.1007/s11245-017-9529-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

173

book article EST / book article ENG

CNN based analysis of the Luria’s alternating series test for Parkinson’s disease diagnosticsZarembo, Sergei; Nõmm, Sven; Medijainen, Kadri; Taba, Pille; Toomela, AaroRecent Challenges in Intelligent Information and Database Systems : 13th Asian Conference, ACIIDS 2021, Phuket, Thailand, April 7–10, 2021 : proceedings2021 / p. 3-13 https://doi.org/10.1007/978-981-16-1685-3_1 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

174

journal article EST / journal article ENG

CO2 mineralization by burnt oil shale and cement bypass dust : effect of operating temperature and pre-treatmentYörük, Can Rüstü; Uibu, Mai; Usta, Mustafa Cem; Kaljuvee, Tiit; Trikkel, AndresJournal of thermal analysis and calorimetry2020 / p. 991–999 : ill https://doi.org/10.1007/s10973-020-09349-9 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

175

book article

CO2 rebinding by oil shale CFBC ashes : effect of pre-treatmentTrikkel, Andres; Keelmann, Merli; Aranson, Aljona; Kuusik, Rein, keemikProceedings of the 20th International Conference on Fluidized Bed Combustion. II2009 / p. 1123-1129

book article

Springer (publisher)

types of item