With the rapid decline in cost of sequencing, it is now affordable to examine multiple genes in a single disease-targeted clinical test using next generation sequencing. Current targeted sequencing methods require a separate step of targeted capture enrichment during sample preparation before sequencing. Although there are fast sample preparation methods… (More)
This paper presents the problem of designing a sliding mode controller via static output feedback for a class of fractional order time-varying mismatched uncertain systems, in which all states are unavailable and estimated states are not required. On the basis of auxiliary system, a sliding mode control law with output feedback characteristics is researched… (More)
—As the traffic load control is very important for the task scheduling in wireless sensor networks, this paper discusses how to design an effective routing algorithm for wireless sensor networks with traffic load constrained. Firstly, internal structure of a sensor node in wireless sensor networks is analyzed. Secondly, how to design an effective traffic… (More)
In this paper we present a proof-based method of developing ontologies that satisfy requirements, where the proof process guides the development of the ontology. We formally define our procedure and illustrate it with examples.
In this thesis we present a negotiation protocol in the context of the Ontology Repair System (ORS). Our aim is to enable agents to negotiate in real-time over potential ontology repairs. Based on this goal, we devise, implement, and evaluate an agent negotiation model. The model's goal is to orchestrate the negotiation, thus allowing the agents to reach an… (More)