Relevant bibliographies by topics / Higher inductive types

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Higher inductive types'

Author: Grafiati
Published: 11 March 2023
Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Higher inductive types.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Higher inductive types"

1

Basold, Henning, Herman Geuvers, and Der Weide Niels Van. "Higher Inductive Types in Programming." JUCS - Journal of Universal Computer Science 23, no. (1) (2017): 63–88. https://doi.org/10.3217/jucs-023-01-0063.

Full text
Abstract:
We propose general rules for higher inductive types with non-dependent and dependent elimination rules. These can be used to give a formal treatment of data types with laws as has been discussed by David Turner in his earliest papers on Miranda [Turner(1985)]. The non-dependent elimination scheme is particularly useful for defining functions by recursion and pattern matching, while the dependent elimination scheme gives an induction proof principle. We have rules for non-recursive higher inductive types, like the integers, but also for recursive higher inductive types like the truncation. In t
APA, Harvard, Vancouver, ISO, and other styles
2

LUMSDAINE, PETER LEFANU, and MICHAEL SHULMAN. "Semantics of higher inductive types." Mathematical Proceedings of the Cambridge Philosophical Society 169, no. 1 (2019): 159–208. http://dx.doi.org/10.1017/s030500411900015x.

Full text
Abstract:
AbstractHigher inductive typesare a class of type-forming rules, introduced to provide basic (and not-so-basic) homotopy-theoretic constructions in a type-theoretic style. They have proven very fruitful for the “synthetic” development of homotopy theory within type theory, as well as in formalising ordinary set-level mathematics in type theory. In this paper, we construct models of a wide range of higher inductive types in a fairly wide range of settings.We introduce the notion ofcell monad with parameters: a semantically-defined scheme for specifying homotopically well-behaved notions of stru
APA, Harvard, Vancouver, ISO, and other styles
3

Sojakova, Kristina. "Higher Inductive Types as Homotopy-Initial Algebras." ACM SIGPLAN Notices 50, no. 1 (2015): 31–42. http://dx.doi.org/10.1145/2775051.2676983.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Cavallo, Evan, and Robert Harper. "Higher inductive types in cubical computational type theory." Proceedings of the ACM on Programming Languages 3, POPL (2019): 1–27. http://dx.doi.org/10.1145/3290314.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Dybjer, Peter, and Hugo Moeneclaey. "Finitary Higher Inductive Types in the Groupoid Model." Electronic Notes in Theoretical Computer Science 336 (April 2018): 119–34. http://dx.doi.org/10.1016/j.entcs.2018.03.019.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

van der Weide, Niels, and Herman Geuvers. "The Construction of Set-Truncated Higher Inductive Types." Electronic Notes in Theoretical Computer Science 347 (November 2019): 261–80. http://dx.doi.org/10.1016/j.entcs.2019.09.014.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Tan, Qingping. "A higher-order unification algorithm for inductive types and dependent types." Journal of Computer Science and Technology 12, no. 3 (1997): 231–43. http://dx.doi.org/10.1007/bf02948973.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Vezzosi, Andrea, Anders Mörtberg, and Andreas Abel. "Cubical agda: a dependently typed programming language with univalence and higher inductive types." Proceedings of the ACM on Programming Languages 3, ICFP (2019): 1–29. http://dx.doi.org/10.1145/3341691.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Swan, Andrew W. "A class of higher inductive types in Zermelo‐Fraenkel set theory." Mathematical Logic Quarterly 68, no. 1 (2022): 118–27. http://dx.doi.org/10.1002/malq.202100040.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

ABEL, ANDREAS. "Polarised subtyping for sized types." Mathematical Structures in Computer Science 18, no. 5 (2008): 797–822. http://dx.doi.org/10.1017/s0960129508006853.

Full text
Abstract:
We present an algorithm for deciding polarised higher-order subtyping without bounded quantification. Constructors are identified not only modulo β, but also η. We give a direct proof of completeness, without constructing a model or establishing a strong normalisation theorem. Inductive and coinductive types are enriched with a notion of size and the subtyping calculus is extended to account for the inclusions arising between the sized types.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Higher inductive types"

1

