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.
With the rapid development of educational information, the market demand for early childhood education software is increasing. But the evaluations of early childhood education softwares have fallen behind the development of software products. In this paper, we take the United States Haugland / Shade as evaluation criteria to evaluate those Apps with great download amount and with better feedbacks...
This paper presents ionospheric scintillation data recorded at SANAE in Antarctica during a moderate geomagnetic storm on 20–21 January 2016 which gives evidence of the advantages of the new generation of instrumentation for monitoring ionospheric scintillation. The data was collected as part of the DemoGRAPE project aimed at the demonstration of cutting edge technology for the empirical assessment...
Identification of runoff generation areas and erosion prone zones of a watershed are important for the efficient and effective implementation of the greatest management practices for preserving the natural resources. In the present study, an effort is completed to recognize the critical erosion-prone zones of the study area by using the spatially distributed parameters liable for hazards of erosion...
Particulate matters (PM) have substantial influences on environmental system, climate change and public health. Ground based PM2.5 concentration measurement is insufficient in many circumstances. In this study, we using satellite retrieved AOD and other meteorological parameters such as the planetary boundary layer height (PBLH), temperature (TEMP), relative humidity (RH), U wind component (U), V...
A new radiometry and design framework has been introduced in the latest Digital Imaging and Remote Sensing Image Generation model (DIRSIG5) that allows for faster simulations while streamlining the generation of high-fidelity radiometric data. The same framework that allows for improved computational performance has also modularized simulation components to allow for extensive interchangeability based...
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...
Defect prediction models help software organizations to anticipate where defects will appear in the future. When training a defect prediction model, historical defect data is often mined from a Version Control System (VCS, e.g., Subversion), which records software changes at the file-level. Software metrics, on the other hand, are often calculated at the class- or method-level (e.g., McCabe's Cyclomatic...
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...
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.