Sökresultat

We study planning problems where the transition function is described by a learned binarized neural network (BNN). Theoretically, we show that feasible planning with a learned BNN model is NP-complete, and present two new constraint programming models of this task as a mathematical optimization problem. Experimentally, we run solvers for constraint programming, weighted partial maximum satisfiabil

Cysteine proteases are implicated in proteolysis events favoring cancer cell growth, spread, and death by apoptosis. Herein, we have studied whether the net growth and survival of the leukemic cell lines Jurkat, U937, and HL-60 are affected by external addition of five proteins acting as natural cysteine protease inhibitors. None of the cystatins examined (A, C, D, and E/M) or chagasin showed cons

The sulfation of gas-phase KOH and KCl was investigated in both oxidizing and reducing atmospheres at temperatures of 1120 K, 1260 K, 1390 K, and 1550 K. Well-defined gas environments were generated in a laminar flame burner fuelled with CH4/air/O2/N2. Atomized K2CO3 and KCl water solution fog and SO2 were introduced into the hot gas as sources of potassium, chlorine, and sulfur, respectively. The

Pandemics such as Covid-19 have posed a set of questions concerning safe space usage given the risk of virus transmission in confined and open spaces. In this context, this report presents a risk analysis methodology for the use of crowd modelling tools as an aid to assess safety in confined and open spaces. Crowd models can be used to investigate people movement in the built environment, thus the

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

The success of an evidence-based intervention depends on precise and accurate evaluation of available data and information. Here, the use of robust methods for evidence evaluation is important. Epidemiology, in its conventional form, relies on statistics and mathematics to draw inferences on disease dynamics in affected populations. Interestingly, most of the data used tend to have spatial aspects

BACKGROUND The efficacy and effectiveness of the quadrivalent human papillomavirus (HPV) vaccine in preventing high-grade cervical lesions have been shown. However, data to inform the relationship between quadrivalent HPV vaccination and the subsequent risk of invasive cervical cancer are lacking. METHODS We used nationwide Swedish demographic and health registers to follow an open population of 1

The digitalization of the process for building permit (involving the use of 3D information systems) is seen as a priority in a wide part of the world. Since it is a very multidisciplinary use case, involving a variety of stakeholders tackling complex issues and topics, some of them joined their efforts and skills in the European Network for Digital Building Permit. The initial activity of the netw

Background The scaphoid is the most commonly fractured carpal bone in adults as well as in children. Previous studies have reported a wide range of fracture incidences. Scaphoid fractures and non-unions in children have been sparsely investigated. Aim To perform a systematic review of the current literature on epidemiology of scaphoid fractures and non-unions in adults and children. Methods An ele

We demonstrate that the method of interleaved resampling in the context of parton showers can tremendously improve the statistical convergence of weighted parton shower evolution algorithms. We illustrate this by several examples showing significant statistical improvement.

Background: User involvement is a requirement of most research funders. There is a growing body of literature exploring the benefits and challenges of user involvement in research, but such studies are scarce in the field of aging and health. Moreover, the majority of such research is qualitative, which limits the generalizability of results. The UserAge panel study will be instrumental in expandi

Ett systematiskt arbetsmiljöarbete med fokus på alla åldrar bör fokusera på människors förmåga och vilja att arbeta, exempelvis genom en modell med fyra olika sfärer som relaterar till olika sätt att definiera ålder.Den första sfären handlar om hälsoeffekter och relaterar till den biologiska åldern. De andra sfärerna rör privatekonomi, stöd och gemenskap samt arbetstagarnas möjligheter att utföra