Automata-Theoretic Approach to Verification of MPLS Networks Under Link Failures

Autor: Ingo van Duijn, Peter Gjøl Jensen, Marc Tom Thorgersen, Jiri Srba, Troels Beck Krogh, Stefan Schmid, Jesper Stenbjerg Jensen, Jonas Sand Madsen

Publikováno v: Duijn, I V, Jensen, P G, Jensen, J S, Krøgh, T B, Madsen, J S, Schmid, S, Srba, J & Thorgersen, M T 2022, ' Automata-Theoretic Approach to Verification of MPLS Networks under Link Failures ', I E E E-A C M Transactions on Networking, vol. 30, no. 2, pp. 766-781 . https://doi.org/10.1109/TNET.2021.3126572
Aalborg University

Future communication networks are expected to be highly automated, disburdening human operators of their most complex tasks. While the first powerful and automated network analysis tools are emerging, existing tools provide only limited and inefficie

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2567750961dd423574368b15df55c8b0
https://doi.org/10.1109/tnet.2021.3126572

No sound is more distracting than the one you're trying not to hear: delayed costs of mental control of task-irrelevant neutral and emotional sounds

Autor: Örn Kolbeinsson, Erkin Asutay, Manja Enström, Jonas Sand, Hugo Hesser

Publikováno v: BMC psychology. 10(1)

Background Suppressing intrusive thoughts can result in a post-suppression rebound effect where the same thoughts become hyperaccessible. The current study aimed to investigate if similar so-called rebound effects could be observed when people attemp

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::afd51b31a3bf0610084f8aa0c89c8770
https://pubmed.ncbi.nlm.nih.gov/35189964

Automata-Theoretic Approach to Verification of MPLS Networks Under Link Failures.

Autor: Duijn, Ingo van, Jensen, Peter Gjol, Jensen, Jesper Stenbjerg, Krogh, Troels Beck, Madsen, Jonas Sand, Schmid, Stefan, Srba, Jiri, Thorgersen, Marc Tom

Publikováno v: IEEE/ACM Transactions on Networking; Apr2022, Vol. 30 Issue 2, p766-781, 16p

P-Rex

Autor: Jiří Srba, Troels Beck Krogh, Jonas Sand Madsen, Stefan Schmid, Jesper Stenbjerg Jensen, Marc Tom Thorgersen

Publikováno v: CoNEXT
Jensen, J S, Krøgh, T B, Madsen, J S, Schmid, S, Srba, J & Thorgersen, M T 2018, P-Rex: fast verification of MPLS networks with multiple link failures . in Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies . Association for Computing Machinery, Conference on Emerging Networking EXperiments and Technologies, pp. 217-227, 14th International Conference on emerging Networking EXperiments and Technologies, Heraklion, Greece, 04/12/2018 . https://doi.org/10.1145/3281411.3281432

Future communication networks are expected to be highly automated, disburdening human operators of their most complex tasks. However, while first powerful and automated network analysis tools are emerging, existing tools provide only limited (and ine

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::af64c90ce507ce8c55fc08114ce9cd7f
https://doi.org/10.1145/3281411.3281432

Midwives’ and Diabetes Nurses’ Experience of Screening and Care of Women with Gestational Diabetes Mellitus: A Qualitative Interview Study

Autor: Sofia Köpsén, Mikael Lilja, Margareta Hellgren, Jonas Sandlund, Rita Sjöström

Publikováno v: Nursing Research and Practice, Vol 2023 (2023)

Background. Gestational diabetes mellitus (GDM) is increasing and is associated with adverse outcomes for both mother and child. The metabolic demands of pregnancy can reveal a predisposition for type 2 diabetes mellitus (T2DM), and women with a hist

Externí odkaz: https://doaj.org/article/d972a59060e140bcb5e998c51004af7c