Relevant bibliographies by topics / Graded type theory

Contents

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

Academic literature on the topic 'Graded type theory'

Author: Grafiati
Published: 2 June 2025
Last updated: 31 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 'Graded type theory.'

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 "Graded type theory"

1

Abel, Andreas, Nils Anders Danielsson, and Oskar Eriksson. "A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized." Proceedings of the ACM on Programming Languages 7, ICFP (2023): 920–54. http://dx.doi.org/10.1145/3607862.

Full text
Abstract:
We present a graded modal type theory, a dependent type theory with grades that can be used to enforce various properties of the code. The theory has Π-types, weak and strong Σ-types, natural numbers, an empty type, and a universe, and we also extend the theory with a unit type and graded Σ-types. The theory is parameterized by a modality, a kind of partially ordered semiring, whose elements (grades) are used to track the usage of variables in terms and types. Different modalities are possible. We focus mainly on quantitative properties, in particular erasure: with the erasure modality one can
APA, Harvard, Vancouver, ISO, and other styles
2

Calderón Martín, Antonio J. "Graded extended Lie-type algebras." Communications in Algebra 45, no. 2 (2016): 866–77. http://dx.doi.org/10.1080/00927872.2016.1175611.

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

Gruber, Helmut. "Rhetorical Structure Theory and quality assessment of students’ texts." Information Design Journal 14, no. 2 (2006): 114–29. http://dx.doi.org/10.1075/idj.14.2.04gru.

Full text
Abstract:
In this paper, I argue that the analysis of coherence structures of university students’ texts may contribute to text improvement. Furthermore, my results suggest a relationship between various coherence phenomena and the grades students earn for their papers. Based on the analysis of Austrian university students’ texts from three different business and economy-related study programs and interviews with instructors, I demonstrate that due to the often superficial grading practice of instructors, ‘disrupted text spans’ frequently remain unnoticed although they impair text quality. Regarding the
APA, Harvard, Vancouver, ISO, and other styles
4

Hu, Naihong. "Irreducible constituents of graded modules for graded contact lie algebras of cartan type." Communications in Algebra 22, no. 14 (1994): 5951–71. http://dx.doi.org/10.1080/00927879408825171.

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

Xue, Zhan-ao, Min-jie Lv, Dan-jie Han, and Xian-wei Xin. "Multi-Granulation Graded Rough Intuitionistic Fuzzy Sets Models Based on Dominance Relation." Symmetry 10, no. 10 (2018): 446. http://dx.doi.org/10.3390/sym10100446.

Full text
Abstract:
From the perspective of the degrees of classification error, we proposed graded rough intuitionistic fuzzy sets as the extension of classic rough intuitionistic fuzzy sets. Firstly, combining dominance relation of graded rough sets with dominance relation in intuitionistic fuzzy ordered information systems, we designed type-I dominance relation and type-II dominance relation. Type-I dominance relation reduces the errors caused by single theory and improves the precision of ordering. Type-II dominance relation decreases the limitation of ordering by single theory. After that, we proposed graded
APA, Harvard, Vancouver, ISO, and other styles
6

Solberg, Øyvind. "A graded ring of finite cohen-macaulay type." Communications in Algebra 16, no. 10 (1988): 2121–24. http://dx.doi.org/10.1080/00927878808823681.

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

Stone, Branden. "Super-stretched and graded countable Cohen–Macaulay type." Journal of Algebra 398 (January 2014): 1–20. http://dx.doi.org/10.1016/j.jalgebra.2013.09.017.

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

Hu, Jun, Andrew Mathas та Salim Rostam. "Skew cellularity of the Hecke algebras of type 𝐺(ℓ,𝑝,𝑛)". Representation Theory of the American Mathematical Society 27, № 15 (2023): 508–73. http://dx.doi.org/10.1090/ert/646.

