308 research outputs found
Specification and implementation of the Larch shared language
This project aims to prototype formal specification in Larch. The motivation for looking at formal specifications stems from an appreciation of the problem outlined above, frustration with current methods, and a desire to practise what is preached. The aim is to implement a formal specification language, to write a non-trivial specification and to employ formal methods of specification during software development. As a result, one should have a thorough understanding of a formal specification language, and the practical implications of using it as a basis for formal methods
A Challenge to Socio-Ecological Resilience: Community Based Resource Management Organizations’ Perceptions and Responses to Cannabis Cultivation in Northern California
Local nonprofit organizations in the Pacific Northwest have stepped up to fill a leadership void in forest management since the Timber Wars of the 1980s and 1990s. Community based resource management groups (CBRM) have focused on stewardship of ecosystem services, and leading efforts to employ local workers to restore forest ecosystems and watershed functions. In Northern California, even as CBRM capacity has grown since the Timber Wars, a new transformative challenge threatens community and landscape adaptive capacity. Cannabis cultivation, which can have significant environmental and social impacts, has become a pervasive economic driver. I used interviews to explore CBRM leaders’ perceptions of environmental and social impacts of cannabis cultivation on their communities, and CBRM groups’ responses to these impacts. Respondents agreed that illegal cannabis cultivation on public land (trespass grows) and partially legalized and often poorly managed cannabis cultivation on private land threatens the progress that CBRM groups have made toward restoring forests and watersheds. They also described changing community relations resulting from the rapid influx of newcomers drawn to the economic opportunity of cannabis cultivation. They discussed wide-ranging approaches CBRM groups are taking to address emerging challenges. These interviews indicate that local partnerships between CBRM groups and government agencies are not sufficient to address the negative impacts of illegal cultivation especially on federal lands. Even if legalization of cannabis succeeds in creating a regulated market for a portion of California’s crop, the enormous national black market may continue to drive illegal cultivation on federal lands and unregulated private holdings. It will take Federal government re-investment in neglected national forests, rural landscapes and communities working to sustain critical ecosystem services, and federal legalization of cannabis to reverse the destruction resulting from illegal cannabis production on public lands
Kepler-432: a red giant interacting with one of its two long period giant planets
We report the discovery of Kepler-432b, a giant planet ()
transiting an evolved star with an orbital period of days. Radial velocities (RVs) reveal that
Kepler-432b orbits its parent star with an eccentricity of , which we also measure independently with
asterodensity profiling (AP; ), thereby confirming
the validity of AP on this particular evolved star. The well-determined
planetary properties and unusually large mass also make this planet an
important benchmark for theoretical models of super-Jupiter formation.
Long-term RV monitoring detected the presence of a non-transiting outer planet
(Kepler-432c; days), and adaptive optics imaging revealed a nearby
(0\farcs87), faint companion (Kepler-432B) that is a physically bound M dwarf.
The host star exhibits high signal-to-noise asteroseismic oscillations, which
enable precise measurements of the stellar mass, radius and age. Analysis of
the rotational splitting of the oscillation modes additionally reveals the
stellar spin axis to be nearly edge-on, which suggests that the stellar spin is
likely well-aligned with the orbit of the transiting planet. Despite its long
period, the obliquity of the 52.5-day orbit may have been shaped by star-planet
interaction in a manner similar to hot Jupiter systems, and we present
observational and theoretical evidence to support this scenario. Finally, as a
short-period outlier among giant planets orbiting giant stars, study of
Kepler-432b may help explain the distribution of massive planets orbiting giant
stars interior to 1 AU.Comment: 22 pages, 19 figures, 5 tables. Accepted to ApJ on Jan 24, 2015
(submitted Nov 11, 2014). Updated with minor changes to match published
versio
Transformative Sea-level Rise Research and Planning: Establishing a University, Tribal, and Community Partnership for a Resilient California North Coast
Sea-level rise (SLR) is and will continue to be a pressing issue in the rural, North Coast region of California, especially since nearby Wigi (or Humboldt Bay) is experiencing one of the fastest rates of relative SLR on the U.S. West Coast. In this paper, we argue that SLR presents a transformative opportunity to rekindle environmental relationships and reshape the future of the California North Coast and beyond. As the preeminent higher education institution of the region, Cal Poly Humboldt has the responsibility to be a leader in education, research, and planning for climate resilience. We describe efforts of the Cal Poly Humboldt Sea Level Rise Institute to establish a university-Tribal-community partnership that braids together different approaches and ways of knowing to develop research and planning that supports a resilient California North Coast. Since Wigi is projected to experience the effects of SLR sooner than the rest of the state, the North Coast region is poised to act as an incubator for new ideas and solutions, including Indigenous knowledge systems, and to play a role in influencing equitable, resilient, and transformative SLR adaptation processes in other parts of the state and the world. This will require developing programming and expertise in specific disciplinary areas, but, more importantly, will require the development of opportunities and spaces for various disciplines, ways of knowing, and sectors (e.g. Tribal nations, academia, government, NGOs, private companies, and community groups) to converge and bring the best of what they have to address climate-induced challenges and opportunities
Kepler-21b: A 1.6REarth Planet Transiting the Bright Oscillating F Subgiant Star HD 179070
We present Kepler observations of the bright (V=8.3), oscillating star HD
179070. The observations show transit-like events which reveal that the star is
orbited every 2.8 days by a small, 1.6 R_Earth object. Seismic studies of HD
179070 using short cadence Kepler observations show that HD 179070 has a
frequencypower spectrum consistent with solar-like oscillations that are
acoustic p-modes. Asteroseismic analysis provides robust values for the mass
and radius of HD 179070, 1.34{\pm}0.06 M{\circ} and 1.86{\pm}0.04 R{\circ}
respectively, as well as yielding an age of 2.84{\pm}0.34 Gyr for this F5
subgiant. Together with ground-based follow-up observations, analysis of the
Kepler light curves and image data, and blend scenario models, we
conservatively show at the >99.7% confidence level (3{\sigma}) that the transit
event is caused by a 1.64{\pm}0.04 R_Earth exoplanet in a 2.785755{\pm}0.000032
day orbit. The exoplanet is only 0.04 AU away from the star and our
spectroscopic observations provide an upper limit to its mass of ~10 M_Earth
(2-{\sigma}). HD 179070 is the brightest exoplanet host star yet discovered by
Kepler.Comment: Accepted to Ap
A sub-Mercury-sized exoplanet
Since the discovery of the first exoplanet we have known that other planetary
systems can look quite unlike our own. However, until recently we have only
been able to probe the upper range of the planet size distribution. The high
precision of the Kepler space telescope has allowed us to detect planets that
are the size of Earth and somewhat smaller, but no previous planets have been
found that are smaller than those we see in our own Solar System. Here we
report the discovery of a planet significantly smaller than Mercury. This tiny
planet is the innermost of three planets that orbit the Sun-like host star,
which we have designated Kepler-37. Owing to its extremely small size, similar
to that of Earth's Moon, and highly irradiated surface, Kepler-37b is probably
a rocky planet with no atmosphere or water, similar to Mercury.Comment: Accepted and published in Nature (2013 Feb 28). This is the submitted
version of paper, merged with the Supplementary Informatio
Effect of moderate to high intensity aerobic exercise on blood pressure in young adults : the TEPHRA open, two-arm, parallel superiority randomized clinical trial
Background
Exercise is advised for young adults with elevated blood pressure, but no trials have investigated efficacy at this age. We aimed to determine whether aerobic exercise, self-monitoring and motivational coaching lowers blood pressure in this group.
Methods
The study was a single-centre, open, two-arm, parallel superiority randomized clinical trial with open community-based recruitment of physically-inactive 18–35 year old adults with awake 24 h blood pressure 115/75mmHg-159/99 mmHg and BMI37 weeks) to the intervention group, who received 16-weeks aerobic exercise training (three aerobic training sessions per week of 60 min per session at 60–80% peak heart rate, physical activity self-monitoring with encouragement to do 10,000 steps per day and motivational coaching to maintain physical activity upon completion of the intervention. The control group were sign-posted to educational materials on hypertension and recommended lifestyle behaviours. Investigators performing statistical analyses were blinded to group allocation. The primary outcome was 24 h awake ambulatory blood pressure (systolic and diastolic) change from baseline to 16-weeks on an intention-to-treat basis. Clinicaltrials.gov registered on March 30, 2016 (NCT02723552).
Findings
Enrolment occurred between 30/06/2016-26/10/2018. Amongst the 203 randomized young adults (n = 102 in the intervention group; n = 101 in the control group), 178 (88%; n = 76 intervention group, n = 84 control group) completed 16-week follow-up and 160 (79%; n = 68 intervention group, n = 69 control group) completed 52-weeks follow-up. There were no group differences in awake systolic (0·0 mmHg [95%CI, -2·9 to 2·8]; P = 0·98) or awake diastolic ambulatory blood pressure (0·6 mmHg [95%CI, -1·4. to 2·6]; P = 0·58). Aerobic training increased peak oxygen uptake (2·8 ml/kg/min [95%CI, 1·6 to 4·0]) and peak wattage (14·2watts [95%CI, 7·6 to 20·9]) at 16-weeks. There were no intervention effects at 52-weeks follow-up.
Intepretation
These results do not support the exclusive use of moderate to high intensity aerobic exercise training for blood pressure control in young adults.
Funding
Wellcome Trust, British Heart Foundation, National Institute for Health Research, Oxford Biomedical Research Centre
Evaluation of presumably disease causing SCN1A variants in a cohort of common epilepsy syndromes
Objective: The SCN1A gene, coding for the voltage-gated Na+ channel alpha subunit NaV1.1, is the clinically most relevant epilepsy gene. With the advent of high-throughput next-generation sequencing, clinical laboratories are generating an ever-increasing catalogue of SCN1A variants. Variants are more likely to be classified as pathogenic if they have already been identified previously in a patient with epilepsy. Here, we critically re-evaluate the pathogenicity of this class of variants in a cohort of patients with common epilepsy syndromes and subsequently ask whether a significant fraction of benign variants have been misclassified as pathogenic. Methods: We screened a discovery cohort of 448 patients with a broad range of common genetic epilepsies and 734 controls for previously reported SCN1A mutations that were assumed to be disease causing. We re-evaluated the evidence for pathogenicity of the identified variants using in silico predictions, segregation, original reports, available functional data and assessment of allele frequencies in healthy individuals as well as in a follow up cohort of 777 patients. Results and Interpretation: We identified 8 known missense mutations, previously reported as path
Genome-wide association analysis of genetic generalized epilepsies implicates susceptibility loci at 1q43, 2p16.1, 2q22.3 and 17q21.32
Genetic generalized epilepsies (GGEs) have a lifetime prevalence of 0.3% and account for 20-30% of all epilepsies. Despite their high heritability of 80%, the genetic factors predisposing to GGEs remain elusive. To identify susceptibility variants shared across common GGE syndromes, we carried out a two-stage genome-wide association study (GWAS) including 3020 patients with GGEs and 3954 controls of European ancestry. To dissect out syndrome-related variants, we also explored two distinct GGE subgroups comprising 1434 patients with genetic absence epilepsies (GAEs) and 1134 patients with juvenile myoclonic epilepsy (JME). Joint Stage-1 and 2 analyses revealed genome-wide significant associations for GGEs at 2p16.1 (rs13026414, Pmeta = 2.5 × 10−9, OR[T] = 0.81) and 17q21.32 (rs72823592, Pmeta = 9.3 × 10−9, OR[A] = 0.77). The search for syndrome-related susceptibility alleles identified significant associations for GAEs at 2q22.3 (rs10496964, Pmeta = 9.1 × 10−9, OR[T] = 0.68) and at 1q43 for JME (rs12059546, Pmeta = 4.1 × 10−8, OR[G] = 1.42). Suggestive evidence for an association with GGEs was found in the region 2q24.3 (rs11890028, Pmeta = 4.0 × 10−6) nearby the SCN1A gene, which is currently the gene with the largest number of known epilepsy-related mutations. The associated regions harbor high-ranking candidate genes: CHRM3 at 1q43, VRK2 at 2p16.1, ZEB2 at 2q22.3, SCN1A at 2q24.3 and PNPO at 17q21.32. Further replication efforts are necessary to elucidate whether these positional candidate genes contribute to the heritability of the common GGE syndrome
- …