Bibliographies thématiques / Graded type theory

Sommaire

Articles de revues
Thèses
Livres
Chapitres de livres
Actes de conférences
Rapports d'organisations

Littérature scientifique sur le sujet « Graded type theory »

Auteur : Grafiati

Publié le 2 juin 2025

Mis à jour le 31 juillet 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Graded type theory ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Graded type theory"

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Thèses sur le sujet "Graded type theory"

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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, 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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

碩士 中國科技大學 建築研究所 97 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

Styles APA, Harvard, Vancouver, ISO, etc.

Livres sur le sujet "Graded type theory"

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

Texte intégral

Résumé :

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. 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

Styles APA, Harvard, Vancouver, ISO, etc.

Crichton, Michael. Timeline. Ballantine Books, 2000.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Crichton, Michael. Timeline. Ballantine Books, 2000.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Chapitres de livres sur le sujet "Graded type theory"

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

"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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Graded type theory"

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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,

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Graded type theory"

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.

Texte intégral

Résumé :

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;lt;1.3 weight per cent FeO) with small sphalerite inclusions. Sphalerite-hosted fluid inclu

Styles APA, Harvard, Vancouver, ISO, etc.

Холошин, Ігор Віталійович, Наталя Борисівна Пантелєєва, Олександр Миколайович Трунін, Людмила Володимирівна Бурман, 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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!