Learn More
We represent a <italic>set of possible worlds</italic> using an incomplete information database. The representation techniques that we study form a hierarchy, which generalizes relations of constants. This hierarchy ranges from the very simple Codd-table, (i e , a relation of constants and distinct variables called nulls, which stand for values present but(More)
BACKGROUND The first identified cases of avian influenza A(H7N9) virus infection in humans occurred in China during February and March 2013. We analyzed data obtained from field investigations to describe the epidemiologic characteristics of H7N9 cases in China identified as of December 1, 2013. METHODS Field investigations were conducted for each(More)
Answer set programming is a programming paradigm where a given problem is formalized as a logic program whose answer sets correspond to the solutions to the problem. In this paper, we link answer set programming with another widely applied paradigm, viz. mixed integer programming. As a theoretical result, we establish translations from non-disjunctive logic(More)
Database-as-a-Service(DAS)model is a new data management model which allow users to outsource their data to database service providers(DSP). Since data is stored in cryptograph form at DSP, the query efficiency becomes a critical problem. Existing solutions for this problem concentrate mostly on cryptograph index technology. In this paper, according to(More)
Studies have demonstrated that mesenchymal stromal cells (MSCs) could reverse acute and chronic kidney injury by a paracrine or endocrine mechanism, and microvesicles (MVs) have been regarded as a crucial means of intercellular communication. In the current study, we focused on the therapeutic effects of human Wharton-Jelly MSCs derived microvesicles(More)
Business workflow assembles together a collection of tasks or activities in order to accomplish a business objective. Management of business workflows is facing many significant challenges, including in particular design, making changes, interoperations, etc. A key step in addressing these challenges is to develop techniques for mapping logical workflow(More)
Non-Boolean variables are important primitives in logical modeling. For instance, in Answer Set Programming (ASP), they are used as place holders for constants and more complex ground terms. This is essential for compact and uniform encodings used in ASP although variables are removed in a grounding phase preceding the search for answer sets. On the other(More)
Based on some well-documented reports, we attempted to clarify the antifibrotic mechanisms of human Wharton’s-jelly-derived mesenchymal stromal cells (WJ-MSCs) from the perspective of induction of hepatocyte growth factor (HGF) expression in tubular epithelial cells (TECs). A rat model of acute kidney injury (AKI) was established through unilateral renal(More)