|
|
|
|
|
Tri Utomo, Eristia Arfi
Pág. 96 - 99
The persistently inequality of development between major cities and surrounding areas caused the displacement process, that are transport of supplies or human itself (urbanization) or commonly known as the transportation. The government has set a number ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Andrey Lavrenov, Elena Tolkacheva and Sergei Pozdniakov
The computational capabilities of computer tools expand the student?s search capabilities. Conducting computational experiments in the classroom is no longer an organizational problem. This raises the ?black box? problem, when the student perceives the c...
ver más
|
|
|
|
|
|
|
|
|
|
|
Zhixi Hu, Yi Zhu, Xiaoying Chen and Yu Zhao
Autonomous driving is a safety-critical system, and the occupancy of its environmental resources affects the safety of autonomous driving. In view of the lack of safety verification of environmental resource occupation rules in autonomous driving, this p...
ver más
|
|
|
|
|
|
|
|
|
|
|
Juan-Sebastian Rincon-Tabares, Juan C. Velasquez-Gonzalez, Daniel Ramirez-Tamayo, Arturo Montoya, Harry Millwater and David Restrepo
Solving transient heat transfer equations is required to understand the evolution of temperature and heat flux. This physics is highly dependent on the materials and environmental conditions. If these factors change with time and temperature, the process...
ver más
|
|
|
|
|
|
|
|
|
|
|
Guozhi Li, Shuizhong Zou, Shuxue Din and Bin Qi
This paper presents a modified model for hand?eye calibration based on dual quaternion algebra. By using dual quaternions to represent the rotations and translations of a rigid body simultaneously in the task space, the formulation is elegant for the ana...
ver más
|
|
|
|
|
|
|
|
|
|
|
Alejandro Ruvalcaba García,Tomás González Morán
Pág. 121 - 131
The analytic hierarchy analysis process allowed establishing a hierarchical model of a target function under a set of criteria aimed at choosing the best sites for the installation of wind farms in the north of Mexico. In this study, a large number of kn...
ver más
|
|
|
|
|
|
|
|
|
|
|
Wytse Oortwijn, Dilian Gurov and Marieke Huisman
Modern concurrent and distributed software is highly complex. Techniques to reason about the correct behaviour of such software are essential to ensure its reliability. To be able to reason about realistic programs, these techniques must be modular and c...
ver más
|
|
|
|
|
|
|
|
|
|
|
Limin Shen, Hui Li, Hongyi Wang, Yihuan Wang, Jiayin Feng and Yuqing Jian
On the Android platform, information leakage can use an application-layer privilege escalation attack composed of multi-app collusion. However, the detection effect of a single app that can construct privilege escalation attacks is not good. Furthermore,...
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
|
|
|
|
|
|
|
|
|
|
|
Mykhailo Solomko,Nataliia Khomiuk,Yakiv Ivashchuk,Vitalii Nazaruk,Vikroriia Reinska,Liudmyla Zubyk,Anzhela Popova
Pág. 19 - 34
The studies have established the possibility of reducing computational complexity, higher productivity of minimization of the Boolean functions in the class of expanded normal forms of the Sheffer algebra functions by the method of image transformations....
ver más
|
|
|
|
|
|