Proliferation of metallic domains caused by inhomogeneous heating near the electrically-driven transition in VO2_2 nanobeams

We discuss the mechanisms behind the electrically driven insulator-metal transition in single crystalline VO$_2$ nanobeams. Our DC and AC transport measurements and the versatile harmonic analysis method employed show that non-uniform Joule heating causes phase inhomogeneities to develop within the nanobeam and is responsible for driving the transition in VO$_{2}$. A Poole-Frenkel like purely electric field induced transition is found to be absent and the role of percolation near and away from the electrically driven transition in VO$_{2}$ is also identified. The results and the harmonic analysis can be generalized to many strongly correlated materials that exhibit electrically driven transitions

Relation Liftings on Preorders and Posets

The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on Rel(Set) iff it preserves weak pullbacks. We show that these results extend to the enriched setting, if we replace sets by posets or preorders. Preservation of weak pullbacks becomes preservation of exact lax squares. As an application we present Moss's coalgebraic over posets

Ages on weathered Plio-Pleistocene tephra sequences, western North Island, New Zealand

Using the zircon fission-track method, we have obtained five ages on members of two strongly-weathered silicic, Pliocene-Pleistocene tephra sequences, the Kauroa and Hamilton Ash formations, in western North Island, New Zealand. These are the first numerical ages to be obtained directly on these deposits. Of the Kauroa Ash sequence, member K1 (basal unit) was dated at 2.24 ± 0.29 Ma, confirming a previous age of c. 2.25 Ma obtained (via tephrochronology)from K/Ar ages on associated basalt lava. Members K2 and K3 gave indistinguishable ages between 1.68 ± 0.12 and 1.43 ± 0.17 Ma. Member K12, a correlative of Oparau Tephra and probably also Ongatiti Ignimbrite, was dated at 1.28 ± 0.11 Ma, consistent with an age of 1.23 ± 0.02 Ma obtained by various methods on Ongatiti Ignimbrite. Palaeomagnetic measurements indicated that members K13 to K15 (top unit, Waiterimu Ash) are aged between c. 1.2 Ma and 0.78 Ma. Possible sources of the Kauroa Ash Formation include younger volcanic centres in the southern Coromandel Volcanic Zone or older volcanic centres in the Taupo Volcanic Zone, or both. Of the Hamilton Ash sequence, the basal member Ohinewai Ash (HI) was dated at 0.38 ± 0.04 Ma. This age matches those obtained by various methods on Rangitawa Tephra of 0.34-0.35 Ma, supporting correlation with this Whakamaru-caldera derived deposit. The origin of the other Hamilton Ash beds is unknown but various younger volcanic centres in the Taupo Volcanic Zone are possible sources. The topmost member, Tikotiko Ash (H6-H7), is estimated to be aged between c. 0.18 and 0.08 Ma. Various silicic pyroclastic deposits documented in North Island and in marine cores may be co-eval with members of the Kauroa Ash and Hamilton Ash sequences on the basis of their age

Algorithm for Adapting Cases Represented in a Tractable Description Logic

Case-based reasoning (CBR) based on description logics (DLs) has gained a lot of attention lately. Adaptation is a basic task in the CBR inference that can be modeled as the knowledge base revision problem and solved in propositional logic. However, in DLs, it is still a challenge problem since existing revision operators only work well for strictly restricted DLs of the \emph{DL-Lite} family, and it is difficult to design a revision algorithm which is syntax-independent and fine-grained. In this paper, we present a new method for adaptation based on the DL $\mathcal{EL_{\bot}}$. Following the idea of adaptation as revision, we firstly extend the logical basis for describing cases from propositional logic to the DL $\mathcal{EL_{\bot}}$, and present a formalism for adaptation based on $\mathcal{EL_{\bot}}$. Then we present an adaptation algorithm for this formalism and demonstrate that our algorithm is syntax-independent and fine-grained. Our work provides a logical basis for adaptation in CBR systems where cases and domain knowledge are described by the tractable DL $\mathcal{EL_{\bot}}$.Comment: 21 pages. ICCBR 201

Intact sublimation of silicon nanocrystals evidenced via HREM imaging and EELS in a dedicated STEM

