The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The secondary forest has a low diversity of species, however, they have major importance for the reestablishment of ecosystem functions and nutrient stocks lost from the original forests, as well as higher carbon absorption rate of the mature forests. In this study, we developed an approach using geographic object-based image analysis (GEOBIA) to classify the forest succession stages in a study area...
The integrated avionics system is a platform that integrates a series of flexible, reusable, interoperable hardware and software resources. It enables to implement the decoupled isolation of task software and physical resources under the premise of versatility of hardware resources and configuration of system applications, which can meet the requirements of software system updates and task changes...
Construction of efficient process for managing goods and reducing distance movement of goods to save energy are two important tasks in management warehouse. This paper will present a combination of building algorithms to determine storage location in storage and retrieval process as well as planning optimal route in each travel cycle of goods, their combination helps to manage the goods effectively...
Deduplication is widely adopted in virtual machine(VM) backup to save storage space. However, the deduplication storage could cause serious fragmentation, which severely affects the performance of restoring VMs. Current studies mainly focus on backups from a single data source, whereas the backup of VM images is usually a group of behaviors. Exploiting the block reference helps to defragment deduplication...
Spreadsheets often contain faults that are difficult to localize. Spectrum-based Fault Localization (SFL) assists users in the fault localization process by ranking cells by their suspiciousness to contain a fault. Since the ranking of the basic SFL approach is often imprecise, we propose three techniques to improve it, i.e., dynamic cones, grouping, and tie-breaking. We evaluate these techniques...
This paper proposes a color attribute compression method for MPEG Point Cloud Compression (PCC) by exploiting the spatial redundancy among the adjacent points. With the increased interest in representing real-world surface as 3D point clouds, compressing the attributes (i.e., colors and normal directions) of point cloud has attracted great attention in MPEG. The proposed method is based on grouping...
Graph Pattern Matching (GPM) plays a significant role in many real applications, where given a graph pattern Q and a data graph G, computing the set M(Q, G) of matching subgraphs of Q in G. However, many applications like the experts recommendation in social networks, often need to find Top-K matches of a designated node v0, rather than the entire set M(Q, G). Moreover, the existing GPM method for...
The aim of the current study was to examine the effectiveness of a meta-cognitive intervention program that uses virtual reality training (VAP-S) to improve the implementation of a shopping task among adolescents with Autism Spectrum Disorder (ASD). The study included 56 adolescents aged 11–19 with ASD, of which 37 performed the intervention program while the remaining 25 formed a control group who...
In this paper we present a correctness proof for Infosoft e-Detailing 1.0 presentation software using Isabelle proof assistant. This work illustrates a method of proving correctness of parallel software using proof assistants. Here we concentrate on the state-based approach for proving a safety property. We also give a comparison of this approach with the correctness proof method that was applied...
The colors of characters suitable to presentation slides were proposed. Here, five color combinations were proposed. A combination has three colors of “Base color,” “Main color,” and “Accent color.” The “Base color” is for the background. The color white is used as the “Base color.” The “Main color” is for the part becoming the frame. The “Accent color” is for the place where we want to emphasize...
Presents the research results in efficiency assessment of contactless technologies of fare payment implementation on public transport. The project effectiveness assessment methodology has been developed on the synthesis method basis of expert assessments and prof. A. Egorshin's methods. The methodology allows to evaluate several effect types from the project implementation and to perform calculations...
This paper presents an adaptive video encoder that can be used to compare the behavior of different adaptation strategies using multiple actuators to steer the encoder towards a global goal, composed of multiple conflicting objectives. A video camera produces frames that the encoder manipulates with the objective of matching some space requirement to fit a given communication channel. A second objective...
Background: Due to tight scheduling and limitedbudget, it may not be possible to resolve all the existing bugsin a current release of a software product. The accumulation ofthe deferred bugs in the issue tracking system are obligations (liabilities) of the software team similar to financial analogyof 'debt'. Defect debt is known as latent defects which arenot resolved in the current release. Aim:...
In order to strengthen the management of taxi and implement effective regulation and control on the taxi operation, one design approach of the operation monitoring and statistics analysis system for taxi based on the GPS information was developed in this paper. Firstly the taxi operation monitoring and statistical analysis index system is drawn up in this paper, and then the key technology of the...
Resilience is usually associated to the capability of a networked infrastructure to guarantee an acceptable service even if some failure occurs. The paper presents a framework based on network analysis and software hydraulic simulation to supporting the resilience management in Water Distribution Networks increasing the sustainability of these Cyber Physical Systems while saving water and energy....
Task-parallelism has been exposed as an efficient approach for the solution of dense and sparse linear algebra problems. Hierarchical matrices lie in-between the dense and sparse scenarios and, therefore, it is natural to target this niche of problems via a runtime-based solution that has reported successful results in the recent past for related linear algebra problems. Concretely, in this paper...
Software developers often need to repeat similar modifications in multiple different locations of a system's source code. These repeated similar modifications, or systematic edits, can be both tedious and error-prone to perform manually. While there are tools that can be used to assist in automating systematic edits, it is not straightforward to find out where the occurrences of a systematic edit...
Over the course of time an organization working with geospatial data accumulates tons of data both in the form of vector and raster formats. This data is a result of coordinated processes within the organization and external sources such as other collaborative organizations, projects and agencies, crowd sourcing efforts, etc. The massive amount of data accumulated as a result and the recent developments...
As for the traditional Internet, network management usually did not evolve together with the newly introduced networking technology, and becomes a post-technology these days. In order to avoid patching Software-Defined Networking (SDN) later, an additional management plane may possibly be of great significance. Currently, both SDN management and non-SDN network management still coexist, and Simple...
In the emerging field of big data, a large volume of data has to be managed, operating on data of huge volume becomes easier when it's sorted and structured. The data can be structured using a simple algorithm i.e. index algorithm which stores and categories data on basis of their application. This in turn will be very beneficial on business level as well as on software level.
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.