Electric Arc Furnace as a Source of Emission of Polychlorinated Dibenzo-p-Dioxins and Polychlorinated Dibenzofurans in Perspective of the Council Directive 96/61 EC Concerning Integrated Pollution Prevention and Control

As the accumulation of PCDDs/Fs in the natural environment poses a great threat, and the pollution of the environment with these highly toxic compounds from various emitters needs to be prevented, many countries have conducted an inventory of industrial sources and their emissions in order to obtain better insight into the share of particular sourc

read more

Chemical Weapon Training Center

The paper presents the problems related to exercises that allow to prepare people, military equipment, and other rescue groups to prevent and minimize the number of victims in the case of the use of modern means of poisonous or radioactive ones.Such exercises can be carried out in the facility that is hermetically separated from the external enviro

read more

Proving Soundness of Extensional Normal-Form Bisimilarities

Normal-form bisimilarity is a simple, easy-to-use behavioral equivalence that relates terms in $lambda$-calculi by decomposing their normal forms into bisimilar subterms.Moreover, it typically allows for powerful up-to techniques, such as bisimulation up to context, which simplify bisimulation proofs even further.However, proving soundness of these

read more