Association of Physical Activity with Co-morbid Conditions in Geriatric Population von Hisam, Aliya, Rahman, Mahmood Ur, Khan, Rimsha, Ilyas, Sundus, Jabbar, Anosha, Kazmi, Syed Awais, Mushtaq, Umer

Volltext

Association of Physical Activity with Co-morbid Conditions in Geriatric Population von Hisam, Aliya, Rahman, Mahmood Ur, Khan, Rimsha, Ilyas, Sundus, Jabbar, Anosha, Kazmi, Syed Awais, Mushtaq, Umer

Volltext

Techno-Economic-Environmental Assessment of an Isolated Rural Micro-Grid from a Mid-Career Repowering Perspective von Rehmani, Abdul Munim, Kazmi, Syed Ali Abbas, Altamimi, Abdullah, Khan, Zafar A, Awais, Muhammad

Volltext

Psychosocial Determinants of Attitudes Towards Rape Victims Among Men, Women and Non-Binary Individuals in Pakistan von Kazmi, Syed Messum Ali, Arshad, Samreen, Nasir, Awais

Volltext

Formal Modeling of Self-Adaptive Resource Scheduling in Cloud von Ishaq Khan, Atif, Asad Raza Kazmi, Syed, Qasim, Awais

Volltext

Formal modeling and verification of cloud‐based web service composition von Raza Kazmi, Syed Asad, Qasim, Awais, Khalid, Adnan, Assad, Ruttaba, Shahbaz, Muhammad

Volltext

Victim blaming, prior history to sexual victimization, support for sexually assaulted friends, and rape myths acceptance as predictors of attitudes towards rape victims in the gene... von Kazmi, Syed Messum Ali, Tarar, Amina Hanif, Nasir, Awais, Iftikhar, Rabia

Volltext

Thermodynamic evaluation of mixed refrigerant selection in dual mixed refrigerant NG liquefaction process with respect to 3E's (Energy, Exergy, Economics) von Sarfaraz, Bisma, Kazmi, Bilal, Taqvi, Syed Ali Ammar, Raza, Faizan, Rashid, Rushna, Siddiqui, Leenah, Zehra, Syeda Fatima, Bokhari, Awais, Jaromír Klemeš, Jiří, Ouladsmane, Mohamed

Volltext

State‐of‐the‐Art Review of Biomass Gasification: Raw to Energy Generation von Taqvi, Syed Ali Ammar, Kazmi, Bilal, Naqvi, Salman Raza, Juchelková, Dagmar, Bokhari, Awais

Volltext

MAPE-K Interfaces for Formal Modeling of Real-Time Self-Adaptive Multi-Agent Systems von Qasim, Awais, Kazmi, Syed Asad Raza

Volltext

Formal Modelling of Real-Time Self-Adaptive Multi-Agent Systems von Qasim, Awais, Raza Kazim, Syed

Volltext

Intelligent Cloud Based Load Balancing System Empowered with Fuzzy Logic von Ishaq Khan, Atif, Asad Raza Kazmi, Syed, Atta, Ayesha, Faheem Mushtaq, Muhammad, Idrees, Muhammad, Fakir, Ilyas, Safyan, Muhammad, Adnan Khan, Muhammad, Qasim, Awais

Volltext

Intelligent agent for formal modelling of temporal multi-agent systems von Qasim, Awais, Aziz, Zeeshan, Kazmi, Syed Asad Raza, Khalid, Adnan, Fakhir, Ilyas, Hassan, Jawad

Volltext

Handling temporal constraints in interaction protocols for intelligent multi-agent systems von Qasim, Awais, Iqbal, Sobia, Aziz, Zeeshan, Kazmi, Syed Asad Raza, Munawar, Adeel, Gilani, Basit Ali, Qasim, Neelam

Volltext

Timed-Arc Petri-Nets based Agent Communication for Real-Time Multi-Agent Systems von Qasim, Awais, Kanwal, Sidra, Khalid, Adnan, Asad, Syed, Hassan, Jawad

Volltext

Formal Modelling and Verification of the Operational Modes of Pacemaker von Raza Kazmi, Syed Asad, Abubakkar, Sana, Qasim, Awais, Abbas Kazmi, Syed Hassan, Qureshi, Usman Qamar

Volltext

Executable Semantics for the Formal Specification and Verification of E-agents von Qasim, Awais, Raza Kazmi, Syed Asad, Fakhir, Ilyas

Volltext

Modeling and Verification of Payment System in E-Banking von Obaid, Iqra, Asad, Syed, Qasim, Awais

Volltext

Temporal Modelling and Verification of Multi-Robot Concurrent Activities von Raza Kazmi, Syed Asad, Naeem, Ayesha, Qasim, Awais

Volltext

Concurrency in Intuitionistic Linear-Time μ-Calculus: A Case study of Manufacturing System von Fakhir, Ilyas, Kazmi, Syed Asad Raza, Qasim, Awais, Rafique, Imran

Volltext