Sökresultat

Filtyp

Din sökning på "*" gav 541483 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