Lightweight coarse-grained coordination: a scalable system-level approach

In this paper, our solution to the problem of modelling functionally complex communication systems at the application level, based on lightweight coordination, is extended to seamlessly capture system-level testing as well. This extension could be realized simply by self-application: the bulk of the work for integrating system-level testing into our development environment, the ABC, concerned domain modelling, which can be done using the ABC. Therefore, the extension of the ABC to cover system-level testing was merely an application development on the basis of the ABC, illustrated here in the domain of Computer Telephony Integration. Here the adoption of a coarse-grained approach to test design, which is central to the scalability of the overall testing environment, is the enabling aspect for system-level test automation. Together with our lightweight coordination approach this induces an understandable modelling paradigm of system-wide test cases that is adequate for the needs and requirements of industrial test engineers. In particular, it enables test engineers to graphically design complex test cases that, in addition, can even be automatically checked for their intended purposes via model checking.     

HybMig: A Hybrid Approach to Dynamic Plan Migration for Continuous Queries

In data stream environments, the initial plan of a long-running query may gradually become inefficient due to changes of the data characteristics. In this case, the query optimizer generates a more efficient plan based on the current statistics. The online transition from the old to the new plan is called dynamic plan migration. In addition to correctness, an effective technique for dynamic plan migration should achieve the following objectives: 1) minimize the memory and CPU overhead of the migration, 2) reduce the duration of the transition, and 3) maintain a steady output rate. The only known solutions for this problem are the moving states (MS) and parallel track (PT) strategies, which have some serious shortcomings related to the above objectives. Motivated by these shortcomings, we first propose HybMig, which combines the merits of MS and PT and outperforms both in every aspect. As a second step, we extend PT, MS, and HybMig to the general problem of migration, where both the new and the old plans are treated as black boxes     

The role of forest and bioenergy strategies in the global carbon cycle

Forest and bioenergy strategies offer the prospect of reduced CO₂ emissions to the atmosphere. Such strategies can affect the net flux of carbon to the atmosphere through 4 mechanisms: storage of C in the biosphere; storage of C in forest products; use of biofuels to displace fossil-fuel use; use of wood products which often displaces other products that require more fossil fuel for their production. We use the mathematical model GORCAM (Graz/Oak Ridge Carbon Accounting Model) to examine these mechanisms for 16 land-use scenarios. Over long time intervals the amount of C stored in the biosphere and in forest products reaches a steady state and continuing mitigation of C emissions depends on the extent to which fossil fuel use is displaced by the use of bioenergy and wood products. The relative effectiveness of alternative forest and bioenergy strategies and their impact on net C emissions strongly depend, for example, on the productivity of the site, its current usage, and the efficiency with which the harvest is used. When growth rates are high and harvest is used efficiently, the dominant opportunity for net reduction in C emissions is seen to be fossil-fuel displacement. At the growth rates and efficiencies of harvest utilization adopted in many of our base scenarios, the net C balance at the end of 100 years is very similar whether trees are harvested and used for energy and traditional forest products, or reforestation and forest protection strategies are implemented. The C balance on a plantation system that provides a constant output of biomass products can look different than the balance of a single parcel of land.     

Robust channel prediction technique for decision directed RAKEreceivers

The authors describe a robust channel prediction technique for a direct sequence spread spectrum (DS-SS) system in a fast fading environment. Coherent diversity reception is employed for improved performance. To estimate the channel response, an FIR type linear prediction filter is employed for each RAKE tap. The stability of the decision directed receiver is achieved through differential encoding of the data bits. It is demonstrated through simulations that the performance of the proposed decision directed receiver is better than a receiver which relies on a pilot signal     

Instrumentation and techniques in equine fracture fixation

In recent years fracture fixation in the horse has changed significantly. New devices, mainly adapted from the human field, have been successfully introduced into large animal surgery. Examples of such implants include the DCS/DHS implant system, the self-tapping screw, the cannulated screw, and the pinless external fixator. However, new devices have also been developed exclusively for equine fracture management, including the interlocking intramedullary nail and the external skeletal fixation device. With these devices the surgeon has more options for repairing fractures in horses. Nevertheless, many problems are still unsolved. Indications exist that during the next few years new, exciting fracture fixation systems will be developed, providing further advancements in the quest for the ideal implant for horses. However, the development stages of these devices are such that mentioning the possibilities here is premature.     

