Pragmatic approach to the development of robust real-time protocols

This research is concerned with the development of distributed real-time systems, in which software is used for the control of concurrent physical processes. These distributed control systems are required to periodically coordinate the operation of several autonomous physical processes, with the property of an atomic action. The implementation of this coordination must be fault-tolerant if the integrity of the system is to be maintained in the presence of processor or communication failures. Commit protocols have been widely used to provide this type of atomicity and ensure consistency in distributed computer systems. The objective of this research is the development of a class of robust commit protocols, applicable to the coordination of distributed real-time control systems. Extended forms of the standard two phase commit protocol, that provides fault-tolerant and real-time behaviour, were developed. Petri nets are used for the design of the distributed controllers, and to embed the commit protocol models within these controller designs. This composition of controller and protocol model allows the analysis of the complete system in a unified manner. A common problem for Petri net based techniques is that of state space explosion, a modular approach to both the design and analysis would help cope with this problem. Although extensions to Petri nets that allow module construction exist, generally the modularisation is restricted to the specification, and analysis must be performed on the (flat) detailed net. The Petri net designs for the type of distributed systems considered in this research are both large and complex. The top down, bottom up and hybrid synthesis techniques that are used to model large systems in Petri nets are considered. A hybrid approach to Petri net design for a restricted class of communicating processes is developed. Designs produced using this hybrid approach are modular and allow re-use of verified modules. In order to use this form of modular analysis, it is necessary to project an equivalent but reduced behaviour on the modules used. These projections conceal events local to modules that are not essential for the purpose of analysis. To generate the external behaviour, each firing sequence of the subnet is replaced by an atomic transition internal to the module, and the firing of these transitions transforms the input and output markings of the module. Thus local events are concealed through the projection of the external behaviour of modules. This hybrid design approach preserves properties of interest, such as boundedness and liveness, while the systematic concealment of local events allows the management of state space. The approach presented in this research is particularly suited to distributed systems, as the underlying communication model is used as the basis for the interconnection of modules in the design procedure. This hybrid approach is applied to Petri net based design and analysis of distributed controllers for two industrial applications that incorporate the robust, real-time commit protocols developed. Temporal Petri nets, which combine Petri nets and temporal logic, are used to capture and verify causal and temporal aspects of the designs in a unified manner.

Intellectual property law

A firm favourite with students and lecturers alike, Intellectual Property can be trusted to equip you with the best possible basis for study of this dynamic subject. Providing an unrivalled account of the law in this area, this book also examines the ethical and policy influences which have shaped its development providing you with a solid basis for further exploration of the subject.

Institutions, finance and the level of development:the impact on entrepreneurship in transition

We investigate the impact of institutions on entrepreneurial entry, based on a large cross-country sample, combining working age population data generated by the GEM project with macro level indicators. Our four key findings indicate that: (a) institutional obstacles to entrepreneurship have different impact in rich countries compared to poor countries; (b) institutional obstacles have a stronger impact on 'opportunity entrepreneurship' than on 'necessity entrepreneurship'; (c) two institutional indicators - property right protection and access to finance - appear to have a dominant impact on entrepreneurship; (d) institutions have a long term impact. More than ten years after the Soviet system imploded in Central and Eastern Europe, these countries still experience significantly lower levels of entrepreneurship than economies coming from different legal traditions.

Firm performance and investment in R&D and intellectual property

This paper analyses the relationship between innovation - proxied by Research and Development (R&D), patent and trade mark activity – and profitability in a panel of Australian firms (1995 to 1998). Special attention is given to assessing the nature of competitive conditions faced by different firms, as the nature of competition is likely to affect the returns to innovation. The hypothesis is that lower levels of competition will imply higher returns to innovation. To allow for a time lag time before any return to innovation, the market value of the firms is used as a proxy for expected future profits. The results give some support for the main hypothesis: the market’s valuation of R&D activity is higher in industries where competition is lower. However, the paper highlights the difficulty in assessing competitive conditions and finds a number of results that challenge the simple hypothesis.

Development, Annotation and Protection of Digital Archive “Bulgarian Folklore Heritage”

