Using equational logic as a specification language, we investigate the proof theory of behavioral subtyping for object-oriented abstract data types with immutable objects and deterministic methods that can use multiple dispatch. In particular, we investigate a proof technique for correct behavioral subtyping in which each subtype’s specification includes terms that can be used to coerce its obj...

Literature on medical dispatch is growing, focusing mainly on efficiency (under and overtriage) and dispatch-assisted CPR. But the issue of population catchment size, functional costs and rationalization is rarely addressed. If we can observe a trend toward a decreasing number of dispatch centres in many European countries, there is today no evidence on what is the right catchment size to reach...

The nodes awareness information efficiently distributed is one of the core features for wireless sensor networks. This paper systematically researched some key problems about the reliable data transmission, which is closely related with each other and may directly affect the transmission effectiveness and energy consumption. The main research of this paper is as follows: Mobile Agent (MA) is su...

OBJECTIVES The adverse effects of hot weather on public health are of increasing concern. A surveillance system using 911 medical dispatch data for the detection of heat-related illness (HRI) could provide new information on the impact of excessive heat on the population. This paper describes how we identified medical dispatch call codes, called "determinants", that could represent HRI events. ...

The precast concrete products industry supplies 2,000 to 4,000 of different products to the construction industry. The demand for the products is seasonal. The industry builds up the stock in winter to meet the high demand in summer. As large numbers of products varying sizes and weights are involved, different handling and stacking requirements, the process of deciding appropriate locations to...

Abstract: With the growing influence of fog and haze (F-H) weather and the rapid development of distributed energy resources (DERs) and smart grids, the concept of the virtual power plant (VPP) employed in this study would help to solve the dispatch problem caused by multiple DERs connected to the power grid. The effects of F-H weather on photovoltaic output forecast, load forecast and power sy...

Fault management in distribution systems lacks effective solution because of the unavailability of sufficient measurement data and comprehensive tools for fault analysis. To improve fault management, a systematic approach that takes advantage of distribution-level Smart Grid technologies is proposed. The new approach executes very accurate fault locating first, and then advices system operators...

Dispatch-assisted bystander cardiopulmonary resuscitation in out-of-hospital cardiac arrest has been shown as an effective measure to improve the survival of this process. The development of a unified protocol for all dispatch centers of the different emergency medical services can be a first step towards this goal in our environment. The process of developing a recommendations document and the...