This paper presents an implementation for the efficient execution of Theory Model Elimination (TME), TME by Linearizing Completion, and Restart Model Elimination (RME) on top of the automated theorem prover SETHEO. These calculi allow for theory reasoning using a Model Elimination based theorem prover. They are described in detail and their major properties are shown. Then, a detailed descripti...

PURPOSE Total mesorectal excision (TME) surgery in the treatment of rectal cancer has been shown to result in a reduction in the number of local recurrences in retrospective studies. Reports on improved local control after preoperative, hypofractionated radiotherapy (RT) have led to the introduction of a prospective randomized multicenter trial, in which the effect of TME surgery with or withou...

BACKGROUND Low anterior resection (LAR) may result in faecal incontinence. This study aimed to identify risk factors for long-term faecal incontinence after total mesorectal excision (TME) with or without preoperative radiotherapy (PRT). METHODS Between 1996 and 1999, patients with operable rectal cancer were randomized to TME with or without PRT. Eligible patients who underwent LAR were stud...

Transmissible mink encephalopathy (TME) is a rare disease of ranch-raised mink caused by exposure to an as yet unidentified contaminated food ingredient in the ration. The clinical and pathological similarities between TME and scrapie, together with the indistinguishable physicochemical characteristics of their transmissible agents, suggest that sheep may be the source of infection. However, ex...

Total mesorectal excision (TME) is a precise dissection of the rectum and all pararectal lymph nodes within an oncologic package: the mesorectal envelope. This article is a brief description of the technical aspects of the dissection, illustrated by cadaver dissection. Here the TME dissection is organized into 6 steps to facilitate learning: (1) left retroperitoneum; (2) superior rectal and inf...

It is clear that tumor cells do not act alone but in close interaction with the extracellular matrix and with stromal cells in the tumor microenvironment (TME). As our understanding of tumor cell-stroma interactions increased over the last two decades, significant efforts have been made to develop agents that interfere with these interactions. Here, we discuss four different therapeutic strateg...

We review here the history, neuropathology, clinical picture and molecular data on transmissible mink encephalopathy (TME). This obscure disease is of utmost importance as it is plausible that it represents a transmission of hidden bovine spongiform encephalopathy (BSE) to mink in the USA. Of special interest is the similarity of L-type of BSE and TME. Furthermore, experimental molecular studie...

Topological insulators (TIs) exhibit many exotic properties. In particular, a topological magneto-electric (TME) effect, quantized in units of the fine structure constant, exists in TIs. Here, we theoretically study the scattering properties of electromagnetic waves by TI circular cylinders particularly in the Rayleigh scattering limit. Compared with ordinary dielectric cylinders, the scatterin...

thors called for a more selective use of TME. The authors argue that oncologic outcome is not compromised with this approach based on similar cancer-specific survival patterns between TME and PME in this study. This conclusion was confirmed by metaanalysis. Mirnezami et al. [6] examined the long-term oncological impact of anastomotic leakage after rectal cancer surgery using meta-analysis metho...