Otsing - TalTech teadusportaal

kuva

reasta

2501

artikkel kogumikus

Semi-Substructural Logics à la LambekWan, Cheng-SyuanProceedings of 11th International Conference on Nonclassical Logics : Theory and Applications (NCL’24)2024 / p. 195–213 https://doi.org/10.4204/EPTCS.415.18

artikkel kogumikus

Seotud publikatsioonid 1

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

2502

artikkel kogumikus EST / artikkel kogumikus ENG

Semi-substructural logics with additivesVeltri, Niccolo; Wan, Cheng-SyuanProceedings of the 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, Rome, Italy & Paris, France, 1-2 July, 2023 & 23rd April 20232024 / p. 63-80 https://doi.org/10.4204/EPTCS.402.8 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

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

2503

artikkel ajakirjas

Sensitivity analysis of corona discharges measuring instruments using different electrodes and high voltage suppliesGupta, Pradeep Kumar; Riba Ruiz, Jordi-Roger; Casals-Torrens, Pau; Talens i Garvín, Jordi; Tuttelberg, Kaur; Kilter, JakoIEEE Sensors Letters2024 / art. 6015704 https://doi.org/10.1109/LSENS.2024.3504551

artikkel ajakirjas

2504

artikkel ajakirjas

Sensitivity of a lumped-capacitance building thermal modelling approach for energy-market-scale flexibility studiesRasku, Topi; Simson, Raimo; Kiviluoma, JuhaBuildings2024 / art. 1614 https://doi.org/10.3390/buildings14061614

artikkel ajakirjas

2505

artikkel kogumikus

Sensortehnoloogiad meditsiinitehnikas uurimisrühm = Sensor Technologies in Biomedical engineering Research GroupFridolin, IvoTervisetehnoloogiad eile, täna, homme : 30 aastat Tervisetehnoloogiate instituuti ning Eesti Biomeditsiinitehnika ja Meditsiinifüüsika Ühingut = Health technologies yesterday, today and tomorrow : 30 years of the Department of Health Technologies and the Estonian Society for Biomedical Engineering and Medical Physics2024 / lk. 31-36, p. 29-34 : ill

artikkel kogumikus

2506

artikkel ajalehes

Septembrist tööd alustanud arenguseire nõukoja uus koosseis valis koja uueks esimeheks senise Eesti Teaduste Akadeemia presidendi Tarmo Soomerearenguseire.ee2024 https://arenguseire.ee/uudised/arenguseire-noukoda-valis-esimeheks-tarmo-soomere/

artikkel ajalehes

2507

artikkel ajakirjas EST / artikkel ajakirjas ENG

Sequence to sequence hybrid Bi-LSTM model for traffic speed predictionOunoughi, Chahinez; Ben Yahia, SadokExpert systems with applications2024 / art. 121325 https://doi.org/10.1016/j.eswa.2023.121325 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Urban traffic : data fusion and vehicle flow prediction in smart cities = Linnaliiklus : andmete ühtesulamine ja sõidukite voo prognoosimine nutikates linnades

2508

artikkel ajalehes

Sergei Preis: Seine’i jõe reostuse kohta on üks hea ja üks halb uudisPreis, Sergeiforte.delfi.ee2024 Sergei Preis: Seine’i jõe reostuse kohta on üks hea ja üks halb uudis

artikkel ajalehes

2509

artikkel kogumikus

Series-parallel resonant current-source DC-DC converter with wide output voltage rangeBlinov, Andrei; Carvalho da Silva, Edivan Laercio; Verbytskyi, Ievgen; Vinnikov, Dmitri2024 IEEE 18th International Conference on Compatibility, Power Electronics and Power Engineering (CPE-POWERENG)2024 / 6 p https://doi.org/10.1109/CPE-POWERENG60842.2024.10604346

artikkel kogumikus

2510

artikkel kogumikus EST / artikkel kogumikus ENG

Shadow optimisation of low-impact temporary architecture to improve climatic comfort in urban spacesSiani, Rossella; De Luca, FrancescoeCAADe 2024 : Data-Driven Intelligence : Proceedings of the 42nd Conference on Education and Research in Computer Aided Architectural Design in Europe ; vol. 2 Proceedings of the International Conference on Education and Research in Computer Aided Architectural Design in Europe2024 / p. 577-586 https://papers.cumincad.org/data/works/att/ecaade2024_81.pdf https://doi.org/10.52842/conf.ecaade.2024.2.577 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

2511

artikkel kogumikus

A ship digital twin for safe and sustainable ship operationsHirdaris, Spyros; Zhang, M; Tsoulakos, Nikolaos; Kujala, Pentti Jouko SakariState-of-the-Art Digital Twin Applications for Shipping Sector Decarbonization2024 / p. 192−220 https://doi.org/10.4018/978-1-6684-9848-4.ch009

artikkel kogumikus

2512

artikkel ajakirjas EST / artikkel ajakirjas ENG

Short-term pectin-enriched smoothie consumption has beneficial effects on the gut microbiota of low-fiber consumersPihelgas, Susan; Ehala-Aleksejev, Kristel; Kuldjärv, Rain; Jõeleht, Ann; Kazantseva, Jekaterina; Adamberg, KaarelFEMS Microbes2024 / art. xtae001 https://doi.org/10.1093/femsmc/xtae001 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

2513

artikkel kogumikus