Girardi, Marco. "Proof theoretical issues in Martin-Löf Type Theory and Homotopy Type Theory." Doctoral thesis, Università degli studi di Trento, 2022. http://hdl.handle.net/11572/348681.

Full text
Abstract:
Homotopy Type Theory (HoTT) is a quite recent branch of research in mathematical logic, which provides interesting connections among various areas of mathematics. It was first introduced by Vladimir Voevodsky as a means to develop synthetic homotopy theory, and further advancements suggested that it can be used as a formal foundation to mathematics. Among its notable features, inductive and higher inductive types are of great interest, e.g. allowing for the study of geometric entities (such as spheres) in the setting of HoTT. However, so far in most of the literature higher inductive types ar
APA, Harvard, Vancouver, ISO, and other styles
2

Sattler, Christian. "On the complexities of polymorphic stream equation systems, isomorphism of finitary inductive types, and higher homotopies in univalent universes." Thesis, University of Nottingham, 2015. http://eprints.nottingham.ac.uk/28111/.

Full text
Abstract:
This thesis is composed of three separate parts. The first part deals with definability and productivity issues of equational systems defining polymorphic stream functions. The main result consists of showing such systems composed of only unary stream functions complete with respect to specifying computable unary polymorphic stream functions. The second part deals with syntactic and semantic notions of isomorphism of finitary inductive types and associated decidability issues. We show isomorphism of so-called guarded types decidable in the set and syntactic model, verifying that the answers co
APA, Harvard, Vancouver, ISO, and other styles
3

KUSAKARI, Keiichirou, Masahiko SAKAI, and Toshiki SAKABE. "Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting." IEICE, 2005. http://hdl.handle.net/2237/9580.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

CHIBA, Yuki, and Keiichirou KUSAKARI. "A Higher-Order Knuth-Bendix Procedure and Its Applications." Institute of Electronics, Information and Communication Engineers, 2007. http://hdl.handle.net/2237/14974.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Xia, Bing. "Investigation of novel multi-layer spoke-type ferrite interior permanent magnet machines." Thesis, Cranfield University, 2017. http://dspace.lib.cranfield.ac.uk/handle/1826/12320.

Full text
Abstract:
The permanent magnet synchronous machines have been attracting more and more attention due to the advantages of high torque density, outstanding efficiency and maturing technologies. Under the urges of mandatory energy efficiency requirements, they are considered as the most potential candidates to replace the comparatively low-efficient induction machines which dominate the industrial market. However, most of the high performance permanent magnet machines are based on high cost rare-earth materials. Thus, there will be huge demands for low-cost high-performance permanent magnet machines. Ferr
APA, Harvard, Vancouver, ISO, and other styles
6

Li, Cheng-Chieh, and 李政潔. "The Design of a High Frequency Induction Heating Circuit for Heating in Air Gap Type." Thesis, 2008. http://ndltd.ncl.edu.tw/handle/53856288745654255800.

Full text
Abstract:
碩士<br>中原大學<br>電機工程研究所<br>96<br>The induction heating process could reach high efficiency, high quality, and low pollution . The heating technique is important in related fields, especially in the rapid heating on the surface of metal. In this thesis, a high frequency induction heater for heating of conducting working piece has been designed. A load series resonant induction heating system with voltage source full bridge inverter has been constructed and tested . The system can reach low switching losses, low component stresses, and low electromagnetic interferences of power semiconductor devi
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Higher inductive types"

1

Maznev, Aleksandr, and Oleg Shatnev. Electric apparatus and circuits of rolling stock. INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1014641.

Full text
Abstract:
Provides information about technical data and design of electrical apparatus of control, monitoring and protection of traction motors of electric rolling stock (EPS), the principles of speed control of locomotives and trains with contactor-resistor and semiconductor converters based on modern element base, a circuit diagram of various types of EPS with manifold and induction motors in modes of traction and braking.&#x0D; For students of institutions of secondary professional education. It may be useful to students of higher educational institutions, courses of improvement of qualification, the
APA, Harvard, Vancouver, ISO, and other styles
2

Shulman, Michael. Homotopy Type Theory: A Synthetic Approach to Higher Equalities. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198748991.003.0003.

