Higher inductive-inductive types (HIITs) generalise inductive types of dependent type theories in two directions. 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 generalising higher inductive types of homotopy type theory. Examples that make use of both features are the Cauch...

Intracoronary adenosine infusions in conscious dogs produced half-maximal coronary vasodilation at 0.57 +/- 0.18 (SD) microns and at 1.01 +/- 0.25 microns in open-chest dogs. In both preparations, adenosine at concentrations in the range found in cardiac muscle by direct analysis produced coronary vasodilation equal to that attained during a maximum reactive hyperemic response. The quantitative...

In collagen, strands of the sequence XaaYaaGly form a triple-helical structure. The Yaa residue is often (2S,4R)-4-hydroxyproline (Hyp). The inductive effect of the hydroxyl group of Hyp residues greatly increases collagen stability. Here, electron withdrawal by the hydroxyl group in Hyp and its 4S diastereomer (hyp) is increased by the addition of an acetyl group or trifluoroacetyl group. The ...

Tuesday, 4 October 2016 CONVENTION CENTER: Exhibit Hall 2 (Hawai'i Convention Center) J. Fleig, S. Taibl, and G. Fafilek (TU Wien) Several reasons may cause inductive loops in impedance spectra of solid state electrochemical systems. Some of them are simply artefacts due to instrumental effects [1] or due to an unfavorable sample set up [2]. In this contribution, we discuss inductive loops whic...

GORMEL is a tool for automatic verification of distributed algorithms based on a method proposed in [SG89]. The algorithm is viewed as an infinite family of finite state programs and is described by means of a network grammar. Given a grammar and a specification, we first check that the grammar is inductive and then check the specification on one of the small programs. If a grammar is not induc...

During Caenorhabditis elegans vulval development, the anchor cell (AC) in the somatic gonad secretes an epidermal growth factor (EGF) to activate the EGF receptor (EGFR) signaling pathway in the adjacent vulval precursor cells (VPCs). The inductive AC signal specifies the vulval fates of the three proximal VPCs P5.p, P6.p, and P7.p. The C. elegans Rhomboid homolog ROM-1 increases the range of E...

Inducing cell death by heating targeted particles shows promise in cancer treatment. Here, we aim to demonstrate the feasibility of extending the use of this technique to treat and remove vascular deposits and thrombosis. We used induction heating of macrophages, which are key contributors to atherosclerosis and have demonstrated clear feasibility for heating and destroying these cells using fe...

Inductive programming—the use of inductive reasoning methods for programming, algorithm design, and software development—is a currently emerging research field. A major subfield is inductive program synthesis, the (semi-)automatic construction of programs from exemplary behavior. Inductive program synthesis is not a unified research field until today but scattered over several different establi...

Abstract. Inductive constellations are one-sided analogues of inductive categories which correspond to left restriction semigroups in a manner analogous to the correspondence between inverse semigroups and inductive groupoids. In this paper, we define the notions of the action and partial action of an inductive constellation on a set, before introducing the Szendrei expansion of an inductive co...

Induction-induction is a principle for defining data types in Martin-Löf Type Theory. An inductive-inductive definition consists of a set A, together with an A-indexed family B : AÑ Set, where both A and B are inductively defined in such a way that the constructors for A can refer to B and vice versa. In addition, the constructors for B can refer to the constructors for A. We extend the usual i...