d

Introduction: Radiotherapy is one of the important treatment modalities in cancer treatment. To maintain procedure accuracy, phantom an essential tool for absolute dosimetry conformation and Quality Assurance routine cheek up. This work aims to study absorbed dose various phantoms hence make a comparison result with IAEA recommendation (TRS 398) daily QA Linac. Materials Methods: The experiment...

A stream specification is a set of equations intended to define a stream, that is, an infinite sequence over a given data type. In [5] a transformation from such a stream specification to a TRS is defined in such a way that termination of the resulting TRS implies that the stream specification admits a unique solution. In this tool description we present how proving such well-definedness of sev...

A technique to prove the termination of a given term rewriting system (TRS, for short) is presented. We propose tree lifting orderings by which from a given TRS R candidates for the termination of R can be obtained|the termination of (at least) one of these candidates guarantees the termination ofR. It should be remarked that for a given nite TRS all its candidates can be computed automatically...

The clinical utility of leukocytosis in risk assessment for ST-elevation myocardial infarction (STEMI) is still unclear. We aim to demonstrate the prognostic value of leukocyte counts independent from traditional risk factors and the TIMI risk score (TRS) for STEMI and to propose a practical model comprising leukocyte count for early triage in STEMI undergoing primary angioplasty. A prospective...

Since BRCA1 associated breast cancers are frequently classified as hormone receptor negative or even triple negative, the application of endocrine therapies is rather limited in these patients. Like hormone receptors that bind to estrogen or progesterone, thyroid hormone receptors (TRs) are members of the nuclear hormone receptor superfamily. TRs might be interesting biomarkers - especially in ...

Multimedia scenarios have multimedia content and interactive events associated with computer programs. Interactive Scores (IS) is a formalism to represent such scenarios by temporal objects, temporal relations (TRs) and interactive events. IS describe TRs, but IS cannot represent TRs together with conditional branching. We propose a model for conditional branching timed IS in the Non-determinis...

We present a methodology for proving termination of left-linear term rewriting systems (TRSs) by using Albert Burroni’s polygraphs, a kind of rewriting systems on algebraic circuits. We translate the considered TRS into a polygraph of minimal size whose termination is proven with a polygraphic interpretation, then we get back the property on the TRS. We recall Yves Lafont’s general translation ...

The NetTRS system is a web service that makes induction, evaluation and postprocessing of decision rules possible. The TRS library is the kernel of the system. It allows to induce rules by means of the tolerance rough sets model. The NetTRS makes user interface of the TRS library available in the Internet. The main emphasis of the NetTRS system is placed on induction and postprocessing of decis...

While briefly reviewing how the concepts of strictly pericondensed, strain-free, Clar's aromatic sextet, and symmetry are interconnected in the topological correspondence between strictly pericondensed and total resonant sextet (TRS) benzenoid hydrocarbons, new structural correlations in isomer numbers, symmetry distributions, and empty rings between various strain-free TRS benzenoids made up o...