Full text
Abstract:
Homotopy type theory and univalent foundations (HoTT/UF) is a new foundation of mathematics, based not on set theory but on “infinity-groupoids”, which consist of collections of objects, ways in which two objects can be equal, ways in which those ways-to-be-equal can be equal, ad infinitum. Though apparently complicated, such structures are increasingly important in mathematics. Philosophically, they are an inevitable result of the notion that whenever we form a collection of things, we must simultaneously consider when two of those things are the same. The “synthetic” nature of HoTT/UF enable
APA, Harvard, Vancouver, ISO, and other styles
3

Sabbagh, Michel, and John J. Freely Jr. Epiglottitis, Croup, and Stridor. Edited by Matthew D. McEvoy and Cory M. Furse. Oxford University Press, 2017. http://dx.doi.org/10.1093/med/9780190226459.003.0078.

Full text
Abstract:
Stridor is a high-pitched sound representing partially obstructed or turbulent flow in the airway. Stridor can be part of the inspiratory or expiratory phase, depending on the origin of the flow disturbance. This chapter reviews the etiology of stridor and its subtypes. It also focuses on two important pediatric disease states where stridor is a defining characteristic: epiglottitis and croup. Epiglottitis has emerged as an uncommon cause of pediatric airway compromise, with the widespread use of Haemophilus influenza type b vaccination. Croup continues to be a significant cause of stridor, an
APA, Harvard, Vancouver, ISO, and other styles
4

Lorino, Philippe. Inquiry. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198753216.003.0004.

Full text
Abstract:
This chapter narrates the efforts of a hospital cardiology department to create its country’s first chronic heart failure (CHF) multidisciplinary unit. With an average treatment cost that was too high, threatening their required funding, the department’s actors strove to reduce it. They analyzed collective activity, made exploratory hypotheses about cost drivers, and developed new performance measurements to verify their hypotheses. This is an example of the social process of inquiry. The chapter presents the pragmatist definition of inquiry, a non-dualist and relational framework, recursively
APA, Harvard, Vancouver, ISO, and other styles
5

Mills, Gary H. Pulmonary disease and anaesthesia. Edited by Philip M. Hopkins. Oxford University Press, 2017. http://dx.doi.org/10.1093/med/9780199642045.003.0082.

Full text
Abstract:
Respiratory adverse events are the commonest complications after anaesthesia and have profound implications for the recovery of the patient and their subsequent health. Outcome prediction related to respiratory disease and complications is vital when determining the risk:benefit balance of surgery and providing informed consent. Surgery produces an inflammatory response and pain, which affects the respiratory system. Anaesthesia produces atelectasis, decreases the drive to breathe, and causes muscle weakness. As the respiratory system ages, closing capacity increases and airway closure becomes
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Higher inductive types"

1

Vivekanandan, Paventhan. "Code Generation for Higher Inductive Types." In Functional and Constraint Logic Programming. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-16202-3_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Stadler, Alexander, and Lukas Reiβenweber. "Winding types in high-frequency power electronics applications." In Inductive Devices in Power Electronics. The Institution of Engineering and Technology, 2024. https://doi.org/10.1049/pbpo203e_ch5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Guo, Liye, and Cynthia Kop. "Higher-Order LCTRSs and Their Termination." In Programming Languages and Systems. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57267-8_13.

Full text
Abstract:
AbstractLogically constrained term rewriting systems (LCTRSs) are a formalism for program analysis with support for data types that are not (co)inductively defined. Only imperative programs have been considered through the lens of LCTRSs so far since LCTRSs were introduced as a first-order formalism. In this paper, we propose logically constrained simply-typed term rewriting systems (LCSTRSs), a higher-order generalization of LCTRSs, which suits the needs of representing and analyzing functional programs. We also study the termination problem of LCSTRSs and define a variant of the higher-order
APA, Harvard, Vancouver, ISO, and other styles
4

Allais, Guillaume. "Builtin Types Viewed as Inductive Families." In Programming Languages and Systems. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30044-8_5.

Full text
Abstract:
AbstractState of the art optimisation passes for dependently typed languages can help erase the redundant information typical of invariant-rich data structures and programs. These automated processes do not dramatically change the structure of the data, even though more efficient representations could be available.Using Quantitative Type Theory as implemented in Idris 2, we demonstrate how to define an invariant-rich, typechecking-time data structure packing an efficient runtime representation together with runtime irrelevant invariants. The compiler can then aggressively erase all such invari
APA, Harvard, Vancouver, ISO, and other styles
5

