Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5

Unifiability of terms (and formulas) and structural completeness in the variety of relation algebras RA and in the products of modal logic S5 is investigated. Nonunifiable terms (formulas) which are satisfiable in varieties (in logics) are exhibited. Consequently, RA and products of S5 as well as representable diagonal-free n-dimensional cylindric algebras, RDfn, are almost structurally complete but not structurally complete. In case of S5ⁿ a basis for admissible rules and the form of all passive rules are provided

Zmienność rytmu zatokowego i skorygowany odstęp QT podczas epizodów niedokrwienia mięśnia sercowego

Wstęp: Odstęp QT jest miarą czasu trwania skurczu elektrycznego mięśnia sercowego. Analiza zmienności rytmu zatokowego (HRV) pozwala ocenić napięcie składowych układu autonomicznego. Cel pracy: Ocena HRV oraz odstępu QT podczas epizodów wysiłkowego niedokrwienia mięśnia sercowego. Materiał i metody: Analizie poddano 24-godzinne zapisy EKG metodą Holtera wykonane u 66 chorych (54 mężczyzn, 12 kobiet; śr. wiek 52 &plusmn; 9 lat) z rozpoznaną chorobą wieńcową. Porównywano 3 kolejne 5-minutowe zapisy, w czasie których wystąpił epizod wysiłkowego niedokrwienia z podobnymi fragmentami przyspieszenia rytmu zatokowego o zbliżonej częstości, bez towarzyszącego obniżenia odcinka ST. Oceniano moc widma HRV w zakresie LV i HF oraz wartość skorygowanego odstępu QT według formuły Bazetta. Wyniki: Stwierdzono, że w czasie niedokrwienia występowały znamiennie mniejsze wartości mocy widma w zakresie niskich (LF) oraz wysokich (HF) (p < 0,05) z istotnym zwiększeniem stosunku mocy widma LF/HF (p < 0,05). Towarzyszyło temu istotne statystycznie (p < 0,05) wydłużenie czasu trwania skorygowanego odstępu QT. Nie obserwowano znamiennych statystycznie różnic w mocy widma oraz QTc pomiędzy epizodami niedokrwienia u chorych z przebytym i bez przebytego zawału serca oraz w zależności od pory dnia. Wniosek: Wystąpienie epizodu wysiłkowego niedokrwienia jest poprzedzone stopniowym przyspieszeniem rytmu zatokowego oraz zmniejszeniem mocy widma HRV w zakresie LF i HF, ze wzrostem stosunku mocy LF/HF. Świadczy to o względnej przewadze aktywności współczulnej i obniżonym napięciu parasympatycznym. Towarzyszące temu wydłużenie czasu trwania skorygowanego odstępu QT może stanowić istotny czynnik proarytmiczny. (Folia Cardiol. 2001; 8: 285&#8211;292

Zmienność rytmu zatokowego i skorygowany odstęp QT podczas epizodów niedokrwienia mięśnia sercowego

Wstęp: Odstęp QT jest miarą czasu trwania skurczu elektrycznego mięśnia sercowego. Analiza zmienności rytmu zatokowego (HRV) pozwala ocenić napięcie składowych układu autonomicznego. Cel pracy: Ocena HRV oraz odstępu QT podczas epizodów wysiłkowego niedokrwienia mięśnia sercowego. Materiał i metody: Analizie poddano 24-godzinne zapisy EKG metodą Holtera wykonane u 66 chorych (54 mężczyzn, 12 kobiet; śr. wiek 52 &plusmn; 9 lat) z rozpoznaną chorobą wieńcową. Porównywano 3 kolejne 5-minutowe zapisy, w czasie których wystąpił epizod wysiłkowego niedokrwienia z podobnymi fragmentami przyspieszenia rytmu zatokowego o zbliżonej częstości, bez towarzyszącego obniżenia odcinka ST. Oceniano moc widma HRV w zakresie LV i HF oraz wartość skorygowanego odstępu QT według formuły Bazetta. Wyniki: Stwierdzono, że w czasie niedokrwienia występowały znamiennie mniejsze wartości mocy widma w zakresie niskich (LF) oraz wysokich (HF) (p < 0,05) z istotnym zwiększeniem stosunku mocy widma LF/HF (p < 0,05). Towarzyszyło temu istotne statystycznie (p < 0,05) wydłużenie czasu trwania skorygowanego odstępu QT. Nie obserwowano znamiennych statystycznie różnic w mocy widma oraz QTc pomiędzy epizodami niedokrwienia u chorych z przebytym i bez przebytego zawału serca oraz w zależności od pory dnia. Wniosek: Wystąpienie epizodu wysiłkowego niedokrwienia jest poprzedzone stopniowym przyspieszeniem rytmu zatokowego oraz zmniejszeniem mocy widma HRV w zakresie LF i HF, ze wzrostem stosunku mocy LF/HF. Świadczy to o względnej przewadze aktywności współczulnej i obniżonym napięciu parasympatycznym. Towarzyszące temu wydłużenie czasu trwania skorygowanego odstępu QT może stanowić istotny czynnik proarytmiczny. (Folia Cardiol. 2001; 8: 285&#8211;292

Armed conflicts in the post-Soviet region: Present situation, prospects for settlement, consequences. OSW Study 9/2003

Unresolved conflicts continue to smoulder in Transnistria, Chechnya, Abkhazia, Nagorno-Karabakh and South Ossetia. "Para-states" have formed in most conflict-affected areas. These have grown to become permanent players in the region. In Chechnya, guerrilla fights continue in the wake of the Russian army's siege of the republic. The conflict in Tajikistan ended in 1997 and the normalisation process is currently under way. Each of these conflicts has entailed profound political, social, ethnic and economic changes, as well as affecting other spheres of life. Presently, it is impossible to return to the pre-conflict situation. The "para-states" have fortified their independence and are no longer controlled by the external powers on which they depended in the initial phases of the conflicts

The Influence of the Direction of Wood Cutting on the Vibration and Noise of Chainsaws

Chainsaws generate high levels of vibrations and noise during work. Regardless of the type of their drive (electric, combustion) chainsaws excel TLVs (Threshold Limited Values) of vibration accelerations and the A-weighted sound level specified for eight-hour working day. The intensity of a vibro-acoustic impact of chainsaws on their operators depends on many factors. One of them is the type of the drive. This is due to significant differences in chainsaw design (inter alia characteristics of the drive, rotational speed, quasi-constant for an electric drive and variable for a combustion one). For chainsaws of the same or alike power and different type of the drive levels of vibrations and noise may vary. In this article noise levels and frequency weighted vibration accelerations for different direction of cutting kerf have been compared. Tests were performed with the same interchangeable cutting set (guide bar, cutting chain). The repeatability of conditions of the cutting process was ensured

Postpartum depression – a mood disorder after delivery

Postpartum depression (PPD) is a mood disorder characterized by depressive episode symptoms within three months after delivery, lasting between two and six months. The characteristic symptoms of postpartum depression are: exaggerated worry about the child's state of health, which does not cause any concern, weakened bond with the child, obsessive thoughts about harming the child (egodystonic thoughts), egosyntonic, non-obsessive thoughts about killing the child. All psychotropic medications are secreted in breast milk. Pharmacological treatment of PPD is not contraindication for breastfeeding. PPD should be treated because it disturbs formation of a proper bond between mother and child, which has an adverse effect on the child's psychosocial development

Confirmation of paternity despite three genetic incompatibilities at chromosome 2

DNA testing in cases of disputed paternity is a routine analysis carried out in genetic laboratories. The purpose of the test is to demonstrate similarities and differences in analyzed genetic markers between the alleged father, mother, and a child. The existence of differences in the examined loci between the child and the presumed father may indicate the exclusion of biological parenthood. However, another reason for such differences is genetic mutations, including chromosome aberrations and genome mutations. The presented results relate to genetic analyses carried out on three persons for the purposes of disputed paternity testing. A deviation from inheritance based on Mendel&rsquo;s Law was found in 7 out of 53 STR-type loci examined. All polymorphic loci that ruled out the paternity of the alleged father were located on chromosome 2. Additional analysis of 32 insertion&ndash;deletion markers (DIPplex, Qiagen) and sequencing of 94 polymorphic positions of the single nucleotide polymorphism (SNP) type (Illumina, ForenSeq) did not exclude the defendant&rsquo;s biological paternity. A sequence analysis of STR alleles and their flanking regions confirmed the hypothesis that the alleles on chromosome 2 of the child may originate only from the mother. The results of the tests did not allow exclusion of the paternity of the alleged father, but are an example of uniparental maternal disomy, which is briefly described in the literature

Zator tętnicy płucnej wysokiego ryzyka u pacjenta we wczesnym okresie pooperacyjnym

High risk pulmonary embolism remains a major diagnostic and therapeutic challenge. One of the most difficult clinical situation is pulmonary embolism in patients in early postoperative period as most of them has contraindication to fibrinolysis.In this paper we present the case of patient with thrombophilia and pulmonary embolism diagnosed on the third day after cancer-related laparoscopic prostatectomy. Patient was successfully treated by means of percutaneous catheter thrombusdefragmentation and intraarterial infusion of the reduced dose of alteplase

Studies of new antiferroelectric liquid crystal based on quantum-chemical model

Physical properties of new thermotropic antiferroelectric liquid crystal have been studied. Experiments were done by use of complementary methods such as differential scanning calorimetry, polarizing optical microscopy and X-ray powder diffractometry. Acquired data from X-ray powder diffractometry was examined under application of quantum chemical approach. It has been found that compound studied exhibits stable enantiotropic antiferroelectric SmC_{A}^{*} phase in the wide temperature range while ferroelectric phase SmC^{*} is very narrow