Journal articles on the topic 'Graded type theory'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research 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.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
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 textCalderó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 textGruber, 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 textHu, 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 textXue, 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 textSolberg, Ø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 textStone, 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 textHu, 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 textKarpenko, Nikita, та Alexander Merkurjev. "Equivariant connective 𝐾-theory". Journal of Algebraic Geometry 31, № 1 (2021): 181–204. http://dx.doi.org/10.1090/jag/773.
Full textRajani, 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 textKubota, Yosuke. "Notes on twisted equivariant K-theory for C*-algebras." International Journal of Mathematics 27, no. 06 (2016): 1650058. http://dx.doi.org/10.1142/s0129167x16500580.
Full textMattarei, Sandro, and Simone Ugolini. "Graded Lie algebras of maximal class of type n." Journal of Algebra 593 (March 2022): 142–77. http://dx.doi.org/10.1016/j.jalgebra.2021.11.012.
Full textIusa, Valentina, Sandro Mattarei, and Claudio Scarbolo. "Graded Lie algebras of maximal class of type p." Journal of Algebra 588 (December 2021): 77–117. http://dx.doi.org/10.1016/j.jalgebra.2021.08.013.
Full textWu, Jiang, and Song Xiang. "A Trigonometric Shear Deformation Theory for Free Vibration Analysis of Functionally Graded Plates." Applied Mechanics and Materials 680 (October 2014): 284–87. http://dx.doi.org/10.4028/www.scientific.net/amm.680.284.
Full textHolmes, Randall R., and Daniel K. Nakano. "Brauer-type reciprocity for a class of graded associative algebras." Journal of Algebra 144, no. 1 (1991): 117–26. http://dx.doi.org/10.1016/0021-8693(91)90132-r.
Full textHaefner, Jeremy. "Reduction Techniques for Strongly Graded Rings and Finite Representation Type." Journal of Algebra 194, no. 2 (1997): 567–93. http://dx.doi.org/10.1006/jabr.1997.7031.
Full textKüronya, Alex, and Alexandre Wolfe. "A Briançon–Skoda type theorem for graded systems of ideals." Journal of Algebra 307, no. 2 (2007): 795–803. http://dx.doi.org/10.1016/j.jalgebra.2006.09.020.
Full textBarbasch, Dan, and Dan Ciubotaru. "Whittaker unitary dual of affine graded Hecke algebras of type E." Compositio Mathematica 145, no. 6 (2009): 1563–616. http://dx.doi.org/10.1112/s0010437x09004230.
Full textMitsuhashi, Hideo. "Z2-graded Clifford system in the Hecke algebra of type Bn." Journal of Algebra 264, no. 1 (2003): 231–50. http://dx.doi.org/10.1016/s0021-8693(03)00104-2.
Full textShu, Bin. "The Generalized Restricted Representations of Graded Lie Algebras of Cartan Type." Journal of Algebra 194, no. 1 (1997): 157–77. http://dx.doi.org/10.1006/jabr.1996.7021.
Full textSHU, BIN, and YU-FENG YAO. "ON CARTAN INVARIANTS FOR GRADED LIE ALGEBRAS OF CARTAN TYPE." Journal of Algebra and Its Applications 13, no. 03 (2013): 1350101. http://dx.doi.org/10.1142/s0219498813501016.
Full textLiu, Wende, and Jixia Yuan. "Automorphism groups of modular graded Lie superalgebras of Cartan-type." Journal of Algebra and Its Applications 16, no. 03 (2017): 1750050. http://dx.doi.org/10.1142/s0219498817500505.
Full textTon-That, Lan Hoang. "Behavior of Functionally Graded Porous Plate in Bending with Smoothed Element." Journal of Mechanical Engineering 27, no. 4 (2024): 51–58. https://doi.org/10.15407/pmach2024.04.051.
Full textRamya, Rashmi Rout, Ranjan Dash Rati, and Kumari Padhy Mamata. "Free Vibration Analysis Of Functionally Graded Nanobeams Using Doublet Mechanics Theory." Research and Development in Machine Design 5, no. 2 (2022): 1–15. https://doi.org/10.5281/zenodo.6956869.
Full textXu, Guang-Hui, Huai-Wei Huang, and Yong-Qiang Zhang. "Vibration of Elastic Functionally Graded Thick Rings." Shock and Vibration 2017 (2017): 1–7. http://dx.doi.org/10.1155/2017/1803710.
Full textLee, Dae-Woong, Sunyoung Lee, Yeonjeong Kim, and Jeong-Eun Lim. "On automorphisms of graded quasi-lie algebras." Filomat 34, no. 9 (2020): 3141–50. http://dx.doi.org/10.2298/fil2009141l.
Full textTON THAT, Lan Hoang. "FUNCTIONALLY GRADED POROUS MATERIAL FOR PLATES WITH COMPLEX CUTOUTS AND FINITE ELEMENT MODELING FOR FREE VIBRATION BEHAVIOR." European Journal of Materials Science and Engineering 7, no. 3 (2022): 169–82. http://dx.doi.org/10.36868/ejmse.2022.07.03.169.
Full textPatil, D. P., and G. Tamone. "ON THE TYPE OF THE ASSOCIATED GRADED RING OF CERTAIN MONOMIAL CURVES." Communications in Algebra 30, no. 11 (2002): 5181–98. http://dx.doi.org/10.1081/agb-120015647.
Full textHolmes, R. R., and D. K. Nakano. "Block Degeneracy and Cartan Invariants for Graded Lie Algebras of Cartan Type." Journal of Algebra 161, no. 1 (1993): 155–70. http://dx.doi.org/10.1006/jabr.1993.1210.
Full textBOUSAHLA, ABDELMOUMEN ANIS, MOHAMMED SID AHMED HOUARI, ABDELOUAHED TOUNSI, and EL ABBAS ADDA BEDIA. "A NOVEL HIGHER ORDER SHEAR AND NORMAL DEFORMATION THEORY BASED ON NEUTRAL SURFACE POSITION FOR BENDING ANALYSIS OF ADVANCED COMPOSITE PLATES." International Journal of Computational Methods 11, no. 06 (2014): 1350082. http://dx.doi.org/10.1142/s0219876213500825.
Full textEbrahimi, Farzad, and Mohammad R. Barati. "Buckling analysis of nonlocal strain gradient axially functionally graded nanobeams resting on variable elastic medium." Proceedings of the Institution of Mechanical Engineers, Part C: Journal of Mechanical Engineering Science 232, no. 11 (2017): 2067–78. http://dx.doi.org/10.1177/0954406217713518.
Full textLIU, WENDE, and Q. I. WANG. "MAXIMAL SUBALGEBRAS FOR MODULAR GRADED LIE SUPERALGEBRAS OF ODD CARTAN TYPE." Transformation Groups 20, no. 4 (2015): 1075–106. http://dx.doi.org/10.1007/s00031-015-9329-6.
Full textFresse, Benoit. "The extended rational homotopy theory of operads." Georgian Mathematical Journal 25, no. 4 (2018): 493–512. http://dx.doi.org/10.1515/gmj-2018-0061.
Full textSreeju Nair S B, C. Pany. "Functionally Graded Panels: A Review." International Journal for Modern Trends in Science and Technology, no. 8 (August 5, 2020): 36–43. http://dx.doi.org/10.46501/ijmtst060808.
Full textMovahedfar, Vahid, Mohammad M. Kheirikhah, Younes Mohammadi, and Farzad Ebrahimi. "Modified strain gradient theory for nonlinear vibration analysis of functionally graded piezoelectric doubly curved microshells." Proceedings of the Institution of Mechanical Engineers, Part C: Journal of Mechanical Engineering Science 236, no. 8 (2021): 4219–31. http://dx.doi.org/10.1177/09544062211045886.
Full textContreras, Ivan, and Nicolás Martínez Alba. "Poly-symplectic geometry and the AKSZ formalism." Reviews in Mathematical Physics 33, no. 09 (2021): 2150030. http://dx.doi.org/10.1142/s0129055x21500306.
Full textVaš, Lia. "Graded irreducible representations of Leavitt path algebras: A new type and complete classification." Journal of Pure and Applied Algebra 227, no. 3 (2023): 107213. http://dx.doi.org/10.1016/j.jpaa.2022.107213.
Full textYahya, Faridah Hanim, Aszunarni Ayob, Mohd Ridhuan Mohd Jamil, Abdussakir Abdussakir, and Nurul Ain Mohd Daud. "Psychometric evaluation of the UTAUT scale using the graded response model." International Journal of ADVANCED AND APPLIED SCIENCES 12, no. 4 (2025): 152–63. https://doi.org/10.21833/ijaas.2025.04.017.
Full textYatsui, Tomoaki. "On conformal pseudo-subriemannian fundamental graded Lie algebras of semisimple type." Differential Geometry and its Applications 60 (October 2018): 116–31. http://dx.doi.org/10.1016/j.difgeo.2018.06.001.
Full textMachida, Yoshinori, and Hajime Sato. "Twistor theory of manifolds with Grassmannian structures." Nagoya Mathematical Journal 160 (2000): 17–102. http://dx.doi.org/10.1017/s0027763000007698.
Full textHirano, Yuki. "Derived Knörrer periodicity and Orlov’s theorem for gauged Landau–Ginzburg models." Compositio Mathematica 153, no. 5 (2017): 973–1007. http://dx.doi.org/10.1112/s0010437x16008344.
Full textKhalili, Seyyed Mohammad Reza, K. Malekzadeh, and A. Davar. "Dynamic Response of Functionally Graded Circular Cylindrical Shells." Advanced Materials Research 47-50 (June 2008): 608–11. http://dx.doi.org/10.4028/www.scientific.net/amr.47-50.608.
Full textSari, Ma’en S., Mohammad Al-Rbai, and Bashar R. Qawasmeh. "Free vibration characteristics of functionally graded Mindlin nanoplates resting on variable elastic foundations using the nonlocal elasticity theory." Advances in Mechanical Engineering 10, no. 12 (2018): 168781401881345. http://dx.doi.org/10.1177/1687814018813458.
Full textCombariza, German, Juan Rodriguez, and Mario Velasquez. "Induced character in equivariant K-theory, wreath products and pullback of groups." Revista Colombiana de Matemáticas 56, no. 1 (2022): 35–61. http://dx.doi.org/10.15446/recolma.v56n1.105613.
Full textMerdaci, Slimane, Hadj Mostefa Adda, Belghoul Hakima, Rossana Dimitri, and Francesco Tornabene. "Higher-Order Free Vibration Analysis of Porous Functionally Graded Plates." Journal of Composites Science 5, no. 11 (2021): 305. http://dx.doi.org/10.3390/jcs5110305.
Full textDai, Shouxin, and Marc Levine. "Connective Algebraic K-theory." Journal of K-Theory 13, no. 1 (2014): 9–56. http://dx.doi.org/10.1017/is013012007jkt249.
Full textBaferani, A. Hasani, A. R. Saidi, and E. Jomehzadeh. "An exact solution for free vibration of thin functionally graded rectangular plates." Proceedings of the Institution of Mechanical Engineers, Part C: Journal of Mechanical Engineering Science 225, no. 3 (2010): 526–36. http://dx.doi.org/10.1243/09544062jmes2171.
Full textShabanskaya, A. "Solvable extensions of the naturally graded quasi-filiform Leibniz algebra of second type L4." Communications in Algebra 48, no. 2 (2019): 490–507. http://dx.doi.org/10.1080/00927872.2019.1648652.
Full textChiu, Sen. "Central extensions and H1(L, L∗) of the graded lie algebras of cartan type." Journal of Algebra 149, no. 1 (1992): 46–67. http://dx.doi.org/10.1016/0021-8693(92)90004-6.
Full textNeher, Erhard, and Maribel Tocón. "Lie tori of type B2 and graded-simple Jordan structures covered by a triangle." Journal of Algebra 344, no. 1 (2011): 78–113. http://dx.doi.org/10.1016/j.jalgebra.2011.07.008.
Full text