On-the-Fly Maintenance of Series-Parallel Relationships in Fork-Join Multithreaded Programs

A key capability of data-race detectors is to determine whether one thread executes logically in parallel with another or whether the threads must operate in series. This paper provides two algorithms, one serial and one parallel, to maintain series-parallel (SP) relationships "on the fly" for fork-join multithreaded programs. The serial SP-order algorithm runs in O(1) amortized time per operation. In contrast, the previously best algorithm requires a time per operation that is proportional to Tarjan’s functional inverse of Ackermann’s function. SP-order employs an order-maintenance data structure that allows us to implement a more efficient "English-Hebrew" labeling scheme than was used in earlier race detectors, which immediately yields an improved determinacy-race detector. In particular, any fork-join program running in T₁ time on a single processor can be checked on the fly for determinacy races in O(T₁) time. Corresponding improved bounds can also be obtained for more sophisticated data-race detectors, for example, those that use locks. By combining SP-order with Feng and Leiserson’s serial SP-bags algorithm, we obtain a parallel SP-maintenance algorithm, called SP-hybrid. Suppose that a fork-join program has n threads, T₁ work, and a critical-path length of T[subscript ∞]. When executed on P processors, we prove that SP-hybrid runs in O((T₁/P + PT[subscript ∞]) lg n) expected time. To understand this bound, consider that the original program obtains linear speed-up over a 1-processor execution when P = O(T₁/T[subscript ∞]). In contrast, SP-hybrid obtains linear speed-up when P = O(√T₁/T[subscript ∞]), but the work is increased by a factor of O(lg n).

Intraovarian sperm storage in Helicolenus dactylopterus dactylopterus fertilitzation, crypt formation and maintenance of stored sperm

The females of the bluemouth rockfish, Helicolenus dactylopterus dactylopterus (DelaRoche, 1809), store sperm within their ovaries for periods of up to 10 months. Twenty six females with standard lengths between 152 and 257 mm and six males with standard lengths between 253 and 209 mm were caught storage crypts with stored spermatozoa and to describe their evolution over the year. After internal fertilization and once sperm reaches the ovary, a crypt forms probably by an epithelial inclusion at the base of the lamellae of one or several spermatozoa groups that are floating freely in the interlamellar space of the ovarian lumen. Stored spermatozoa have a large cytoplasm bag surrounding their heads. This bag could serve as a nutritive reservoir during the long storage period. Many desmosonal and tight junctions between the crypt cells ensure tha male sex cells are protected against the female immune system

Probabilistic models to assist maintenance of multiple instruments

The paper discusses maintenance challenges of organisations with a huge number of devices and proposes the use of probabilistic models to assist monitoring and maintenance planning. The proposal assumes connectivity of instruments to report relevant features for monitoring. Also, the existence of enough historical registers with diagnosed breakdowns is required to make probabilistic models reliable and useful for predictive maintenance strategies based on them. Regular Markov models based on estimated failure and repair rates are proposed to calculate the availability of the instruments and Dynamic Bayesian Networks are proposed to model cause-effect relationships to trigger predictive maintenance services based on the influence between observed features and previously documented diagnostics

Self-deception as a mechanism for the maintenance of drug addiction

Resumen tomado de la publicaci??n

Narration for instructional video: operation and maintenance of the Nucleus 22 Channel Cochlear Implant

This paper presents the narration for an educational video on cochlear implants and the implantation process aimed at parents and teachers of hearing-impaired children.

Reduced capacity to sustain positive emotion in major depression reflects diminished maintenance of fronto-striatal brain activation

Anhedonia, the loss of pleasure or interest in previously rewarding stimuli, is a core feature of major depression. While theorists have argued that anhedonia reflects a reduced capacity to experience pleasure, evidence is mixed as to whether anhedonia is caused by a reduction in hedonic capacity. An alternative explanation is that anhedonia is due to the inability to sustain positive affect across time. Using positive images, we used an emotion regulation task to test whether individuals with depression are unable to sustain activation in neural circuits underlying positive affect and reward. While up-regulating positive affect, depressed individuals failed to sustain nucleus accumbens activity over time compared with controls. This decreased capacity was related to individual differences in self-reported positive affect. Connectivity analyses further implicated the fronto-striatal network in anhedonia. These findings support the hypothesis that anhedonia in depressed patients reflects the inability to sustain engagement of structures involved in positive affect and reward.

Assembly and maintenance of the sarcomere night and day

The assembly of sarcomeric proteins into the highly organized structure of the sarcomere is an ordered and complex process involving an array of structural and associated proteins. The sarcomere has shown itself to be considerably more complex than ever envisaged and may be considered one of the most complex macromolecular assemblies in biology. Studies over the last decade have helped to put a new face on the sarcomere, and, as such, the sarcomere is being redefined as a dynamic network of proteins capable of generating force and signalling with other cellular compartments and metabolic enzymes capable of controlling many facets of striated myocyte biology.

