Scalable Minimization Algorithm for Partial Bisimulation

We present an efficient algorithm for computing the partial bisimulation preorder and equivalence for labeled transitions systems. The partial bisimulation preorder lies between simulation and bisimulation, as only a part of the set of actions is bisimulated, whereas the rest of the actions are simulated. Computing quotients for simulation equivalence is more expensive than for bisimulation equivalence, as for simulation one has to account for the so-called little brothers, which represent classes of states that can simulate other classes. It is known that in the absence of little brother states, (partial bi)simulation and bisimulation coincide, but still the complexity of existing minimization algorithms for simulation and bisimulation does not scale. Therefore, we developed a minimization algorithm and an accompanying tool that scales with respect to the bisimulated action subset.Comment: In Proceedings WS-FMDS 2012, arXiv:1207.184

Guide to Leading a Patient with Symptoms of an Acute Respiratory Infection during a Coronavirus Pandemic (COVID-19)

BACKGROUND: Over 500 viruses and bacteria primarily cause respiratory infections. During COVID-19 pandemic, these respiratory infections remain; i.e., COVID-19 has no ability to suppress these infections from the circulation. Therefore, it is very important to differentiate respiratory infections from COVID-19. Proving the presence of COVID-19 with polymerase chain reaction (PCR) is not evidence that the disease was caused by this virus. Possible options are: First, a random encounter of the virus in the patient’s upper respiratory tract; second, further possible colonization with a coronavirus (or with COVID-19); the third option is to have an infection; and the fourth possibility is to have a disease or COVID-19 upper respiratory infection. Unfortunately, the method with PCR, although it is with high sensitivity and specificity, does not help us to distinguish which of these four possibilities are in question. AIM: We aimed to present a guide to leading a patient with symptoms of an acute respiratory infection during a coronavirus pandemic (COVID-19). RESULTS: A pandemic of COVID-19 shows that many patients get primary viral pneumonia, but people with normal immune system have no problem recovering. People with reduced immunity die from COVID-19, as opposed to the pandemic influenza virus. It is indirectly concluded that COVID-19 in itself is not very virulent, but it weakens the immunity of those infected who already have some condition and impaired immunity. The available scientific papers show that there is no strong cytokine response, patients have leukopenia and lymphopenia, some patients have a decrease in CD4 T-lymphocytes. From the results of the autopsies available so far, it is clear that there are very few inflammatory cells in the lungs and a lot of fluid domination. Hence, SARS-Cov-2 only somehow speeds up the decline in immunity. The previously published radiographic findings of COVID-19 patients, gave a characteristic findings of the presence of multifocal nodules, described as milky glass, very often localized in the periphery of the lung. Whether it is typical pneumonia, atypical, viral, mixed-type pneumonia, or mycotic pneumonia, it can progress to severe pneumonia. The pneumonia becomes severe when breathing is over 30/min; diastolic pressure below 60 mmHg; low partial oxygen pressure in the blood (PaO2/FiO2 <250 mmHg) (1 mmHg = 0.133 kPa); massive pneumonia, bilateral or multilayered lung X-ray; desorientation; leukopenia; and increased urea. CONCLUSION: Patients with COVID-19 placed in intensive care units should be led by a team of anesthesiologists with an infectious disease specialist or an anesthesiologist with a pulmonologist. Critical respiratory parameters should be peripheral oxygen saturation <90%, PaO2/FiO2 ratio 100 or <100, tachycardia above 110/min. &nbsp

Physical Therapists Perceptions Of Patient Adherence And Strategies For Facilitating Motivation

Physical therapists (PTs) are professionally required to undertake a comprehensive examination of their patients and provide consultation within their expertise, yet also have the task to motivate patients to adhere to therapy. Self-determined motivation, as a positive predictor of treatment adherence, can be facilitated by promoting patient autonomy, competence and relatedness. However, a greater understanding is needed of the context specific strategies PT’s can use to facilitate motivation. The purpose of this study is to explore physical therapists’ (PT)s perceptions of the factors affecting patient motivation, strategies and methods to facilitate adherence, and strategies used to satisfy patients basic needs to facilitate intrinsic motivation. Physical therapists from around Illinois were contacted through purposive and convenience sampling to participate in semi-structured interviews pertaining to their perceptions of patient adherence and motivation throughout physical therapy. Using a critical realist philosophical perspective, the semi-structured interviews followed an interview guide focused on physical therapists\u27 experiences with patient motivation and adherence. Participants included thirteen physical therapists (eight Female and five Male) with an average of 5.7 years experiences in the profession. After the completion of the interviews, a theoretical thematic analysis was conducted to identify themes related to self-determination theory, the basic needs theory and the importance of autonomy, competence, and relatedness to patient motivation. Preliminary findings show physical therapists perceive patient buy-in (autonomy), building rapport with patients (relatedness), and self-recognition of progress (competence) help patients become more adherent to physical therapy. Physical therapists believe they play a role in facilitating patient adherence and motivation, but the role is dependent on the patient\u27s mindset, knowledge, and expectations of physical therapy. Findings will be presented to highlight the unique insights gained from the study along with practical recommendations for PT’s practices and strategies to motivate patients

