Tree Buffers

In runtime verification, the central problem is to decide if a given program execution violates a given property. In online runtime verification, a monitor observes a program’s execution as it happens. If the program being observed has hard real-time constraints, then the monitor inherits them. In the presence of hard real-time constraints it becomes a challenge to maintain enough information to produce error traces, should a property violation be observed. In this paper we introduce a data structure, called tree buffer, that solves this problem in the context of automata-based monitors: If the monitor itself respects hard real-time constraints, then enriching it by tree buffers makes it possible to provide error traces, which are essential for diagnosing defects. We show that tree buffers are also useful in other application domains. For example, they can be used to implement functionality of capturing groups in regular expressions. We prove optimal asymptotic bounds for our data structure, and validate them using empirical data from two sources: regular expression searching through Wikipedia, and runtime verification of execution traces obtained from the DaCapo test suite

Tube choledochoureterostomy: A simple method for bile diversion

A technique of bile diversion by tube choledochoureterostomy has been devised for the purpose of studying the role of bile in the intestinal absorption of drugs. This method was used in six dogs. No technical difficulties or major complications developed, as are inevitable with alternative methods, including external fistula. © 1990 Informa UK Ltd All rights reserved: reproduction in whole or part not permitted

Soaring

Analizar las “ejecuciones” es una manera de salir del tramposo énfasis en el que se cae comúnmente a la hora de estudiar los videojuegos, centrándose en los “efectos sobre la conducta” o en los “contenidos” de los mismos, por el contrario, una reflexión alrededor de las “ejecuciones” permite reconocer las formas de cognición situada y corporalizada que entraña el “videojugar”. Este artículo examina las formas del self y las orientaciones temporales en la actividad elocutiva de un niño que “videojuega”

The Prognosis of Albuminuria With or Without Casts

n/

The Treatment of Cardiac Insufficiency by a New Method of Exercise With Dumb-Bells and Bars: The Circulatory Reaction to Exercise as a Test of the Heart's Functional Capacity

n/

CONSOLIDATED EDISON THORIUM REACTOR PHYSICS DESIGN

The nuclear characteristics of the CETR are described. Core operating lifetime, control-rod worth, and powerdensity distribution are discussed in relation to maximizing the core operating life. Other objectives of nuclear design are to minimize the power-density variation and to assure control of the reactor. (J.R.D.

The lived experience of dysphagia following non-surgical treatment for head and neck cancer

The prevalence and severity of dysphagia in people treated non-surgically for primary head and neck cancer (HNC) is well documented. However, few studies have looked beyond the physiological impairment to explore the lived experience of dysphagia in the post-treatment period of HNC. The current study adopted a person-centred, qualitative approach to describe the experiences of people living with dysphagia in the months and years following non-surgical treatment for HNC. Using maximum variation sampling, 24 participants who had undergone radiotherapy treatment for HNC were recruited. Individual interviews were conducted to explore the impact of dysphagia on participants' everyday lives. The themes identified included: (1) physical changes related to swallowing; (2) emotions evoked by living with dysphagia; (3) altered perceptions and changes in appreciation of food; and (4) personal and lifestyle impacts. The data revealed the breadth and significance of the impact of dysphagia on the lives of people treated curatively for HNC. Assessment and management in the post-treatment period must be sufficiently holistic to address both the changing physical states and the psychosocial needs of people with dysphagia following HNC. Rehabilitation services which focus only on impairment-based management will fail to fully meet the support needs of this clinical population

The international entrepreneurial firm's social networks

This paper investigates theoretically the importance and impact of the international entrepreneurial firms’ (IEFs) social networks on selected firms’ strategies. We focus specifically on some core attributes of IEFs and the impact of social networks on such strategies as the choice of the foreign markets to operate and the foreign entry modes. The social networks are a major driver of the internationalization from inception and help in overcoming a variety of physical and social resource limitations as well as transactional hazards. We conclude that it is likely that both some fundamental characteristics of the IEFs and those of the foreign markets entered account for these firms reliance on their social networks

Non-solvolytic synthesis of aqueous soluble TiO2 nanoparticles and real-time dynamic measurements of the nanoparticle formation.

Highly aqueously dispersible (soluble) TiO2 nanoparticles are usually synthesized by a solution-based sol-gel (solvolysis/condensation) process, and no direct precipitation of titania has been reported. This paper proposes a new approach to synthesize stable TiO2 nanoparticles by a non-solvolytic method - direct liquid phase precipitation at room temperature. Ligand-capped TiO2 nanoparticles are more readily solubilized compared to uncapped TiO2 nanoparticles, and these capped materials show distinct optical absorbance/emission behaviors. The influence of ligands, way of reactant feeding, and post-treatment on the shape, size, crystalline structure, and surface chemistry of the TiO2 nanoparticles has been thoroughly investigated by the combined use of X-ray diffraction, transmission electron microscopy, UV-visible (UV-vis) spectroscopy, and photoluminescence (PL). It is found that all above variables have significant effects on the size, shape, and dispersivity of the final TiO2 nanoparticles. For the first time, real-time UV-vis spectroscopy and PL are used to dynamically detect the formation and growth of TiO2 nanoparticles in solution. These real-time measurements show that the precipitation process begins to nucleate after an initial inhibition period of about 1 h, thereafter a particle growth occurs and reaches the maximum point after 2 h. The synthesis reaction is essentially completed after 4 h.RIGHTS : This article is licensed under the BioMed Central licence at http://www.biomedcentral.com/about/license which is similar to the 'Creative Commons Attribution Licence'. In brief you may : copy, distribute, and display the work; make derivative works; or make commercial use of the work - under the following conditions: the original author must be given credit; for any reuse or distribution, it must be made clear to others what the license terms of this work are

Role of Personal Networks in the Growth of Entrepreneurship Ventures of Ethnic Minority Female Entrepreneurs

The main objective of the paper is to explore and explain the differences/similarities in personal networks of, and their use by, immigrant and British born Pakistani female entrepreneurs for business growth.A broad range of studies has explored the social context of ethnic minority and immigrant entrepreneurship by assuming all minority entrepreneurs as a cohesive group without taking into account intergroup (geographical categorisation) and intra-group (generational) differences. These differences are explained by socio-economic and cultural factors such as family background and support, ethnicity, religion, education, and more importantly personal network (Metcalf et. al., 1996; Basu, 1998). The blend of culture and religion depicted in entrepreneurial practices of Pakistani entrepreneurs is an interesting but under-researched area. Our particular interest is to explore the scope, depth, variations and limitations of the personal networks of Pakistani female entrepreneurs in their effort to grow their business