Alvis is a new modeling language for developing concurrent (embedded) systems. The language is being developed within the confines of the Alvis project at AGH University of Science and Technology, Department of Automatics. The Alvis language combines hierarchical graphical modelling with a high level programming language. Moreover, a formal verification of a model, based on an LTS graph (Labell...

All authors from AGH University of Science and Technology, Faculty of Foundry Engineering, Krakow, Poland The subject of the paper is the determination of the infl uence of the colloidal nanoparticles of zinc oxide on the structure of sodium water glass. Nanoparticles of zinc oxide in ethanol solvent were introduced into the water glass. The modifi cation and structural changes were determined ...

AIMS To evaluate the outcomes of transcrestal sinus floor elevation (tSFE) performed with a minimally invasive procedure (Smart Lift technique) combined with the additional use of deproteinized bovine bone mineral (DBBM) or β-tricalcium phosphate (β-TCP). METHODS In a multicenter randomized controlled trial, 38 sites in 38 patients were treated with the Smart Lift technique in association wit...

Based in part on observations made in blood-mixing experiments with intact and 70 and 90 % hepatectomized rats, a mixture of chemicals has been devised that induces nuclear DNA formation and mitosis in the parenchymal liver cells of the unoperated animal. The mixture (TAGH solution) contains 3,3’,5-triiodo-L-thyronine (triiodothyronine), amino acids, glucagon, and heparin. Each component of the...

Blocking is associated with outbreaks of easterlies induced by a continuum features including anticyclones, cyclones or both. identification methods disagree on the levels high-latitude blocking (HLB) activity. We investigate cause disagreement in HLB activity over Northern Hemisphere obtained two 2D methods: PV– θ index and Absolute Geopotential Height (AGH) reversal method. Although both clas...

background: soil and sediment serve as major reservoir for contaminants as they possess ability to bind various chemicals together. in this study the concentrations of heavy metals cd, cr and cu were analyzed in surface sediments of agh gel wetland in west of iran. methods: the sediment samples were taken from 10 stations. the samples were subjected to bulk digestion and chemical partitioning a...

Faculty of Science and Technology, Gunma University, Tenjin-cho, Kiryu, Gunma 376-8515, Japan Physics Department, Northeastern University, Boston, Massachusetts 02115, USA Graduate School of Human and Environmental Studies, Kyoto University, Yoshida-nihonmatsu-cho, Sakyo-ku, Kyoto 606-8501, Japan Faculty of Physics and Applied Computer Science, AGH University of Science and Technology, aleja Mi...