|
|
|
Marina Bagic Babac,Marijan Kun?tic
Pág. 18 - 30
This paper gives a contribution in the efforts of Semantic web ontology development. We have developed the core ontology for Specification and Description Language (SDL),an object-oriented, formal language defined by the International Telecommunications ...
ver más
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
Giacomo Bergami, Samuel Appleby and Graham Morgan
Current specification mining algorithms for temporal data rely on exhaustive search approaches, which become detrimental in real data settings where a plethora of distinct temporal behaviours are recorded over prolonged observations. This paper proposes ...
ver más
|
|
|
|
|
|
|
Qing Zhao, Honglei Wei and Xianyi Zhai
The proposed method for tire specification character recognition based on the YOLOv5 network aimed to address the low efficiency and accuracy of the current character recognition methods. The approach involved making three major modifications to the YOLO...
ver más
|
|
|
|
|
|
|
Rafaela Dezidério dos Santos Rocha and Márcio Laurini
The multifactor asset pricing model derived from the Fama?French approach is extensively used in asset risk premium estimation procedures. Even including a considerable number of factors, it is still possible that omitted factors affect the estimation of...
ver más
|
|
|
|
|
|
|
Iwona Grobelna and Pawel Szczesniak
In this article, interpreted Petri nets are applied to the area of power and energy systems. These kinds of nets, equipped with input and output signals for communication with the environment, have so far proved to be useful in the specification of contr...
ver más
|
|
|
|
|
|
|
Xi Wang, Weiwei Wang and Hongbo Liu
Product derivation is the process of building a specific product from a software product line. Effective product derivation can improve software reuse productivity. Existing methods can only obtain abstract feature models, lacking detailed specifications...
ver más
|
|
|
|
|
|
|
Mingrui Huang, Xiangtao Fan, Hongdeng Jian, Hongyue Zhang, Liying Guo and Liping Di
The Open Geospatial Consortium (OGC) is an international non-profit standards organization. Established in 1994, OGC aims to make geospatial information and services FAIR-Findable, Accessible, Interoperable, and Reusable. OGC specifications have greatly ...
ver más
|
|
|
|
|
|
|
Jeremy Roussel, Marc Budinger and Laurent Ruet
Helicopter dronization is expanding, for example, the VSR700 project. This leads to the integration of electromechanical actuators (EMAs) into the primary flight control system (PFCS). The PFCS is in charge of controlling the helicopter flight over its f...
ver más
|
|
|
|
|
|
|
Hosam Aljihani, Fathy Eassa, Khalid Almarhabi, Abdullah Algarni and Abdulaziz Attaallah
With the rapid increase of cyberattacks that presently affect distributed software systems, cyberattacks and their consequences have become critical issues and have attracted the interest of research communities and companies to address them. Therefore, ...
ver más
|
|
|
|
|
|
|
Woosuk Sung
This paper describes our best practices related to hybrid power system (HPS) development, with a focus on the specification development phase. The HPS specifications are based on the main development goals of our security robot, which place top priority ...
ver más
|
|
|
|
|
|
|
Lorenzo Fiorineschi, Niccolò Becattini, Yuri Borgianni and Federico Rotini
The definition of a comprehensive initial set of engineering requirements is crucial to an effective and successful design process. To support engineering designers in this non-trivial task, well-acknowledged requirement checklists are available in liter...
ver más
|
|
|
|
|
|
|
Yeran Sun, Xuke Hu, Ying Huang and Ting On Chan
To examine to what extent spatial inequalities in childhood obesity are attributable to spatial inequalities in socioeconomic characteristics across a country, we aimed to investigate the spatial associations of socioeconomic characteristics and childhoo...
ver más
|
|
|
|
|
|
|
Lin Zhu, Nan Li and Luyi Bai
In the context of the Semantic Web, the Resource Description Framework (RDF), a language proposed by W3C, has been used for conceptual description, data modeling, and data querying. The algebraic approach has been proven to be an effective way to process...
ver más
|
|
|
|
|
|
|
An important challenge for safety in machine learning and artificial intelligence systems is a set of related failures involving specification gaming, reward hacking, fragility to distributional shifts, and Goodhart’s or Campbell’s law. This ...
ver más
|
|
|
|
|
|
|
Nate Wessel, Steven Farber
Allen, J. and S. Farber. 2018a. Generating measures of access to employment for Canada?s eight largest urban regions. Technical report, University of Toronto. URL https://osf.io/preprints/socarxiv/pvrd9/.
|
|
|
|
|
|
|
Ik-Hyun Youn and Sung-Cheol Kim
The proposed mathematical maintenance models may be directly applied by the maintenance managers of liquefied natural gas carrier (LNGC) fleets to establish a more reliable and safer LNGC cargo containment maintenance strategy. The proposed framework cou...
ver más
|
|
|
|
|
|
|
Luiz Filipe Paiva Brandão, Paulo Anselmo Ziani Suarez (Author)
Pág. e39571
Butanol, popularly known as butyl alcohol, has been recently recognized by researchers from around the world as a promising component for use in blends with gasoline, because of its very similar physical-chemical properties. In this study, butan-1-ol (n-...
ver más
|
|
|
|
|
|
|
Xin Liu, Zhongfu Li and Shaohua Jiang
Cost estimation is one of the most critical tasks for building construction project management. The existing building construction cost estimation methods of many countries, including China, require information from several sources, including material, l...
ver más
|
|
|
|
|
|
|
Anhtuan Le, Jonathan Loo, Kok Keong Chai and Mahdi Aiash
Routing Protocol for Low power and Lossy network (RPL) topology attacks can downgrade the network performance significantly by disrupting the optimal protocol structure. To detect such threats, we propose a RPL-specification, obtained by a semi-auto prof...
ver más
|
|
|
|