نتایج جستجو برای: implication operation

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

2014
Henning Köhler Sebastian Link

The implication problem for saturated conditional independence statements is studied in the presence of fixed and undetermined sets of incomplete random variables. Here, random variables are termed incomplete since they admit missing data. Two different notions of implication arise. In the classic notion of V -implication, a statement is implied jointly by a set of statements and a fixed set V ...

Journal: :Journal of Instrumentation 2022

Abstract The RD53B chip for HL-LHC upgrades of ATLAS and CMS pixel detectors needs to provide reliable operation in a radiation hostile environment with inevitable Single Event Effects (SEE). To answer the challenge, substantial efforts are made protect evaluate critical parts digital logic characterize on-chip Clock Data Recovery (CDR) circuit. SEE sensitivity is evaluated by testing both heav...

Journal: :فقه و مبانی حقوق اسلامی 0
محمد عادل ضیایی استادیار دانشگاه تهران یونس یزدان پرست استادیار دانشگاه آزاد اسلامی واحد مهاباد

will is the basis and foundation of contracts and possessions; almost without which no contract and possession can take the religious and legal affects. heart is the place of will, and because will has a high dignity, it cannot attributed to any matter unless it is declared and manifested. silence is one of the means of interpretation of the will. it, like utterance, scribe, deed and gesture, h...

2015
Henning Koehler

The implication problem for saturated conditional independence statements is studied in the presence of fixed and undetermined sets of incomplete random variables. Here, random variables are termed incomplete since they admit missing data. Two different notions of implication arise. In the classic notion of V -implication, a statement is implied jointly by a set of statements and a fixed set V ...

Journal: :SSRG international journal of humanities and social science 2022

At first, George Boole introduced conditional propositions as the basis for better development of propositional logic. A compound statement composed two atomic statements (antecedent and consequent) by connective 'if—then' is called For example: "If it raining, then roads are wet". Here first this proposition, 'It raining,' antecedent, second, 'the wet,' consequent. The material in which false ...

Journal: :iranian journal of allergy, asthma and immunology 0
seyed hessamedin nabavizadeh 1department of pediatrics allergy and immunology, yasuj university of medical sciences, iran amir anushiravani department of pediatrics, nemazee hospital, shiraz university of medical sciences, shiraz, iran reza amin department of pediatrics allergy and immunology, shiraz university of medical sciences, iran

hypersensitivity reactions to natural rubber latex have increased recently, especially among people with high exposure to latex allergens. hypersensitivity reactions to latex are related to many conditions like occupational asthma. our study was performed to determine the prevalence of hypersensitivity to natural rubber latex and potential food cross reactions in operation room personnel in shi...

Journal: :Fundam. Inform. 2009
Sven Hartmann Sebastian Link

Nesting is a useful technique in many areas of database practice. For instance, nesting is a fundamental operation for the nested relational data model, it can be applied to reduce the level of data redundancy in a database instance, to improve query processing or to convert data from one model to another. We further address the question when nesting operations commute with one another, i.e., w...

2012
NGUYEN CAT HO

In [13], an algebraic approach to the natural structure of domains of linguistic variables was introduced. In this approach, every linguistic domain can be interpreted as an algebraic structure called a hedge algebra. In this paper, a refinement structure of hedge algebras based on free distributive lattices generated by linguistic hedge operations will be examined in order to model structure o...

Journal: :Notre Dame Journal of Formal Logic 2002
Mariangiola Dezani-Ciancaglini Robert K. Meyer Yoko Motohama

This paper discusses the relation between the minimal positive relevant logic B+ and intersection and union type theories. There is a marvellous coincidence between these very differently motivated research areas. First, we show a perfect fit between the Intersection Type Discipline ITD and the tweaking B ∧T of B+, which saves implication → and conjunction ∧ but drops disjunction ∨. The filter ...

2014
Katalin Pásztor Varga Gábor Alagi Magda Várterész

In this paper an application of the well-known matrix method to an extension of the classical logic to many-valued logic is discussed: we consider an n-valued propositional logic as a propositional logic language with a logical matrix over n truth-values. The algebra of the logical matrix has operations expanding the operations of the classical propositional logic. Therefore we look over the Lu...

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

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