From ACT-ONE to Miranda, a Translation Experiment

It is now almost universally acknowledged that the data language ACT-ONE associated with the formal description technique LOTOS is inappropriate for the purpose of OSI formal description. In response to this the LOTOS restandardisation activity plans to replace ACT-ONE with a functional language. Thus, compatibility between ACT-ONE and the replacement data language becomes an issue. In response to this, we present an experimental investigation of backward compatibility between ACT-ONE and the new LOTOS data language. Specifically, we investigate translating ACT-ONE data types into the functional language Miranda. Miranda has been chosen as it is a widely used functional programming language and it is close in form to the anticipated new data language. This work serves as a ``verification of concept'' for translating ACT-ONE to the E-LOTOS data language. It identifies the bounds on embedding ACT-ONE in a functional data language. In particular, it indicates what can be translated and what cannot be translated. In addition, the paper reveals pertinent issues which can inform the E-LOTOS work. For example, which constructs are needed in E-LOTOS in order to support the class of data type specifications typically made in the LOTOS setting? We conclude with a number of specific recommendations for the E-LOTOS data language

Analysis of boron carbides' electronic structure

The electronic properties of boron-rich icosahedral clusters were studied as a means of understanding the electronic structure of the icosahedral borides such as boron carbide. A lower bound was estimated on bipolaron formation energies in B12 and B11C icosahedra, and the associated distortions. While the magnitude of the distortion associated with bipolaron formation is similar in both cases, the calculated formation energies differ greatly, formation being much more favorable on B11C icosahedra. The stable positions of a divalent atom relative to an icosahedral borane was also investigated, with the result that a stable energy minimum was found when the atom is at the center of the borane, internal to the B12 cage. If incorporation of dopant atoms into B12 cages in icosahedral boride solids is feasible, novel materials might result. In addition, the normal modes of a B12H12 cluster, of the C2B10 cage in para-carborane, and of a B12 icosahedron of reduced (D sub 3d) symmetry, such as is found in the icosahedral borides, were calculated. The nature of these vibrational modes will be important in determining, for instance, the character of the electron-lattice coupling in the borides, and in analyzing the lattice contribution to the thermal conductivity

Corporate political activity and location-based advantage: MNE responses to institutional transformation in Uganda’s electricity industry

We examine how multinational enterprises (MNEs) employ political strategies in response to location-based, institutional transformations in new frontier African markets. Specifically, we explore the heterogeneous corporate political activities of advanced and emerging market MNEs in Uganda’s electricity industry, as they respond to and influence locational advantage using diverse political capabilities. We argue that, in institutionally fragile, new frontier markets, Dunning’s OLI paradigm is more theoretically robust and managerially relevant when combined with a political perspective. Effective MNE political strategies in these markets rely on nonmarket capabilities in political stakeholder engagement, community embeddedness, regional understanding, and responsiveness to stages of institutionalization

Selection and static calibration of the Marsh J1678 pressure gauge

During the experimental testing of the ultralight, it was determined that a pressure gauge would be required to monitor the simulated flight loads. After analyzing several factors, which are indicated in the discussion section of this report, the Marsh J1678 pressure gauge appeared to be the prominent candidate for the task. However, prior to the final selection, the Marsh pressure gauge was calibrated twice by two different techniques. As a result of the calibration, the Marsh gauge was selected as the appropriate measuring device during the structural testing of the ultralight. Although, there are commerical pressure gauges available on the market that would have proven to be more efficient and accurate. However, in order to obtain these characteristics in a gauge, one has to pay the price on the price tag, and this value is an exponential function of the degree of accuracy efficiency, precision, and many other features that may be designed into the gauge. After analyzing the extent of precision and accuracy that would be required, a more expensive gauge wouldn't have proven to be a financial benefit towards the outcome of the experiment

Influencing Pedagogy and Belief: A Case Study in the Professional Development of Teachers of Mathematics

This study forms a holistic, rich description of the way a professional development experience transformed teachers of mathematics. This professional development targeted teachers from six underachieving schools in a southern state who trained for a week in inquiry techniques of instruction. The method used to study the impact this experience had upon participants is a case study design in which three of the high school teachers were the subjects of analysis. Additional data were incorporated from project administrators and other teachers and assistants involved with the professional development experience. Data sources include highly structured questionnaires, observations, semi-structured interviews, documents, archival records and e-mails. Data were gathered before, during and after the experience to compare findings. Themes were developed from the data sources to assess the way that the professional development transformed the pedagogies and the beliefs of the subjects. Four rival conjectures on how this experience affected the subjects were drawn from the data and current literature. The levels of teacher employment of the themes vary and were dependent on the previous experience of the teachers, the amount of discussion on the themes, content and pedagogical knowledge and perceived professional needs of the subjects. Results suggest that designers of professional development take into account the previous experience of the participants, especially their perceived professional needs and beliefs. Designers also need to be aware of participant\u27s content knowledge and pedagogical skills. The findings of this study impact the planning, execution and evaluation of professional development programs in education and other fields