Search Results - "DIACONESCU, Razvan"

Exploring the Influence of Age, Gender and Body Mass Index on Colorectal Cancer Location by Popovici, Dorel, Stanisav, Cristian, Saftescu, Sorin, Negru, Serban, Dragomir, Radu, Ciurescu, Daniel, Diaconescu, Razvan

“…Background and objectives: The global burden of non-communicable diseases like obesity and cancer, particularly colorectal cancer (CRC), is increasing. The…”
Get full text

Pneumorrhachis Secondary to a Locally Advanced Rectal Cancer with Pre-Sacral Abscess-Case Report and Review by Diaconescu, Razvan, Popovici, Dorel, Tarta, Cristi, Isaic, Alexandru, Costachescu, Dan, Totolici, Bogdan

“…The occurrence of pneumorrhachis (PR), defined as the presence of air within the spinal canal, presents a complex clinical picture with diverse etiological…”
Get full text

Translation structures for fuzzy model theory by Diaconescu, Răzvan

“…The theory of L-institutions is a fully axiomatic and abstract approach to fuzzy / many-valued truth model theory, which is based on category theory. In this…”
Get full text

Structuring of Specification Modules (extended) by Razvan Diaconescu

“…This paper has two goals. One goal is to provide a brief introduction to the concept of modularisation in the context of formal specifications. The other goal…”
Get full text

Generalised graded interpolation by Diaconescu, Răzvan

“…We develop an initial study of interpolation for graded consequence relations, which are many-valued consequence relations that arise in connection to…”
Get full text

Comparing morbidity and mortality of HLA-matched unrelated donor hematopoietic cell transplantation after nonmyeloablative and myeloablative conditioning: influence of pretransplantation comorbidities by Sorror, Mohamed L., Maris, Michael B., Storer, Barry, Sandmaier, Brenda M., Diaconescu, Razvan, Flowers, Christopher, Maloney, David G., Storb, Rainer

“…We have carried out HLA-matched unrelated donor hematopoietic cell transplantation (HCT) after nonmyeloablative conditioning in patients with hematologic…”
Get full text

Graft-Versus-Tumor Effects After Allogeneic Hematopoietic Cell Transplantation With Nonmyeloablative Conditioning by BARON, Frédéric, MARIS, Michael B, MALONEY, David G, STORB, Rainer, SANDMAIER, Brenda M, STORER, Barry E, SORROR, Mohamed, DIACONESCU, Razvan, WOOLFREY, Ann E, CHAUNCEY, Thomas R, FLOWERS, Mary E. D, MIELCAREK, Marco

“…We have used a nonmyeloablative conditioning regimen consisting of total-body irradiation (2 Gy) with or without fludarabine (30 mg/m(2)/d for 3 days) for…”
Get full text

Partialising Institutions by Diaconescu, Răzvan

“…3 / 2 -Institutions have been introduced as an extension of institution theory that accommodates implicitly partiality of the signature morphisms together with…”
Get full text

Functorial semantics of first-order views by Diaconescu, Răzvan

“…We provide a precise mathematical definition for first-order views used in parameterised specifications and we also provide a dual semantics for them that…”
Get full text

Representing 3/2-Institutions as Stratified Institutions by Diaconescu, Răzvan

“…On the one hand, the extension of ordinary institution theory, known as the theory of stratified institutions, is a general axiomatic approach to model…”
Get full text

Opportunistic Colonoscopy Cancer Screening Pays off in Romania-A Single-Centre Study by Rațiu, Iulia, Lupușoru, Raluca, Vora, Prateek, Popescu, Alina, Sporea, Ioan, Goldiș, Adrian, Dănilă, Mirela, Miuțescu, Bogdan, Barbulescu, Andreea, Hnatiuc, Madalina, Diaconescu, Razvan, Tăban, Sorina, Lazar, Fulger, Șirli, Roxana

“…Colorectal cancer (CRC) is the third most diagnosed cancer in men (after prostate and lung cancers) and in women (after breast and lung cancer). It is the…”
Get full text

Implicit Kripke semantics and ultraproducts in stratified institutions by Diaconescu, Răzvan

Get full text

The Axiomatic Approach to Non-Classical Model Theory by Diaconescu, Răzvan

“…Institution theory represents the fully axiomatic approach to model theory in which all components of logical systems are treated fully abstractly by reliance…”
Get full text

Permutation Groups Generated by γ-Cycles by Diaconescu, Răzvan

“…A γ-cycle is a cycle of the form (i+1,i+2,…,i+m) in the symmetric group Sn. We study the subgroups of Sn generated by several sets of γ-cycles. Our…”
Get full text

Quasi-varieties and initial semantics for hybridized institutions by Diaconescu, Răzvan

Get full text

Introducing H, an Institution-Based Formal Specification and Verification Language by Diaconescu, Răzvan

“…This is a short survey on the development of the formal specification and verification language H with emphasis on the scientific part. H is a modern highly…”
Get full text

Institutional semantics for many-valued logics by Diaconescu, Răzvan

“…We develop many-valued logic, including a generic abstract model theory, over a fully abstract syntax. We show that important many-valued logic model theories,…”
Get full text

Universal logic and computation by Diaconescu, Răzvan

Get full text

What Is the Comparative Efficacy of Surgical, Endoscopic, Transanal Resection, and Radiotherapy Modalities in the Treatment of Rectal Cancer? by Isaic, Alexandru, Motofelea, Alexandru Cătălin, Costachescu, Dan, Pop, Gheorghe Nicusor, Totolici, Bogdan, Popovici, Dorel, Diaconescu, Razvan Gheorghe

“…Rectal cancer is a significant healthcare burden, and effective treatment is crucial. This research aims to compare the effectiveness of surgical and…”
Get full text

Decompositions of stratified institutions by Diaconescu, Răzvan

“…Abstract The theory of stratified institutions is a general axiomatic approach to model theories where the satisfaction is parameterized by states of the…”
Get full text