999 resultados para Structured Operational Semantics (SOS)
Resumo:
Executive Summary
Resumo:
Guidelines on the Provision of Structured Car Parking Facilities at Acute Hospitals These guidelines have been developed to ensure that any future developments for car parking facilities are consistent with Department policy and deliver value for money. They are intended to assist acute hospitals in ensuring that best practice is followed at all stages in the provision and management of structured car parking facilities. Click here to download PDF 23kb
Resumo:
Click here to download PDF
Resumo:
Neutrality tests in quantitative genetics provide a statistical framework for the detection of selection on polygenic traits in wild populations. However, the existing method based on comparisons of divergence at neutral markers and quantitative traits (Q(st)-F(st)) suffers from several limitations that hinder a clear interpretation of the results with typical empirical designs. In this article, we propose a multivariate extension of this neutrality test based on empirical estimates of the among-populations (D) and within-populations (G) covariance matrices by MANOVA. A simple pattern is expected under neutrality: D = 2F(st)/(1 - F(st))G, so that neutrality implies both proportionality of the two matrices and a specific value of the proportionality coefficient. This pattern is tested using Flury's framework for matrix comparison [common principal-component (CPC) analysis], a well-known tool in G matrix evolution studies. We show the importance of using a Bartlett adjustment of the test for the small sample sizes typically found in empirical studies. We propose a dual test: (i) that the proportionality coefficient is not different from its neutral expectation [2F(st)/(1 - F(st))] and (ii) that the MANOVA estimates of mean square matrices between and among populations are proportional. These two tests combined provide a more stringent test for neutrality than the classic Q(st)-F(st) comparison and avoid several statistical problems. Extensive simulations of realistic empirical designs suggest that these tests correctly detect the expected pattern under neutrality and have enough power to efficiently detect mild to strong selection (homogeneous, heterogeneous, or mixed) when it is occurring on a set of traits. This method also provides a rigorous and quantitative framework for disentangling the effects of different selection regimes and of drift on the evolution of the G matrix. We discuss practical requirements for the proper application of our test in empirical studies and potential extensions.
Resumo:
This paper presents a vision-based localization approach for an underwater robot in a structured environment. The system is based on a coded pattern placed on the bottom of a water tank and an onboard down looking camera. Main features are, absolute and map-based localization, landmark detection and tracking, and real-time computation (12.5 Hz). The proposed system provides three-dimensional position and orientation of the vehicle along with its velocity. Accuracy of the drift-free estimates is very high, allowing them to be used as feedback measures of a velocity-based low-level controller. The paper details the localization algorithm, by showing some graphical results, and the accuracy of the system
Resumo:
Catadioptric sensors are combinations of mirrors and lenses made in order to obtain a wide field of view. In this paper we propose a new sensor that has omnidirectional viewing ability and it also provides depth information about the nearby surrounding. The sensor is based on a conventional camera coupled with a laser emitter and two hyperbolic mirrors. Mathematical formulation and precise specifications of the intrinsic and extrinsic parameters of the sensor are discussed. Our approach overcomes limitations of the existing omni-directional sensors and eventually leads to reduced costs of production
Resumo:
This paper focuses on the problem of realizing a plane-to-plane virtual link between a camera attached to the end-effector of a robot and a planar object. In order to do the system independent to the object surface appearance, a structured light emitter is linked to the camera so that 4 laser pointers are projected onto the object. In a previous paper we showed that such a system has good performance and nice characteristics like partial decoupling near the desired state and robustness against misalignment of the emitter and the camera (J. Pages et al., 2004). However, no analytical results concerning the global asymptotic stability of the system were obtained due to the high complexity of the visual features utilized. In this work we present a better set of visual features which improves the properties of the features in (J. Pages et al., 2004) and for which it is possible to prove the global asymptotic stability
Resumo:
In this paper we face the problem of positioning a camera attached to the end-effector of a robotic manipulator so that it gets parallel to a planar object. Such problem has been treated for a long time in visual servoing. Our approach is based on linking to the camera several laser pointers so that its configuration is aimed to produce a suitable set of visual features. The aim of using structured light is not only for easing the image processing and to allow low-textured objects to be treated, but also for producing a control scheme with nice properties like decoupling, stability, well conditioning and good camera trajectory
Resumo:
Coded structured light is an optical technique based on active stereovision that obtains the shape of objects. One shot techniques are based on projecting a unique light pattern with an LCD projector so that grabbing an image with a camera, a large number of correspondences can be obtained. Then, a 3D reconstruction of the illuminated object can be recovered by means of triangulation. The most used strategy to encode one-shot patterns is based on De Bruijn sequences. In This work a new way to design patterns using this type of sequences is presented. The new coding strategy minimises the number of required colours and maximises both the resolution and the accuracy
Resumo:
This paper presents the implementation details of a coded structured light system for rapid shape acquisition of unknown surfaces. Such techniques are based on the projection of patterns onto a measuring surface and grabbing images of every projection with a camera. Analyzing the pattern deformations that appear in the images, 3D information of the surface can be calculated. The implemented technique projects a unique pattern so that it can be used to measure moving surfaces. The structure of the pattern is a grid where the color of the slits are selected using a De Bruijn sequence. Moreover, since both axis of the pattern are coded, the cross points of the grid have two codewords (which permits to reconstruct them very precisely), while pixels belonging to horizontal and vertical slits have also a codeword. Different sets of colors are used for horizontal and vertical slits, so the resulting pattern is invariant to rotation. Therefore, the alignment constraint between camera and projector considered by a lot of authors is not necessary
Resumo:
The changes in nutritional parameters and adipocytokines after structured intermittent interruption of highly active antiretroviral treatment of patients with chronic HIV infection are analyzed. Twenty-seven patients with chronic HIV infection (median CD4+ T cell count/microl: nadir, 394; at the beginning of structured interruptions, 1041; HIV viral load: nadir, 41,521 copies/ml; at the beginning of structured interruptions <50 copies/ml; median time of previous treatment: 60 months) were evaluated during three cycles of intermittent interruptions of therapy (8 weeks on/4 weeks off). CD4+ T cell count, HIV viral load, anthropometric measures, and serum concentrations of triglycerides, cholesterol, leptin, and tumor necrosis factor and its soluble receptors I and II were determined. After the three cycles of intermittent interruptions of therapy, no significant differences in CD4+ T cell count/microl, viral load, or serum concentrations of cholesterol or triglycerides with reference to baseline values were found. A near-significant higher fatty mass (skinfold thicknesses, at the end, 121 mm, at the beginning, 100 mm, p = 0.100), combined with a significant increase of concentration of leptin (1.5 vs. 4.7 ng/ml, p = 0,044), as well as a decrease in serum concentrations of soluble receptors of tumor necrosis factor (TNFRI, 104 vs. 73 pg/ml, p = 0.022; TNFRII 253 vs. 195 pg/ml, p = 0.098) were detected. Structured intermittent interruption of highly active antiretroviral treatment of patients with chronic HIV infection induces a valuable positive modification in markers of lipid turnover and adipose tissue mass.
Resumo:
Introduction and Aims: The process of delivering erythropoiesis stimulating agents (ESAs) to hemodialysis patients (HD) is complex. Many European countries are requiring centers to document this process. To date, there has not been any comprehensive description of the operational aspects of ESA delivery in Europe. The objective of the Mercurius study was to describe the entire process of ESA delivery in dialysis centers. In addition, we explored the benefits of less frequent dosing. Methods: A conceptual model was developed to classify the sub-processes in the pharmacy, dialysis unit, waste unit, and back office. Within each dialysis unit activities associated with dose determination, ordering procedures, receipt and storage of ESAs, and ESA administration were measured. Within the pharmacy, ordering from supplier, receiving and storing, and delivering ESA to the dialysis unit were measured. The amount of time and materials associated with waste disposal and back office activities were also observed. We also evaluated the impact of less frequent dosing on the resources required to perform anemia management for HD patients. Structured interviews with staff were used to develop a comprehensive list of processes, sub-processes, and activities that are routinely followed to order, register, administer, and dispose of waste associated with ESAs. Each activity was evaluated to determine if less frequent dosing influenced the amount of resources required. A model was developed to estimate the change in resources consumed using less frequent dosing regimens. Results: Eight centers from 5 European countries (Belgium, France, Italy, Sweden, and Switzerland) participated in the study. The number of HD patients in each center ranged from 42 to 707 (mean=175). Across all of the centers, patients received a variety of dosing regimens (eg, TIW, BIW, QW and Q2W). The mean (±SD) time spent for the pharmacy to order an ESA from the supplier was 6.1 (±8.7) minutes; time spent in the dialysis unit and pharmacy for receiving and storing ESPs was 5.3 (±5.3) and 10.0 (±10.9) minutes, respectively; and time spent administering each injection was 6.4 (±6.5) minutes. Switching from current dosing practices to Q2W could decrease the mean number of syringes used from 12,420 to 5,085 per year. We estimate a reduction in the number of disinfective tissues and liquids of 58% and 71%, respectively by switching from current practice to dosing ESAs Q2W. Conclusions: There was significant variation in the time that it takes to perform routine ESA activities. We estimate that a reduction in resources required to manage anemia can be obtained by reducing the frequency of administration from the current mix of ESAs. These resources could be redeployed for patient care.
Resumo:
OBJECTIVES: After structured treatment interruption (STI) of treatment for HIV-1, a fraction of patients maintain suppressed viral loads. Prospective identification of such patients might improve HIV-1 treatment, if selected patients are offered STI. METHODS: We analysed the effect of previously identified genetic modulators of HIV-1 disease progression on patients' ability to suppress viral replication after STI. Polymorphisms in the genes killer cell immunoglobulin-like receptor 3DLI (KIR3DL1)/KIR3DS1, human leucocyte antigen B (HLA-B) and HLA Complex P5 (HCP5), and a polymorphism affecting HLA-C surface expression were analysed in 130 Swiss HIV Cohort Study patients undergoing STI. Genotypes were correlated with viral load levels after STI. RESULTS: We observed a statistically significant reduction in viral load after STI in carriers of HLA-B alleles containing either the Bw480Thr or the Bw480Ile epitope (mean adjusted effect on post-STI viral load: -0.82 log HIV-1 RNA copies/ml, P < 0.001; and -1.12 log copies/ml, P < 0.001, respectively). No significant effects were detected for the other polymorphisms analysed. The likelihood of being able to control HIV-1 replication using a prespecified cut-off (viral load increase < 1000 copies/ml) increased from 39% in Bw4-negative patients to 53% in patients carrying Bw4-80Thr, and to 65% in patients carrying Bw4-80Ile (P = 0.02). CONCLUSIONS: These data establish a significant impact of HLA-Bw4 on the control of viral replication after STI.
Resumo:
In this paper we describe a system for underwater navigation with AUVs in partially structured environments, such as dams, ports or marine platforms. An imaging sonar is used to obtain information about the location of planar structures present in such environments. This information is incorporated into a feature-based SLAM algorithm in a two step process: (I) the full 360deg sonar scan is undistorted (to compensate for vehicle motion), thresholded and segmented to determine which measurements correspond to planar environment features and which should be ignored; and (2) SLAM proceeds once the data association is obtained: both the vehicle motion and the measurements whose correct association has been previously determined are incorporated in the SLAM algorithm. This two step delayed SLAM process allows to robustly determine the feature and vehicle locations in the presence of large amounts of spurious or unrelated measurements that might correspond to boats, rocks, etc. Preliminary experiments show the viability of the proposed approach