Результати для

Результати для Показ 2151 - 2200 результатів із 352885 Laminas_Feed_Writer 2 (https://getlaminas.org) https://harvester.nas.gov.ua/Search/Results?sort=last_indexed+desc&limit=50&page=44&type=Subject&lng=uk 352885 2150 50 The practical approach for realization Semantic Web applications Tue, 02 Jun 2026 01:01:37 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-943 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-943 Deretskiy, V.A. Стаття 2026 Deretskiy, V.A. 0 Semantics role in integration of applications on the basis of Web services Tue, 02 Jun 2026 01:01:36 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-940 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-940 Andon, P.I. Стаття 2026 Andon, P.I. 0 Adaptability measurement of e-learning courses Tue, 02 Jun 2026 01:01:35 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-939 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-939 Lyubchenko, V.V. Стаття 2026 Lyubchenko, V.V. 0 Testing of interest to game Tue, 02 Jun 2026 01:01:32 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-937 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-937 Kozhaev, V.V. Стаття 2026 Kozhaev, V.V. 0 E-ditorial: virtualization of work of scientific journal editorial board Tue, 02 Jun 2026 01:01:32 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-938 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-938 Darevich, R.R. Стаття 2026 Darevich, R.R. 0 Methodical support of adaptive regulator design by software of LabVIEW Tue, 02 Jun 2026 01:01:31 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-936 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-936 Zherebko, V.A. Стаття 2026 Zherebko, V.A. 0 Entity-substance characteristics of educational environment Tue, 02 Jun 2026 01:01:30 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-935 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-935 Parfirova, T.S. Стаття 2026 Parfirova, T.S. 0 Recursive queries in SQL: samples, intensional and formal semantics Tue, 02 Jun 2026 01:01:29 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-934 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-934 Buy, D.B. Стаття 2026 Buy, D.B. 0 Automated creation of rules fo data access control by resources using DBMS Tue, 02 Jun 2026 01:01:26 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-931 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-931 Blazhko, A.A. Стаття 2026 Blazhko, A.A. 0 Financial and economic ontology of information storage Tue, 02 Jun 2026 01:01:26 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-932 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-932 Melashchenko, A.O. Стаття 2026 Melashchenko, A.O. 0 About bypassing of multivalued dependency in the relational data model Tue, 02 Jun 2026 01:01:26 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-933 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-933 Panchenko, B.E. Стаття 2026 Panchenko, B.E. 0 The Models of DBMS benchmark Tue, 02 Jun 2026 01:01:25 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-930 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-930 Blazhko, A.A. Стаття 2026 Blazhko, A.A. 0 System of the automated carrying over of contents electronic documents in DB IS Tue, 02 Jun 2026 01:01:24 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-929 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-929 Blazhko, A.A. Стаття 2026 Blazhko, A.A. 0 Query optimization from DL/1 (IMS) to sol Tue, 02 Jun 2026 01:01:21 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-925 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-925 Anisimov, A.V. Стаття 2026 Anisimov, A.V. 0 Formal-logical approach to building analysis systems of knowledge in different domains Tue, 02 Jun 2026 01:01:21 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-926 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-926 Palagin, O.V. Стаття 2026 Palagin, O.V. 0 Design of ontological system of terms and their cognitive models in scientific research Tue, 02 Jun 2026 01:01:21 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-927 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-927 Rogushina, J.V. Стаття 2026 Rogushina, J.V. 0 Backward transformation of formulas in symbolic modeling: from the result to the source formula Tue, 02 Jun 2026 01:01:19 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-923 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-923 Godlevsky, A.B. Стаття 2026 Godlevsky, A.B. 0 Environmental aspects of reprezantation knowlend in algebra of algorithmic Tue, 02 Jun 2026 01:01:19 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-924 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-924 Zeitlin, G.E. Стаття 2026 Zeitlin, G.E. 0 Specification Based Program Construction and Verification in Composition-Nominative Language CNLS Tue, 02 Jun 2026 01:01:15 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-920 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-920 Bezverha, M.A. Стаття 2026 Bezverha, M.A. 0 Methods of automated algorithms schemes transformation Tue, 02 Jun 2026 01:01:15 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-921 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-921 Shkulipa, I.Yu. Стаття 2026 Shkulipa, I.Yu. 0 Solving contest problems via formal program verification Tue, 02 Jun 2026 01:01:15 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-922 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-922 Shilov, N.V. Стаття 2026 Shilov, N.V. 0 Implementation of rich web-applications based on taucode library Tue, 02 Jun 2026 01:01:14 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-917 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-917 Kovalenko, A.S. Стаття 2026 Kovalenko, A.S. 0 The algebro-logical approach to the analysis and processing of the text information Tue, 02 Jun 2026 01:01:14 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-918 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-918 Palagin, O.V. Стаття 2026 Palagin, O.V. 0 Interactive assessment of simulated service qualities by business stakeholders: principles and research issues Tue, 02 Jun 2026 01:01:10 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-914 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-914 Shekhovtsov, V.A. Стаття 2026 Shekhovtsov, V.A. 0 Crosscertification of Ukraine Tue, 02 Jun 2026 01:01:10 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-915 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-915 Melashchenko, A.O. Стаття 2026 Melashchenko, A.O. 0 Estimation of reliability of modular software Tue, 02 Jun 2026 01:01:10 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-916 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-916 Antsypov, A.V. Стаття 2026 Antsypov, A.V. 0 Modifications effective implementation generator tests Tue, 02 Jun 2026 01:01:09 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-913 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-913 Andriyanov, V.A. Стаття 2026 Andriyanov, V.A. 0 Engineering of software development processes quality by means of Petri Nets Tue, 02 Jun 2026 01:01:08 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-912 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-912 Matveeva, L.E. Стаття 2026 Matveeva, L.E. 0 An improvement for software families’ development with agile methodologies’ elements Tue, 02 Jun 2026 01:01:05 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-910 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-910 Koval, G.I. Стаття 2026 Koval, G.I. 0 Cyberakmeology concept and principles projection programm-technology systems Tue, 02 Jun 2026 01:01:05 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-911 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-911 Antonov, V.M. Стаття 2026 Antonov, V.M. 0 Towards effectiveness estimation of post object-oriented technologies at software maintenance Tue, 02 Jun 2026 01:01:04 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-909 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-909 Tkachuk, N. Стаття 2026 Tkachuk, N. 0 Maintenance of Availability and Operation Proceeding Aviation Software Tue, 02 Jun 2026 01:01:03 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-906 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-906 Lutsky, M.G. Стаття 2026 Lutsky, M.G. 0 Monitoring design flaws in object-oriented software Tue, 02 Jun 2026 01:01:03 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-908 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-908 Nechay, A.S. Стаття 2026 Nechay, A.S. 0 Test scenarios generation based on formal model Tue, 02 Jun 2026 01:00:59 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-903 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-903 Letichevsky, A.A. Стаття 2026 Letichevsky, A.A. 0 AWP – instrument for project and programming complex systems on the base system analisys Tue, 02 Jun 2026 01:00:59 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-904 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-904 Antonov, V.M. Стаття 2026 Antonov, V.M. 0 Metrics selection for the software properties Tue, 02 Jun 2026 01:00:59 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-907 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-907 Dyshlevyi, O.P. Стаття 2026 Dyshlevyi, O.P. 0 Approach to improve efficiency of service-oriented systems using estimation and distribution of load Tue, 02 Jun 2026 01:00:58 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-901 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-901 Tulika, E.M. Стаття 2026 Tulika, E.M. 0 Automatically adjustable parallel algorithm for solving multidimensional problem of environmental modeling Tue, 02 Jun 2026 01:00:57 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-902 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-902 Ivanenko, P.A. Стаття 2026 Ivanenko, P.A. 0 Automatic Dynamic Semiautomatic Parallelizing for Heterogeneous Multicomputer Systems Tue, 02 Jun 2026 01:00:54 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-899 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-899 Levchenko, R.I. Стаття 2026 Levchenko, R.I. 0 Multi-Comparand Associative Machine and its Application to Relational Algebra Operations Tue, 02 Jun 2026 01:00:54 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-900 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-900 Nepomniaschaya, A.S. Стаття 2026 Nepomniaschaya, A.S. 0 A cluster management system for INPARCOM HPC-cluster computers Tue, 02 Jun 2026 01:00:48 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-897 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-897 Yushchenko, R.A. Стаття 2026 Yushchenko, R.A. 0 Genetic algorithm for solving routing problems in networks Tue, 02 Jun 2026 01:00:48 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-898 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-898 Pogorilyy, S.D. Стаття 2026 Pogorilyy, S.D. 0 Formalized design and synthesis of a parallel program for constructing Voronoi diagrams Tue, 02 Jun 2026 01:00:42 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-884 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-884 Berezovsky, K.A. Стаття 2026 Berezovsky, K.A. 0 Method for parallelizing nonlinear tasks Tue, 02 Jun 2026 01:00:42 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-885 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-885 Paulin, O.N. Стаття 2026 Paulin, O.N. 0 Optimization of large datasets processing in cluster systems Tue, 02 Jun 2026 01:00:38 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-886 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-886 Nazarenko, E.V. Стаття 2026 Nazarenko, E.V. 0 I/O benchmarking of data intensive applications Tue, 02 Jun 2026 01:00:37 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-881 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-881 Mordvinova, Olga Стаття 2026 Mordvinova, Olga 0 Parallel realization of the solution of problems of prediction and classification for cluster based on artificial neural networks Tue, 02 Jun 2026 01:00:37 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-882 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-882 Minukhin, S.V. Стаття 2026 Minukhin, S.V. 0 Modeling of computer networks management processes under conflict conditions Tue, 02 Jun 2026 01:00:37 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-883 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-883 Ignatenko, O.P. Стаття 2026 Ignatenko, O.P. 0 Designing tools for network software products. Current state and perspective of development Tue, 02 Jun 2026 01:00:36 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-880 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-880 Glybovets, M.M. Стаття 2026 Glybovets, M.M. 0 Simple non-deterministic rewriting in verification Tue, 02 Jun 2026 01:00:32 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-870 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-870 Letichevsky, A.A. Стаття 2026 Letichevsky, A.A. 0