Filtyp
Systems mixing Boolean logic and arithmetic have been a long-standing challenge for verification tools such as SAT-based bit-vector solvers. Though SAT solvers can be highly efficient for Boolean reasoning, they scale poorly once multiplication is involved. Algebraic methods using Gröbner basis reduction have recently been used to efficiently verify multiplier circuits in isolation, but generally
Conflict-driven pseudo-Boolean solvers optimize 0-1 integer linear programs by extending the conflict-driven clause learning (CDCL) paradigm from SAT solving. Though pseudo-Boolean solvers have the potential to be exponentially more efficient than CDCL solvers in theory, in practice they can sometimes get hopelessly stuck even when the linear programming (LP) relaxation is infeasible over the real
Sustainability science is fundamentally an interdisciplinary venture, but what does this interdisciplinarity imply in practice? And how can, and should, we think about interdisciplinarity more generally? These are important philosophical and methodological questions for sustainability science, the answers to which remain at least partially out of sight for a variety of reasons. This chapter has th
Diabetes Retinopathy (DR) is one of the most prominent microvascular complications of diabetes. It is one of the pre-eminent causes for vision impairment followed by blindness among the working-age population worldwide. The de facto cause for DR remains challenging, despite several efforts made to unveil the mechanism underlying the pathology of DR. There is quite less availability of the low cost
Global aging has raised increasing concerns on the health and well-being of older adults. Public transport is a viable option to improve the mobility and quality of life among older adults. However, policies that promote the public transport use among older adults are rare. This study utilizes the eXtreme Gradient Boosting (XGBoost) decision tree to explore the non-linear associations of the built
Increasingly fine-grained cloud billing creates incentives to review the software execution footprint in virtual environments. For example, virtual execution environments move towards lower overhead: from virtual machines to containers, unikernels, and serverless cloud computing. However, the execution footprint of security components in virtualized environments has either remained the same or eve
The growing awareness of environmental issues can be linked to the demand for green transport innovations. Consumer behavior studies have pointed to the importance of consumer innovativeness (CI) and green perceptions in the adoption of green innovations. The purpose of this paper is to identify how users and nonusers of shared micromobility perceive the greenness of shared e-bikes and e-scooters
Satisfying the mobile traffic demand in next generation cellular networks increases the cost of energy supply. Renewable energy sources are a promising solution to power base stations in a self-sufficient and cost-effective manner. This paper presents an optimal method for designing a photovoltaic (PV)-battery system to supply base stations in cellular networks. A systematic approach is proposed f
Popular Abstract in Swedish Denne afhandling vedrører geriatriske patienters ernæringsproblemer indenfor rammen af geriatrisk rehabilitering. Geriatriske patienter er svækkede ældre mennesker, der er præget af aldring og kronisk sygdom. Den hændelse som er årsag til indlæggelse er ofte som toppen af et isbjerg, hvor der kan ligge mange andre problemer gemt under vandoverfladen. En lungebetændelse The aim was to evaluate the effectiveness and feasibility of functional and nutritional assessments in geriatric rehabilitation in Copenhagen, Denmark, and in addition to study clinically identifiable risk factors for undernutrition, association between nutritional and ADL status, feasibility and effectiveness of nutritional intervention conducted by the nursing staff, and the nursing staffs attit
Popular Abstract in Swedish Den nya stadens bibliotek Folkbiblioteket beskrivs ofta som en av våra mest omtyckta och uppskattade samhällsinstitutioner. Trots detta har både besöken och utlåningen av böcker minskat under senare år, filialer läggs ner och på många håll minskar personalstyrkan. I en tid när böcker kan köpas på bensinmacken och mycket av den information vi söker kan hittas på nätet tyThis dissertation explores how perceived challenges and changing conditions for public libraries are translated and enacted in a local library setting. In 2008, Malmoe City Library, a public library situated in the third largest city of Sweden, initiated an ambitious strategy for renewal and change of their services. The strategy was given the name The Darling Library and expressed a vision to enf
For high-resolution massive MIMO and very large antenna arrays, wireless channel models have to scrutinize the detailed space features of the surrounding environment. Existing models such as WINNER and 3GPP are not appropriate for validating and evaluating new concepts for 4G/5G as they do not consider the spatial characteristics of the real environment. The simplified 3D shapes of simulated objec
Two groups of normal subjects were submitted to repeated automated static threshold perimetry. Perimetric results were strongly affected by the level of experience in some subjects; in the majority, however, the effect of experience was small. Initial field tests often showed high numbers of depressed points. Sensitivity increased with perimetric training, particularly between the first sessions.
The ability of fully automatic computerized perimetry to detect early glaucomatous field damage was compared with that of careful static and kinetic manual perimetry in a clinical study on 104 patients, 51 of whom had early glaucomatous field defects, 20 of whom were glaucoma suspects with no field defects, and 33 of whom were normal. The automatic perimeter used was the COMPETER automatic perimet
