|
|
|
|
|
Chao He, Xinghua Zhang, Dongqing Song, Yingshan Shen, Chengjie Mao, Huosheng Wen, Dingju Zhu and Lihua Cai
With the popularization of better network access and the penetration of personal smartphones in today?s world, the explosion of multi-modal data, particularly opinionated video messages, has created urgent demands and immense opportunities for Multi-Moda...
ver más
|
|
|
|
|
|
|
|
|
|
|
Yati Phyo, Moe Nandi Aung, Canh Minh Do and Kazuhiro Ogata
Termination or halting is an important system requirement that many systems should satisfy and can be expressed in linear temporal logic as eventual properties. We devised a divide-and-conquer approach to eventual model checking in order to reduce the st...
ver más
|
|
|
|
|
|
|
|
|
|
|
Xinglu He, Pengfei Wang, Kai Lu and Xu Zhou
A multi-priority scheduling path exploration technology based on abstract syntax tree analysis.
|
|
|
|
|
|
|
|
|
|
|
Mohamad Norherman Shauqee, Parvathy Rajendran and Nurulasikin Mohd Suhadis
This paper presents an optimization algorithm named Random Explosion Algorithm (REA). The fundamental idea of this algorithm is based on a simple concept of the explosion of an object. This object is commonly known as a particle: when exploded, it will r...
ver más
|
|
|
|
|
|
|
|
|
|
|
Vaishnavi Thakar
The world witnessed the COVID-19 pandemic in 2020. The first case of COVID-19 in the United States of America (USA) was confirmed on 21 January 2020, in Snohomish County in Washington State (WA). Following this, a rapid explosion of COVID-19 cases was ob...
ver más
|
|
|
|
|
|
|
|
|
|
|
Viktor Kostenko,Yaroslav Liashok,Olena Zavialova,Serhii Pozdieiev,Tetiana Kostenko
Pág. 54 - 62
The purpose of this paper is to improve the mechanism that forms an explosive environment within the workings' space from the accumulated coal dust, based on determining the dynamic deformations under the influence of an explosion in the material that co...
ver más
|
|
|
|
|
|