-
1
-
2
Formal Verification of a Security Protocol in Vehicular Communication
Published 2025Get full text
doctoralThesis -
3
-
4
-
5
Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines
Published 2015Get full text
doctoralThesis -
6
BRET-based biosensors for SARS-CoV-2 oligonucleotide detection
Published 2024“…Although nucleic acid-based methods such as reverse transcription-quantitative polymerase chain reaction (RT-qPCR) and loop-mediated isothermal amplification (LAMP) have been developed, a more facile and robust platform is still required. …”
-
7
-
8
Sample intelligence-based progressive hedging algorithms for the stochastic capacitated reliable facility location problem
Published 2024“…In this paper, we developed two novel algorithms integrating SAA and PHA for solving the CRFLP under uncertainty. The developed methods are innovative in that they blend the complementary aspects of PHA and SAA in terms of exactness and computational efficiency, respectively. …”
-
9
Hybrid Tree-Based Machine Learning Models for State-of-Charge and Core Temperature Estimation in EV Batteries
Published 2025“…Traditional estimation methods fail to account for the complex, non-linear interactions between thermal and electrical dynamics and the challenges posed by data uncertainty. …”
-
10
Bioequivalence of losartan/amlodipine fixed dose combination tablets (losanet AM) compared with concomitant administration of Single components of losartan and amlodipine tablets i...
Published 2015“…The study protocol was prepared in accordance to the requirements set in the EMA guidance for conducting bioequivalence studies. …”
Get full text
Get full text
Get full text
Get full text
article