The research is co-funded by the European Regional Development Fund as part of the Innovative Economy programs PLGrid POIG.02.03.00-00-007/08-00 and ITSOA POIG.01.03.01-00-008/08-01 Distributed Contract Negotiation System for Virtual Organizations Marcin Stelmach1, Bartosz Kryza2, Renata Słota1, Jacek Kitowski1,2 1Institute of Computer Science AGH-UST, Cracow, Poland 2Academic Computer Centre C...

OBJECTIVE We sought to determine the clinical phenotype of adolescent/adult patients with cystic fibrosis, according to heterozygosity or homozygosity for cystic fibrosis transmembrane regulator (CFTR) deltaF508 mutation, and to analyze their characteristics according to glucose tolerance status. RESEARCH DESIGN AND METHODS A total of 76 cystic fibrosis patients with CFTR deltaF508 mutation (...

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...

A seamless and tough interface to integrate incompatible/immiscible soft materials is highly desired for flexible/wearable electronics many devices with multi-layer structures. Here, a surfactant-mediated interfacial chemistry introduced achieve interfaces in structures, an ultra-high toughness up ≈1300 J m−2 the architectural gel hybrid (AGH). The reversible noncovalent interactions efficientl...

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, ...