Se connecter

Bibliographies thématiques / Equality types / Thèses

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Equality types.

Thèses sur le sujet « Equality types »

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 17 meilleures thèses pour votre recherche sur le sujet « Equality types ».

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

Parcourez les thèses sur diverses disciplines et organisez correctement votre bibliographie.

1

Siles, Vincent. "Investigation on the typing of equality in type systems." Palaiseau, Ecole polytechnique, 2010. http://pastel.archives-ouvertes.fr/docs/00/55/65/78/PDF/these.pdf.

Texte intégral

Résumé :

Sur la plateforme de théses en ligne Tel on trouve le résumé suivant en français : Le travail présenté dans cette thèse concerne l'étude de la notion de conversion inhérente à tous système de types dépendants. Plusieurs présentations de ces systèmes ont été étudiées pour des usages variés: typage, recherche de preuve, cohérence de logique. . . Chacune de ces représentation est accompagnée d'une notion d'égalité différente, suivant les besoins du moment. Mais il n'est pas certains que toutes ces représentations parlent en fin de compte d'une seule et même logique. Nous nous intéressons ici à un

Styles APA, Harvard, Vancouver, ISO, etc.

2

Lewitzka, Steffen. "Contributions to the investigations of Lascar strong types in simple theories." Universidade Federal de Pernambuco, 2003. https://repositorio.ufpe.br/handle/123456789/1862.

Texte intégral

Résumé :

