1,571 research outputs found
Robust vector quantization for noisy channels
The paper briefly discusses techniques for making vector quantizers more tolerant to tranmsission errors. Two algorithms are presented for obtaining an efficient binary word assignment to the vector quantizer codewords without increasing the transmission rate. It is shown that about 4.5 dB gain over random assignment can be achieved with these algorithms. It is also proposed to reduce the effects of error propagation in vector-predictive quantizers by appropriately constraining the response of the predictive loop. The constrained system is shown to have about 4 dB of SNR gain over an unconstrained system in a noisy channel, with a small loss of clean-channel performance
Microalbuminuria, peripheral artery disease, and cognitive function
Kidney disease may be linked to a decline in cognitive activity. We examined the association of microalbuminuria and cognitive function in a general population of older adults in the United States drawn from the National Health and Nutrition Examination Survey of 1999–2002. Cognitive function was measured by digit symbol substitution in 2386 participants 60 years of age and older of whom 448 had microalbuminuria. Covariates included age, gender, race/ethnicity, education, smoking, diabetes, and hypertension. Among participants with peripheral artery disease, those with microalbuminuria had a significantly lower cognitive function score compared to those with a normal albumin-to-creatinine ratio. The association between microalbuminuria and cognitive function was weak in those without peripheral artery disease. But in those with peripheral artery disease, the odds of microalbuminuria associated with cognitive function in the lowest and middle tertiles was 6.5 and 3.5, respectively
Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL
One of the most promising approaches to fighting the configuration space explosion problem in lifted model checking are variability abstractions. In this work, we define a novel game-based approach for variability-specific abstraction and refinement for lifted model checking of the full CTL, interpreted over 3-valued semantics. We propose a direct algorithm for solving a 3-valued (abstract) lifted model checking game. In case the result of model checking an abstract variability model is indefinite, we suggest a new notion of refinement, which eliminates indefinite results. This provides an iterative incremental variability-specific abstraction and refinement framework, where refinement is applied only where indefinite results exist and definite results from previous iterations are reused. The practicality of this approach is demonstrated on several variability models
A Game of Attribute Decomposition for Software Architecture Design
Attribute-driven software architecture design aims to provide decision
support by taking into account the quality attributes of softwares. A central
question in this process is: What architecture design best fulfills the
desirable software requirements? To answer this question, a system designer
needs to make tradeoffs among several potentially conflicting quality
attributes. Such decisions are normally ad-hoc and rely heavily on experiences.
We propose a mathematical approach to tackle this problem. Game theory
naturally provides the basic language: Players represent requirements, and
strategies involve setting up coalitions among the players. In this way we
propose a novel model, called decomposition game, for attribute-driven design.
We present its solution concept based on the notion of cohesion and
expansion-freedom and prove that a solution always exists. We then investigate
the computational complexity of obtaining a solution. The game model and the
algorithms may serve as a general framework for providing useful guidance for
software architecture design. We present our results through running examples
and a case study on a real-life software project.Comment: 23 pages, 5 figures, a shorter version to appear at 12th
International Colloquium on Theoretical Aspects of Computing (ICTAC 2015
Impact evaluation of different cash-based intervention modalities on child and maternal nutritional status in Sindh Province, Pakistan, at 6 mo and at 1 y: A cluster randomised controlled trial
BACKGROUND:
Cash-based interventions (CBIs), offer an interesting opportunity to prevent increases in wasting in humanitarian aid settings. However, questions remain as to the impact of CBIs on nutritional status and, therefore, how to incorporate them into emergency programmes to maximise their success in terms of improved nutritional outcomes. This study evaluated the effects of three different CBI modalities on nutritional outcomes in children under 5 y of age at 6 mo and at 1 y.
METHODS AND FINDINGS:
We conducted a four-arm parallel longitudinal cluster randomised controlled trial in 114 villages in Dadu District, Pakistan. The study included poor and very poor households (n = 2,496) with one or more children aged 6–48 mo (n = 3,584) at baseline. All four arms had equal access to an Action Against Hunger–supported programme. The three intervention arms were as follows: standard cash (SC), a cash transfer of 1,500 Pakistani rupees (PKR) (approximately US0.009543); double cash (DC), a cash transfer of 3,000 PKR; or a fresh food voucher (FFV) of 1,500 PKR; the cash or voucher amount was given every month over six consecutive months. The control group (CG) received no specific cash-related interventions. The median total household income for the study sample was 8,075 PKR (approximately US$77) at baseline. We hypothesized that, compared to the CG in each case, FFVs would be more effective than SC, and that DC would be more effective than SC—both at 6 mo and at 1 y—for reducing the risk of child wasting. Primary outcomes of interest were prevalence of being wasted (weight-for-height z-score [WHZ] < −2) and mean WHZ at 6 mo and at 1 y.
The odds of a child being wasted were significantly lower in the DC arm after 6 mo (odds ratio [OR] = 0.52; 95% CI 0.29, 0.92; p = 0.02) compared to the CG. Mean WHZ significantly improved in both the FFV and DC arms at 6 mo (FFV: z-score = 0.16; 95% CI 0.05, 0.26; p = 0.004; DC: z-score = 0.11; 95% CI 0.00, 0.21; p = 0.05) compared to the CG. Significant differences on the primary outcome were seen only at 6 mo. All three intervention groups showed similar significantly lower odds of being stunted (height-for-age z-score [HAZ] < −2) at 6 mo (DC: OR = 0.39; 95% CI 0.24, 0.64; p < 0.001; FFV: OR = 0.41; 95% CI 0.25, 0.67; p < 0.001; SC: OR = 0.36; 95% CI 0.22, 0.59; p < 0.001) and at 1 y (DC: OR = 0.53; 95% CI 0.35, 0.82; p = 0.004; FFV: OR = 0.48; 95% CI 0.31, 0.73; p = 0.001; SC: OR = 0.54; 95% CI 0.36, 0.81; p = 0.003) compared to the CG. Significant improvements in height-for-age outcomes were also seen for severe stunting (HAZ < −3) and mean HAZ. An unintended outcome was observed in the FFV arm: a negative intervention effect on mean haemoglobin (Hb) status (−2.6 g/l; 95% CI −4.5, −0.8; p = 0.005). Limitations of this study included the inability to mask participants or data collectors to the different interventions, the potentially restrictive nature of the FFVs, not being able to measure a threshold effect for the two different cash amounts or compare the different quantities of food consumed, and data collection challenges given the difficult environment in which this study was set.
CONCLUSIONS:
In this setting, the amount of cash given was important. The larger cash transfer had the greatest effect on wasting, but only at 6 mo. Impacts at both 6 mo and at 1 y were seen for height-based growth variables regardless of the intervention modality, indicating a trend toward nutrition resilience. Purchasing restrictions applied to food-based voucher transfers could have unintended effects, and their use needs to be carefully planned to avoid this
Recommended from our members
Design and Development of Gas-Liquid Cylindrical Cyclone Compact Separators for Three-Phase Flow
The objective of this five-year project (October 1997 - September 2002) was to expand the current research activities of Tulsa University Separation Technology Projects (TUSTP) to multiphase oil/water/gas separation. This project was executed in two phases. Phase I (1997 - 2000) focused on the investigations of the complex multiphase hydrodynamic flow behavior in a three-phase Gas-Liquid Cylindrical Cyclone (GLCC) Separator. The activities of this phase included the development of a mechanistic model, a computational fluid dynamics (CFD) simulator, and detailed experimentation on the three-phase GLCC. The experimental and CFD simulation results will be suitably integrated with the mechanistic model. In Phase II (2000 - 2002), the developed GLCC separator will be tested under high pressure and real crude conditions. This is crucial for validating the GLCC design for field application and facilitating easy and rapid technology deployment. Design criteria for industrial applications will be developed based on these results and will be incorporated into the mechanistic model by TUSTP
Recommended from our members
Design and Development of Integrated Compact Multiphase Separation System (CMSS)
The petroleum industry has relied in the past mainly on conventional vessel-type separators, which are bulky, heavy and expensive, to process wellhead production of oil-water-gas flow. Economic and operational pressures continue to force the petroleum industry to seek less expensive and more efficient separation alternatives in the form of compact separators. The compact dimensions, smaller footprint and lower weight of compact separators have a potential for cost savings to the industry, especially in offshore and subsea applications. Also, compact separators reduce the inventory of hydrocarbons significantly, which is critical for environmental This report presents a brief overview of the activities and tasks accomplished during the Budget Period II (October 09, 2004-April 30, 2006) of the DOE project titled ''Design and Development of Integrated Compact Multiphase Separation System (CMSS{copyright})''. An executive summary is presented initially followed by the tasks of the current budget period. Then, detailed description of the experimental and modeling investigations are presented. Subsequently, the technical and scientific results of the activities of this project period are presented with discussions. The findings of this investigation are summarized in the ''Conclusions'' section In this investigation, the concept of CMSS{copyright} has been developed and is proven through simulation studies and validated by experimental data. As part of the second phase of the project (Budget Period II--10/09/2004-04/30/2006) experimental investigation of the integrated CMSS{copyright} for different configurations has been conducted in order to evaluate the performance of the individual separation components, and determine how they will affect the performance of each other when integrated in the CMSS{copyright}. An intelligent control system is also developed to improve the total system efficiency of Compact Multiphase Separation System (CMSS{copyright}). In mature oil fields, water handling poses a huge problem. Thus water knock out at the earliest stage helps in significant cost savings during handling, separation and transportation of oil. One of the objectives of the CMSS{copyright} configuration is to knock out free water from the upstream fluids. The results from theoretical and experimental studies show that Free Water Knock Out (FWKO) CMSS{copyright} system can be readily deployed in the field using the control system strategies designed, implemented and tested in this study
New Directions in Subband Coding
Two very different subband coders are described. The first is a modified dynamic bit-allocation-subband coder (D-SBC) designed for variable rate coding situations and easily adaptable to noisy channel environments. It can operate at rates as low as 12 kb/s and still give good quality speech. The second coder is a 16-kb/s waveform coder, based on a combination of subband coding and vector quantization (VQ-SBC). The key feature of this coder is its short coding delay, which makes it suitable for real-time communication networks. The speech quality of both coders has been enhanced by adaptive postfiltering. The coders have been implemented on a single AT&T DSP32 signal processo
Generalized abstraction-refinement for game-based CTL lifted model checking
cation areas ranging from embedded system domains to system-level software and communication protocols. Software Product Line methods and architectures allow effective building many custom variants of a software system in these domains. In many of the applications, their rigorous verification and quality assurance are of paramount importance. Lifted model checking for system families is capable of verifying all their variants simultaneously in a single run by exploiting the similarities between the variants. The computational cost of lifted model checking still greatly depends on the number of variants (the size of configuration space), which is often huge. Variability abstractions have successfully addressed this configuration space explosion problem, giving rise to smaller abstract variability models with fewer abstract configurations. Abstract variability models are given as modal transition systems, which contain may (over-approximating) and must (under-approximating) transitions. Thus, they preserve both universal and existential CTL properties. In this work, we bring two main contributions. First, we define a novel game-based approach for variability-specific abstraction and refinement for lifted model checking of the full CTL, interpreted over 3-valued semantics. We propose a direct algorithm for solving a 3-valued (abstract) lifted model checking game. In case the result of model checking an abstract variability model is indefinite, we suggest a new notion of refinement, which eliminates indefinite results. This provides an iterative incremental variability-specific abstraction and refinement framework, where refinement is applied only where indefinite results exist and definite results from previous iterations are reused. Second, we propose a new generalized definition of abstract variability models, given as so-called generalized modal transition systems, by introducing the notion of (must) hyper-transitions. This results in more precise abstract models in which more CTL formulae can be proved or disproved. We integrate the newly defined generalized abstract variability models in the existing abstraction-refinement framework for game-based lifted model checking of CTL. Finally, we evaluate the practicality of this approach on several system families
- …