No abstract

Human activities have transformed Planet Earth to the extent that the functioning of its climate has been altered and a quarter of species face extinction (IPBES, 2019). These climate and biodiversity crises, which are interrelated and mutually reinforcing (Gardner, Struebig, & Davies, 2020), in turn have serious repercussions for humans, weakening the provision of ecosystem services and ultimately jeopardizing human civilization (Gowdy, 2020).

No abstract

Lumbar disc diseases are the commonest complaint of Lower Back Pain (LBP). In this paper, a new method for automatic diagnosis of lumbar disc herniation is proposed which is based on clinical Magnetic Resonance Images (MRI) data. We use T2-W sagittal and myelograph images. Our method uses Otsu thresholding method to extract the spinal cord from MR images of Lumbar disc. In the next step, a third-order polynomial is aligned on the extracted spinal cords, and in the end of preprocessing step all the T2-W sagittal images are prepared for extracting disc boundary and labeling. After labeling and extracting a ROI for each disc, intensity and shape features are used for classification. The presented Method is applied on 30 clinical cases, each containing 7 discs (210 lumbar discs) for the herniation diagnosis. The results revealed 92.38% and 93.80% accuracy for Artificial Neural Network and Support Vector Machine (SVM) classifiers, respectively. The results indicate the superiority of the proposed method to those mentioned in similar studies.

No abstract

No abstract

Reo is an exogenous coordination language for component connectors extending data flow networks with synchronization and context-dependent behavior. The first proposed formalism to capture the operational semantics of Reo is called constraint automaton. In this paper, we propose another operational model of Reo based on Büchi automata in which port synchronization is modeled by records labeling the transitions, whereas context dependencies are stored in the states. It is shown that constraint automata can be recast into our proposed Büchi automata of records. Also, we provide a composition operator which models the joining of two connectors and show that it can be obtained by using two standard operators: alphabet extension and automata product. Our semantics has the advantage over previous models in that it is based on standard automata theory, so that existing theories and tools can be easily reused. Moreover, it is the first formal model addressing all of Reo's features: synchronization, mutual exclusion, hiding, and context-dependency.

In this study, age, sex, HAART, mean CD4- cell count, duration of HIV infection, HCV co-infection, and OI were not significant risk factors of hypothyroidism in HIV-infected patients. The occurrence of hypothyroidism may be related to other factors or HIV infection itself. Therefore, hypothyroidism should be considered in all HIV-infected patients.