Silicon nano crystals (NCs) have attracted considerable interest for possible uses in optoelectronics 1 As the particle size decreases the properties of NCs become increasingly sensitive to the surface termination. 2, 3 Monolayer chemistries 4-10 have been exploited to control the physicochemical properties. NCs are often prepared by vapour-phase deposition techniques; using these they can be conveniently analysed via gas phase analysis techniques, such as mass spectrometry. This cannot be employed, however, if NCs are not synthesized in the gas phase. Here we present a STEM study of undecyl-capped SiNCs, evaporated intact upon heating in ultrahigh vacuum at 200°C and collected on a variety of solid substrates, including carbon-coated TEM grids. The BF- and HAADF lattice images confirm that the particles have a crystalline core with Si-lattice spacings. The presence of Si in the core is also confirmed by Si-L edge EELS, which reveals furthermore the presence of a surface oxide. © 2008 IOP Publishing Ltd

Implementing a 48 h EWTD-compliant rota for junior doctors in the UK does not compromise patients’ safety : assessor-blind pilot comparison

Background: There are currently no field data about the effect of implementing European Working Time Directive (EWTD)-compliant rotas in a medical setting. Surveys of doctors’ subjective opinions on shift work have not provided reliable objective data with which to evaluate its efficacy. Aim: We therefore studied the effects on patient's safety and doctors’ work-sleep patterns of implementing an EWTD-compliant 48 h work week in a single-blind intervention study carried out over a 12-week period at the University Hospitals Coventry & Warwickshire NHS Trust. We hypothesized that medical error rates would be reduced following the new rota. Methods: Nineteen junior doctors, nine studied while working an intervention schedule of <48 h per week and 10 studied while working traditional weeks of <56 h scheduled hours in medical wards. Work hours and sleep duration were recorded daily. Rate of medical errors (per 1000 patient-days), identified using an established active surveillance methodology, were compared for the Intervention and Traditional wards. Two senior physicians blinded to rota independently rated all suspected errors. Results: Average scheduled work hours were significantly lower on the intervention schedule [43.2 (SD 7.7) (range 26.0–60.0) vs. 52.4 (11.2) (30.0–77.0) h/week; P < 0.001], and there was a non-significant trend for increased total sleep time per day [7.26 (0.36) vs. 6.75 (0.40) h; P = 0.095]. During a total of 4782 patient-days involving 481 admissions, 32.7% fewer total medical errors occurred during the intervention than during the traditional rota (27.6 vs. 41.0 per 1000 patient-days, P = 0.006), including 82.6% fewer intercepted potential adverse events (1.2 vs. 6.9 per 1000 patient-days, P = 0.002) and 31.4% fewer non-intercepted potential adverse events (16.6 vs. 24.2 per 1000 patient-days, P = 0.067). Doctors reported worse educational opportunities on the intervention rota. Conclusions: Whilst concerns remain regarding reduced educational opportunities, our study supports the hypothesis that a 48 h work week coupled with targeted efforts to improve sleep hygiene improves patient safety

Grain sorghum, 1967

Cover title."The bulletin reports on Department of Agronomy research project 351, Sorghum testing ... "--P. [2]

Combinatorial Games with a Pass: A dynamical systems approach

By treating combinatorial games as dynamical systems, we are able to address a longstanding open question in combinatorial game theory, namely, how the introduction of a "pass" move into a game affects its behavior. We consider two well known combinatorial games, 3-pile Nim and 3-row Chomp. In the case of Nim, we observe that the introduction of the pass dramatically alters the game's underlying structure, rendering it considerably more complex, while for Chomp, the pass move is found to have relatively minimal impact. We show how these results can be understood by recasting these games as dynamical systems describable by dynamical recursion relations. From these recursion relations we are able to identify underlying structural connections between these "games with passes" and a recently introduced class of "generic (perturbed) games." This connection, together with a (non-rigorous) numerical stability analysis, allows one to understand and predict the effect of a pass on a game.Comment: 39 pages, 13 figures, published versio

Knowledge representation on the web

Exploiting the full potential of the World Wide Web will require semantic as well as syntactic interoperability. This can best be achieved by providing a further representation and inference layer that builds on existing and proposed web standards. The OIL language extends the RDF schema standard to provide just such a layer. It combines the most attractive features of frame based languages with the expressive power, formal rigour and reasoning services of a very expressive description logic.

Automated Synthesis of Tableau Calculi

This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau inference rules that can then be used to reason within the logic. The method guarantees that the generated rules form a calculus which is sound and constructively complete. If the logic can be shown to admit finite filtration with respect to a well-defined first-order semantics then adding a general blocking mechanism provides a terminating tableau calculus. The process of generating tableau rules can be completely automated and produces, together with the blocking mechanism, an automated procedure for generating tableau decision procedures. For illustration we show the workability of the approach for a description logic with transitive roles and propositional intuitionistic logic.Comment: 32 page