2,358 research outputs found
Human Centered Design of an Open-Drum, Treadle Thresher for Quinoa Farmers in the Andes of Northern Peru
Growing international demand for quinoa in recent years has led to increased production throughout its South American range, including the Peruvian Andes. Small-scale farmers, who are among the poorest Peruvians, are increasingly growing quinoa for both food security and economic benefit; however, manual harvesting activities, such as threshing, are labor-intensive and time-consuming. This report documents the design, construction and operation of prototype quinoa thresher in a rural village in Northern Peru. In addition, an overview of the history and evolutionary approach to design for the developing world is presented. From this overview, a series of criteria is considered for the design of desirable products for the developing world, including iterative improvement of prototypes. Finally, through the lens these criteria, improvements upon the prototype quinoa thresher are proposed to enhance the likelihood of adoption by Peruvian farmers
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
This research started with an algebra for reasoning about rely/guarantee
concurrency for a shared memory model. The approach taken led to a more
abstract algebra of atomic steps, in which atomic steps synchronise (rather
than interleave) when composed in parallel. The algebra of rely/guarantee
concurrency then becomes an instantiation of the more abstract algebra. Many of
the core properties needed for rely/guarantee reasoning can be shown to hold in
the abstract algebra where their proofs are simpler and hence allow a higher
degree of automation. The algebra has been encoded in Isabelle/HOL to provide a
basis for tool support for program verification.
In rely/guarantee concurrency, programs are specified to guarantee certain
behaviours until assumptions about the behaviour of their environment are
violated. When assumptions are violated, program behaviour is unconstrained
(aborting), and guarantees need no longer hold. To support these guarantees a
second synchronous operator, weak conjunction, was introduced: both processes
in a weak conjunction must agree to take each atomic step, unless one aborts in
which case the whole aborts. In developing the laws for parallel and weak
conjunction we found many properties were shared by the operators and that the
proofs of many laws were essentially the same. This insight led to the idea of
generalising synchronisation to an abstract operator with only the axioms that
are shared by the parallel and weak conjunction operator, so that those two
operators can be viewed as instantiations of the abstract synchronisation
operator. The main differences between parallel and weak conjunction are how
they combine individual atomic steps; that is left open in the axioms for the
abstract operator.Comment: Extended version of a Formal Methods 2016 paper, "An algebra of
synchronous atomic steps
Refinement of higher-order logic programs
A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we extend the refinement calculus for logic programs to include higher-order programming capabilities in specifications and programs, such as procedures as terms and lambda abstraction. We use a higher-order type and term system to describe programs, and provide a semantics for the higher-order language and refinement. The calculus is illustrated by refinement examples
The identity, distribution, and impacts of non-native apple snails in the continental United States
<p>Abstract</p> <p>Background</p> <p>Since the mid 1990s populations of non-native apple snails (Ampullariidae) have been discovered with increasing frequency in the continental United States. Given the dramatic effects that introduced apple snails have had on both natural habitats and agricultural areas in Southeast Asia, their introduction to the mainland U.S. is cause for concern. We combine phylogenetic analyses of mtDNA sequences with examination of introduced populations and museum collections to clarify the identities, introduced distributions, geographical origins, and introduction histories of apple snails.</p> <p>Results</p> <p>Based on sampling to date, we conclude there are five species of non-native apple snails in the continental U.S. Most significantly, we recognize three species within what has been called the channeled apple snail: <it>Pomacea canaliculata </it>(California and Arizona), <it>Pomacea insularum</it>, (Florida, Texas, and Georgia) and <it>Pomacea haustrum </it>(Florida). The first established populations of <it>P. haustrum </it>were discovered in the late 1970s in Palm Beach County Florida, and have not spread appreciably in 30 years. In contrast, populations of <it>P. insularum </it>were established in Texas by 1989, in Florida by the mid to late 1990s, and in Georgia by 2005, and this species continues to spread rapidly. Most introduced <it>P. insularum </it>haplotypes are a close match to haplotypes from the RÃo Uruguay near Buenos Aires, indicating cold tolerance, with the potential to spread from Florida, Georgia, and Texas through Louisiana, Alabama, Mississippi, and South Carolina. <it>Pomacea canaliculata </it>populations were first discovered in California in 1997. Haplotypes of introduced <it>P. canaliculata </it>match native-range haplotypes from near Buenos Aires, Argentina, also indicating cold tolerance and the potential to establish farther north.</p> <p>Conclusion</p> <p>The term "channeled apple snail" is descriptive of a morphology found in many apple snail species. It does not identify a single species or a monophyletic group. Clarifying species identifications permits a more accurate assessment of introduction histories and distributions, and provides a very different picture of the tempo and pattern of invasions than was inferred when the three species with channeled sutures were considered one. Matching introduced and native-range haplotypes suggests the potential for range expansion, with implications for native aquatic ecosystems and species, agriculture, and human health.</p
PCR-Directed Formation of Viral Hybridsin Vitro
AbstractWhen constructing viruses that have desired hybrid phenotypes, anticipated difficulties include the nonviability of many, possibly most, of the hybrid genomes that can be constructed by incorporation of DNA fragments. Therefore, many different hybrid genomes may have to be constructed in order to find one that is viable. To perform this combinatorial work in a single experiment, we have used bacteriophage T7-infected cell extracts to transfer DNAin vitro.In an extract, we have incubated T7 DNA, together with DNA obtained by polymerase chain reaction (PCR) amplification of the gene (gene 17) for the tail fiber of the T7-related bacteriophage, T3. Afterin vitropackaging of DNA in the extract, hybrid progeny bacteriophage were detected by probing with a T3-specific oligonucleotide; hybrids are found at a frequency of 0.1%. By determination of the nucleotide sequence of the entire gene 17 of 14 independently isolated hybrids, both right and left ends of the PCR fragment are found to be truncated in all hybrids. For all 14 hybrids, the right end is in the same location; the left end is found at 3 different locations. The nonrandom location of the ends is explained by selection among different inserts for viability; that is, most of the hybrid genomes are nonviable. Some hybrids acquire from T3 the desirable phenotype of nonadherence to agarose gels during agarose gel electrophoresis
The Exercise and Sports Science Australia position statement: Exercise medicine in cancer management
Objectives: Since Exercise and Sports Science Australia (ESSA) first published its position statement on exercise guidelines for people with cancer, there has been exponential growth in research evaluating the role of exercise pre-, during and post-cancer treatment.
Design and Methods: The purpose of this report is to use the current scientific evidence, alongside clinical experience and exercise science principles to update ESSA’s position statement on cancer-specific exercise prescription.
Results: Reported in this position statement is a summary of the benefits accrued through exercise following a cancer diagnosis and the strengths and limitations of this evidence-base. An exercise prescription framework is then proposed to enable the application of cancer-specific considerations for individualisation, specificity, safety, feasibility and progression of exercise for all patients. Additional specific exercise prescription considerations are provided for the presence of haematological, musculoskeletal, systemic, cardiovascular, lymphatic, gastrointestinal, genitourinary and neurological disease- and treatment-related concerns, as well as presence of co-morbid chronic disease. Further, we also identify and discuss cancer-specific pragmatic issues and barriers requiring consideration for exercise prescription.
Conclusions: While for the majority, multimodal, moderate to high intensity exercise will be appropriate, there is no set prescription and total weekly dosage that would be considered evidence-based for all cancer patients. Targeted exercise prescription, which includes the provision of behaviour change advice and support, is needed to ensure greatest benefit (as defined by the patient) in the short and longer term, with low risk of harm
Producing energy while sequestering carbon? The relationship between biochar and agricultural productivity
A partial solution to problems associated with anthropogenic greenhouse gas (GHG) emissions could be the development and deployment of carbon-negative technologies, i.e., producing energy while reducing atmospheric carbon dioxide levels. Biofuels have been considered a possibility but have faced limitations due to competition with food production and GHG emissions through indirect land-use change (ILUC). In this article, we show how emissions from ILUC can potentially be reduced by producing food and bioenergy from biochar amended soils. The possibility of yield improvements from biochar would reduce the land requirement for crop production and thus, lead to a reduction in emissions from ILUC. In our application, biochar and bio-oil are produced via fast pyrolysis of corn stover. Bio-oil is subsequently upgraded into a fuel suitable for use in internal combustion engines. Applying the U.S. regulatory method used to determine biofuel life cycle emissions, our results show that a biochar-induced yield improvement in the U.S. Midwest ranging from 1% to 8% above trend can lead to an ILUC credit between 1.65 and 14.79 t CO2-equivalent ha−1 year−1 when future emissions are assessed over the next 30 years. The model is generalizable to other feedstocks and locations and illustrates the relationship between biochar and crop production
A novel cellular pathway of antigen presentation and CD4 T cell activation in vivo
Dendritic cell activation of CD4 T cells in the lymph node draining a site of infection or vaccination is widely considered the central event in initiating adaptive immunity. The accepted dogma is that this occurs by stimulating local activation and antigen acquisition by dendritic cells, with subsequent lymph node migration, however the generalizability of this mechanism is unclear. Here we show that in some circumstances antigen can bypass the injection site inflammatory response, draining freely and rapidly to the lymph nodes where it interacts with subcapsular sinus (SCS) macrophages resulting in their death. Debris from these dying SCS macrophages is internalized by monocytes recruited from the circulation. This coordinated response leads to antigen presentation by monocytes and interactions with naïve CD4 T cells that can drive the initiation of T cell and B cell responses. These studies demonstrate an entirely novel pathway leading to initiation of adaptive immune responses in vivo
Wide-Band/Dual-Band Packaged Antenna for 5-6 GHz WLAN Application
A wide-band/dual-band packaged antenna is proposed for wireless local-area network (WLAN) applications in the 5.15-5.35 GHz and 5.725-5.825 GHz frequency range. The antenna is internal to the housing of a personal digital assistant, such as a Palm organizer, and has the dimensions of 28 by 9 by 3 ram on an FR4 substrate. The antenna meets or exceeds the bandwidth requirements for the dual-band IEEE 802.11a WLAN applications (5.15-5.35 GHz and 5.725-5.825 GHz) within 2:1 voltage standing-wave ratio
Titan Science with the James Webb Space Telescope (JWST)
The James Webb Space Telescope (JWST), scheduled for launch in 2018, is the
successor to the Hubble Space Telescope (HST) but with a significantly larger
aperture (6.5 m) and advanced instrumentation focusing on infrared science
(0.6-28.0 m ). In this paper we examine the potential for scientific
investigation of Titan using JWST, primarily with three of the four
instruments: NIRSpec, NIRCam and MIRI, noting that science with NIRISS will be
complementary. Five core scientific themes are identified: (i) surface (ii)
tropospheric clouds (iii) tropospheric gases (iv) stratospheric composition and
(v) stratospheric hazes. We discuss each theme in depth, including the
scientific purpose, capabilities and limitations of the instrument suite, and
suggested observing schemes. We pay particular attention to saturation, which
is a problem for all three instruments, but may be alleviated for NIRCam
through use of selecting small sub-arrays of the detectors - sufficient to
encompass Titan, but with significantly faster read-out times. We find that
JWST has very significant potential for advancing Titan science, with a
spectral resolution exceeding the Cassini instrument suite at near-infrared
wavelengths, and a spatial resolution exceeding HST at the same wavelengths. In
particular, JWST will be valuable for time-domain monitoring of Titan, given a
five to ten year expected lifetime for the observatory, for example monitoring
the seasonal appearance of clouds. JWST observations in the post-Cassini period
will complement those of other large facilities such as HST, ALMA, SOFIA and
next-generation ground-based telescopes (TMT, GMT, EELT).Comment: 50 pages, including 22 figures and 2 table
- …