T his issue of IFEE Software Carnegie-Mellon University; (specifications, rule-based), GTE showcases six research projects * C++(imperative, object-oriLaboratories; and studying multiparadigm proented), AT&T Bell Laboratories; * Integrating functional and logic gramming languages and environ* CaseDE (imperative, specificaprogramming (functional, rulements. This special section provides an tion)...

Virtual Reality (VR) is starting to be used in psychological therapy around the world. However, a thorough understanding of the reason why VR is effective and what effect it has on the human psyche is still missing. Most research on this subject is related to the concept of presence. This paper gives an up-to-date overview of research in this diverse field. It starts with the most prevailing de...

Driven by the visions of Internet of Things and 5G communications, recent years have seen a paradigm shift in mobile computing, from the centralized Mobile Cloud Computing towards Mobile Edge Computing (MEC). The main feature of MEC is to push mobile computing, network control and storage to the network edges (e.g., base stations and access points) so as to enable computation-intensive and late...

National surveys have reported information on firearm ownership and storage practices, but primary care physicians question whether such information can be generalized to their communities and the patient populations they serve. In this study, an anonymous survey was distributed to 100 consecutive patients in 11 primary care clinics throughout Wisconsin. Demographic information and information ...

Over the past two decades, organizational researchers have used and assessed the effectiveness of various Internet tools for conducting surveys. The various Internet tools used included email, the Web, and a combination of email and the Web. As with any evolving data collection tool, the use of various Internet tools must be carefully examined. This paper presents an overview of major issues th...

Elena Nilsen, U.S. Geological Survey, Geologic Division Robert Rosenbauer, U.S. Geological Survey, Geologic Division Edward Furlong, U.S. Geological Survey, Methods Research and Development Program Mark Burkhardt, U.S. Geological Survey, Methods Research and Development Program Stephen Werner, U.S. Geological Survey, Methods Research and Development Program Lisa Greaser, U.S. Geological Survey,...

Massive multiple-input multiple-output technology has been considered a breakthrough in wireless communication systems. It consists of equipping a base station with a large number of antennas to serve many active users in the same time-frequency block. Among its underlying advantages is the possibility to focus transmitted signal energy into very short-range areas, which will provide huge impro...

This chapter surveys laboratory experiments addressing macroeconomic phenomena. The first part focuses on experimental tests of the micro-foundations of macroeconomic models discussing laboratory studies of intertemporal consumption/savings decisions, time (in)consistency of preferences and rational expectations. Part two explores coordination problems of interest to macroeconomists and mechani...