Contraception in Wildlife Management: Reality or Illusion?

Nuisance wildlife in areas where hunting is not an accepted practice and declining public support of lethal control measures have prompted research on contraceptives as a way to manage population levels. However, complex legal. biological, economic, and ethical issues should be addressed before such techniques are tested even on small, isolated populations. Regulatory authority by State and Federal agencies must define protocols for using contraceptive materials in wild populations. Registration of wildlife contraceptives either as pesticides or vaccines will likely be necessary. Health-related issues include harmful effects on target species, nontarget species and humans who may consume carcasses. Models for evaluating population impacts and genetics are needed. Cost-effectiveness itself and who will pay these costs must both be considered. Disruption of behavioral mechanisms and resulting population impacts raise ethical considerations. Contraception may have application with limited, isolated or confined populations, but its eventual use on free-ranging wildlife populations is questionable

Effects and underlying mechanisms of refractory period pacing on repolarization dynamics in the human heart

Repolarization alternans is related to the initiation of life threatening cardiac arrhythmias. Experimental and computational studies suggest that the abolishment of alternans using dynamic pacing protocols may prevent abnormal heart rhythms. In a recent animal study, refractory period pacing (RPP) on every other beat has shown promising results in alternans reduction. However, the cellular mechanisms underlying this therapy and its efficiency in human patients remain unclear. In this study, in vivo unipolar electrograms acquired during RPP from 240 epicardial sites from one patient were analysed. Current clamp of 18 channels was performed in silico to elucidate the ionic mechanisms underlying action potential modulation by RPP. Its efficacy with positive and negative polarities was tested on a population of 87 calibrated human ventricular models exhibiting alternans. In vivo electrograms showed significant changes in T-wave alternans when applying RPP. In silico, results showed APD shortening for RPP with positive polarity and APD prolongation with RPP negative. Under current clamp protocols, voltage rectification of L-type Ca(2)+ (ICaL) and inward rectifier K+ (IK1) currents were identified as the key determinants for the observed changes. RPP pacing successfully reduced alternans on the in silico models using a negative polarity stimulus in the short beat

Reachability in Restricted Chemical Reaction Networks

The popularity of molecular computation has given rise to several models of abstraction, one of the more recent ones being Chemical Reaction Networks (CRNs). These are equivalent to other popular computational models, such as Vector Addition Systems and Petri-Nets, and restricted versions are equivalent to Population Protocols. This paper continues the work on core reachability questions related to Chemical Reaction Networks; given two configurations, can one reach the other according to the system\u27s rules? With no restrictions, reachability was recently shown to be Ackermann-complete, this resolving a decades-old problem.Here, we fully characterize monotone reachability problems based on various restrictions such as the rule size, the number of rules that may create a species (k-source) or consume a species (k-consuming), the volume, and whether the rules have an acyclic production order (feed-forward). We show PSPACE-completeness of reachability with only bimolecular reactions with two-source and two-consuming rules. This proves hardness of reachability in Population Protocols, which was unknown. Further, this shows reachability in CRNs is PSPACE-complete with size-2 rules, which was previously only known with size-5 rules. This is achieved using techniques within the motion planning framework.We provide many important results for feed-forward CRNs where rules are single-source or single-consuming. We show that reachability is solvable in polynomial time if the system does not contain special void or autogenesis rules. We then fully characterize all systems of this type and show that if you allow void/autogenesis rules, or have more than one source and one consuming, the problems become NP-complete. Finally, we show several interesting special cases of CRNs based on these restrictions or slight relaxations and note future significant open questions related to this taxonomy

Reachability in Restricted Chemical Reaction Networks

The popularity of molecular computation has given rise to several models of abstraction, one of the more recent ones being Chemical Reaction Networks (CRNs). These are equivalent to other popular computational models, such as Vector Addition Systems and Petri-Nets, and restricted versions are equivalent to Population Protocols. This paper continues the work on core reachability questions related to Chemical Reaction Networks; given two configurations, can one reach the other according to the system's rules? With no restrictions, reachability was recently shown to be Ackermann-complete, this resolving a decades-old problem. Here, we fully characterize monotone reachability problems based on various restrictions such as the rule size, the number of rules that may create a species (k-source) or consume a species (k-consuming), the volume, and whether the rules have an acyclic production order (feed-forward). We show PSPACE-completeness of reachability with only bimolecular reactions with two-source and two-consuming rules. This proves hardness of reachability in Population Protocols, which was unknown. Further, this shows reachability in CRNs is PSPACE-complete with size-2 rules, which was previously only known with size-5 rules. This is achieved using techniques within the motion planning framework. We provide many important results for feed-forward CRNs where rules are single-source or single-consuming. We show that reachability is solvable in polynomial time if the system does not contain special void or autogenesis rules. We then fully characterize all systems of this type and show that if you allow void/autogenesis rules, or have more than one source and one consuming, the problems become NP-complete. Finally, we show several interesting special cases of CRNs based on these restrictions or slight relaxations and note future significant open questions related to this taxonomy.Comment: This research was supported in part by National Science Foundation Grant CCF-181760

On the Convergence of Population Protocols When Population Goes to Infinity

Population protocols have been introduced as a model of sensor networks consisting of very limited mobile agents with no control over their own movement. A population protocol corresponds to a collection of anonymous agents, modeled by finite automata, that interact with one another to carry out computations, by updating their states, using some rules. Their computational power has been investigated under several hypotheses but always when restricted to finite size populations. In particular, predicates stably computable in the original model have been characterized as those definable in Presburger arithmetic. We study mathematically the convergence of population protocols when the size of the population goes to infinity. We do so by giving general results, that we illustrate through the example of a particular population protocol for which we even obtain an asymptotic development. This example shows in particular that these protocols seem to have a rather different computational power when a huge population hypothesis is considered.Comment: Submitted to Applied Mathematics and Computation. 200

State based model of long-term potentiation and synaptic tagging and capture

Recent data indicate that plasticity protocols have not only synapse-specific but also more widespread effects. In particular, in synaptic tagging and capture (STC), tagged synapses can capture plasticity-related proteins, synthesized in response to strong stimulation of other synapses. This leads to long-lasting modification of only weakly stimulated synapses. Here we present a biophysical model of synaptic plasticity in the hippocampus that incorporates several key results from experiments on STC. The model specifies a set of physical states in which a synapse can exist, together with transition rates that are affected by high- and low-frequency stimulation protocols. In contrast to most standard plasticity models, the model exhibits both early- and late-phase LTP/D, de-potentiation, and STC. As such, it provides a useful starting point for further theoretical work on the role of STC in learning and memory