Otsing - TalTech teadusportaal

kuva

reasta

776

artikkel ajakirjas EST / artikkel ajakirjas ENG

Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, 28 p. : ill https://doi.org/10.1145/3434338 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

777

artikkel ajakirjas EST / artikkel ajakirjas ENG

Fuzzy logic and slip controller of clutch and vibration for hybrid vehicleVu, Trieu Minh; Pumwa, JohnInternational journal of control, automation and systems2013 / p. 526-532 : ill https://doi.org/10.1007/s12555-012-0006-4 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

778

artikkel kogumikus EST / artikkel kogumikus ENG

The Future of Cybersecurity at Sea : Human vs Human or AI vs AI?Alop, AnatoliMaritime Cybersecurity2025 / p. 1-13 https://doi.org/10.1007/978-3-031-87290-7_1 Article collection metrics at Scopus Book chapter at Scopus Book chapter at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

779

artikkel kogumikus EST / artikkel kogumikus ENG

Future of governance for digital platform ecosystemsKitsing, Meelis; Vallistu, JohannaProceedings of Fifth International Congress on Information and Communication Technology : ICICT 2020, London ; 22021 / p. 334-341 https://doi.org/10.1007/978-981-15-5859-7_33 Article collection metrics at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

780

artikkel kogumikus EST / artikkel kogumikus ENG

Future opportunities for systematic AI support in healthcareBertl, Markus; Piho, Gunnar; Draheim, Dirk; Ross, Peeter; Pechmann, Ludwig; Bucciarelli, Nicholas; Sharma, RahulBridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers2024 / p. 203 - 224 https://doi.org/10.1007/978-3-031-73741-1_13 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

781

artikkel kogumikus EST / artikkel kogumikus ENG

Galois sub-hierarchies used for use case modelingTorim, AntsCLA 2013 : proceedings of the Tenth International Conference on Concept Lattices and Their Applications : La Rochelle, France, October 15-18, 20132013 / p. 21-32 : ill https://ceur-ws.org/Vol-1062/paper2.pdf Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

782

artikkel kogumikus EST / artikkel kogumikus ENG

Galvanically isolated quasi-Z-source DC-DC converters with combined energy transfer for renewable energy sources integrationChub, Andrii; Vinnikov, Dmitri; Jalakas, Tanel2015 IEEE International Conference on Industrial Technology (ICIT 2015) : Seville, Spain, 17-19 March 20152015 / p. 2896-2900 : ill https://doi.org/10.1109/ICIT.2015.7125525 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

783

artikkel ajakirjas EST / artikkel ajakirjas ENG

Game on! How gamified loyalty programs boost customer engagement valueHollebeek, Linda Desiree; Das, Kallol; Shukla, YupalInternational journal of information management2021 / art. 102308, 10 p. : ill https://doi.org/10.1016/j.ijinfomgt.2021.102308 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

784

artikkel kogumikus EST / artikkel kogumikus ENG

Gamification model for developing e-learning in Libyan higher educationAl Ghawail, Entisar Alhadi; Ben Yahia, Sadok; Alrzini, Joma RajabSmart education and e-learning 20212022 / p. 97-110 : ill https://doi.org/10.1007/978-981-16-2834-4_9 Conference proceeding at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

785

artikkel ajakirjas EST / artikkel ajakirjas ENG

GC and other methods for full and partial context coverageRaun, Kristo; Torim, Ants; Ben Yahia, SadokProcedia computer science2021 / p. 746−755 https://doi.org/10.1016/j.procs.2021.08.077 Conference proceeding at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

786

artikkel ajakirjas EST / artikkel ajakirjas ENG

General practitioners’ user experience of the nationwide digital decision support system in primary careŠteinmiller, Jekaterina; Ross, PeeterDigital Health2024 https://doi.org/10.1177/20552076241271816 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

787

artikkel kogumikus EST / artikkel kogumikus ENG

Generalization of the double-reversal method of finding a canonical residual finite state automatonTamm, HellisDescriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings2015 / p. 268 - 279 https://doi.org/10.1007/978-3-319-19225-3_23 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

788

artikkel kogumikus EST / artikkel kogumikus ENG

Generating representative executions : extended abstractMaarand, Hendrik; Uustalu, Tarmo10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software : PLACES 2017 : Uppsala, Sweden, 29 April 20172017 / p. 39-48 : ill https://doi.org/10.4204/EPTCS.246.8 Journal metrics at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

789

artikkel kogumikus EST / artikkel kogumikus ENG

Genetic approximations for the failure-free security gamesLenin, Aleksandr; Willemson, Jan; Charnamord, AntonDecision and game theory for security : 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015 : proceedings2015 / p. 311-321 : ill https://doi.org/10.1007/978-3-319-25594-1_17 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

790

artikkel ajakirjas EST / artikkel ajakirjas ENG

