Introducing reference semantics via refinement

Two types of semantics have been given to object-oriented formal specification languages. Value semantics denote a class by a set of values representing its objects. Reference semantics denote a class by a set of references, or pointers, to values representing its objects. While adopting the former facilitates formal reasoning, adopting the latter facilitates transformation to object-oriented code. In this paper, we propose a combined approach using value semantics for abstract specification and reasoning, and then refining to a reference semantics before transforming specification to code.

An investigation of the emerging system of host government participation in the international oil industry with particular reference to Libyan participation arrangements

This study has been conceived with the primary objective of identifying and evaluating the financial aspects of the transformation in country/company relations of the international oil industry from the traditional concessionary system to the system of governmental participation in the ownership and operation of oil concessions. The emphasis of the inquiry was placed on assembling a case study of the oil exploitation arrangements of Libya. Through a comprehensive review of the literature, the sociopolitical factors surrounding the international oil business were identified and examined in an attempt to see their influence on contractual arrangements and particularly to gauge the impact of any induced contractual changes on the revenue benefit accruing to the host country from its oil operations. Some comparative analyses were made in the study to examine the viability of the Libyan participation deals both as an investment proposal and as a system of conducting oil activities in the country. The analysis was carried out in the light of specific hypotheses to assess the relative impact of the participation scheme in comparison with the alternative concessionary model on the net revenue resulting to the government from oil operations and the relative effect on the level of research and development within the industry. A discounted cash flow analysis was conducted to measure inputs and outputs of the comparative models and judge their revenue benefits. Then an empirical analysis was carried out to detect any significant behavioural changes in the exploration and development effort associated with the different oil exploitation systems. Results of the investigation of revenues support the argument that the mere introduction of the participation system has not resulted in a significant revenue benefit to the host government. Though there has been a significant increase in government revenue, associated with the period following the emergence of the participation agreements, this increase was mainly due to socio-economic factors other than the participation scheme. At the same time the empirical results have shown an association of the participation scheme with a decline of the oil industry's research and development efforts.

Virtual manufacturing:a study of some important issues relating to the transformation of traditional manufacturing organisations

This thesis starts with a literature review, outlining the major issues identified in the literature concerning virtual manufacturing enterprise (VME) transformation. Then it details the research methodology used – a systematic approach for empirical research. next, based on the conceptual framework proposed, this thesis builds three modules to form a reference model, with the purpose of clarifying the important issues relevant to transforming a traditional manufacturing company into a VME. The first module proposes a mechanism of VME transformation – operating along the VME metabolism. The second module builds a management function within a VME to ensure a proper operation of the mechanism. This function helps identify six areas as closely related to VME transformation: lean manufacturing; competency protection; internal operation performance measurement; alliance performance measurement; knowledge management; alliance decision making. The third module continues and proposes an alliance performance measurement system which includes 14 categories of performance indicators. An analysis template for alliance decision making is also proposed and integrated into the first module. To validate these three modules, 7 manufacturing organisations (5 in China and 2 in the UK) were investigated, and these field case studies are analysed in this thesis. The evidence found in these organisations, together with the evidence collected from the literature, including both researcher views and literature case studies, provide support for triangulation evidence. In addition, this thesis identifies the strength and weakness patterns of the manufacturing companies within the theoretical niche of this research, and clarifies the relationships among some major research areas from the perspective of virtual manufacturing. Finally, the research findings are summarised, as well as their theoretical and practical implications. Research limitations and recommendations for future work conclude this thesis.

Organizational change and development in India:a case of strategic organizational change and transformation

