BACKGROUND New technologies facilitate the enhancement of a wide range of human dispositions, capacities, or abilities. While it is argued that we need to set limits to human enhancement, it is unclear where we should find resources to set such limits. DISCUSSION Traditional routes for setting limits, such as referring to nature, the therapy-enhancement distinction, and the health-disease dis...

‎Let $(Sigma_P,sigma_P)$ be the space of a spacing shifts where $Psubset mathbb{N}_0=mathbb{N}cup{0}$ and $Sigma_P={sin{0,1}^{mathbb{N}_0}: ‎s_i=s_j=1 mbox{ if } |i-j|in P cup{0}}$ and $sigma_P$ the shift map‎. ‎We will show that $Sigma_P$ is mixing if and only if it has almost specification property with at least two periodic points‎. ‎Moreover‎, ‎we show that if $h(sigma_P)=0$‎, ‎then $Sigma_...

The more coal production is produced, the waste coming from combustion process which leads to environmental pollution. Waste burning in form of fly ash can be used as a mixture subgrade stability highway construction. purpose this study determine characteristic value each combination ash, Liang Anggang sand and cement layer materials. test objects consist 10 combinations cement. Some tests were...

we prove that the class of profinite groups $g$ that have a factorization $g=ab$ with $a$ and $b$ abelian closed subgroups, is closed under taking strict projective limits. this is a generalization of a recent result by k.h.~hofmann and f.g.~russo. as an application we reprove their generalization of iwasawa's structure theorem for quasihamiltonian pro-$p$ groups.

The study presented in this paper is part of a digitization project developed for the University Padua. It aims at demonstrating how IFC (Internet Foundation Classes) ISO Standard can be used as reliable data model to support Performance Analysis (PA) and code checking construction disciplines. Fire Safety Engineering (FSE) analyzed challenging test field because it highly affects different bui...

Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...

Air pollution is a consequence of human activities, especially in the period after industrial revolution, which has many (direct and indirect) effects on the human and the environment around him. Among different kinds of pollutions, those related to industries and mines are much more dangerous. Therefore, it is necessary to identify these pollutions and specify them so as to reduce the harmful ...