A. Salem

Learn More
Most recent combinational equivalence checking techniques are based on exploiting circuit similarity. In this paper, we focus on circuits with no internal equivalent nodes or after internal equivalent nodes have been identified and merged. We present a new technique integrating Boolean Satisfiability and Binary Decision Diagrams. The proposed approach is(More)
Bionomic aspects of Stomoxys calcitrans (Linnaeus, 1758) (Diptera: Muscidae) were studied under laboratory conditions. For this reason, laboratory-rearing techniques were optimized at the National Veterinary School of Toulouse. The colony was maintained at 25±2°C, 50±10% RH under a 12-hour light cycle and observed daily. The size of each adult cage is(More)
Although the electrocardiogram (ECG) has been a reliable diagnostic tool for decades, its deployment in the context of biometrics is relatively recent. Its robustness to falsification, the evidence it carries about aliveness and its rich feature space has rendered the deployment of ECG based biometrics an interesting prospect. The rich feature space(More)
  • 1