Generalized D-Symmetric Operators I

2000 Mathematics Subject Classification: Primary: 47B47, 47B10; secondary 47A30.Let H be an infinite-dimensional complex Hilbert space and let A, B ∈ L(H), where L(H) is the algebra of operators on H into itself. Let δAB: L(H) → L(H) denote the generalized derivation δAB(X) = AX − XB. This note will initiate a study on the class of pairs (A,B) such that [‾(R(δAB))] = [‾(R(δB*A*))]; i.e. [‾(R(δAB))] is self-adjoint

Single rooms may help to prevent nosocomial bloodstream infection and cross-transmission of methicillin-resistant Staphylococcus aureus in intensive care units

OBJECTIVE: Nosocomial infections remain a major problem in intensive care units. Several authorities have recommended housing patients in single rooms to prevent cross-transmission of potential pathogens, but this issue is currently debated. The aim of the present study was to compare the rate of nosocomial cross-contamination between patients hosted in single rooms versus bay rooms. DESIGN: Prospective observational data acquisition over 2.5 years. SETTING: A 14-bed medico-surgical ICU, composed of six single-bed rooms plus a six-bed and a two-bed bay room served by the same staff. PATIENTS AND PARTICIPANTS: All patients admitted from 1 July 2002 to 31 December 2004. INTERVENTIONS: None. MEASUREMENTS AND RESULTS: Prevalence of methicillin-resistant Staphylococcus aureus (MRSA) in admitted patients was 1.1% and acquisition rate 2.4%. The incidence density of MRSA acquisition was 4.1 [95% CI 2.7-6.3]/1,000 patient-days in bay rooms versus 1.3 [0.5-3.4]/1,000 patient-days in single rooms (p<0.001). Pseudomonas spp. acquisition rate was 3.9 [2.5-6.1]/1,000 patient-days in bay rooms versus 0.7 [0.2-2.4]/1,000 patient-days in single rooms (p<0.001), and Candida spp. colonization was 38.4 [33.3-44.1]/1,000 patient-days in bay rooms versus 13.8 [10.2-18.6]/1,000 patient-days (p<0.001). By multivariate analysis, the relative risk of MRSA, Pseudomonas aeruginosa and Candida spp. acquisition in single rooms or cubicles versus bay rooms was 0.65, 0.61 and 0.75 respectively. CONCLUSIONS: These data suggest that in an institution where MRSA is not hyperendemic, infection control measures may be more effective to prevent cross-transmission of microorganisms in patients housed in single rooms

A Logical Verification Methodology for Service-Oriented Computing

We introduce a logical verification methodology for checking behavioural properties of service-oriented computing systems. Service properties are described by means of SocL, a branching-time temporal logic that we have specifically designed to express in an effective way distinctive aspects of services, such as, e.g., acceptance of a request, provision of a response, and correlation among service requests and responses. Our approach allows service properties to be expressed in such a way that they can be independent of service domains and specifications. We show an instantiation of our general methodology that uses the formal language COWS to conveniently specify services and the expressly developed software tool CMC to assist the user in the task of verifying SocL formulae over service specifications. We demonstrate feasibility and effectiveness of our methodology by means of the specification and the analysis of a case study in the automotive domain

Optimizing polymer lab-on-chip platforms for ultrasonic manipulation: Influence of the substrate

The choice of substrate material in a chip that combines ultrasound with microfluidics for handling biological and synthetic microparticles can have a profound effect on the performance of the device. This is due to the high surface-to-volume ratio that exists within such small structures and acquires particular relevance in polymer-based resonators with 3D standing waves. This paper presents three chips developed to perform particle flow-through separation by ultrasound based on a polymeric SU-8 layer containing channelization over three different substrates: Polymethyl methacrylate (PMMA); Pyrex; and a cracked PMMA composite-like structure. Through direct observations of polystyrene microbeads inside the channel, the three checked chips exhibit their potential as disposable continuous concentration devices with different spatial pressure patterns at frequencies of resonance close to 1 Mhz. Chips with Pyrex and cracked PMMA substrates show restrictions on the number of pressure nodes established in the channel associated with the inhibition of 3D modes in the solid structure. The glass-substrate chip presents some advantages associated with lower energy requirements to collect particles. According to the results, the use of polymer-based chips with rigid substrates can be advantageous for applications that require short treatment times (clinical tests handling human samples) and low-cost fabrication. © 2015 by the authors; licensee MDPI, Basel, Switzerland.The study has been performed in the framework of two Spanish National Research Project BIO2011-30535-C04-01,02,03, “Development of a high throughput for isolation of tumor cells circulating in peripheral blood”.We acknowledge support by the CSIC Open Access Publication Initiative through its Unit of Information Resources for Research (URICI).Peer Reviewe

Sigref – A Symbolic Bisimulation Tool Box

We present a uniform signature-based approach to compute the most popular bisimulations. Our approach is implemented symbolically using BDDs, which enables the handling of very large transition systems. Signatures for the bisimulations are built up from a few generic building blocks, which naturally correspond to efficient BDD operations. Thus, the definition of an appropriate signature is the key for a rapid development of algorithms for other types of bisimulation. We provide experimental evidence of the viability of this approach by presenting computational results for many bisimulations on real-world instances. The experiments show cases where our framework can handle state spaces efficiently that are far too large to handle for any tool that requires an explicit state space description. This work was partly supported by the German Research Council (DFG) as part of the Transregional Collaborative Research Center “Automatic Verification and Analysis of Complex Systems” (SFB/TR 14 AVACS). See www.avacs.org for more information

The ocean sampling day consortium.

Ocean Sampling Day was initiated by the EU-funded Micro B3 (Marine Microbial Biodiversity, Bioinformatics, Biotechnology) project to obtain a snapshot of the marine microbial biodiversity and function of the world's oceans. It is a simultaneous global mega-sequencing campaign aiming to generate the largest standardized microbial data set in a single day. This will be achievable only through the coordinated efforts of an Ocean Sampling Day Consortium, supportive partnerships and networks between sites. This commentary outlines the establishment, function and aims of the Consortium and describes our vision for a sustainable study of marine microbial communities and their embedded functional traits

A context-aware user-driven strategy to exploit Offloading and sharing in ultra-dense deployments

This paper proposes a novel context-aware userdriven strategy to efficiently exploit all available bands and licensing regimes in ultra-dense deployments without prior knowledge about each combination. It relies first on fuzzy logic to estimate the suitability of each radio access technology (RAT) to support the requirements of various applications. Then, a fuzzy multiple attribute decision making (MADM) approach is developed to combine these estimates with the heterogeneous context components to assess the in-context suitability. Based on this metric, a spectrum management strategy is proposed to support interactive video sessions for a set of Bronze and Gold subscriptions. The results reveal that the proposed approach always assigns Gold users to the well-regulated licensed band, while switches Bronze users between licensed and unlicensed bands depending on the operating conditions. This results in a significant improvement of the quality-of-experience (QoE) compared to a baseline that exploits only licensed bands. Then, a comparative study is conducted between the available options to exploit unlicensed bands, namely Offloading and Sharing. The results show that the best option strongly depends on the existing load on WLAN. Therefore, a combined approach is proposed to efficiently switch between both options, which achieves the best QoE for all considered loads