Results 1 to 10 of about 4,122,199 (286)
Quotient Inductive-Inductive Types [PDF]
, 2018 Higher inductive types (HITs) in Homotopy Type Theory (HoTT) allow the definition of datatypes which have constructors for equalities over the defined type. HITs generalise quotient types and allow to define types which are not sets in the sense of HoTT (i.e.
Thorsten Altenkirch +4 more
openaire +4 more sources
Attribute oriented induction with star schema [PDF]
, 2010 This paper will propose a novel star schema attribute induction as a new attribute induction paradigm and as improving from current attribute oriented induction.
H, Spits Warnars H. L.
core +2 more sources
The Absolute and Relative Pessimistic Inductions [PDF]
, 2019 The absolute pessimistic induction states that earlier theories, although successful, were abandoned, so current theories, although successful, will also be abandoned. By contrast, the relative pessimistic induction states that earlier theories, although
Park, Seungbae
core +4 more sources
Signatures and Induction Principles for Higher Inductive-Inductive Types
Logical Methods in Computer Science, 2020 Higher inductive-inductive types (HIITs) generalize inductive types of dependent type theories in two ways. On the one hand they allow the simultaneous definition of multiple sorts that can be indexed over each other. On the other hand they support equality constructors, thus generalizing higher inductive types of homotopy type theory.
Kaposi, Ambrus, Kovács, András
openaire +5 more sources
An open source rule induction tool for transfer-based SMT [PDF]
, 2009 In this paper we describe an open source tool for automatic induction of transfer rules. Transfer rule induction is carried out on pairs of dependency structures and their node alignment to produce all rules consistent with the node alignment.
Graham, Yvette, van Genabith, Josef
core +1 more source
Inductive-Inductive Definitions [PDF]
, 2010 We present a principle for introducing new types in type theory which generalises strictly positive indexed inductive data types. In this new principle a set A is defined inductively simultaneously with an A-indexed set B, which is also defined inductively.
Nordvall Forsberg, Fredrik +1 more
openaire +3 more sources
Induction chemotherapy in the treatment of nasopharyngeal carcinoma: Clinical outcomes and patterns of care [PDF]
, 2018 The role of induction chemotherapy in nasopharyngeal carcinoma (NPC) remains controversial. The primary aim of this study was to use the National Cancer Database to evaluate the patterns of care of induction chemotherapy in NPC and its impact on overall ...
Adkins, Douglas +10 more
core +2 more sources
Arrhythmia induction using isoproterenol or epinephrine during electrophysiology study for supraventricular tachycardia [PDF]
, 2018 Background Electrophysiology study (EPS) is an important part of the diagnosis and workup for supraventricular tachycardia (SVT). Provocative medications are used to induce arrhythmias, when they are not inducible at baseline. The most common medication
Padanilam, Benzy J. +4 more
core +1 more source
BRICS Report Series, 2000 One of the most well-known induction principles in computer science<br />is the fixed point induction rule, or least pre-fixed point rule. Inductive <br />*-semirings are partially ordered semirings equipped with a star operation<br />satisfying the fixed point equation and the fixed point induction rule for<br />linear terms ...
Ésik, Zoltán, Kuich, Werner
openaire +2 more sources
There are no universal rules for induction [PDF]
, 2010 In a material theory of induction, inductive inferences are warranted by facts that prevail locally. This approach, it is urged, is preferable to formal theories of induction in which the good inductive inferences are delineated as those conforming to ...
Norton, JD
core +1 more source