Pediatric surgeons need precise and advanced energy sources for performing procedures on neonates. The technologies have also advanced and industry is continuously upgrading to develop solutions that perform precise and effective action and at the same time is safe and reliable to both the patient as well to the theatre personnels [1]. The major energy sources for neonatal surgery available are...

The current technology of verification engineering requires well-trained personnels in logics and automaton theory, who carefully tune their verification packages, to tame the well-known state-space explosion problem. Several researches have resulted in a large number of techniques for reducing the system state-space, such as symmetry-based reductions, partial-order semantics, bisimulation equi...

Introduction : Le paludisme pendant la grossesse représente un problème de santé publique majeur, avec des risques élevés pour mère, le fœtus et nouveau-né. L’Organisation Mondiale Santé recommande calendrier d'au moins quatre consultations prénatales lors grossesse. Notre étude s’est fixé ainsi l’objectif d’analyser rôle matrones dans TPI en milieu rurale Sélingué au Mali. Matériels méthodes N...