Otsing - TalTech teadusportaal

kuva

reasta

576

artikkel kogumikus EST / artikkel kogumikus ENG

PrefaceChapman, Peter; Stapleton, Gem; Moktefi, Amirouche; Chapman, Peter; Stapleton, Gem; Moktefi, AmiroucheDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018 Edinburgh, UK, June 18–22, 2018 Proceedings2018 / p. V - VI https://link.springer.com/content/pdf/bfm:978-3-319-91376-6/1?pdf=chapter%20toc Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

577

artikkel kogumikus EST / artikkel kogumikus ENG

PrefaceKrimmer, Robert Johannes; Volkamer, Melanie; Cortier, Véronique; Beckert, Bernhard; Küsters, Ralf; Serdült, Uwe; Duenas Cid, DavidElectronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings2019 / p. v https://link.springer.com/book/10.1007/978-3-030-30625-0 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

578

artikkel kogumikus EST / artikkel kogumikus ENG

PrefaceKrimmer, Robert Johannes; Volkamer, Melanie; Cortier, Véronique; Goré, Rajeev; Hapsara, Manik; Serdült, Uwe; Duenas Cid, DavidElectronic Voting : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings2018 / p. i-iv https://link.springer.com/book/10.1007/978-3-030-00419-4 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

579

artikkel kogumikus EST / artikkel kogumikus ENG

PrefaceKrimmer, Robert; Volkamer, Melanie; Barrat, Jordi; Benaloh, Josh; Goodman, Nicole; Teague, VanessaElectronic Voting : First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016 : proceedings2017 / 1 p https://link.springer.com/book/10.1007/978-3-319-52240-1 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

580

artikkel kogumikus EST / artikkel kogumikus ENG

PrefaceKupferman, Orna; Sobocinski, Pawel MariaFoundations of Software Science and Computation Structures, 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferenceson Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings2023 / p. vii https://doi.org/10.1007/978-3-031-30829-1 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

581

artikkel kogumikus EST / artikkel kogumikus ENG

PrefaceDanaila, Ionut; Kaplanski, Felix; Sazhin, SergeiVortex Ring Models2021 / p. vii https://link.springer.com/content/pdf/bfm:978-3-030-68150-0/1?pdf=chapter%20toc Aricle collection metrics at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

582

artikkel kogumikus EST / artikkel kogumikus ENG

PrefaceBéziau, Jean-Yves; Desclés, Jean-Pierre; Moktefi, Amirouche; Pascu, Anca ChristineLogic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019)2022 / p. v-ix https://link.springer.com/content/pdf/bfm:978-3-030-94452-0/1?pdf=chapter%20toc Article collection metrics at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

583

artikkel kogumikus EST / artikkel kogumikus ENG

PrefaceKrimmer, Robert; Prentza, Andriana; Mamrot, SzymonThe once-only principle : The TOOP project2021 / 1 p https://link.springer.com/book/10.1007/978-3-030-79851-2 Article collection metrics at Scopus Article at Scopus Article collection metrics at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

584

artikkel kogumikus EST / artikkel kogumikus ENG

PrefaceKrimmer, Robert; Volkamer, MelanieElectronic Voting : 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings2020 / p. v https://link.springer.com/content/pdf/bfm:978-3-030-60347-2/1?pdf=chapter%20toc Conference Proceedings metrics at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

585

artikkel ajakirjas EST / artikkel ajakirjas ENG

Preface of the special issue on advances in data-driven engineeringBen Yahia, Sadok; Attiogbé, ChristianInternational Journal of General Systems2023 / p. 203-205 https://doi.org/10.1080/03081079.2023.2204251 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

586

artikkel ajakirjas EST / artikkel ajakirjas ENG

Pregnancy associated breast cancer gene expressions : new insights on their regulation based on rare correlated patternsBouasker, Souad; Inoubli, Wissem; Ben Yahia, Sadok; Diallo, GayoIEEE/ACM transactions on computational biology and bioinformatics2021 / p. 1035−1048 https://doi.org/10.1109/TCBB.2020.3015236 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

