Otsing - TalTech teadusportaal

kuva

reasta

851

artikkel kogumikus EST / artikkel kogumikus ENG

Streams of approximations, equivalence of recursive effectful programsVeltri, Niccolo; Voorneveld, NielsMathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings2022 / p. 198-221 : ill https://doi.org/10.1007/978-3-031-16912-0_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

852

artikkel ajakirjas EST / artikkel ajakirjas ENG

Strictly convex corners scatterPäivärinta, Lassi Juhani; Salo, Mikko; Vesalainen, Esa V.Revista matematica iberoamericana2017 / p. 1369-1396 https://doi.org/10.4171/rmi/975 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

853

artikkel ajakirjas EST / artikkel ajakirjas ENG

String diagram rewrite theory II : rewriting with symmetric monoidal structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 511 - 541 https://doi.org/10.1017/S0960129522000317 Journal at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

854

artikkel ajakirjas EST / artikkel ajakirjas ENG

String diagram rewrite theory III : confluence with and without FrobeniusBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 829-869 https://doi.org/10.1017/S0960129522000123 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

855

artikkel ajakirjas EST / artikkel ajakirjas ENG

Structural vector autoregressions with smooth transition in variancesLütkepohl, Helmut; Netšunajev, AlekseiJournal of economic dynamics and control2017 / p. 43-57 : ill https://doi.org/10.1016/j.jedc.2017.09.001 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

856

artikkel kogumikus EST / artikkel kogumikus ENG

The structure of concurrent process historiesNester, Chad MitchellCoordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings2021 / p. 209−224 https://doi.org/10.1007/978-3-030-78142-2_13 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

857

artikkel ajakirjas EST / artikkel ajakirjas ENG

Structured development of implementations for divide-and-conquer specificationsBortin, MaksymScience of computer programming2024 / art. 103011, 15 p. : ill https://doi.org/10.1016/j.scico.2023.103011 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

858

artikkel kogumikus EST / artikkel kogumikus ENG

Student’s behavior in free learning environment and formal education systemKukk, VelloLearning technology for education in Cloud : MOOC and Big Data : third International Workshop, LTEC 2014, Santiago, Chile, September 2-5, 2014 : proceedings2014 / p. 187-194 https://doi.org/10.1007/978-3-319-10671-7_19 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

859

artikkel ajakirjas EST / artikkel ajakirjas ENG

Study of bearing currents in induction machine : diagnostic possibilities, fault detection, and predictionKudelina, Karolina; Raja, Hadi Ashraf; Naseer, Muhammad Usman; Autsou, Siarhei; Asad, Bilal; Vaimann, Toomas; Kallaste, AntsElectrical engineering2024 / 14 p. : ill https://doi.org/10.1007/s00202-024-02411-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Artificial intelligence driven approaches for fault prognostics of electrical machines using vibration spectrum analysis = Tehisintellektil põhinevad lähenemisviisid elektrimasinate rikete prognoosimiseks vibratsioonispektri analüüsi abil

860

artikkel kogumikus EST / artikkel kogumikus ENG

A study on immediate automatic usability evaluation of web application user interfacesMarenkov, Jevgeni; Robal, Tarmo; Kalja, AhtoDatabases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings2016 / p. 257-271 : ill https://doi.org/10.1007/978-3-319-40180-5_18 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

861

artikkel ajakirjas EST / artikkel ajakirjas ENG

Studying upwelling phases in the Kazakhstan part of the Caspian seaRakisheva, Zaure Bayanovna; Delpeche-Ellmann, Nicole Camille; Sakhayeva, AigerimInternational journal of mathematics and physics2020 / p. 45−50 : ill https://doi.org/10.26577/ijmph.2020.v11.i1.06 Journal metrics at Scopus Article at Scopus Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

862

artikkel kogumikus EST / artikkel kogumikus ENG

Success and success factors of the Estonian E-Residency from the state and entrepreneur perspectiveSallam, Mohammed Saber H. A.; Lips, Silvia; Draheim, DirkElectronic Governance and Open Society: Challenges in Eurasia : 8th International Conference, EGOSE 2021, Saint Petersburg, Russia, November 24-25, 2021 : proceedings2022 / p. 291-304 https://doi.org/10.1007/978-3-031-04238-6_22 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

863

artikkel kogumikus EST / artikkel kogumikus ENG

Success in eVoting - success in eDemocracy? The Estonian paradoxToots, Maarja; Kalvet, Tarmo; Krimmer, Robert JohannesElectronic Participation : 8th IFIP WG 8.5 International Conference, ePart 2016, Guimaraes, Portugal, September 5-8, 2016 : proceedings2016 / p. 55-66 : ill https://doi.org/10.1007/978-3-319-45074-2_5 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

