Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

Arvutiteadus. Tarkvara (kategooria)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 311
Vaata veel.. (2/97)
Ekspordi

ekspordi kõik päringu tulemused (311)
Salvesta TXT fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
201

artikkel ajakirjas EST / artikkel ajakirjas ENG

Optimal control of automatic manipulator for elimination of galvanic line load oscillationAutsou, Siarhei; Rassõlkin, Anton; Vaimann, Toomas; Demidova, Galina; Saroka, Viktor; Karpovich, Dzmitry; Kallaste, AntsPeriodica polytechnica electrical engineering and computer science2021 / 15 p. : ill https://doi.org/10.3311/PPee.15893 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG
202

artikkel kogumikus EST / artikkel kogumikus ENG

Optimization of address-based data sorting unit with external memory supportMihhailov, Dmitri; Rjabov, Artjom; Sklyarov, Valery; Skliarova, Iouliia; Sudnitsõn, AleksanderCompSysTech'13 : proceedings of the 14th International Conference on Computer Systems and Technologies2013 / p. 83-90 : ill https://doi.org/10.1145/2516775.2516807 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
203

artikkel ajakirjas EST / artikkel ajakirjas ENG

Optimization of pump efficiencies with different pumps characteristics working in parallel modeKoor, Margus; Vassiljev, Anatoli; Koppel, TiitAdvances in engineering software2016 / p. 69-76 : ill https://doi.org/10.1016/j.advengsoft.2015.10.010 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
204

artikkel ajakirjas EST / artikkel ajakirjas ENG

Optimized vibro-acoustic design of suspended glass panelsAiello, Robert; Auriemma, FabioStructural and multidisciplinary optimization2018 / p. 2253–2268 : ill https://doi.org/10.1007/s00158-018-2014-3 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
205

artikkel ajakirjas EST / artikkel ajakirjas ENG

Orthophoto classification for UGV pth planning using heterogeneous computingHudjakov, Robert; Tamre, MartInternational journal of advanced robotic systems2013 / [7] p. : ill https://doi.org/10.5772/56545 https://www.researchgate.net/publication/269785081_Orthophoto_Classification_for_UGV_Path_Planning_using_Heterogeneous_Computing Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
206

artikkel kogumikus EST / artikkel kogumikus ENG

Overcoming challenges in the silver economy by connecting services in the Silver Hub : the tool to provide the basis for the innovative solutionsKangilaski, Taivo; Butt, Sidra Azmat; Pappel, Ingrid; Kangilaski, ErikProceedings of the 14th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2021), 6 - 8 October 2021, Athens, Greece2021 / p. 231-237 : ill https://doi.org/10.1145/3494193.3494225 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- A Digital collaborative platform to facilitate innovative solutions for the silver economy = Digitaalne koostööplatvorm hõlbustamaks uuenduslikke lahendusi hõbemajanduses
207

artikkel ajakirjas EST / artikkel ajakirjas ENG

Parkinson's disease diagnostics based on the analysis of digital sentence writing testNetšunajev, Aleksei; Nõmm, Sven; Toomela, Aaro; Medijainen, Kadri; Taba, PilleVietnam journal of computer science2021 / p. 493-512 https://doi.org/10.1142/S2196888821500238 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
208

artikkel kogumikus EST / artikkel kogumikus ENG

Partiality and container monadsUustalu, Tarmo; Veltri, Niccolo23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017 : abstracts2017 / p. 99-100 https://types2017.elte.hu/proc.pdf#page=107 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
209

artikkel ajakirjas EST / artikkel ajakirjas ENG

Physics based compressive sensing to enable digital twins of additive manufacturing processesLu, Yanglong; Ševtšenko, Eduard; Wang, YanJournal of computing and information science in engineering2021 / 031009, 30 p https://doi.org/10.1115/1.4050377 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
210

artikkel kogumikus EST / artikkel kogumikus ENG

Piloting smart city solutions in very small, small and medium-sized municipalities. The Estonian case studySarv, Lill; Soe, Ralf-MartinICEGOV '22 : Proceedings of the 15th International Conference on Theory and Practice of Electronic Governance2022 / p. 475-482 https://doi.org/10.1145/3560107.3560179 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
211

artikkel ajakirjas EST / artikkel ajakirjas ENG

Plotkin's call-by-value λ-calculus as a modal calculusEspírito Santo, José; Pinto, Luis; Uustalu, TarmoJournal of Logical and Algebraic Methods in Programming2022 / art. 100775, 17 p https://doi.org/10.1016/j.jlamp.2022.100775 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
212

artikkel kogumikus EST / artikkel kogumikus ENG