Full text
Abstract:
This paper introduces (graded) skew cellular algebras, which generalise Graham and Lehrer’s cellular algebras. We show that all of the main results from the theory of cellular algebras extend to skew cellular algebras and we develop a “cellular algebra Clifford theory” for the skew cellular algebras that arise as fixed point subalgebras of cellular algebras. As an application of this general theory, the main result of this paper proves that the Hecke algebras of type G ( ℓ , p , n ) G(\ell ,p,n) are graded skew cellular algebras. In the special case when p = 2 p = 2 this implies that the Hecke
APA, Harvard, Vancouver, ISO, and other styles
9

Karpenko, Nikita, та Alexander Merkurjev. "Equivariant connective 𝐾-theory". Journal of Algebraic Geometry 31, № 1 (2021): 181–204. http://dx.doi.org/10.1090/jag/773.

Full text
Abstract:
For separated schemes of finite type over a field with an action of an affine group scheme of finite type, we construct the bi-graded equivariant connective K K -theory mapping to the equivariant K K -homology of Guillot and the equivariant algebraic K K -theory of Thomason. It has all the standard basic properties as the homotopy invariance and localization. We also get the equivariant version of the Brown-Gersten-Quillen spectral sequence and study its convergence.
APA, Harvard, Vancouver, ISO, and other styles
10

Rajani, Vineet, Gilles Barthe, and Deepak Garg. "A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs." Proceedings of the ACM on Programming Languages 8, OOPSLA2 (2024): 389–414. http://dx.doi.org/10.1145/3689725.

Full text
Abstract:
The design of online learning algorithms typically aims to optimise the incurred loss or cost , e.g., the number of classification mistakes made by the algorithm. The goal of this paper is to build a type-theoretic framework to prove that a certain algorithm achieves its stated bound on the cost. Online learning algorithms often rely on randomness, their loss functions are often defined as expectations, precise bounds are often non-polynomial (e.g., logarithmic) and proofs of optimality often rely on potential-based arguments. Accordingly, we present pλ-amor, a type-theoretic graded modal fram
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Graded type theory"

1

Feyt, Grégoire. "Travaux méthodologiques pour l'analyse de la structure spatiotemporelle d'un phénomène climatique : application à l'étude des variations pluviométriques en Europe occidentale durant le siècle écoulé." Université Joseph Fourier (Grenoble), 1987. http://www.theses.fr/1987GRE19042.

Full text
Abstract:
Destine a l'etude de parametres climatiques fluctuant de facon irreguliere dans le temps mais suivant une structure supposee stable dans l'espace, le modele statistique presente ici vise a exprimer la partie organisee de ces variations a partir d'un nombre reduit de composantes significatives, chacune d'elles etant definie par une chronique statistiquement independante de toutes les autres et une aire d'influence caracterisable du point de vue climatique. Les estimateurs du modele sont obtenus a partir des valeurs et vecteurs propres de la matrice de covariance associee en operant une transfor
APA, Harvard, Vancouver, ISO, and other styles
2

Chen, Carla Chia-Ming. "Bayesian methodology for genetics of complex diseases." Thesis, Queensland University of Technology, 2010. https://eprints.qut.edu.au/43357/1/Carla_Chen_Thesis.pdf.

Full text
Abstract:
Genetic research of complex diseases is a challenging, but exciting, area of research. The early development of the research was limited, however, until the completion of the Human Genome and HapMap projects, along with the reduction in the cost of genotyping, which paves the way for understanding the genetic composition of complex diseases. In this thesis, we focus on the statistical methods for two aspects of genetic research: phenotype definition for diseases with complex etiology and methods for identifying potentially associated Single Nucleotide Polymorphisms (SNPs) and SNP-SNP interacti
APA, Harvard, Vancouver, ISO, and other styles
3

Chen, Huyuan. "Fully linear elliptic equations and semilinear fractionnal elliptic equations." Thesis, Tours, 2014. http://www.theses.fr/2014TOUR4001/document.