864

artikkel ajakirjas EST / artikkel ajakirjas ENG

Summer thermal comfort : compliance assessment and overheating prevention in new apartment buildings in EstoniaSimson, Raimo; Kurnitski, Jarek; Maivel, MikkJournal of building performance simulation2017 / p. 378-391 : ill https://doi.org/10.1080/19401493.2016.1248488 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

865

artikkel ajakirjas EST / artikkel ajakirjas ENG

The supplement of the diagnostic tool for assessment the implemented performance management systems : theoretical approachKadak, TarmoInternational journal of mathematics and computers in simulation2013 / p. 187-197 : ill https://www.researchgate.net/publication/292833919_The_supplement_of_the_diagnostic_tool_for_assessment_the_implemented_performance_management_systems_Theoretical_approach Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

866

artikkel ajakirjas EST / artikkel ajakirjas ENG

Supramolecular Chirogenesis in bis-porphyrin: crystallographic structure and CD spectra for a complex with a chiral guanidine derivativeOsadchuk, Irina; Konrad, Nele; Truong, Khai-Nghi; Rissanen, Kari; Clot, Eric; Aav, Riina; Kananovich, Dzmitry; Borovkov, VictorSymmetry2021 / 14 p. : ill https://doi.org/10.3390/sym13020275 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

867

artikkel ajakirjas EST / artikkel ajakirjas ENG

Surjective cellular automata far from the Garden of EdenCapobianco, Silvio; Guillon, Pierre; Kari, JarkkoDiscrete mathematics and theoretical computer science2013 / p. 41-60 : ill https://www.researchgate.net/publication/264932675_Surjective_cellular_automata_far_from_the_Garden_of_Eden https://doi.org/10.46298/dmtcs.618 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

868

artikkel ajakirjas EST / artikkel ajakirjas ENG

Survey on architectural attacks : a unified classification and attack modelGhasempouri, Tara; Raik, Jaan; Reinbrecht, Cezar; Hamdioui, Said; Hamdioui, SaidACM Computing Surveys2023 / art. 42 https://doi.org/10.1145/3604803 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

869

artikkel ajakirjas EST / artikkel ajakirjas ENG

A survey on artificial intelligence approaches in supporting frontline workers and decision makers for the COVID-19 pandemicRasheed, Jawad; Jamil, Akhtar; Draheim, DirkChaos, solitons & fractals2020 / art. 110337, 17 p https://doi.org/10.1016/j.chaos.2020.110337 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

870

artikkel ajakirjas EST / artikkel ajakirjas ENG

Sustainable rural electrification : harnessing a cosmolocal windTroullaki, Katerina; Rozakis, Stelios; Latoufis, Kostas; Giotitsas, Christos; Priavolou, Christina; Freire, FaustoEnergies2022 / art. 4659 https://doi.org/10.3390/en15134659 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

871

artikkel kogumikus EST / artikkel kogumikus ENG

Sweedler theory of monadsMcDermott, Dylan; Rivas, Exequiel; Uustalu, TarmoFoundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings2022 / p. 428-448 https://doi.org/10.1007/978-3-030-99253-8_22 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

872

artikkel kogumikus EST / artikkel kogumikus ENG

Synthesis of implementations for divide-and-conquer specificationsBortin, MaksymFormal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, proceedings2022 / p. 73-88 https://doi.org/10.1007/978-3-031-22476-8_5 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

873

artikkel kogumikus EST / artikkel kogumikus ENG

Systematic digital signing in Estonian e-Government processes : influencing factors, technologies, change managementPappel, Ingrid; Pappel, Ingmar; Tepandi, Jaak; Draheim, DirkTransactions on large-scale data- and knowledge-centered systems XXXVI : special issue on data and security engineering2017 / p. 31-51 : ill https://doi.org/10.1007/978-3-662-56266-6_2 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

874

artikkel kogumikus EST / artikkel kogumikus ENG

Systematic literature review of methods for maintaining data integrityKask, Marten; Piho, Gunnar; Ross, PeeterAdvances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. 259–268 https://doi.org/10.1007/978-3-030-87657-9_20 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

875

artikkel ajakirjas EST / artikkel ajakirjas ENG

A systematic literature review on hardware reliability assessment methods for deep neural networksAhmadilivani, Mohammad Hasan; Taheri, Mahdi; Raik, Jaan; Daneshtalab, Masoud; Jenihhin, MaksimACM Computing Surveys2024 / art. 141, 39 p. : ill https://doi.org/10.1145/3638242 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 2

Mathematics (kategooria)

teaviku laadid

võtmesõna 15