Failure of interpolation in the intuitionistic logic of constant domains

This paper shows that the interpolation theorem fails in the intuitionistic logic of constant domains. This result refutes two previously published claims that the interpolation property holds.Comment: 13 pages, 0 figures. Overlaps with arXiv 1202.1195 removed, the text thouroughly reworked in terms of notation and style, historical notes as well as some other minor details adde

Finding and Hiring a Research Analyst Unicorn

As more data analytics programs pop up, we see graduates with these degrees and certificates in our applicant pool. However, the analyst that works in higher ed administration is not like a data scientist that looks for biomarkers in genomic data or the programmer that writes in R all day. What are the skills needed for this job? What exactly is this job that we are hiring for? Should managers prioritize applicants with analytics certificates? Or is experience with sponsored projects more important? We (your presenters) don’t have perfect answers but we (the collective conference attendees) can come up with imperfect guidelines! Much of this depends on your specific institution’s characteristics and needs, but there are three things we deem absolutely necessary for an analyst to have in their skillset: an analytical mind, diverse communication skills, and quickly adapting to your institutional culture

Microchannel neural interface manufacture by stacking silicone and metal foil laminae

Objective: Microchannel neural interfaces (MNIs) overcome problems with recording from peripheral nerves by amplifying signals independent of Node of Ranvier position. Selective recording and stimulation using an MNI requires good insulation between microchannels and a high electrode density. We propose that stacking microchannel laminae will improve selectivity over single layer MNI designs due to the increase in electrode number and an improvement in microchannel sealing. Approach: This paper describes a manufacturing method for creating MNIs which overcomes limitations on electrode connectivity and microchannel sealing. Laser cut silicone – metal foil laminae were stacked using plasma bonding to create an array of microchannels containing tripolar electrodes. Electrodes were DC etched and electrode impedance and cyclic voltammetry were tested. Main results: MNIs with 100 µm and 200 µm diameter microchannels were manufactured. High electrode density MNIs are achievable with electrodes present in every microchannel. Electrode impedances of 27.2 ± 19.8 kΩ at 1kHz were achieved. Following 2 months of implantation in Lewis rat sciatic nerve, micro-fascicles were observed regenerating through the MNI microchannels. Significance: Selective microchannel neural interfaces with the peripheral nervous system may allow upper limb amputees to control prostheses intuitively

Looking beyond tasks to develop flexible leadership.

There is a determination within health and social care to make leaders and leadership better and more able to face the challenges within an ever-changing social, political and organisational landscape. However, this presents difficulties, especially as workplace culture and climate may make people unlikely to take different leadership approaches. This paper reports on the findings of an evaluation of a leadership development programme delivered to senior leaders in health and social care. It uses qualitative data to demonstrate that, even in a safe, risk-free environment, health and social care leaders approach a hypothetical scenario in a defensive, hierarchical and expert-led manner; only after they were given ‘expert’ permission to change leadership style, did they act collectively and seek to adopt a transformational style of leadership

Response of Obligate Birds to Mechanical Manipulations in a Sagebrush Ecosystem Near Gunnison, Colorado

Sagebrush ecosystems across western North America have declined in productivity and biodiversity with significant declines in sagebrush obligate birds. Mechanical methods to reduce sagebrush canopy cover and encourage herbaceous undergrowth have been implemented to restore sagebrush ecosystems. How these treatments affect sagebrush obligate birds has not been documented. In this study, we hypothesized that nesting success would decline in mechanically treated (mowed and dixie harrowed) plots immediately and for two years after treatment. Twelve 6-ha plots within the South Parlin Common Allotment in the Gunnison Basin, Colorado were established in 2005. Four replicates of untreated (control), mowed and disked (dixie harrow) plots were sampled in 2005 (pre-treatment) and in 2006 and 2007. We located nests using the systematic walk and incidental flush method. We revisited nests every three to five days to determine nest fate. We located 142 nests of nine species in 90 nest searches and expended over 600 man hours. Mayfield nest success (proportion of nests that successfully hatch at least one young) and clutch size were similar among treatments. Nest success of artificial nests also was similar among treatments. Predation was the leading cause of nest failure accounting for 71 to 77 percent of all nest failures and small mammals were implicated in 76 percent of the depredations. Least chipmunks may have been the principle predator of sagebrush bird nests in our study. Small scale mechanical treatments to restore sagebrush apparently do not negatively affect sagebrush birds within two years post-treatment, but longer duration studies and larger sample sizes are required to better assess the impact of treatments on sagebrush avifauna