Purpose – The purpose of this paper is to examine developments in the field of organizational change (OC) with reference to the context of India. It highlights the need to analyze this topic in the present Indian economic environment and discusses the main developments reported in the Indian literature on the same. Design/methodology/approach – Empirical evidence based on a qualitative analysis of a case study undertaken at a public-private partnership transformation at North Delhi Power Limited (NDPL) in India is presented. Findings – The findings focus on trust building and belongingness for the employees, establishing a high-performance orientation, quality improvements, and the resultant transformations at NDPL. The analysis indicates a number of ways by which NDPL sought to improve its efficiency in order to better adapt to the rapidly changing Indian business environment. Practical implications – Based on the findings, the paper identifies key messages for policy makers and change agents regarding how to transform companies in the rapidly changing business contexts of emerging markets such as India. Originality/value – The paper offers an in-depth analysis of OC practices in a large organization in India.

El ritual en los "Textos de las Pirámides": sintaxis, texto y significado

Este trabajo pretende explorar la dimensión ritual en los Textos de las Pirámides, el corpus de literatura religiosa extensa más antiguo de la humanidad. La naturaleza variada de sus componentes textuales ha impedido que los egiptólogos comprendan en profundidad las complejidades de la colección y los contextos originales en los que estos textos (ritos) aparecieron. La aplicación de la teoría del ritual, principalmente la aproximación de la sintaxis ritual, ofrece a los investigadores un marco excelente de análisis e interpretación del corpus, su estructura y función. Sujeto a las reglas de la sintaxis ritual es posible exponer los múltiples niveles de significado en el corpus para la resurrección y salvación del difunto.

Easy preoperative planning of deeply located brain lesions using external skin reference and 3-Dimensional surface MRI

Open skull surgery of deeply located intracerebral lesions requires precise determination of the treatment area in 3-dimensional (3-D) space. 3-D MRI can give important additional information in presurgical determination of the surgical approach to the target, taking into account highly functional brain areas and important vascular structures. The day before surgery, a grid composed of 9 tubings intersecting at 90° at 1 cm intervals and filled with a Q1SO4 solution is firmly attached to the skin of the patient’s head in the presumed region of the craniotomy. A 3-D turbo-FLASH sequence is then performed in the sagittal plane after intravenous Gd-DOTA injection on a IT Magnetom. 3-D surface reconstruction of the cortical gyri and sulci is performed. Once the gyri are identified, the 3-D program is then implemented in order to perform a color display of the cortical veins and of the tumor boundaries. The surgical access is then chosen by the surgeon, taking into account highly functional areas. Finally, the boundaries of the tumor are projected on the cortex reconstruction and on the external reference placed on the skin. The entry place for surgery as well as the size of craniotomy are drawn on the skin and the tubed grid is removed. The accuracy of this method tested in 9 patients with deeply located brain tumors or arteriovenous malformations was very satisfactory. In daily practice, this method is a valuable technique providing important clinical information in determining the shortest and safest way through the brain tissue, decreasing possible functional deficit and reducing craniotomy size in cases of difficult to access deep brain areas. Our method does not require a stereotactic frame permanently fixed to the head of the patient during surgery. © 1994 S. Karger AG, Basel.

Social welfare aspects of information with special reference to news.

The information society thesis, according to which economically advanced nations are undergoing transformation into post-industrial, information-based societies, can, with caveats, be taken as a premise. Essentially empirical or predictive, this influential set of claims quickly gives rise to major normative issues. The paper asks how, as part of a prospective normative theory of the information society, information may be shown to contribute to social goals in general and social welfare in particular. Given the diverse range of referents of the term 'information' in the context of the information society debate, the paper focuses on news as a form of information whose communication is widely held to be important to society. The problem is how to quantify or otherwise prove this intuition. It is suggested that a fusion of welfare economics and the economics of information may yield a solution. The paper is designed to be exploratory, offering a potential line of inquiry for the future research and policy agenda of information society studies.

Report of the frame survey of Lake Albert carried out in January 2007

A comprehensive Frame survey was carried out by the National Fisheries Resources Research Institute (NAFIRRI) in Lake Albert in January 2007. The frame survey captured the main characteristics of the fisheries and facilities supporting the fisheries and provides baseline information for reference of other studies as well as management interventions.

