2,904 research outputs found
Overview of organic agriculture
The acquisition of food, textiles and other resources from plants and animals has been a major concern for human societies, from the earliest days as hunter-gathers, through pastoral and swidden phases, to agrarian societies, with an associated trend away from nomadic to sedentary lifestyles. Yet as agricultural production intensified and expanded, the negative effects on the underlying resource base have also increased. The history of environmental damage caused by agriculture is well documented; impacts include air pollution from greenhouse gases such as carbon dioxide, methane, nitrous oxide; land degradation as a result of clearing, cultivation of sloping land and salinity; water pollution from fertilisers, pesticides, overuse and wetland draining; and the loss of biological and ecological diversity (Norse and Tschirley 2003). In the area of conventional weed science, for example, considerable attention has been placed on herbicides but this has not achieved a long-term decline in agricultural weed populations. Instead, farmers have become dependant on herbicides as widespread resistance in a range of weed species has emerged (Gill 2002)
A Friendly Introduction to Mathematical Logic
At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In this expansion of Leary’s user-friendly 1st edition, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study. Updating the 1st Edition’s treatment of languages, structures, and deductions, leading to rigorous proofs of Gödel’s First and Second Incompleteness Theorems, the expanded 2nd Edition includes a new introduction to incompleteness through computability as well as solutions to selected exercises. Available on Lulu.com, IndiBound.com, and Amazon.com, as well as wholesale through Ingram Content Group.https://knightscholar.geneseo.edu/geneseo-authors/1005/thumbnail.jp
The Power of Non-Determinism in Higher-Order Implicit Complexity
We investigate the power of non-determinism in purely functional programming
languages with higher-order types. Specifically, we consider cons-free programs
of varying data orders, equipped with explicit non-deterministic choice.
Cons-freeness roughly means that data constructors cannot occur in function
bodies and all manipulation of storage space thus has to happen indirectly
using the call stack.
While cons-free programs have previously been used by several authors to
characterise complexity classes, the work on non-deterministic programs has
almost exclusively considered programs of data order 0. Previous work has shown
that adding explicit non-determinism to cons-free programs taking data of order
0 does not increase expressivity; we prove that this - dramatically - is not
the case for higher data orders: adding non-determinism to programs with data
order at least 1 allows for a characterisation of the entire class of
elementary-time decidable sets.
Finally we show how, even with non-deterministic choice, the original
hierarchy of characterisations is restored by imposing different restrictions.Comment: pre-edition version of a paper accepted for publication at ESOP'1
Recommended from our members
Impact of Molecular Architecture and Adsorption Density on Adhesion of Mussel-Inspired Surface Primers with Catechol-Cation Synergy.
Marine mussels secrete proteins rich in residues containing catechols and cationic amines that displace hydration layers and adhere to charged surfaces under water via a cooperative binding effect known as catechol-cation synergy. Mussel-inspired adhesives containing paired catechol and cationic functionalities are a promising class of materials for biomedical applications, but few studies address the molecular adhesion mechanism(s) of these materials. To determine whether intramolecular adjacency of these functionalities is necessary for robust adhesion, a suite of siderophore analog surface primers was synthesized with systematic variations in intramolecular spacing between catechol and cationic functionalities. Adhesion measurements conducted with a surface forces apparatus (SFA) allow adhesive failure to be distinguished from cohesive failure and show that the failure mode depends critically on the siderophore analog adsorption density. The adhesion of these molecules to muscovite mica in an aqueous electrolyte solution demonstrates that direct intramolecular adjacency of catechol and cationic functionalities is not necessary for synergistic binding. However, we show that increasing the catechol-cation spacing by incorporating nonbinding domains results in decreased adhesion, which we attribute to a decrease in the density of catechol functionalities. A mechanism for catechol-cation synergy is proposed based on electrostatically driven adsorption and subsequent binding of catechol functionalities. This work should guide the design of new adhesives for binding to charged surfaces in saline environments
The translational potential of microRNAs as biofluid markers of urological tumours
MicroRNAs (miRNAs) are secreted by cells in vesicles, bound in a ribonucleoprotein complex or as free molecules. These miRNA secretion pathways are dysregulated in cancer, making miRNAs attractive candidate molecules for liquid biopsies. A number of studies have investigated the regulation of miRNA secretion into blood and urine and suggested that miRNAs are noninvasive diagnostic, prognostic and surveillance markers in urological carcinomas, and research in this area has increased over the past 5 years. However, methodological and analytical pitfalls exist and require addressing to enable future translation of the laboratory findings regarding miRNAs as biomarkers into clinical practice in bladder cancer, kidney cancer, prostate cancer and testicular cancer
On the use of blow up to study regularizations of singularities of piecewise smooth dynamical systems in
In this paper we use the blow up method of Dumortier and Roussarie
\cite{dumortier_1991,dumortier_1993,dumortier_1996}, in the formulation due to
Krupa and Szmolyan \cite{krupa_extending_2001}, to study the regularization of
singularities of piecewise smooth dynamical systems
\cite{filippov1988differential} in . Using the regularization
method of Sotomayor and Teixeira \cite{Sotomayor96}, first we demonstrate the
power of our approach by considering the case of a fold line. We quickly
recover a main result of Bonet and Seara \cite{reves_regularization_2014} in a
simple manner. Then, for the two-fold singularity, we show that the regularized
system only fully retains the features of the singular canards in the piecewise
smooth system in the cases when the sliding region does not include a full
sector of singular canards. In particular, we show that every locally unique
primary singular canard persists the regularizing perturbation. For the case of
a sector of primary singular canards, we show that the regularized system
contains a canard, provided a certain non-resonance condition holds. Finally,
we provide numerical evidence for the existence of secondary canards near
resonance.Comment: To appear in SIAM Journal of Applied Dynamical System
Recommended from our members
Automated Measurement of Spatially Resolved Hair-Hair Single Fiber Adhesion.
The adhesion force between individual human hair fibers in a crosshair geometry was measured by observing their natural bending and adhesive jumps out of contact, using optical video microscopy. The hair fibers' natural elastic responses, calibrated by measuring their natural resonant frequencies, were used to measure the forces. Using a custom-designed, automated apparatus to measure thousands of individual hair-hair contacts along millimeter length scales of hair, it was found that a broad, yet characteristic, spatially variant distribution in adhesion force is measured on the 1 to 1000 nN scale for both clean and conditioner-treated hair fibers. Comparison between the measured adhesion forces and adhesion forces modeled from the hairs' surface topography (measured using confocal laser profilometry) shows they have a good order-of-magnitude agreement and have similar breadth and shape. The agreement between the measurements and the model suggests, perhaps unsurprisingly, that hair-hair adhesion is governed, to a first approximation, by the unique surface structure of the hairs' cuticles and, therefore, the large distribution in local mean curvature at the various individual contact points along the hairs' lengths. We posit that haircare products could best control the surface properties (or at least the adhesive properties) between hairs by directly modifying the hair surface microstructure
Recommended from our members
Time-Dependent Physicochemical Changes of Carbonate Surfaces from SmartWater (Diluted Seawater) Flooding Processes for Improved Oil Recovery.
Over the past few decades, field- and laboratory-scale studies have shown enhancements in oil recovery when reservoirs, which contain high-salinity formation water (FW), are waterflooded with modified-salinity salt water (widely referred to as the low-salinity, dilution, or SmartWater effect for improved oil recovery). In this study, we investigated the time dependence of the physicochemical processes that occur during diluted seawater (i.e., SmartWater) waterflooding processes of specific relevance to carbonate oil reservoirs. We measured the changes to oil/water/rock wettability, surface roughness, and surface chemical composition during SmartWater flooding using 10-fold-diluted seawater under mimicked oil reservoir conditions with calcite and carbonate reservoir rocks. Distinct effects due to SmartWater flooding were observed and found to occur on two different timescales: (1) a rapid (<15 min) increase in the colloidal electrostatic double-layer repulsion between the rock and oil across the SmartWater, leading to a decreased oil/water/rock adhesion energy and thus increased water wetness and (2) slower (>12 h to complete) physicochemical changes of the calcite and carbonate reservoir rock surfaces, including surface roughening via the dissolution of rock and the reprecipitation of dissolved carbonate species after exchanging key ions (Ca2+, Mg2+, CO32-, and SO42- in carbonates) with those in the flooding SmartWater. Our experiments using crude oil from a carbonate reservoir reveal that these reservoir rock surfaces are covered with organic-ionic preadsorbed films (ad-layers), which the SmartWater removes (detaches) as flakes. Removal of the organic-ionic ad-layers by SmartWater flooding enhances oil release from the surfaces, which was found to be critical to increasing the water wetness and significantly improving oil removal from carbonates. Additionally, the increase in water wetness is further enhanced by roughening of the rock surfaces, which decreases the effective contact (interaction) area between the oil and rock interfaces. Furthermore, we found that the rate of these slower physicochemical changes to the carbonate rock surfaces increases with increasing temperature (at least up to an experimental temperature of 75 °C). Our results suggest that the effectiveness of improved oil recovery from SmartWater flooding depends strongly on the formation of the organic-ionic ad-layers. In oil reservoirs where the ad-layer is fully developed and robust, injecting SmartWater would lead to significant removal of the ad-layer and improved oil recovery
Spontaneous Magnetisation in a Quantum Wire
An existence of predominant symmetrical spin configuration (spin polarised
phase) and "diluted" density of states (pseudo-gap) in a layer under the Fermi
level in a quantum wire is predicted. The condition of cross-over from
non-polarised phase to polarised one was derived. The transition occurs for
sufficiently low electron density in a wire and is accompanied by an acute
decrease of electron density of states near the Fermi level.It may result in a
corresponding decrease of conductance. A similar effect may exist in a
two-dimensional electron gas.Comment: 8 pages, 1 figur
- …