Filetype
Phosphodiesterase-5 inhibitors are commonly used in pulmonary arterial hypertension but, as suggested by the RESPITE study, phosphodiesterase-5 inhibitor therapy (mono-/combination) does not always have a satisfactory treatment effect. This study aimed to investigate the clinical course of pulmonary arterial hypertension patients not at treatment goal after at least 90 days of treatment with phosp
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
Neuro-electronic interfaces, which can be used for stable communication between neurons-computers over long periods of time, would be valuable for understanding and interacting with the nervous system. A major challenge has been to overcome the tissue reactions towards implanted electrodes. Flexible microelectrodes that cause less implantation injury and which can follow the micromotions of the br
PurposeSleep apnea syndrome (SAS) is a relatively common disorder, but many patients with SAS are still undiagnosed. Using Japanese annual health check and medical claims data, we analyzed the association between hemoglobin upswing, defined as an increase in hemoglobin level within the reference range, and the incidence of SAS.MethodsIn this study, we used the Japan Medical Database Center (JMDC)
The Papuan language Kalamang has an adnominal demonstrativeopa, which marksreferents that are cognitively accessible either because they are common ground orbecause they are previously mentioned in the discourse. It is mainly an endophoricdemonstrative which has tracking and recognitional uses, but it can be used ex-ophorically as well. It can be used for both maintaining and reintroducing refer-e
Social media companies have resorted to censorship to suppress misinformation about the COVID-19 pandemic. This is not the most prudent solution though given the uncertainties about the disease.