Chemical interaction between metals and compound semiconductors

+112hlm.;24c

Free Steiner loops

A Steiner loop, or a sloop, is a grupoid (L; · ,1), where · is a binary operation and 1 is a constant, satisfying the identities 1 · x = x, x · y = y · x, x · (x · y) = y. There is a one-to-one correspondence between Steiner triple systems and finite sloops. Two constructions of free objects in the variety of sloops are presented in this paper. They both allow recursive construction of a free sloop with a free base X, provided that X is recursively defined set. The main results besides the constructions are: Each subsloop of a free sloop is free two. A free sloop S with a free finite bases X, |X| ≥ 3, has a free subsloop with a free base of any finite cardinality and a free subsloop with a free base of cardinality ω as well; also S has a (non free) base of any finite cardinality k ≥ |X|. We also show that the word problem for the variety of sloops is solvable, due to embedding property

Free Steiner loops

A Steiner loop, or a sloop, is a grupoid (L; · ,1), where · is a binary operation and 1 is a constant, satisfying the identities 1 · x = x, x · y = y · x, x · (x · y) = y. There is a one-to-one correspondence between Steiner triple systems and finite sloops. Two constructions of free objects in the variety of sloops are presented in this paper. They both allow recursive construction of a free sloop with a free base X, provided that X is recursively defined set. The main results besides the constructions are: Each subsloop of a free sloop is free two. A free sloop S with a free finite bases X, |X| ≥ 3, has a free subsloop with a free base of any finite cardinality and a free subsloop with a free base of cardinality ω as well; also S has a (non free) base of any finite cardinality k ≥ |X|. We also show that the word problem for the variety of sloops is solvable, due to embedding property

Business Intelligence Systems: Assessing the benefits of business intelligence use within an organization

The Business Intelligence (BI) systems are increasingly becoming an important piece of the puzzle for the success of organizations. That being so, it is important to acknowledge the benefits that can be obtained from the use of such systems. Furthermore, for those who hesitate in investing in BI systems this research presents how the organizations operating in different business fields are using the BI systems in practice as a part of their business operations. In order to carry out such overview, the authors of this master thesis have based their study on a previous research that proposed a limited number of benefits and their grouping into four categories based on mathematical calculations. Subsequently, the authors are doing qualitative research on the use of BI systems and the benefits that can be achieved from its use on an organizational level. Furthermore, the findings from the research are presented in the context of interpretation of how the BI systems function in organizations, as well as assessments on obtaining the proposed benefits from the use of such systems. Finally, the authors are discussing their observations and impressions regarding the empirical results obtained through means of qualitative research method

Клинични случаи на ринофима в ринологичната практика

Розацеята е общо, но често пренебрегвано състояние на кожата, което се изявява с хронични кожни реакции на свръхчувствителност и може да доведе до значителна лицева деформация, очни усложнения, както и тежък емоционален стрес. Тя е хронична дерматоза, която се характеризира с различна степен на зачервяване, еритема, телеангиектазия, оток, папули, пустули, очни лезии, както и ринофима.Ринофимата представлява малформация на носа с неизвестна етиология.Най-широко приета теория е, че то е крайният етап на хронично акне розацеа и е доброкачествено, бавно, постепенно, кожно, дисфигуративно нарушение на върха на носа и се състои от нередовно удебеляване на кожата и нодуларна хипертрофична хиперемия на съединителната тъкан и себацеозните жлези.Съществуват четири варианта на ринофима (жлезна, фиброзна, фиброангиоматозна и актинозна), които могат да бъдат признати за клинична и хистологична основа.Развитието на рак на кожата, както базално-клетъчен карцином или сквамозно клетъчния карцином в ринофимата изглежда е въпрос на случайно съвпадение на различни болести.Значителна част от пациентите са възрастни хора с хронични здравословни проблеми