In this paper, we present a fully automatizable approach to detecting loops in standard term rewriting. Our method is based on semi-unification and an unfolding operation which processes both forwards and backwards and considers variable subterms. We also describe a technique to reduce the explosion of rules caused by the unfolding process. The idea is to eliminate from the set of unfoldings so...

Introduction. In a recent paper [2] R. H. Brück has introduced the concept of right neoring and discussed some properties of these systems. In particular, he has considered analogues of certain properties of the ring of integers. This paper is essentially a commentary on Bruck's paper and we generalize some of his results as follows. The construction of the universal right neoring in [2] is app...

It is explicitly shown how the Lie algebras can be associated with the analytic Moufang loops. The resulting Lie algebra commutation relations are well known from the theory of alternative algebras and can be seen as a preliminary step to quantum Moufang loops. 1 Moufang loops It is well known how the Lie algebras are connected with the Lie groups. In the present paper, it is explicitly shown h...

INTRODUCTION Small bowel obstruction (SBO) is common in adult surgical procedures, mainly due to postoperative adhesions. Acute SBO in adults without history of abdominal surgery, trauma or clinical hernia is less common and has various etiologies. Congenital band is an extremely rare cause. PRESENTATION OF CASE A 56-year-old man was admitted to our hospital with a two-day history of abdomina...

All dsDNA viruses multiply their genome and assemble a procapsid, a protein shell devoid of DNA. The genome is subsequently inserted into the procapsid. The bacterial virus phi29 DNA translocating motor contains a hexameric RNA complex composed of six pRNAs. Recently, we found that pRNA dimers are building blocks of pRNA hexamers. Here, we report the structural probing of pRNA monomers and dime...

Natively unstructured or disordered protein regions may increase the functional complexity of an organism; they are particularly abundant in eukaryotes and often evade structure determination. Many computational methods predict unstructured regions by training on outliers in otherwise well-ordered structures. Here, we introduce an approach that uses a neural network in a very different and nove...

Background: A lipoma is one of the commonest benign tumors in surgical practice. Lipomas are usually found on trunk and limbs but less commonly within abdomen, where they occur frequently mesentery as well subserosa submucous layer gastrointestinal tract. Pre-peritoneal lipomas rare. Case Presentation: 44-year-old woman presented with a painless progressive right-sided abdominal swelling 5 mont...

We introduce a pseudo entropy extension of topological entanglement called entropy. Various examples the entropies are examined in three-dimensional Chern-Simons gauge theory with Wilson loop insertions. Partition functions knotted loops directly related to (R\'enyi) entropies. also show that certain setup is equivalent interface two-dimensional conformal field theories (CFTs), and leverage equ...

Congenital diaphragmatic hernia (CDH) is a rare anomaly with a reported incidence of 1 in 16,000 populations. It may be associated with herniation of stomach, intestinal loops, spleen, and kidney through a chest wall defect. We report a case of a 1 year old male child who presented with recurrent fever, occasional chills and rigor of 4 months duration. Left kidney was non visualised on ultrasou...