Genetic programming based formulation for fresh and hardened properties of self-compacting concrete containing pulverised fuel ash

Self-compacting concrete (SCC) flows into place and around obstructions under its own weight to fill the formwork completely and self-compact without any segregation and blocking. Elimination of the need for compaction leads to better quality concrete and substantial improvement of working conditions. This investigation aimed to show possible applicability of genetic programming (GP) to model and formulate the fresh and hardened properties of self-compacting concrete (SCC) containing pulverised fuel ash (PFA) based on experimental data. Twenty-six mixes were made with 0.38 to 0.72 water-to-binder ratio (W/B), 183–317 kg/m³ of cement content, 29–261 kg/m³ of PFA, and 0 to 1% of superplasticizer, by mass of powder. Parameters of SCC mixes modelled by genetic programming were the slump flow, JRing combined to the Orimet, JRing combined to cone, and the compressive strength at 7, 28 and 90 days. GP is constructed of training and testing data using the experimental results obtained in this study. The results of genetic programming models are compared with experimental results and are found to be quite accurate. GP has showed a strong potential as a feasible tool for modelling the fresh properties and the compressive strength of SCC containing PFA and produced analytical prediction of these properties as a function as the mix ingredients. Results showed that the GP model thus developed is not only capable of accurately predicting the slump flow, JRing combined to the Orimet, JRing combined to cone, and the compressive strength used in the training process, but it can also effectively predict the above properties for new mixes designed within the practical range with the variation of mix ingredients.

sgen1: A generator of small but difficult satisfiability benchmarks

The satisfiability problem is known to be NP-Complete; therefore, there should be relatively small problem instances that take a very long time to solve. However, most of the smaller benchmarks that were once thought challenging, especially the satisfiable ones, can be processed quickly by modern SAT-solvers. We describe and make available a generator that produces both unsatisfiable and, more significantly, satisfiable formulae that take longer to solve than any others known. At the two most recent international SAT Competitions, the smallest unsolved benchmarks were created by this generator. We analyze the results of all solvers in the most recent competition when applied to these benchmarks and also present our own more focused experiments.

The Deubiquitinating Enzyme USP17 Blocks N-Ras Membrane Trafficking and Activation but Leaves K-Ras Unaffected

The proto-oncogenic Ras isoforms (H, N, and K) have a C-terminal CAAX motif and undergo the same post-translational processing steps, although they traffic to the plasma membrane through different routes. Previously, we have shown that overexpression of the deubiquitinating enzyme USP17 inhibits H-Ras localization to the plasma membrane. Now we report that whereas H-Ras and N-Ras were unable to localize to the plasma membrane in the presence of USP17, K-Ras4b localization was unaffected. EGF stimulation was unable to induce N-Ras membrane localization in USP17-expressing cells. In addition, N-Ras activity and downstream signaling through the MAPK MEK/ERK and PI3K/JNK pathways were blunted. However, we still detected abundant N-Ras localization at the ER and Golgi in USP17-expressing cells. Collectively, our data showed that the deubiquitinating enzyme USP17 blocks EGF-induced N-Ras membrane trafficking and activation, but left K-Ras unaffected.

Homogeneous habitat can meet the discrete and varied resource requirements of hares but may set an ecological trap

In common with other farmland species, hares (Lepus spp.) are in widespread decline in agricultural landscapes due to agricultural intensification and habitat loss. We examined the importance of habitat heterogeneity to the Irish hare (Lepus timidus hibernicus) in a pastoral landscape. We used radio-tracking during nocturnal active and diurnal inactive periods throughout one year. In autumn, winter and spring, hares occupied a heterogeneous combination of improved grassland, providing food, and Juncus-dominated rough pasture, providing refuge. In summer, hares significantly increased their use of improved grassland. This homogeneous habitat can fulfil the discrete and varied resource requirements of hares for feeding and shelter at certain times of year. However, improved grassland may be a risky habitat for hares as silage harvesting occurs during their peak birthing period of late spring and early summer. We therefore posit the existence of a putative ecological trap inherent to a homogeneous habitat of perceived high value that satisfies the hares' habitat requirements but which presents risks at a critical time of year. To test this hypothesis in relation to hare populations, work is required to provide data on differential leveret mortality between habitat types.

Science for sale in a free market economy: But at what price? ABA and the treatment of autism in Europe.

Educating the public accurately about Applied Behavior Analysis (ABA) is an important undertaking, not least because misconceptions and myths about ABA abound. In this paper we argue that, unfortunately, the efforts of many dedicated professionals and parents to disseminate accurate information about the benefits of ABA for children diagnosed with autism spectrum disorder (ASD) are damaged by a few behavior analysts whose focus seems to be more on monetary gains than social responsibility. We cite examples of the resulting harm to the public image of behavior analysis from a number of European countries. We conclude by calling upon fellow scientists to unite in their opposition to unscrupulous abuses of free market forces for short-term monetary gains that damage the dissemination of the science of behavior analysis and thereby ultimately disadvantage those who should benefit primarily from our science, i.e., some of the most vulnerable citizens of society.