Rational Partial Choice Functions and Their Application to Belief Revision.

Necessary and sufficient conditions for choice functions to be rational have been intensively studied in the past. However, in these attempts, a choice function is completely specified. That is, given any subset of options, called an issue, the best option over that issue is always known, whilst in real-world scenarios, it is very often that only a few choices are known instead of all. In this paper, we study partial choice functions and investigate necessary and sufficient rationality conditions for situations where only a few choices are known. We prove that our necessary and sufficient condition for partial choice functions boils down to the necessary and sufficient conditions for complete choice functions proposed in the literature. Choice functions have been instrumental in belief revision theory. That is, in most approaches to belief revision, the problem studied can simply be described as the choice of possible worlds compatible with the input information, given an agent’s prior belief state. The main effort has been to devise strategies in order to infer the agents revised belief state. Our study considers the converse problem: given a collection of input information items and their corresponding revision results (as provided by an agent), does there exist a rational revision operation used by the agent and a consistent belief state that may explain the observed results?

Hardware Software Interface: a Strategy for the implementation of Urban Agriculture

This paper describes how urban agriculture differs from conventional agriculture not only in the way it engages with the technologies of growing, but also in the choice of crop and the way these are brought to market. The authors propose a new model for understanding these new relationships, which is analogous to a systems view of information technology, namely Hardware-Software- Interface.
The first component of the system is hardware. This is the technological component of the agricultural system. Technology is often thought of as equipment, but its linguistic roots are in ‘technis’ which means ‘know how’. Urban agriculture has to engage new technologies, ones that deal with the scale of operation and its context which is different than rural agriculture. Often the scale is very small, and soils are polluted. There this technology in agriculture could be technical such as aquaponic systems, or could be soil-based agriculture such as allotments, window-boxes, or permaculture. The choice of method does not necessarily determine the crop produced or its efficiency. This is linked to the biotic that is added to the hardware, which is seen as the ‘software’.
The software of the system are the ecological parts of the system. These produce the crop which may or may not be determined by the technology used. For example, a hydroponic system could produce a range of crops, or even fish or edible flowers. Software choice can be driven by ideological preferences such as permaculture, where companion planting is used to reduce disease and pests, or by economic factors such as the local market at a particular time of the year. The monetary value of the ‘software’ is determined by the market. Obviously small, locally produced crops are unlikely to compete against intensive products produced globally, however the value locally might be measured in different ways, and might be sold on a different market. This leads to the final part of the analogy - interface.
The interface is the link between the system and the consumer. In traditional agriculture, there is a tenuous link between the producer of asparagus in Peru and the consumer in Europe. In fact very little of the money spent by the consumer ever reaches the grower. Most of the money is spent on refrigeration, transport and profit for agents and supermarket chains. Local or hyper-local agriculture needs to bypass or circumvent these systems, and be connected more directly to the consumer. This is the interface. In hyper-localised systems effectiveness is often more important than efficiency, and direct links between producer and consumer create new economies.

Participatory Sonic Arts: towards a socially engaged art of sound in the everyday (The Som da Maré Project)

Participatory and socially engaged art practices have, for a couple of decades, emerged a myriad of aesthetic and methodological strategies across different media. These are artistic practices that have a primary interest in participation, affecting social dynamics, dialogue and at times political activism. Nato Thompson in “Living Form: Socially Engaged Art from 1991-2011” surveys these
practices, which range from theatre to urban planning, visual art to healthcare. Linked to notions such as relational aesthetics (Bourriaud, 1998), community art and public art, socially engaged art often focuses on the development of a sense of ownership by the part of participants. If an artist is working truly collaboratively with participants and addressing the reality of a particular community, the long-term effect of a project lies in the process of engagement as well as in the artwork itself. Projects by New York based artist Pablo Helguera, for example, use different media to engage with social inequalities through participative action while rejecting the notion of art for art sake.

“Socially engaged art functions by attaching itself to subjects and problems that normally belong to other disciplines, moving them temporarily into a space of ambiguity. It is this temporary snatching away of subjects into the realm of art-making that brings new insights to a particular problem or condition and in turn makes it visible to other disciplines.” (Helguera, 2011)

