|
|
|
|
|
Yiming Fan and Meng Wang
Software specifications are of great importance to improve the quality of software. To automatically mine specifications from software systems, some specification mining approaches based on finite-state automatons have been proposed. However, these appro...
ver más
|
|
|
|
|
|
|
|
|
|
|
Ujwal Sharma, Uma Shankar Medasetti, Taher Deemyad, Mustafa Mashal and Vaibhav Yadav
This review paper addresses the escalating operation and maintenance costs of nuclear power plants, primarily attributed to rising labor costs and intensified competition from renewable energy sources. The paper proposes a paradigm shift towards a techno...
ver más
|
|
|
|
|
|
|
|
|
|
|
Danjie Chen, Yan Zheng, Liqun Ma and Fen Qin
Typhoons are destructive weather events. News media reports contain large amounts of typhoon information. Transforming this information into useful knowledge to provide a basis for mining typhoon knowledge and supporting disaster prevention and relief is...
ver más
|
|
|
|
|
|
|
|
|
|
|
Frank Mwombeki
Pág. 362 - 371
|
|
|
|
|
|
|
|
|
|
|
Navruz Madibragimov
Pág. 79 - 86
Today, computational linguistics of the Tajik language is at the origin of its development. In order to develop this area, the author of this article is developing a project for the formalization of inflections of the Tajik language for computer morpholo...
ver más
|
|
|
|
|
|
|
|
|
|
|
David Rajaratnam, Torsten Schaub, Philipp Wanko, Kai Chen, Sirui Liu and Tran Cao Son
A warehouse delivery problem consists of a set of robots that undertake delivery jobs within a warehouse. Items are moved around the warehouse in response to events. A solution to a warehouse delivery problem is a collision-free schedule of robot movemen...
ver más
|
|
|
|
|
|
|
|
|
|
|
Juarez Machado da Silva, Gabriel de Oliveira Ramos and Jorge Luis Victória Barbosa
The Shortest Path (SP) problem resembles a variety of real-world situations where one needs to find paths between origins and destinations. A generalization of the SP is the Dynamic Shortest Path (DSP) problem, which also models changes in the graph at a...
ver más
|
|
|
|
|
|
|
|
|
|
|
Sanaa Alwidian, Daniel Amyot and Yngve Lamo
A model family is a set of related models in a given language, with commonalities and variabilities that result from evolution of models over time and/or variation over intended usage (the spatial dimension). As the family size increases, it becomes cumb...
ver más
|
|
|
|
|
|
|
|
|
|
|
Maasago Mercy Sepadi and Vusumuzi Nkosi
According to the best of our knowledge, there are no critical studies to date about associations between the work environment and prevalence of respiratory diseases and their symptoms among urban informal vendors in South Africa. This study followed a ri...
ver más
|
|
|
|
|
|
|
|
|
|
|
A. Yair Grinberger, Marco Minghini, Levente Juhász, Godwin Yeboah and Peter Mooney
This paper is an Editorial for the Special Issue titled ?OpenStreetMap as a multidisciplinary nexus: perspectives, practices and procedures?. The Special Issue is largely based on the talks presented in the 2019 and 2020 editions of the Academic Track at...
ver más
|
|
|
|
|
|