Otsing - TalTech teadusportaal

kuva

reasta

51

artikkel kogumikus EST / artikkel kogumikus ENG

Decomposing comonad morphismsAhman, Danel; Uustalu, Tarmo8th Conference on Algebra and Coalgebra in Computer Science : CALCO 2019, University College London, United Kingdom, 3-6 June 20192019 / art. 14 ; 20 p https://doi.org/10.4230/LIPIcs.CALCO.2019.14 Conference proceeding at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

52

artikkel kogumikus EST / artikkel kogumikus ENG

Deductive systems and coherence for skew prounital closed categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-19 https://doi.org/10.48550/arXiv.2101.03809 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

53

artikkel ajakirjas EST / artikkel ajakirjas ENG

Deep Reinforcement Learning for energy-aware task offloading in join SDN-Blockchain 5G massive IoT edge networkSellami, Bassem; Hakiri, Akram; Ben Yahia, SadokFuture generation computer systems2022 / p. 363-379 https://doi.org/10.1016/j.future.2022.07.024 Journal metrics at Scopus Article at Scopus Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

54

artikkel kogumikus EST / artikkel kogumikus ENG

Degrading listsMcDermott, Dylan; Pirog, Maciej; Uustalu, TarmoProceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming (PPDP 2020), Part of BOPL 2020 : The Bologna Federated Conference on Programming Languages, 8-10 September 20202020 / art. 6, 14 p https://doi.org/10.1145/3414080.3414084 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

55

artikkel kogumikus EST / artikkel kogumikus ENG

Depth control of the biomimetic U-CAT turtle-like AUV with experiments in real operating conditionsChemori, Ahmed; Kuusmik, Keijo; Salumäe, Taavi; Kruusmaa, Maarja2016 IEEE International Conference on Robotics and Automation : Stockholm, Sweden, May 16th-21st2016 / p. 4750-4755 : ill https://doi.org/10.1109/ICRA.2016.7487677 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

56

artikkel ajakirjas EST / artikkel ajakirjas ENG

Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAALBalasubramaniyan, Sreram; Srinivasan, Seshadhri; Buonopane, Furio; Balasubramanian, Subathra; Vain, Jüri; Ramaswamy, SriniMicroprocessors and microsystems2016 / p. 37-48 : ill https://doi.org/10.1016/j.micpro.2015.12.006 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

57

artikkel ajakirjas EST / artikkel ajakirjas ENG

Design concept and microarchitecture of network-on-chip with best-effort and guaranteed-throughput servicesSamman, Faizal; Hollstein, ThomasInternational journal of innovative computing, informationand control2019 / p. 305–319 : ill https://doi.org/10.24507/ijicic.15.01.305 http://www.ijicic.net/ http://www.ijicic.net/servlet/Download?contentID=CONT5b67c7cbc23142feade914ceeabbdf4d Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

58

artikkel ajakirjas EST / artikkel ajakirjas ENG

Design of Cyber Bio-analytical Physical Systems : formal methods, architectures, and multi-system interaction strategiesAshraf, Kanwal; Le Moullec, Yannick; Pardy, Tamas; Rang, ToomasMicroprocessors and microsystems2023 / art. 104780, 14 p. : ill https://doi.org/10.1016/j.micpro.2023.104780 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Co-design of wireless networked control systems : model-based architecture and joint optimization = Juhtmevabade võrgustatud juhtimissüsteemide koosdisain : mudelipõhine arhitektuur ja ühisoptimeerimine

59

artikkel ajakirjas EST / artikkel ajakirjas ENG

Design optimization of permanent magnet clutch with Ārtap frameworkAndriushchenko, Ekaterina; Kaska, Jan; Kallaste, Ants; Belahcen, Anouar; Vaimann, Toomas; Rassõlkin, AntonPeriodica polytechnica electrical engineering and computer science2021 / p. 106-112 https://doi.org/10.3311/PPee.17007 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Design optimization methods of additively manufactured Switched Reluctance Motor = Kihtlisandustehnoloogia abil toodetud samm-mootori optimeerimise meetodid

60

artikkel kogumikus EST / artikkel kogumikus ENG

Designing a collaborative construction-project platform on blockchain technology for transparency, traceability, and information symmetryUdokwu, Chibuzor; Norta, Alexander; Wenna, ChristophASSE'21 : 2021 2nd Asia Service Sciences and Software Engineering Conference, Macau, Macao, February 24-26, 20212021 / 13 p. : ill https://doi.org/10.1145/3456126.3456134 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

61

artikkel kogumikus EST / artikkel kogumikus ENG

Designing a crisis management mobile application solution in NigeriaLips, Silvia; Amola, Oladele; Draheim, DirkThe 23rd International Conference on Information Integration and Web Intelligence, Linz, Austria, November 29 - December 01 2021 : virtual2021 / p. 571–579 https://doi.org/10.1145/3487664.3487807 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

62

artikkel ajakirjas EST / artikkel ajakirjas ENG

Detection of pulmonary micronodules in computed tomography images and false positive reduction using 3D convolutional neural networksGupta, Anindya; Saar, Tõnis; Märtens, Olev; Le Moullec, Yannick; Sintorn, Ida-MariaInternational Journal of Imaging Systems and Technology2019 / p. 327-339 : ill https://doi.org/10.1002/ima.22373 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

