Intensive Verification, Revitalization, and Imaginary Conceptualization

Land Revitalization

Safety Verification Conditions for Software - Intensive Critical

i Table of

E-Learning in Endangered LanguageDocumentation and Revitalization

This paper analyzes the application of e-learning in the revitalization of endangered languages. It outlines the areas in which e-learning is efficacious, the attitudes of the indigenous language teachers to e-learning, the feelings of the Yami community toward this kind of pedagogy, and the reactions of the users, mostly young and adolescent learners of Yami. The findings are based on the resu...

Quality Analysis and Verification of Data-Intensive Applications

Data-intensive applications are gaining momentum in multiple domains of science and business, thanks to the technological advancements of distributed systems and the increased awareness of the importance of data. However, the fast-paced development of such technologies is followed by a lack of methodological support for the design of such applications. Quality requirements regarding safety and ...

Transparency and imaginary colors.

Unlike the Metelli monochrome transparencies, when overlays and their backgrounds have chromatic content, the inferred surface colors may not always be physically realizable, and are in some sense "imaginary." In these cases, the inferred chromatic transmittance or reflectance of the overlay lies outside the RGB spectral boundaries. Using the classical Metelli configuration, we demonstrate this...