Jan Długosz University

About: Jan Długosz University is a education organization based out in Częstochowa, Poland. It is known for research contribution in the topics: Crystal structure & Luminescence. The organization has 749 authors who have published 2311 publications receiving 19395 citations. The organization is also known as: Higher Teacher Education School.

Guidance for the management of patients with vascular disease or cardiovascular risk factors and COVID-19 position paper from vas-european independent foundation in angiology/vascular medicine

Abstract: COVID-19 is also manifested with hypercoagulability, pulmonary intravascular coagulation, microangiopathy, and venous thromboembolism (VTE) or arterial thrombosis. Predisposing risk factors to severe COVID-19 are male sex, underlying cardiovascular disease, or cardiovascular risk factors including noncontrolled diabetes mellitus or arterial hypertension, obesity, and advanced age. The VAS-European Independent Foundation in Angiology/Vascular Medicine draws attention to patients with vascular disease (VD) and presents an integral strategy for the management of patients with VD or cardiovascular risk factors (VD-CVR) and COVID-19. VAS recommends (1) a COVID-19-oriented primary health care network for patients with VD-CVR for identification of patients with VD-CVR in the community and patients' education for disease symptoms, use of eHealth technology, adherence to the antithrombotic and vascular regulating treatments, and (2) close medical follow-up for efficacious control of VD progression and prompt application of physical and social distancing measures in case of new epidemic waves. For patients with VD-CVR who receive home treatment for COVID-19, VAS recommends assessment for (1) disease worsening risk and prioritized hospitalization of those at high risk and (2) VTE risk assessment and thromboprophylaxis with rivaroxaban, betrixaban, or low-molecular-weight heparin (LMWH) for those at high risk. For hospitalized patients with VD-CVR and COVID-19, VAS recommends (1) routine thromboprophylaxis with weight-adjusted intermediate doses of LMWH (unless contraindication); (2) LMWH as the drug of choice over unfractionated heparin or direct oral anticoagulants for the treatment of VTE or hypercoagulability; (3) careful evaluation of the risk for disease worsening and prompt application of targeted antiviral or convalescence treatments; (4) monitoring of D-dimer for optimization of the antithrombotic treatment; and (5) evaluation of the risk of VTE before hospital discharge using the IMPROVE-D-dimer score and prolonged post-discharge thromboprophylaxis with rivaroxaban, betrixaban, or LMWH.

Facile synthesis, morphology and photoluminescence of a novel red fluoride nanophosphor K2NaAlF6:Mn4+

Abstract: A novel red-emitting fluoride phosphor, K2NaAlF6:Mn4+, with nanoscale particle size was synthesized via a cation exchange route. This phosphor absorbs UV and blue light and emits red light at about 630 nm; thus, it has been regarded as an ideal red phosphor for WLEDs. The reaction parameters were systematically investigated and an optimized sample was obtained. K2NaAlF6:Mn4+ showed better photoluminescence properties and its emission wavelength was blue shifted with respect to that of K2LiAlF6:Mn4+ due to differences in the neighbouring alkali metal ions and different distances between the cation and the ligands. These results are in agreement with the trend determined by the recently introduced parameter β1, which describes the energy of the 2Eg → 4A2g transition as a function of the nephelauxetic effect. Finally, these results could further contribute to the optimization of red-emitting phosphors based on Mn4+ ions.

VerICS 2007 - a Model Checker for Knowledge and Real-Time

Abstract: The papers presents the current stage of the development of VerICS - a model checker for real-time and multi-agent systems. Depending on the type of a system considered, it enables to test various classes of properties - from reachability to temporal, epistemic and deontic formulas. The model checking methods used to this aim include both SAT-based and enumerative ones. In the paper we focus on new features of the verifier: SAT-based model checking for multi-agent systems and several extensions and improvements to real-time systems' verification.