Searching - TalTech Research Portal

display

sort

651

journal article EST / journal article ENG

Formalizing CCS and π-calculus in Guarded Cubical AgdaVeltri, Niccolo; Vezzosi, AndreaJournal of logical and algebraic methods in programming2023 / art. 100846 https://doi.org/10.1016/j.jlamp.2022.100846 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

652

journal article EST / journal article ENG

Formalizing restriction categoriesChapman, James; Uustalu, Tarmo; Veltri, NiccoloJournal of formalized reasoning2017 / p. 1-36 https://doi.org/10.6092/issn.1972-5787/6237 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

653

book article EST / book article ENG

Formal-verification of smart-contract languages : a surveyDwivedi, Vimal Kumar; Deval, Vipin; Dixit, Abhishek; Norta, AlexanderAdvances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II2019 / p. 738-747 https://doi.org/10.1007/978-981-13-9942-8_68 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Related publications 1

A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus

654

book article EST / book article ENG

Forward and backward compatibility design techniques applying the HL7 FHIR standardBossenko, Igor; Piho, Gunnar; Ross, PeeterHEDA 2022 : Proceedings of the International Health Data Workshop, co-located with 10th International Conference on Petrinets, Petri Nets 20222022 / p. 1-14 https://ceur-ws.org/Vol-3264/HEDA22_paper_14.pdf Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Related publications 1

A domain-specific framework for supporting semantic interoperability in primary and secondary use of health data on the example of the Estonian National Health Information System = Tervishoiu domeenipõhise semantilise raamistiku loomine terviseandmete esmaseks ja teiseseks kasutamiseks Eesti Tervise infosüsteemi näitel

655

journal article EST / journal article ENG

Forward and backward shifts of vector fields : towards the dual algebraic frameworkMullari, Tanel; Kotta, Ülle; Bartosiewicz, Zbigniew; Pawluszewicz, Ewa; Moog, ClaudeIEEE transactions on automatic control2017 / p. 3029-3033 https://doi.org/10.1109/TAC.2016.2608718 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

656

journal article EST / journal article ENG

Forward and backward walking : multifactorial characterization of gait parametersDonno, Lucia; Monoli, Cecilia; Frigo, Carlo Albino; Galli, ManuelaSensors2023 / art. 4671 https://doi.org/10.3390/s23104671 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

657

journal article EST / journal article ENG

Fractional Fourier transform-based signal separation for ultrasonic guided wave inspection of platesPeng, Chengxiang; Annus, Paul; Rist, Marek; Land, Raul; Ratassepp, MadisSensors2024 / art. 7564 https://doi.org/10.3390/s24237564 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

658

journal article EST / journal article ENG

Fractional order sliding mode controller based on supervised machine learning techniques for speed control of PMSMZahraoui, Younes; Zaihidee, Fardila M.; Kermadi, Mostefa; Mekhilef, Saad; Mubin, Marizan; Tang, Jing Rui; Zaihidee, Ezrinda M.Mathematics2023 / art. 1457 https://doi.org/10.3390/math11061457 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

659

journal article EST / journal article ENG

Fractional-order modeling and control of ionic polymer-metal composite actuatorTepljakov, Aleksei; Vunder, Veiko; Petlenkov, Eduard; Nakshatharan, S Sunjai; Punning, Andres; Kaparin, Vadim; Belikov, Juri; Aabloo, AlvoSmart materials and structures2019 / 12 p. : ill https://doi.org/10.1088/1361-665X/ab2c75 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

660

journal article EST / journal article ENG

A framework for comprehensive impact assessment in the case of an extreme winter scenario, considering integrative aspects of systemic vulnerability and resilienceMolarius, Riitta; Tuomaala, Pekka; Piira, Kalevi; Räikkönen, Minna; Aubrecht, Christoph; Polese, Maria; Zuccaro, Giulio; Pilli-Sihvola, Karoliina; Rannat, KalevCMES - Computer Modeling in Engineering and Sciences2015 / p. 131 - 158 https://www.techscience.com/CMES/v109-110n2/27295 https://doi.org/10.3970/cmes.2015.109.131 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

661

book article EST / book article ENG

A framework for data-driven public service co-productionToots, Maarja; McBride, Keegan David Braun; Kalvet, Tarmo; Krimmer, Robert JohannesElectronic Government : 16th IFIP WG 8.5 International Conference : EGOV 2017, St. Petersburg, Russia, September 4-7, 2017 : proceedings2017 / p. 264-275 : ill https://doi.org/10.1007/978-3-319-64677-0_22 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

662

journal article EST / journal article ENG

A framework for developing educational industry 4.0 activities and study materialsChristiansen, Lasse; Edvardsen Hvidsten, Tommy; Hemdrup Kristensen, Jesper; Gebhardt, Jonas; Mahmood, Kashif; Otto, Tauno; Heidemann Lassen, Astrid; Ditlev Brunoe, Thomas; Schou, Casper; Skov Laursen, EsbenEducation Sciences2022 / art. 659 https://doi.org/10.3390/educsci12100659 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

