Search Results - "Fakih, K"
-
1
Assessing test suites of extended finite state machines against model‐ and code‐based faults
Published in Software testing, verification & reliability (01-11-2022)“…Summary Tests can be derived from extended finite state machine (EFSM) specifications considering the coverage of single‐transfer faults, all transitions using…”
Get full text
Journal Article -
2
Medical treatment of left ventricular pseudoaneurysms
Published in QJM : An International Journal of Medicine (01-03-2016)Get full text
Journal Article -
3
NADPH-diaphorase-positive neurons in the human inferior colliculus: morphology, distribution and clinical implications
Published in Brain Structure and Function (01-05-2017)“…Using the nicotinamide adenine dinucleotide phosphate-diaphorase (NADPH-d) reaction with nitroblue tetrazolium, we provided a detailed investigation of the…”
Get full text
Journal Article -
4
FSM-based incremental conformance testing methods
Published in IEEE transactions on software engineering (01-07-2004)“…The development of appropriate test cases is an important issue for conformance testing of protocol implementations and other reactive software systems. A…”
Get full text
Journal Article -
5
FSM-based testing from user defined faults adapted to incremental and mutation testing
Published in Programming and computer software (01-07-2012)“…We study the problem of deriving a test suite with guaranteed fault coverage from a given finite state machine specification with respect to some given user…”
Get full text
Journal Article -
6
On the Cooperative and Non-Cooperative Relaying in WiMAX Communication Systems
Published in 2010 IEEE 71st Vehicular Technology Conference (01-05-2010)“…This paper deals with relaying techniques in WiMAX communication system. Different cooperative and non-cooperative schemes are investigated and compared over a…”
Get full text
Conference Proceeding -
7
Exercise induced coronary inflammation in masters athletes
Published in European heart journal (03-10-2022)“…Abstract Background Chronic endurance exercise has been linked to increased prevalence of coronary artery disease (CAD) in male master athletes. Data are…”
Get full text
Journal Article -
8
CT fractional flow reserve: an alternative to stress ECHO for gatekeeping to invasive coronary angiography
Published in European heart journal cardiovascular imaging (04-02-2022)“…Abstract Funding Acknowledgements Type of funding sources: None. Introduction Stress echocardiography (SE) can assess the significance of moderate/severe…”
Get full text
Journal Article -
9
Left ventricular remodelling in masters athletes
Published in European heart journal cardiovascular imaging (08-02-2021)“…Abstract Funding Acknowledgements Type of funding sources: Other. Main funding source(s): I have received a research fellowship grant from the UK based charity…”
Get full text
Journal Article -
10
Automatic derivation of Petri net based distributed specification with optimal allocation of resources
Published in Automated Software Engineering: Proceedings of the 15th IEEE international conference on Automated software engineering; 11-15 Sept. 2000 (2000)“…In this paper, we present a method for the synthesis of extended Petri net-based distributed specifications. Our method finds an optimal allocation of…”
Get full text
Conference Proceeding -
11
A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices
Published 11-10-2022“…With the rapid growth in the number of IoT devices being added to the network, a major concern that arises is the security of these systems. As these devices…”
Get full text
Journal Article -
12
Experimental evaluation of FSM-based testing methods
Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)“…The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for…”
Get full text
Conference Proceeding -
13
An unusual cause of intractable cough
Published in European heart journal cardiovascular imaging (01-10-2012)Get full text
Journal Article -
14
Repair of artificial bone defects using guided bone regeneration with Bio Oss and enamel matrix derivative. I. Light microscopic study on long bones in rabbits
Published in Bulgarian journal of veterinary medicine (2014)“…Guided bone regeneration (GBR) is most effective when the material used has osteogenic, osteoinductive and osteoconductive properties. Xenografts have limited…”
Get full text
Journal Article -
15
Outdoor to Indoor Channel Characterization by Simulations and Measurements for Optimising WiMAX Relay Network Deployment
Published in VTC Spring 2009 - IEEE 69th Vehicular Technology Conference (01-04-2009)“…This paper deals with channel characterization in Outdoor to Indoor (021) context. Particularly, we propose an original approach using both numerical…”
Get full text
Conference Proceeding -
16
On the Capacity Optimization for MIMO Ad Hoc Networks
Published in VTC Spring 2008 - IEEE Vehicular Technology Conference (01-05-2008)“…Maximizing the system mutual information for MIMO ad hoc networks is considered in this paper. We first give a brief overview of the non-linear optimization…”
Get full text
Conference Proceeding -
17
Analytical Evaluation on the Performance of Ad Hoc Networks When Using Beamforming Techniques
Published in 2008 IEEE International Conference on Communications (01-05-2008)“…In this paper, we evaluate through analytical modeling, the performance of ad hoc networks when the nodes are endowed with M-element antenna array. We first…”
Get full text
Conference Proceeding -
18
Therapeutic efficacy of sulfadoxine-pyrimethamine and amodiaquine among children with uncomplicated Plasmodium falciparum malaria in Zanzibar, Tanzania
Published in The American journal of tropical medicine and hygiene (01-10-2005)“…The efficacy of sulfadoxine-pyrimethamine (SP) and amodiaquine (AQ) was assessed at Kivunge and Micheweni in Zanzibar, Tanzania, in 2001. The main objective…”
Get more information
Journal Article -
19
Modeling and Throughput Analysis for Wireless Ad Hoc Networks
Published in VTC Spring 2008 - IEEE Vehicular Technology Conference (01-05-2008)“…This paper presents a novel analytical model for wireless ad hoc networks. Based on the strong points in the literature, an accurate performance model for IEEE…”
Get full text
Conference Proceeding -
20
Prevention, diagnosis, and management of osteoporosis-related fracture
Published in The Journal of the American Osteopathic Association (01-03-2009)Get full text
Journal Article