Evaluating consumer price perception: a mental accounting and frame dependent perspective

In this thesis, we evaluate consumer purchase behaviour from the perspective of heuristic decision making. Heuristic decision processes are quick and easy mental shortcuts, adopted by individuals to reduce the amount of time spent in decision making. In particular, we examine those heuristics which are caused by framing – prospect theory and mental accounting, and examine these within price related decision scenarios. The impact of price framing on consumer behaviour has been studied under the broad umbrella of reference price, which suggests that decision makers use reference points as standards of comparison when making a purchase decision. We investigate four reference points - a retailer's past prices, a competitor's current prices, a competitor's past prices, and consumers' expectation of immediate future price changes, to further our understanding of the impact of price framing on mental accounting, and in turn, contribute to the growing body of reference price literature in Marketing research. We carry out experiments in which levels of price frame and monetary outcomes are manipulated in repeated measures analysis of variance (ANOVA). Our results show that where these reference points are clearly specified in decision problems, price framing significantly affects consumers' perceptions of monetary gains derived through discounts, and leads to reversals in consumer preferences. We also found that monetary losses were not sensitive to price frame manipulations.

Fully smart cities: Analysis of the city to Smart City transformation process

Ever since the birth of the Smart City paradigm, a wide variety of initiatives have sprung up involving this phenomenon: best practices, projects, pilot projects, transformation plans, models, standards, indicators, measuring systems, etc. The question to ask, applicable to any government official, city planner or researcher, is whether this effect is being felt in how cities are transforming, or whether, in contrast, it is not very realistic to speak of cities imbued with this level of intelligence. Many cities are eager to define themselves as smart, but the variety, complexity and scope of the projects needed for this transformation indicate that the change process is longer than it seems. If our goal is to carry out a comparative analysis of this progress among cities by using the number of projects executed and their scope as a reference for the transformation, we could find such a task inconsequential due to the huge differences and characteristics that define a city. We believe that the subject needs simplification (simpler, more practical models) and a new approach. This paper presents a detailed analysis of the smart city transformation process in Spain and provides a support model that helps us understand the changes and the speed at which they are being implemented. To this end we define a set of elements of change called "transformation factors" that group a city's smartness into one of three levels (Low/Medium/Fully) and more homogeneously identify the level of advancement of this process. © 2016 IEEE.

Malignant Transformation Of An Odontogenic Cyst In A Period Of 10 Years.

Primary intraosseous carcinoma of the jaws (PIOSCC) might arise from odontogenic epithelium, more commonly from a previous odontogenic cyst. The aim of this case is to illustrate that the clinician should consider that an apparent benign dentigerous cyst can suffer malignant transformation and that all material removed from a patient must be evaluated histologically. A 44-year-old man presented in a routine periapical X-ray an impacted lower left third molar with radiolucency over its crown. Ten years later, the patient complained of pain in the same region and the tooth was extracted. After one month, the patient still complained of pain and suffered a fracture of the mandible. A biopsy was performed and carcinoma was diagnosed. The patient was treated surgically with adjuvant radio- and chemotherapy and after 8 years, he is well without signs of recurrences. This report describes a central mandibular carcinoma probably developed from a previous dentigerous cyst.

Lawsonia Inermis-mediated Synthesis Of Silver Nanoparticles: Activity Against Human Pathogenic Fungi And Bacteria With Special Reference To Formulation Of An Antimicrobial Nanogel.