Full text
Abstract:
Cette thèse est divisée en six parties. La première partie est consacrée à l'étude de propriétés de Hadamard et à l'obtention de théorèmes de Liouville pour des solutions de viscosité d'équations aux dérivées partielles elliptiques complètement non-linéaires avec des termes de gradient,<br>This thesis is divided into six parts. The first part is devoted to prove Hadamard properties and Liouville type theorems for viscosity solutions of fully nonlinear elliptic partial differential equations with gradient term
APA, Harvard, Vancouver, ISO, and other styles
4

Tseng, Yi-Tan, and 曾義探. "The Research of Railway Evaluation for Grade-Separated Type by Fuzzy Theory—A Case Study of Taichung City." Thesis, 2009. http://ndltd.ncl.edu.tw/handle/81269781226290580411.

Full text
Abstract:
碩士<br>中國科技大學<br>建築研究所<br>97<br>The 1st phase of underground railway project of Taipei City had brought about tremendous improvements on the traffic, urban landscape, and the total development capacity of the city. As a result, the conclusion of evaluation on each railway redevelopment project of various metropolitan areas was in favor of underground type, instead of overpass type. Nevertheless, despite of being a controversial issue, overpass railway was adopted for Taichung, Chiayi, and Pingtong due to the financial issue. There are advantages and disadvantages for both underground railway an
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Graded type theory"

1

Beloshistaya, Anna. Learning to solve math problems in the 4th grade. INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1537873.

Full text
Abstract:
The textbook considers the methodology of working on problems in the 4th grade when teaching mathematics according to any textbook included in the Federal Educational Package. It contains a detailed methodological analysis of all types of problems that are found in various textbooks of mathematics for the 4th grade, as well as specific fragments of situations of working with problems in the classroom.&#x0D; It will be useful for teachers of mathematics methodology in universities and pedagogical schools, as well as students of pedagogical specialties, as well as practical teachers working in s
APA, Harvard, Vancouver, ISO, and other styles
2

Crichton, Michael. Timeline. Ballantine Books, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Crichton, Michael. Prisonniers du temps. Laffont, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Crichton, Michael. Rescate en el tiempo: (1999-1357). Plaza & Janés Editores, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Crichton, Michael. Prisonniers du temps. Éd. France loisirs, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Crichton, Michael. Shi jian xian. Huang guan wen hua chu ban, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Crichton, Michael. Timeline. Alfred A. Knopf, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Crichton, Michael. Timeline. Random House Publishing Group, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Crichton, Michael. Timeline. Ballantine Books, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Crichton, Michael. Timeline: Eine Reise in die Mitte der Zeit : Roman. 2nd ed. Karl Blessing, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Graded type theory"

1

Moon, Benjamin, Harley Eades III, and Dominic Orchard. "Graded Modal Dependent Type Theory." In Programming Languages and Systems. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72019-3_17.

Full text
Abstract:
AbstractGraded type theories are an emerging paradigm for augmenting the reasoning power of types with parameterizable, fine-grained analyses of program properties. There have been many such theories in recent years which equip a type theory with quantitative dataflow tracking, usually via a semiring-like structure which provides analysis on variables (often called ‘quantitative’ or ‘coeffect’ theories). We present Graded Modal Dependent Type Theory (Grtt for short), which equips a dependent type theory with a general, parameterizable analysis of the flow of data, both in and between computati
APA, Harvard, Vancouver, ISO, and other styles
2

Menini, C. "Gabriel - Popescu Type Theorems and Graded Modules." In Perspectives in Ring Theory. Springer Netherlands, 1988. http://dx.doi.org/10.1007/978-94-009-2985-2_21.

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

Wieser, Eric, and Jujian Zhang. "Graded Rings in Lean’s Dependent Type Theory." In Lecture Notes in Computer Science. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-16681-5_8.

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

Hughes, Jack, and Dominic Orchard. "Resourceful Program Synthesis from Graded Linear Types." In Logic-Based Program Synthesis and Transformation. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-68446-4_8.

Full text
Abstract:
AbstractLinear types provide a way to constrain programs by specifying that some values must be used exactly once. Recent work on graded modal types augments and refines this notion, enabling fine-grained, quantitative specification of data use in programs. The information provided by graded modal types appears to be useful for type-directed program synthesis, where these additional constraints can be used to prune the search space of candidate programs. We explore one of the major implementation challenges of a synthesis algorithm in this setting: how does the synthesis algorithm efficiently
APA, Harvard, Vancouver, ISO, and other styles
5

