Filtyp
An algorithm is said to be certifying if it outputs, together with a solution to the problem it solves, a proof that this solution is correct. We explain how state of the art maximum clique, maximum weighted clique, maximal clique enumeration and maximum common (connected) induced subgraph algorithms can be turned into certifying solvers by using pseudo-Boolean models and cutting planes proofs, an
Background and aim: Family caregivers are often involved in helping recipients during allogeneic hematopoietic stem cell transplantation (allo-HSCT). Although the distress that often arises along the trajectory is evident to family caregivers, research on their perceptions of providing and receiving support is limited. The aim of this study was to explore family caregivers’ experiences of providin
Does a teachable agent influence the uptake or neglect of ‘critical constructive feedback’ and learning within a digital environment? 285 middle-school students engaged with a history learning game in a 2x2 study design. One dimension was inclusion of a teachable agent. Orthogonal was whether critical constructive feedback was presented automatically or only when students chose. Analyses showed th
Haemophilus influenzae protein F (PF) is an important virulence factor interacting with laminin, an extracellular matrix protein ubiquitously expressed in the respiratory tract. Here we defined PF orthologs in Pseudomonas aeruginosa, Moraxella catarrhalis, and Staphylococcus aureus, bacteria that occasionally colonize and infect the human airways. Despite low sequence homology (48.2%-77.3% similar
Granzyme B (GzmB) is a key cytotoxic molecule utilized by T cells to kill pathogen-infected cells or transformed tumor cells. Previous studies using allogeneic hematopoietic cell transplantation (allo-HCT) murine models showed that GzmB is required for CD8+ T cells to cause graft-versus-host disease (GVHD). However, our recent study demonstrated that GzmB-mediated damage of CD8+ T cells diminished
The effects of different 4-quinolone antibiotic derivatives (4-Qs) in a number of short-term tests commonly employed for the evaluation of genetic toxicity were studied. Incorporation of [3H]thymidine into mitogen-stimulated peripheral blood lymphocytes was strongly enhanced at a low concentration (1.56 μg/ml) for most of the tested 4-Qs, whereas DNA strand breakage in lymphoblastoid cells was evi
We describe the design and implementation of a new constraint programming solver that can produce an auditable record of what problem was solved and how the solution was reached. As well as a solution, this solver provides an independently verifiable proof log demonstrating that the solution is correct. This proof log uses the VeriPB proof system, which is based upon cutting planes reasoning with
Mass production and consumption based on virgin materials have been the mainstream practice for decades across industrialised nations. Resource consumption has reached an unsustainable level, leading to devastating environmental impacts. For a more sustainable future, not only environmentally but economically and socially, material cycles need to be slowed down and, if possible, closed. Upcycling
This paper investigates the outcomes of small-scale egalitarian language contact in an attempt to address whether different linguistic domains exhibit different degrees of stability and resistance to convergence among cohabitant speakers of Jahai and Jedek, two closely related Aslian (Austroasiatic) language varieties spoken in northern Peninsular Malaysia. Using nonparametric Bayesian mixture mod
Different forms of major histocompatibility complex (MHC) class I heavy chains are known to be expressed on the cell surface, including molecules which are functionally 'empty'. Direct peptide binding to cells is obvious during sensitization of target cells in vitro for cytotoxic T lymphocyte killing and 'empty' MHC-I molecules are comparatively abundant on TAP- 1 2 peptide transporter mutant cell
Spectral imaging and lidar methods for the characterization of vegetation are vital for understanding plants and, in turn, food security, biodiversity, and vegetation health in a changing climate. While novel hyperspectral imaging, canopy lidar,and solar-induced fluorescence provide details on species, state, structure, and plant physiology, such data come from different instruments. Thus, post-pr
Background: α-synuclein (α-syn) aggregation can lead to degeneration of dopaminergic neurons in the substantia nigra pars compacta (SNpc) as invariably observed in patients with Parkinson's Disease (PD). The co-chaperone DNAJB6 has previously been found to be expressed at higher levels in PD patients than in control subjects and was also found in Lewy bodies. Our previous experiments showed that k
Rationale, Aims, and Objectives: Primary health care often has overall responsibility for elderly patients and their medication treatment. This is a challenging task due to the issue of multiple caregivers, different systems for documentation and multimorbidity among the elderly. The multiprofessional project SÄKLÄK2 was developed to raise drug safety in Swedish primary health care, and this study
In this paper, we present new insights on classical spectral measures for heart rate variability (HRV), based on a novel method for HRV acquisition. A dynamic breathing task, where the test participants are asked to breathe following a metronome with slowly increasing frequency, allows for the acquisition of respiratory-related HRV-data covering the frequency range in which adults breathe in diffe
Experiments were performed to characterize the so-called leak current of the slowly adapting stretch receptor neurone of the European lobster with respect to its ionic basis, its kinetics and its pharmacology. Estimates of the leak current were obtained by subtraction of a Na-K pump current and of an unspecific impalement current from a non-dynamic ('instantaneous') current, recorded in a voltage
The paper presents ethical and legal challenges of holographic communication technologies and suggests a framework to address them. Holographic communications enable the capturing of a user’s 3D depiction via special equipment, and its high-quality transmission to another user located elsewhere, introducing a distinctive data communication experience. Their wrongful use could compromise basic huma