587

artikkel ajakirjas EST / artikkel ajakirjas ENG

Premature failure of an additively manufactured materialWang, Zhi; Xie, Meishen; Li, Yuanyuan; Zhang, Weiwen; Yang, Chao; Kollo, Lauri; Eckert, Jürgen; Prashanth, Konda GokuldossNpg Asia materials2020 / art. 30, 10 p. : ill https://doi.org/10.1038/s41427-020-0212-0 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

588

artikkel kogumikus EST / artikkel kogumikus ENG

The present and future of large-scale systems modeling and engineeringDraheim, DirkFuture Data and Security Engineering : Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016 : proceedings2016 / p. 355-370 : ill https://doi.org/10.1007/978-3-319-48057-2_25 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

589

artikkel ajakirjas EST / artikkel ajakirjas ENG

Process-aware security monitoring in industrial control systems: A systematic review and future directionsUr Rehman, Muaan; Bahşi, HayretdinInternational journal of critical infrastructure protection2024 / art. 100719, 19 p. : ill https://doi.org/10.1016/j.ijcip.2024.100719 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

590

artikkel ajakirjas EST / artikkel ajakirjas ENG

Profunctor optics: a categorical updateClarke, Bryce James; Elkins, Derek; Gibbons, Jeremy; Loregian, Fosco; Milewski, Bartosz; Pillmore, Emily; Roman Garcia, MarioCompositionality2024 / 39 p. : ill https://doi.org/10.32408/compositionality-6-1 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

591

artikkel ajakirjas EST / artikkel ajakirjas ENG

Proof analysis of Peirce's alpha system of graphsMa, Minghui; Pietarinen, Ahti-VeikkoStudia logica2017 / p. 625-647 : ill https://doi.org/10.1007/s11225-016-9703-y Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

592

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

593

artikkel ajakirjas EST / artikkel ajakirjas ENG

Propagation of bankruptcy risk over scale-free economic networksAndria, Joseph; di Tollo, Giacomo; Kalda, JaanEntropy2022 / art. 1713 https://doi.org/10.3390/e24121713 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

594

artikkel ajakirjas EST / artikkel ajakirjas ENG

The prospects of strategic imagination in explaining international security challengesMölder, HolgerQuality & Quantity : International Journal of Methodology2023 / p. 55-76 https://doi.org/10.1007/s11135-022-01386-w Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

595

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

596

artikkel kogumikus EST / artikkel kogumikus ENG

A public, blockchain-based distributed smart-contract platform enabling mobile lite wallets using a proof-of-stake consensus algorithmNorta, Alexander; Dai, Patrick; Mahi, Neil; Earls, JordanBusiness Information Systems Workshops : BIS 2018 : International Workshops, Berlin, Germany, July 18–20, 2018 : Revised Papers2019 / p. 368-380 https://doi.org/10.1007/978-3-030-04849-5_33 Conference proceeding at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

597

artikkel kogumikus EST / artikkel kogumikus ENG

Purely functional incremental computingFirsov, Denis; Jeltsch, WolfgangProgramming Languages : 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings2016 / p. 62-77 : ill https://doi.org/10.1007/978-3-319-45279-1_5 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

598

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

599

artikkel ajakirjas EST / artikkel ajakirjas ENG

A qualitative control approach to reduce energy costs of hybrid energy systems : utilizing energy price and weather dataTaebnia, Mehdi; Heikkilä, Marko; Kurnitski, JarekEnergies2020 / art. 1401, 17 p. : ill https://doi.org/10.3390/en13061401 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

600

artikkel ajakirjas EST / artikkel ajakirjas ENG

Quartic polynomial approximation for fluctuations of separation of trajectories in chaos and correlation dimensionFouxon, Itzhak; Ainsaar, Siim; Kalda, JaanJournal of Statistical Mechanics : Theory and Experiment2019 / art. 083211, 26 p https://doi.org/10.1088/1742-5468/ab3458 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Matemaatika (kategooria)

teaviku laadid

märksõna 43

TTÜ struktuuriüksus 4

autor 3