Zobrazeno 1 - 10
of 595
pro vyhledávání: '"A. Barkallah"'
Publikováno v:
EPTCS 414, 2024, pp. 58-76
Process algebras have been widely used to verify security protocols in a formal manner. However they mostly focus on synchronous communication based on the exchange of messages. We present an alternative approach relying on asynchronous communication
Externí odkaz:
http://arxiv.org/abs/2412.08235
Virtual reality (VR) dating introduces novel opportunities for romantic interactions, but it also raises concerns about new harms that typically occur separately in traditional dating apps and general-purpose social VR environments. Given the subject
Externí odkaz:
http://arxiv.org/abs/2405.05914
Autor:
Barkallah, Manel, Jacquet, Jean-Marie
Publikováno v:
EPTCS 383, 2023, pp. 55-72
Concurrency theory has received considerable attention, but mostly in the scope of synchronous process algebras such as CCS, CSP, and ACP. As another way of handling concurrency, data-based coordination languages aim to provide a clear separation bet
Externí odkaz:
http://arxiv.org/abs/2308.10655
Autor:
Barkallah, Manel, Jacquet, Jean-Marie
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming January 2025 142
Autor:
Ben Soltana, Oumaima, Barkallah, Mohamed, Hentati, Faiez, Elhadef, Khaoula, Ben Hlima, Hajer, Smaoui, Slim, Michaud, Philippe, Abdelkafi, Slim, Fendri, Imen
Publikováno v:
In International Journal of Biological Macromolecules July 2024 273 Part 1
Publikováno v:
In Information Sciences March 2024 660
Publikováno v:
European Psychiatry, Vol 67, Pp S738-S738 (2024)
Introduction Patients with schizophrenia have shown a high mortality rate, and life expectancy is shortened by 10-20 years. This seems to be mainly caused by metabolic and cardiovascular diseases. Several risk factors are identified, including sedent
Externí odkaz:
https://doaj.org/article/b1a440aaba754deab8b5020402f2d2bd
Publikováno v:
European Psychiatry, Vol 67, Pp S748-S748 (2024)
Introduction relapse and frequent rehospitalizations. The length of stay (LOS) of these patients has been a concern of researchers. The ability to identify determinants of LOS at admission – and, thus, identify patients who are likely to need a lon
Externí odkaz:
https://doaj.org/article/f3a501296c7644bcbbb41d6e29fd50c5
Publikováno v:
European Psychiatry, Vol 67, Pp S707-S707 (2024)
Introduction Virtual Reality (VR) is a transformative technology that facilitates the development of immersive virtual environments. Its application is steadily growing within Cognitive Behavioral Therapy (CBT) techniques, notably in virtuo exposure
Externí odkaz:
https://doaj.org/article/dd0a6e60332044008fdbc93355e8dbba
Publikováno v:
European Psychiatry, Vol 67, Pp S192-S193 (2024)
Introduction Orthorexia nervosa is defined as an unhealthy obsession with eating healthy food. Recent studies currently demonstrated that students in health-oriented academic programs, highly focused on nutrition and physical exercise, are more prone
Externí odkaz:
https://doaj.org/article/d02447de648147bd82d285e7f1402154