Training for an agricultural discrimination task

Skeleton weed, centaurea juncea, is a declared weed in Western Australia because it competes with grain crops for nutrients and moisture. When it is found during harvesting, mechanised teams search and eradicate it. In an earlier report of field trials (Hartley et al, 1989) it was reported that search teams' detection rate was poor and since search teams had usually never seen skeleton weeds, visual discrimination learning was to be expected and observed during searches. The present study investigated the nature of this discrimination learning in a laboratory by developing a training programme of colour photographic slides of weeds in stubble. Subjects receiving specific training with feedback on their performance compared with those receiving pseudo-training showed a significant improvement in detections. Subsequently the benefit of the programme was validated in a field trial.     

Experiences from Exporting Major Proof Assistant Libraries

The interoperability of proof assistants and the integration of their libraries is a highly valued but elusive goal in the field of theorem proving. As a preparatory step, in previous work, we translated the libraries of multiple proof assistants, specifically the ones of Coq, HOL Light, IMPS, Isabelle, Mizar, and PVS into a universal format: OMDoc/MMT. Each translation presented great theoretical, technical, and social challenges, some universal and some system-specific, some solvable and some still open. In this paper, we survey these challenges and compare and evaluate the solutions we chose. We believe similar library translations will be an essential part of any future system interoperability solution, and our experiences will prove valuable to others undertaking such efforts.

     

Valuation of online social networks taking into account users’ interconnectedness

Online social networks have been gaining increasing economic importance in light of the rising number of their users. Numerous recent acquisitions priced at enormous amounts have illustrated this development and revealed the need for adequate business valuation models. The value of an online social network is largely determined by the value of its users, the relationships between these users, and the resulting network effects. Therefore, the interconnectedness of a user within the network has to be considered explicitly to get a reasonable estimate for its economic value. Established standard business valuation models, however, do not account for these aspects sufficiently. Thus, we propose an economic model for the valuation of online social networks, which takes into account the users’ interconnectedness within the network. Furthermore, we analyze different centrality measures, which can be used to quantify users’ interconnectedness in online social networks and propose a measure which is based on the PageRank-algorithm. Finally, the practical application of the model is illustrated by an example of the European online social network XING.com.     

Synthesis and characterization of aromatic polyisoimides derived from PMDA and para-diamines. An approach to in situ generated rigid-rod molecular composites

A new concept for the processing and fabrication of rigid-rod molecular composites aiming at the elimination or minimization of phase separation is proposed. This approach calls for a coil-like aromatic polyisoimide which is soluble and compatible with an amorphous matrix polymer or thermosettable oligomer and can undergo facile transformation to the corresponding rigid-rod polyimide in solid composite state, thus imparting the inherently high strength/high modulus properties to the final form. To this end, various synthetic routes were explored to obtain para-diamines which could afford high molecular weight and aprotic-solvent-soluble polyisoimides upon polymerization with pyromellitic dianhydride (PMDA). Four such polyisoimides were prepared, with their inherent viscosities ranging from 0.25 to 1.89 dl g⁻¹ in dimethylacetamide at 30°C. Facile thermally induced isoimide-imide conversion was demonstrated by solid-state (film) Fourier transform infrared spectroscopy. A preliminary evaluation of the compatibility of the polyisoimide/matrix resin was made. In one instance, a film prepared from the polyisoimide derived from PMDA and 3,3′,5,5′-tetramethylbenzidine (TMB) showed no visually detectable phase separation.     

Synchronization in complex networks of phase oscillators: A survey

The emergence of synchronization in a network of coupled oscillators is a fascinating subject of multidisciplinary research. This survey reviews the vast literature on the theory and the applications of complex oscillator networks. We focus on phase oscillator models that are widespread in real-world synchronization phenomena, that generalize the celebrated Kuramoto model, and that feature a rich phenomenology. We review the history and the countless applications of this model throughout science and engineering. We justify the importance of the widespread coupled oscillator model as a locally canonical model and describe some selected applications relevant to control scientists, including vehicle coordination, electric power networks, and clock synchronization. We introduce the reader to several synchronization notions and performance estimates. We propose analysis approaches to phase and frequency synchronization, phase balancing, pattern formation, and partial synchronization. We present the sharpest known results about synchronization in networks of homogeneous and heterogeneous oscillators, with complete or sparse interconnection topologies, and in finite-dimensional and infinite-dimensional settings. We conclude by summarizing the limitations of existing analysis methods and by highlighting some directions for future research.     

Numerical characterization and experimental verification of an in-plane MEMS-actuator with thin-film aluminum heater

