The reachability and related decision problems for monadic and semi This paper shows that reachability is undecidable for confluent monadic and semi-constructor TRSs, and that joinability and confluence are undecidable for monadic and semi-constructor TRSs. Here, a TRS is monadic if the height of the right-hand side of each rewrite rule is at most 1, and is semi-constructor if all defined symbo...

Echocardiograms were performed on 105 male participants in the National Institutes on Aging's volunteer Longitudinal Study Program. All subjects (25--84 years of age) were physically active and had no evidence of hypertension or cardiovascular disease. Measurements were made of the initial diastolic (E-F) slope of the anterior mitral valve leaflet, the aortic and left ventricular cavity dimensi...

For the non-cardiologist emergency physician and intensivist, performing an accurate estimation of left ventricular ejection fraction (LVEF) is essential for the management of critically ill patients, such as patients presenting with shock, severe respiratory distress or chest pain. Our objective was to develop a semi-quantitative method to improve visual LVEF evaluation. A group of 12 sets of ...

background: early diagnosis of left ventricular mass (lvm) inappropriateness and left ventricular hypertrophy   (lvh) can result in preventing diastolic left ventricular dysfunction and its related morbidity and mortality. this study was performed to determine if diastolic dysfunction   is associated with lvh and inappropriate lvm. methods: one hundred   and twenty five uncomplicated hypertensi...

introduction: asymptomatic diabetic patients are at increased risk of cardiovascular complications. myocardial perfusion scan may be effective in risk evaluation in this population. methods: 106 asymptomatic diabetic patients (age: min: 37, max: 82, mean: 57.73±8.88), including 56 females (52.8%) and 50 males (47.2%) were enrolled in the study. myocardial perfusion scintigraphy was performed by...

Finite state control Semi-infinite tape which contains, at the beginning of the computation: the input string, on its part of the tape the blank symbol, in the remaining squares According to the transition function at each step the machine: changes its internal state writes a nonblank symbol on the scanned tape square moves the head either to the left, or to the right, or keeps it on the same s...

In this paper a general theory of semi-classical matrix orthogonal polynomials is developed. We define the semi-classical linear functionals by means of a distri-butional equation D(uA) = uB, where A and B are matrix polynomials. Several characterizations for these semi-classical functionals are given in terms of the corresponding (left) matrix orthogonal polynomials sequence. They involve a qu...

We prove that complete sets of orthogonal diagonal Sudoku latin squares (sometimes called Sudoku frames) exist of all orders p, where p is a prime. We also show that complete sets of orthogonal Sudoku frames which are left semi-diagonal exist of all orders p, s > 1. We conjecture that these may be right semi-diagonal also but we do not have a general proof. We show how these complete sets may b...

Considering a frame L, we introduce the notions of stratified L-semi-topological neighborhood group, stratified L-quasi-topological neighborhood group, and stratified L-quasi-bi-topological neighborhood group. In so doing, we look at the notion of stratified L-right (left) semi-topological neighborhood group, provide some basic facts, and present a construction of a stratified L-right semi-topo...

Pseudo-Galois extensions are shown to be depth two extensions. Studying its left bialgebroid, we construct an enveloping Hopf algebroid for the semi-direct product of groups or involutive Hopf algebras and their module algebras. It is a type of cofibered sum of two inclusions of the Hopf algebra into the semi-direct product and its derived right crossed product. Van Oystaeyen and Panaite observ...