نتایج جستجو برای: ptl

تعداد نتایج: 558  

Journal: :International Journal for Research in Applied Science and Engineering Technology 2020

Journal: :JIIP (Jurnal Ilmiah Ilmu Pendidikan) 2022

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...

Journal: :Acta haematologica Polonica 2023

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...

2014
Bin Yu Zhenhua Duan Cong Tian

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 ...

2014
ZUNGUO DU YIN WANG PING ZHU HAIYAN LENG FENG TANG XIAOPING XU ZI CHEN

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...

2001
Carsten Lutz Holger Sturm Frank Wolter Michael Zakharyaschev

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...

Journal: :Swiss medical weekly 2010
A Zouhair E Herrmann G Ugurluer P M Gaye R O Mirimanoff M Ozsahin

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...

Journal: :Applied Catalysis A-general 2021

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...

Journal: :AJNR. American journal of neuroradiology 2007
S Cha J M Lupo M-H Chen K R Lamborn M W McDermott M S Berger S J Nelson W P Dillon

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...

Journal: :International journal of innovative technology and exploring engineering 2021

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید