Search

Results: 68
CoSMed
This paper describes progress with our agenda of formal verification of information flow security for realistic systems. We present CoSMed, a social media platform with verified document confidentiality. The system’s kernel is...
Published by:
Geometry for Computer Graphics in K-12 Education
Armando Babb
Dec 13, 2019
Computing education and computational thinking have gained increasing attention in education both as means to support the learning of other subjects, such as mathematics, science, and humanities, and as outcomes by themselves....
Affective Variables and Motivation as Predictors of Proficiency in English as a Foreign Language
English has become a key subject of educational systems worldwide. Thus, researchers have centered their attention on psychosocial processes that influence English proficiency in EFL settings. The aim of our study was to...
Social Assistance in Developing Countries Database
The Social Assistance in Developing Countries Database aims to:
- provide a summary of the evidence available on the effectiveness of social assistance interventions in developing countries;
- focus on programmes seeking...
Affective Variables and Motivation as Predictors of Proficiency in English as a Foreign Language
English has become a key subject of educational systems worldwide. Thus, researchers have centered their attention on psychosocial processes that influence English proficiency in EFL settings. The aim of our study was to...
User preferences and water use savings owing to washbasin taps retrofit
During the last decades, achieving water efficiency in buildings has increasingly become an important challenge in the scope of sustainability. Water consumption is directly related to individual conduct. Despite the various...
Published by:
User preferences and water use savings owing to washbasin taps retrofit
During the last decades, achieving water efficiency in buildings has increasingly become an important challenge in the scope of sustainability. Water consumption is directly related to individual conduct. Despite the various...
Published by:
Affective Variables and Motivation as Predictors of Proficiency in English as a Foreign Language
English has become a key subject of educational systems worldwide. Thus, researchers have centered their attention on psychosocial processes that influence English proficiency in EFL settings. The aim of our study was to...
Nonaffine deformation and tunable yielding of colloidal assemblies at the air-water interface.
Silica nanoparticles trapped at the air-water interface form a 2D solid state with amorphous order. We propose a theoretical model to describe how this solid-like state deforms under a shear strain ramp up to and beyond a...
Published by:
Social Assistance in Developing Countries Database
The Social Assistance in Developing Countries Database aims to:
- provide a summary of the evidence available on the effectiveness of social assistance interventions in developing countries;
- focus on programmes seeking...
Applications of Graph Spectral Techniques to Water Distribution Network Management
Cities depend on multiple heterogeneous, interconnected infrastructures to provide safe water to consumers. Given this complexity, efficient numerical techniques are needed to support optimal control and management of a water...
Published by:
Overview of Energy Management and Leakage Control Systems for Smart Water Grids and Digital Water
Current and future smart cities are moving towards the zero-net energy use concept. To this end, the built environment should also be designed for efficient energy use and play a significant role in the production of...
Published by:
Applications of Graph Spectral Techniques to Water Distribution Network Management
Cities depend on multiple heterogeneous, interconnected infrastructures to provide safe water to consumers. Given this complexity, efficient numerical techniques are needed to support optimal control and management of a water...
Published by:
Gastrointestinal and external parasites of Enicognathus ferrugineus and Enicognathus leptorhynchus (Aves, Psittacidae) in Chile
Parasite species are important components of biodiversity, as they provide valuable information about host health, evolutionary relationships, population structures, trophic interactions, the existence of environmental stresses...
Published by:

|<

<

1

2

3

>

>|