Genome-scale metabolic modeling reveals metabolic trade-offs associated with lipid production in Rhodotorula toruloidesRekena, Alina; Pinheiro, Marina J.; Bonturi, Nemailla; Belouah, Isma; Tammekivi, Eliise; Herodes, Koit; Kerkhoven, Eduard J.; Lahtvee, Petri-JaanPLoS computational biology2023 / art. e1011009 https://doi.org/10.1371/journal.pcbi.1011009 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Computational Design of Yeast-Based Cell Factories = Pärmipõhiste rakuvabrikute in silico disain

791

artikkel ajakirjas EST / artikkel ajakirjas ENG

Geodesic equations for guided wave helical path separation for a pipe bendRasgado Moreno, Carlos Omar; Ratassepp, MadisMechanical systems and signal processing2023 / art. 110820 https://doi.org/10.1016/j.ymssp.2023.110820 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Developing guided wave tomography for a pipe bend = Ultrahelitomograaﬁa toru põlvede kontrollimiseks

792

artikkel ajakirjas EST / artikkel ajakirjas ENG

Geoid modeling by the least squares modification of Hotine's and Stokes' formulae using non-gridded gravity dataSakil, Fatıma Feyza; Erol, Serdar; Ellmann, Artu; Erol, BihterComputers & geosciences2021 / art. 104909 https://doi.org/10.1016/j.cageo.2021.104909 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

793

artikkel ajakirjas EST / artikkel ajakirjas ENG

Ghost protocol – Snapchat as a method of surveillanceMatthews, Richard; Lovell, Kieren Nicolas; Sorell, MatthewForensic Science International : Digital Investigation2021 / art. 301112 https://doi.org/10.1016/j.fsidi.2021.301112 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

794

artikkel kogumikus EST / artikkel kogumikus ENG

GK : Implementing full first order default logic for commonsense reasoning (system description)Tammet, Tanel; Draheim, Dirk; Järv, PriitAutomated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022 : proceedings2022 / p. 300-309 https://doi.org/10.1007/978-3-031-10769-6_18 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

795

artikkel kogumikus EST / artikkel kogumikus ENG

GKC: A reasoning system for large knowledge basesTammet, TanelAutomated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019 : proceedings2019 / p. 538-549 https://doi.org/10.1007/978-3-030-29436-6_32 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

796

artikkel ajakirjas EST / artikkel ajakirjas ENG

Global data on earthworm abundance, biomass, diversity and corresponding environmental propertiesPhillips, Helen R. P.; Bach, Elizabeth M.; Bartz, Marie L. C.; Bennett, Joanne M.; Beugnon, Remy; Briones, Maria J. I.; Brown, George G.; Ferlian, Olga; Gongalsky, Konstantin B.; Ivask, MariScientific data2021 / art. 136 https://doi.org/10.1038/s41597-021-00912-z Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

797

artikkel ajakirjas EST / artikkel ajakirjas ENG

A global database for metacommunity ecology, integrating species, traits, environment and spaceJeliazkov, Alienor; Mijatovic, Darko; Chantepie, Stephane; Reitalu, TriinScientific data2020 / art. 6 ; 12 p. : ill https://doi.org/10.1038/s41597-019-0344-7 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

798

artikkel ajakirjas EST / artikkel ajakirjas ENG

Global fine-resolution data on springtail abundance and community structurePotapov, Anton M.; Chen, Ting-Wen; Striuchkova, Anastasia V.; Alatalo, Juha M.; Alexandre, Douglas; Arbea, Javier; Ashton, Thomas; Ashwood, Frank; Babenko, Anatoly; Ivask, MariScientific data2024 / art. 22 https://doi.org/10.1038/s41597-023-02784-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

799

artikkel kogumikus EST / artikkel kogumikus ENG

Global intelligent governance a collaborative platformGanapati, Sukumar; Ahn, Michael; Chen, Yu-Che; Krimmer, Robert Johannes; Viale Pereira, Gabriela; Pliscoff, Cristian; Tseng, Hsien-Lee; Wu, JiannanDG.O'21: DG.O2021: The 22nd Annual International Conference on Digital Government Research2021 / p. 593 - 595 https://doi.org/10.1145/3463677.3463728 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

800

artikkel ajakirjas EST / artikkel ajakirjas ENG

A global survey of standardization and industry practices of automotive cybersecurity validation and verification testing processes and toolsRoberts, Andrew James; Marksteiner, Stefan; Soyturk, Mujdat; Yaman, Berkay; Yang, YiSAE international journal of connected and automated vehicles2023 / art. 12-07-02-0013 https://doi.org/10.4271/12-07-02-0013 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Cybersecurity testing and attack propagation analysis of autonomous driving software = Autonoomse sõiduki juhtimistarkvara küberturvalisuse testimine ja rünnakute leviku analüüs

Computer Science (kategooria)

teaviku laadid

võtmesõna 155

märksõna 6

autor 1