We present results of a microscopic calculation using NJL-type model of possible spin-one pairings in two flavor quark matter for applications in compact star phenomenology. We focus on the color-spin locking phase (CSL) in which all quarks pair in a symmetric way, in which color and spin rotations are locked. The CSL condensate is particularly interesting for compact star applications since it...

In many cases, creating long-term solutions to sustainability issues requires not only innovative technology, but also largescale public adoption of the proposed solutions. Social simulations are a valuable but underutilized tool that can help public policy researchers understand when sustainable practices are likely to make the delicate transition from being an individual choice to becoming a ...

This paper proposes an innovative approach to represent the Pictogram Chinese Characters. The advantage of this representation is using an extraordinary representation to represent the pictogram Chinese character. This extraordinary representation is created accordingly to the original pictogram Chinese characters revolution or transition. The purpose of this innovative creation is to assist th...

In this paper algorithms for model checking CSL (continuous stochastic logic) against infinite-state continuous-time Markov chains of so-called quasi birth-death type are developed. In doing so we extend the applicability of CSL model checking beyond the recently proposed case for finite-state continuous-time Markov chains, to an important class of infinite-state Markov chains. We present synta...

Conventional stream mining algorithms focus on single and stand-alone mining tasks. Given the single-pass nature of data streams, it makes sense to maximize throughput by performing multiple complementary mining tasks concurrently. We investigate the potential of concurrent semi-supervised learning on data streams and propose an incremental algorithm called CSL-Stream (Concurrent Semi–supervise...

The Computer Systems Laboratory (CSL), National Institute of Standards and Technology, sponsored the sixteenth North American ISDN Users' Forum (NIUF) at its Gaithersburg, Maryland site on October 26-30, 1992. About 250 users, implementors, and service providers of ISDN technology attended the meeting. CSL collaborated with industry in 1988 to establish the NIUF to ensure that emerging ISDN app...

Résumé : La logique de similarité comparative des concepts CSL a été introduite en 2005 par Shremet, Tishkowsky, Wolter et Zakharyaschev pour représenter des informations qualitatives sur la similarité entre des concepts, du type “A est plus similaire à B qu’à C”. La sémantique utilise des espaces de distances afin de représenter le degré de similarité entre objets du domaine. Dans cet article,...

We study single-flavour quark pairing (“self-pairing”) in colour-superconducting phases of quark matter, paying particular attention to the difference between scenarios where all three flavours undergo single-flavour pairing, and scenarios where two flavours pair with each other (“2SC” pairing) and the remaining flavour self-pairs. We perform our calculations in the mean field approximation usi...

Shear stress driven grain boundary (GB) migration was found to be a ubiquitous phenomenon in small grained polycrystalline materials. Here we show that the GB displacement shift complete (DSC) dislocation mechanism for GB shear coupled migration is still functioning even if the geometry orientation of the GBs deviates a few degrees from the appropriate coincidence site lattice (CSL) GBs. It mea...

The Computer Systems Laboratory (CSL), National Institute of Standards and Technology, hosted the eighteenth North American ISDN Users' Forum (NIUF) at its Gaithersburg, Maryland, site on June 22-25, 1993. About 230 users, implementors, and service providers of ISDN technology attended the meeting. CSL collaborated with industry in 1988 to establish the NIUF to ensure that emerging ISDN applica...