The key to prosperity in today's world is access to digital content and skills to create new content. Investigations of folklore artifacts is the topic of this article, presenting research related to the national program „Knowledge Technologies for Creation of Digital Presentation and Significant Repositories of Folklore Heritage” (FolkKnow). FolkKnow aims to build a digital multimedia archive "Bulgarian Folklore Heritage” (BFH) and virtual information portal with folk media library of digitized multimedia objects from a selected collection of the fund of Institute of Ethnology and Folklore Studies with Ethnographic Museum (IEFSEM) of the Bulgarian Academy of Science (BAS). The realization of the project FolkKnow gives opportunity for wide social applications of the multimedia collections, for the purposes of Interactive distance learning/self-learning, research activities in the field of Bulgarian traditional culture and for the cultural and ethno-tourism. We study, analyze and implement techniques and methods for digitization of multimedia objects and their annotation. In the paper are discussed specifics approaches used to building and protect a digital archive with multimedia content. Tasks can be systematized in the following guidelines: * Digitization of the selected samples * Analysis of the objects in order to determine the metadata of selected artifacts from selected collections and problem areas * Digital multimedia archive * Socially-oriented applications and virtual exhibitions artery * Frequency dictionary tool for texts with folklore themes * A method of modern technologies of protecting intellectual property and copyrights on digital content developed for use in digital exposures.

Négy jellegzetesség. A magyar fejlődés politikai gazdaságtani megközelítésben. 2. rész = Four characteristic features. Development in Hungary from the aspect of political economy - II.

A tulajdonviszonyok és intézmények átalakulását is a fokozatosság, a szerves fejlődés jellemzi; Magyarországon a hosszú reformszocialista fázist a politikai fordulat után sem követte ugrás a piacgazdaság felé, bár az átalakulás felgyorsult. A cikk a fokozatosság érvényesülését az értékesítési stratégia sokféle változatát alkalmazó, burjánzó privatizációban, az új vállalkozások keletkezésének folyamatában, a liberalizálás menetében és a jogi infrastruktúra változásában mutatja be. Elemzi az átmenet során megerősödő korporatista elemek hatását a magyar gazdaságpolitikára. Végül néhány összefoglaló megjegyzést fűz a magyar fejlődéshez a politikai gazdaságtan és a politikai filozófia szemszögéből. Az elmúlt harminc évben a mindenkori kormánynak jól érzékelhető preferenciája volt a radikális intézkedések elodázása, a társadalmi adósság felhalmozódásának vállalása a konfliktusok elkerülése érdekében. A szerző felhívja a figyelmet a különböző nemzedékek eltérő időpreferenciájára és az ezzel kapcsolatos etikai problémákra. Befejezésül a népszerűtlen intézkedéseket az állampolgárok nagy hányadának véleményével szemben is felvállaló kormányzás és a demokrácia viszonyáról szól. / === / Gradualism and organic development also distinguish the transformation of property relations and institutions. Hungary's long reform­socialist phase was not followed, after the political change, by a leap towards a market economy, although the transformation became faster. The article shows how gradualism applies to the proliferating of privatization, with its wide variety of selling strategies, to the foundation process of new firms, to the course of liberalization, and to change in the legal infrastructure. It analyses the effect on Hungarian economic policy of corporatist elements which strengthen during the transition. Finally, it makes some comments summing up Hungarian development in terms of political economy and political philosophy. The government at any time in the last thirty years showed an obvious preference for putting off radical measures and accepting an accumulation of social debt as a way of averting conflict. The article notes differences of time preference between generations and the ethical problems these raise. Finally, it makes remarks on the relationship between democracy and an administration intent on unpopular measures opposed by a high proportion of citizens.

Continuous property measurement techniques and physics based mathematical model for frost growth control

The development of a new set of frost property measurement techniques to be used in the control of frost growth and defrosting processes in refrigeration systems was investigated. Holographic interferometry and infrared thermometry were used to measure the temperature of the frost-air interface, while a beam element load sensor was used to obtain the weight of a deposited frost layer. The proposed measurement techniques were tested for the cases of natural and forced convection, and the characteristic charts were obtained for a set of operational conditions. ^ An improvement of existing frost growth mathematical models was also investigated. The early stage of frost nucleation was commonly not considered in these models and instead an initial value of layer thickness and porosity was regularly assumed. A nucleation model to obtain the droplet diameter and surface porosity at the end of the early frosting period was developed. The drop-wise early condensation in a cold flat plate under natural convection to a hot (room temperature) and humid air was modeled. A nucleation rate was found, and the relation of heat to mass transfer (Lewis number) was obtained. It was found that the Lewis number was much smaller than unity, which is the standard value usually assumed for most frosting numerical models. The nucleation model was validated against available experimental data for the early nucleation and full growth stages of the frosting process. ^ The combination of frost top temperature and weight variation signals can now be used to control the defrosting timing and the developed early nucleation model can now be used to simulate the entire process of frost growth in any surface material. ^