A formal model for the interoperability of service clouds

Large-scale service-oriented computing is based on the idea that services from various servers are combined into one distributed application. Referring to a collection of services on one server as a ??service cloud??, the problem investigated in this paper is to define formal high-level specifications of such distributed applications and to enable the location of suitable services for them. Based on the language-independent model of Abstract State Services (AS²s), which serves as a universal integrated model for data and software as services, we extend AS²s by high-level action schemes called ??plots?? as a means to specify permitted sequences of service operations. On these grounds, we develop a model for service mediators, that is, specifications of composed services in which service slots have to be filled by actual services, and investigate matching conditions for slots of mediators and services. For a services to match a slot in a mediator, a (generalised) projection of the mediator must comply with the plot of the service. Furthermore, the service must be semantically adequate, which requires the use of a service ontology.     

Molecular Mechanisms of Fetal Tendon Regeneration Versus Adult Fibrous Repair

Tendinopathies are painful, disabling conditions that afflict 25% of the adult human population. Filling an unmet need for realistic large-animal models, we here present an ovine model of tendon injury for the comparative study of adult scarring repair and fetal regeneration. Complete regeneration of the fetal tendon within 28 days is demonstrated, while adult tendon defects remained macroscopically and histologically evident five months post-injury. In addition to a comprehensive histological assessment, proteome analyses of secretomes were performed. Confirming histological data, a specific and pronounced inflammation accompanied by activation of neutrophils in adult tendon defects was observed, corroborated by the significant up-regulation of pro-inflammatory factors, neutrophil attracting chemokines, the release of potentially tissue-damaging antimicrobial and extracellular matrix-degrading enzymes, and a response to oxidative stress. In contrast, secreted proteins of injured fetal tendons included proteins initiating the resolution of inflammation or promoting functional extracellular matrix production. These results demonstrate the power and relevance of our novel ovine fetal tendon regeneration model, which thus promises to accelerate research in the field. First insights from the model already support our molecular understanding of successful fetal tendon healing processes and may guide improved therapeutic strategies.     

(S)-Reutericyclin: Susceptibility Testing and In Vivo Effect on Murine Fecal Microbiome and Volatile Organic Compounds

We aimed to assess the in vitro antimicrobial activity and the in vivo effect on the murine fecal microbiome and volatile organic compound (VOC) profile of (S)-reutericyclin. The antimicrobial activity of (S)-reutericyclin was tested against Clostridium difficile, Listeria monocytogenes, Escherichia coli, Enterococcus faecium, Staphylococcus aureus, Staphylococcus (S.) epidermidis, Streptococcus agalactiae, Pseudomonas aeruginosa and Propionibacterium acnes. Reutericyclin or water were gavage fed to male BALBc mice for 7 weeks. Thereafter stool samples underwent 16S based microbiome analysis and VOC analysis by gas chromatography mass spectrometry (GC-MS). (S)-reutericyclin inhibited growth of S. epidermidis only. Oral (S)-reutericyclin treatment caused a trend towards reduced alpha diversity. Beta diversity was significantly influenced by reutericyclin. Linear discriminant analysis Effect Size (LEfSe) analysis showed an increase of Streptococcus and Muribaculum as well as a decrease of butyrate producing Ruminoclostridium, Roseburia and Eubacterium in the reutericyclin group. VOC analysis revealed significant increases of pentane and heptane and decreases of 2,3-butanedione and 2-heptanone in reutericyclin animals. The antimicrobial activity of (S)-reutericyclin differs from reports of (R)-reutericyclin with inhibitory effects on a multitude of Gram-positive bacteria reported in the literature. In vivo (S)-reutericyclin treatment led to a microbiome shift towards dysbiosis and distinct alterations of the fecal VOC profile.