Search Results

At present, there is a pressing need for data scientists and academic researchers to devise advanced machine learning and artificial intelligence-driven systems that can effectively tackle forthcoming security challenges. This is due to the rapid ...

Policies aim to increase the penetration of renewable energy resources (RERs) to minimize the dependence on fossil fuels, have compelled different countries to devise their diverse blueprints by transforming smart grids infrastructure into ...

In this constantly evolving landscape of urbanization, the relationship between technology and automation, in regards to sustainability, holds immense significance. The intricate strands of human intelligence are seamlessly interwoven with the ...

• Technical advancement needed for transformation of home automation to a next level.
• Smart cities that build from the foundation of homes automations have been discussed.
• Comparison with the existing papers to unlock new research ...

The effective robust management of plant requires the implementation of industrial alarm systems in a very significant capacity. The core objective of alarms is to warn the operator of critical operational deviations and these ...

This paper deals with the distributed economic dispatch problem (EDP) using incremental cost (IC) consensus approach for multiple distributed generators (DGs) integrated in a smart grid under supply-demand constraint. The communication topology ...

Using single switch scanning with a mobile Smartphone can often be frustrating and slow to use. Phone functions, such as answering a call, either have specific timeout imitations that are set by service providers or may not be accessible using non-...

This paper presents Sip4J, a fully automated, scalable and effective tool to automatically generate access permission contracts for a sequential Java program. The access permission contracts, which represent the dependency of code blocks, have been ...

We present a case study on the verification of the design of a commercial multi-threaded task server (MTTS), developed by the Novabase company, used for massively parallelizing computational tasks. In a first stage, we employed the Plural tool, which is ...

A disaster is the impact of natural or man-made hazard and all the disasters require mitigation measures. Current Disaster Management Systems are dependent upon manual data entry, analysis, and decision making. Semantic Web technologies have actively ...

For the management of disasters, the use of Natural Language Processing (NLP) for the extraction of facts is in its early stages. Some of the systems are being developed but they are not addressing the specific problem of disaster management. Most of ...

In this case study, we used the Plural tool to verify the design of a commercial multi-task threaded application (MTTS) implemented by Novabase, which has been used for massively parallelising computational tasks. The effort undertaken in this case ...