Headings of the journal
"Educational Resources and Technologies"
All rubrics
Release: 2016-2 (14)
Keywords: OLAP, data warehousing, online analytical processing, TOFI technology
Annotation: The article deals with the analysis and visualization of multidimensional data Tofi technology means. We describe the technological features of the construction of the Tofi data warehouse, multidimensional cubes and slices of cubes. The main purpose of the Tophi technology is to support analytical activities, ad-hoc query users and analysts
Towards the correspondence between structure of pine chloroplast genomes and their phylogeny
Release: 2016-2 (14)
Keywords: DNA, string, frequency, distribution, correlation, evolution, order
Annotation: Some results are presented exploring the problem of the relation between the phylogeny of various species and taxa, and the structure of corresponding DNA sequences. The features of the methods used are shown in this work. And also presents conclusions on the results obtained
Assessing the impact of external factors on the Russian real estate market
Release: 2016-2 (14)
Keywords: crisis, construction industry, market of real state, correlations, adaptation
Annotation: The results of analysis of the Russian construction industry using the correlation and dispersion of data are described in the article. This research proves that the method of correlation adaptometry is effective in the analysis of the real estate market and prediction of crises
Verification of parallel functional dataflow programs using interval formulas
Release: 2016-2 (14)
Keywords: verification, specification, parallel programming, functional programming
Annotation: The article describes the original method of verification of programs in functional-stream parallel programming language Pythagoras using interval constants for the specifications of the program
Semantics of program data types for functional data-flow parallel programming language Pifagor
Release: 2016-2 (14)
Keywords: axiomatic semantics of program data types, functional data-flow parallel programming, Pifagor programming language
Annotation: The article is devoted to formal semantics for data types of functional data-flow parallel programming language Pifagor. Mathematical semantics based on naive (informal) set theory and axiomatic semantics are concerned