Using genetic algorithms to generate test sequences for complex timed systems

The generation of test data for state based specifications is a computationally expensive process. This problem is magnified if we consider that time con- straints have to be taken into account to govern the transitions of the studied system. The main goal of this paper is to introduce a complete methodology, sup- ported by tools, that addresses this issue by represent- ing the test data generation problem as an optimisa- tion problem. We use heuristics to generate test cases. In order to assess the suitability of our approach we consider two different case studies: a communication protocol and the scientific application BIPS3D. We give details concerning how the test case generation problem can be presented as a search problem and automated. Genetic algorithms (GAs) and random search are used to generate test data and evaluate the approach. GAs outperform random search and seem to scale well as the problem size increases. It is worth to mention that we use a very simple fitness function that can be eas- ily adapted to be used with other evolutionary search techniques

Spiny lobster development: where does successful metamorphosis to the puerulus occur?: a review

This review re-addresses the question: Where does metamorphosis to the puerulus mainly take place among the shallow-water palinurids? A decade ago we reviewed this ecological question in a paper that focused on phyllosomal development of the western rock lobster, Panulirus cygnus. The main region of occurrence of its metamorphosis was found to be in the slope region beyond the shelf break. Because the puerulus of P. cygnus is a non-feeding stage, it was hypothesised that metamorphosis will not occur until the final phyllosoma has reached some critical, and specific, level of stored energy reserves. For late larval development and successful metamorphosis of P. cygnus, the richest food resources seem to be located in the slope waters adjoining the shelf break off Western Australia. This, like most shelf break areas, is a region of higher zooplankton and micronekton biomass than is usually found further offshore, and is dominated (in winter-spring months) by the warm south-flowing Leeuwin Current. In this new review, distribution and abundance data of final phyllosomas and pueruli are examined from, Panulirusargus, Panulirus cygnus, Panulirus japonicus, Panulirus ornatus and Jasus edwardsii, and where possible, related to features of the satellite imagery of the areas in which they occur. We hypothesise that metamorphosis will occur where the final stages have partaken of sufficient, appropriate nutrition to provide them with a reserve of bioenergetic resources, and this can occur where oceanographic fronts effect greater planktonic productivity and concentrations of food organisms. This may be near the shelf-break, or out to large distances offshore, because of large-scale oceanographic events such as the prevailing current system, its off-shoots, mesoscale eddy fronts, counter-currents, etc. However, we contend that, in terms of population recruitment, metamorphosis in most shallow-water palinurid species occurs mainly in the slope waters adjoining the shelf break of the region to which the species is endemic. Although some final phyllosomas may metamorphose much further offshore, it is unlikely that these pueruli will reach the shore, let alone settle and successfully moult to the juvenile stage. All of the data indicate that successful metamorphosis from the final-stage phyllosoma to the puerulus stage in all species occurs offshore but close to the continental shelf

The Imperfect Fluid behind Kinetic Gravity Braiding

We present a standard hydrodynamical description for non-canonical scalar field theories with kinetic gravity braiding. In particular, this picture applies to the simplest galileons and k-essence. The fluid variables not only have a clear physical meaning but also drastically simplify the analysis of the system. The fluid carries charges corresponding to shifts in field space. This shift-charge current contains a spatial part responsible for diffusion of the charges. Moreover, in the incompressible limit, the equation of motion becomes the standard diffusion equation. The fluid is indeed imperfect because the energy flows neither along the field gradient nor along the shift current. The fluid has zero vorticity and is not dissipative: there is no entropy production, the energy-momentum is exactly conserved, the temperature vanishes and there is no shear viscosity. Still, in an expansion around a perfect fluid one can identify terms which correct the pressure in the manner of bulk viscosity. We close by formulating the non-trivial conditions for the thermodynamic equilibrium of this imperfect fluid.Comment: 23 pages plus appendices. New version includes extended discussion on diffusion and dynamics in alternative frames, as well as additional references. v3 reflects version accepted for publication in JHEP: minor comments added regarding suitability to numerical approache

