A Framework for Trusted Services

An existing challenge when selecting services to be used in a service- based system is to be able to distinguish between good and bad services. In this paper we present a trust-based service selection framework. The framework uses a trust model that calculates the level of trust a user may have with a service based on past experience of the user with the service and feedback about the service received from other users. The model takes into account different levels of trust among users, different relationships between users, and different levels of importance that a user may have for certain quality aspects of a service. A prototype tool has been implemented to illustrate and evaluate the work. The trust model has been evaluated in terms of its capacity to adjust itself due to changes in user ratings and its robustness

Profiles of near-resonant population-imbalanced trapped Fermi gases

We investigate the density profiles of a partially polarized trapped Fermi gas in the BCS-BEC crossover region using mean field theory within the local density approximation. Within this approximation the gas is phase separated into concentric shells. We describe how the structure of these shells depends upon the polarization and the interaction strength. A Comparison with experiments yields insight into the possibility of a polarized superfluid phase.Comment: 4 pages, 5 Figures, Published versio

Surface Tension in Unitary Fermi Gases with Population Imbalance

We study the effects of surface tension between normal and superfluid regions of a trapped Fermi gas at unitarity. We find that surface tension causes notable distortions in the shape of large aspect ratio clouds. Including these distortions in our theories resolves many of the apparent discrepancies among different experiments and between theory and experiments.Comment: 4 pages, 4 figures, Published versio

Vortex solutions of the Lifshitz-Chern-Simons theory

We study vortex-like solutions to the Lifshitz-Chern-Simons theory. We find that such solutions exists and have a logarithmically divergent energy, which suggests that a Kostelitz-Thouless transition may occur, in which voxtex-antivortex pairs are created above a critical temperature. Following a suggestion made by Callan and Wilzcek for the global U(1) scalar field model, we study vortex solutions of the Lifshitz-Chern-Simons model formulated on the hyperbolic plane, finding that, as expected, the resulting configurations have finite energy. For completeness, we also explore Lifshitz-Chern-Simons vortex solutions on the sphere.Comment: Published version, added appendix on electromagnetic duality in Lifshitz system

Heuristic Backtracking Algorithms for SAT

In recent years backtrack search SAT solvers have been the subject of dramatic improvements. These improvements allowed SAT solvers to successfully replace BDDs in many areas of formal verification, and also motivated the development of many new challenging problem instances, many of which too hard for the current generation of SAT solvers. As a result, further improvements to SAT technology are expected to have key consequences in formal verification. The objective of this paper is to propose heuristic approaches to the backtrack step of backtrack search SAT solvers, with the goal of increasing the ability of the SAT solver to search different parts of the search space. The proposed heuristics to the backtrack step are inspired by the heuristics proposed in recent years for the branching step of SAT solvers, namely VSIDS and some of its improvements. The preliminary experimental results are promising, and motivate the integration of heuristic backtracking in state-of-the-art SAT solvers. 1

Noncommutative Field Theory: Nonrelativistic Fermionic Field Coupled to the Chern-Simons Field in 2+1 Dimensions

We study a noncommutative nonrelativistic fermionic field theory in 2+1 dimensions coupled to the Chern-Simons field. We perform a perturbative analysis of model and show that up to one loop the ultraviolet divergences are canceled and the infrared divergences are eliminated by the noncommutative Pauli term.Comment: Some references adde

Extraordinary magnetoresistance in graphite: experimental evidence for the time-reversal symmetry breaking

The ordinary magnetoresistance (MR) of doped semiconductors is positive and quadratic in a low magnetic field, B, as it should be in the framework of the Boltzmann kinetic theory or in the conventional hopping regime. We observe an unusual highly-anisotropic in-plane MR in graphite, which is neither quadratic nor always positive. In a certain current direction MR is negative and linear in B in fields below a few tens of mT with a crossover to a positive MR at higher fields, while in a perpendicular current direction we observe a giant super-linear and positive MR. These extraordinary MRs are respectively explained by a hopping magneto-conductance via non-zero angular momentum orbitals, and by the magneto-conductance of inhomogeneous media. The linear orbital NMR is a unique signature of the broken time-reversal symmetry (TRS) in graphite. While some local paramagnetic centers could be responsible for the broken TRS, the observed large diamagnetism suggests a more intriguing mechanism of this breaking, involving superconducting clusters with unconventional (chiral) order parameters and spontaneously generated normal-state current loops in graphite.Comment: 4 pages, 5 figure