Socially engaged practices develop the notion of artwork about or by a community, to work of a community. In this chapter we address how socially engaged, participatory approaches can form a context for the sonic arts, arguably less explored than practices such as theatre and performance art. The use of sound is clearly present in a wide range of socially engaged work (e.g. Helguera’s “Aelia Media” enabling a nomadic radio station in Bologna or Maria Andueza “Immigrant Sounds – Res(on)Art (Stockholm)” exploring ways of sonically resonating a city, or Sue MacCauley’s “The Housing Project” addressing ways of representing the views of urban dwellers on public scape through sound art. It is nevertheless rare to encounter projects which take our experience of sound in the everyday as a trigger for community social engagement in a participatory context.
We address concepts and methodologies behind the project Som da Maré, a participatory sonic arts project in the favelas of Maré, Rio de Janeiro.

Hole-making Process and Its impacts on the Fatigue Response of Ti -6Al-4V Aircraft Alloy

In this work, the impact of conventional drilling and helical milling processes on the fatigue response Ti-6Al-4V (grade 5 titanium alloy) has been presented. Results show that the work pieces produced by helical milling has a 119% longer fatigue life compared with the drilled pieces under dry machining condition, and a 96% longer fatigue life for helical milled piece under lubricated condition. The use of cutting fluid has led to longer fatigue lives – 15% longer for drilling and 3% longer for helical milling. Other results such as the machined surface roughness, alloy surface and sub-surface microstructures have also been studied in details.

Breaking and Entering: Examining the role of stress and aerial exposure in predator-prey relationships between the common shore crab (Carcinus maenas) and cultivated blue mussels (Mytilus edulis).

During benthic cultivation Mytilus edulis (blue mussels) are subject to predation pressure from a number of predators including Carcinus maenas (shore crabs). This predator can be responsible for substantial losses of mussels from the fishery and a full understanding of the predator–prey relationship between M. edulis and C. maenas is required to ensure attempts that reduce predatory pressure and subsequent commercial loss are successful. Whilst much work has examined the prey–predator size relationships between C. maenas and M. edulis, far less research has investigated how stress, such as periods of extended aerial exposure, may affect these relationships. We tested whether profit in terms of calories gained by crabs consuming mussels stressed by aerial exposure for 48 h differed from that of mussels at ambient conditions and whether being stressed affected the mussel's likelihood of predation. We also tested whether the size relationship between predators and their prey differed when mussels were stressed. We found that the profitability of prey (calories gained per second of handling time) did not vary between stressed and unstressed mussels. Handling times for stressed and unstressed mussels were similar, even when crabs were presented with mussels of the maximum size that they are able to consume. Small crabs were more likely to reject a mussel of preferred size if it was unstressed, suggesting that crabs may be able to assess that these mussels would require extra effort to break into and consume. Our findings suggest that the predator–prey relationship between mussels and crabs is not altered when mussels are stressed. C. maenas remains a voracious predator and regardless of the condition of mussels laid on commercial beds there is a need to control this predator in attempt to reduce losses in the benthic fishery.

Injection locked oscillator lock detector

A simple circuit that is able to indicate if an injection-locked oscillator is in the locked condition by providing a ‘high’ or ‘low’ output is presented. The detector is compatible with most injection-locked oscillators as all that is required is access to the low-frequency bias circuit, with no direct access needed to the RF/microwave signals. To prove the universal nature of the lock detector it is successfully demonstrated practically for two scenarios: (i) a 1 GHz injection-locked VCO and (ii) a 60 GHz SiGe VCO MMIC.

A Fast Algorithm for Sparse Support Vector Machines for Mobile Computing Applications

This research presents a fast algorithm for projected support vector machines (PSVM) by selecting a basis vector set (BVS) for the kernel-induced feature space, the training points are projected onto the subspace spanned by the selected BVS. A standard linear support vector machine (SVM) is then produced in the subspace with the projected training points. As the dimension of the subspace is determined by the size of the selected basis vector set, the size of the produced SVM expansion can be specified. A two-stage algorithm is derived which selects and refines the basis vector set achieving a locally optimal model. The model expansion coefficients and bias are updated recursively for increase and decrease in the basis set and support vector set. The condition for a point to be classed as outside the current basis vector and selected as a new basis vector is derived and embedded in the recursive procedure. This guarantees the linear independence of the produced basis set. The proposed algorithm is tested and compared with an existing sparse primal SVM (SpSVM) and a standard SVM (LibSVM) on seven public benchmark classification problems. Our new algorithm is designed for use in the application area of human activity recognition using smart devices and embedded sensors where their sometimes limited memory and processing resources must be exploited to the full and the more robust and accurate the classification the more satisfied the user. Experimental results demonstrate the effectiveness and efficiency of the proposed algorithm. This work builds upon a previously published algorithm specifically created for activity recognition within mobile applications for the EU Haptimap project [1]. The algorithms detailed in this paper are more memory and resource efficient making them suitable for use with bigger data sets and more easily trained SVMs.

Biocontrol agents promote growth of potato pathogens, depending on environmental conditions

There is a pressing need to understand and optimize biological control so as to avoid over-reliance on the synthetic chemical pesticides that can damage environmental and human health. This study focused on interactions between a novel biocontrol-strain, Bacillus sp. JC12GB43, and potato-pathogenic Phytophthora and Fusarium species. In assays carried out in vitro and on the potato tuber, the bacterium was capable of near-complete inhibition of pathogens. This Bacillus was sufficiently xerotolerant (water activity limit for growth = 0.928) to out-perform Phytophthora infestans (~0.960) and challenge Fusarium coeruleum (~0.847) and Fusarium sambucinum (~0.860) towards the lower limits of their growth windows. Under some conditions, however, strain JC12GB43 stimulated proliferation of the pathogens: for instance, Fusarium coeruleum growth-rate was increased under chaotropic conditions in vitro (132 mM urea) by >100% and on tubers (2-M glycerol) by up to 570%. Culture-based assays involving macromolecule-stabilizing (kosmotropic) compatible solutes provided proof-of-principle that the Bacillus may provide kosmotropic metabolites to the plant pathogen under conditions that destabilize macromolecular systems of the fungal cell. Whilst unprecedented, this finding is consistent with earlier reports that fungi can utilize metabolites derived from bacterial cells. Unless the antimicrobial activities of candidate biocontrol strains are assayed over a full range of field-relevant parameters, biocontrol agents may promote plant pathogen infections and thereby reduce crop yields. These findings indicate that biocontrol activity, therefore, ought to be regarded as a mode-of-behaviour (dependent on prevailing conditions) rather than an inherent property of a bacterial strain.

Experimental Saltwater Intrusion in Coastal aquifers Using Automated Image Analysis: Applications to Homogeneous Aquifers.

This paper presents the applications of a novel methodology to quantify saltwater intrusion parameters in laboratory-scale experiments. The methodology uses an automated image analysis procedure, minimizing manual inputs and the subsequent systematic errors that can be introduced. This allowed the quantification of the width of the mixing zone which is difficult to measure in experimental methods that are based on visual observations. Glass beads of different grain sizes were tested for both steady-state and transient conditions. The transient results showed good correlation between experimental and numerical intrusion rates. The experimental intrusion rates revealed that the saltwater wedge reached a steady state condition sooner while receding than advancing. The hydrodynamics of the experimental mixing zone exhibited similar
traits; a greater increase in the width of the mixing zone was observed in the receding saltwater wedge, which indicates faster fluid velocities and higher dispersion. The angle of intrusion analysis revealed the formation of a volume of diluted saltwater at the toe position when the saltwater wedge is prompted to recede. In addition, results of different physical repeats of the experiment produced an average coefficient of variation less than 0.18 of the measured toe length and width of the mixing zone.

Time-lapse monitoring of fluid induced geophysical property variations within an unstable earthwork using P-wave refraction

A significant portion of the UK’s transportation system relies on a network of geotechnical earthworks (cuttings and embankments) that were constructed more than 100 years ago, whose stability is affected by the change in precipitation patterns experienced over the past few decades. The vulnerability of these structures requires a reliable, cost- and time-effective monitoring of their geomechanical condition. We have assessed the potential application of P-wave refraction for tracking the seasonal variations of seismic properties within an aged clay-filled railway embankment, located in southwest England. Seismic data were acquired repeatedly along the crest of the earthwork at regular time intervals, for a total period of 16 months. P-wave first-break times were picked from all available recorded traces, to obtain a set of hodocrones referenced to the same spatial locations, for various dates along the surveyed period of time. Traveltimes extracted from each acquisition were then compared to track the pattern of their temporal variability. The relevance of such variations over time was compared with the data experimental uncertainty. The multiple set of hodocrones was subsequently inverted using a tomographic approach, to retrieve a time-lapse model of VPVP for the embankment structure. To directly compare the reconstructed VPVP sections, identical initial models and spatial regularization were used for the inversion of all available data sets. A consistent temporal trend for P-wave traveltimes, and consequently for the reconstructed VPVP models, was identified. This pattern could be related to the seasonal distribution of precipitation and soil-water content measured on site.

Development of a new welfare assessment protocol for practical application in long-term dog shelters

In many European shelters, dogs may spend many years confined. A poor environment and inappropriate management may lead to a low quality of life. The absence of harmonised European regulatory frameworks defining the minimum requirements for shelter facilities makes the definition of welfare standards for kennelled dogs challenging. Here, a new protocol was developed and tested to help identify the main welfare issues for shelter dogs. Twenty-six indicators were identified including management, resource and animal based measures. Accuracy and interobserver reliability were checked between four assessors. The protocol was applied in 29 shelters (n=1308 dogs) in six European countries. Overall prevalence of poor health conditions was below 10%. Test-retest reliability and validity of the protocol were investigated with encouraging results. A logistic regression was carried out to assess the potential of the protocol as a tool to identify welfare hazards in shelter environments. Inappropriate space allowance, for example, was found to be a risk factor potentially affecting the animal's cleanliness, skin condition and body condition. The protocol was designed to be concise and easy to implement. Systematic data collection could help identify welfare problems that are likely to arise in certain shelter designs and thus determine improvement in animal care standards.

Comorbidity in severe asthma requiring systemic corticosteroid therapy: cross-sectional data from the Optimum Patient Care Research Database and the British Thoracic Difficult Asthma Registry

Objective: To determine the prevalence of systemic corticosteroid-induced morbidity in severe asthma.
Design: Cross-sectional observational study.Setting The primary care Optimum Patient Care Research Database and the British Thoracic Society Difficult Asthma Registry.
Participants: Optimum Patient Care Research Database (7195 subjects in three age- and gender-matched groups)—severe asthma (Global Initiative for Asthma (GINA) treatment step 5 with four or more prescriptions/year of oral corticosteroids, n=808), mild/moderate asthma (GINA treatment step 2/3, n=3975) and non-asthma controls (n=2412). 770 subjects with severe asthma from the British Thoracic Society Difficult Asthma Registry (442 receiving daily oral corticosteroids to maintain disease control).
Main outcome measures: Prevalence rates of morbidities associated with systemic steroid exposure were evaluated and reported separately for each group.
Results: 748/808 (93%) subjects with severe asthma had one or more condition linked to systemic corticosteroid exposure (mild/moderate asthma 3109/3975 (78%), non-asthma controls 1548/2412 (64%); p<0.001 for severe asthma versus non-asthma controls). Compared with mild/moderate asthma, morbidity rates for severe asthma were significantly higher for conditions associated with systemic steroid exposure (type II diabetes 10% vs 7%, OR=1.46 (95% CI 1.11 to 1.91), p<0.01; osteoporosis 16% vs 4%, OR=5.23, (95% CI 3.97 to 6.89), p<0.001; dyspeptic disorders (including gastric/duodenal ulceration) 65% vs 34%, OR=3.99, (95% CI 3.37 to 4.72), p<0.001; cataracts 9% vs 5%, OR=1.89, (95% CI 1.39 to 2.56), p<0.001). In the British Thoracic Society Difficult Asthma Registry similar prevalence rates were found, although, additionally, high rates of osteopenia (35%) and obstructive sleep apnoea (11%) were identified.

Conclusions: Oral corticosteroid-related adverse events are common in severe asthma. New treatments which reduce exposure to oral corticosteroids may reduce the prevalence of these conditions and this should be considered in cost-effectiveness analyses of these new treatments.

Insight into CO Activation over Cu(100) under Electrochemical Conditions

The reduction of CO₂ on copper electrodes has attracted great attentions in the last decades, since it provides a sustainable approach for energy restore. During the CO₂ reduction process, the electron transfer to CO_ads is experimentally suggested to be the crucial step. In this work, we examine two possible pathways in CO activation, i.e. to generate COH_ads and CHO_ads, respectively, by performing the state-of-the-art constrained ab initio molecular dynamics simulations on the charged Cu(100) electrode under aqueous conditions, which is close to the realistic electrochemical condition. The free energy profile in the formation of COH_ads via the coupled proton and electron transfer is plotted. Furthermore, by Bader charge analyses, a linear relationship between C-O bond distance and the negative charge in CO fragment is unveiled. The formation of CHO_ads is identified to be a surface catalytic reaction, which requires the adsorption of H atom on the surface first. By comparing these two pathways, we demonstrate that kinetically the formation of COH_ads is more favored than that of CHO_ads, while CHO_ads is thermodynamically more stable. This work reveals that CO activation via COH_ads intermediate is an important pathway in electrocatalysis, which could provide some insights into CO₂ electroreduction over Cu electrodes.

Exploiting Direct Links for Physical Layer Security in Multi-User Multi-Relay Networks

We present two physical layer secure transmission schemes for multi-user multi-relay networks, where the communication from M users to the base station is assisted by direct links and by N decode-and-forward relays. In this network, we consider that a passive eavesdropper exists to overhear the transmitted information, which entails exploiting the advantages of both direct and relay links for physical layer security enhancement. To fulfill this requirement, we investigate two criteria for user and relay selection and examine the achievable secrecy performance. Criterion I performs a joint user and relay selection, while Criterion II performs separate user and relay selections, with a lower implementation complexity. We derive a tight lower bound on the secrecy outage probability for Criterion I and an accurate analytical expression for the secrecy outage probability for Criterion II. We further derive the asymptotic secrecy outage probabilities at high transmit signal-to-noise ratios and high main-to-eavesdropper ratios for both criteria. We demonstrate that the secrecy diversity order is min (MN, M + N) for Criterion I, and N for Criterion II. Finally, we present numerical and simulation results to validate the proposed analysis, and show the occurrence condition of the secrecy outage probability floor