340 research outputs found
Contextual effects on a well learned task: Isolated or broad?
Skill transfer is a fundamental feature in the domain of skill acquisition, however different theories present conflicting ideas regarding prediction of transfer. Anderson\u27s (1982) Adaptive Control of Thought theory posits that the amount of transfer is proportional to the number of shared productions. Logan\u27s (1988) Instance theory in contrast, posits that complete transfer will only occur on tasks which have been experienced before. However, work by Speelman and Kirsner (1997), Speelman, Forbes and Giesen (2004) and Johnson (2005) have produced results that counter the implicit assumptions of these theories. More specifically a disruption from the predicted learning curve was found in situations where both Logan and Anderson would predict complete transfer. Such findings have implications on the theoretical nature of skill acquisition. However these findings involved data that was averaged over many trials, and as such a more specific trial by trial account of the underlying nature of this disruption is not known. The present study examined the role of skill acquisition and skill transfer in relation to both Anderson\u27s (1982) Adaptive Control of Thought theory and Logan\u27s (1988) instance theory. The study involved 59 participants being presented with multiplication problems from the six times table, followed by a distractor task in the form of an addition or subtraction question. The training phase consisted of 12 blocks of trials, with six trials per block. The multiplication problems remained constant in both the training and transfer phases, while participants receiving addition problems in training then received subtraction questions in transfer and vice versa. Only reaction times for the multiplication problems were analysed and the results showed that there was a significant disruption when the participants encountered the transfer phase. Further analysis on a trial by trial basis indicated that in the three trials following the contextual change, performance was significantly slower than the first trial of the transfer phase, discounting a fleeting \u27surprise\u27 effect. A power function fitted to the reaction times of the transfer trials following the context change supported the gradual return of performance to pre-transfer levels. The results contradicted both Anderson\u27s and Logan\u27s predictions, and suggest that with practise, a mental set is developed which can then be disrupted through contextual change
Error Analysis and Uncertainty Quantification for the Heterogeneous Transport Equation in Slab Geometry
We present an analysis of multilevel Monte Carlo techniques for the forward
problem of uncertainty quantification for the radiative transport equation,
when the coefficients ({\em cross-sections}) are heterogenous random fields. To
do this, we first give a new error analysis for the combined spatial and
angular discretisation in the deterministic case, with error estimates which
are explicit in the coefficients (and allow for very low regularity and jumps).
This detailed error analysis is done for the 1D space - 1D angle slab geometry
case with classical diamond differencing. Under reasonable assumptions on the
statistics of the coefficients, we then prove an error estimate for the random
problem in a suitable Bochner space. Because the problem is not self-adjoint,
stability can only be proved under a path-dependent mesh resolution condition.
This means that, while the Bochner space error estimate is of order
for some , where is a (deterministically
chosen) mesh diameter, smaller mesh sizes might be needed for some
realisations. Under reasonable assumptions we show that the expected cost for
computing a typical quantity of interest remains of the same order as for a
single sample. This leads to rigorous complexity estimates for Monte Carlo and
multilevel Monte Carlo: For particular linear solvers, the multilevel version
gives up to two orders of magnitude improvement over Monte Carlo. We provide
numerical results supporting the theory
Error Analysis and Uncertainty Quantification for the Heterogeneous Transport Equation in Slab Geometry
We present an analysis of multilevel Monte Carlo techniques for the forward problem of uncertainty quantification for the radiative transport equation, when the coefficients ({\em cross-sections}) are heterogenous random fields. To do this, we first give a new error analysis for the combined spatial and angular discretisation in the deterministic case, with error estimates which are explicit in the coefficients (and allow for very low regularity and jumps). This detailed error analysis is done for the 1D space - 1D angle slab geometry case with classical diamond differencing. Under reasonable assumptions on the statistics of the coefficients, we then prove an error estimate for the random problem in a suitable Bochner space. Because the problem is not self-adjoint, stability can only be proved under a path-dependent mesh resolution condition. This means that, while the Bochner space error estimate is of order for some , where is a (deterministically chosen) mesh diameter, smaller mesh sizes might be needed for some realisations. Under reasonable assumptions we show that the expected cost for computing a typical quantity of interest remains of the same order as for a single sample. This leads to rigorous complexity estimates for Monte Carlo and multilevel Monte Carlo: For particular linear solvers, the multilevel version gives up to two orders of magnitude improvement over Monte Carlo. We provide numerical results supporting the theory
Modular termination verification for non-blocking concurrency
© Springer-Verlag Berlin Heidelberg 2016.We present Total-TaDA, a program logic for verifying the total correctness of concurrent programs: that such programs both terminate and produce the correct result. With Total-TaDA, we can specify constraints on a thread’s concurrent environment that are necessary to guarantee termination. This allows us to verify total correctness for nonblocking algorithms, e.g. a counter and a stack. Our specifications can express lock- and wait-freedom. More generally, they can express that one operation cannot impede the progress of another, a new non-blocking property we call non-impedance. Moreover, our approach is modular. We can verify the operations of a module independently, and build up modules on top of each other
Reference Capabilities for Flexible Memory Management: Extended Version
Verona is a concurrent object-oriented programming language that organises
all the objects in a program into a forest of isolated regions. Memory is
managed locally for each region, so programmers can control a program's memory
use by adjusting objects' partition into regions, and by setting each region's
memory management strategy. A thread can only mutate (allocate, deallocate)
objects within one active region -- its "window of mutability". Memory
management costs are localised to the active region, ensuring overheads can be
predicted and controlled. Moving the mutability window between regions is
explicit, so code can be executed wherever it is required, yet programs remain
in control of memory use. An ownership type system based on reference
capabilities enforces region isolation, controlling aliasing within and between
regions, yet supporting objects moving between regions and threads. Data
accesses never need expensive atomic operations, and are always thread-safe.Comment: 87 pages, 10 figures, 5 listings, 4 tables. Extended version of paper
to be published at OOPSLA 202
Comparison of T-cell Receptor Diversity of people with Myalgic Encephalomyelitis versus controls
Objective: Myalgic Encephalomyelitis (ME; sometimes referred to as Chronic Fatigue Syndrome) is a chronic disease without laboratory test, detailed aetiological understanding or effective therapy. Its symptoms are diverse, but it is distinguished from other fatiguing illnesses by the experience of post-exertional malaise, the worsening of symptoms even after minor physical or mental exertion. Its frequent onset after infection suggests autoimmune involvement or that it arises from abnormal T-cell activation. Results: To test this hypothesis, we sequenced the genomic loci of and T-cell receptors (TCR) from 40 human blood samples from each of four groups: severely affected people with ME; mildly or moderately affected people with ME; people diagnosed with Multiple Sclerosis, as disease controls; and, healthy controls. Seeking to automatically classify these individuals’ samples by their TCR repertoires, we applied P-SVM, a machine learning method. However, despite working well on a simulated data set, this approach did not allow statistically significant partitioning of samples into the four subgroups. Our findings do not support the hypothesis that blood samples from people with ME frequently contain altered T-cell receptor diversity
Identification of a triplet pair intermediate in singlet exciton fission in solution.
Singlet exciton fission is the spin-conserving transformation of one spin-singlet exciton into two spin-triplet excitons. This exciton multiplication mechanism offers an attractive route to solar cells that circumvent the single-junction Shockley-Queisser limit. Most theoretical descriptions of singlet fission invoke an intermediate state of a pair of spin-triplet excitons coupled into an overall spin-singlet configuration, but such a state has never been optically observed. In solution, we show that the dynamics of fission are diffusion limited and enable the isolation of an intermediate species. In concentrated solutions of bis(triisopropylsilylethynyl)[TIPS]--tetracene we find rapid (<100 ps) formation of excimers and a slower (∼ 10 ns) break up of the excimer to two triplet exciton-bearing free molecules. These excimers are spectroscopically distinct from singlet and triplet excitons, yet possess both singlet and triplet characteristics, enabling identification as a triplet pair state. We find that this triplet pair state is significantly stabilized relative to free triplet excitons, and that it plays a critical role in the efficient endothermic singlet fission process.H.L.S was supported by the Winton Programme for the Physics of
Sustainability and A.J.M received funding from the Engineering and Physical
Sciences Research Council.This is the accepted manuscript. The final version is available at http://www.pnas.org/content/112/25/7656.abstract
Comparative venom-gland transcriptomics and venom proteomics of four Sidewinder Rattlesnake (\u3ci\u3eCrotalus cerastes\u3c/i\u3e) lineages reveal little differential expression despite individual variation
Changes in gene expression can rapidly influence adaptive traits in the early stages of lineage diversification. Venom is an adaptive trait comprised of numerous toxins used for prey capture and defense. Snake venoms can vary widely between conspecific populations, but the influence of lineage diversification on such compositional differences are unknown. To explore venom differentiation in the early stages of lineage diversification, we used RNA-seq and mass spectrometry to characterize Sidewinder Rattlesnake (Crotalus cerastes) venom. We generated the first venom-gland transcriptomes and complementary venom proteomes for eight individuals collected across the United States and tested for expression differences across life history traits and between subspecific, mitochondrial, and phylotranscriptomic hypotheses. Sidewinder venom was comprised primarily of hemorrhagic toxins, with few cases of differential expression attributable to life history or lineage hypotheses. However, phylotranscriptomic lineage comparisons more than doubled instances of significant expression differences compared to all other factors. Nevertheless, only 6.4% of toxins were differentially expressed overall, suggesting that shallow divergence has not led to major changes in Sidewinder venom composition. Our results demonstrate the need for consensus venom-gland transcriptomes based on multiple individuals and highlight the potential for discrepancies in differential expression between different phylogenetic hypotheses
Comparative mitochondrial genomics of snakes: extraordinary substitution rate dynamics and functionality of the duplicate control region
<p>Abstract</p> <p>Background</p> <p>The mitochondrial genomes of snakes are characterized by an overall evolutionary rate that appears to be one of the most accelerated among vertebrates. They also possess other unusual features, including short tRNAs and other genes, and a duplicated control region that has been stably maintained since it originated more than 70 million years ago. Here, we provide a detailed analysis of evolutionary dynamics in snake mitochondrial genomes to better understand the basis of these extreme characteristics, and to explore the relationship between mitochondrial genome molecular evolution, genome architecture, and molecular function. We sequenced complete mitochondrial genomes from Slowinski's corn snake (<it>Pantherophis slowinskii</it>) and two cottonmouths (<it>Agkistrodon piscivorus</it>) to complement previously existing mitochondrial genomes, and to provide an improved comparative view of how genome architecture affects molecular evolution at contrasting levels of divergence.</p> <p>Results</p> <p>We present a Bayesian genetic approach that suggests that the duplicated control region can function as an additional origin of heavy strand replication. The two control regions also appear to have different intra-specific versus inter-specific evolutionary dynamics that may be associated with complex modes of concerted evolution. We find that different genomic regions have experienced substantial accelerated evolution along early branches in snakes, with different genes having experienced dramatic accelerations along specific branches. Some of these accelerations appear to coincide with, or subsequent to, the shortening of various mitochondrial genes and the duplication of the control region and flanking tRNAs.</p> <p>Conclusion</p> <p>Fluctuations in the strength and pattern of selection during snake evolution have had widely varying gene-specific effects on substitution rates, and these rate accelerations may have been functionally related to unusual changes in genomic architecture. The among-lineage and among-gene variation in rate dynamics observed in snakes is the most extreme thus far observed in animal genomes, and provides an important study system for further evaluating the biochemical and physiological basis of evolutionary pressures in vertebrate mitochondria.</p
Two--magnon scattering and the spin--phonon interaction beyond the adiabatic approximation
We consider a model of Raman scattering for a two--dimensional
Heisenberg Anti-Ferromagnet which includes a {\it dynamical} spin--phonon
interaction. We observe a broadening of the line shape due to increased
coupling with excited high--energy spin states. Our results are close to a
model of random static exchange interactions, first introduced in this context
by Haas {\it et al.} [J. Appl. Phys. {\bf 75}, 6340, (1994)], which, when
extended to large numbers of spins, explains experiments in the parent
insulating compounds of high- superconductors.Comment: 14 pages (revtex format), 8 postscript figure
- …