Catalytic destruction of methyl tertiary butyl ether (MTBE) using oxidized carbon

Decomposition of methyl tert-butyl ether (MTBE) in the gas phase was studied using carbon catalysts with chemically modified surface. Carbon samples with different surface chemical properties were obtained from commercial activated carbon D43/1 (CarboTech, Essen, Germany) by oxidation in liquid phase with various oxidants as well as in air. The catalytic tests were performed in a flow reactor at a temperature range of 353–473 K. Isobutene and methanol are the only products of the MTBE decomposition. The generation of surface acidic oxides considerably enhances the catalytic activity of the carbons. However, the activity is controlled not only by the number and strength of acidic groups, but also by their accessibility. The most active carbon is that oxidized with air at 673 K, which contains pores wider than the pores of other oxidized carbons.     

Apex graph grammars and attribute grammars

Summary Apex graph grammars are a particular type of directed node-label controlled (DNLC) graph grammars: the embedding edges are established between terminal nodes only. Apex graph grammars, slightly generalized, can generate the sets of dependency graphs of attribute grammars. The other way around, every apex graph language can be obtained from such a dependency graph language by a graph replacement (which is an operation analogous to a string homomorphism).     

Hydrogen production by steam reforming of ethanol over Co/CeO2 catalysts: Effect of cobalt content

The Co/CeO₂ catalysts obtained by co-precipitation method were used in the steam reforming of ethanol (SRE). The influence of cobalt active phase content (15–29 wt%), the reaction temperature (420–600 °C) and H₂O/EtOH molar ratio (12/1 and 6/1) were examined. The physicochemical characterization revealed that the cobalt content of the catalyst influences the metal-support interaction which results in catalyst performance in SRE process. The differences between catalytic properties of the Co/CeO₂ catalysts with different metal loading in SRE process decayed at 500 °C for H₂O/EtOH = 12/1. The best performance among the tested catalysts showed the 29Co/CeO₂ catalyst with the highest cobalt content, exhibiting the highest ethanol conversion, selectivity to two most desirable products and the lowest selectivity to by-products in comparison with catalysts containing smaller amount of metal. Its catalytic properties results probably from its unique physicochemical properties, i.e this catalyst contains large amount of cobalt but the metal crystallites are relatively small. Regardless cobalt content, an increase in the water-to-ethanol molar ratio in the feed increased the concentration of hydrogen an carbon dioxide and decreased formation of carbon monoxide, acetone, aldehyde and ethylene.     

On the usefulness of guidelines and instructions for environmental assessment – a qualitative study of the helpfulness perceived by Polish practitioners

Guidelines and instructions for Environmental Impact Assessment and Strategic Environmental Assessment (together referred to as EA here) are developed to improve the quality of legal requirements’ implementation and to support EA procedure accomplishment. However, to date, it has not been checked whether they are useful for practitioners. Therefore, the aim of the study underlying this paper was to verify, based on the experience of Polish EA experts, whether guidelines and instructions are useful in their everyday work. A qualitative study comprising of a questionnaire survey and interviews tested whether (1) EA practitioners know and use the Polish and EU guidelines, (2) how EA practitioners evaluate the validity and usefulness of such instructions, and (3) in which areas there is a lack of instructions and guidelines. The results show a low level of knowledge of national and EU handbooks. Those guidelines focusing on legal procedures, road investments and designing animal passageways are considered to be the most useful. Moreover, practitioners indicate that EU guidelines should be translated into Polish. Most important for practitioners is the linking of guidelines with the EA procedure, so that they can become a platform for dialogue of all stakeholders.     

Participatory design of a robot for demonstrating an epileptic seizure

ABSTRACT

We present the methodology and results of participatory design of a robot for presenting an epileptic seizure and a scenario of the educational workshop using this robot. Children with epilepsy encounter stigma and stereotypes and may receive inadequate aid when having an epileptic seizure. The goal of the larger project was to use the prototype device in a series of workshops for improving teachers' actions during an epileptic seizure and their attitudes towards epileptic students. In this paper, we show how various design goals for an educational robot were accomplished to fit the needs of all identified stakeholders, particularly people with epilepsy.

We used a co-design (participatory design) approach through a series of meetings participated by members of the association Polish Association for People Suffering from Epilepsy, students and faculty members of the biomedical engineering and robotics departments, teachers, psychologists and medical specialists (epileptologist, neurologist).

These meetings created an opportunity for a better understanding of the (functional and nonfunctional) requirements and resulting tradeoffs and led the participants to find appropriate solutions. Participation of people with epilepsy in the design process allowed them to deal with the potentially stereotyped representation of themselves. The prototype robot, therefore, combined goals of various stakeholders, such as an accurate presentation of an epileptic seizure, lightweight, ease of use and control, while preserving the dignity of people with epilepsy.

As a result of the co-designing process, an inexpensive robot was created and used in a series of 10 pilot workshops with 217 participants, mainly teachers of primary and middle schools. Teachers improved their understanding of epilepsy and suggested further improvements to the system.     

Ockham’s index of citation impact

Scientometrics - We demonstrate that by using a triple of simple numerical summaries: an author’s productivity, their overall impact, and a single other bibliometric index that aims to...     

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

The Mizar system is one of the pioneering systems aimed at supporting mathematical proof development on a computer that have laid the groundwork for and eventually have evolved into modern interactive proof assistants. We claim that an important milestone in the development of these systems was the creation of organized libraries accumulating all previously available formalized knowledge in such a way that new works could effectively re-use all previously collected notions. In the case of Mizar, the turning point of its development was the decision to start building the Mizar Mathematical Library as a centrally-managed knowledge base maintained together with the formalization language and the verification system. In this paper we show the process of forming this library, the evolution of its design principles, and also present some data showing its current use with the modern version of the Mizar proof checker, but also as a rich corpus of semantically linked mathematical data in various areas including web-based and natural language proof presentation, maths education, and machine learning based automated theorem proving.     

The stiffness of laser stake welded T-joints in web-core sandwich structures

The purpose of this paper is to describe experiments carried out on laser stake welded T-joints of web-core steel sandwich structures. A special test setup was developed to measure the shear-induced rotation at the T-joint. The ratio of the shear force to rotation angle gave the joint stiffness. This stiffness was measured for specimens with two different face-plate thicknesses. The influence of weld thickness, root gap and occurrence of contact were further investigated with finite element simulations. Finally, the shear stiffness of the sandwich structure transverse to the web plate direction was determined using the experimentally obtained average joint stiffness value. The validation of the shear stiffness was carried out by considering a beam in four-point bending. The agreement between calculated deflection and stress and experimental results was found to be good.