The effects of intellectual property rights on knowledge spillovers and innovation: An empirical investigation

FDI is believed to be a conduit of new technologies between countries. The first chapter of this dissertation studies the advantages of outward FDI for the home country of multinationals conducting research and development abroad. We use patent citations as a proxy for technology spillovers and we bring empirical evidence that supports the hypothesis that a U.S. subsidiary conducting research and development overseas facilitates the flow of knowledge between its host and home countries.^ The second chapter examines the impact of intellectual property rights (IPR) reforms on the technology flows between the U.S. and host countries of U.S. affiliates. We again use patent citations to examine whether the diffusion of new technology between the host countries and the U.S. is accelerated by the reforms. Our results suggest that the reforms favor innovative efforts of domestic firms in the reforming countries rather than U.S. affiliates efforts. In other words, reforms mediate the technology flows from the U.S. to the reforming countries.^ The third chapter deals with another form of IPR, open source (OS) licenses. These differ in the conditions under which licensors and OS contributors are allowed to modify and redistribute the source code. We measure OS project quality by the speed with which programming bugs are fixed and test whether the license chosen by project leaders influences bug resolution rates. In initial regressions, we find a strong correlation between the hazard of bug resolution and the use of highly restrictive licenses. However, license choices are likely to be endogenous. We instrument license choice using (i) the human language in which contributors operate and (ii) the license choice of the project leaders for a previous project. We then find weak evidence that restrictive licenses adversely affect project success.^

The role of temporal synchrony in the facilitation of perceptual learning during prenatal development

This study explored the critical features of temporal synchrony for the facilitation of prenatal perceptual learning with respect to unimodal stimulation using an animal model, the bobwhite quail. The following related hypotheses were examined: (1) the availability of temporal synchrony is a critical feature to facilitate prenatal perceptual learning, (2) a single temporally synchronous note is sufficient to facilitate prenatal perceptual learning, with respect to unimodal stimulation, and (3) in situations where embryos are exposed to a single temporally synchronous note, facilitated perceptual learning, with respect to unimodal stimulation, will be optimal when the temporally synchronous note occurs at the onset of the stimulation bout. To assess these hypotheses, two experiments were conducted in which quail embryos were exposed to various audio-visual configurations of a bobwhite maternal call and tested at 24 hr after hatching for evidence of facilitated prenatal perceptual learning with respect to unimodal stimulation. Experiment 1 explored if intermodal equivalence was sufficient to facilitate prenatal perceptual learning with respect to unimodal stimulation. A Bimodal Sequential Temporal Equivalence (BSTE) condition was created that provided embryos with sequential auditory and visual stimulation in which the same amodal properties (rate, duration, rhythm) were made available across modalities. Experiment 2 assessed: (a) whether a limited number of temporally synchronous notes are sufficient for facilitated prenatal perceptual learning with respect to unimodal stimulation, and (b) whether there is a relationship between timing of occurrence of a temporally synchronous note and the facilitation of prenatal perceptual learning. Results revealed that prenatal exposure to BSTE was not sufficient to facilitate perceptual learning. In contrast, a maternal call that contained a single temporally synchronous note was sufficient to facilitate embryos’ prenatal perceptual learning with respect to unimodal stimulation. Furthermore, the most salient prenatal condition was that which contained the synchronous note at the onset of the call burst. Embryos’ prenatal perceptual learning of the call was four times faster in this condition than when exposed to a unimodal call. Taken together, bobwhite quail embryos’ remarkable sensitivity to temporal synchrony suggests that this amodal property plays a key role in attention and learning during prenatal development.

Tests of the Intersensory Redundancy Hypothesis across early postnatal development

