We present results for the spin-1 color-spin locking phase (CSL) using a NJL-type model in two flavor quark matter for compact stars applications. The CSL condensate is flavor symmetric and therefore charge and color neutrality can easily be satisfied. We find small energy gaps ≃ 1 MeV, which make the CSL matter composition and the EoS not very different from the normal quark matter phase. We k...

Development and reproductive potential of the Coccinella septempunctata L. (CSL) was conducted under laboratory conditions to determine its fecundity and longevity on natural and artificial diets. Tests were made on laboratory rearing materials and all development stages were carefully recorded. Success ratios in these experiments were a matter of logistic and synchronization of these life cycl...

Mannheimia succiniciproducens MBEL55E isolated from bovine rumen is able to produce a large amount of succinic acid in a medium containing glucose, peptone, and yeast extract. In order to reduce the cost of the medium, whey and corn steep liquor (CSL) were used as substrates for the production of succinic acid by M. succiniciproducens MBEL55E. Anaerobic batch cultures of M. succiniciproducens M...

Tai (2005) argues for the importance of iconicity as a fundamental property of language, illustrating the modality effects of iconicity through the study of a set of iconic devices used in Taiwan Sign Language (TSL). This paper extends Tai’s research, in exploring the iconic devices used in another Asian sign language, Chinese Sign Language (CSL). Some preliminary comparisons are made in this p...

For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal, Singhal and Brayton in 1996. The presented decision procedure, however, has exponential complexity. In this paper, we propose an effective approximation algorithm for full CSL. The key to our method is the notion of s...

Sign language recognition is to provide an efficient and accurate mechanism to transcribe sign language into text or speech. State-of-the-art sign language recognition should be able to solve the signer-independent continuous problem for practical applications. A divide-and-conquer approach, which takes the problem of continuous Chinese Sign Language (CSL) recognition as subproblems of isolated...

Concurrent Separation Logic (CSL) provides a simple but powerful technique for reasoning about shared-memory concurrent programs. Unfortunately, CSL and separation logic can only support “strong updates,” where mutation to a memory location is safe only if there is a strong memory separation. This severely limits the applicability of CSL since most statically typed languages (e.g., ML, Java, C#...

The logic of comparative concept similarity CSL has been introduced in 2005 by Shemeret, Tishkovsky, Zakharyashev and Wolter in order to express a kind of qualitative similarity reasoning about concepts in ontologies. The semantics of the logic is defined in terms of distance spaces; however it can be equivalently reformulated in terms of preferential structures, similar to those ones of condit...

In order to locate source signal more accurately in authorized frequency bands, a novel primary user localization algorithm based on compressive sensing (PU-CSL) in cognitive radio networks (CRNs) is proposed in this paper. In comparison to existing centroid locating algorithms, PU-CSL shows higher locating accuracy for integrally exploring correlation between source signal and secondary users ...