Lawsonia inermis mediated synthesis of silver nanoparticles (Ag-NPs) and its efficacy against Candida albicans, Microsporum canis, Propioniabacterium acne and Trichophyton mentagrophytes is reported. A two-step mechanism has been proposed for bioreduction and formation of an intermediate complex leading to the synthesis of capped nanoparticles was developed. In addition, antimicrobial gel for M. canis and T. mentagrophytes was also formulated. Ag-NPs were synthesized by challenging the leaft extract of L. inermis with 1 mM AgNO₃. The Ag-NPs were characterized by Ultraviolet-Visible (UV-Vis) spectrophotometer and Fourier transform infrared spectroscopy (FTIR). Transmission electron microscopy (TEM), nanoparticle tracking and analysis sytem (NTA) and zeta potential was measured to detect the size of Ag-NPs. The antimicrobial activity of Ag-NPs was evaluated by disc diffusion method against the test organisms. Thus these Ag-NPs may prove as a better candidate drug due to their biogenic nature. Moreover, Ag-NPs may be an answer to the drug-resistant microorganisms.

Selection And Validation Of Reference Genes For Functional Studies In The Calliphoridae Family.

The genera Cochliomyia and Chrysomya contain both obligate and saprophagous flies, which allows the comparison of different feeding habits between closely related species. Among the different strategies for comparing these habits is the use of qPCR to investigate the expression levels of candidate genes involved in feeding behavior. To ensure an accurate measure of the levels of gene expression, it is necessary to normalize the amount of the target gene with the amount of a reference gene having a stable expression across the compared species. Since there is no universal gene that can be used as a reference in functional studies, candidate genes for qPCR data normalization were selected and validated in three Calliphoridae (Diptera) species, Cochliomyia hominivorax Coquerel, Cochliomyia macellaria Fabricius, and Chrysomya albiceps Wiedemann . The expression stability of six genes ( Actin, Gapdh, Rp49, Rps17, α -tubulin, and GstD1) was evaluated among species within the same life stage and between life stages within each species. The expression levels of Actin, Gapdh, and Rp49 were the most stable among the selected genes. These genes can be used as reliable reference genes for functional studies in Calliphoridae using similar experimental settings.

Comparative Metagenomic Analysis Of Coral Microbial Communities Using A Reference-independent Approach.

By comparing the SEED and Pfam functional profiles of metagenomes of two Brazilian coral species with 29 datasets that are publicly available, we were able to identify some functions, such as protein secretion systems, that are overrepresented in the metagenomes of corals and may play a role in the establishment and maintenance of bacteria-coral associations. However, only a small percentage of the reads of these metagenomes could be annotated by these reference databases, which may lead to a strong bias in the comparative studies. For this reason, we have searched for identical sequences (99% of nucleotide identity) among these metagenomes in order to perform a reference-independent comparative analysis, and we were able to identify groups of microbial communities that may be under similar selective pressures. The identification of sequences shared among the metagenomes was found to be even better for the identification of groups of communities with similar niche requirements than the traditional analysis of functional profiles. This approach is not only helpful for the investigation of similarities between microbial communities with high proportion of unknown reads, but also enables an indirect overview of gene exchange between communities.

Reference Values For High-density Lipoprotein Particle Size And Volume By Dynamic Light Scattering In A Brazilian Population Sample And Their Relationships With Metabolic Parameters.

Current data indicate that the size of high-density lipoprotein (HDL) may be considered an important marker for cardiovascular disease risk. We established reference values of mean HDL size and volume in an asymptomatic representative Brazilian population sample (n=590) and their associations with metabolic parameters by gender. Size and volume were determined in HDL isolated from plasma by polyethyleneglycol precipitation of apoB-containing lipoproteins and measured using the dynamic light scattering (DLS) technique. Although the gender and age distributions agreed with other studies, the mean HDL size reference value was slightly lower than in some other populations. Both HDL size and volume were influenced by gender and varied according to age. HDL size was associated with age and HDL-C (total population); non- white ethnicity and CETP inversely (females); HDL-C and PLTP mass (males). On the other hand, HDL volume was determined only by HDL-C (total population and in both genders) and by PLTP mass (males). The reference values for mean HDL size and volume using the DLS technique were established in an asymptomatic and representative Brazilian population sample, as well as their related metabolic factors. HDL-C was a major determinant of HDL size and volume, which were differently modulated in females and in males.