Made available in DSpace on 2014-06-12T15:52:47Z (GMT). No. of bitstreams: 2 arquivo4748_1.pdf: 788444 bytes, checksum: bf529ae650fd6acfbf8f43c0335c33fd (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2003<br>Lewitzka, Steffen; José Guerra Barreto de Queiroz, Ruy. Contributions to the investigations of Lascar strong types in simple theories. 2003. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2003.

Styles APA, Harvard, Vancouver, ISO, etc.

3

Slama, Franck. "Automatic generation of proof terms in dependently typed programming languages." Thesis, University of St Andrews, 2018. http://hdl.handle.net/10023/16451.

Texte intégral

Résumé :

Dependent type theories are a kind of mathematical foundations investigated both for the formalisation of mathematics and for reasoning about programs. They are implemented as the kernel of many proof assistants and programming languages with proofs (Coq, Agda, Idris, Dedukti, Matita, etc). Dependent types allow to encode elegantly and constructively the universal and existential quantifications of higher-order logics and are therefore adapted for writing logical propositions and proofs. However, their usage is not limited to the area of pure logic. Indeed, some recent work has shown that they

Styles APA, Harvard, Vancouver, ISO, etc.

4

Лесік, Ірина Миколаївна, Ирина Николаевна Лесик та Iryna Lesik. "Економічний аналіз гендерної оцінки праці в Україні". Thesis, Миколаївський національний аграрний університет, 2017. http://dspace.mnau.edu.ua/jspui/handle/123456789/3022.

Texte intégral

Résumé :

Розглянуто теоретичні та законодавчо-нормативні аспекти гендерної оцінки праці в Україні. Визначено основні проблеми невідповідності принципу рівних прав та можливостей жінок і чоловіків у праці та винагороді за неї. Запропоновано напрями подолання гендерної нерівності.<br>The theoretical, legislative and regulatory aspects of gender labor evaluation in Ukraine are considered. The main problems of non-compliance of the principle of equal rights and opportunities of women and men in labor and remuneration for it are determined. The directions of overcoming gender inequality are proposed.

Styles APA, Harvard, Vancouver, ISO, etc.

5

Capriotti, Paolo. "Models of type theory with strict equality." Thesis, University of Nottingham, 2017. http://eprints.nottingham.ac.uk/39382/.

Texte intégral

Résumé :

This thesis introduces the idea of two-level type theory, an extension of Martin-Löf type theory that adds a notion of strict equality as an internal primitive. A type theory with a strict equality alongside the more conventional form of equality, the latter being of fundamental importance for the recent innovation of homotopy type theory (HoTT), was first proposed by Voevodsky, and is usually referred to as HTS. Here, we generalise and expand this idea, by developing a semantic framework that gives a systematic account of type formers for two-level systems, and proving a conservativity result

Styles APA, Harvard, Vancouver, ISO, etc.

6

Старчун, Я. М. "Реалізація принципів рівності, толерантності і недискримінації у правоохоронній діяльності". Thesis, Чернігів, 2021. http://ir.stu.cn.ua/123456789/23133.

Texte intégral

Résumé :

Старчун, Я. М. Реалізація принципів рівності, толерантності і недискримінації у правоохоронній діяльності : випускна кваліфікаційна робота : 262 "Правоохоронна діяльність" / Я. М. Старчун ; керівник роботи О. А. Марущак ; НУ "Чернігівська політехніка", кафедра правоохоронної діяльності та загальноправових дисциплін. – Чернігів, 2021. – 65 с.<br>Актуальність дослідження зумовлена недостатньою науковою розробленістю проблеми реалізації принципів рівності, толерантності і недискримінації у правоохоронній діяльності, і тому вона потребує вивчення та аналізу як на практичному, так і на науковому рі

Styles APA, Harvard, Vancouver, ISO, etc.

7

Leong, Sok I. "Equality cases of some Holder-type norm inequalities." Thesis, University of Macau, 2006. http://umaclib3.umac.mo/record=b1636814.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

8

Pasalic, Emir. "The role of type equality in meta-programming /." Full text open access at:, 2004. http://content.ohsu.edu/u?/etd,216.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

9

Bengtsson, Mattias. "Feministiska uttryck : Idealtypsanalys av Sveriges socialdemokratiska ungdomsförbund och Centerpartiets ungdomsförbund." Thesis, Linnéuniversitetet, Institutionen för statsvetenskap (ST), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-60376.

Texte intégral

Résumé :

The aim of this paper is to ascertain what kind of feminist expressions that are prevalent in two of Sweden’s major political youth organizations, the Swedish Social Democratic Youth League and the Centre Party Youth using ideal types constructed from major feminist ideologies. A comparison between the two is also a part of the analysis, to clarify the differences and similarities between the two regarding issues pertaining gender equality. Socialist feminism and radical feminism were prevalent in the Swedish Social Democratic Youth League but it also contained expressions of liberal feminism.

Styles APA, Harvard, Vancouver, ISO, etc.

10

Wilesmith, J. P. "Political equality, firm size and the choice of social system : a Rawlsian recovery of a neglected ideal-type?" Thesis, University College London (University of London), 2017. http://discovery.ucl.ac.uk/1544405/.

Texte intégral

Résumé :

Recent years have seen a resurgence of interest in the evaluation of models of political economy in normative political theory. These debates raise questions of both a substantive and a methodological nature. On the substantive side, an important question is 'What restrictions, if any, need to be placed on corporations and other types of firms in order for a social system to conform to the demands of justice?' From a methodological standpoint, a central question is 'How should we conceive of the choice between different types of political economy or social system?' These are the two main quest

Styles APA, Harvard, Vancouver, ISO, etc.

11

de, Carvalho Lundin Johanna, and Nicole Gartz. "Vattendelaren #Ihave : Hur hashtaggen #Ihave i samband med #Metoo kan definiera feminism." Thesis, Luleå tekniska universitet, Institutionen för konst, kommunikation och lärande, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-68922.

Texte intégral

Résumé :

The #Metoo debate also included other hashtags with the willingness to participate in the debate on gender equality. Including the hashtag #Ihave that symbolized the male perspective and came in response to #Metoo. The purpose of this graduation project is to find out how the debate is conducted based on rhetorical and feminist theories, by finding ideals in different positions about the hashtag #Ihave. The material was collected on February 21, 2018 on Facebook and based on posts we received from our private Facebook accounts where we searched for #Ihave in the search field. To this qualitati

Styles APA, Harvard, Vancouver, ISO, etc.

12

Rossignol, Sophie. "La reconnaissance des discriminations multiples en droit du travail français : état des lieux et perspectives." Thesis, Strasbourg, 2017. http://www.theses.fr/2017STRAA010.

Texte intégral

Résumé :

La non-discrimination est une notion en constante évolution. Elle se doit d’être réceptive aux nouvelles formes discriminatoires vécues par les travailleurs afin de garantir un niveau de protection juridique conforme aux exigences internationales et nationales. En ce sens, les discriminations multiples sont un parfait exemple. Il s’agit de situations dans lesquelles interviennent et interagissent plusieurs motifs prohibés. Or, le concept de discriminations multiples, issu des sciences sociales, n’est théorisé en droit que depuis les années 1980. Si elles sont inconnues du droit positif, la doc

Styles APA, Harvard, Vancouver, ISO, etc.

13

Latil, Arnaud. "Création et droits fondamentaux." Thesis, Lyon 3, 2011. http://www.theses.fr/2011LYO30073/document.

Texte intégral

Résumé :

L’approche juridique de la notion de création est confuse. Elle est traditionnellement envisagée à travers les droits de propriété intellectuelle (droit d’auteur, brevet, dessins et modèles, etc.). Mais cette approche est insuffisante. Les droits fondamentaux permettent de s’en apercevoir. En effet, la création constitue à la fois une activité humaine (un acte créatif) et un objet de propriété (un bien créatif). L’acte créatif est garanti par la liberté de création. La nature de cette dernière demeure toutefois incertaine. Elle oscille entre un rattachement à la liberté d’expression ou à la li

Styles APA, Harvard, Vancouver, ISO, etc.

14

Liu, Chia-Chun, and 劉家均. "A Case Study of Learning Behavior, Motivation and Flow Types on Axioms of Equality." Thesis, 2014. http://ndltd.ncl.edu.tw/handle/dm995s.

Texte intégral

Résumé :

碩士<br>國立臺北教育大學<br>數學暨資訊教育學系(含數學教育碩士班)<br>102<br>Though elementary school students in Taiwan have great achievement in mathematics, motivation in learning math is respectively low. Digital game-based learning is an effective way to raise the motivation. This paper aims on exploring the digital game learning behavior, motivation and flow types of the students learning the axioms of equality. This study is based on case-study. The nine study subjects were chosen from a class of twenty six students in a school in Sanxia District, New Taipei City. There were five periods of math per week studying t

Styles APA, Harvard, Vancouver, ISO, etc.

15

Hsieh, Ming-Chun, and 謝明俊. "The Analysis of Cognitive Diagnostic Modes on Multiple Strategies and Error Types- Take Equality Axioms in elementary school for an example." Thesis, 2014. http://ndltd.ncl.edu.tw/handle/yfbay2.

Texte intégral

Résumé :

碩士<br>國立臺中教育大學<br>教育測驗統計研究所<br>102<br>The purpose of the research is to investigate the relationships of solving strategies, error types, and the math score; furthermore, to compare the difference of effect between single-strategy CDMs and multiple-strategies CDMs. The topic of the study is the mathematics Equality Axioms on the Sixth-Grade students, and the researcher arranges skills, error types, and solving strategies to draw up examination, and then invites the experts to interpret the response of the process in problem-solving. Finally, the study analyses the differences by quantitative s

Styles APA, Harvard, Vancouver, ISO, etc.

16

Noguchi, Kimihiro. "Combination of Levene-Type Tests and a Finite-Intersection Method for Testing Trends in Variances." Thesis, 2009. http://hdl.handle.net/10012/4365.

Texte intégral

Résumé :

The problem of detecting monotonic increasing/decreasing trends in variances from k samples is widely met in many applications, e.g. financial data analysis, medical and environmental studies. However, most of the tests for equality of variances against ordered alternatives rely on the assumption of normality. Such tests are often non-robust to departures from normality, which eventually leads to unreliable conclusions. In this thesis, we propose a combination of a robust Levene-type test and a finite-intersection method, which relaxes the assumption of normality. The new combined procedure yi

Styles APA, Harvard, Vancouver, ISO, etc.

17

Miętek, Agata. "Swoboda umów oraz jej ograniczenia przy kształtowaniu treści stosunku pracy." Doctoral thesis, 2018. https://depotuw.ceon.pl/handle/item/2576.

Texte intégral

Résumé :

Przedmiotem dysertacji jest analiza zagadnień związanych ze swobodą umów stron stosunku pracy przy kształtowaniu jego treści. Obecny kształt swobody umów stron stosunku pracy przy kształtowaniu jego treści powstał w zasadniczych zrębach w momencie wprowadzania Kodeksu pracy, w innych uwarunkowaniach ustrojowych, społecznych i gospodarczych. Zmiany, jakie dokonały się w tym czasie, mają charakter fundamentalny, co stwarza nową przestrzeń dla dyskusji o swobodzie umów w prawie pracy. W tej perspektywie sformułowano cztery główne pytania badawcze. Pierwsze pytanie dotyczyło ustalenia charakteru

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!