In this paper, a novel concept of a thermo-mechanical MEMS actuator using aluminum thin-film heaters on a thermal oxide for electrical insulation is presented. The actuator is part of an universal tensile testing platform for thermo-mechanical material characterization of one dimensional materials on a micro- and nano-scopic scale under different environmental conditions, as varying temperatures, pressure, moisture or even vacuum and is realised in BDRIE technology. It is shown, that the actuator concept fulfills the requirements for the use in a tensile loading stage along with heterogeneously integrated nanofunctional elements, following a specimen centered approach in line with bottom-up self-assembly processes. Simulation and experiment agree very well in the thermal and mechanical domain and allow subsequent optimisation of the actuator performance.     

Styryl Dyes for Synthetic-polymer Fibres.

The synthesis of a series of dyes derived from reaction of 2-methyl-4-(N-ethyl-N-hydroxyethyl)amino, lidicyano-styrene with acid chlorides, chloroformates, isocyanates and isothiocyanates is described. Data relevant to dye characterization by electron-impact induced fragmentation is reported. Dyeing and fastness properties of the dyes on cellulose secondary acetate, cellulose triacetate, nylon 6.6 and polyester fibres are discussed in terms of dye structure. Comparison is made between some related dyes derived from 2-methyl-4-(N-ethyl-N-β-aminoethyljamino-β,βdicyanostyrene.     

pROST: a smoothed \ell _p-norm robust online subspace tracking method for background subtraction in video

An increasing number of methods for background subtraction use Robust PCA to identify sparse foreground objects. While many algorithms use the \(\ell _1\) -norm as a convex relaxation of the ideal sparsifying function, we approach the problem with a smoothed \(\ell _p\) -quasi-norm and present pROST, a method for robust online subspace tracking. The algorithm is based on alternating minimization on manifolds. Implemented on a graphics processing unit, it achieves realtime performance at a resolution of \(160 \times 120\) . Experimental results on a state-of-the-art benchmark for background subtraction on real-world video data indicate that the method succeeds at a broad variety of background subtraction scenarios, and it outperforms competing approaches when video quality is deteriorated by camera jitter.     

THE ROLE OF LATTICE OXYGEN IN THE DYNAMIC BEHAVIOR OF OXIDE CATALYSTS

The lattice of an oxide catalyst used for oxidation reactions can act as a reservoir for oxygen, storing and releasing it for reactions at the catalyst surface under appropriate conditions. The implication of this oxygen storage property of an oxide catalyst on its dynamic response characteristics has been investigated through an experimental study of 2-butene oxidation over vanadium oxide as a model reaction. Isothermal reaction rate measurements in a differential reactor and nonisothermal studies in a single pellet reactor have been carried out. Following a step increase in the feed butene concentration, isothermal reaction rate overshoot and pellet temperature overshoot were observed. These observations could be modelled in a qualitatively correct way by a very simple model accounting for the participation of lattice oxygen in the catalytic reactions under dynamic conditions. It is demonstrated through model simulations that the ignition characteristics of a catalyst pellet are significantly affected by the participation of the lattice oxygen, when steady state multiplicity is present.     

Visual learning and classification of human epithelial type 2 cell images through spontaneous activity patterns

Identifying the presence of anti-nuclear antibody (ANA) in human epithelial type 2 (HEp-2) cells via the indirect immunofluorescence (IIF) protocol is commonly used to diagnose various connective tissue diseases in clinical pathology tests. As it is a labour and time intensive diagnostic process, several computer aided diagnostic (CAD) systems have been proposed. However, the existing CAD systems suffer from numerous shortcomings due to the selection of features, which is commonly based on expert experience. Such a choice of features may not work well when the CAD systems are retasked to another dataset. To address this, in our previous work, we proposed a novel approach that learns a set of filters from HEp-2 cell images. It is inspired by the receptive fields in the mammalian's vision system, since the receptive fields can be thought as a set of filters for similar shapes. We obtain robust filters for HEp-2 cell classification by employing the independent component analysis (ICA) framework. Although, this approach may be held back due to one particular problem; ICA learning requires a sufficiently large volume of training data which is not always available. In this paper, we demonstrate a biologically inspired solution to address this issue via the use of spontaneous activity patterns (SAP). The spontaneous activity patterns, which are related to the spontaneous neural activities initialised by the chemical release in the brain, are found as the typical stimuli for the visual cell development of newborn animals. In the classification system for HEp-2 cells, we propose to model SAP as a set of small image patches containing randomly positioned Gaussian spots. The SAP image patches are generated and mixed with the training images in order to learn filters via the ICA framework. The obtained filters are adopted to extract the set of responses from a HEp-2 cell image. We then employ regions from this set of responses and stack them into “cubic regions”, and apply a classification based on the correlation information of the features. We show that applying the additional SAP leads to a better classification performance on HEp-2 cell images compared to using only the existing patterns for training ICA filters. The improvement on classification is particularly significant when there are not enough specimen images available in the training set, as SAP adds more variations to the existing data that makes the learned ICA model more robust. We show that the proposed approach consistently outperforms three recently proposed CAD systems on two publicly available datasets: ICPR HEp-2 contest and SNPHEp-2.