Genetic Isolation between the Western and Eastern Pacific Populations of Pronghorn Spiny Lobster Panulirus penicillatus

The pronghorn spiny lobster, Panulirus penicillatus, is a circumtropical species which has the widest global distribution among all the species of spiny lobster, ranging throughout the entire Indo-Pacific region. Partial nucleotide sequences of mitochondrial DNA COI (1,142–1,207 bp) and 16S rDNA (535–546 bp) regions were determined for adult and phyllosoma larval samples collected from the Eastern Pacific (EP)(Galápagos Islands and its adjacent water), Central Pacific (CP)(Hawaii and Tuamotu) and the Western Pacific (WP)(Japan, Indonesia, Fiji, New Caledonia and Australia). Phylogenetic analyses revealed two distinct large clades corresponding to the geographic origin of samples (EP and CP+WP). No haplotype was shared between the two regional samples, and average nucleotide sequence divergence (Kimura's two parameter distance) between EP and CP+WP samples was 3.8±0.5% for COI and 1.0±0.4% for 16S rDNA, both of which were much larger than those within samples. The present results indicate that the Pacific population of the pronghorn spiny lobster is subdivided into two distinct populations (Eastern Pacific and Central to Western Pacific), with no gene flow between them. Although the pronghorn spiny lobster have long-lived teleplanic larvae, the vast expanse of Pacific Ocean with no islands and no shallow substrate which is known as the East Pacific Barrier appears to have isolated these two populations for a long time (c.a. 1MY)

Mechanisms of adverse effects of anti-VEGF therapy for cancer

Advances in understanding the role of vascular endothelial growth factor (VEGF) in normal physiology are giving insight into the basis of adverse effects attributed to the use of VEGF inhibitors in clinical oncology. These effects are typically downstream consequences of suppression of cellular signalling pathways important in the regulation and maintenance of the microvasculature. Downregulation of these pathways in normal organs can lead to vascular disturbances and even regression of blood vessels, which could be intensified by concurrent pathological conditions. These changes are generally manageable and pose less risk than the tumours being treated, but they highlight the properties shared by tumour vessels and the vasculature of normal organs

Functional mapping of brain synapses by the enriching activity-marker SynaptoZip

Ideally, elucidating the role of specific brain circuits in animal behavior would require the ability to measure activity at all involved synapses, possibly with unrestricted field of view, thus even at those boutons deeply located into the brain. Here, we introduce and validate an efficient scheme reporting synaptic vesicle cycling in vivo. This is based on SynaptoZip, a genetically encoded molecule deploying in the vesicular lumen a bait moiety designed to capture upon exocytosis a labeled alien peptide, Synbond. The resulting signal is cumulative and stores the number of cycling events occurring at individual synapses. Since this functional signal is enduring and measurable both online and ex post, SynaptoZip provides a unique method for the analysis of the history of synaptic activity in regions several millimeters below the brain surface. We show its broad applicability by reporting stimulus-evoked and spontaneous circuit activity in wide cortical fields, in anesthetized and freely moving animals

Development and psychometric testing of an instrument to compare career choice influences and perceptions of nursing among healthcare students

Background: With the availability of more healthcare courses and an increased intake of nursing students, education institutions are facing challenges to attract school leavers to enter nursing courses. The comparison of career choice influences and perception of nursing among healthcare students can provide information for recruitment strategies. An instrument to compare the influences of healthcare career choice is lacking. The purpose of this study is to develop and evaluate the psychometric properties of an instrument to compare the influences of healthcare career choice with perceptions of nursing as a career choice. Methods: The study was conducted in two phases. In phase one, two sets of scales with parallel items that measure the influences of healthcare career choice and perceptions of nursing as a career choice were developed through an earlier qualitative study, literature review, and expert validation. Phase two involved testing the construct validity, concurrent validity and reliability with a convenience sample of 283 first year healthcare students who were recruited at two education institutions in Singapore. Results: An exploratory factor analysis revealed 35-parallel items in a six-factor solution (personal interest, prior healthcare exposure, self-efficacy, perceived nature of work, job prospects, and social influences) that explained 59 and 64% of the variance for healthcare career choice and nursing as a career choice respectively. A high correlation (r = 0.76, p \u3c 0.001) was obtained with an existing tool, confirming the concurrent validity. The internal consistency was sufficient with Cronbach’s alpha of 0.93 for healthcare career choice and 0.94 for nursing as a career choice. The test-retest reliability was acceptable with an Intraclass Correlation Coefficient of 0.63 for healthcare career choice and 0.60 for nursing as a career choice. Conclusions: The instrument provides opportunities for understanding the differences between influences of healthcare career choice and perceptions of nursing as a career choice. This comparative understanding of career choice influences can guide educator and policy-makers on nursing recruitmen

Two-way communication with neural networks in vivo using focused light

Neuronal networks process information in a distributed, spatially heterogeneous manner that transcends the layout of electrodes. In contrast, directed and steerable light offers the potential to engage specific cells on demand. We present a unified framework for adapting microscopes to use light for simultaneous in vivo stimulation and recording of cells at fine spatiotemporal resolutions. We use straightforward optics to lock onto networks in vivo, to steer light to activate circuit elements and to simultaneously record from other cells. We then actualize this 'free' augmentation on both an 'open' two-photon microscope and a leading commercial one. By following this protocol, setup of the system takes a few days, and the result is a noninvasive interface to brain dynamics based on directed light, at a network resolution that was not previously possible and which will further improve with the rapid advance in development of optical reporters and effectors. This protocol is for physiologists who are competent with computers and wish to extend hardware and software to interface more fluidly with neuronal networks.National Institutes of Health (U.S.) (Postdoctoral Fellowship)Simons Foundation (Postdoctoral Fellowship)National Institutes of Health (U.S.) (Predoctoral Fellowship)National Institutes of Health (U.S.)Simons Foundatio

Anesthetics Impact the Resolution of Inflammation

Local and volatile anesthetics are widely used for surgery. It is not known whether anesthetics impinge on the orchestrated events in spontaneous resolution of acute inflammation. Here we investigated whether a commonly used local anesthetic (lidocaine) and a widely used inhaled anesthetic (isoflurane) impact the active process of resolution of inflammation.Using murine peritonitis induced by zymosan and a systems approach, we report that lidocaine delayed and blocked key events in resolution of inflammation. Lidocaine inhibited both PMN apoptosis and macrophage uptake of apoptotic PMN, events that contributed to impaired PMN removal from exudates and thereby delayed the onset of resolution of acute inflammation and return to homeostasis. Lidocaine did not alter the levels of specific lipid mediators, including pro-inflammatory leukotriene B(4), prostaglandin E(2) and anti-inflammatory lipoxin A(4), in the cell-free peritoneal lavages. Addition of a lipoxin A(4) stable analog, partially rescued lidocaine-delayed resolution of inflammation. To identify protein components underlying lidocaine's actions in resolution, systematic proteomics was carried out using nanospray-liquid chromatography-tandem mass spectrometry. Lidocaine selectively up-regulated pro-inflammatory proteins including S100A8/9 and CRAMP/LL-37, and down-regulated anti-inflammatory and some pro-resolution peptides and proteins including IL-4, IL-13, TGF-â and Galectin-1. In contrast, the volatile anesthetic isoflurane promoted resolution in this system, diminishing the amplitude of PMN infiltration and shortening the resolution interval (Ri) approximately 50%. In addition, isoflurane down-regulated a panel of pro-inflammatory chemokines and cytokines, as well as proteins known to be active in cell migration and chemotaxis (i.e., CRAMP and cofilin-1). The distinct impact of lidocaine and isoflurane on selective molecules may underlie their opposite actions in resolution of inflammation, namely lidocaine delayed the onset of resolution (T(max)), while isoflurane shortened resolution interval (Ri).Taken together, both local and volatile anesthetics impact endogenous resolution program(s), altering specific resolution indices and selective cellular/molecular components in inflammation-resolution. Isoflurane enhances whereas lidocaine impairs timely resolution of acute inflammation