Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary functionalities of distributed systems. We shall illustrate the use of a certain formal technical for developing distributed algorithms.This technique uses a so-called “event driven” approach together with the B-Method .T...

introduction: in this experimental study, the amount of smear layer (sl) remnants in curved root canals after chemomechanical instrumentation with two engine-driven systems or hand instrumentation was evaluated. methods and materials: forty-eight mesiobuccal roots of mandibular first molars with curvatures ranging between 25 and 35 degrees (according to schneider’s method) were divided into thr...

Approximate Computing (AxC) paradigm aims at designing computing systems that can satisfy the rising performance demands and improve energy efficiency. AxC exploits gap between level of accuracy required by users, actual precision provided system, for achieving diverse optimizations. Various techniques have been proposed so far in literature different abstraction levels from hardware to softwar...

Abstract Terrorism is a scourge of humanity. Thousands people were killed by terrorists in the last years. To understand structure, information flow and leadership terrorist cells must for all societies to prevent future attacks. Network theory can help model such identify leading members therein. This contribution uses graph theoretical approach as basis enriches it an entropy‐driven knowledge...