Ferroelectric and dielectric characterization studies on relaxor- and ferroelectric-like strontium-barium niobates

Ferroelectric domain structure evolution induced by an external electric field was investigated by means of nematic liquid crystal (NLC) method in two strontium-barium niobate single crystals of nominal composition: Sr_{0.70}Ba_{0.30}Nb_{2}O_{6} (SBN:70 - relaxor) and Sr_{0.26}Ba_{0.74}Nb_{2}O_{6} (SBN:26 - ferroelectric). Our results provide evidence that the broad phase transition and frequency dispersion that are exhibited in SBN:70 crystal have a strong link to the configuration of ferroelectric microdomains. The large leakage current revealed in SBN:26 may compensate internal charges acting as pinning centers for domain walls, which gives rise to a less restricted domain growth similar to that observed in classical ferroelectrics. Microscale studies of a switching process in conjunction with electrical measurements allowed us to establish a relationship between local properties of the domain dynamics and macroscopic response i.e., polarization hysteresis loop and dielectric properties.Comment: 10 pages, 7 figure

On the complexity of mCP-nets

This is the author accepted manuscript. The final version is available from AAAI Publications via the link in this recordmCP-nets are an expressive and intuitive formalism based on CP-nets to reason about preferences of groups of agents. The dominance semantics of mCP-nets is based on the concept of voting, and different voting schemes give rise to different dominance semantics for the group. Unlike CP-nets, which received an extensive complexity analysis, mCP-nets, as reported multiple times in the literature, lack a precise study of the voting tasks' complexity. Prior to this work, only a complexity analysis of brute-force algorithms for these tasks was available, and this analysis only gave EXPTIME upper bounds for most of those problems. In this paper, we start to fill this gap by carrying out a precise computational complexity analysis of voting tasks on acyclic binary polynomially connected mCP-nets whose constituents are standard CP-nets. Interestingly, all these problems actually belong to various levels of the polynomial hierarchy, and some of them even belong to PTIME or LOGSPACE. Furthermore, for most of these problems, we provide completeness results, which show tight lower bounds for problems that (up to date) did not have any explicit non-obvious lower bound.This work has received funding from the EPSRC grants EP/J008346/1, EP/L012138/1, and EP/M025268/1

Fredkin Gates for Finite-valued Reversible and Conservative Logics

The basic principles and results of Conservative Logic introduced by Fredkin and Toffoli on the basis of a seminal paper of Landauer are extended to d-valued logics, with a special attention to three-valued logics. Different approaches to d-valued logics are examined in order to determine some possible universal sets of logic primitives. In particular, we consider the typical connectives of Lukasiewicz and Godel logics, as well as Chang's MV-algebras. As a result, some possible three-valued and d-valued universal gates are described which realize a functionally complete set of fundamental connectives.Comment: 57 pages, 10 figures, 16 tables, 2 diagram

Optimizing the computation of overriding

We introduce optimization techniques for reasoning in DLN---a recently introduced family of nonmonotonic description logics whose characterizing features appear well-suited to model the applicative examples naturally arising in biomedical domains and semantic web access control policies. Such optimizations are validated experimentally on large KBs with more than 30K axioms. Speedups exceed 1 order of magnitude. For the first time, response times compatible with real-time reasoning are obtained with nonmonotonic KBs of this size

Multimodality in Pervasive Environment

Future pervasive environments are expected to immerse users in a consistent world of probes, sensors and actuators. Multimodal interfaces combined with social computing interactions and high-performance networking can foster a new generation of pervasive environments. However, much work is still needed to harness the full potential of multimodal interaction. In this paper we discuss some short-term research goals, including advanced techniques for joining and correlating multiple data flows, each with its own approximations and uncertainty models. Also, we discuss some longer term objectives, like providing users with a mental model of their own multimodal "aura", enabling them to collaborate with the network infrastructure toward inter-modal correlation of multimodal inputs, much in the same way as the human brain extracts a single self-conscious experience from multiple sensorial data flows

