The paper introduces (purely communicative) tissue P systems with conditional uniport. Conditional uniport means that every application of a communication rule moves one object in a certain direction by possibly using another one as an activator which is left untouched in the place where it is. Tissue P systems with conditional uniport are shown to be computationally complete in the sense that ...

Many work has been conducted to analyze service choreographies to assert manyfold correctness criteria. While errors can be detected automatically, the correction of defective services is usually done manually. This paper introduces a graph-based approach to calculate the minimal edit distance between a given defective service and synthesized correct services. This edit distance helps to automa...

BACKGROUND Given the relative abundance of modern human DNA and the inherent impossibility for incontestable proof of authenticity, results obtained on ancient human DNA have often been questioned. The widely accepted rules regarding ancient DNA work mainly affect laboratory procedures, however, pre-laboratory contamination occurring during excavation and archaeological-/anthropological handlin...

One significant factor we expect the video representation learning to capture, especially in contrast with image learning, is object motion. However, found that current mainstream datasets, some action categories are highly related scene where happens, making model tend degrade a solution only information encoded. For example, trained may predict as playing football simply because it sees field...

The paper presents a method for testing a system-on-achip by using a compressed representation of the patterns on an external tester. The patterns for a certain core under test are decompressed by reusing scan chains of cores idle during that time. The method only requires a few additional gates in the wrapper, while the mission logic is untouched. Storage and bandwidth requirements for the ATE...

The goal of this study is to stimulate a broader and deeper application of scientometric theory in information systems (IS) research, specifically to emphasize the benefits of scientometrics in the conceptual development of the IS field. The study reviews the underlying theories of scientometrics, specifically how they combine both quantitative and qualitative approaches towards research evalua...

First community based effort of its kind in the state. Findings of this study open an access to untouched and over relied components of our health system. Suggestions and recommendations of this study can be considered for strengthening and improving the existing facilities and services, right from grassroots level for achieving the better outputs of health care during the pregnancy and in the ...

“Trans” offers Victorian studies two different but ultimately intertwined methods for studying sex and gender in a historically bounded discipline: nominal, biographical work theoretical, conceptual work. While accounts tend to evoke historicist concerns of anachronism, the theoretical potential “trans” is largely untouched studies. This Keywords essay argues that such much needed analyses gend...

Algebraic lambda-calculi have been studied in various ways, but their semantics remain mostly untouched. In this paper we propose a semantic analysis of a general simply-typed lambda-calculus endowed with a structure of vector space. We sketch the relation with two established vectorial lambda-calculi. Then we study the problems arising from the addition of a fixed point combinator and how to m...

This chapter surveys selected highlights of the evolution of modem ideas about the molecular organization of biological membranes . The survey is in no sense complete, and references 1-14 may be consulted for more details on the topics covered here . Many important topics left almost or completely untouched include membrane transport (15-21), black lipid films (22-31), and many aspects of membr...