Lakin, Matthew R., and Andrew M. Pitts. "Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming." In Programming Languages and Systems. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00590-9_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Chen, Zhibo, and Frank Pfenning. "A Logical Framework with Higher-Order Rational (Circular) Terms." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30829-1_4.

Full text
Abstract:
AbstractLogical frameworks provide natural and direct ways of specifying and reasoning within deductive systems. The logical framework LF and subsequent developments focus on finitary proof systems, making the formalization of circular proof systems in such logical frameworks a cumbersome and awkward task. To address this issue, we propose $$ \text {CoLF} $$ CoLF , a conservative extension of LF with higher-order rational terms and mixed inductive and coinductive definitions. In this framework, two terms are equal if they unfold to the same infinite regular Böhm tree. Both term equality and ty
APA, Harvard, Vancouver, ISO, and other styles
7

Schürmann, Carsten. "A Type-Theoretic Approach to Induction with Higher-Order Encodings." In Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45653-8_18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Laimer, Margit, Rashmi Boro, Veronika Hanzer, Emmanuel Ogwok, and Eduviges G. Borroto Fernandez. "Protocol on Mutation Induction in Coffee Using In Vitro Tissue Cultures." In Mutation Breeding in Coffee with Special Reference to Leaf Rust. Springer Berlin Heidelberg, 2023. http://dx.doi.org/10.1007/978-3-662-67273-0_5.

Full text
Abstract:
AbstractPathogens are the major limiting factors in coffee production. Approximately 26% of the global annual coffee production is lost to diseases, threatening the income of approx. 125 million people worldwide. Therefore, reducing coffee yield losses by improving coffee resistance to diseases and insect attacks through breeding can make a major contribution to agricultural sustainability. Mutation breeding in vegetatively propagated and perennial crops is hampered in large part due to bottlenecks in the induction of variation (lack of recombination) and challenges in screening. Tissue cultur
APA, Harvard, Vancouver, ISO, and other styles
9

da Luz, Viviane Kopp, Vívian Ebeling Viana, Gabriela Magalhães da Fonseca, Camila Pegoraro, Luciano Carlos da Maia, and Antonio Costa de Oliveira. "Identification of rice mutants tolerant to cold stress at the germination stage by TILLING." In Mutation breeding, genetic diversity and crop adaptation to climate change. CABI, 2021. http://dx.doi.org/10.1079/9781789249095.0011.

Full text
Abstract:
Abstract Cold stress is a common factor affecting rice culture in temperate regions, which impairs seed germination, crop establishment and grain yield. This work aimed to identify, through a TILLING assay, rice mutant families displaying cold tolerance during the germination stage. The mutant analyses were performed in 4000 M<sub>3</sub> plants obtained through chemical mutagenesis with ethyl methanesulfonate. We screened for mutations in the Os03g0103300 (qLTG3-1) gene, which is responsible for cold tolerance during germination. The TILLING assay identified a mutant (516 A3) which was tested
APA, Harvard, Vancouver, ISO, and other styles
10

Schreiber, U. "Detection of rapid induction kinetics with a new type of high-frequency modulated chlorophyll fluorometer." In Current topics in photosynthesis. Springer Netherlands, 1986. http://dx.doi.org/10.1007/978-94-009-4412-1_24.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Higher inductive types"

1

Dabkowski, John. "Induced AC on Pipelines." In CORROSION 1990. NACE International, 1990. https://doi.org/10.5006/c1990-90240.

Full text
Abstract:
Abstract Power line fault current coupling to buried pipelines is examined. Inductive and conductive coupling mechanisms are reviewed. A simple model for pipe coating impedance behavior under fault conditions is presented. In general, coating impedance is reduced during the fault, thus decreasing the induced voltage level. High voltage tests on several types of coating were made. It was found that incipient coating damage, e.g. a decrease in coating resistance which was not completely reversible, could occur at applied voltage levels as low as 3000 volts. Puncture levels for organic coatings w
APA, Harvard, Vancouver, ISO, and other styles
2