Design and Characterization of a Hypervelocity Expansion Tube Facility

We report on the design and characterization of a 152 mm diameter expansion tube capable of accessing a range of high enthalpy test conditions with Mach numbers up to 7.1 for aerodynamic studies. Expansion tubes have the potential to offer a wide range of test flow conditions as gas acceleration is achieved through interaction with an unsteady expansion wave rather than expansion through a fixed area ratio nozzle. However, the range of test flow conditions is in practice limited by a number of considerations such as short test time and large amplitude flow disturbances. We present a generalized design strategy for small-scale expansion tubes. As a starting point, ideal gas dynamic calculations for optimal facility design to maximize test time at a given Mach number test condition are presented, together with a correction for the expansion head reflection through a non-simple region. A compilation of practical limitations that have been identified for expansion tube facilities such as diaphragm rupture and flow disturbance minimization is then used to map out a functional design parameter space. Experimentally, a range of test conditions have been verified through pitot pressure measurements and analysis of schlieren images of flow over simple geometries. To date there has been good agreement between theoretical and experimental results

Symmetry Breaking in Pyrrolo[3,2-b]pyrroles: Synthesis, Solvatofluorochromism and Two-photon Absorption

Five centrosymmetric and one dipolar pyrrolo[3,2-b]pyrroles, possessing either two or one strongly electron-withdrawing nitro group have been synthesized in a straightforward manner from simple building blocks. For the symmetric compounds, the nitroaryl groups induced spontaneous breaking of inversion symmetry in the excited state, thereby leading to large solvatofluorochromism. To study the origin of this effect, the series employed peripheral structural motifs that control the degree of conjugation via altering of dihedral angle between the 4-nitrophenyl moiety and the electron-rich core. We observed that for compounds with a larger dihedral angle, the fluorescence quantum yield decreased quickly when exposed to even moderately polar solvents. Reducing the dihedral angle (i.e., placing the nitrobenzene moiety in the same plane as the rest of the molecule) moderated the dependence on solvent polarity so that the dye exhibited significant emission, even in THF. To investigate at what stage the symmetry breaking occurs, we measured two-photon absorption (2PA) spectra and 2PA cross-sections (sigma(2PA)) for all six compounds. The 2PA transition profile of the dipolar pyrrolo[3,2-b]pyrrole, followed the corresponding one-photon absorption (1PA) spectrum, which provided an estimate of the change of the permanent electric dipole upon transition, approximate to 18D. The nominally symmetric compounds displayed an allowed 2PA transition in the wavelength range of 700-900nm. The expansion via a triple bond resulted in the largest peak value, sigma(2PA)=770GM, whereas altering the dihedral angle had no effect other than reducing the peak value two- or even three-fold. In the S0S1 transition region, the symmetric structures also showed a partial overlap between 2PA and 1PA transitions in the long-wavelength wing of the band, from which a tentative, relatively small dipole moment change, 2-7D, was deduced, thus suggesting that some small symmetry breaking may be possible in the ground state, even before major symmetry breaking occurs in the excited state.1111Ysciescopu

Complexity of Approximate Query Answering under Inconsistency in Datalog+/-

This is the author accepted manuscript. The final version is available from the publisher via the link in this recordSeveral semantics have been proposed to query inconsistent ontological knowledge bases, including the intersection of repairs and the intersection of closed repairs as two approximate inconsistency-tolerant semantics. In this paper, we analyze the complexity of conjunctive query answering under these two semantics for a wide range of Datalog± languages. We consider both the standard setting, where errors may only be in the database, and the generalized setting, where also the rules of a Datalog± knowledge base may be erroneous.This work was supported by The Alan Turing Institute under the UK EPSRC grant EP/N510129/1, and by the EPSRC grants EP/R013667/1, EP/L012138/1, and EP/M025268/1