Photoluminescence-Based Current-Voltage Characterisation of Individual Subcells in Multi-Junction Devices

We demonstrate a photoluminescence based, contactless method to determine the current-voltage characteristics of the individual subcells in a multi-junction solar cell. The method, furthers known results for single junction devices and relies upon the reciprocity relation between the absorption and emission properties on a solar cell. Laser light with a suitable energy is used to excite carriers selectively in one junction and the internal voltages are deduced from the intensity of the resulting luminescence. The IV curves obtained this way on 1J, 2J and 6J devices are compared to those obtained using electroluminescence. Good agreement is obtained at high injection conditions while discrepancies at low injection are attributed to in-plane carrier transport

Micro and Nano Plastics: A Consumer Perception Study on the Environment, Food Safety Threat and Control Systems

The ubiquitous nature and regular occurrence of microplastics and nanoplastics in the food chain and environment have made them topical subject for investigations. The subject is widely researched but a small group study focusing on ethnic black British is sparse. Thus the paper aimed to assess the consumers’ perception of the control system, environmental and food safety threats of micro- nanoplastics through a critical review and an online survey restricted to the mentioned demography. The review and focus group survey with 72 respondents, demonstrated a general awareness of the environmental detriments of plastics, microplastics and nanoplastics but not the food safety threat. Reduction of the use of plastics, especially single use plastics was overwhelmingly supported, with over 80% being in favour, In all cases, the standard deviation was low and the coefficient of variation is less than one (CV >= 1). Awareness studies remain key driver to consumer’s perception

Candida carriage in the alimentary tract of liver transplant candidates

Thirty randomly selected patients with advanced chronic liver disease, which had been evaluated for possible liver transplantation, were sampled endoscopically at 7 alimentary tract locations to assess the frequency and amount of Candida carriage. Eightyone percent (127/156) of the samples obtained contained Candida and 53% (82/156) yielded high counts (> 300 CFU/ml). The most predominant Candida species isolated at each site was Candida albicana, which accounted for 103 (64%) of the 160 fungal isolates. The other Candida species isolated included C tropicalis 30 (19%), C krusei 16 (10%), and C glabrata 11 (7%), Although the number of sites at which yeast was present and the quantities of yeast at each site varied widely among the patients studied, 100% of the patients had Candida in at least one site of the gastrointestinal tract. Eighty-six percent (24/28) of the duodenal aspirates contained Candida and 50% (14/28) of the duodenal samples contained greater than 300 CFU/ml. A positive culture from the stomach was a reliable predictor of the presence of Candida in the duodenum (P=0.0001), but a positive culture at no other site readily predicted the presence of Candida at yet another site. Importantly, there was no correlation between the presence or absence of Candida in either oral or rectal swabs and colonization at other anatomic sites within the gastrointestinal tract, These findings are important in liver transplantation, particularly in those cases in which the bowel has been opened to create a choledochojejunostomy anastomosis. The operative attempts to reduce gastrointestinal fungal carriage using oral antifungal agents may be justified before liver transplantation in an effort to lower the risk of posttransplantation fungal infections, particularly in those patients expected to have a Roux-en-Y choledochojejunostomy biliary reconstruction. © 1994 by Williams and Wilkins

Beyond Node Degree: Evaluating AS Topology Models

This is the accepted version of 'Beyond Node Degree: Evaluating AS Topology Models', archived originally at arXiv:0807.2023v1 [cs.NI] 13 July 2008.Many models have been proposed to generate Internet Autonomous System (AS) topologies, most of which make structural assumptions about the AS graph. In this paper we compare AS topology generation models with several observed AS topologies. In contrast to most previous works, we avoid making assumptions about which topological properties are important to characterize the AS topology. Our analysis shows that, although matching degree-based properties, the existing AS topology generation models fail to capture the complexity of the local interconnection structure between ASs. Furthermore, we use BGP data from multiple vantage points to show that additional measurement locations significantly affect local structure properties, such as clustering and node centrality. Degree-based properties, however, are not notably affected by additional measurements locations. These observations are particularly valid in the core. The shortcomings of AS topology generation models stems from an underestimation of the complexity of the connectivity in the core caused by inappropriate use of BGP data

The JKind Model Checker

