We present an undecidability result for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebraic properties, several recent works relax this assumption, allowing the intruder to exploit these properties. We are interested in the Abelian groups theory in combination with the homomorphism axiom. We show th...

AIMS To correlate microbial community composition and water quality changes within wetland cells containing varying plant densities and composition in a free water surface (FWS) constructed wetland. METHODS AND RESULTS Water chemistry was monitored weekly for nitrate, orthophosphate, and suspended solids, at various sites throughout the wetland for 6 months. Treatment ponds with 50% plant cov...

A. Kmita, AGH University of Science and Technology, Academic Centre for Materials and Nanotechnology, Krakow, Poland. J. Zych, M. Holtzer, J. Mocek, AGH University of Science and Technology, Faculty of Foundry Engineering, Krakow, Poland. S. Piasny, Engineering Enterprise HARDKOP, Trzebinia, Poland. The aim of the investigations was the development of the protective coating and the method of it...

We present an undecidability result for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebraic properties, several recent works relax this assumption, allowing the intruder to exploit these properties. We are interested in the Abelian groups theory in combination with the homomorphism axiom. We show th...

Mega-sports events have a profound impact on promoting the urbanization process, optimizing urban spatial structure, and improving competitiveness of host city. Taking 19th Asian Games Hangzhou 2022 (AGH) as an example, we used remote sensing data scenario-based model to simulate land-use changes developments from 2005 2025. By setting two scenarios, natural development AGH-driven development, ...

The distributed project scheduling problem is a distributed resource allocation problem extended with temporal constraints. Herein a project consists of a series of activities, the scarce resources are assigned to those activities at certain time windows such that all the activities are performed and certain objectives are optimized. In the past, methods from Operations Research (OR) and Artifi...

The quantification of glucose by using a multi-channel dissolved oxygen (DO) meter (DOX96) with immobilized glucose oxidase (GOD) and mutarotase (MUT) was performed. An evaluation of the inhibitory activities for alpha-glucosidase (AGH) by modifying our batch-type pseudo-in vivo assay system [Oki et al.; Biol Pharm. Bull., 2000, 232, 1084] was also performed using a DOX96. When 45 U/well GOD an...

wetlands are ecosystems with specific features and functions which have been unfortunatelydamaged by recent pressures and limitations. fast reduction of surface flows, water and wind erosion of soil,changes in the quality of water and soil resources, increasing exploitation of underground water, agriculturaldevelopment, climate change, etc. have had the most effect on these ecosystems. so this ...