63

artikkel ajakirjas EST / artikkel ajakirjas ENG

Development of a wireless communication network for monitoring and controlling of autonomous robotsVu, Trieu Minh; Tamre, Mart; Musalimov, Victor; Kovalenko, Pavel; Monahov, JuriInternational journal of robotics and automation2018 / 16 p https://doi.org/10.2316/Journal.206.2018.3.206-4759 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

64

artikkel kogumikus EST / artikkel kogumikus ENG

Diagrammatic polyhedral algebraBonchi, Filippo; Di Giorgio, Alessandro; Sobocinski, Pawel Maria41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)2021 / p. 40:1-40:18 https://doi.org/10.4230/LIPIcs.FSTTCS.2021.40 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

65

artikkel kogumikus EST / artikkel kogumikus ENG

Differential 2-rigsLoregian, Fosco; Trimble, ToddProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 159-182 : ill https://doi.org/10.4204/EPTCS.380.10 Conference proceeding at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

66

artikkel ajakirjas EST / artikkel ajakirjas ENG

A digital collaborative platform for the silver economy : functionalities required by stakeholders in a multinational Baltic Sea Region projectButt, Sidra Azmat; Suran, Shweta; Pappel, Ingrid; Smaerup, Michael; Krimmer, Robert Johannes; Draheim, DirkDigital government : research and practice2023 / art. 8, 20 p. : ill https://doi.org/10.1145/3592618 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas 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

67

artikkel kogumikus EST / artikkel kogumikus ENG

Digital sovereignty and participation in an autocratic state : designing an e-petition system for developing countriesLips, Silvia; Ahmed, Rozha Kamal; Zulfigarzada, Khayyam; Krimmer, Robert Johannes; Draheim, DirkThe Proceedings of the 22nd Annual International Conference on Digital Government Research (DGO2021) : Digital Innovations for Public Values: Inclusive Collaboration and Community, June 9-11, 20212021 / p. 123–131 https://doi.org/10.1145/3463677.3463706 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik

68

artikkel kogumikus EST / artikkel kogumikus ENG

Digitising a small island state : a lesson in FaroeseMeyerhoff Nielsen, MortenICEGOV '15-16 : proceedings of the 9th International Conference on Theory and Practice of Electronic Governance : Montevideo, Uruguay, March 1-3, 20162016 / p. 54-59 https://doi.org/10.1145/2910019.2910042 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

69

artikkel kogumikus EST / artikkel kogumikus ENG

A direct version of Veldman's proof of open induction on cantor space via delimited control operatorsIlik, Danko; Nakata, Keiko19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France2014 / p. 188-201 https://doi.org/10.4230/LIPIcs.TYPES.2013.188 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

70

artikkel kogumikus EST / artikkel kogumikus ENG

Directed containers as categoriesAhman, Danel; Uustalu, TarmoProceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 20162016 / p. 89-98 https://doi.org/10.4204/eptcs.207.5 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

71

artikkel kogumikus EST / artikkel kogumikus ENG

Distributed largest eigenvalue detectionAinomäe, Ahti; Trump, Tõnu; Bengtsson, Mats2017 IEEE International Conference on Acoustics, Speech, and Signal Processing : proceedings : March 5-9, 2017, Hilton New Orleans Riverside, New Orleans, Louisiana, USA2017 / p. 3519-3523 : ill https://doi.org/10.1109/ICASSP.2017.7952811 Confernce proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

72

artikkel ajakirjas EST / artikkel ajakirjas ENG

A divertimento on MonadPlus and nondeterminismUustalu, TarmoJournal of logical and algebraic methods in programming2016 / p. 1086-1094 : ill https://doi.org/10.1016/j.jlamp.2016.06.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

73

artikkel kogumikus EST / artikkel kogumikus ENG

Drivers and barriers for the development of smart sustainable cities : a systematic literature reviewSchuch de Azambuja, LuizaICEGOV '21: Proceedings of the 14th International Conference on Theory and Practice of Electronic Governance2021 / p. 422 - 428 https://doi.org/10.1145/3494193.3494250 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Exploring the journey towards smarter sustainable cities : capacity development for evolving governance practices = Teel targemate jätkusuutlike linnade poole : arenevate valitsemisstruktuuride suutlikkuse kasvatamine

74

artikkel kogumikus EST / artikkel kogumikus ENG

Duality of lattices associated to left and right quotientsBell, Jason; Smertnig, Daniel; Tamm, Hellis16th International Conference on Automata and Formal Languages, AFL 2023, Eger, 5 September - 7 September 20232023 / p. 35-50 https://doi.org/10.4204/EPTCS.386.5 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

75

artikkel ajakirjas EST / artikkel ajakirjas ENG

EcoLight+ : a novel multi-modal data fusion for enhanced eco-friendly traffic signal control driven by urban traffic noise predictionOunoughi, Chahinez; Ounoughi, Doua; Ben Yahia, SadokKnowledge and information systems2023 / p. 5309–5329 https://doi.org/10.1007/s10115-023-01938-y 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

Arvutiteadus. Tarkvara (kategooria)

teaviku laadid

märksõna 94

võtmesõna 1