Relevant bibliographies by topics / Algèbre quantitative

Contents

  1. Journal articles
  2. Dissertations / Theses

Academic literature on the topic 'Algèbre quantitative'

Author: Grafiati
Published: 5 October 2024

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 'Algèbre quantitative.'

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 "Algèbre quantitative"

1

Djilali, Kaid-Ameur, and Ahmed Hebbar. "Effect of the Oxidation on the Tribological Behaviour of Steels." Mechanics and Mechanical Engineering 22, no. 4 (2020): 1247–60. http://dx.doi.org/10.2478/mme-2018-0096.

Full text
Abstract:
AbstractThe work presented in this study focus on the application of the method of the plans of experiences (MPE) to the study and the optimization of the quantification of the wear of the steels (XC48, A60) under the effect of a factor of environment in the occurrence Hydrogen. Modeling can draw inspiration from the mathematical models established by the (MPE) in order to analyze more deeply the phenomenon of the wear while taking account of the various relevant factors [1].The MPE, introduced is a consistent set of tools and methods algèbro-statistics to establish and analyze the relationshi
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Algèbre quantitative"

1

Sarkis, Ralph. "Lifting Algebraic Reasoning to Generalized Metric Spaces." Electronic Thesis or Diss., Lyon, École normale supérieure, 2024. http://www.theses.fr/2024ENSL0025.

Full text
Abstract:
On retrouve le raisonnement algébrique partout en mathématique et en informatique, et il a déjà été généralisé à pleins de contextes différents. En 2016, Mardare, Panangaden et Plotkin ont introduit les algèbres quantitatives, c'est-à-dire, des espaces métriques équipés d'opérations 1-lipschitzienne relativement à la métrique. Ils ont prouvées des homologues à des résultats importants en algèbre universelle, et en particulier ils ont donné un système de déduction correct et complet qui généralise la logique équationnelle de Birkhoff en remplaçant l'égalité par l'égalité à \varepsilon près. Ça
APA, Harvard, Vancouver, ISO, and other styles
2

Alberti, Michele. "On operational properties of quantitative extensions of lambda-calculus." Thesis, Aix-Marseille, 2014. http://www.theses.fr/2014AIXM4076/document.

Full text
Abstract:
Cette thèse porte sur les propriétés opérationnelles de deux extensions quantitatives du λ-calcul pur : le λ-calcul algébrique et le λ-calcul probabiliste.Dans la première partie, nous étudions la théorie de la β-réduction dans le λ-calcul algébrique. Ce calcul permet la formation de combinaisons linéaires finies de λ-termes. Bien que le système obtenu jouisse de la propriété de Church-Rosser, la relation de réduction devient triviale en présence de coefficients négatifs, ce qui la rend impropre à définir une notion de forme normale. Nous proposons une solution qui permet la définition d'une r
APA, Harvard, Vancouver, ISO, and other styles
3

Sotin, Pascal. "Aspects quantitatifs de l'analyse de programmes." Rennes 1, 2008. ftp://ftp.irisa.fr/techreports/theses/2008/sotin.pdf.

Full text
Abstract:
This thesis deals with several quantitative aspects of program analysis. In particular, we consider the precision of analyses and analyses for resource consumption. We quantify the precision of numerical analyses based on the theory of Abstract Interpretation, using the theory of measure. We examine the theory of Probabilistic Abstract Interpretation and the precision naturally born from the norm on a Hilbert space. We propose a framework, called quantitative static analysis, which have in common with the latter theory the fact that it models programs by linear operators. With this framework,
APA, Harvard, Vancouver, ISO, and other styles
4

Dell'Aiera, Clément. "Controlled K-theory for groupoids and applications." Thesis, Université de Lorraine, 2017. http://www.theses.fr/2017LORR0114/document.

Full text
Abstract:
Dans leur article de 2015 intitulé "On quantitative operator K-theory", H. Oyono-Oyono et G. Yu introduisent un raffinement de la K-théorie opératorielle adapté au cadre desC*-algèbres filtrées, appelé K-théorie quantitative ou contrôlée. Dans cette thèse, nous généralisons la notion de filtration de C_-algèbres. Nous montrons ensuite que ce cadre contient celui déjà traité par G. Yu et H. Oyono-Oyono, tout en se révélant assez souple pour traiter les produits croisés de groupoïdes étalés et de groupes quantiques discrets. Nous construisons ensuite des applications d'assemblage _a valeurs dans
APA, Harvard, Vancouver, ISO, and other styles
5

Dell'Aiera, Clément. "Controlled K-theory for groupoids and applications." Electronic Thesis or Diss., Université de Lorraine, 2017. http://www.theses.fr/2017LORR0114.

Full text
Abstract:
Dans leur article de 2015 intitulé "On quantitative operator K-theory", H. Oyono-Oyono et G. Yu introduisent un raffinement de la K-théorie opératorielle adapté au cadre desC*-algèbres filtrées, appelé K-théorie quantitative ou contrôlée. Dans cette thèse, nous généralisons la notion de filtration de C_-algèbres. Nous montrons ensuite que ce cadre contient celui déjà traité par G. Yu et H. Oyono-Oyono, tout en se révélant assez souple pour traiter les produits croisés de groupoïdes étalés et de groupes quantiques discrets. Nous construisons ensuite des applications d'assemblage _a valeurs dans
APA, Harvard, Vancouver, ISO, and other styles
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