With the advancement in smart grid and energy devices, demand response becomes one of most economic feasible solutions to ease load stress power grids during peak hours. In this work, we propose a fully decentralized ensemble control framework with consensus for (DR) events compatible methods based on random policies. We show that under is tailored DR, our proposed method yields same optimality...

This paper examines to what extent automated guided vehicles’ (AGV) batteries can be used as a mobile electrical energy storage increase flexibility and reduce peak loads in manufacturing plants. First, it is indicated, demand response shaving mean. Then, existing battery applications for are presented. Finally, the benefits potential of using AGVs company illustrated, after an approximate cost...

Text classification is the automated assignment of natural language texts to predefined categories based on their content. Text classification is the primary requirement of text retrieval systems, which retrieve texts in response to a user query, and text understanding systems, which transform text in some way such as producing summaries, answering questions or extracting data. Now a day the de...

In recent years there has been a growing demand for Automated Theorem Proving (ATP) in large theories, which often have more axioms than can be handled effectively as normal internal axioms. This work addresses the issues of accessing external sources of axioms from a first-order logic ATP system, and presents an implemented ATP system that retrieves external axioms asynchronously, on demand.