Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correctness of slicing, which should ideally be proven independent of concrete programming languages and with the help of well-known verifying techniques such as proof assistants. After verifying static intraprocedural and d...

A zirconium sulfate-surfactant micelle mesostructure (ZS) was synthesized to investigate its capacity for phosphate removal from water. Its phosphate adsorption kinetics, the effect of pH and interfering anions, adsorption isotherm, desorption capacity, and reusability were investigated. The adsorption isotherms could be described by the Langmuir model. The ZS was an effective adsorbent for pho...

s: Arányi, Zs; Mathis, J; Hess, CW; Rösler, KM. Facilitation of motor evoked potentials during movement and static muscle contraction. Electroenceph clin Neurophysiol 1996, 99:346. IF:2.027 Arányi, Zs; Rösler, KM; Mathis, J; Hess, CW. Comparison of transcallosal effects in a proximal and a distal muscle in humans. Electroenceph clin Neurophysiol 1997, 103:151. IF:2.400 Arányi, Zs. Investigation...

The Ziziphus species are considered to be the medicine and food dual purposes plants. Among them, the seed of Ziziphus jujuba var. spinosa (ZS) has traditionally been used as an ethnomedicine in Asian countries for thousands years. Owing to the significant benefits for human health, the demand for ZS increased year by year, and the wild resources have become increasingly scarce, which resulted ...

AIMS Hyperkalaemia in heart failure patients limits use of cardioprotective renin-angiotensin-aldosterone system inhibitors (RAASi). Sodium zirconium cyclosilicate (ZS-9) is a selective potassium ion trap, whose mechanism of action may allow for potassium binding in the upper gastrointestinal tract as early as the duodenum following oral administration. ZS-9 previously demonstrated the ability ...

BACKGROUND Zellweger syndrome (ZS) is a fatal inherited disease caused by peroxisome biogenesis deficiency. Patients are characterized by multiple disturbances of lipid metabolism, profound hypotonia and neonatal seizures, and distinct craniofacial malformations. Median live expectancy of ZS patients is less than one year. While the molecular basis of peroxisome biogenesis and metabolism is kno...

zellweger syndrome (zs) is a peroxisomal disorder with a multiple congenital anomalies, characterized by stereotypical facies, profound hypotonia, organ involvement including cerebral, retinal, hepatic, and renal. herein, a 3-month-old female with zs is presented who was referred because of increased liver enzymes (subclinical hepatitis), which was detected in work-up of her neck cyst, severe h...

Let k an algebraically closed field, P the n-dimensional projective space over k and TPn the tangent vector bundle of P . In this paper I prove the following result : for every integer l, for every non-negative integer s, if Zs is the union of s points in sufficiently general position in P, then the restriction map H(P, TPn(l)) → H 0(Zs, TPn(l)|Zs) has maximal rank. This result implies that the...