Computational techniques for a simple theory of conditional preferences

A simple logic of conditional preferences is defined, with a language that allows the compact representation of certain kinds of conditional preference statements, a semantics and a proof theory. CP-nets and TCP-nets can be mapped into this logic, and the semantics and proof theory generalise those of CP-nets and TCP-nets. The system can also express preferences of a lexicographic kind. The paper derives various sufficient conditions for a set of conditional preferences to be consistent, along with algorithmic techniques for checking such conditions and hence confirming consistency. These techniques can also be used for totally ordering outcomes in a way that is consistent with the set of preferences, and they are further developed to give an approach to the problem of constrained optimisation for conditional preferences.

Opening the Frontier: The Gubbio-Perugia Frontier in the Course of History.

The frontier between Gubbio (ancient Umbria) and Perugia (ancient Etruria), in the northeast part of the modern region of Umbria, was founded in the late sixth century BC. The frontier endured in different forms, most notably in the late antique and medieval periods, as well as fleetingly in 1944, and is fossilized today in the local government boundaries. Archaeological, documentary and
philological evidence are brought together to investigate different scales of time that vary from millennia to single days in the representation of a frontier that captured a watershed of geological origins. The foundation of the frontier appears to have been a product of the active agency of the Etruscans, who projected new settlements across the Tiber in the course of the sixth century BC,
protected at the outer limit of their territory by the naturally defended farmstead of Col di Marzo. The immediate environs of the ancient abbey of Montelabate have been studied intensively by targeted, systematic and geophysical survey in conjunction with excavation, work that is still in progress. An overview of the development of the frontier is presented here, employing the data currently available.

K-Theory of Azumaya Algebras over Schemes

Let X be a connected, noetherian scheme and A{script} be a sheaf of Azumaya algebras on X, which is a locally free O{script}-module of rank a. We show that the kernel and cokernel of K(X) ? K(A{script}) are torsion groups with exponent a for some m and any i = 0, when X is regular or X is of dimension d with an ample sheaf (in this case m = d + 1). As a consequence, K(X, Z/m) ? K(A{script}, Z/m), for any m relatively prime to a. © 2013 Copyright Taylor and Francis Group, LLC.

Theory of phonon dissipation in the conduction of stressed Au nanowires

Recent experiments on Au break junctions [Phys. Rev. Lett. 88 (2002) 216803] have characterized the nonlinear conductance of stretched short Au nanowires. They reveal in the voltage range 10-20 meV the signatures of dissipation effects, likely due to phonons in the nanowire, reducing the conductance below the quantized value of 2e(2)/h. We present here a theory, based on a model tight-binding Hamiltonian and on non-equilibrium Green's function techniques, which accounts for the main features of the experiment. The theory helps in revealing details of the experiment which need to be addressed with a more realistic, less idealized, theoretical framework. (C) 2004 Elsevier B.V. All rights reserved.

Spatially-resolved mapping of history-dependent coupled electrochemical and electronical behaviors of electroresistive NiO

Bias-induced oxygen ion dynamics underpins a broad spectrum of electroresistive and memristive phenomena in oxide materials. Although widely studied by device-level and local voltage-current spectroscopies, the relationship between electroresistive phenomena, local electrochemical behaviors, and microstructures remains elusive. Here, the interplay between history-dependent electronic transport and electrochemical phenomena in a NiO single crystalline thin film with a number of well-defined defect types is explored on the nanometer scale using an atomic force microscopy-based technique. A variety of electrochemically-active regions were observed and spatially resolved relationship between the electronic and electrochemical phenomena was revealed. The regions with pronounced electroresistive activity were further correlated with defects identified by scanning transmission electron microscopy. Using fully coupled mechanical-electrochemical modeling, we illustrate that the spatial distribution of strain plays an important role in electrochemical and electroresistive phenomena. These studies illustrate an approach for simultaneous mapping of the electronic and ionic transport on a single defective structure level such as dislocations or interfaces, and pave the way for creating libraries of defect-specific electrochemical responses.