Carbon Chain Length Modulates MDA-MB-231 Breast Cancer Cell Killing Mechanisms by Mitochondrially Targeted Aryl−Urea Fatty Acids

Targeting the tumor cell mitochondrion could produce novel anticancer agents. We designed an aryl−urea fatty acid ( 1 g ; 16({[4-chloro-3-(trifluoromethyl)phenyl]carbamoyl}amino)hexadecanoic acid) that disrupted the mitochondrion and decreased MDA-MB-231 breast cancer cell viability. To optimize the aryl−ureas the present study evaluated mitochondrial targeting by 1 g analogues containing alkyl chains between 10–17 carbons. Using the dye JC-1, the C12−C17 analogues efficiently disrupted the mitochondrial membrane potential (IC₅₀s 3.5±1.2 to 7.6±1.1 μM) and impaired ATP production; shorter analogues were less active. 7-Aminoactinomycin D/annexin V staining and flow cytometry showed that these agents activated the killing mechanisms of necrosis and apoptosis to varying extents (7-aminoactinomycin D/annexin V staining ratios 4.3–6.0). Indeed, 1 g and its C17 analogue preferentially activated necrosis and apoptosis, respectively (ratios 2.1 and 16). Taken together, alkyl chain length is a determinant of mitochondrial targeting by aryl−ureas and can be varied to develop analogues that activate apoptosis or necrosis in a regulated fashion.     

The economics of energy efficiency for the poor—a South African case study

South Africa’s Reconstruction and Development Programme set ambitious goals for providing basic services to all, including housing and electrification. More efficient use of energy has the potential to socially and politically support these goals, particularly when it is targeted at low-income communities lacking adequate energy services. This paper examines the economics of energy efficiency for the urban poor from the perspective of society, utilities and poor consumers, using five example programmes. While the five energy efficiency programmes generally have significant economic and environmental benefits from a social perspective, they may not be as attractive to utilities and consumers. Also examined are the policy options for overcoming the significant barriers to energy efficiency, and ways government can bridge the gap between what is good for society and what is good for the electricity industry.     

Types and associated type families for hardware simulation and synthesis

In this article we overview the design and implementation of the second generation of Kansas Lava. Driven by the needs and experiences of implementing telemetry decoders and other circuits, we have made a number of improvements to both the external API and the internal representations used. We have retained our dual shallow/deep representation of signals in general, but now have a number of externally visible abstractions for combinatorial and sequential circuits, and enabled signals. We introduce these abstractions, as well as our abstractions for reading and writing memory. Internally, we found the need to represent unknown values inside our circuits, so we made aggressive use of associated type families to lift our values to allow unknowns, in a principled and regular way. We discuss this design decision, how it unfortunately complicates the internals of Kansas Lava, and how we mitigate this complexity. Finally, when connecting Kansas Lava to the real world, the standardized idiom of using named input and output ports is provided by Kansas Lava using a new monad, called Fabric. We present the design of this Fabric monad, and illustrate its use in a small but complete example.     

Insect antifeedant activity associated with compounds isolated from species ofLonchocarpus andTephrosia

The antifeedant activity of a series of 21 chalcones, flavanes, and flavanones isolated from the generaLonchocarpus andTephrosia (Leguminosae) was assessed by behavioral and electrophysiological bioassays against larvae ofSpodoptera littoralis andS. exempta. The antifeedant activity is related to the molecular structure of the compounds, and possible modes of interaction with the insect taste receptors are discussed.     

MET𝔸P: revisiting Privacy-Preserving Data Publishing using secure devices

The goal of Privacy-Preserving Data Publishing (PPDP) is to generate a sanitized (i.e. harmless) view of sensitive personal data (e.g. a health survey), to be released to some agencies or simply the public. However, traditional PPDP practices all make the assumption that the process is run on a trusted central server. In this article, we argue that the trust assumption on the central server is far too strong. We propose Met _??P, a generic fully distributed protocol, to execute various forms of PPDP algorithms on an asymmetric architecture composed of low power secure devices and a powerful but untrusted infrastructure. We show that this protocol is both correct and secure against honest-but-curious or malicious adversaries. Finally, we provide an experimental validation showing that this protocol can support PPDP processes scaling up to nation-wide surveys.     