The Intersensory Redundancy Hypothesis (IRH; Bahrick & Lickliter, 2000, 2002, 2012) predicts that early in development information presented to a single sense modality will selectively recruit attention to modality-specific properties of stimulation and facilitate learning of those properties at the expense of amodal properties (unimodal facilitation). Vaillant (2010) demonstrated that bobwhite quail chicks prenatally exposed to a maternal call alone (unimodal stimulation) are able to detect a pitch change, a modality-specific property, in subsequent postnatal testing between the familiarized call and the same call with altered pitch. In contrast, chicks prenatally exposed to a maternal call paired with a temporally synchronous light (redundant audiovisual stimulation) were unable to detect a pitch change. According to the IRH (Bahrick & Lickliter, 2012), as development proceeds and the individual's perceptual abilities increase, the individual should detect modality-specific properties in both nonredundant, unimodal and redundant, bimodal conditions. However, when the perceiver is presented with a difficult task, relative to their level of expertise, unimodal facilitation should become evident. The first experiment of the present study exposed bobwhite quail chicks 24 hr after hatching to unimodal auditory, nonredundant audiovisual, or redundant audiovisual presentations of a maternal call for 10min/hr for 24 hours. All chicks were subsequently tested 24 hr after the completion of the stimulation (72 hr following hatching) between the familiarized maternal call and the same call with altered pitch. Chicks from all experimental groups (unimodal, nonredundant audiovisual, and redundant audiovisual exposure) significantly preferred the familiarized call over the pitch-modified call. The second experiment exposed chicks to the same exposure conditions, but created a more difficult task by narrowing the pitch range between the two maternal calls with which they were tested. Chicks in the unimodal and nonredundant audiovisual conditions demonstrated detection of the pitch change, whereas the redundant audiovisual exposure group did not show detection of the pitch change, providing evidence of unimodal facilitation. These results are consistent with predictions of the IRH and provide further support for the effects of unimodal facilitation and the role of task difficulty across early development.

Toward A Better Understanding of the Evolution of Hotel Development: A Discussion of Product-specific Lodging Demand

In his essay - Toward a Better Understanding of the Evolution of Hotel Development: A Discussion of Product-Specific Lodging Demand - by John A. Carnella, Consultant, Laventhol & Horwath, cpas, New York, Carnella initially describes his piece by stating: “The diversified hotel product in the united states lodging market has Resulted in latent room-night demand, or supply-driven demand resulting from the introduction of a lodging product which caters to a specific set of hotel patrons. The subject has become significant as the lodging market has moved toward segmentation with regard to guest room offerings. The author proposes that latent demand is a tangible, measurable phenomenon best understood in light of the history of the guest room product from its infancy to its present state.” The article opens with an ephemeral depiction of hotel development in the United States, both pre’ and post World War II. To put it succinctly, the author wants you to know that the advent of the inter-state highway system changed the complexion of the hotel industry in the U.S. “Two essential ingredients were necessary for the next phase of hotel development in this country. First was the establishment of the magnificently intricate infrastructure which facilitated motor vehicle transportation in and around the then 48 states of the nation,” says Carnella. “The second event…was the introduction of affordable highway travel. Carnella goes on to say that the next – big thing – in hotel evolution was the introduction of affordable air travel. “With the airways filled with potential lodging guests, developers moved next to erect a new genre of hotel, the airport hotel,” Carnella advances his picture. Growth progressed with the arrival of the suburban hotel concept, which wasn’t fueled by developments in transportation, but by changes in people’s living habits, i.e. suburban affiliations as opposed to urban and city population aggregates. The author explores the distinctions between full-service and limited service lodging operations. “The market of interest with consideration to the extended-stay facility is one dominated by corporate office parks,” Carnella proceeds. These evolutional states speak to latent demand, and even further to segmentation of the market. “Latent demand… is a product-generated phenomenon in which the number of potential hotel guests increases as the direct result of the introduction of a new lodging facility,” Carnella brings his unique insight to the table with regard to the specialization process. The demand is already there; just waiting to be tapped. In closing, “…there must be a consideration of the unique attributes of a lodging facility relative to its ability to attract guests to a subject market, just as there must be an examination of the property's ability to draw guests from within the subject market,” Carnella proposes.

Maximum Justifiable Investment Analysis Determines Property Valuation

Investors and developers are often faced with the task of determining the worth or value of a real estate entity that presently exists or is proposed for development. This article explains the process for determining the value of a proposed project and, subsequently, the maximum investment dollars the project can cover, while at the same time producing a reasonable return for the investor. A proposed 300-room hotel serves as the real estate entity to be analyzed.

Development, validation and uncertainty analysis of quantitative structure and activity relationship models for Log P of disinfection by -products

