Timing verification of dynamically reconfigurable logic for Xilinx Virtex FPGA series

This paper reports on a method for extending existing VHDL design and verification software available for the Xilinx Virtex series of FPGAs. It allows the designer to apply standard hardware design and verification tools to the design of dynamically reconfigurable logic (DRL). The technique involves the conversion of a dynamic design into multiple static designs, suitable for input to standard synthesis and APR tools. For timing and functional verification after APR, the sections of the design can then be recombined into a single dynamic system. The technique has been automated by extending an existing DRL design tool named DCSTech, which is part of the Dynamic Circuit Switching (DCS) CAD framework. The principles behind the tools are generic and should be readily extensible to other architectures and CAD toolsets. Implementation of the dynamic system involves the production of partial configuration bitstreams to load sections of circuitry. The process of creating such bitstreams, the final stage of our design flow, is summarized

The holistic phase model of early adult crisis

The objective of the current study was to explore the structural, temporal and experiential manifestations of crisis episodes in early adulthood, using a holistic-systemic theoretical framework. Based on an analysis of 50 interviews with individuals about a crisis episode between the ages of 25 and 35, a holistic model was developed. The model comprises four phases: (1) Locked-in, (2) Separation/Time-out, (3) Exploration and (4) Rebuilding, which in turn have characteristic features at four levels—person-in-environment, identity, motivation and affect-cognition. A crisis starts out with a commitment at work or home that has been made but is no longer desired, and this is followed by an emotionally volatile period of change as that commitment is terminated. The positive trajectory of crisis involves movement through an exploratory period towards active rebuilding of a new commitment, but ‘fast-forward’ and ‘relapse’ loops can interrupt Phases 3 and 4 and make a positive resolution of the episode less likely. The model shows conceptual links with life stage theories of emerging adulthood and early adulthood, and it extends current understandings of the transitional developmental challenges that young adults encounter

A method for the reconstruction of unknown non-monotonic growth functions in the chemostat

We propose an adaptive control law that allows one to identify unstable steady states of the open-loop system in the single-species chemostat model without the knowledge of the growth function. We then show how one can use this control law to trace out (reconstruct) the whole graph of the growth function. The process of tracing out the graph can be performed either continuously or step-wise. We present and compare both approaches. Even in the case of two species in competition, which is not directly accessible with our approach due to lack of controllability, feedback control improves identifiability of the non-dominant growth rate.Comment: expansion of ideas from proceedings paper (17 pages, 8 figures), proceedings paper is version v

Mapping species distributions: A comparison of skilled naturalist and lay citizen science recording

To assess the ability of traditional biological recording schemes and lay citizen science approaches to gather data on species distributions and changes therein, we examined bumblebee records from the UK’s national repository (National Biodiversity Network) and from BeeWatch. The two recording approaches revealed similar relative abundances of bumblebee species but different geographical distributions. For the widespread common carder (Bombus pascuorum), traditional recording scheme data were patchy, both spatially and temporally, reflecting active record centre rather than species distribution. Lay citizen science records displayed more extensive geographic coverage, reflecting human population density, thus offering better opportunities to account for recording effort. For the rapidly spreading tree bumblebee (Bombus hypnorum), both recording approaches revealed similar distributions due to a dedicated mapping project which overcame the patchy nature of naturalist records. We recommend, where possible, complementing skilled naturalist recording with lay citizen science programmes to obtain a nation-wide capability, and stress the need for timely uploading of data to the national repository

Graphene plasmonics

