We analyse two translations from the synchronous into the asynchronous π-calculus, both without choice, that are often quoted as standard examples of valid encodings, showing that the asynchronous π-calculus is just...
详细信息
This paper provides a formal analysis of the regularities of functioning and development of economic crimes. It was expedient to find out the conditions in which theft would not be worthwhile, i.e., supplement legal r...
详细信息
Inspired by the visual system of the fruit fly, we had created a generic building block for neuromorphic hardware that is vital for third generation neural networks. This enables time delay to be parametrized in a che...
Inspired by the visual system of the fruit fly, we had created a generic building block for neuromorphic hardware that is vital for third generation neural networks. This enables time delay to be parametrized in a cheap and inexpensive way. The advantage of our proposal is the possibility of building and testing new networks using dynamicist approach in artificial intelligence.
Economic and mathematical model of a group of gas fields is considered allowing forming the group development strategies for the long-term perspective. An algorithm for calculating the dynamics of gas production by fi...
详细信息
Logistic Regression (LR) is a widely used statistical model for classification problems. However, its training and evaluation in a shared environment increase the possibility of information leaking. A federated LR red...
详细信息
ISBN:
(数字)9798350354812
ISBN:
(纸本)9798350354829
Logistic Regression (LR) is a widely used statistical model for classification problems. However, its training and evaluation in a shared environment increase the possibility of information leaking. A federated LR reduces security issues by using only locally available data for training. In a Federated Learning (FL) environment, LR receives the coefficients of local models to create the federated LR model, which is then distributed to update the local models. The exchange process does not leak confidential information when LR coefficients are encrypted. Homomorphic Encryption (HE) allows the merging of local LR models with privacy preservation (HE-LR). This work presents a novel training policy to reduce the training time with only slightly decreased quality in an FL environment with HE. We analyze the accuracy and time of FL policies with HE-LR that progressively reduce the amount of training data and exchange the LR coefficients in a privacy-preserving manner. The results show that the proposed policy can speed up the training time between 12% and 69%, compared to the traditional FL approach, with an average decrease in accuracy of 1.79% and 1.95%.
The number of annual scientific publications is growing year by year, which has led to the accumulation and formation of large databases. This increases the complexity of the search for relevant articles. Modern searc...
详细信息
Abstract-The article presents the history of the development of sports programming as a sport in Russia. The main stages of the formation of the legislative basis for this sport are given. The rationale and descriptio...
详细信息
ISBN:
(数字)9798350353532
ISBN:
(纸本)9798350353549
Abstract-The article presents the history of the development of sports programming as a sport in Russia. The main stages of the formation of the legislative basis for this sport are given. The rationale and description of the process of training athletes in higher education institutions are given - possible traj ectories in the disciplines of “algorithmic programming” and “product programming”, the influence of the development of sports programming on improving the quality of IT education. As an example, the organization of training students in the discipline of “algorithmic programming” at the Lipetsk State Technical University is given. The activities of the Lipetsk regional branch of the All- Russian Sports Federation to popularize this sport including among students are also described.
This research introduces a novel approach, MBO-NB, that leverages Migrating Birds Optimization (MBO) coupled with Naive Bayes as an internal classifier to address feature selection challenges in text classification ha...
详细信息
With the increasing number of IoT devices, there is a growing need for bandwidth to support their communication. Unfortunately, there is a shortage of available bandwidth due to preallocated bands for various services...
详细信息
AR navigation is one of the interactive ways to use augmented reality. By displaying virtual guides in physical space using a smartphone, users can navigate from point to point more naturally than by comparing the map...
AR navigation is one of the interactive ways to use augmented reality. By displaying virtual guides in physical space using a smartphone, users can navigate from point to point more naturally than by comparing the map to their immediate environment. Thanks to this great advantage, AR navigation can help in searching both inside the academic building and on the territory of the institute. In this paper, the authors used 3DUnity and AR Foundation to create a navigation system around the territory of NTU "KhPI" using augmented reality technology. This development will allow you to navigate the terrain of the KhPI campus, find the location of the desired building, and also look the route from building to building on the map. The whole process is displayed on the smartphone screen. Real-time synchronization allows users in real world to feel virtual space, thereby enhancing poignancy and interaction, and making effect more vivid and almost real.
暂无评论