663

book article EST / book article ENG

A framework for improving web application user interfaces through immediate evaluationMarenkov, Jevgeni; Robal, Tarmo; Kalja, AhtoDatabases and information systems IX : selected papers from the twelfth International Baltic Conference, DB&IS 20162016 / p. 283-296 : ill https://doi.org/10.3233/978-1-61499-714-6-283 Article collection metrics at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

664

book article EST / book article ENG

Framework for peer-to-peer data sharing over Web browsersPattanaik, Vishwajeet; Sharvadze, Ioane; Draheim, DirkFuture Data and Security Engineering : 6th International Conference, FDSE 2019Nha Trang City, Vietnam, November 27–29, 2019 : proceedings2019 / p. 207-225 : ill https://doi.org/10.1007/978-3-030-35653-8_14 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

Related publications 1

Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks

665

book article EST / book article ENG

A Framework for the adoption of blockchain technology in healthcare information management systems : a case study of NigeriaAzogu, Irene; Norta, Alexander; Pappel, Ingrid; Longo, Justin; Draheim, DirkProceedings of the 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV’19), Melbourne, Australia, April 3-5, 20192019 / p. 310–316 : ill https://doi.org/10.1145/3326365.3326405 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

666

book article EST / book article ENG

A framework for the adoption of blockchain-based e-procurement systems in the public sector : A case study of NigeriaAkaba, Temofe Isaac; Norta, Alexander; Udokwu, Chibuzor; Draheim, DirkResponsible Design, Implementation and Use of Information and Communication Technology : 19th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2020, Skukuza, South Africa, April 6–8, 2020 : Proceedings, Part I2020 https://doi.org/10.1007/978-3-030-44999-5_1 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

667

journal article EST / journal article ENG

Frameworks for collective intelligence : a systematic literature reviewSuran, Shweta; Pattanaik, Vishwajeet; Draheim, DirkACM computing surveys2020 / art. 14, p. 1−36 https://doi.org/10.1145/3368986 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 2

668

book article EST / book article ENG

Freely combining partial knowledge in multiple dimensions (extended abstract)Draheim, DirkFuture Data and Security Engineering : 5th International Conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28–30, 2018, Proceedings2018 / p. 3-11 https://doi.org/10.1007/978-3-030-03192-3_1 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

669

journal article EST / journal article ENG

Frictional wear and corrosion behavior of AlCoCrFeNi high-entropy alloy coatings synthesized by atmospheric plasma sprayingMu, Yongkun; Zhang, Liangbo; Xu, Long; Prashanth, Konda Gokuldoss; Zhang, Nizhen; Ma, Xindi; Jia, Yuefei; Xu, Yulai; Jia, Yandong; Wang, GangEntropy2020 / art. 740 https://doi.org/10.3390/e22070740 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

670

book article EST / book article ENG

From agent-oriented models to profile driven military training scenariosShvartsman, Inna; Taveter, KuldarIntelligent Distributed Computing VII : proceedings of the 7th International Symposium on Intelligent Distributed Computing - IDC 2013, Prague, Czech Republic, September 20132014 / p. 317-322 https://doi.org/10.1007/978-3-319-01571-2_37 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

671

journal article EST / journal article ENG

From bench to bedsideArezzo, Alberto; Kruusmaa, Maarja; Mylonas, GeorgeIEEE Transactions on Medical Robotics and Bionics2022 / p. 297 - 299 https://doi.org/10.1109/TMRB.2022.3172013 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

672

journal article EST / journal article ENG

From customer-, to actor-, to stakeholder engagement: taking stock, conceptualization, and future directionsHollebeek, Linda Desiree; Kumar, Virender; Srivastava, Rajendra K.Journal of Service Research2022 / p. 328-343 https://doi.org/10.1177/1094670520977680 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

673

book article EST / book article ENG

From envelope to layout : buildings massing and layout generation for solar access in urban environmentsDe Luca, FrancescoeCAADe 2017 : ShoCK! : Sharing of Computable Knowledge : proceedings of the 35th International Conference on Education and Research in Computer Aided Architectural Design in Europe : 20th-22nd September 2017, Rome, Italy. Volume 22017 / p. 431-440 : ill https://doi.org/10.52842/conf.ecaade.2017.2.431 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

674

book article EST / book article ENG

From equations to distinctions: Two interpretations of effectful computationsVoorneveld, NielsProceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 20202020 / p. 1-17 https://doi.org/10.4204/EPTCS.317.1 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

675

book article EST / book article ENG

From sensors to Dempster-Shafer theory and back : the axiom of ambiguous sensor correctness and its applicationsDraheim, Dirk; Tammet, TanelDatabase and Expert Systems Applications : 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020 : Proceedings, Part I2020 / p. 3-19 https://doi.org/10.1007/978-3-030-59003-1_1 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

Arvutiteadus (category)

types of item

subject term 1