Zobrazeno 1 - 10
of 767
pro vyhledávání: '"Jeron A"'
Publikováno v:
RV2024: Runtime Verification 2024, Do{\u g}an Ulus, Oct 2024, Istanbul, Turkey. pp.260
In formal verification, runtime monitoring consists of observing the execution of a system in order to decide as quickly as possible whether or not it satisfies a given property. We consider monitoring in a distributed setting, for properties given a
Externí odkaz:
http://arxiv.org/abs/2410.00465
We consider the automatic online synthesis of black-box test cases from functional requirements specified as automata for reactive implementations. The goal of the tester is to reach some given state, so as to satisfy a coverage criterion, while moni
Externí odkaz:
http://arxiv.org/abs/2407.18994
The convergence of communication and computation, along with the integration of machine learning and artificial intelligence, stand as key empowering pillars for the sixth-generation of communication systems (6G). This paper considers a network of on
Externí odkaz:
http://arxiv.org/abs/2406.03548
Publikováno v:
IEEE Internet of Things Journal, 2023
Extended reality (XR) applications often perform resource-intensive tasks, which are computed remotely, a process that prioritizes the latency criticality aspect. To this end, this paper shows that through leveraging the power of the central cloud (C
Externí odkaz:
http://arxiv.org/abs/2310.06874
Publikováno v:
ICC 2023 - IEEE International Conference on Communications
Beyond fifth generation wireless communication networks (B5G) are applied in many use-cases, such as industrial control systems, smart public transport, and power grids. Those applications require innovative techniques for timely transmission and inc
Externí odkaz:
http://arxiv.org/abs/2211.05797
More and more applications that require high reliability and fault tolerance are realized with wireless network architectures and thus ultimately rely on the wireless channels, which can be subject to impairments and blockages. Hence, these architect
Externí odkaz:
http://arxiv.org/abs/2211.00094
Autor:
Reifert, Robert-Jeron, Dahrouj, Hayssam, Shihada, Basem, Sezgin, Aydin, Al-Naffouri, Tareq Y., Alouini, Mohamed-Slim
Publikováno v:
2022 IEEE Globecom Workshops (GC Wkshps)
Facing a vast amount of connections, huge performance demands, and the need for reliable connectivity, the sixth generation of communication networks (6G) is envisioned to implement disruptive technologies that jointly spur connectivity, performance,
Externí odkaz:
http://arxiv.org/abs/2210.02090
Publikováno v:
IEEE Transactions on Vehicular Technology, 2023
The future sixth generation (6G) of communication systems is envisioned to provide numerous applications in safety-critical contexts, e.g., driverless traffic, modular industry, and smart cities, which require outstanding performance, high reliabilit
Externí odkaz:
http://arxiv.org/abs/2204.11878
Autor:
Jeron Venhuizen, Maaike G. J. M. van Bergen, Saskia M. Bergevoet, Daan Gilissen, Cornelia G. Spruijt, Laura Wingens, Emile van den Akker, Michiel Vermeulen, Joop H. Jansen, Joost H. A. Martens, Bert A. van der Reijden
Publikováno v:
Communications Biology, Vol 7, Iss 1, Pp 1-9 (2024)
Abstract The transcription factor Growth Factor Independence 1B (GFI1B) recruits Lysine Specific Demethylase 1 A (LSD1/KDM1A) to stimulate gene programs relevant for megakaryocyte and platelet biology. Inherited pathogenic GFI1B variants result in th
Externí odkaz:
https://doaj.org/article/558fcbd9db0c4afb9f0c4bb2090de2b9
Publikováno v:
2022 IEEE International Conference on Communications Workshops (ICC Workshops)
Future sixth generation (6G) wireless communication networks face the need to similarly meet unprecedented quality of service (QoS) demands while also providing a larger energy efficiency (EE) to minimize their carbon footprint. Moreover, due to the
Externí odkaz:
http://arxiv.org/abs/2202.07951