Let (G,Ω) be a symplectic Lie group, i.e., group endowed with left invariant form. If g is the algebra of G then we call (g,ω=Ω(e))a algebra. The product • on defined by 3ω(x•y,z)=ω([x,y],z)+ω([x,z],y) extends to connection ∇ which torsion free and (∇Ω=0). When has vanishing curvature, (G,Ω)a flat (g,ω)a In this paper, study groups. We start showing that derived ideal degenerate respect ω. show...

We investigate the expressive power of timing restrictions on labeled transition systems. In particular, we show how constraints on clock variables together with a uniform liveness condition| the divergence of time|can express B uchi, Muller, Streett, Rabin, and weak and strong fairness conditions on a given labeled transition system. We then consider the e ect, on both timed and time-abstract...

A severe case of stenosis in coronary arteries results in turbulence in the blood flow which may lead to the formation or progression of atherosclerosis. This study investigated the turbulent blood flow in a coronary artery with rigid walls, as well as 80% single and double stenoses on blood flow. A finite element-based software package, ADINA 8.8, was employed to model the blood flow. The hemo...