There has been rapid growth in the use of electronic cigarettes ("vaping") in Europe, North America and elsewhere. With such increased prevalence, there is currently a debate on whether the aerosol exhaled following the use of e-cigarettes has implications for the quality of air breathed by bystanders. Conducting chemical analysis of the indoor environment can be costly and resource intensive, ...

Bluetooth Low Energy (BLE) is a Bluetooth standard with low energy consumption. Beacons using BLE transmit BLE signals, which can be received by smart phones running iOS or Android OS. At present, demonstration experiments are conducted. An indoor position detection using an ordered order-k Voronoi diagram was proposed. Beacons were installed in a building of Tokai University. Experiments are c...

polypyrrole (ppy/cl) and polyaniline (pani/cl) synthesized chemically onto sawdust (sd)was used for removal of thiocyanate (scn-) ions from aqueous solutions. the effect of someimportant parameters such as ph, initial concentration, sorbent dosage, and contact time onuptake of scn- was investigated. ppy/sd was found to be much more effective sorbent thanpani/sd for uptake scn- from aqueous solu...

An experiment with slaughter pigs from weaning to slaughter including five treatments and five replicates was carried out at the Danish organic experimental station, Rugballegård. Treatments included full or partial outdoor rearing of the pigs, and the replicates covered the seasonal effects. Pigs fed ad libitum indoors had a significantly lower feed consumption (5 MJ ME /kg gain), a lower lean...

As a complementary technique of the BDD-based approach, boundedmodel checking (BMC) has been successfully applied to LTL symbolic model checking. However, the expressiveness of LTL is rather limited, and some important properties cannot be captured by such logic. In this paper, we present a semantic BMC encoding approach to deal with the mixture of ETLf and ETLl. Since such kind of temporal log...

This paper outlines some of the issues in fostering adoption via empirical studies. There has been a welcomed shift in recent years towards the use of evidence-based techniques to support arguments of efficacy of proposed software engineering tools and techniques. When available, such objective indicators can provide a strong argument for (or against) the adoption of a particular approach. Unfo...