Sökresultat

Filtyp

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

Orthodox Christianity and the Politics of Transition : Ukraine, Serbia and Georgia

This book discusses in detail how Orthodox Christianity was involved in and influenced political transition in Ukraine, Serbia, and Georgia after the collapse of communism. Based on original research, including extensive interviews with clergy and parishioners as well as historical, legal, and policy analysis, the book argues that the nature of the involvement of churches in post-communist politic

New study on consumers’ trust in retail’s data collection

In this blog post Stefan Larsson, PI for a WASP-HS project, report on a new study on Swedish consumers’ trust for retail’s data collection. The Swedish report is co-authored by Stefan Larsson with Theodor Emanuelsson and Sara Thiringer at Lund University, and launched on 8 December.

Trade-offs between time and memory in a tighter model of CDCL SAT solvers

A long line of research has studied the power of conflict- driven clause learning (CDCL) and how it compares to the resolution proof system in which it searches for proofs. It has been shown that CDCL can polynomially simulate resolution even with an adversarially chosen learning scheme as long as it is asserting. However, the simulation only works under the assumption that no learned clauses are

Murverkskonstruktion : Kompendium

Kompendiet är framtaget för att användas som lärobok i murverkskonstruktion på grundnivå på civil- och högskoleingenjörsutbildningar. Kompendiet behandlar dimensionering och konstruktiv utformning av murverkskonstruktioner i enlighet med Eurokod 6 samt den svenska nationella bilagan EKS 11 och kan därmed även användas av yrkesverksamma konstruktörer. För en mer uttömmande hantering av konstruktion

eHealth Delivery of Educational Content Using Selected Visual Methods to Improve Health Literacy on Lifestyle-Related Diseases : Literature Review

BACKGROUND: Lifestyle-related diseases, such as stroke, heart disease, and diabetes, are examples of noncommunicable diseases. Noncommunicable diseases are now the leading cause of death in the world, and their major causes are lifestyle related. The number of eHealth interventions is increasing, which is expected to improve individuals' health literacy on lifestyle-related diseases.OBJECTIVE: Thi

Seeking practical CDCL insights from theoretical SAT benchmarks

Over the last decades Boolean satisfiability (SAT) solvers based on conflict-driven clause learning (CDCL) have developed to the point where they can handle formulas with millions of variables. Yet a deeper understanding of how these solvers can be so successful has remained elusive. In this work we shed light on CDCL performance by using theoretical benchmarks, which have the attractive features

Graph colouring is hard for algorithms based on hilbert's nullstellensatz and gröbner bases

We consider the graph k-colouring problem encoded as a set of polynomial equations in the standard way. We prove that there are bounded-degree graphs that do not have legal k-colourings but for which the polynomial calculus proof system defined in [Clegg et al. 1996, Alekhnovich et al. 2002] requires linear degree, and hence exponential size, to establish this fact. This implies a linear degree lo

A novel phenotype associated with the R162W variant in the KCNJ13 gene

Background: Pathogenic variants in KCNJ13 have been associated with both autosomal dominant Snowflake vitreoretinal degeneration (SVD) and autosomal recessive Leber congenital amaurosis. SVD is characterized by aberrant vitreoretinal interface leading to increased risk of retinal detachment, crystalline retinal snowflake deposits, optic disc abnormalities, early-onset cataract, and cornea guttae.

Acetonic extracts of the endolichenic fungus EL002332 isolated from Endocarpon pusillum exhibits anticancer activity in human gastric cancer cells

BACKGROUND: Endolichenic fungi are microbes that inhabit the thalli of lichens and produce various unique chemicals that can be used for pharmaceutical purposes.PURPOSE: This study screened a library of endolichenic fungal extracts to identify novel anticancer agents capable of suppressing the tumorigenicity of human cancer cells.METHODS: Active compounds were isolated from extracts of endolicheni

Digitalising the Ethnographic Field in and Post Covid-19 : How (a study of ) child rights activism in India moved online

The Covid-19 pandemic has forced us all to adapt. For ethnographic areastudies, such adaptations take place both at the level of the researcher andthe researched. This essay reflects on how the study of an Indian childrights advocacy network adapted to ‘going online’ as a consequence of thepandemic and lockdown in India. Although the researcher could no longerbe physically present in the studied s

Using combinatorial benchmarks to probe the reasoning power of pseudo-boolean solvers

We study cdcl-cuttingplanes, Open-WBO, and Sat4j, three successful solvers from the Pseudo-Boolean Competition 2016, and evaluate them by performing experiments on crafted benchmarks designed to be trivial for the cutting planes (CP) proof system underlying pseudo-Boolean (PB) proof search but yet potentially tricky for PB solvers. Our experiments demonstrate severe shortcomings in state-of-the-ar

Suppression of the activity of arbuscular mycorrhizal fungi by the soil microbiota

Arbuscular mycorrhizal fungi (AMF) colonise roots of most plants; their extra-radical mycelium (ERM) extends into the soil and acquires nutrients for the plant. The ERM coexists with soil microbial communities and it is unresolved whether these communities stimulate or suppress the ERM activity. This work studied the prevalence of suppressed ERM activity and identified main components behind the s

Variation in Silene dioica (L.) Clairv.: numerical analysis of populations from Scotland

Numerical analyses (multidimensional scaling and Bk non-hierarchic cluster analysis) of wild populations of Silene dioica (L.) CIairv. from Scotland showed a complex pattern of variation, related partly to habitat and partly to geographic location. Subsets of characters- flower/capsule, seed, and vegetative characters- showed discordance, i.e. imperfectly correlated patterns of variation.Material