Zobrazeno 1 - 10
of 936
pro vyhledávání: '"Bannour AS"'
Publikováno v:
The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024), May 2024, Torino, Italy
Background: Transformer-based language models have shown strong performance on many Natural LanguageProcessing (NLP) tasks. Masked Language Models (MLMs) attract sustained interest because they can be adaptedto different languages and sub-domains thr
Externí odkaz:
http://arxiv.org/abs/2403.19726
Offline runtime verification involves the static analysis of executions of a system against a specification. For distributed systems, it is generally not possible to characterize executions in the form of global traces, given the absence of a global
Externí odkaz:
http://arxiv.org/abs/2403.03083
Runtime Verification (RV) refers to a family of techniques in which system executions are observed and confronted to formal specifications, with the aim of identifying faults. In Offline RV, observation is done in a first step and verification in a s
Externí odkaz:
http://arxiv.org/abs/2403.03057
Autor:
Hiba Ben Abdelhafidh, Oumayma Ben Rejeb, Nour Rouis, Badra Bannour, Neila Fathallah, Imen Bannour
Publikováno v:
Radiology Case Reports, Vol 20, Iss 1, Pp 158-161 (2025)
Misoprostol, a synthetic analogue of prostaglandin E1, is commonly used in gynecology, particularly in combination with mifepristone for elective abortion. Although its use is widespread, the potential teratogenic effects of misoprostol in cases of f
Externí odkaz:
https://doaj.org/article/186105d0644a4c5ebbcae957027bd35e
This paper focuses on generating test cases from timed symbolic transition systems. At the heart of the generation process are symbolic execution techniques on data and time. Test cases look like finite symbolic trees with verdicts on their leaves an
Externí odkaz:
http://arxiv.org/abs/2309.06840
Publikováno v:
Radiology Case Reports, Vol 19, Iss 12, Pp 6147-6151 (2024)
A rare congenital condition known as hydrometrocolpos (HMC) is characterized by the buildup of secretions in the vagina and uterus as a result of distal obstruction; this condition is frequently linked to imperforate hymen. This case report presents
Externí odkaz:
https://doaj.org/article/bee19ac91e6f47679729e2db718a3d16
Autor:
Rania Bannour, Asma Ben Cheikh, Sana Bhiri, Hela Ghali, Salwa Khefacha, Mohamed Ben Rejeb, Houyem Said Laatiri
Publikováno v:
Antimicrobial Resistance and Infection Control, Vol 13, Iss 1, Pp 1-8 (2024)
Abstract Background Healthcare waste (HCW) poses a global hazard, particularly in developing country hospitals where mismanagement is common due to poor practices among staff. Training healthcare workers has shown promise in enhancing practices and b
Externí odkaz:
https://doaj.org/article/f1fa307e7b604f07b12090f70509fad3
Autor:
Badra Bannour, MD, Maroi Baazaoui, MD, Maroi Bannour, MD, Imen Bannour, MD, Hiba Abdellaoui, MD, Khaled Ben Jazia, MD
Publikováno v:
Radiology Case Reports, Vol 19, Iss 5, Pp 2039-2042 (2024)
Unless otherwise demonstrated, seizures during pregnancy that happen after 20 weeks of gestation are typically caused by eclampsia. In our clinical case we report the diagnostic challenge of Wernicke's encephalopathy occurring at 34 weeks and mimicki
Externí odkaz:
https://doaj.org/article/81747135dd0c4526ba6474706eba5436
Non-deterministic Finite Automata (NFA) represent regular languages concisely, increasing their appeal for applications such as word recognition. This paper proposes a new approach to generate NFA from an interaction language such as UML Sequence Dia
Externí odkaz:
http://arxiv.org/abs/2306.02983
Interactions are formal models describing asynchronous communications within a Distributed System (DS). They can be drawn in the fashion of sequence diagrams and executed thanks to an operational semantics akin to that of process algebras. Executions
Externí odkaz:
http://arxiv.org/abs/2212.09324