Behavioral and electrophysiological study of antifeedant mechanisms associated with polyhydroxy alkaloids

Eleven polyhydroxy alkaloids of plant origin were tested for anti-feedant effects against larvae of the lepidopteransSpodoptera littoralis, Spodoptera frugiperda, Heliothis virescens, andHelicoverpa armigera. Data from behavioral and electrophysiological investigations were correlated to reveal information on the mode of action of the antifeedants. The pyrrolidine DMDP was an effective antifeedant for all four species, whereas the piperidines fagomine and XZ-1 and the pyrrolizidine alexine were all ineffective as antifeedants. The activity of the pyrrolidines CYB-3 and DAB-1, the piperidines DNJ, DMJ, and BR1, and the bicyclic octahydroindolizine castanospermine varied among species. The investigation focuses on the structural similarities between some of the alkaloids and some common phagostimulatory sugars and illustrates a neural interaction involving the neurons that are differentially responsive to alkaloids and sugars. InS. littoralis, the neurons responding specifically to the alkaloids DMDP, DAB-1, and castanospermine and to the sugars fructose, sucrose, and glucose are more active when the compounds are applied singly than when an alkaloid and a sugar are applied together. The implications for the occurrence and functioning of different sugar receptor sites are discussed.     

The multi-agent programming contest from 2005–2010

The Multi-Agent Programming Contest is an annual international event on programming multi-agent systems: Teams of agents participate in a simulated cooperative scenario. It started in 2005 and is organised in 2010 for the sixth time. The contest is an attempt to stimulate research in the area of multi-agent system development and programming by (i) identifying key problems in the field and (ii) collecting suitable benchmarks that can serve as milestones for testing multi-agent programming languages, platforms and tools. This article provides a short history of the contest since it started and reports in more detail on the cows and cowboys scenario implemented for the 2008, 2009 and 2010 contest editions. We briefly discuss the underlying technological background and conclude with a critical discussion of the experiences and lessons learned.     

Automatic computation of pebble roundness using digital imagery and discrete geometry

The shape of sedimentary particles is an important property, from which geographical hypotheses related to abrasion, distance of transport, river behavior, etc. can be formulated. In this paper, we use digital image analysis, especially discrete geometry, to automatically compute some shape parameters such as roundness, i.e. a measure of how much the corners and edges of a particle have been worn away.In contrast to previous work in which traditional digital images analysis techniques, such as Fourier transform, are used, we opted for a discrete geometry approach that allowed us to implement Wadell's original index, which is known to be more accurate, but more time consuming to implement in the field.Our implementation of Wadell's original index is highly correlated (92%) with the roundness classes of Krumbein's chart, used as a ground-truth. In addition, we show that other geometrical parameters, which are easier to compute, can be used to provide good approximations of roundness.We also used our shape parameters to study a set of pebbles digital images taken from the Progo basin river network (Indonesia). The results we obtained are in agreement with previous work and open new possibilities for geomorphologists thanks to automatic computation.     

Model checking multi-agent systems with logic based Petri nets

We introduce a class of Petri nets, simple logic Petri nets (SLPN), that are based on logical expressions. We show how this type of nets can be efficiently mapped into logic programs with negation: the corresponding answer sets describe interleaved executions of the underlying nets (Theorem 1). The absence of an answer set indicates a deadlock situation. We also show how to correctly model and specify AgentSpeak agents and multi-agent systems with SLPN’s (Theorem 2). Both theorems allow us to solve the task of model checking AgentSpeak multi-agent systems by computing answer sets of the obtained logic program with any ASP system.     

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation

We propose algorithms for the synthesis of state-feedback controllers with partial observation of infinite state discrete event systems modelled by Symbolic Transition Systems. We provide models of safe memoryless controllers both for potentially deadlocking and deadlock free controlled systems. The termination of the algorithms solving these problems is ensured using abstract interpretation techniques which provide an overapproximation of the transitions to disable. We then extend our algorithms to controllers with memory and to online controllers. We also propose improvements in the synthesis of controllers in the finite case which, to our knowledge, provide more permissive solutions than what was previously proposed in the literature. Our tool SMACS gives an empirical validation of our methods by showing their feasibility, usability and efficiency.