6,163 research outputs found
Robust Online Monitoring of Signal Temporal Logic
Signal Temporal Logic (STL) is a formalism used to rigorously specify
requirements of cyberphysical systems (CPS), i.e., systems mixing digital or
discrete components in interaction with a continuous environment or analog com-
ponents. STL is naturally equipped with a quantitative semantics which can be
used for various purposes: from assessing the robustness of a specification to
guiding searches over the input and parameter space with the goal of falsifying
the given property over system behaviors. Algorithms have been proposed and
implemented for offline computation of such quantitative semantics, but only
few methods exist for an online setting, where one would want to monitor the
satisfaction of a formula during simulation. In this paper, we formalize a
semantics for robust online monitoring of partial traces, i.e., traces for
which there might not be enough data to decide the Boolean satisfaction (and to
compute its quantitative counterpart). We propose an efficient algorithm to
compute it and demonstrate its usage on two large scale real-world case studies
coming from the automotive domain and from CPS education in a Massively Open
Online Course (MOOC) setting. We show that savings in computationally expensive
simulations far outweigh any overheads incurred by an online approach
Interleaved lexical and audiovisual information can retune phoneme boundaries
To adapt to situations in which speech perception is difficult, listeners can adjust boundaries between phoneme categories using perceptual learning. Such adjustments can draw on lexical information in surrounding speech, or on visual cues via speech-reading. In the present study, listeners proved they were able to flexibly adjust the boundary between two plosive/stop consonants, /p/-/t/, using both lexical and speech-reading information and given the same experimental design for both cue types. Videos of a speaker pronouncing pseudo-words and audio recordings of Dutch words were presented in alternating blocks of either stimulus type. Listeners were able to switch between cues to adjust phoneme boundaries, and resulting effects were comparable to results from listeners receiving only a single source of information. Overall, audiovisual cues (i.e., the videos) produced the stronger effects, commensurate with their applicability for adapting to noisy environments. Lexical cues were able to induce effects with fewer exposure stimuli and a changing phoneme bias, in a design unlike most prior studies of lexical retuning. While lexical retuning effects were relatively weaker compared to audiovisual recalibration, this discrepancy could reflect how lexical retuning may be more suitable for adapting to speakers than to environments. Nonetheless, the presence of the lexical retuning effects suggests that it may be invoked at a faster rate than previously seen. In general, this technique has further illuminated the robustness of adaptability in speech perception, and offers the potential to enable further comparisons across differing forms of perceptual learning
Research Synthesis
Herbert Simon’s (1956) concept of satisficing provides an intuitive explanation for the reasons why respondents to surveys sometimes adopt response strategies that can lead to a reduction in data quality. As such, the concept rapidly gained popularity among researchers after it was first introduced to the field of survey methodology by Krosnick and Alwin (1987), and it has become a widely cited buzzword linked to different forms of response error. In this article, we present the findings of a systematic review involving a content analysis of journal articles published in English-language journals between 1987 and 2015 that have drawn on the satisficing concept to evaluate survey data quality. Based on extensive searches of online databases, and an initial screening exercise to apply the study’s inclusion criteria, 141 relevant articles were identified. Guided by the theory of survey satisficing described by Krosnick (1991), the methodological features of the shortlisted articles were coded, including the indicators of satisficing analyzed, the main predictors of satisficing, and the presence of main or interaction effects on the prevalence of satisficing involving indicators of task difficulty, respondent ability, and respondent motivation. Our analysis sheds light on potential differences in the extent to which satisficing theory holds for different types of response error, and highlights a number of avenues for future research
Investigating situated cultural practices through cross-sectoral digital collaborations: policies, processes, insights
The (Belfast) Good Friday Agreement represents a major milestone in Northern Ireland's recent political history, with complex conditions allowing for formation of a ‘cross-community’ system of government enabling power sharing between parties representing Protestant/loyalist and Catholic/nationalist constituencies. This article examines the apparent flourishing of community-focused digital practices over the subsequent ‘post-conflict’ decade, galvanised by Northern Irish and EU policy initiatives armed with consolidating the peace process. Numerous digital heritage and storytelling projects have been catalysed within programmes aiming to foster social processes, community cohesion and cross-community exchange. The article outlines two projects—‘digital memory boxes’ and ‘interactive galleon’—developed during 2007–2008 within practice-led PhD enquiry conducted in collaboration with the Nerve Centre, a third-sector media education organisation. The article goes on to critically examine the processes involved in practically realising, and creatively and theoretically reconciling, community-engaged digital production in a particular socio-political context of academic-community collaboration
Gas and dust in the inner disk of the Herbig Ae star MWC 758
In this Letter we investigate the origin of the near-infrared emission of the
Herbig Ae star MWC 758 on sub-astronomical unit (AU) scales using spectrally
dispersed low resolution (R=35) AMBER/VLTI interferometric observations both in
the H (m) and K (m) bands. We find that the K band
visibilities and closure phases are consistent with the presence of a dusty
disk inner rim located at the dust evaporation distance (0.4 AU) while the bulk
of the H band emission arises within 0.1 AU from the central star. Comparing
the observational results with theoretical model predictions, we suggest that
the H band emission is dominated by an hot gaseous accretion disk.Comment: Accepted for publication in A&
Stellar and Molecular Radii of a Mira Star: First Observations with the Keck Interferometer Grism
Using a new grism at the Keck Interferometer, we obtained spectrally
dispersed (R ~ 230) interferometric measurements of the Mira star R Vir. These
data show that the measured radius of the emission varies substantially from
2.0-2.4 microns. Simple models can reproduce these wavelength-dependent
variations using extended molecular layers, which absorb stellar radiation and
re-emit it at longer wavelengths. Because we observe spectral regions with and
without substantial molecular opacity, we determine the stellar photospheric
radius, uncontaminated by molecular emission. We infer that most of the
molecular opacity arises at approximately twice the radius of the stellar
photosphere.Comment: 12 pages, including 3 figures. Accepted by ApJ
Neural correlates of phonetic adaptation as induced by lexical and audiovisual context
When speech perception is difficult, one way listeners adjust is by reconfiguring phoneme category boundaries, drawing on contextual information. Both lexical knowledge and lipreading cues are used in this way, but it remains unknown whether these two differing forms of perceptual learning are similar at a neural level. This study compared phoneme boundary adjustments driven by lexical or audiovisual cues, using ultra-high-field 7-T fMRI. During imaging, participants heard exposure stimuli and test stimuli. Exposure stimuli for lexical retuning were audio recordings of words, and those for audiovisual recalibration were audio–video recordings of lip movements during utterances of pseudowords. Test stimuli were ambiguous phonetic strings presented without context, and listeners reported what phoneme they heard. Reports reflected phoneme biases in preceding exposure blocks (e.g., more reported /p/ after /p/-biased exposure). Analysis of corresponding brain responses indicated that both forms of cue use were associated with a network of activity across the temporal cortex, plus parietal, insula, and motor areas. Audiovisual recalibration also elicited significant occipital cortex activity despite the lack of visual stimuli. Activity levels in several ROIs also covaried with strength of audiovisual recalibration, with greater activity accompanying larger recalibration shifts. Similar activation patterns appeared for lexical retuning, but here, no significant ROIs were identified. Audiovisual and lexical forms of perceptual learning thus induce largely similar brain response patterns. However, audiovisual recalibration involves additional visual cortex contributions, suggesting that previously acquired visual information (on lip movements) is retrieved and deployed to disambiguate auditory perception
Strong Near-Infrared Emission Interior to the Dust-Sublimation Radius of Young Stellar Objects MWC275 and AB Aur
Using the longest optical-interferometeric baselines currently available, we
have detected strong near-infrared (NIR) emission from inside the
dust-destruction radius of Herbig Ae stars MWC275 and AB Aur. Our
sub-milli-arcsecond resolution observations unambiguously place the emission
between the dust-destruction radius and the magnetospheric co-rotation radius.
We argue that this new component corresponds to hot gas inside the
dust-sublimation radius, confirming recent claims based on spectrally-resolved
interferometry and dust evaporation front modeling.Comment: 12 pages, 4 figures, Accepted for publication in ApJ
New insights on the AU-scale circumstellar structure of FU Orionis
We report new near-infrared, long-baseline interferometric observations at
the AU scale of the pre-main-sequence star FU Orionis with the PTI, IOTA and
VLTI interferometers. This young stellar object has been observed on 42 nights
over a period of 6 years from 1998 to 2003. We have obtained 287 independent
measurements of the fringe visibility with 6 different baselines ranging from
20 to 110 meters in length, in the H and K bands. Our extensive (u,v)-plane
coverage, coupled with the published spectral energy distribution data, allows
us to test the accretion disk scenario. We find that the most probable
explanation for these observations is that FU Ori hosts an active accretion
disk whose temperature law is consistent with standard models. We are able to
constrain the geometry of the disk, including an inclination of 55 deg and a
position angle of 47 deg. In addition, a 10 percent peak-to-peak oscillation is
detected in the data (at the two-sigma level) from the longest baselines, which
we interpret as a possible disk hot-spot or companion. However, the oscillation
in our best data set is best explained with an unresolved spot located at a
projected distance of 10 AU at the 130 deg position angle and with a magnitude
difference of DeltaK = 3.9 and DeltaH = 3.6 mag moving away from the center at
a rate of 1.2 AU/yr. we propose to interpret this spot as the signature of a
companion of the central FU Ori system on an extremely eccentric orbit. We
speculate that the close encounter of this putative companion and the central
star could be the explanation of the initial photometric rise of the luminosity
of this object
Adaptive Optics Imaging of the AU Microscopii Circumstellar Disk: Evidence for Dynamical Evolution
We present an H-band image of the light scattered from circumstellar dust
around the nearby (10 pc) young M star AU Microscopii (AU Mic, GJ 803, HD
197481), obtained with the Keck adaptive optics system. We resolve the disk
both vertically and radially, tracing it over 17-60 AU from the star. Our AU
Mic observations thus offer the possibility to probe at high spatial resolution
(0.04" or 0.4 AU per resolution element) for morphological signatures of the
debris disk on Solar-System scales. Various sub-structures (dust clumps and
gaps) in the AU Mic disk may point to the existence of orbiting planets. No
planets are seen in our H-band image down to a limiting mass of 1 M_Jup at >20
AU, although the existence of smaller planets can not be excluded from the
current data. Modeling of the disk surface brightness distribution at H-band
and R-band, in conjunction with the optical to sub-millimeter spectral energy
distribution, allows us to constrain the disk geometry and the dust grain
properties. We confirm the nearly edge-on orientation of the disk inferred from
previous observations, and deduce an inner clearing radius <=10 AU. We find
evidence for a lack of small grains in the inner (<60 AU) disk, either as a
result of primordial disk evolution, or because of destruction by
Poynting-Robertson and/or corpuscular drag. A change in the power-law index of
the surface brightness profile is observed near 33 AU, similar to a feature
known in the profile of the beta Pic circumstellar debris disk. By comparing
the time scales for inter-particle collisions and Poynting-Robertson drag
between the two systems, we argue that the breaks are linked to one of these
two processes.Comment: 17 pages, 7 figures, 1 table; accepted by Ap
- …