Lynch, David. "How to Improve the Performance and Longevity of Induction Tooling Components." In IFHTSE 2024. ASM International, 2024. http://dx.doi.org/10.31399/asm.cp.ifhtse2024p0035.

Full text
Abstract:
Abstract This presentation will discuss the most common types of induction tooling failures and the best practices to improve the performance and longevity of inductor coils, bus bars quenches and related tooling. We will discuss the harsh environment of a typical induction machine installation and what can be done to reduce contamination, which is the leading cause of tooling failure. Robust tooling designs and how water cooling is essential to longevity shall be discussed. Cooling water temperature and how the water is presented and routed through the tooling components and the impact this h
APA, Harvard, Vancouver, ISO, and other styles
3

Rajkumar, S., N. Arunkumar, K. Sedhuraman, and J. Vijaya Raghavan. "Finite Element Analysis by High Torque to Weight Ratio for Cage Type Induction Motor Cost Estimation." In 2024 International Conference on System, Computation, Automation and Networking (ICSCAN). IEEE, 2024. https://doi.org/10.1109/icscan62807.2024.10894405.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Kano, Suguru, Satoshi Maeda, Kazuo Tateishi, Takeshi Hanji, and Masaru Shimizu. "Fatigue Strength Improvement by Induction Heating against Weld Root Failure in Out-of-Plane Gusset Welded Joints." In IABSE Symposium, Tokyo 2025: Environmentally Friendly Technologies and Structures: Focusing on Sustainable Approaches. International Association for Bridge and Structural Engineering (IABSE), 2025. https://doi.org/10.2749/tokyo.2025.1159.

Full text
Abstract:
&lt;p&gt;This study investigated the improvement of fatigue strength at the weld root in out-of-plane gusset welded joints by induction heating (IH). IH works by locally heating the object with coils energized by high-frequency AC power, which can alter the residual stress distribution. Unlike other methods such as weld toe treatment, IH does not need to treat the potential crack initiation site directly, making it a promising approach for improving fatigue strength at the weld root.&lt;/p&gt;&lt;p&gt;The improvement in fatigue strength by IH was verified using fatigue tests under out-of-plane
APA, Harvard, Vancouver, ISO, and other styles
5

Southey, R. D., W. Ruan, F. P. Dawalibi, and S. Fortin. "Estimating AC Mitigation Requirements for Pipelines Installed in High Voltage AC Corridors: Fault Conditions." In CORROSION 2003. NACE International, 2003. https://doi.org/10.5006/c2003-03698.

Full text
Abstract:
Abstract A previous paper1 has addressed the question of estimating mitigation requirements for pipelines installed in high voltage AC corridors, such as to maintain induced voltages at acceptable levels during normal operating conditions on the power system. This paper addresses the more difficult problem of estimating what mitigation is required to maintain pipeline coating stress voltages within acceptable limits during fault conditions on the power system. The difficulty of this undertaking arises primarily from the fact that AC interference during fault conditions includes not only induct
APA, Harvard, Vancouver, ISO, and other styles
6

Lu, Haiping, Kristen Curry, Sankaran Murugesan, Chelsea Eaton, and Ya Liu. "The Overview of Scale Inhibitor Residual Detection Methods for Both Downstream and Upstream Applications." In CORROSION 2021. AMPP, 2021. https://doi.org/10.5006/c2021-16280.

Full text
Abstract:
Abstract Scale formation is a very troublesome issue for oil and gas industry, and chemical treatment is a cost effective approach for solving scale formation prevention and control. Monitoring scale inhibitor residual is very critical for inhibitor dosage control on both downstream and upstream applications. Currently, there are several major testing methods for scale inhibitor detection down to part per million (ppm) levels, including 1. Inductively coupled plasma (ICP) and wet chemistry method for phosphorous containing inhibitors; 2. Hyamine turbidity method; 3.High performance liquid chro
APA, Harvard, Vancouver, ISO, and other styles
7

Coquand, Thierry, Simon Huber, and Anders Mörtberg. "On Higher Inductive Types in Cubical Type Theory." In LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, 2018. http://dx.doi.org/10.1145/3209108.3209197.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Awodey, Steve, Jonas Frey, and Sam Speight. "Impredicative Encodings of (Higher) Inductive Types." In LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, 2018. http://dx.doi.org/10.1145/3209108.3209130.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