Courage in decision-making:A mixed-methods study of COVID-19 vaccine uptake in women of reproductive age in the UK

COVID-19 vaccination rates are lower in women of reproductive age (WRA), including preg-nant/postpartum women despite their poorer COVID-19-related outcomes. We evaluated vac-cination experiences of 3,568 UK WRA, including 1,983 women (55.6%) experiencing a pandemic pregnancy, recruited through the ZOE COVID Symptom Study app. Two staggered online ques-tionnaires (Oct-Dec 2021: 3,453 responders; Aug-Sept 2022: 2,129 responders) assessed reproductive status, COVID-19 status, vaccination, and attitudes for/against vaccination. Descriptive analyses included vaccination type(s), timing relative to age-based eligibility and reproductive status, vaccination delay (first vaccination >28 days from eligibility), and rationale, with content analysis of free-text comments. Most responders (3,392/3,453, 98.2%) were vaccinated by Dec 2021, motivated by: altruism, vaccination supportiveness in general, low-risk, and COVID-19 concerns. Few declined vaccination (by Sept/2022: 20/2,129, 1.0%), citing: risks (pregnancy-specific and longer-term), pre-existing immunity, and personal/philosophical reasons. Few women de-layed vaccination, although pregnant/postpartum women (vs. other WRA), received vaccination later (median 3 vs. 0 days after eligibility, p<0.0001). Despite high uptake, concerns included: adverse effects; misinformation (including from healthcare providers); ever-changing govern-ment advice; and complex decision-making. In summary, most women in this large WRA cohort were promptly vaccinated, including pregnant/post-partum women. Altruism and community benefit superseded personal benefit as reasons for vaccination. Nevertheless, responders expe-rienced angst, and received vaccine-related misinformation and discouragement. These findings should inform vaccination strategies in WRA

Magma Plumbing Systems::A Geophysical Perspective

Over the last few decades, significant advances in using geophysical techniques to image the structure of magma plumbing systems have enabled the identification of zones of melt accumulation, crystal mush development, and magma migration. Combining advanced geophysical observations with petrological and geochemical data has arguably revolutionised our understanding of, and afforded exciting new insights into, the development of entire magma plumbing systems. However, divisions between the scales and physical settings over which these geophysical, petrological, and geochemical methods are applied still remain. To characterise some of these differences and promote the benefits of further integration between these methodologies, we provide a review of geophysical techniques and discuss how they can be utilised to provide a structural context for and place physical limits on the chemical evolution of magma plumbing systems. For example, we examine how Interferometric Synthetic Aperture Radar (InSAR), coupled with Global Positioning System (GPS) and Global Navigation Satellite System (GNSS) data, and seismicity may be used to track magma migration in near real-time. We also discuss how seismic imaging, gravimetry and electromagnetic data can identify contemporary melt zones, magma reservoirs and/or crystal mushes. These techniques complement seismic reflection data and rock magnetic analyses that delimit the structure and emplacement of ancient magma plumbing systems. For each of these techniques, with the addition of full-waveform inversion (FWI), the use of Unmanned Aerial Vehicles (UAVs) and the integration of geophysics with numerical modelling, we discuss potential future directions. We show that approaching problems concerning magma plumbing systems from an integrated petrological, geochemical, and geophysical perspective will undoubtedly yield important scientific advances, providing exciting future opportunities for the volcanological community