A unified critical state model for geomaterials with an application to tunnelling

This paper is prepared in honour of Professor E.T. Brown for his outstanding contributions to rock mechanics and geotechnical engineering and also for his personal influence on the first author's research career in geomechanics and geotechnical engineering. As a result, we have picked a topic that reflects two key research areas in which Professor E.T. Brown has made seminal contributions over a long and distinguished career. These two areas are concerned with the application of the critical state concept to modelling geomaterials and the analysis of underground excavation or tunnelling in geomaterials.Partially due to Professor Brown's influence, the first author has also been conducting research in these two areas over many years. In particular, this paper aims to describe briefly the development of a unified critical state model for geomaterials together with an application to cavity contraction problems and tunnelling in soils.     

Enhanced photo-electrochemical activity of ZnO/Cu2S nanotube arrays photocathodes

ZnO/Cu₂S nanotube arrays are fabricated firstly by a facile and capping-agent-free method, and the photo-electrochemical performance has been studied systematically. The results show that ZnO/Cu₂S nanotube arrays achieve enhanced photo-electrochemical water splitting performance and the photocurrent densities of ZnO/Cu₂S are 7.9 times than that of ZnO at 0 V versus Ag/AgCl. The performance of the ZnO/Cu₂S nanotube arrays can be adjusted by changing the amount of Cu₂S microcrystals. The results confirm that the enhanced photo-electrochemical performance of ZnO/Cu₂S is due to the significantly improved visible light absorption, effective separation of photo-induced carriers due to the well band energy match and the formed p-n junction between ZnO and Cu₂S.     

Software assurance practices for mobile applications

Mobile software applications have to cope with a particular environment that involves small size, limited resources, high autonomy requirements, competitive business models and many other challenges. To provide development guidelines that respond to these needs, several practices have been introduced; however, it is not clear how these guidelines may contribute to solve the issues present in the mobile domain. Furthermore, the rapid evolution of the mobile ecosystem challenges many of the premises upon which the proposed practices were designed. In this paper, we present a survey of the literature on software assurance practices for mobile applications, with the objective of describing them and assessing their contribution and success. We identified, organized and reviewed a body of research that spans in three levels: software development processes, software product assurance practices, and software implementation practices. By carrying out this literature survey, we reviewed the different approaches that researchers on Software Engineering have provided to address the needs that raise in the mobile software development arena. Moreover, we review the evolution of these practices, identifying how the constant changes and modernization of the mobile execution environment has impacted the methods proposed in the literature. Finally, we introduced discussion on the application of these practices in a real productive setting, opening an area for further research that may determine if practitioners have followed the proposed assurance paradigms.     

Intrinsic CFRP-metal-hybrids with rubber interface for the improvement of the damping behaviour

This paper presents an integrated passive damping approach in hybrid metal-CFRP parts for structural applications. In this concept a viscoelastic material is embedded in the joint zone of the hybrid component. To examine the connection strength single-lap-joint specimens were produced and tested and the influence of the used material combinations, different surface structures, and different process parameters i.e. the moment of cross-linking were evaluated. Afterwards, the metal-CFRP hybrids were tested in quasi-static tests to assess their connection strength and failure behaviour. Dynamic cyclic tensile tests with step-wise increased loading conditions were performed to determine the specimens damping behaviour and to estimate their fatigue performance. Finally, these results are compared to a state of the art metal-CFRP hybrid with rivets connecting both materials.     

A Dual Inhibitor of DYRK1A and GSK3β for β-Cell Proliferation: Aminopyrazine Derivative GNF4877

Loss of β-cell mass and function can lead to insufficient insulin levels and ultimately to hyperglycemia and diabetes mellitus. The mainstream treatment approach involves regulation of insulin levels; however, approaches intended to increase β-cell mass are less developed. Promoting β-cell proliferation with low-molecular-weight inhibitors of dual-specificity tyrosine-regulated kinase 1A (DYRK1A) offers the potential to treat diabetes with oral therapies by restoring β-cell mass, insulin content and glycemic control. GNF4877, a potent dual inhibitor of DYRK1A and glycogen synthase kinase 3β (GSK3β) was previously reported to induce primary human β-cell proliferation in vitro and in vivo. Herein, we describe the lead optimization that lead to the identification of GNF4877 from an aminopyrazine hit identified in a phenotypic high-throughput screening campaign measuring β-cell proliferation.     

On stochastic comparisons of finite mixtures for some semiparametric families of distributions

In this paper, we consider the classical finite mixture model, which is an effective tool for modeling lifetime distributions for random samples from heterogeneous populations. We discuss new results on stochastic comparison for two finite mixtures when each of them is drawn from one of the following semiparametric families, i.e., proportional hazards, accelerated lifetime and proportional reversed hazards.     

Is the List of Incomplete Open Cubes Complete?

Variations of Incomplete Open Cubes is the major project by the twentieth-century conceptual artist Sol LeWitt. In this paper we interpret the enumerative component of the project as embeddings of graphs. This formulation permits use of an algorithm to check the completeness of the list of the structures produced by the artist. Our conclusion is that the artist found the correct number of structures (that is, 122), but that his list contains a mistake in the presentation of a pair of incomplete cubes, a discovery that appears not to have been noted before.