562 research outputs found
Depressive and post-traumatic stress symptoms following termination of pregnancy in South African women: A longitudinal study measuring the effects of chronic burden, crisis support and resilience
 Background. Termination of pregnancy (TOP) remains a controversial issue, regardless of legislation. Access to services as well as psychological effects may vary across the world.Objectives and methods. To better understand the psychological effects of TOP, this study describes the circumstances of 102 women who underwent a TOP from two socioeconomic sites in Johannesburg, South Africa, one serving women with few economic resources and the other serving women with adequate resources. The relationship between demographic characteristics, resilience and symptoms of posttraumatic stress disorder (PTSD) and depression before, 1 month after and 3 months after the procedure was also examined.Results. Time since TOP, age, chronic burden, resilience and the interaction of site with religion and site with chronic burden were significant. In addition, site differences were found for religion and chronic burden in predicting depression scores. Women from both sites had significant decreases in depression scores over time. The interaction of time with site was not significant. Higher chronic burden scores correlated with higher depression scores. No variables were significant in the bivariate analysis for PTSD.Conclusion. Resilience, religion and chronic burden emerge as significant variables in women undergoing a first-trimester TOP, and warrant further assessment in studies of this nature
On Automated Lemma Generation for Separation Logic with Inductive Definitions
Separation Logic with inductive definitions is a well-known approach for
deductive verification of programs that manipulate dynamic data structures.
Deciding verification conditions in this context is usually based on
user-provided lemmas relating the inductive definitions. We propose a novel
approach for generating these lemmas automatically which is based on simple
syntactic criteria and deterministic strategies for applying them. Our approach
focuses on iterative programs, although it can be applied to recursive programs
as well, and specifications that describe not only the shape of the data
structures, but also their content or their size. Empirically, we find that our
approach is powerful enough to deal with sophisticated benchmarks, e.g.,
iterative procedures for searching, inserting, or deleting elements in sorted
lists, binary search tress, red-black trees, and AVL trees, in a very efficient
way
Recommended from our members
Environmental impacts of plastic materials flow minimisation using data-driven pinch method
Plastics recycling, as a subclass of material recovery and recycling, features extensive and intensive properties. The intensive properties can be used to define a recyclability criterion and to classify the plastic materials for a symbiotic system (industrial, municipal and commercial) into recyclability categories, where the materials with higher recyclability can be either recycled/reused within the same category or cascaded and made available to categories with lower recyclability. The potential surplus waste materials of lowest-grade recyclability would be destined for waste treatment and disposal, while the potential deficit of materials in the highest-grade recyclability category would have to be fulfilled by supplying fresh plastic material produced from primary raw materials. The current contribution takes this problem formulation as a basis to optimise the plastics recycling of industrial symbiotic systems. It defines a Plastic Material Cascade Diagram and an associated set of Supply-Demand Composite Curves, identifying the recycling bottleneck â a Pinch Point limiting the rate of recycling and determining the most efficient material recycling network design. A case study is formulated to illustrate the usefulness of the new concept in reducing the consumption of raw materials and final waste
Hot Instantaneous Temperature and Affect: Meaningful Activities as a Buffer for Older Adults With Low Socioeconomic Status
This is the final version. Available on open access from Oxford University Press via the DOI in this recordData Availability: The study in this article is aligned with open practices in scientific research. Materials, data, and code are publicly accessible at: https://osf.io/cn9zs/?view_only=d0161eb2337346f19db3096624faeb5bBACKGROUND AND OBJECTIVES: Extremely hot temperature affects psychological well-being negatively, especially for older adults with lower socioeconomic status (SES). The objectives of this study are to examine: (a) the impact of hot instantaneous temperature on older adults' emotional well-being and (b) whether meaningful engagement could reduce the above impact, particularly for those of lower SES. RESEARCH DESIGN AND METHODS: We conducted a quantitative time-sampling study during hot-weather months (May-September) in 2021 and 2022. The sample comprises 344 participants aged 60 years or older (Mage = 67.15, SDage = 5.26) living in urban areas of Hong Kong, where hot days (daily maximum temperature â„33°C) accounted for 23% of the study days. Participants reported positive and negative affect, and engagement in meaningful activities, three times a day over a 10-day period, and wore sensors that tracked the instantaneous temperature of their immediate environment. Multilevel modeling was employed to examine the impacts on affect from temperature, SES, and meaningful activity engagement. RESULTS: Hotter instantaneous temperature predicted greater momentary negative affect and less positive affect immediately afterwards. Meaningful engagement significantly buffered against the affective impacts of hotter temperature, and this buffering effect was more salient among older adults of lower SES. DISCUSSION AND IMPLICATIONS: This study highlights the role of meaningful engagement in reducing the impact of hotter instantaneous temperature on older adults' emotional well-being, particularly for those of lower SES. Meaningful activity engagement may be capitalized on, as a strategy, to reduce climate-related social inequality.University Grants Council of Hong KongFaculty of Social Science, the Chinese University of Hong Kon
Whatâs trending in Breathlessness research? Proceedings from the 8th Annual Meeting of the Breathlessness Research Interest Group
Breathlessness remains a challenging symptom, common to a multitude of malignant
and non-malignant diseases, for which there are limited effective therapies once
disease control is optimised. The American Thoracic Society (ATS) statement on
dyspnoea reports that:
i)Progress in dyspnoea management has not matched progress in elucidating
underlying mechanisms;
ii)There is a critical need for interdisciplinary translational research to connect
dyspnoea mechanisms with treatments;
iii)There is a need to validate dyspnoea measures as patient-reported outcomes for
clinical trials.
Research into the many dimensions of breathlessness and its significance to patients and their carers has increased in recent years. This meeting is convened yearly to
bring together researchers across various disciplines including respiratory medicine,
anaesthetics, medical humanities, engineering and palliative care, to further
understanding of the symptom, discuss new techniques and advances in research, and
pave the way forward for future studies and interventions.
The presentations generated much vibrant discussion amongst the multidisciplinary
attendees and highlighted areas where care for breathless patients could be improved.
This is a positive time for breathlessness research, with several ATS research priorities
being addressed and it is clear that further studies and ensuing interventions are on
the horizon.This is the author accepted manuscript. The final version is available from Maney at http://www.maneyonline.com/toc/ppc/current
Anodization of nanoporous alumina on impurity-induced hemisphere curved surface of aluminum at room temperature
Nanoporous alumina which was produced by a conventional direct current anodization [DCA] process at low temperatures has received much attention in various applications such as nanomaterial synthesis, sensors, and photonics. In this article, we employed a newly developed hybrid pulse anodization [HPA] method to fabricate the nanoporous alumina on a flat and curved surface of an aluminum [Al] foil at room temperature [RT]. We fabricate the nanopores to grow on a hemisphere curved surface and characterize their behavior along the normal vectors of the hemisphere curve. In a conventional DCA approach, the structures of branched nanopores were grown on a photolithography-and-etched low-curvature curved surface with large interpore distances. However, a high-curvature hemisphere curved surface can be obtained by the HPA technique. Such a curved surface by HPA is intrinsically induced by the high-resistivity impurities in the aluminum foil and leads to branching and bending of nanopore growth via the electric field mechanism rather than the interpore distance in conventional approaches. It is noted that by the HPA technique, the Joule heat during the RT process has been significantly suppressed globally on the material, and nanopores have been grown along the normal vectors of a hemisphere curve. The curvature is much larger than that in other literatures due to different fabrication methods. In theory, the number of nanopores on the hemisphere surface is two times of the conventional flat plane, which is potentially useful for photocatalyst or other applications
Protocol for German trial of Acyclovir and corticosteroids in Herpes-simplex-virus-encephalitis (GACHE): a multicenter, multinational, randomized, double-blind, placebo-controlled German, Austrian and Dutch trial [ISRCTN45122933]
Background The treatment of Herpes-simplex-virus-encephalitis (HSVE) remains a major unsolved problem in Neurology. Current gold standard for therapy is acyclovir, a drug that inhibits viral replication. Despite antiviral treatment, mortality remains up to 15%, less than 20% of patients are able to go back to work, and the majority of patients suffer from severe disability. This is a discouraging, unsatisfactory situation for treating physicians, the disabled patients and their families, and constitutes an enormous burden to the public health services. The information obtained from experimental animal research and from recent retrospective clinical observations, indicates that a substantial benefit in outcome can be expected in patients with HSVE who are treated with adjuvant dexamethasone. But currently there is no available evidence to support the routine use of adjuvant corticosteroid treatment in HSVE. A randomized multicenter trial is the only useful instrument to address this question. Design GACHE is a multicenter, randomized, double-blind, placebo-controlled, parallel group clinical trial of treatment with acyclovir and adjuvant dexamethasone, as compared with acyclovir and placebo in adults with HSVE. The statistical design will be that of a 3-stage-group sequential trial with potential sample size adaptation in the last stage. Conclusion 372 patients with proven HSVE (positive HSV-DNA-PCR), aged 18 up to 85 years; with focal neurological signs no longer than 5 days prior to admission, and who give informed consent will be recruited from Departments of Neurology of academic medical centers in Germany, Austria and The Netherlands. Sample size will potentially be extended after the second interim analysis up to a maximum of 450 patients. Trial Registration Current Controlled Trials ISRCTN4512293
Chromosomal-level assembly of the Asian Seabass genome using long sequence reads and multi-layered scaffolding
We report here the ~670 Mb genome assembly of the Asian seabass (Lates calcarifer), a tropical marine teleost. We used long-read sequencing augmented by transcriptomics, optical and genetic mapping along with shared synteny from closely related fish species to derive a chromosome-level assembly with a contig N50 size over 1 Mb and scaffold N50 size over 25 Mb that span ~90% of the genome. The population structure of L. calcarifer species complex was analyzed by re-sequencing 61 individuals representing various regions across the species' native range. SNP analyses identified high levels of genetic diversity and confirmed earlier indications of a population stratification comprising three clades with signs of admixture apparent in the South-East Asian population. The quality of the Asian seabass genome assembly far exceeds that of any other fish species, and will serve as a new standard for fish genomics
- âŠ