Policy and legal environment analysis for e-Government services migration to the public cloudKotka, Taavi; Kask, Laura; Raudsepp, Karoliina; Storch, Tyson; Radloff, Rebecca; Liiv, InnarICEGOV '15-16 : proceedings of the 9th International Conference on Theory and Practice of Electronic Governance : Montevideo, Uruguay, March 1-3, 20162016 / p. 103-108 : ill https://doi.org/10.1145/2910019.2910056 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
213

artikkel kogumikus EST / artikkel kogumikus ENG

A pragmatic methodology for blind hardware trojan insertion in finalized layoutsHepp, Alexander; Perez, Tiago Diadami; Pagliarini, Samuel Nascimento; Sigl, GeorgICCAD '22: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design2022 / art. 69, p. 1-9 : ill https://doi.org/10.1145/3508352.3549452 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- Security-aware physical synthesis of integrated circuits = Integraallülituste turvateadlik füüsiline süntees
214

artikkel ajakirjas EST / artikkel ajakirjas ENG

Predicting fuel properties using chemometrics : a review and an extension to temperature dependent physical properties by using infrared spectroscopy to predict densityBaird, Zachariah Steven; Oja, VahurChemometrics and intelligent laboratory systems2016 / p. 41-47 : ill https://doi.org/10.1016/j.chemolab.2016.08.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
215

artikkel ajakirjas EST / artikkel ajakirjas ENG

PrefaceMatthes, Ralph; Uustalu, TarmoRAIRO - Theoretical Informatics and Applications2013 / p. 1-2 https://doi.org/10.1051/ita/2012026 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
216

artikkel kogumikus EST / artikkel kogumikus ENG

A privacy-protecting data-exchange wallet with ownership- and monetization capabilitiesNorta, Alexander; Hawthorne, Daniel; Engel, Serafin L.2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings2018 / p. 4121-4128 : ill https://doi.org/10.1109/IJCNN.2018.8489551 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
217

artikkel kogumikus EST / artikkel kogumikus ENG

The produoidal algebra of process decompositionEarnshaw, Matthew David; Hefford, James; Román, Mario32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)2024 / art. 25, 19 p. ill https://doi.org/10.4230/LIPIcs.CSL.2024.25 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
218

artikkel kogumikus EST / artikkel kogumikus ENG

Promonads and string diagrams for effectful categoriesRoman Garcia, MarioProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 344−361 https://doi.org/10.4204/EPTCS.380.20 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.20.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- Monoidal context theory = Monoidiliste kontekstide teooria
219

artikkel kogumikus EST / artikkel kogumikus ENG

Proof theory of partially normal skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-17 https://doi.org/10.48550/arXiv.2101.10487 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
220

artikkel kogumikus EST / artikkel kogumikus ENG

Proof theory of skew non-commutative MILLUustalu, Tarmo; Veltri, Niccolo; Wan, Cheng-SyuanProceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 20222022 / p. 118-135 https://doi.org/10.4204/EPTCS.358.9 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
221

artikkel ajakirjas EST / artikkel ajakirjas ENG

A proof-theoretic study of bi-intuitionistic propositional sequent calculusPinto, Luis; Uustalu, TarmoJournal of logic and computation2018 / p. 165-202 https://doi.org/10.1093/logcom/exx044 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
222

artikkel ajakirjas EST / artikkel ajakirjas ENG

Protocol choice and iteration for the free corneringNester, Chad Mitchell; Voorneveld, NielsJournal of logical and algebraic methods in programming2024 / art. 100942, 30 p https://doi.org/10.1016/j.jlamp.2023.100942 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
Seotud publikatsioonid 1
- Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
223

artikkel kogumikus EST / artikkel kogumikus ENG

Public acceptance of advanced identity documentsKalvet, Tarmo; Tiits, Marek; Laas-Mikko, KatrinICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland2018 / p. 429-432 https://doi.org/10.1145/3209415.3209456 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
224

artikkel ajakirjas EST / artikkel ajakirjas ENG

Quadratic/linear rational spline histopolationHallik, Helle; Oja, PeeterBIT numerical mathematics2017 / p. 629-648 : ill https://doi.org/10.1007/s10543-017-0645-1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
225

artikkel ajakirjas EST / artikkel ajakirjas ENG

Radio resource management in NB-IoT systems : empowered by interference prediction and flexible duplexingMalik, Hassan; Alam, Muhammad Mahtab; Pervaiz, Haris; Le Moullec, Yannick; Al-Dulaimi, Anwer; Pärand, Sven; Reggiani, LucaIEEE Network2020 / Art. nr. 8839971 https://doi.org/10.1109/MNET.001.1900087 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Kirjeid leitud 311, kuvan 201 - 225

eelmine
4
5
6
7
8
9
10
11
12
13
järgmine

1. tarkvara

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu