2,488 research outputs found
Completeness and Incompleteness of Synchronous Kleene Algebra
Synchronous Kleene algebra (SKA), an extension of Kleene algebra (KA), was
proposed by Prisacariu as a tool for reasoning about programs that may execute
synchronously, i.e., in lock-step. We provide a countermodel witnessing that
the axioms of SKA are incomplete w.r.t. its language semantics, by exploiting a
lack of interaction between the synchronous product operator and the Kleene
star. We then propose an alternative set of axioms for SKA, based on Salomaa's
axiomatisation of regular languages, and show that these provide a sound and
complete characterisation w.r.t. the original language semantics.Comment: Accepted at MPC 201
From Ligand to Phosphor: Rapid, Machine-Assisted Synthesis of Substituted Iridium(III) Pyrazolate Complexes with Tuneable Luminescence
A first generation machine-assisted approach towards the preparation of hybrid
ligand/metal materials has been explored. A comparison of synthetic approaches
demonstrates that incorporation of both flow chemistry and microwave heating, can
be successfully applied to the rapid synthesis of a range of new phenyl-1H-pyrazoles
(ppz) substituted with electron withdrawing groups (-F, -CF3, -OCF3, -SF5), and
these, in turn, can be translated in to heteroleptic complexes, [Ir(ppz)2(bipy)]BF4
(bipy = 2,2â-bipyridine). Microwave-assisted syntheses for the IrIII complexes allows
isolation of spectroscopically pure species in less than 1 hour of reaction time from
IrCl3. All new complexes have been explored photophysically (including nanosecond
time-resolved transient absorption spectroscopy), electrochemically and by TD-DFT
studies which show that the complexes possess ligand-dependent, and thus,
tuneable green-yellow luminescence (500-560 nm), with quantum yields in the range
5-15 %
Recommended from our members
The dynamics of temperature extremes
Changes in the occurrence of atmospheric circulation patterns are not well understood. A study finds that these have been a big factor in observed changes in regional temperature extremes during recent decades
The 6-GHz multibeam maser survey III: comparison between the MMB and HOPS
We have compared the occurrence of 6.7-GHz and 12.2-GHz methanol masers with 22-GHz water masers and 6035-MHz excited-state OH masers in the 100 square degree region of the southern Galactic plane common to the Methanol Multibeam (MMB) and H2O southern Galactic Plane surveys (HOPS). We find the most populous star formation species to be 6.7-GHz methanol, followed by water, then 12.2-GHz and, finally, excited-state OH masers. We present association statistics, flux density (and luminosity where appropriate) and velocity range distributions across the largest, fully surveyed portion of the Galactic plane for four of the most common types of masers found in the vicinity of star formation regions. Comparison of the occurrence of the four maser types with far-infrared dust temperatures shows that sources exhibiting excited-state OH maser emission are warmer than sources showing any of the other three maser types. We further find that sources exhibiting both 6.7-GHz and 12.2-GHz methanol masers are warmer than sources exhibiting just 6.7-GHz methanol maser emission. These findings are consistent with previously made suggestions that both OH and 12.2-GHz methanol masers generally trace a later stage of star formation compared to other common maser types
Recommended from our members
State of the California current 2013-14: El niño looming
In 2013, the California current was dominated by strong coastal upwelling and high productivity. Indices of total cumulative upwelling for particular coastal locations reached some of the highest values on record. Chlorophyll a levels were high throughout spring and summer. Catches of upwelling-related fish species were also high. After a moderate drop in upwelling during fall 2013, the California current system underwent a major change in phase. Three major basin-scale indicators, the PDO, the NPGO, and the ENSO-MEI, all changed phase at some point during the winter of 2013/14. The PDO changed to positive values, indicative of warmer waters in the North Pacific; the NPGO to negative values, indicative of lower productivity along the coast; and the MEI to positive values, indicative of an oncoming El Niño. Whereas the majority of the California Current system appears to have transitioned to an El Niño state by August 2014, based on decreases in upwelling and chlorophyll a concentration, and increases in SST, there still remained pockets of moderate upwelling, cold water, and high chlorophyll a biomass at various central coast locations, unlike patterns seen during the more major El Niños (e.g., the 97-98 event). Catches of rockfish, market squid, euphausiids, and juvenile sanddab remained high along the central coast, whereas catches of sardine and anchovy were low throughout the CCS. 2014 appears to be heading towards a moderate El Niño state, with some remaining patchy regions of upwellingdriven productivity along the coast. Superimposed on this pattern, three major regions have experienced possibly non-El Niño-related warming since winter: the Bering Sea, the Gulf of Alaska, and offshore of southern California. It is unclear how this warming may interact with the predicted El Niño, but the result will likely be reduced growth or reproduction for many key fisheries species
Recommended from our members
State of the California current 2012-13: No such thing as an âaverageâ year
This report reviews the state of the California Current System (CCS) between winter 2012 and spring 2013, and includes observations from Washington State to Baja California. During 2012, large-scale climate modes indicated the CCS remained in a cool, productive phase present since 2007. The upwelling season was delayed north of 42°N, but regions to the south, especially 33° to 36°N, experienced average to above average upwelling that persisted throughout the summer. Contrary to the indication of high production suggested by the climate indices, chlorophyll observed from surveys and remote sensing was below average along much of the coast. As well, some members of the forage assemblages along the coast experienced low abundances in 2012 surveys. Specifically, the concentrations of all lifestages observed directly or from egg densities of Pacific sardine, Sardinops sagax, and northern anchovy, Engraulis mordax, were less than previous yearsâ survey estimates. However, 2013 surveys and observations indicate an increase in abundance of northern anchovy. During winter 2011/2012, the increased presence of northern copepod species off northern California was consistent with stronger southward transport. Krill and small-fraction zooplankton abundances, where examined, were generally above average. North of 42°N, salps returned to typical abundances in 2012 after greater observed concentrations in 2010 and 2011. In contrast, salp abundance off central and southern California increased after a period of southward transport during winter 2011/2012. Reproductive success of piscivorous Brandtâs cormorant, Phalacrocorax penicillatus, was reduced while planktivorous Cassinâs auklet, Ptychoramphus aleuticus was elevated. Differences between the productivity of these two seabirds may be related to the available forage assemblage observed in the surveys. California sea lion pups from San Miguel Island were undernourished resulting in a pup mortality event perhaps in response to changes in forage availability. Limited biological data were available for spring 2013, but strong winter upwelling coastwide indicated an early spring transition, with the strong upwelling persisting into early summer
âI Think I Became a Swimmer Rather than Just Someone with a Disability Swimming Up and Downâ: Paralympic Athletes Perceptions of Self and Identity Development
This is an Accepted Manuscript of an article published by Taylor & Francis Group in Disability and Rehabilitation on 27 September 2016, available online at:DOI: https://doi.org/10.1080/09638288.2016.1217074.Purpose: The purpose of this study was to explore the role of swimming on Paralympic athletesâ perceptions of self and identity development. Method: A hermeneutic phenomenological approach was taken. During semi-structured interviews five Paralympic swimmers (aged 20-24 years) were asked questions about their swimming career, perceptions of self, integration, and impairment. Interviews were audio-recorded and transcribed verbatim. Results: An Interpretative Phenomenological Analysis1 yielded three superordinate themes: a) âOne of the crowdâ; none of the participants viewed themselves as disabled, nor as supercrips; these perceptions stemmed from family-, school-, and swimming- related experiences, b) âBecoming meâ; participation in swimming facilitated self- and social-acceptance, and identity development, and c) âA badge of honourâ; swimming presented opportunity to present and reinforce a positive identity. Conclusions: Swimming experiences enabled the participants to enhance personal and social identities, integrate through pro-social mechanisms, and to develop a career path following retirement from competition.through pro-social mechanisms, and to develop a career path following retirement from competition.Peer reviewe
Multiple Imputation Ensembles (MIE) for dealing with missing data
Missing data is a significant issue in many real-world datasets, yet there are no robust methods for dealing with it appropriately. In this paper, we propose a robust approach to dealing with missing data in classification problems: Multiple Imputation Ensembles (MIE). Our method integrates two approaches: multiple imputation and ensemble methods and compares two types of ensembles: bagging and stacking. We also propose a robust experimental set-up using 20 benchmark datasets from the UCI machine learning repository. For each dataset, we introduce increasing amounts of data Missing Completely at Random. Firstly, we use a number of single/multiple imputation methods to recover the missing values and then ensemble a number of different classifiers built on the imputed data. We assess the quality of the imputation by using dissimilarity measures. We also evaluate the MIE performance by comparing classification accuracy on the complete and imputed data. Furthermore, we use the accuracy of simple imputation as a benchmark for comparison. We find that our proposed approach combining multiple imputation with ensemble techniques outperform others, particularly as missing data increases
- âŠ