30 resultados para National Institute of Neurological and Communicative Disorders and Stroke.
em Bulgarian Digital Mathematics Library at IMI-BAS
Resumo:
In October 1997 we celebrate the fiftieth anniversary of the founding of the Institute for Mathematics and Informatics (IMI) of the Bulgarian Academy of Sciences (BAS).
Resumo:
The digitization practice for retro-converting of the mathematical periodicals, published by the Institute of Mathematics and Informatics, Bulgarian Academy of Sciences (IMI-BAS) and the followed benefits for long-term preserving and assuring open access to these materials is discussed in the article.
Resumo:
Nowadays the great public libraries in Bulgaria are gaining the appearance of digital centers which provide new informational resources and services in the digital space. The digital conversion as a way of preservation is one of the important priorities of Regional Public Library in Veliko Tarnovo. In the last few years we persistently search for possible ways of financing by national and foreign programs in this direction. In the beginning the strategy was oriented to digitalization of the funds with most urgent conversion – these of the local studies periodicals from 1878 till 1944 year. The digitalization of funds will create conditions of laying the basement of full text database of Bulgarian periodical publications. The technology that is offered gives opportunities for including other libraries in the Unified index, which can develop it into a National Unified index of periodical publications. The integrated informational environment that is created is an attractive, comfortable and useful place for work in home or at work for researchers, historians, art experts, bibliographers. The library readers use very actively all informational services of the library internet page and work competently with the on-line indexes provided there, they find the necessary title, which can be demanded later for usage in home or in the library, using electronic means again.
Resumo:
This article briefly reviews the software developments for digital presentation and preservation of Bulgarian folklore treasure created within the project “Knowledge Technologies for Creation of Digital Presentation and Significant Repositories of Folklore Heritage” by teams of the Institute of Mathematics and Informatics.
Resumo:
Report published in the Proceedings of the National Conference on "Education in the Information Society", Plovdiv, May, 2013
Resumo:
The paper relates about our ongoing work on the creation of a corpus of Bulgarian and Ukrainian parallel texts. We discuss some differences in the approaches and the interpretation of some concepts, as well as various problems associated with the construction of our corpus, in particular the occasional ‘nonparallelism’ of original and translated texts. We give examples of the application of the parallel corpus for the study of lexical semantics and note the outstanding role of the corpus in the lexicographic description of Ukrainian and Bulgarian translation equivalents. We draw attention to the importance of creating parallel corpora as objects of national as well as global cultural heritage.
Resumo:
Report published in the Proceedings of the National Conference on "Education and Research in the Information Society", Plovdiv, May, 2014
Resumo:
Report published in the Proceedings of the National Conference on "Education and Research in the Information Society", Plovdiv, May, 2015
Resumo:
Report published in the Proceedings of the National Conference on "Education and Research in the Information Society", Plovdiv, May, 2016
Resumo:
A γ-space with a strictly positive measure is separable. An example of a non-separable γ−space with c.c.c. is given. A P−space with c.c.c. is countable and discrete.
Resumo:
* This paper was supported in part by the Bulgarian Ministry of Education, Science and Technologies under contract MM-506/95.
Resumo:
Let (X, d) be a metric space and CL(X) the family of all nonempty closed subsets of X. We provide a new proof of the fact that the coincidence of the Vietoris and Wijsman topologies induced by the metric d forces X to be a compact space. In the literature only a more involved and indirect proof using the proximal topology is known. Here we do not need this intermediate step. Moreover we prove that (X, d) is boundedly compact if and only if the bounded Vietoris and Wijsman topologies on CL(X) coincide.
Resumo:
* This work was supported by the CNR while the author was visiting the University of Milan.
Resumo:
2000 Mathematics Subject Classification: 35J05, 35C15, 44P05
Resumo:
In the last 40 years much has been achieved in Software Engineering research and still more is to be done. Although significant progress is being made on several fronts in Service-Oriented Architecture (SOA), there is still no set of clear, central themes to focus research activity on. A task within the EU FP7 Sister project aimed at defining research priorities for the Faculty of Mathematics and Informatics (Sofia University) in the area of Software and Services. A dedicated methodology was proposed and developed, based on various sources of information. The information accumulated was systematised and processed according to this methodology. The final results obtained are described and discussed here.