We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to discrete time, but are applicable only when the implementation is closed under digitization and the specification is closed under inverse digitization. We show that, for timed automata, the former (whether the implement...

Many cartographic systems currently rely on raster-scan digitizing to convert analog source material to digital form. Raster technology is very effective at rapid and accurate digitization of large volumes of cartographic data. At the same time, existing raster-to-vector (R-V) conversion processes rely on an inordinately large amount of human post-scan editing to coherently sort and combine the...

We consider the digital plane of integer points equipped with the Khalimsky topology. We suggest a digitization of straight lines such that the digitized image is homeomorphic to the Khalimsky line and a digitized line segment is a Khalimsky arc. It is demonstrated that a Khalimsky arc is the digitization of a straight line segment if and only if it satisfies a generalized version of the chord ...

In the era of accelerating digitization and advanced big data analytics, harnessing quality data for designing and delivering state-of-the-art services will enable innovative business models and management approaches (Boyd and Crawford, 2012; Brynjolfsson and McAfee, 2014) and yield an array of consequences. Among other consequences, digitization and big data analytics reshape business models a...

“Digitization and digital preservation in India and Iran are very vital to preserve cultural heritage collections, and also make them accessible to the scholars and the public. This book attempts to study the digitization and the digital preservation activities in libraries of India and Iran. Different topics included are: main reasons for digitization, type of collections that are being digiti...

The digitization of biocollections is a critical task with direct implications for the global community who use the data for research and education. Recent innovations to involve citizen scientists in digitization increase awareness of the value of biodiversity specimens; advance science, technology, engineering, and math literacy; and build sustainability for digitization. In support of these ...

The study investigates the availability of strategic plans or policies for the development of digital libraries in selected universities in Ghana. A case study approach was adopted and interviews were held with three university librarians to determine their views on planning and budgeting for digitization. The findings reveal that all three university libraries have strategic plans, though some...