Sökresultat

Symmetry and dominance breaking can be crucial for solving hard combinatorial search and optimisation problems, but the correctness of these techniques sometimes relies on subtle arguments. For this reason, it is desirable to produce efficient, machine-verifiable certificates that solutions have been computed correctly. Building on the cutting planes proof system, we develop a certification method

The emergence of sixth-generation (6G) networks has spurred the development of novel testbeds, including sub-THz networks, cell-free systems, and 6G simulators. To maximize the benefits of these systems, it is crucial to make the generated data publicly available and easily reusable by others. Although data sharing has become a common practice, a lack of standardization hinders data accessibility

How can the unseen be heard and imagined through operatic means? In the chamber opera In the Darkness, Everything Went All Black – set in pitch-black darkness – the stage was radically inverted. For the purpose of exploring the immersive potential of spatial reversal, methods for operatic creation and presentation were rethought in terms of visibility, layout, work order, and surveillance. Firstly

OBJECTIVES: Early diagnosis of critical congenital heart defects (CCHD) improves survival. We evaluated the relative contributions of prenatal ultrasound, neonatal pulse oximetry screening (POS), and neonatal physical examination (NPE) to the early detection (before discharge) of CCHD in the context of increasing prenatal detection, and POS being a national standard since 2013. METHODS: Retrospect

The dramatic improvements in Boolean satisfiability (SAT) solving since the turn of the millennium have made it possible to leverage conflict-driven clause learning (CDCL) solvers for many combinatorial problems in academia and industry, and the use of proof logging has played a crucial role in increasing the confidence that the results these solvers produce are correct. However, the fact that SAT

The use of focused X-ray beams in the micron and sub-micron range has fostered the progress of a wide range of scanning microscopy approaches that exploit the numerous interactions of X-rays with matter. These methods are becoming crucial for an increasing number of research fields, such as energy materials, electronic devices, biology, to cite a few. Nanobeams produced at 4th generation synchrotr

Hjärntumörer är en av de vanligaste barncancerdiagnoserna och många som överlever drabbas av sömnstörningar efteråt. Tumörens läge i hjärnan, tillsammans med vilken behandling man får, påverkar hur stor risken är. Det finns dock även andra faktorer som påverkar, och övervikt hos barnet är den enskilt största riskfaktorn för sömnsvårigheter.

BACKGROUND & AIMS: To establish an effective prognostic nomogram for acute-on-chronic hepatitis B liver failure (ACHBLF).MATERIALS AND METHODS: The nomogram was based on clinical data of 203 ACHBLF patients who admitted to the First Affiliated Hospital of Fujian Medical University from 2009 to 2014. The area under the receiver-operating characteristic curve (AUC) and calibration curve were car

Dynamic resource management is a fairly recent development made to improve the flexibility of job scheduling. MPI-based approach [1] makes this possible by treating resources on a set granularity and performs set operations whenever changes are made. Due to the extreme resource requirements, using dynamic resources will likely be compulsory for parallel-in-time methods. Development towards this ha

Heart transplantation is a life-saving procedure for patients with end-stage heart failure. However, conservative acceptance criteria result in most donated hearts being discarded. Enabling clinicians to assess heart function after organ procurement can pave the way for the safe use of hearts that are currently rejected. This thesis focuses on improving techniques for the direct, controlled assess

Background: A 3D printing grid-based method was developed to construct anthropomorphic phantoms with non-uniform activity distributions, to be used for evaluation of quantitative SPECT images. The aims were to characterize the grid-based method and to evaluate its capability to provide realistically shaped phantoms with non-uniform activity distributions. Methods: Characterization of the grid stru

The User Compass Chart (UCC) was used for eliciting middle-age subjects’ experiences of 33 photo-represented easy chairs, including consumer products and chairs designed for nursing-homes as well as institutions in general. The chairs were represented in black and white photos measuring 50 x 50 mm. The vectors used in the chart were most inviting - most repellent and most homelike- most nursing-ho

People with severe physical disabilities need help with everyday tasks, such as getting dressed, eating, brushing their teeth, scratching themselves, drinking, etc. They also need support to be able to work. They are usually helped by one or more personal