نتایج جستجو برای: ptl
تعداد نتایج: 558 فیلتر نتایج به سال:
Indonesia dianugerahi keanekaragaman hayati yang melimpah, salah satunya tanaman obat. Andong merah merupakan satu obat banyak digunakan masyarakat Indonesia. Penelitian eksperimental laboratorium ini bertujuan untuk menentukan aktivitas ekstrak daun andong terhapap kadar kolesterol, Low Density Lipoprotein (LDL), dan High (HDL) pada mencit hiperkolesterol. menggunakan 4 kelompok hewan uji, yai...
Introduction: Primary testicular lymphoma (PTL) is a rare disease, accounting for <5% of all malignancies and 1–2% non-Hodgkin cases. Diffuse large B-cell (DLBCL) the most common histological diagnosis. The literature data concerning PTL scarce based mainly on small series or retrospective studies. Methods results: In this paper, we present six patients with DLBCL-PTL who were treated in Dep...
This paper presents Unified Bounded Model Checking (UBMC) for the verification of an infinite state system described with Modeling, Simulation and Verification Language (MSVL) which is an executable subset of Projection Temporal Logic (PTL). The desired property is specified by a Propositional PTL (PPTL) formula. We present the bounded semantics of PPTL and the approach to implementing UBMC. A ...
Primary testicular lymphoma (PTL) accounts for ~1% of all non-Hodgkin's lymphomas and has a marked tendency for systemic relapse. The current study presents a unique case of testicular diffuse large B-cell lymphoma of non-germinal center B-cell subtype, with subcutaneous masses as the sole manifestation of the first relapse and central nervous system lymphoma as the second relapse. Subcutaneous...
We show how to combine the standard tableau system for the basic description logic ALC with Wolper's tableau calculus for propositional temporal logic PTL in order to design a terminating sound and complete tableau-based satissability-checking algorithm for the temporal description logic PTL ALC of 19] interpreted in models with constant domains. We use the method of quasimodels 16, 14] to repr...
Primary testicular lymphoma (PTL) is a rare disease accounting for 1% of non-Hodgkin's lymphoma. PTL occurs more frequently in older patients and is a potentially fatal disease. In the early stages (I and II), the treatment consists of orchidectomy followed by chemotherapy (CT) and prophylactic scrotal radiotherapy (RT) with/or without iliac and/or paraaortic lymph node RT. In the advanced stag...
Until now, the fabrication of electrocatalysts to guarantee long life fuel cells and low consumption noble metals remains a major challenge. The based on or metal oxides which are used today limited by complexity their synthesis processes require several steps before depositing catalysts substrate. Herein is described chemical process that consists single-step direct deposition nanoparticles su...
BACKGROUND AND PURPOSE Glioblastoma multiforme (GBM) and single brain metastasis (MET) are the 2 most common malignant brain tumors that can appear similar on anatomic imaging but require vastly different treatment strategy. The purpose of our study was to determine whether the peak height and the percentage of signal intensity recovery derived from dynamic susceptibility-weighted contrast-enha...
In this presented work we designed the 4- bit Arithmetic & Logical Unit (ALU) by using different modules. The Various modules are AND gate OR with six transistors, While XOR is both eight transistors transistors. transistor module gives optimized results. Another one four multiplexer implemented Pass logic (PTL) style. full adder 18 through PTL Here because of style number count such that c...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید