Добірка наукової літератури з теми "Types of classes"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Types of classes".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Types of classes"
Läufer, Konstantin. "Type classes with existential types." Journal of Functional Programming 6, no. 3 (May 1996): 485–518. http://dx.doi.org/10.1017/s0956796800001817.
Повний текст джерелаPEYTON JONES, SIMON. "6 Predefined Types and Classes." Journal of Functional Programming 13, no. 1 (January 2003): 81–96. http://dx.doi.org/10.1017/s0956796803000819.
Повний текст джерелаPrandy, Kenneth. "Ideal types, stereotypes and classes." British Journal of Sociology 53, no. 4 (December 2002): 583–601. http://dx.doi.org/10.1080/0007131022000021498.
Повний текст джерелаHyttinen, Tapani. "Types in Abstract Elementary Classes." Notre Dame Journal of Formal Logic 45, no. 2 (April 2004): 99–108. http://dx.doi.org/10.1305/ndjfl/1095386646.
Повний текст джерелаGan, Edward, Jesse A. Tov, and Greg Morrisett. "Type Classes for Lightweight Substructural Types." Electronic Proceedings in Theoretical Computer Science 176 (February 16, 2015): 34–48. http://dx.doi.org/10.4204/eptcs.176.4.
Повний текст джерелаCampion, Tim, and Jinhe Ye. "Homotopy types of abstract elementary classes." Journal of Pure and Applied Algebra 225, no. 5 (May 2021): 106461. http://dx.doi.org/10.1016/j.jpaa.2020.106461.
Повний текст джерелаIbrahim Hassan, Yousif Atyeib. "Types and Properties of Characteristic Classes." Annals of Pure and Applied Mathematics 14, no. 2 (September 15, 2017): 293–306. http://dx.doi.org/10.22457/apam.v14n2a12.
Повний текст джерелаJakubík, Ján. "On some types of radical classes." Czechoslovak Mathematical Journal 58, no. 3 (September 2008): 833–48. http://dx.doi.org/10.1007/s10587-008-0054-3.
Повний текст джерелаCortés-Rodriguez, Francisco J. "Revisiting Aktionsart types for lexical classes." Review of Cognitive Linguistics 14, no. 2 (December 23, 2016): 498–521. http://dx.doi.org/10.1075/rcl.14.2.09cor.
Повний текст джерелаBessai, Jan, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen, and Ugo de'Liguoro. "Typing Classes and Mixins with Intersection Types." Electronic Proceedings in Theoretical Computer Science 177 (March 17, 2015): 79–93. http://dx.doi.org/10.4204/eptcs.177.7.
Повний текст джерелаДисертації з теми "Types of classes"
He, Baozhang. "Situation types and aspectual classes of verbs in Mandarin Chinese /." The Ohio State University, 1992. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487779914827623.
Повний текст джерелаMassicotte, Frédéric. "Une théorie des types pour les classes de failles dans les cryptoprotocoles." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0015/MQ55868.pdf.
Повний текст джерелаSozeau, Matthieu. "Un environnement pour la programmation avec types dépendants." Paris 11, 2008. https://tel.archives-ouvertes.fr/tel-00640052.
Повний текст джерелаSystems based on dependent type theory are getting considerable attention for the verification of computer programs as well as a practical tool for developing formal mathematical proofs involving complex and expensive computations. These systems still require considerable expertise from the users to be used efficiently. We design high-level constructs permitting to use languages based on dependent type theory as easily as modern functional programming languages, without sacrificing the powerful constructs of the former. We study a new language allowing to build certified programs while writing only their algorithmical squeleton and their specification. Typing in this system gives rise to proof obligations that can be handled interactively a posteriori. We demonstrate the main metatheoretical results on this system, whose proofs are partially mechanized, and present its implementation in the Coq proof assistant. Then we describe an integration and extension of the type classes concept à la Haskell into Coq, providing a simple interpretation of the constructs linked with type classes into the underlying dependent type theory. We demonstrate the usefulness of these dependent type classes for specifications and proofs and present an economical yet powerful implementation of a generalized rewriting tactic based on them. We conclude by employing these contributions in the development of a certified library of a complex data structure called Finger Trees
Villeneuve, Paul. "Degré d'ajustement de deux types d'échelle d'attitude à différents modèles de classes latentes /." Thèse, Trois-Rivières : Université du Québec à Trois-Rivières, 1998. http://www.uqtr.ca/biblio/notice/resume/03-2190284R.html.
Повний текст джерелаLe résumé et la table des matières sont disponibles en format électronique sur le site Web de la bibliothèque. CaQTU Bibliographie : f. 74-79.
Villeneuve, Paul. "Degré d'ajustement de deux types d'échelle d'attitude à différents modèles de classes latentes." Thèse, Université du Québec à Trois-Rivières, 1998. http://depot-e.uqtr.ca/3794/1/000650444.pdf.
Повний текст джерелаMatthieu, Sozeau. "Un environnement pour la programmation avec types dépendants." Phd thesis, Université Paris Sud - Paris XI, 2008. http://tel.archives-ouvertes.fr/tel-00640052.
Повний текст джерелаDelgado, Diana. "Subsitution of stimulus functions as a means to distinguish among different types of functional classes /." abstract and full text PDF (free order & download UNR users only), 2005. http://0-wwwlib.umi.com.innopac.library.unr.edu/dissertations/fullcit/1430443.
Повний текст джерела"May, 2005." Includes bibliographical references (leaves 47-49). Online version available on the World Wide Web. Library also has microfilm. Ann Arbor, Mich. : ProQuest Information and Learning Company, [2005]. 1 microfilm reel ; 35 mm.
Maurinot, Franck. "Étude du lignage des cellules progénitrices rétiniennes chez le poulet : origine des classes et types neuronaux." Thesis, Sorbonne université, 2019. http://www.theses.fr/2019SORUS275.
Повний текст джерелаThe mechanisms regulating the generation of the different types of neurons of the vertebrate nervous system during development are still poorly understood. In this thesis, the composition and organization of clones of neurons generated by retinal progenitor cells (RPCs) in chicken embryos were characterized with the Brainbow strategy. This technique enables to permanently label RPCs with distinct colour combinations in order to individually track their lineage. New approaches were developed to: 1) trigger Brainbow labels at different stages of development or in genetically identified RPCs; 2) characterize in 3D the organization of retinal clones and identify the neuronal types that they comprise. My results provide evidence for a previously uncharacterized phase of tangential dispersion of RPCs in the retinal neuroepithelium before neurogenesis, leading to uniform intercalation of retinal clones. The composition of these clones was analyzed to understand whether early RPCs could be biased to generate certain neural types and, through intercalation, contribute to their regular distribution in the retina. This study sheds light on the potentialities of a population of neural progenitors and on the possible links between the early development and mature cellular organization of a tissue through new approaches applicable to diverse problematics
Cooper, Lynn Sharon Marcia. "Adult reading acquisition : a study of error types and related difficulties of adults enrolled in literacy classes." Thesis, University of Edinburgh, 1987. http://hdl.handle.net/1842/18800.
Повний текст джерелаMa, Qin. "Classes concurrentes et appel par filtrage dans le join calcul." Paris 7, 2005. http://www.theses.fr/2005PA077072.
Повний текст джерелаКниги з теми "Types of classes"
Rowledge, J. W. P. LMS engines: Names, numbers, types & classes. Newton Abbot: David & Charles, 1989.
Знайти повний текст джерелаMachonin, Pavel. Historical comparison of social stratification types in Czechoslovakia 1967-1984-1991. Prague: Institute of Sociology, Czechoslovak Academy of Sciences, 1992.
Знайти повний текст джерелаRocky Mountain Research Station (Fort Collins, Colo.), ed. Validating visual disturbance types and classes used for forest soil monitoring protocols. Fort Collins, CO: U.S. Dept. of Agriculture, Forest Service, Rocky Mountain Research Station, 2012.
Знайти повний текст джерелаMenkene, Jean Koufan. L'éducation à la citoyenneté en classes terminales: Leçons modèles et exercises types. Yaoundé, Cameroun: Proximité, 2005.
Знайти повний текст джерелаYurenkova, Lyubov', Viktor Burlay, Vladimir Fedorenko, and Aleksey Andreev. Engineering graphics: Atlas of assembly units with different types of connections of parts. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/953403.
Повний текст джерелаPazuhina, Svetlana. Psychological and pedagogical theories and technologies of primary education (tasks and exercises for practical classes and independent work of students). ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1002499.
Повний текст джерелаGagarina, Larisa, and Mariya Slyusar'. Fundamentals of information technology. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1056856.
Повний текст джерелаHeller, Steven. Shadow type: Classic three-dimensional lettering. New York: Princeton Architectural Press, 2013.
Знайти повний текст джерелаFinite groups of Lie type: Conjugacy classes and complex characters. Chichester: Wiley, 1993.
Знайти повний текст джерелаFinite groups of Lie type: Conjugacy classes and complex characters. Chichester [West Sussex]: Wiley, 1985.
Знайти повний текст джерелаЧастини книг з теми "Types of classes"
Lischner, Ray. "Classes and Types." In Exploring C++ 11, 263–72. Berkeley, CA: Apress, 2013. http://dx.doi.org/10.1007/978-1-4302-6194-0_39.
Повний текст джерелаLischner, Ray. "Classes and Types." In Exploring C++20, 285–94. Berkeley, CA: Apress, 2020. http://dx.doi.org/10.1007/978-1-4842-5961-0_40.
Повний текст джерелаConway, Richard, Teun Duynstee, Ben Hyrman, Roger Rowland, and James Speer. "Defining Types." In C# Class Design Handbook: Coding Effective Classes, 7–53. Berkeley, CA: Apress, 2003. http://dx.doi.org/10.1007/978-1-4302-1124-2_2.
Повний текст джерелаAllison, Damon, Andy Olsen, and James Speer. "Defining Types." In Visual Basic .NET Class Design Handbook: Coding Effective Classes, 6–41. Berkeley, CA: Apress, 2003. http://dx.doi.org/10.1007/978-1-4302-0780-1_2.
Повний текст джерелаLäufer, Konstantin, and Martin Odersky. "Type Classes are Signatures of Abstract Types." In Declarative Programming, Sasbachwalden 1991, 148–62. London: Springer London, 1992. http://dx.doi.org/10.1007/978-1-4471-3794-8_10.
Повний текст джерелаTorra, Vicenç. "Types and Classes Revisited: Polymorphism." In Lecture Notes in Computer Science, 69–75. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-46481-7_5.
Повний текст джерелаWeitz, Edmund. "Chapter 13: Objects, Classes, Types." In Common Lisp Recipes, 361–95. Berkeley, CA: Apress, 2016. http://dx.doi.org/10.1007/978-1-4842-1176-2_13.
Повний текст джерелаHorton, Ivor. "Classes: Defining Your Own Data Types." In Ivor Horton’s Beginning ANSI C++: The Complete Language, 515–75. Berkeley, CA: Apress, 2004. http://dx.doi.org/10.1007/978-1-4302-0656-9_12.
Повний текст джерелаIsman, Kenneth E. "Types and Classes of Standpipe Systems." In Standpipe Systems for Fire Protection, 17–31. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-47750-3_2.
Повний текст джерелаHertrampf, Ulrich. "Complexity classes with finite acceptance types." In Lecture Notes in Computer Science, 543–53. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-57785-8_170.
Повний текст джерелаТези доповідей конференцій з теми "Types of classes"
Gonzalez-Cabrera, Nestor, and G. Gutierrez-Alcaraz. "Nodal reliability pricing for multiple available types of classes end-users." In 2010 International Conference on Power System Technology - (POWERCON 2010). IEEE, 2010. http://dx.doi.org/10.1109/powercon.2010.5666581.
Повний текст джерелаNestor Gonzalez Cabrera and G. Gutierrez-Alcaraz. "Effect assessment of demand response on nodal prices by types of classes." In 2011 North American Power Symposium (NAPS 2011). IEEE, 2011. http://dx.doi.org/10.1109/naps.2011.6024895.
Повний текст джерелаBidarra, Rafael, Abdelfettah Idri, Alex Noort, and Willem F. Bronsvoort. "Declarative User-Defined Feature Classes." In ASME 1998 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1998. http://dx.doi.org/10.1115/detc98/cie-5705.
Повний текст джерелаBono, Roser, María Isabel Núñez-Peña, and Macarena Suárez-Pellicioni. "Rubrics use and in-class feedback in higher education: Students’ perceptions and their effect on academic achievement." In Third International Conference on Higher Education Advances. Valencia: Universitat Politècnica València, 2017. http://dx.doi.org/10.4995/head17.2017.5198.
Повний текст джерелаTarasova, Iuliia, Vyacheslav Andreev, Andrey Chechin, and Denis Toskin. "Algorithms for Automated Differentiation of Subtypes and Improving the Overall Accuracy of Image Classification in Career Guidance." In 31th International Conference on Computer Graphics and Vision. Keldysh Institute of Applied Mathematics, 2021. http://dx.doi.org/10.20948/graphicon-2021-3027-387-398.
Повний текст джерелаDorofeeva, E. "TYPES OF STUDENTS’ SELF-STUDY ACTIVITY IN FOREIGN LANGUAGE CLASSES IN HIGHER SCHOOL." In SOCIOINT 2020- 7th International Conference on Education and Education of Social Sciences. International Organization Center of Academic Research, 2020. http://dx.doi.org/10.46529/socioint.2020117.
Повний текст джерелаShi, Min, Yufei Tang, Xingquan Zhu, David Wilson, and Jianxun Liu. "Multi-Class Imbalanced Graph Convolutional Network Learning." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/398.
Повний текст джерелаDas, Shuvra. "Experiences of Teaching Hands-on Classes in Places Where They Are Rare." In ASME 2020 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2020. http://dx.doi.org/10.1115/imece2020-24492.
Повний текст джерелаWhitney, Daniel E., Gaurav Shukla, and Stefan von Praun. "A Design Procedure Applicable to Different Classes of Assemblies." In ASME 2001 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2001. http://dx.doi.org/10.1115/detc2001/cie-21304.
Повний текст джерелаChetrosu, Anca Nicoleta. "Types of didactic activities that lead to the development of scientific thinking in Romanian language and literature classes." In Condiții pedagogice de optimizare a învățării în post criză pandemică prin prisma dezvoltării gândirii științifice. "Ion Creanga" State Pedagogical University, 2021. http://dx.doi.org/10.46728/c.18-06-2021.p45-48.
Повний текст джерелаЗвіти організацій з теми "Types of classes"
Lhotka, L., and P. Špaček. YANG Types for DNS Classes and Resource Record Types. RFC Editor, September 2021. http://dx.doi.org/10.17487/rfc9108.
Повний текст джерелаNystrom, M., and B. Kaliski. PKCS #9: Selected Object Classes and Attribute Types Version 2.0. RFC Editor, November 2000. http://dx.doi.org/10.17487/rfc2985.
Повний текст джерелаPage-Dumroese, D. S., A. M. Abbott, M. P. Curran, and M. F. Jurgensen. Validating visual disturbance types and classes used for forest soil monitoring protocols. Ft. Collins, CO: U.S. Department of Agriculture, Forest Service, Rocky Mountain Research Station, 2012. http://dx.doi.org/10.2737/rmrs-gtr-267.
Повний текст джерелаNeroda, Tetyana V., Lidia V. Slipchyshyn, and Ivan O. Muzyka. Adaptive toolkit of branch-oriented workshop environment for enlargement the cloud-based e-learning media platform. [б. в.], June 2021. http://dx.doi.org/10.31812/123456789/4449.
Повний текст джерелаKharchenko, Yuliya V., Olena M. Babenko, and Arnold E. Kiv. Using Blippar to create augmented reality in chemistry education. CEUR Workshop Proceedings, July 2021. http://dx.doi.org/10.31812/123456789/4630.
Повний текст джерелаSladen, W. E., R. J. H. Parker, P. D. Morse, S V Kokelj, and S. L. Smith. Geomorphic feature inventory along the Dempster and Inuvik to Tuktoyaktuk highway corridor, Yukon and Northwest Territories. Natural Resources Canada/CMSS/Information Management, 2022. http://dx.doi.org/10.4095/329969.
Повний текст джерелаLeague, Christopher, Zhong Shao, and Valery Trifonov. Representing Java Classes in a Typed Intermediate Language. Fort Belvoir, VA: Defense Technical Information Center, September 1999. http://dx.doi.org/10.21236/ada436495.
Повний текст джерелаMorris, John Garrett. Type Classes and Instance Chains: A Relational Approach. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.1010.
Повний текст джерелаMalabarba, Scott, Raju Pandey, Jeff Gragg, Earl Barr, and J. F. Barnes. Runtime Support for Type-Safe Dynamic Java Classes. Fort Belvoir, VA: Defense Technical Information Center, January 2000. http://dx.doi.org/10.21236/ada474895.
Повний текст джерелаRigotti, Christophe, and Mohand-Saïd Hacid. Representing and Reasoning on Conceptual Queries Over Image Databases. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.89.
Повний текст джерела