van der Weide, Niels. "Constructing Higher Inductive Types as Groupoid Quotients." In LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, 2020. http://dx.doi.org/10.1145/3373718.3394803.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Sojakova, Kristina. "Higher Inductive Types as Homotopy-Initial Algebras." In POPL '15: The 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, 2015. http://dx.doi.org/10.1145/2676726.2676983.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Higher inductive types"

1

Chea, Phal, Seyhakunthy Hun, and Sopheak Song. Permeability in Cambodian Post-secondary Education and Training: A Growing Convergence. Cambodia Development Resource Institute, 2021. https://doi.org/10.64202/wp.130.202109.

Full text
Abstract:
The distinction between vocational training and academic education can be traced back to different institutional structures in medieval Europe. However, owing to an increasing need for higher-level skills to respond to market demand, countries have resolved to establish flexible pathways for students on both tracks or systems to move or transfer across to each other. Permeability in education and training refers to the possibility for learners to transfer between different types of education and between different levels of qualifications. In its recommendations, UNESCO highlights the important
APA, Harvard, Vancouver, ISO, and other styles
2

Paradis, S., S. E. Jackson, D. Petts, G. J. Simandl, R. J. D'Souza, and T S Hamilton. Distribution of trace elements in pyrite from carbonate-hosted sulfide deposits of southern British Columbia. Natural Resources Canada/CMSS/Information Management, 2022. http://dx.doi.org/10.4095/328002.

Full text
Abstract:
This paper combines petrography with in situ laser-ablation inductively coupled plasma mass spectrometry to document trace-element variations in pyrite (Py) from Mississippi Valley-type (MVT) and fracture-controlled replacement (FCR) deposits in the Kootenay Arc, British Columbia. Three generations of pyrite are Py 1, Py 2, and Py 3. Pyrite 1, the earliest (occurring in MVT deposits only), has higher Ag, Ba, Cu, Ge, Pb, Sb, Sr, Tl, and V than adjacent Py 3. It has higher Ag, Au, Ba, Cu, Ge, Pb, and Tl than Py 2. Pyrite 2 occurs in MVT and FCR deposits. Relative to FCR Py 2, MVT Py 2 is enriche
APA, Harvard, Vancouver, ISO, and other styles
3

Coplin, David, Isaac Barash, and Shulamit Manulis. Role of Proteins Secreted by the Hrp-Pathways of Erwinia stewartii and E. herbicola pv. gypsophilae in Eliciting Water-Soaking Symptoms and Initiating Galls. United States Department of Agriculture, 2001. http://dx.doi.org/10.32747/2001.7580675.bard.

Full text
Abstract:
Many bacterial pathogens of plants can inject pathogenicity proteins into host cells using a specialized type III secretion system encoded by hrpgenes. This system deliver effector proteins, into plant cells that function in both susceptible and resistant interactions. We have found that the virulence of Erwinia stewartii(Es; syn. Pantoea stewartii) and Erwinia herbicola pv. gypsophilae (Ehg, syn. Pantoea agglomerans), which cause Stewart's wilt of corn and galls on Gypsophila, respectively, depends on hrpgenes. The major objectives of this project were: To increase expression of hrpgenes in o
APA, Harvard, Vancouver, ISO, and other styles
4

Lers, Amnon, and Pamela J. Green. LX Senescence-Induced Ribonuclease in Tomato: Function and Regulation. United States Department of Agriculture, 2003. http://dx.doi.org/10.32747/2003.7586455.bard.

