Buchumschlag

Model of information object for digital library and its verification

Gespeichert in:

Bibliographische Detailangaben
Datum:	2020
Hauptverfasser:	O. V. Novytskyi, V. A. Reznichenko
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2020
Schriftenreihe:	Problems in programming
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0001163039
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Ähnliche Einträge

Model of information object for digital library and its verification
von: Novitsky, A.V., et al.
Veröffentlicht: (2020)

The task of digital transformation of the scientific information environment
von: Kopanieva, V.O., et al.
Veröffentlicht: (2023)

A device for calibrating and metrological verification of digital seismic recorders
von: S. V. Shcherbina
Veröffentlicht: (2014)

A device for calibrating and metrological verification of digital seismic recorders
von: Shcherbina, S. V.
Veröffentlicht: (2014)

Method of Digital Signature Producing and Verification Based on Recurrent Sequences
von: Iaremchuk, Iu. Е.
Veröffentlicht: (2013)

Extension the UML specification for modeling semantic objects
von: O. V. Novytskyi
Veröffentlicht: (2016)

Models of Integrated Services Digital Network in Information and Library Environment: Compliance to Contemporary Demands
von: I. Hakh
Veröffentlicht: (2015)

Semantic Space for the Verification of Economic Mathematical Models
von: V. L. Petryk
Veröffentlicht: (2013)

Using of numerical modeling for verification of the functional hypothesis
von: Sokolovsky, A.I., et al.
Veröffentlicht: (2007)

Forming of the approach to verification of power system dynamic model
von: V. V. Pavlovskyi, et al.
Veröffentlicht: (2015)

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

Digital project of research library: technological solutions and organization of access to information
von: I. V. Lobuzin
Veröffentlicht: (2017)

Library of digital science
von: V. O. Kopanieva
Veröffentlicht: (2018)

Information Revolution and Its Impact on the Evolution of Libraries
von: V. Petrov
Veröffentlicht: (2001)

Verification of adequacy of mathematical model of process of crystallization of EBCHM ingot
von: V. A. Berezos
Veröffentlicht: (2010)

Modeling and verification methods for application design in heterogeneous architectures
von: S. D. Pohorilyi, et al.
Veröffentlicht: (2020)

Satisfiability For Symbolic Verification in VRS
von: A. Letichevsky, et al.
Veröffentlicht: (2013)

Choosing an Unmanned Aircraft for Implementation the Method of Combined Control of Its Movement with the Purpose to Create Digital Models of Infrastructure Objects
von: S. O. Bondar, et al.
Veröffentlicht: (2023)

Study of Party Mass Media of Ukraine as an Object of Library Informational Activity
von: A. Potikha
Veröffentlicht: (2016)

The Digitalization of the Library Fund of the National Agricultural Scientific Library of the NAAS of Ukraine – the Priority Area of its Storage and Representation
von: V. Verhunov
Veröffentlicht: (2020)

Digital Projects of Public Libraries of Ukraine as a Component of the National Information Space
von: S. Denbnovetskyi
Veröffentlicht: (2022)

An approach to constructing a mathematical model of the signature to determine the monitoring objects using the informativity of its monitoring features
von: O. A. Iliashov, et al.
Veröffentlicht: (2020)

Formal verification of the properties of coreferent resolution model based on decision trees
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2024)

Functionality and Statistics of the use of the scientific digital library of periodical publications of the NAS of Ukraine
von: F. I. Andon, et al.
Veröffentlicht: (2017)

Simple non-deterministic rewriting in verification
von: Letichevsky, A., et al.
Veröffentlicht: (2010)

Theoretical dimension of information-digital economy: Information-digital processes and their attributes
von: V. M. Tarasevych
Veröffentlicht: (2021)

Methodological Basis for Study Political Parties Media as an Object of Library-Informational Activity
von: A. Potikha
Veröffentlicht: (2018)

Functionality and Statistics of the use of the scientific digital library of periodical publications of the NAS of Ukraine
von: Andon, P.I., et al.
Veröffentlicht: (2018)

Verification and validation: process VS procedure
von: V. L. Demekhin, et al.
Veröffentlicht: (2013)

British Library Digital Collection
von: S. Liashenko
Veröffentlicht: (2001)

The Development of Digital Information Resources of Manuscript and Book Heritage in Vernadsky National Library of Ukraine
von: L. Dubrovina, et al.
Veröffentlicht: (2016)

Construction and Verification of the Constitutive Model of Pure Copper Deformation at Elevated Temperatures
von: Huang, S.H., et al.
Veröffentlicht: (2019)

Codification of Library Study as an Object of Library Science
von: O. Klymenko, et al.
Veröffentlicht: (2020)

Geographic information intelligent systems based on modern information technologies for digital terrain modelling
von: Vdovychenko, V.V., et al.
Veröffentlicht: (2025)

Formal verification of deep neural networks
von: Panchuk, B.O.
Veröffentlicht: (2024)

Deductive verification of requirements for event-driven architecture
von: Letichevsky, A.A., et al.
Veröffentlicht: (2025)

Verification of the hypotheses on the equality of densities of distributions
von: P. K. Babilua, et al.
Veröffentlicht: (2016)

Experimental Verification of Calculated Vibrating Models of Great Lavra Bell Tower in Lavra Reserve
von: O. V. Kendzera, et al.
Veröffentlicht: (2016)

Deductive verification of requirements for event-driven architecture
von: A. Letichevsky, et al.
Veröffentlicht: (2013)

Optimal Digital System for Research Library
von: Lobuzin, I. V.
Veröffentlicht: (2014)