Searching - TalTech Research Portal

display

sort

12326

journal article

Craig Interpolation for a Semi-Substructural LogicVeltri, Niccolo; Wan, Cheng-SyuanStudia logica2025 / 39 p https://doi.org/10.1007/s11225-025-10189-7

journal article

Related publications 1

Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria

12327

journal article EST / journal article ENG

Crashworthiness performance of stiffened bottom tank structure subjected to impact loading conditions : ship-rock interactionPrabowo, Aditya Rio; Sohn, Jung Min; Putranto, TeguhCurved and Layered Structures2019 / p. 245–258 : ill https://doi.org/10.1515/cls-2019-0016 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

12328

journal article EST / journal article ENG

Create your own MUSE : a method for updating security level evaluation instrumentsSeeba, Mari; Affia, Abasi-amefon Obot; Mäses, Sten; Matulevičius, RaimundasComputer Standards and Interface2024 / art. 103776 https://doi.org/10.1016/j.csi.2023.103776 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

12329

book article

Creating an information architecture for an enterprise large-scale websites using a card sorting methodJärv, Natalia; Liiv, Innar; Ivask, Jekaterina; Merkulova, MariaDatabases and Information Systems : proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014 : Tallinn, Estonia, 8-11 June, 20142014 / p. 459-464

book article

12330

book article EST / book article ENG

Creating and detecting IPv6 transition mechanism-based information exfiltration covert channelsBlumbergs, Bernhards; Pihelgas, Mauno; Kont, Markus; Maennel, Olaf Manuel; Vaarandi, RistoSecure IT Systems : 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016 : proceedings2016 / p. 85-100 : ill https://doi.org/10.1007/978-3-319-47560-8_6 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

12331

dissertation

Creating coherent texts in English as a foreign language : theory and practiceRummel, Kärt2010 https://www.ester.ee/record=b2628093*est

dissertation

12332

book article

Creating CoReO, the Computer Assisted Copyright Reform ObservatoryTäks, Ermo; Rull, Addi; Säär, Anni; Schäfer, BurkhardLogic in the theory and practice of lawmaking2015 / p. 479-511 http://dx.doi.org/10.1007/978-3-319-19575-9_18

book article

12333

book article

Creating "Creative Class"Henno, Jaak; Jaakkola, HannuMIPRO 2010 : 33rd International Convention on Information and Communication Technology, Electronics and Microelectronics : May 24 - 28, 2010 Opatija, Croatia : proceedings2010 / p. 803-806 : ill https://www.semanticscholar.org/paper/Creating-%E2%80%9Ccreative-class%E2%80%9D-Henno-Jaakkola/2f8077da0bc83f319cb8005c393077fcebd5e8b9

book article

12334

book article

Creating digital twins fo electric vehicles using Unity 3D, Unreal Engine, and Nvidia Omniverse : a comprehensive overviewRjabtšikov, Viktor22nd International Symposium “Topical Problems in the Field of Electrical and Power Engineering”. Doctoral School of Energy and Geotechnology III : Pärnu, Estonia, August 23-26, 20232023 / p. 21-22 : ill https://www.ester.ee/record=b5570906*est

book article

12335

journal article EST / journal article ENG

Creating Edinburgh: diffracting interdisciplinary learning and teaching in the contemporary cityCullen, Clare; Jay, David; Overend, David; Winter Kurchik, MadisonHumanities and social sciences communications2024 / art. 1151, 11 p. : ill https://doi.org/10.1057/s41599-024-03566-5 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

12336

book article

Creating graphs for optimization tasksRoosileht, IndrekBEC 2004 : Baltic Electronics Conference : Post-Graduate Student Session : Tallinn University of Technology, October 3-6, 2004, Tallinn, Estonia2004 / p. 8 : ill

book article

12337

book article

Creating intelligent agents in JADE : (an example of ant colony simulation)Kimlaychuk, VadimProceedings EISTA '04 : International Conference on Education and Information Systems, Technologies and Applications : July 21-25, 2004, Orlando, Florida, USA. Vol. 12004 / p. 55-60

book article

12338

book article

