924 research outputs found
Regular and First Order List Functions
We define two classes of functions, called regular (respectively, first-order) list functions, which manipulate objects such as lists, lists of lists, pairs of lists, lists of pairs of lists, etc. The definition is in the style of regular expressions: the functions are constructed by starting with some basic functions (e.g. projections from pairs, or head and tail operations on lists) and putting them together using four combinators (most importantly, composition of functions). Our main results are that first-order list functions are exactly the same as first-order transductions, under a suitable encoding of the inputs; and the regular list functions are exactly the same as MSO-transductions
Automatic orienting towards face-like stimuli in early childhood
Newborn infants orient preferentially toward face-like or “protoface” stimuli and recent studies suggest similar reflexive orienting responses in adults. Little is known, however, about the operation of this mechanism in childhood. An attentional-cueing procedure was therefore developed to investigate protoface orienting in early childhood. Consistent with the extant literature, 5- to 6-year-old children (n = 25) exhibited orienting toward face-like stimuli; they responded faster when target location was cued by the appearance of a protoface stimulus than when location was cued by matched control patterns. The potential of this procedure to investigate the development of typical and atypical social perception is discussed
Initial Semantics for Strengthened Signatures
We give a new general definition of arity, yielding the companion notions of
signature and associated syntax. This setting is modular in the sense requested
by Ghani and Uustalu: merging two extensions of syntax corresponds to building
an amalgamated sum. These signatures are too general in the sense that we are
not able to prove the existence of an associated syntax in this general
context. So we have to select arities and signatures for which there exists the
desired initial monad. For this, we follow a track opened by Matthes and
Uustalu: we introduce a notion of strengthened arity and prove that the
corresponding signatures have initial semantics (i.e. associated syntax). Our
strengthened arities admit colimits, which allows the treatment of the
\lambda-calculus with explicit substitution.Comment: In Proceedings FICS 2012, arXiv:1202.317
The impact of Autism Spectrum Disorder and alexithymia on judgments of moral acceptability
One’s own emotional response toward a hypothetical action can influence judgments of its moral acceptability. Some individuals with autism spectrum disorder (ASD) exhibit atypical emotional processing, and moral judgments. Research suggests, however, that emotional deficits in ASD are due to co-occurring alexithymia, meaning atypical moral judgments in ASD may be due to alexithymia also. Individuals with and without ASD (matched for alexithymia) judged the moral acceptability of emotion-evoking statements and identified the emotion evoked. Moral acceptability judgments were predicted by alexithymia. Crucially, however, this relationship held only for individuals without ASD. While ASD diagnostic status did not directly predict either judgment, those with ASD did not base their moral acceptability judgments on emotional information. Findings are consistent with evidence demonstrating that decision-making is less subject to emotional biases in those with ASD
In-Space Robotic Assembly Joint Characterization Approach
This paper describes the test systems and approaches developed to characterize the performance of a structural joint that is intended for robotic in-space assembly (ISA). The design of the joint is based on a heritage concept from National Aeronautics and Space Administration (NASA) Langley Research Center (LaRC) originally intended for structural assembly by astronauts during extravehicular activity (EVA). Its design was modified under a public-private partnership and is intended to accelerate the availability of, and reduce costs for the infusion of NASA developed technologies into commercial ISA systems. Test systems were developed to measure the axial, bending, and torsional stiffness of the joint at a wide range of temperatures. A test system was also developed to measure the reliability of the joint in terms of translation and rotation when disassembled and re-assembled in space. These test systems were used to characterize the joint behavior and provide performance data for the iterative joint design process. The paper also lists the lessons learned to aid testing of next generation robotic in-space assembly joints
Highly efficient 5\u27 capping of mitochondrial RNA with NAD+ and NADH by yeast and human mitochondrial RNA polymerase
Bacterial and eukaryotic nuclear RNA polymerases (RNAPs) cap RNA with the oxidized and reduced forms of the metabolic effector nicotinamide adenine dinucleotide, NAD+ and NADH, using NAD+ and NADH as non-canonical initiating nucleotides for transcription initiation. Here, we show that mitochondrial RNAPs (mtRNAPs) cap RNA with NAD+ and NADH, and do so more efficiently than nuclear RNAPs. Direct quantitation of NAD+- and NADH-capped RNA demonstrates remarkably high levels of capping in vivo: up to ~60% NAD+ and NADH capping of yeast mitochondrial transcripts, and up to ~15% NAD+ capping of human mitochondrial transcripts. The capping efficiency is determined by promoter sequence at, and upstream of, the transcription start site and, in yeast and human cells, by intracellular NAD+ and NADH levels. Our findings indicate mtRNAPs serve as both sensors and actuators in coupling cellular metabolism to mitochondrial transcriptional outputs, sensing NAD+ and NADH levels and adjusting transcriptional outputs accordingly. © 2018, Bird et al
Investigating the traffic-related environmental impacts of hydraulic-fracturing (fracking) operations
Hydraulic fracturing (fracking) has been used extensively in the US and Canada since the 1950s and offers the potential for significant new sources of oil and gas supply. Numerous other countries around the world (including the UK, Germany, China, South Africa, Australia and Argentina) are now giving serious consideration to sanctioning the technique to provide additional security over the future supply of domestic energy. However, relatively high population densities in many countries and the potential negative environmental impacts that may be associated with fracking operations has stimulated controversy and significant public debate regarding if and where fracking should be permitted. Road traffic generated by fracking operations is one possible source of environmental impact whose significance has, until now, been largely neglected in the available literature. This paper therefore presents a scoping-level environmental assessment for individual and groups of fracking sites using a newly-created Traffic Impacts Model (TIM). The model produces estimates of the traffic-related impacts of fracking on greenhouse gas emissions, local air quality emissions, noise and road pavement wear, using a range of hypothetical fracking scenarios to quantify changes in impacts against baseline levels.
Results suggest that the local impacts of a single well pad may be short duration but large magnitude. That is, whilst single digit percentile increases in emissions of CO2, NOx and PM are estimated for the period from start of construction to pad completion (potentially several months or years), excess emissions of NOx on individual days of peak activity can reach 30% over baseline. Likewise, excess noise emissions appear negligible (< 1 dBA) when normalised over the completion period, but may be considerable (+ 3.4 dBA) in particular hours, especially in night-time periods. Larger, regional scale modelling of pad development scenarios over a multi-decade time horizon give modest CO2 emissions that vary between 2.5 and 160.4 kT, dependent on the number of wells, and individual well fracking water and flowback waste requirements. The TIM model is designed to be adaptable to any geographic area where the required input data are available (such as fleet characteristics, road type and quality), and we suggest could be deployed as a tool to help reach more informed decisions regarding where and how fracking might take place taking into account the likely scale of traffic-related environmental impacts
Generating Bijections between HOAS and the Natural Numbers
A provably correct bijection between higher-order abstract syntax (HOAS) and
the natural numbers enables one to define a "not equals" relationship between
terms and also to have an adequate encoding of sets of terms, and maps from one
term family to another. Sets and maps are useful in many situations and are
preferably provided in a library of some sort. I have released a map and set
library for use with Twelf which can be used with any type for which a
bijection to the natural numbers exists.
Since creating such bijections is tedious and error-prone, I have created a
"bijection generator" that generates such bijections automatically together
with proofs of correctness, all in the context of Twelf.Comment: In Proceedings LFMTP 2010, arXiv:1009.218
- …