Cover Image

Extension of the program synthesis system to analyze large data sets

Saved in:

Bibliographic Details
Date:	2018
Main Author:	O. M. Ovdii
Format:	Article
Language:	English
Published:	2018
Series:	Problems in programming
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000882040
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

Extension of the program synthesis system to analyze large data sets
by: Ovdii, O.M.
Published: (2018)

Application of decomposition algorithms to speed up processing of large data sets in GIS
by: I. Kotuliak, et al.
Published: (2022)

Software system for analyzing cloudiness based on satellite observations
by: Yu. Doroshenko, et al.
Published: (2019)

Software system for analyzing cloudiness based on satellite observations
by: Doroshenko, А.Yu., et al.
Published: (2019)

Analyzing the Centralized Heat Provision of Large Localities in Ukraine and Countries of the World
by: M. O. Kyzym, et al.
Published: (2021)

Erlangen Program at Large-1: Geometry of Invariants
by: Kisil, V.V.
Published: (2010)

On some properties of the set of Lyapunov 's functions in the theory of linear extensions of dynamical systems on the torus
by: Stepanenko, N.V.
Published: (2001)

Evolutional extensions and analogues of the operation of union for basic changeable sets.
by: Ya. I. Hrushka
Published: (2014)

The Statistical Methods for Analyzing Social Media Data
by: O. O. Tumanov
Published: (2020)

Setting the Task of Evaluation of Security of Integration Development of Large-Scale Economic-Production Systems
by: O. M. Hutsaliuk
Published: (2016)

Automaton extensions of mappings on the set of words defined by finite Mealy automata
by: Osys, M.
Published: (2005)

The integrated program medium of data processing of hydroacoustic systems
by: M. I. Pronenko, et al.
Published: (2013)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
by: Bača, J., et al.
Published: (2003)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
by: Bača, J., et al.
Published: (2015)

Green-Samoilenko function and existence of integral sets of linear extensions of nonautonomous equations
by: Asrorov, F. A., et al.
Published: (1994)

Some Remarks on Spectral Synthesis Sets
by: Joseph, J., et al.
Published: (2015)

Some Remarks on Spectral Synthesis Sets
by: J. Joseph, et al.
Published: (2015)

Some Remarks on Spectral Synthesis Sets
by: Joseph, J., et al.
Published: (2015)

Synthesis of an automaton specified by the set of clauses
by: Chebotarev, A.N.
Published: (2015)

Superintegrable Extensions of Superintegrable Systems
by: Chanu, C.M., et al.
Published: (2012)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
by: Yu. Doroshenko, et al.
Published: (2018)

Study of spatial organization of plant actin filaments on cold action by MicroFilament analyzer program
by: S. H. Plokhovska, et al.
Published: (2016)

Design Data Synthesis of Complicated Systems on Basis of Prototypes
by: N. M. Borgest, et al.
Published: (2013)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
by: Doroshenko, А.Yu., et al.
Published: (2018)

Automated subsystem for processing and analyzing seismic data from the Carpathian region
by: Verbytskyi, S. T., et al.
Published: (2019)

Agency-organized programming for the exercise of great data sheets
by: M. V. Mashkina, et al.
Published: (2018)

Formalized design and synthesis of parallel programs for videographic shortcuts
by: Doroshenko, A.Yu., et al.
Published: (2025)

Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System
by: Prihodko, P.P.
Published: (2015)

Automated program design for solution of weather forecasting problem
by: Yu. Doroshenko, et al.
Published: (2016)

On subharmonic extension and extension in the Hardy-Orlicz classes
by: Riihentaus, J, et al.
Published: (1993)

Technologies Modeling for Processing Large Data on the Local Cloud Platform
by: A. P. Lozinskij, et al.
Published: (2017)

On subharmonic extension and extension in the Hardy-Orlicz classes
by: Riihettiaus, J., et al.
Published: (1993)

Multi-Component Extension of CAC Systems
by: Zhang, Dan-Da, et al.
Published: (2020)

Connection Problem for an Extension of -Hypergeometric Systems
by: Nobukawa, Takahiko
Published: (2022)

Analyzing the models of systems with heterogeneous servers
by: A. Z. Melikov, et al.
Published: (2020)

Vector Data Structure Research in Scala Programming Language
by: A. N. Primushko
Published: (2019)

Estimation of expediency of classification of multivariate data to the set attribute
by: E. M. Farkhadzade, et al.
Published: (2015)

Aleph program system
by: M. Liubinin
Published: (1996)

Analyzing the existing types of wind-diesel systems
by: A. M. Donets
Published: (2014)

On large deviations of empirical estimates in a stochastic programming problem with nonstationary observations and continuous time
by: P. S. Knopov, et al.
Published: (2019)