JKind is an open-source industrial model checker developed by Rockwell Collins and the University of Minnesota. JKind uses multiple parallel engines to prove or falsify safety properties of infinite state models. It is portable, easy to install, performance competitive with other state-of-the-art model checkers, and has features designed to improve the results presented to users: inductive validity cores for proofs and counterexample smoothing for test-case generation. It serves as the back-end for various industrial applications.Comment: CAV 201

Faithful reproduction of network experiments

The proliferation of cloud computing has compelled the research community to rethink fundamental aspects of network systems and architectures. However, the tools commonly used to evaluate new ideas have not kept abreast of the latest developments. Common simulation and emulation frameworks fail to provide scalability, fidelity, reproducibility and execute unmodified code, all at the same time. We present SELENA, a Xen-based network emulation framework that offers fully reproducible experiments via its automation interface and supports the use of unmodified guest operating systems. This allows out-of-the-box compatibility with common applications and OS components, such as network stacks and filesystems. In order to faithfully emulate faster and larger networks, SELENA adopts the technique of time-dilation and transparently slows down the passage of time for guest operating systems. This technique effectively virtualizes the availability of host’s hardware resources and allows the replication of scenarios with increased I/O and computational demands. Users can directly control the tradeoff between fidelity and running-times via intuitive tuning knobs. We evaluate the ability of SELENA to faithfully replicate the behaviour of real systems and compare it against existing popular experimentation platforms. Our results suggest that SELENA can accurately model networks with aggregate link speeds of 44 Gbps or more, while improving by four times the execution time in comparison to ns3 and exhibits near-linear scaling properties.This is the author accepted manuscript. The final version is available from ACM via http://dx.doi.org/10.1145/2658260.265827

Modelling uncertain adaptive decisions: Application to KwaZulu-Natal sugarcane growers

A dynamic Bayesian decision network was developed to model the pre- harvest burning decision-making processes of sugarcane growers in a KwaZulu-Natal sugarcane supply chain and extends previous work by Price et al. (2018). This model was created using an iterative development approach. This paper recounts the development and validation process of the third version of the model. The model was vali- dated using Pitchforth and Mengersen (2013)’s framework for validating expert elicited Bayesian networks. During this process, growers and cane supply members assessed the model in a focus group by executing the model, and reviewing the results of a pre- run scenario. The participants were generally positive about how the model represented their decision-making processes. However, they identified some issues that could be addressed in the next iteration. Dynamic Bayesian decision networks offer a promising approach to modelling adaptive decisions in uncertain conditions. This model can be used to simulate the cognitive mechanism for a grower agent in a simulation of a sugarcane supply chain

Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages

In the implementation of abstract synchronous communication in asynchronous unstructured low-level languages, e.g. using shared variables, the preservation of safety and especially liveness properties is a hitherto open problem due to inherently different abstraction levels. Our approach to overcome this problem is threefold: First, we present our notion of handshake refinement with which we formally prove the correctness of the implementation relation of a handshake protocol. Second, we verify the soundness of our handshake refinement, i.e., all safety and liveness properties are preserved to the lower level. Third, we apply our handshake refinement to show the correctness of all implementations that realize the abstract synchronous communication with the handshake protocol. To this end, we employ an exemplary language with asynchronous shared variable communication. Our approach is scalable and closes the verification gap between different abstraction levels of communication

Health warning: might contain multiple personalities - the problem of homonyms in Thomson Reuters Essential Science Indicators

Author name ambiguity is a crucial problem in any type of bibliometric analysis. It arises when several authors share the same name, but also when one author expresses their name in different ways. This article focuses on the former, also called the “namesake” problem. In particular, we assess the extent to which this compromises the Thomson Reuters Essential Science Indicators (ESI) ranking of the top 1% most cited authors worldwide. We show that three demographic characteristics that should be unrelated to research productivity – name origin, uniqueness of one’s family name, and the number of initials used in publishing – in fact have a very strong influence on it. In contrast to what could be expected from Web of Science publication data, researchers with Asian names – and in particular Chinese and Korean names – appear to be far more productive than researchers with Western names. Furthermore, for any country, academics with common names and fewer initials also appear to be more productive than their more uniquely named counterparts. However, this appearance of high productivity is caused purely by the fact that these “academic superstars” are in fact composites of many individual academics with the same name. We thus argue that it is high time that Thomson Reuters starts taking name disambiguation in general, and non-Anglophone names in particular, more seriously