Information flows through a global environment characterized by conflict and competition. One party wants a flow to occur; another wants to block it. To illustrate: users want to freely exchange information, while governments and businesses seek to block information harmful to their interests. Spies try to infiltrate the networks of their adversaries and competitors to gather intelligence, whil...

In this paper, I propose a research framework called the ‘“cultural construction of information technology.” It extends the more widely known concept of the social construction of technology (SCOT) and defines the concept of a cultural infrastructure for the application of information technology in other contexts than the one in which it is developed. Whether or not today’s economy is character...

This paper discusses results of a simulation with the regional climate model HIRHAM for 1958-2001, driven by the ECMWF reanalysis (ERA40) data over the Arctic domain. The aim is to analyze the ability of the model to capture certain features of climate extremes derived from daily mean, maximum and minimum temperatures. For this purpose, a range of climate indices (frost days, cold and warm spel...

As the world container volumes are soaring, container terminals form a very important chain in the global transportation network. It is a generally accepted view that the modelling of the dynamic and stochastic nature of the container terminal systems using analytical or closed form models is a complicated process and the use of such models is very limited. Hence, this paper presents a simulati...

The technique of counterexample-guided abstraction refinement (Cegar) has been successfully applied in the areas of software and hardware verification. Automatic abstraction refinement is also desirable for the safety verification of complex infinite-state models. This techreport investigates Cegar in the context of formal models of network protocols, in our case, the verification of fifo syste...

This report investigates issues surrounding TBO procedures for the current aircraft fleet when requesting deviations around weather. Air and ground procedures were developed to stringently follow TBO principles using three types of communication: Voice, ACARS, and FANS. ACARS and FANS are both text-based communication systems, but FANS allows uplinked flight plans to be automatically loaded int...

Isothermal redox kinetics of as-received Co3O4 (AC), 1 h ball milled Co3O4 (BC), and 1 h ball milled Co3O4-15wt.% Fe2O3 (BCF) was investigated at various temperatures (1130, 1100, 1070, and 1040 °C for reduction and 830, 860, and 890°C for re-oxidation) by thermogravimetric method. It was found that mechanic...

The day before yesterday, June 20, we tried again. The IMPs and TIPs loaded and seemed to fly quite well, so we left the new systems up. But by yesterday, June 21, afternoon, with crashes happening in TIPs at the rate of about one per hour, we backed off again and put the old systems back up. (One TIP crash per hour in the network means there is about one crash every eight or ten hours debuggin...