A signed graph is an ordered pair Σ=(G,σ), where G a and σ:E(G)⟶{+1,−1} mapping. For e∈E(G), σ(e) called the sign of e for any sub-graph H G, σ(H)=∏e∈E(H)σ(e) H. having each cycle +1 balanced. Two vertices in are antipodal if dG(u,v)=diam(G). The A(G) with vertex set that same as two u,v adjacent antipodal. By d-antipodal GdA we refer to union A(G). Given ΣdA=(GdA,σd) σd defined follows: σd(e)=...

Steganalysis <span>aids in the detection of steganographic data without need to know embedding algorithm or "cover" image. The researcher's major goal was develop a technique that might improve recognition accuracy while utilizing minimal feature vector dimension. A number techniques have been developed detect steganography images. However, steganalysis technique's performance is still li...

A patient presented abdominal pseudoaneurysm after traumatic pancreatitis. Computed tomography and visceral arterial angiography showed a ruptured pseudoaneurysm at gastroduodenal artery (GDA). Superselective transcatheter arterial embolization of the pseudoaneurysm was performed by applying liquid adhesive suspension to stop bleeding. Bleeding pseudoaneurysm is a rare, but potentially a life-t...

The main classical branches of celiac trunk (CT) are the common hepatic artery (CHA), the left gastric artery (LGA) and the splenic artery (SA). During the educational dissections in a 62-year-old male cadaver a rare variation, the gastroduodenal-splenic trunk (GDST), was observed. GDST divided into SA and gastroduodenal artery (GDA). LGA and accessory left hepatic artery (ALHA) arose directly ...

The software of the GDA needs to be correct under all circumstances to guarantee its safety. Therefore the software is designed and verified using formal methods. First the requirements of the software are specified. Based on these requirements a software model is built in the proces-algebraic language μCRL. The requirements are then converted to modal logic, which can be verified against the s...

Precipitation products with high resolution for urban areas remain an important and challenging issue. The main purposes of this study are to evaluate the accuracy China Meteorological Forcing Data Set (CMFD) in Shanghai megacity improve CMFD precipitation. With rain gauge observations 2013–2018 period, we error detection ability at sub-daily, daily, monthly scales, examine spatial variation pe...