Hydrophobicity as measured by Log P is an important molecular property related to toxicity and carcinogenicity. With increasing public health concerns for the effects of Disinfection By-Products (DBPs), there are considerable benefits in developing Quantitative Structure and Activity Relationship (QSAR) models capable of accurately predicting Log P. In this research, Log P values of 173 DBP compounds in 6 functional classes were used to develop QSAR models, by applying 3 molecular descriptors, namely, Energy of the Lowest Unoccupied Molecular Orbital (ELUMO), Number of Chlorine (NCl) and Number of Carbon (NC) by Multiple Linear Regression (MLR) analysis. The QSAR models developed were validated based on the Organization for Economic Co-operation and Development (OECD) principles. The model Applicability Domain (AD) and mechanistic interpretation were explored. Considering the very complex nature of DBPs, the established QSAR models performed very well with respect to goodness-of-fit, robustness and predictability. The predicted values of Log P of DBPs by the QSAR models were found to be significant with a correlation coefficient R2 from 81% to 98%. The Leverage Approach by Williams Plot was applied to detect and remove outliers, consequently increasing R 2 by approximately 2% to 13% for different DBP classes. The developed QSAR models were statistically validated for their predictive power by the Leave-One-Out (LOO) and Leave-Many-Out (LMO) cross validation methods. Finally, Monte Carlo simulation was used to assess the variations and inherent uncertainties in the QSAR models of Log P and determine the most influential parameters in connection with Log P prediction. The developed QSAR models in this dissertation will have a broad applicability domain because the research data set covered six out of eight common DBP classes, including halogenated alkane, halogenated alkene, halogenated aromatic, halogenated aldehyde, halogenated ketone, and halogenated carboxylic acid, which have been brought to the attention of regulatory agencies in recent years. Furthermore, the QSAR models are suitable to be used for prediction of similar DBP compounds within the same applicability domain. The selection and integration of various methodologies developed in this research may also benefit future research in similar fields.

The Role of Temporal Synchrony in the Facilitation of Perceptual Learning during Prenatal Development

This study explored the critical features of temporal synchrony for the facilitation of prenatal perceptual learning with respect to unimodal stimulation using an animal model, the bobwhite quail. The following related hypotheses were examined: (1) the availability of temporal synchrony is a critical feature to facilitate prenatal perceptual learning, (2) a single temporally synchronous note is sufficient to facilitate prenatal perceptual learning, with respect to unimodal stimulation, and (3) in situations where embryos are exposed to a single temporally synchronous note, facilitated perceptual learning, with respect to unimodal stimulation, will be optimal when the temporally synchronous note occurs at the onset of the stimulation bout. To assess these hypotheses, two experiments were conducted in which quail embryos were exposed to various audio-visual configurations of a bobwhite maternal call and tested at 24 hr after hatching for evidence of facilitated prenatal perceptual learning with respect to unimodal stimulation. Experiment 1 explored if intermodal equivalence was sufficient to facilitate prenatal perceptual learning with respect to unimodal stimulation. A Bimodal Sequential Temporal Equivalence (BSTE) condition was created that provided embryos with sequential auditory and visual stimulation in which the same amodal properties (rate, duration, rhythm) were made available across modalities. Experiment 2 assessed: (a) whether a limited number of temporally synchronous notes are sufficient for facilitated prenatal perceptual learning with respect to unimodal stimulation, and (b) whether there is a relationship between timing of occurrence of a temporally synchronous note and the facilitation of prenatal perceptual learning. Results revealed that prenatal exposure to BSTE was not sufficient to facilitate perceptual learning. In contrast, a maternal call that contained a single temporally synchronous note was sufficient to facilitate embryos’ prenatal perceptual learning with respect to unimodal stimulation. Furthermore, the most salient prenatal condition was that which contained the synchronous note at the onset of the call burst. Embryos’ prenatal perceptual learning of the call was four times faster in this condition than when exposed to a unimodal call. Taken together, bobwhite quail embryos’ remarkable sensitivity to temporal synchrony suggests that this amodal property plays a key role in attention and learning during prenatal development.

Financing infrastructure development : time to unshackle the bonds?

The authors would like to thank the RICS for their financial support of the project and the numerous respondents who gave so freely of their time. Part of the research was supported by a grant from the Hong Kong-Scotland Partners in Post-Doctoral Research Scheme sponsored by the Research Grants Council of Hong Kong and the Scottish Government (S-HKU701/13).