Murase, Yuito, Yuichi Nishiwaki, and Atsushi Igarashi. "Contextual Modal Type Theory with Polymorphic Contexts." In Programming Languages and Systems. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30044-8_11.

Full text
Abstract:
AbstractModal types—types that are derived from proof systems of modal logic—have been studied as theoretical foundations of metaprogramming, where program code is manipulated as first-class values. In modal type systems, modality corresponds to a type constructor for code types and controls free variables and their types in code values. Nanevski et al. have proposed contextual modal type theory, which has modal types with fine-grained information on free variables: modal types are explicitly indexed by contexts—the types of all free variables in code values.This paper presents $$\lambda _{\fo
APA, Harvard, Vancouver, ISO, and other styles
6

Li, Huishi. "Computation of Minimal Finite Graded Free Resolutions." In Noncommutative Polynomial Algebras of Solvable Type and Their Modules. Chapman and Hall/CRC, 2021. http://dx.doi.org/10.1201/9781003213192-4.

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

Li, Junman, Yaan Hu, Xin Wang, Mingjun Diao, and Mingjun Diao. "Study on the Operation Safety Evaluation System of Ship Lock Combined with Variation Coefficient Method and Matter-Element Extension Method." In Lecture Notes in Civil Engineering. Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-19-6138-0_57.

Full text
Abstract:
AbstractShip lock is the most widely used, the most promising and the most important type of navigation structure in the world at present. It is extremely necessary to evaluate the operation safety of ship lock in service, which has great social and economic benefits. The construction of safety evaluation system is the key step of safety evaluation of ship lock operation. Based on this, this paper systematically studies the evaluation system of ship lock operation safety, including indicator system, weighting method and evaluation model. The main work and conclusions are as follows: Firstly, a
APA, Harvard, Vancouver, ISO, and other styles
8

Gehrke, Mai, Tomáš Jakl, and Luca Reggio. "A Duality Theoretic View on Limits of Finite Structures." In Lecture Notes in Computer Science. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45231-5_16.

Full text
Abstract:
AbstractA systematic theory of structural limits for finite models has been developed by Nešetřil and Ossona de Mendez. It is based on the insight that the collection of finite structures can be embedded, via a map they call the Stone pairing, in a space of measures, where the desired limits can be computed. We show that a closely related but finer grained space of measures arises — via Stone-Priestley duality and the notion of types from model theory — by enriching the expressive power of first-order logic with certain “probabilistic operators”. We provide a sound and complete calculus for th
APA, Harvard, Vancouver, ISO, and other styles
9

Li, Nianyu, Mingyue Zhang, Eunsuk Kang, and David Garlan. "Engineering Secure Self-Adaptive Systems with Bayesian Games." In Fundamental Approaches to Software Engineering. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71500-7_7.

Full text
Abstract:
AbstractSecurity attacks present unique challenges to self-adaptive system design due to the adversarial nature of the environment. Game theory approaches have been explored in security to model malicious behaviors and design reliable defense for the system in a mathematically grounded manner. However, modeling the system as a single player, as done in prior works, is insufficient for the system under partial compromise and for the design of fine-grained defensive strategies where the rest of the system with autonomy can cooperate to mitigate the impact of attacks. To deal with such issues, we
APA, Harvard, Vancouver, ISO, and other styles
10

"Depth of a connected graded Lie algebra of finite type." In Rational Homotopy Theory II. WORLD SCIENTIFIC, 2015. http://dx.doi.org/10.1142/9789814651448_0011.

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

Conference papers on the topic "Graded type theory"

1

Weltschev, Margit, and Frederike Deuerler. "Comparison of the Resistance to Oxidative Degradation of Polyethylene Grades with the Test Performance Behavior of Packagings for the Transport of Dangerous Goods." In CORROSION 2010. NACE International, 2010. https://doi.org/10.5006/c2010-10044.

Full text
Abstract:
Abstract Resistance to oxidative degradation by nitric acid is one of the properties selected, together with the corresponding test method and tolerances, for the comparison of polyethylene grades of one design type in a European standard on suitability proof for alternative plastic resins used for packagings and intermediate bulk containers (IBCs) for the transport of dangerous goods. Comparison of resistance to oxidative degradation of polyethylene grades and comparison of the times to failure in stacking tests with 55 % (70 %) nitric acid at 40 °C and of the marginal drop heights determined
APA, Harvard, Vancouver, ISO, and other styles
2

Rogne, Trond, and Marit Bjordal. "Testing of Welded 13% Cr Grades Martensitic Stainless Steels for Sour Service Applications." In CORROSION 1997. NACE International, 1997. https://doi.org/10.5006/c1997-97062.

Full text
Abstract:
Abstract The application of 13% Cr grade stainless steels is increasing mainly due to the introduction of higher alloyed and weldable grades with carbon content as low as 0.01 %, and the very favourable costs compared to alternative materials as the 22Cr duplex stainless steel. Therefore these steels now have been subject to a major evaluation for transport of oil and gas offshore in the North Sea. This paper discusses aspects of testing required to assess their corrosion properties and their susceptibility to environment assisted cracking (EAC), caused by both H2S internally and cathodic prot
APA, Harvard, Vancouver, ISO, and other styles
3

Brett, S. J. "Estimates for the Onset of Type IV Cracking in Grade 91 Power Plant Components." In AM-EPRI 2010, edited by D. Gandy, J. Shingledecker, and R. Viswanathan. ASM International, 2010. http://dx.doi.org/10.31399/asm.cp.am-epri-2010p0752.

Full text
Abstract:
Abstract Grade 91 steel, while increasingly popular in high-temperature power plants for both retrofit and new construction applications, faces significant challenges with Type IV cracking at the outer parent side edge of the weld heat affected zone. This structural integrity issue has led to extensive weld inspection requirements and, in severe cases, the premature replacement of grade 91 retrofit headers before their intended design life. This paper presents a method for estimating Type IV cracking timelines in operating grade 91 components by analyzing crossweld Type IV data to determine wh
APA, Harvard, Vancouver, ISO, and other styles
4

Yaguchi, Masatsugu, Tomoaki Hamaguchi, Masao Yuga, Kyohei Nomura, and Nobuyoshi Komai. "Estimation of Creep Strength of ASME Grade 91 Type Steel in Actual Service Conditions." In AM-EPRI 2024. ASM International, 2024. http://dx.doi.org/10.31399/asm.cp.am-epri-2024p1228.

Full text
Abstract:
Abstract The creep strength of the base metals and welded joints of ASME Grade 91 type steel under actual service conditions was investigated using long-term used materials in this study. Creep tests were conducted on the materials used for hot reheat or main steam piping at power plants. The remaining creep life of each material under actual service conditions was evaluated using the Larson-Miller parameter for the test result. Then, the creep life of each material under the service condition was estimated as a summation of the service time at the plants and the remaining creep life. The esti
APA, Harvard, Vancouver, ISO, and other styles
5

Fairfull, Cynthia L., and Dwight G. Weldon. "Salt Contaminated Abrasives and Their Effect on Coating Performance." In SSPC 2001. SSPC, 2001. https://doi.org/10.5006/s2001-00010.

Full text
Abstract:
Abstract Eleven different abrasives of various generic types were characterized chemically and physically. The abrasives were then used to blast clean mill scale bearing commercial grade carbon steel panels, the surfaces of which were characterized for soluble salt contamination. Finally, the blast-cleaned panels were coated with eight different generic coating types and evaluated for blistering in a humidity cabinet.
APA, Harvard, Vancouver, ISO, and other styles
6

Ngomo, Valery, Olav Tangen, François Grosjean, and Xavier Courtial. "Substitution of Carbon Steels for ASME SA-533 Type E for Lightweight Equipment." In CORROSION 2019. NACE International, 2019. https://doi.org/10.5006/c2019-12919.

Full text
Abstract:
Abstract The use of MnMo(Ni) alloys ASME SA-533 type B or type C in lieu of carbon manganese steels (SA-516 Grade 65 or Grade 70) started about 30 years ago to produce lightweight pressure vessels. But the development of these low alloy steels for the fabrication of equipment for wet H2S service (“sour service”) remains limited due to their weldability considered as challenging. This paper aims at introducing newly developed material ASME SA-533 type E class 2, and provides results obtained in base metal and welded joints, especially with respect to NACE standard MR0175 / ISO 15156-2. Finally,
APA, Harvard, Vancouver, ISO, and other styles
7

Mayr, P., and H. Cerjak. "The Heat Affected Zone of Boron Alloyed Creep Resistant 9% Chromium Steels and their Susceptibility to Type IV Cracking." In AM-EPRI 2007, edited by R. Viswanathan, D. Gandy, and K. Coleman. ASM International, 2007. https://doi.org/10.31399/asm.cp.am-epri-2007p0914.

Full text
Abstract:
Abstract In thermal power plants, weldments of all currently used martensitic 9% chromium steels are prone to Type IV cracking in the fine-grained region of the heat-affected zone (HAZ). Japanese researchers have introduced a new martensitic steel for ultra-supercritical (USC) steam conditions that demonstrates resistance to Type IV cracking. This study compares a modified version of this boron-nitrogen balanced advanced 9Cr-3W-3Co steel with CB2, the most promising 9% Cr steel developed through the European research initiative COST, in terms of weldability. The HAZ was analyzed using the "Hea
APA, Harvard, Vancouver, ISO, and other styles
8

Siegmund, G., W. Bruckhoff, G. Schmitt, and B. Sadlowsky. "SOHIC Testing Methods and Their Service Relevance." In CORROSION 1999. NACE International, 1999. https://doi.org/10.5006/c1999-99433.

Full text
Abstract:
Abstract In continuation of previous work environmental and materials related parameters were studied influencing the SOHIC susceptibility of linepipe steel. Steels according to API classification Grade 42 mainly differing in sulfur content and microstructure were tested with respect to the type and geometry of specimens (unnotched and notched 4-point bent and double beam specimens; compact and hollow tensile probes), type of media (NACE TM0177-96/Solution A; water-rich TEG pipeline fluid; low chloride water), hydrogen sulfide partial pressure (0.1 and 1.6 MPa), and exposure mode (submerged in
APA, Harvard, Vancouver, ISO, and other styles
9

Samusawa, I., and K. Shiotani. "Development of Carbon Steel for Pipe Resistant to Stress Corrosion Cracking in Fuel Grade Ethanol." In CORROSION 2016. NACE International, 2016. https://doi.org/10.5006/c2016-07173.

Full text
Abstract:
Abstract It is known that carbon steels display pitting corrosion and slip-dissolution type stress corrosion cracking (SCC) susceptibility in Fuel Grade Ethanol (FGE). Concerns about pitting and SCC of carbon steel in FGE are major issues for pipelines used in FGE transportation. Although earlier studies have revealed the environment factors for pitting corrosion and SCC in FGE, there is little understanding of the powerful influence of steel factors on pitting and SCC in FGE. In the current work, the susceptibility to pitting and SCC of two types of X52 grade carbon steel were investigated by
APA, Harvard, Vancouver, ISO, and other styles
10

Erhart, Tomáš. "The Theory of Genre Worlds in Case of Russian Popular Fiction." In Současná česká a srbská slavistická bádání. Masaryk University Press, 2025. https://doi.org/10.5817/cz.muni.p280-0684-2024-18.

Full text
Abstract:
In contemporary Russian literature, there is a specific type of genre literature about so-called “podadants”, which is the Russian word for heroes and heroines traveling to other worlds and other times. In addition to this basic motif, this is literature published in mass quantities, usually within special genre editions, which also uses elements of other fantastic genres. One of its branches, working with alternative history, often has a very nationalistic or revanchist subtext. Overall, the “podadants” genre is a complex literary and social phenomenon that cannot be grasped from just one sid
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Graded type theory"

1

Kontak, D. J., S. Paradis, Z. Waller, and M. Fayek. Petrographic, fluid inclusion, and secondary ion mass spectrometry stable isotopic (O, S) study of Mississippi Valley-type mineralization in British Columbia and Alberta. Natural Resources Canada/CMSS/Information Management, 2022. http://dx.doi.org/10.4095/327994.

Full text
Abstract:
A comprehensive study of Mississippi Valley-type base-metal deposits across the Canadian Cordillera was done to compare and contrast their features. Extensive dissolution of host rocks is followed by multiple generations of dolomite cements from early, low-temperature, fine-grained to coarser, higher temperature types that overlap with Zn-Pb sulfide minerals; late-stage calcite occludes residual porosity. Dolomite is generally chemically stoichiometric, but ore-stage types are often rich in Fe (&amp;amp;lt;1.3 weight per cent FeO) with small sphalerite inclusions. Sphalerite-hosted fluid inclu
APA, Harvard, Vancouver, ISO, and other styles
2

Холошин, Ігор Віталійович, Наталя Борисівна Пантелєєва, Олександр Миколайович Трунін, Людмила Володимирівна Бурман, and Ольга Олександрівна Калініченко. Infrared Spectroscopy as the Method for Evaluating Technological Properties of Minerals and Their Behavior in Technological Processes. E3S Web of Conferences, 2020. http://dx.doi.org/10.31812/123456789/3929.

Full text
Abstract:
Infrared spectroscopy (IR) is a highly effective method for the analysis of minerals, rocks and ores, capable of solving a whole range of problems when choosing innovative solutions for the technological processing of various types of mineral raw materials. The article considers the main directions of using the infrared spectroscopy method in assessing the technological properties of minerals and their behavior in technological processes: evaluation of the grade (quality) of mineral raw materials; analysis of the behavior of minerals in the technological process with prediction of their techno
APA, Harvard, Vancouver, ISO, and other styles
3

Tercek, Michael, and Michael Tercek. Climate summary?Grand Teton National Park: January 2024. National Park Service, 2024. http://dx.doi.org/10.36967/2305689.

Full text
Abstract:
Climate change has the potential to profoundly alter National Parks, affecting vegetation, wildlife, and cultural resources. In times of rapid change, proactive management is more effective than reactive measures, which simply respond to crises as they occur. Proactive management relies on understanding both past changes and expected future conditions. This resource brief examines historical climate patterns at Grand Teton National Park and compares them to projected conditions for the late 21st century. This type of information is the foundation for understanding potential impacts to nature a
APA, Harvard, Vancouver, ISO, and other styles
4

Martínez, Claudia, Taryn Dinkelman, Dario Romero, and Matías Busso. The Effects of Financial Aid and Returns Information in Selective and Less Selective Schools: Experimental Evidence from Chile. Inter-American Development Bank, 2016. http://dx.doi.org/10.18235/0011770.

Full text
Abstract:
Schools that provide higher education often belong to either a merit-based selective system or an open-access less selective system. This paper presents the results of a field experiment that provided Grade 12 students in Chile with tailored information about financial aid and average earnings and employment probabilities for schools and careers in both types of schools. No effect is found on the extensive margins of enrollment in the selective or in the less selective sector. Treated students change their intensive margin decisions: they choose careers and schools with lower expected wages an
APA, Harvard, Vancouver, ISO, and other styles
5

Jefferson, C. W., S. Pehrsson, V. Tschirhart, et al. Geology and metallogeny of the northeast Thelon Basin region, Nunavut, and comparison with the Athabasca Basin, Saskatchewan. Natural Resources Canada/CMSS/Information Management, 2024. http://dx.doi.org/10.4095/332499.

Full text
Abstract:
Based on extensive remapping of the northeast Thelon Basin region in Nunavut, uranium exploration criteria are adapted from those of the Athabasca Basin in Saskatchewan, as basin-specific paradigms. The Athabasca Basin straddles the Rae and Hearne cratons and the Taltson magmatic zone, whereas the Thelon Basin rests entirely within the Rae Craton. In the Athabasca Basin, four unconformity-bounded siliciclastic sequences with different paleocurrents record a complex depositional history, whereas the Thelon Formation is a single, albeit cyclic siliciclastic unit with uni-modal paleocurrents. Ben
APA, Harvard, Vancouver, ISO, and other styles
6

Xiong, Juan, Jianlin Wen, Songrui Zhang, Guangshu Pei, and Xu Han. Effect of immersive technology on K-12 and higher education students’ creativity: A systematic review and meta-analysis. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, 2022. http://dx.doi.org/10.37766/inplasy2022.1.0108.

Full text
Abstract:
Review question / Objective: (1) What are research findings on the relation between immersive technology and creativity in higher education? (2) Is immersive technology conductive to improving students’ creativity? (3) To what extent does immersive technology affect students’ creativity? (4) Are there significant differences in moderating variables such as type of intervention, subject, grade level, time, and team or individual? (5) What are future research directions regarding the educational use of immersive technology based on the reviewed literature? Condition being studied: Creativity is
APA, Harvard, Vancouver, ISO, and other styles
7

Panko, Mary. Undergraduate Research: A Source for Faculty Publications? Unitec ePress, 2014. http://dx.doi.org/10.34074/ocds.002.

Full text
Abstract:
Over the last two decades undergraduate students have been encouraged to problem solve in ‘the real world’ in order to construct their own subject knowledge. This generally means that students are required to carry out research in their disciplines, a process which inevitably leads to the production of quantities of data. Once their findings are reported back to faculty and have been graded, they are largely ignored, as they are ‘only’ the product of undergraduate research. However, since 2000 there has been a move to bring this type of work into the open through undergraduate research confere
APA, Harvard, Vancouver, ISO, and other styles
8

Panko, Mary. Undergraduate Research: A Source for Faculty Publications? Unitec ePress, 2014. http://dx.doi.org/10.34074/ocds.002.

Full text
Abstract:
Over the last two decades undergraduate students have been encouraged to problem solve in ‘the real world’ in order to construct their own subject knowledge. This generally means that students are required to carry out research in their disciplines, a process which inevitably leads to the production of quantities of data. Once their findings are reported back to faculty and have been graded, they are largely ignored, as they are ‘only’ the product of undergraduate research. However, since 2000 there has been a move to bring this type of work into the open through undergraduate research confere
APA, Harvard, Vancouver, ISO, and other styles
9

Panko, Mary. Undergraduate Research: A Source for Faculty Publications? Unitec ePress, 2014. http://dx.doi.org/10.34074/ocds.002.

Full text
Abstract:
Over the last two decades undergraduate students have been encouraged to problem solve in ‘the real world’ in order to construct their own subject knowledge. This generally means that students are required to carry out research in their disciplines, a process which inevitably leads to the production of quantities of data. Once their findings are reported back to faculty and have been graded, they are largely ignored, as they are ‘only’ the product of undergraduate research. However, since 2000 there has been a move to bring this type of work into the open through undergraduate research confere
APA, Harvard, Vancouver, ISO, and other styles
10

Boulin, Tiphaine, and Hannah Moody. Weight and breast cancer. Breast Cancer UK, 2025. https://doi.org/10.71450/37646284.

Full text
Abstract:
Excess weight can influence quality of life and impair health by leading to an increased risk of diseases such as type 2 diabetes, heart disease and certain cancers. With breast cancer, the risk association between excess weight is dependent on menopausal status for women; weight increases the risk of breast cancer in postmenopausal women but there is no evidence that being overweight when pre-menopausal is associated with an increased risk of breast cancer. Being overweight or obese is also a risk factor for breast cancer in men. Three main mechanisms have been proposed to explain the associa
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Graded type theory' for particular source types:
Journal articles Books
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