Full text
Abstract:
Natural leaf senescence, which occurs even when growth conditions are near optimal, has a negative influence on yield. Postharvest induced senescence contributes to the losses of quality in flowers, foliage, and vegetables. Strategies designed to control the senescence process in crop plants could therefore have great applied significance. However, the successful design of such strategies requires a better insight into the senescence machinery and control in higher plants. A main feature of senescence is the hydrolysis of macromolecules by hydrolases of various types such as ribonucleases (RNa
APA, Harvard, Vancouver, ISO, and other styles
5

Eshed, Yuval, and John Bowman. Harnessing Fine Scale Tuning of Endogenous Plant Regulatory Processes for Manipulation of Organ Growth. United States Department of Agriculture, 2005. http://dx.doi.org/10.32747/2005.7696519.bard.

Full text
Abstract:
Background and objectives: Manipulation of plant organ growth is one of the primary reasons for the success of mankind allowing increasing amounts of food for human and livestock consumption. In contrast with the successful selection for desirable growth characteristics using plant breeding, transgenic manipulations with single genes has met limited success. While breeding is based on accumulation of many small alterations of growth, usually arise from slight changes in expression patterns, transgenic manipulations are primarily based on drastic, non-specific up-regulation or knock down of gen
APA, Harvard, Vancouver, ISO, and other styles
6

Miller, Gad, and Jeffrey F. Harper. Pollen fertility and the role of ROS and Ca signaling in heat stress tolerance. United States Department of Agriculture, 2013. http://dx.doi.org/10.32747/2013.7598150.bard.

Full text
Abstract:
The long-term goal of this research is to understand how pollen cope with stress, and identify genes that can be manipulated in crop plants to improve reproductive success during heat stress. The specific aims were to: 1) Compare heat stress dependent changes in gene expression between wild type pollen, and mutants in which pollen are heat sensitive (cngc16) or heat tolerant (apx2-1). 2) Compare cngc16 and apx2 mutants for differences in heat-stress triggered changes in ROS, cNMP, and Ca²⁺ transients. 3) Expand a mutant screen for pollen with increased or decreased thermo-tolerance. These aims
APA, Harvard, Vancouver, ISO, and other styles
7

Manulis-Sasson, Shulamit, Christine D. Smart, Isaac Barash, Laura Chalupowicz, Guido Sessa, and Thomas J. Burr. Clavibacter michiganensis subsp. michiganensis-tomato interactions: expression and function of virulence factors, plant defense responses and pathogen movement. United States Department of Agriculture, 2015. http://dx.doi.org/10.32747/2015.7594405.bard.

Full text
Abstract:
Clavibactermichiganensissubsp. michiganensis(Cmm), the causal agent of bacterial wilt and canker of tomato, is the most destructive bacterial disease of tomato causing substantial economic losses in Israel, the U.S.A. and worldwide. The goal of the project was to unravel the molecular strategies that allow Cmm, a Gram-positive bacterium, to develop a successful infection in tomato. The genome of Cmm contains numerous genes encoding for extracellular serine proteases and cell wall degrading enzymes. The first objective was to elucidate the role of secreted serine proteases in Cmm virulence. Mut
APA, Harvard, Vancouver, ISO, and other styles
8

Yahav, Shlomo, John McMurtry, and Isaac Plavnik. Thermotolerance Acquisition in Broiler Chickens by Temperature Conditioning Early in Life. United States Department of Agriculture, 1998. http://dx.doi.org/10.32747/1998.7580676.bard.

Full text
Abstract:
The research on thermotolerance acquisition in broiler chickens by temperature conditioning early in life was focused on the following objectives: a. To determine the optimal timing and temperature for inducing the thermotolerance, conditioning processes and to define its duration during the first week of life in the broiler chick. b. To investigate the response of skeletal muscle tissue and the gastrointestinal tract to thermal conditioning. This objective was added during the research, to understand the mechanisms related to compensatory growth. c. To evaluate the effect of early thermo cond
APA, Harvard, Vancouver, ISO, and other styles
9

McElwain, Terry F., Eugene Pipano, Guy H. Palmer, Varda Shkap, Stephn A. Hines, and Wendy C. Brown. Protection of Cattle against Babesiosis: Immunization against Babesia bovis with an Optimized RAP-1/Apical Complex Construct. United States Department of Agriculture, 1999. http://dx.doi.org/10.32747/1999.7573063.bard.

Full text
Abstract:
Previous research and current efforts at control of babesiosis fall short of meeting the needs of countries where the disease is endemic, such as Israel, as well as the needs of exporting countries and countries bordering on endemic areas, such as the U.S. Our long-term goal is to develop improved methods of immunization against bovine babesiosis based on an understanding of the molecular mechanisms of immune protection and parasite targets of a protective immune response. In our previous BARD project, we established the basis for focusing on rhoptry antigens as components of a subunit vaccine
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Higher inductive types' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography