-
1
-
2
Formal Verification of a Security Protocol in Vehicular Communication
منشور في 2025احصل على النص الكامل
doctoralThesis -
3
-
4
-
5
Sample intelligence-based progressive hedging algorithms for the stochastic capacitated reliable facility location problem
منشور في 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. …"
-
6
Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines
منشور في 2015احصل على النص الكامل
doctoralThesis -
7
BRET-based biosensors for SARS-CoV-2 oligonucleotide detection
منشور في 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. …"
-
8
Apprenticeship. (c1997)
منشور في 1997احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
masterThesis -
9
Hybrid Tree-Based Machine Learning Models for State-of-Charge and Core Temperature Estimation in EV Batteries
منشور في 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...
منشور في 2015"…The study protocol was prepared in accordance to the requirements set in the EMA guidance for conducting bioequivalence studies. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
article