Short-term residental DC load forecasting using extreme gradient boost (XgBoost) algorithmShabbir, Noman; Husev, Oleksandr; Daniel, Kamran; Jawad, Muhammad; Rosin, Argo; Martins, Joao2024 IEEE 18th International Conference on Compatibility, Power Electronics and Power Engineering (CPE-POWERENG)2024 / 6 p https://doi.org/10.1109/CPE-POWERENG60842.2024.10604392

artikkel kogumikus

2514

artikkel ajakirjas EST / artikkel ajakirjas ENG

Signal acquisition and algorithm design for bioimpedance-based heart rate estimation from the wristLapsa, Didzis; Metshein, Margus; Krivošei, Andrei; Janeliukstis, Rims; Märtens, Olev; Elsts, AtisApplied sciences2024 / art. 9632 https://doi.org/10.3390/app14219632 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

2515

artikkel kogumikus EST / artikkel kogumikus ENG

Significant factors extraction : a combined logistic regression and apriori association rule mining approachShahin, Mahtab; Burtl, Markus; Heidari Iman, Mohammad Reza; Ghasempouri, Tara; Sharma, Rahul; Shah, Syed Attique; Draheim, DirkMachine Learning Methods in Systems : proceedings of 13th Computer Science On-line Conference 2024 ; Vol. 42024 / p. 295-311 https://link.springer.com/book/9783031705946 https://doi.org/10.1007/978-3-031-70595-3_30 Conference proceeding at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Efficient and effective association rule mining on big data and cloud technology : a multifaceted analysis = Tõhus ja efektiivne assotsiatsioonireeglite kaevandamine suurandmetel ja pilvetehnoloogial : mitmekülgne analüüs

2516

artikkel kogumikus

Silurian stratigraphy in Estonia : Recent developments and challengesMännik, Peep; Meidla, Tõnu; Hints, OlleXI Baltic Stratigraphical Conference : abstracts and field guide2024 / p. 25 https://www.ester.ee/record=b5696260*est https://files.geocollections.info/5ed8b9aa-c29c-43b4-8f3a-3e5495c9d277.pdf

artikkel kogumikus

2517

artikkel ajalehes

Simo Ilomets: renoveerida tuleks üks kord, korraga ja õigestiIlomets, Simoerr.ee2024 Simo Ilomets: renoveerida tuleks üks kord, korraga ja õigesti

artikkel ajalehes

2518

artikkel ajakirjas EST / artikkel ajakirjas ENG

Simple analysis of gel images with IOCBIO gel softwareJaska, Lucia; Birkedal, Rikke; Laasmaa, Martin; Vendelin, MarkoBio-protocol2024 / art. e5053, 12 p https://doi.org/10.21769/BioProtoc.5053 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

2519

artikkel kogumikus

Simulating a cyber-attack on an autonomous sea surface vessel's rudder controllerAstrov, Igor; Bauk, Sanja2024 13th Mediterranean Conference on Embedded Computing (MECO), 11-14 June 2024, Budva, Montenegro2024 / 7 p. : ill https://doi.org/10.1109/MECO62516.2024.10577872 Article at Scopus Article at WOS

artikkel kogumikus

2520

artikkel kogumikus

Simulating a cyber-attack on an autonomous sea surface vessel's rudder controllerAstrov, Igor; Bauk, Sanja2024 13th Mediterranean Conference on Embedded Computing, MECO 20242024 / 1 p. https://journals.scholarsportal.info/browse/26379511

artikkel kogumikus

2521

artikkel ajakirjas

Simulation of oriented NMR spectra : combining molecular dynamics and chemical shift tensor calculationsSternberg, Ulrich; Witter, RaikerMagnetic resonance in chemistry2024 / p. 125-144 https://doi.org/10.1002/mrc.5403

artikkel ajakirjas

2522

artikkel ajakirjas

Sina saad muuta TalTechi haridust paremaksRebane, KaroliinaStudioosus2024 / lk. 40 : fot https://www.ester.ee/record=b1558644*est

artikkel ajakirjas

2523

artikkel kogumikus EST / artikkel kogumikus ENG

Single-stage single-phase current source inverter for standalone applicationsSohail, Umer; Blinov, Andrei; Østrem, Trond; Hoff, Bjarte; Carvalho, Edivan LaercioIECON Proceedings (Industrial Electronics Conference) IECON 2024 - 50th Annual Conference of the IEEE Industrial Electronics Society2024 / 6 p https://doi.org/10.1109/IECON55916.2024.10905718 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

2524

artikkel kogumikus

Single-Stage TTS with adapted vocoder and cross-attention: Taltech systems for the Limmits'24 ChallengeRõbnikov, Daniil; Alumäe, Tanel2024 IEEE International Conference on Acoustics, Speech, and Signal Processing Workshops (ICASSPW), Proceedings, 14-19 April 2024, Seoul, Korea2024 / p. 121-122 : ill https://doi.org/10.1109/ICASSPW62465.2024.10627656 Article at Scopus Article at WOS

artikkel kogumikus

2525

artikkel ajakirjas

Sinimajandus - merest uue pilguga!Teär, AgePaat & Merendus2024 / lk. 60-61 : fot https://www.ester.ee/record=b4471304*est

artikkel ajakirjas

2024 (ilmumisaasta)

teaviku laadid

CV 33

märksõna 13

tema kohta 12

TTÜ märksõna 5