Sökresultat

Filtyp

Din sökning på "*" gav 541854 sökträffar

Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification

Algebraic reasoning has proven to be one of the most effective approaches for verifying gate-level integer mul-tipliers, but it struggles with certain components, necessitating the complementary use of SAT solvers. For this reason validation certificates require proofs in two different formats. Approaches to unify the certificates are not scalable, meaning that the validation results can only be t

High nitrogen-fixing rates associated with ground-covering mosses in a tropical mountain cloud forest will decrease drastically in a future climate

Tropical mountain cloud forests (TMCF) harbour a high bryophyte (mosses and liverworts) biomass and diversity. Furthermore, the high air humidity makes these forests well suited for bryophyte-associated nitrogen (N2) fixation by cyanobacteria, providing a potentially important source of N input to the ecosystem. However, few studies have assessed bryophyte-associated N input in these ecosystems, a

Sanctions and second home tourism : the experience of rural areas in Shemiranat, Iran

This study explores the impact of sanctions on the development of second home tourism in the context of a rentier state. The subject was examined with special reference to rural regions of Shemiranat County in Tehran, Iran, where second homes have developed over the past four decades. The results indicating that devaluation of the national currency, caused by the sanctions, led to turmoil in the s

Experiences of Occupational Value When Doing Creative Activities in a Mental Health Context

Everything a person does generates a unique experience of occupational value, and occupational values can in turn generate meaning in life. Doing creative activities positively influences subjective health and well-being. This article provides information about how and to what extent people diagnosed with mental illness experienced occupational value when participating in an intervention with crea

Effect of encapsulated protein on the dynamics of lipid sponge phase: a neutron spin echo and molecular dynamics simulation study

Lipid membranes are highly mobile systems with hierarchical, time and length scale dependent, collective motions including thickness fluctuations, undulations, and topological membrane changes, which play an important role in membrane interactions. In this work we have characterised the effect of encapsulating two industrially important enzymes, β-galactosidase and aspartic protease, in lipid spon

Energy poverty in Sweden: Using flexibility capital to describe household vulnerability to rising energy prices

Energy poverty has been kept at bay in Sweden for the past decades owing to several beneficial circumstances. However, geopolitical pressure and an accelerating energy transition are changing the circumstances and exposing vulnerabilities to energy poverty in Sweden particularly connected to electricity price peaks. The circumstantial nature of the exposed risks for energy poverty motivates a concEnergy poverty has been kept at bay in Sweden for the past decades owing to several beneficial circumstances. However, geopolitical pressure and an accelerating energy transition are changing the circumstances and exposing vulnerabilities to energy poverty in Sweden particularly connected to electricity price peaks. The circumstantial nature of the exposed risks for energy poverty motivates a conc

Energifattigdom i Sverige

Inom Europa beskriver begreppet energifattigdom de kompromisser som hushållkan möta avseende att å ena sidan ha en tillräckligt uppvärmd bostad, och å andrasidan ha råd med övriga omkostnader. I Sverige har begreppet tidigare inte använts, och kanske heller inte behövts. Men i december 2021 steg elpriserna till nivåer som gjorde att vissa hushåll, där en rad riskfaktorer sammanstrålade, plötsligt

Health care professionals' experiences of screening immigrant mothers for postpartum depression-a qualitative systematic review

INTRODUCTION: Postpartum depression is considered a major public health problem, which immigrant mothers are at particular risk of being affected by, but it can also have long-lasting traumatic effects on the child's health and development. The Edinburgh Postnatal Depression Scale is the world's most commonly employed screening instrument for postpartum depression, used in connection with a clinic

Analytical Validation of a Novel 6-Gene Signature for Prediction of Distant Recurrence in Estrogen Receptor-Positive, HER2-Negative, Early-Stage Breast Cancer

BackgroundOncoMasTR is a recently developed multigene prognostic test for early-stage breast cancer. The test has been developed in a kit-based format for decentralized deployment in molecular pathology laboratories. The analytical performance characteristics of the OncoMasTR test are described in this study.MethodsExpression levels of 6 genes were measured by 1-step reverse transcription-quantita

Livelihoods matter – A comparative political ecology of forest use on Hispaniola

Forests provide grounds for human well-being through direct material, indirect environmental, and immaterial contributions. Here, we analyze the example of Hispaniola to understand reasons for (un)sustainable forest use. We pursue a dynamic comparative case study of the island's two countries from a political ecology perspective. From the literature, we derive a set of socio-economic hypotheses fo

Paediatric emergency departments should manage young febrile and afebrile infants the same if they have a fever before presenting

AIM: Our aim was to evaluate the risk of bacterial meningitis, bacteremia, and urinary tract infection (UTI) in infants ≤60 days who presented to pediatric emergency departments (PEDs) after having fever at home. We also investigated any differences between infants who were afebrile or febrile on presentation.METHODS: Multicenter retrospective study of infants ≤60 days presented to 4 Swedish PEDs

Passenger Volumes and Dwell Times for Commuter Trains : A Case Study Using Automatic Passenger Count Data in Stockholm

This study investigates the relationship between passenger volumes and the frequency and size of dwell times for commuter trains. We use data collected by automatic passenger count systems in Stockholm and show that dwell times often take longer than scheduled. To understand the effect of passenger volumes on delays, we use the frequencies of delays for different passenger volumes and delay sizes.

A risk score based on real-world data to predict early death in acute promyelocytic leukemia

With increasingly effective treatments, early death (ED) has become the predominant reason for therapeutic failure in patients with acute promyelocytic leukemia (APL). To better prevent ED, patients with high-risk of ED must be identified. Our aim was to develop a score that predicts the risk of ED in a real-life setting. We used APL patients in the population-based Swedish AML Registry (n=301) an