All Russian Institute of Scientific and Technical Information

Moscow, Russia

All Russian Institute of Scientific and Technical Information

Moscow, Russia

Time filter

Source Type

Brezhneva V.V.,Saint Petersburg State University | Gilyarevskii R.S.,All Russian Institute of Scientific and Technical Information
Scientific and Technical Information Processing | Year: 2013

Based on analyzing domestic and foreign materials on the content of information management, this paper suggests agreeing with the dependence of this field on the curriculum and programs of the corresponding university faculties and studying this field inthe structure of three equal sections: information management of personnel, knowledge, and information technology. © 2013 Allerton Press, Inc.


Plyushch M.A.,All Russian Institute of Scientific and Technical Information
Scientific and Technical Information Processing | Year: 2012

This paper describes information on the libraries of A. P. Volynskii and his adherents, which was gained from interactive sources and some printed publications. It reveals the disagreement in the data from the chronicle of the LAS and other information sources, as well as that between different printed and electronic sources. Web sites, electronic copies of books by S. A. Belokurov, D. A. Korsakov, and V. S. Ikonnikov, the fourth volume of Materials on the History of the Imperial Academy of Sciences, electronic documents, and indices of stocks for the Russian State Archive of Ancient Acts and the St. Petersburg Department of the Archive of the RAS were used as information sources from the Internet. A part of the cited data was obtained using the "Search for Books. Browsing a Fragment" Google DB subsystem. © 2012 Allerton Press, Inc.


Skvortsov D.,All Russian Institute of Scientific and Technical Information
Advances in Modal Logic | Year: 2014

We notice the following slightly curious (and perhaps, slightly unexpected) logical property of the functor semantics for superintuitionistic predicate logics, contrasting with a well-known property of the usual Kripke semantics. Namely, for a category C its logic (i.e., the logic of all C-sets with the given, fixed C) in general is not reducible to cones (i.e., restrictions of C to upward closed rooted subsets of its frame representation W =Ob(C)). Related notions and observations are discussed as well.


Skvortsov D.,All Russian Institute of Scientific and Technical Information
Journal of Logic and Computation | Year: 2011

The superintuitionistic predicate logics (without or with equality) of all predicate Kripke frames with nested domains over a fixed poset W (a set of possible worlds) are embeddable in the logic (without equality) of all Kripke frames with constant domains over W. Therefore, Takano's result [13] on finite axiomatizability of the logic of Kripke frames with constant domains over the set of real numbers implies the recursive axiomatizability of the corresponding logics with nested domains. Other consequences are mentioned as well. © The Author, 2009. Published by Oxford University Press. All rights reserved.


Gurov A.N.,All Russian Institute of Scientific and Technical Information | Goncharova Y.G.,All Russian Institute of Scientific and Technical Information | Bubyakin G.B.,All Russian Institute of Scientific and Technical Information
Scientific and Technical Information Processing | Year: 2016

The concept of “open access” to scientific and teaching information has become one of the specific forms of the worldwide trend towards the formation of global interactive knowledge. This paper presents the basic information on open access (OA) to scientific and teaching information, its current status, financing options, problems and prospects of development, and the participation of Russia in this process. © 2016, Allerton Press, Inc.


Plyushch M.A.,All Russian Institute of Scientific and Technical Information
Scientific and Technical Information Processing | Year: 2015

This paper describes the information that permits one to determine the origin of the legend that there were 6000 books in D.M. Golitsyn’s library. Fragmentary information was found using the Internet directly on sites, in digitized book editions and the descriptions of archival file, as well as in printed publications, whose bibliographic descriptions were found on the Internet. An attempt was made to determine the possible size of D.M. Golitsyn’s library. The article describes how the Internet was used to reveal little-known information from the history of Russian private libraries while subsequently gaining new information on them by complex data analysis. © 2015, Allerton Press, Inc.

Loading All Russian Institute of Scientific and Technical Information collaborators
Loading All Russian Institute of Scientific and Technical Information collaborators