Creating interactive learning objects with web servicesRobal, Tarmo; Kalja, Ahto2009 EAEEIE annual conference : 20th Annual Conference of the European Association for Education in Electrical and Information Engineering : Valencia, Spain, June 22-24, 20092009 / [6] p

book article

12339

book article

Creating new firm structure in European electronics and electrical goods industries [Electronic resource]Lumiste, Rünno; Gwosdz, K.35th Annual Conference reshaping the Boundaries of the Firm in the Era of Global Interdependence : Valencia, Reino de Espana, December 13-15, 20092009 / [CD-ROM]

book article

12340

book article

Creating professionalism : the key-aspects of educating and training the property managersLiias, RoodeHaridus ja majandus : rahvusvahelise teaduskonverentsi materjalid : 16. mai 20022002 / p. 40-43

book article

12341

journal article EST / journal article ENG

Creating randomness with gamesHenno, Jaak; Jaakkola, Hannu; Mäkelä, JukkaActa Polytechnica Hungarica : journal of applied sciences at Budapest Polytechnic Hungary2019 / p. 193-212 : ill http://acta.uni-obuda.hu/Henno_Jaakkola_Makela_96.pdf https://doi.org/10.12700/APH.16.9.2019.9.11 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

12342

dissertation

Creating shared service centers for public sector accounting : the case of Estonia = [Raamatupidamiskeskuste loomine avalikus sektoris : Eesti näide]Tammel, Kaide2017 https://digi.lib.ttu.ee/i/?7400 https://www.ester.ee/record=b4665020*est

dissertation

12343

journal article EST / journal article ENG

Creating shared service centres for public sector accountingRaudla, Ringa; Tammel, KaideAccounting, auditing & accountability journal2015 / p. 158-179 : tab https://doi.org/10.1108/AAAJ-06-2013-1371 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

12344

journal article EST / journal article ENG

Creating spatially continuous maps of past land cover from point estimates: A new statistical approach applied to pollen dataPirzamanbein, Behnaz; Lindström, Johan; Poska, Anneli; Sugita, Shinya; Trondman, Anna-Kari; Fyfe, Ralph; Mazier, Florence; Nielsen, Anne B.; Kaplan, Jed O.; Bjune, Anne E.Ecological complexity2014 / p. 127-141 : ill https://doi.org/10.1016/j.ecocom.2014.09.005 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

12345

book article

Creating the classes with NUT language for chain system simulationGrossschmidt, Gunnar; Vanaveski, Jüri; Harf, Mait; Züger, ArminProceedings : NordDesign '98 : August 26-28, 1998, Royal Institute of Technology, Stockholm, Sweden1998 / p. 147-156: ill

book article

12346

dissertation

Creation of a supportive model for designing and improving the performance management system of an organisation. Case studies = Organisatsiooni tegevusedukuse juhtimissüsteemi kujundamist ja täiendamist toetava mudeli loomine. JuhtumiuuringudKadak, Tarmo2011

dissertation

12347

book article

Creation of defects and self-localized vibrations in crystal lattices : effects of long-range and nonlinear forcesKlopov, Mihhail; Haas, Mati; Hižnjakov, Vladimir; Shelkan, A.The 23 General Conference of the Condensed Matter Division of the European Physical Society, Varssavi, 20102010 / p. 67

book article

12348

book article

Creation of defects and self-localized vibrations in crystals : effects of long-range forces in nonlinear dynamicsHaas, Mati; Hižnjakov, Vladimir; Klopov, Mihhail; Shelkan, A.International Conference : FM&NT : Functional Materials and Nanotechnologies 2011 : University of Latvia, April 5-8 : conference program. Book of abstracts2011 / p. 173

book article

12349

book article

Creation of defects in cathodochromic sodalitesDenks, V.; Ruus, Tõnu; Denisov, R.Defects in insulating crystals : abstracts of contributed papers : international conference, Riga, May 18-23, 19811981 / p. 358-359 https://www.ester.ee/record=b1808810*est

book article

12350

book article

Creation of defects in solids: effect of long-range forcesHižnjakov, Vladimir; Haas, Mati; Klopov, Mihhail; Šelkan, AleksanderAdvances in applied physics and materials science congress : 12.-15.05.2011, Antalya, Turkey. Vol. 12011 / p. 467

book article

types of item