Two rich and vibrant fields of investigation, graphene physics and plasmonics, strongly overlap. Not only does graphene possess intrinsic plasmons that are tunable and adjustable, but a combination of graphene with noble-metal nanostructures promises a variety of exciting applications for conventional plasmonics. The versatility of graphene means that graphene-based plasmonics may enable the manufacture of novel optical devices working in different frequency ranges, from terahertz to the visible, with extremely high speed, low driving voltage, low power consumption and compact sizes. Here we review the field emerging at the intersection of graphene physics and plasmonics.Comment: Review article; 12 pages, 6 figures, 99 references (final version available only at publisher's web site

Social marketing and healthy eating : Findings from young people in Greece

This document is the Accepted Manuscript version. The final publication is available at Springer via http://dx.doi.org/10.1007/s12208-013-0112-xGreece has high rates of obesity and non-communicable diseases owing to poor dietary choices. This research provides lessons for social marketing to tackle the severe nutrition-related problems in this country by obtaining insight into the eating behaviour of young adults aged 18–23. Also, the main behavioural theories used to inform the research are critically discussed. The research was conducted in Athens. Nine focus groups with young adults from eight educational institutions were conducted and fifty-nine participants’ views towards eating habits, healthy eating and the factors that affect their food choices were explored. The study found that the participants adopted unhealthier nutritional habits after enrolment. Motivations for healthy eating were good health, appearance and psychological consequences, while barriers included lack of time, fast-food availability and taste, peer pressure, lack of knowledge and lack of family support. Participants reported lack of supportive environments when deciding on food choices. Based on the findings, recommendations about the development of the basic 4Ps of the marketing mix, as well as of a fifth P, for Policy are proposedPeer reviewe

Predicting the behaviour of near-critical and supercritical alcohols at microwave frequencies: Validation of molecular dynamic simulations as a tool that can substitute for measurements under extreme experimental conditions

Equilibrium and non-equilibrium molecular dynamic simulations, predicting the dielectric properties of near-critical and supercritical methanol and ethanol at microwave frequencies have been carried out. The autocorrelation functions of the dielectric relaxation, show dependency on the slow component at the near-critical region for both alcohols. At the supercritical region, two competing relaxation mechanisms are observed, related to the large breakdown of the hydrogen-bonding network and the degree of clustering between the molecules. This approach closely matches experimental data at microwave frequencies and identical temperature and pressure conditions, validating the predictions of how the molecular structure and dynamics manifest themselves into the complex permittivity and dielectric relaxation behaviour. Thus, introducing a modelling-based solution to deliver accurate dielectric property values for materials at supercritical conditions for “a priori” screening of solvents, whilst removing the need to overcome engineering and safety challenges associated with the development of experimental equipment to practically generate such data

The extraordinary evolutionary history of the reticuloendotheliosis viruses

The reticuloendotheliosis viruses (REVs) comprise several closely related amphotropic retroviruses isolated from birds. These viruses exhibit several highly unusual characteristics that have not so far been adequately explained, including their extremely close relationship to mammalian retroviruses, and their presence as endogenous sequences within the genomes of certain large DNA viruses. We present evidence for an iatrogenic origin of REVs that accounts for these phenomena. Firstly, we identify endogenous retroviral fossils in mammalian genomes that share a unique recombinant structure with REVs—unequivocally demonstrating that REVs derive directly from mammalian retroviruses. Secondly, through sequencing of archived REV isolates, we confirm that contaminated Plasmodium lophurae stocks have been the source of multiple REV outbreaks in experimentally infected birds. Finally, we show that both phylogenetic and historical evidence support a scenario wherein REVs originated as mammalian retroviruses that were accidentally introduced into avian hosts in the late 1930s, during experimental studies of P. lophurae, and subsequently integrated into the fowlpox virus (FWPV) and gallid herpesvirus type 2 (GHV-2) genomes, generating recombinant DNA viruses that now circulate in wild birds and poultry. Our findings provide a novel perspective on the origin and evolution of REV, and indicate that horizontal gene transfer between virus families can expand the impact of iatrogenic transmission events

Genetic inhibition of neurotransmission reveals role of glutamatergic input to dopamine neurons in high-effort behavior

Midbrain dopamine neurons are crucial for many behavioral and cognitive functions. As the major excitatory input, glutamatergic afferents are important for control of the activity and plasticity of dopamine neurons. However, the role of glutamatergic input as a whole onto dopamine neurons remains unclear. Here we developed a mouse line in which glutamatergic inputs onto dopamine neurons are specifically impaired, and utilized this genetic model to directly test the role of glutamatergic inputs in dopamine-related functions. We found that while motor coordination and reward learning were largely unchanged, these animals showed prominent deficits in effort-related behavioral tasks. These results provide genetic evidence that glutamatergic transmission onto dopaminergic neurons underlies incentive motivation, a willingness to exert high levels of effort to obtain reinforcers, and have important implications for understanding the normal function of the midbrain dopamine system.Fil: Hutchison, M. A.. National Institutes of Health; Estados UnidosFil: Gu, X.. National Institutes of Health; Estados UnidosFil: Adrover, Martín Federico. National Institutes of Health; Estados Unidos. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Investigaciones en Ingeniería Genética y Biología Molecular "Dr. Héctor N. Torres"; ArgentinaFil: Lee, M. R.. National Institutes of Health; Estados UnidosFil: Hnasko, T. S.. University of California at San Diego; Estados UnidosFil: Alvarez, V. A.. National Institutes of Health; Estados UnidosFil: Lu, W.. National Institutes of Health; Estados Unido

Individual rules for trail pattern formation in Argentine ants (Linepithema humile)

We studied the formation of trail patterns by Argentine ants exploring an empty arena. Using a novel imaging and analysis technique we estimated pheromone concentrations at all spatial positions in the experimental arena and at different times. Then we derived the response function of individual ants to pheromone concentrations by looking at correlations between concentrations and changes in speed or direction of the ants. Ants were found to turn in response to local pheromone concentrations, while their speed was largely unaffected by these concentrations. Ants did not integrate pheromone concentrations over time, with the concentration of pheromone in a 1 cm radius in front of the ant determining the turning angle. The response to pheromone was found to follow a Weber's Law, such that the difference between quantities of pheromone on the two sides of the ant divided by their sum determines the magnitude of the turning angle. This proportional response is in apparent contradiction with the well-established non-linear choice function used in the literature to model the results of binary bridge experiments in ant colonies (Deneubourg et al. 1990). However, agent based simulations implementing the Weber's Law response function led to the formation of trails and reproduced results reported in the literature. We show analytically that a sigmoidal response, analogous to that in the classical Deneubourg model for collective decision making, can be derived from the individual Weber-type response to pheromone concentrations that we have established in our experiments when directional noise around the preferred direction of movement of the ants is assumed.Comment: final version, 9 figures, submitted to Plos Computational Biology (accepted