Natural products as alternative treatments for metabolic bone disorders and for maintenance of bone health

Bone metabolism involves a complex balance between the deposition of matrix and mineralization and resorption. There is now good evidence that dietary components and herbal products can influence these processes, particularly by inhibiting bone resorption, thus having beneficial effects on the skeleton. For example, it has been reported that a number of common vegetables, including onion, garlic and parsley, can inhibit bone resorption in ovariectomized rats. Essential oils derived from sage, rosemary, thyme and other herbs inhibit osteoclast activity in vitro and in vitro and leading to an increase in bone mineral density. Soya, a rich source of isoflavones, has shown promising results and epidemiological evidence to support a use in maintaining bone health, and various traditional herbal formulae in Chinese and Ayurvedic medicine also have demonstrable effects in pharmacological models of osteoporosis. Recently, cannabinoids have been described as having positive effects on osteoblast differentiation, and the presence of cannabinoid receptors in bone tissue indicates a more complex role in bone metabolism than previously thought. The first part of this review briefly discusses normal bone metabolism and disorders caused by its disruption, with particular reference to osteoporosis and current pharmacological treatments. The effects of natural products on bone and connective tissue are then discussed, to include items of diet, herbal extracts and food supplements, with evidence for their efficacy outlined. Copyright (c) 2006 John Wiley & Sons, Ltd.

Development of new methodologies for entry to targets of therapeutic interest

This Account provides an overview of strategies that have been reported from our laboratories for the synthesis of targets of therapeutic interest, namely carbohydrates, and prodrugs for the treatment of melanoma. These programmes have involved the development of new synthetic methodologies including the regio- and stereoselective synthesis of specific carbohydrate isomers, and new protecting group methodologies. This review provides an insight into the progress of these research themes, and suggests some applications for the targets that are currently being explored.

Public leisure provision under Compulsory Competitive Tendering: the maintenance of ideological dominance?

Although much has been written about the effect on services of public sector restructuring, little is yet available on public leisure provision. This omission is addressed by considering how the delivery of public leisure services in Britain has been affected by the imposition of Compulsory Competitive Tendering (CCT). In particular, it focuses on the changing relationship between the central and local levels of government recognising, on the part of local government, a continuum of structural responses to central initiatives which have, in some cases, conspired to reduce the impact of CCT on public leisure provision. The paper concludes that although attempts have been made to protect local services, the outcome of the CCT process has been the regeneration of public leisure provision away from its service roots, but within an enduring ideological paradigm of conservative professionalism.

Distribution of research gains in multistage production systems: further results

The "marketing" sector in Muth's single-stage model is disaggregated in to two sequential stages: "processing" and "distribution. "Comparative statics are used to derive necessary and sufficient conditions for farmers to gain from downstream research. The farm benefits are shown to depend crucially on the stage in "marketing" to which research is directed.

Maintenance of the African easterly jet

The maintenance of the African easterly jet (AEJ) has been examined using a zonally symmetric general circulation model with simple parametrizations. It is shown that the AEJ is maintained in association with two diabatically forced meridional circulations: one associated with surface fluxes and dry convection in the Saharan heat-low region and one associated with deep moist convection in the intertropical convergence zone equatorward of this. the heat-low heating, which reaches the height of the AEJ around 700 mb, is particularly important in maintaining the AEJ and its associated meridional gradients in potential vorticity. It is concluded that the mean observed AEJ results from a combination of the diabatically forced meridional circulations which maintain it and easterly waves which weaken it.

Case study on the maintenance of a construction monitoring using USN-based data acquisition

In recent years, there has been an increasing interest in the adoption of emerging ubiquitous sensor network (USN) technologies for instrumentation within a variety of sustainability systems. USN is emerging as a sensing paradigm that is being newly considered by the sustainability management field as an alternative to traditional tethered monitoring systems. Researchers have been discovering that USN is an exciting technology that should not be viewed simply as a substitute for traditional tethered monitoring systems. In this study, we investigate how a movement monitoring measurement system of a complex building is developed as a research environment for USN and related decision-supportive technologies. To address the apparent danger of building movement, agent-mediated communication concepts have been designed to autonomously manage large volumes of exchanged information. In this study, we additionally detail the design of the proposed system, including its principles, data processing algorithms, system architecture, and user interface specifics. Results of the test and case study demonstrate the effectiveness of the USN-based data acquisition system for real-time monitoring of movement operations.

Prostate cancer: important steps and considerations in the design of therapeutic vaccines

Vaccine-based immunotherapy can increase the overall survival of patients with advanced prostate cancer. However, the efficacy of vaccine-elicited anticancer immune responses is heavily influenced by the physical, nutritional, and psychological status of the patient. Given their importance, these parameters should be carefully considered for the design of future clinical trials testing this immunotherapeutic paradigm in prostate cancer patients.