نتایج جستجو برای: complete non

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شیخ بهایی - دانشکده زبانهای خارجی 1391

simplification universal as a universal feature of translation means translated texts tend to use simpler language than original texts in the same language and it can be critically investigated through common concepts: type/token ratio, lexical density, and mean sentence length. although steps have been taken to test this hypothesis in various text types in different linguistic communities, in ...

Journal: :Signal Processing 2013
Kostas Angelopoulos George-Othon Glentis Andreas Jakobsson

The magnitude squared coherence (MSC) spectrum is an often used frequency-dependent measure for the linear dependency between two stationary processes, and the recent literature contain several contributions on how to form high-resolution data-dependent and adaptive MSC estimators, and on the efficient implementation of such estimators. In this work, we further this development with the present...

2009
George Dimitoglou

Spanning trees have been studied extensively and have many practical applications. From astronomers using spanning trees to find quasar superstructures, to biomedical engineers detecting actin fibers in cell images tree enumeration remains an interesting problem. In this paper we examine a simple, practical, algebraic approach for the enumeration of spanning trees in complete and non-complete g...

Journal: :Journal of radiology case reports 2011
Ana Frias Vilaça Pedro Rodrigues Horácio Scigliano Joana Pinto Alcinda Reis

Solid Pseudopapillary Tumor of the pancreas is a rare nonfunctioning tumor. It is considered a low-grade malignancy that is apparently curable with surgical complete excision in most instances. We present a case of solid pseudopapillary pancreatic tumor that represented a challenge to the radiologists. This case highlights its possible various appearances and the need to the radiologist to be f...

1993
Grigori Schwarz

We establish the complexity of decision problems associated with the nonmonotonic modal logic S4. We prove that the problem of existence of an S4-expansion for a given set A of premises is P 2-complete. Similarly, we show that for a given formula ' and a set A of premises, it is P 2-complete to decide whether ' belongs to at least one S4-expansion for A, and it is P 2-complete to decide whether...

Journal: :Studia Logica 2016
Johannes Marti Riccardo Pinosio

In this paper we introduce a game semantics for System P, one of the most studied axiomatic systems for non-monotonic reasoning, conditional logic and belief revision. We prove soundness and completeness of the game semantics with respect to the rules of System P, and show that an inference is valid with respect to the game semantics if and only if it is valid with respect to the standard order...

2016
Johannes Marti Riccardo Pinosio

In this paper we introduce a game semantics for System P, one of the most studied axiomatic systems for non-monotonic reasoning, conditional logic and belief revision. We prove soundness and completeness of the game semantics with respect to the rules of System P, and show that an inference is valid with respect to the game semantics if and only if it is valid with respect to the standard order...

Journal: :iranian journal of pathology 2008
suzan sanavi reza afshar1 mohammad hossein ghaini

a male patient with acute renal failure (arf) due to large b-cell non-hodgkin lymphoma infiltration of kidney is presented. the diagnosis was suspected because of coincidence of arf and tumor lysis syndrome non-responsive to conservative renal therapies. a renal biopsy confirmed diagnosis and appropriate chemotherapy led to complete improvement of renal function.

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

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