Pervasive Displays Research: What's Next?

Reports on the 7th ACM International Symposium on Pervasive Displays that took place from June 6-8 in Munich, Germany

Comparison of two approaches for web-based 3D visualization of smart building sensor data

Abstract. This thesis presents a comparative study on two different approaches for visualizing sensor data collected from smart buildings on the web using 3D virtual environments. The sensor data is provided by sensors that are deployed in real buildings to measure several environmental parameters including temperature, humidity, air quality and air pressure. The first approach uses the three.js WebGL framework to create the 3D model of a smart apartment where sensor data is illustrated with point and wall visualizations. Point visualizations show sensor values at the real locations of the sensors using text, icons or a mixture of the two. Wall visualizations display sensor values inside panels placed on the interior walls of the apartment. The second approach uses the Unity game engine to create the 3D model of a 4-floored hospice where sensor data is illustrated with aforementioned point visualizations and floor visualizations, where the sensor values are shown on the floor around the location of the sensors in form of color or other effects. The two approaches are compared with respect to their technical performance in terms of rendering speed, model size and request size, and with respect to the relative advantages and disadvantages of the two development environments as experienced in this thesis

Weather and Climate Information for Tourism

The tourism sector is one of the largest and fastest growing global industries and is a significant contributor to national and local economies around the world. The interface between climate and tourism is multifaceted and complex, as climate represents both a vital resource to be exploited and an important limiting factor that poses risks to be managed by the tourism industry and tourists alike. All tourism destinations and operators are climate-sensitive to a degree and climate is a key influence on travel planning and the travel experience. This chapter provides a synopsis of the capacities and needs for climate services in the tourism sector, including current and emerging applications of climate services by diverse tourism end-users, and a discussion of key knowledge gaps, research and capacity-building needs and partnerships that are required to accelerate the application of climate information to manage risks to climate variability and facilitate successful adaptation to climate change

Weather and Climate Information for Tourism

The tourism sector is one of the largest and fastest growing global industries and is a significant contributor to national and local economies around the world. The interface between climate and tourism is multifaceted and complex, as climate represents both a vital resource to be exploited and an important limiting factor that poses risks to be managed by the tourism industry and tourists alike. All tourism destinations and operators are climate-sensitive to a degree and climate is a key influence on travel planning and the travel experience. This chapter provides a synopsis of the capacities and needs for climate services in the tourism sector, including current and emerging applications of climate services by diverse tourism end-users, and a discussion of key knowledge gaps, research and capacity-building needs and partnerships that are required to accelerate the application of climate information to manage risks to climate variability and facilitate successful adaptation to climate change

Weather and Climate Information for Tourism

The tourism sector is one of the largest and fastest growing global industries and is a significant contributor to national and local economies around the world. The interface between climate and tourism is multifaceted and complex, as climate represents both a vital resource to be exploited and an important limiting factor that poses risks to be managed by the tourism industry and tourists alike. All tourism destinations and operators are climate-sensitive to a degree and climate is a key influence on travel planning and the travel experience. This chapter provides a synopsis of the capacities and needs for climate services in the tourism sector, including current and emerging applications of climate services by diverse tourism end-users, and a discussion of key knowledge gaps, research and capacity-building needs and partnerships that are required to accelerate the application of climate information to manage risks to climate variability and facilitate successful adaptation to climate change

Main Street Revitalization: Woonsocket, RI

A healthy environment that utilizes local urban ecologies will positively impact the health and well being of the community. It is important to create an environment that will foster understanding and inspire learning about native plants and animals, how to care for them, and how to protect them

Print Rich Environments: Our pre-service teachers\u27 report of what they observed in their field experiences

This study examined teacher candidates\u27 observations and perceptions of classroom print-rich environments during field observations. The focus is on what the teacher candidates report and believe they have observed in classrooms regarding print-rich environments. The subjects were 35 undergraduate teacher candidates enrolled in two language arts and arts methods classes requiring 36 hours of field observations in an urban setting. Pre-service teacher candidates\u27 weekly reflective journals and semester-end descriptions provided data sources. A qualitative method was used to examine patterns of observations and descriptions concerning print-rich environments. Results revealed that most teacher candidates did not realize and observe the dynamic nature of print-rich environments. Suggestions are offered for future improvement of field observations for pre-service teachers

HOL(y)Hammer: Online ATP Service for HOL Light

HOL(y)Hammer is an online AI/ATP service for formal (computer-understandable) mathematics encoded in the HOL Light system. The service allows its users to upload and automatically process an arbitrary formal development (project) based on HOL Light, and to attack arbitrary conjectures that use the concepts defined in some of the uploaded projects. For that, the service uses several automated reasoning systems combined with several premise selection methods trained on all the project proofs. The projects that are readily available on the server for such query answering include the recent versions of the Flyspeck, Multivariate Analysis and Complex Analysis libraries. The service runs on a 48-CPU server, currently employing in parallel for each task 7 AI/ATP combinations and 4 decision procedures that contribute to its overall performance. The system is also available for local installation by interested users, who can customize it for their own proof development. An Emacs interface allowing parallel asynchronous queries to the service is also provided. The overall structure of the service is outlined, problems that arise and their solutions are discussed, and an initial account of using the system is given