Results 11 to 20 of about 909,831 (291)
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.
Fredrik Nordvall Forsberg, Anton Setzer
openaire +3 more sources
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
Long term assessment of intralipotherapy in Madelung’s disease
Indian Journal of Plastic Surgery, 2014 Madelung’s disease is characterised by multiple symmetric abnormal fat masses in the head, neck and upper limbs. Surgical excision or liposuction is the only realistic available option, although palliative in nature.
Silvia Scevola +3 more
doaj +1 more source
Sensors, 2013 From the Malaysian harvester’s perspective, the determination of the ripeness of the oil palm (FFB) is a critical factor to maximize palm oil production.
Kunihisa Tashiro +6 more
doaj +1 more source
English Language Teaching Educational Journal, 2021 The study reported in this article compared two different inductive instructional methods implemented in a Business English writing training, including paper-based instruction (PPI) and product-based instruction (PDI).
Piyawan Rungwaraphong
doaj +1 more source
Incremental, Inductive Coverability [PDF]
, 2013 We give an incremental, inductive (IC3) procedure to check coverability of well-structured transition systems. Our procedure generalizes the IC3 procedure for safety verification that has been successfully applied in finite-state hardware verification to
A. Cimatti +10 more
core +1 more source
A Review on Miniaturized Ultrasonic Wireless Power Transfer to Implantable Medical Devices
IEEE Access, 2019 Wireless power transfer has experienced a rapid growth in recent years due to the need for miniature medical devices with prolonged operation lifetime. The current implants utilize onboard batteries as their main source of power.
Rajesh V. Taalla +3 more
doaj +1 more source
Jurnal Pendidikan IPA Indonesia, 2020 This study aimed to determine the pattern of a more effective learning approach between the inductive and deductive approach in improving students’ conceptual understanding referring to the international standard curriculum on the X graders for the ...
S. Wardani, I. W. Kusuma
doaj +1 more source
Inductive characterizations of hyperquadrics [PDF]
, 2007 We give two characterizations of hyperquadrics: one as non-degenerate smooth projective varieties swept out by large dimensional quadric subvarieties passing through a point; the other as $LQEL$-manifolds with large secant ...
Fu, Baohua
core +4 more sources
The rhetoric of organizational stability and creativity: an analysis of the term ‘platform’
Nordic Journal of Social Research, 2013 This article analyses the term platform as it surfaced in interview data from Norway and the United States that was collected in a field research project on organizational technology use. Through an inductive analysis of the term’s use in six interviews,
Larry D. Browning +3 more
doaj +1 more source