umbilical and supraumbilical catheter insertion is a common procedure performed in the nicu. it is a safe and usually easy procedure devoid of serious mishaps, morbidity and mortality. complications such as hemorrhage, infection, hernia, evisceration, omphalitis, portal vein thrombosis and portal hypertension may occur after umbilical catheter insertion. other uncommon and rare complications re...

introduction accidents are the second leading cause of disabilities; a problem that causes physical and psychological disorders, and in more severe cases, death. the risks should be identified to suggest the best way to confront and eliminate them. therefore, this study reviews the prevalence and types of accidents among ethnic nomads. materials and methods the current research is a descriptive...

intraosseous migration is an unusual developmental dental anomaly, which demonstrates horizontal movement of unerupted teeth only affecting the permanent dentition of the lower jaw. mandibular second premolar is the most common impacted tooth after the third molars and maxillary canines. distal migration of the second premolar is rare and early loss of the permanent first molar is one of the mo...

Today, it is important for software companies to build software systems in a short time-interval, to reduce costs and to have a good market position. Therefore well organized and systematic development approaches are required. Reusing software components, which are well tested, can be a good solution to develop software applications in effective manner. The reuse of software components is less ...

This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, two-state invariants that describe the evolution of data values. The technique enables a flexible new way to specify and verify variations of the observer pattern, including iterators. The paper details history invariants and the ...

In this paper we evaluate state-of-the-art SMT solvers on encodings of verification problems involving Multi-Layer Perceptrons (MLPs), a widely used type of neural network. Verification is a key technology to foster adoption of MLPs in safety-related applications, where stringent requirements about performance and robustness must be ensured and demonstrated. In previous contributions, we have s...