Search results for "tableau"

showing 10 items of 27 documents

Introduction to Mathematical Logic, Edition 2021

2021

Textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux and resolution methods. Herbrand's theorem. Sections 1, 2, 3 represent an extended translation of the corresponding chapters of the book: V. Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp. (in Latvian).

resolution methodHerbrand's theoremmodel theoryComputer Science::Logic in Computer Sciencepredicate logicmathematical logic:MATHEMATICS::Algebra geometry and mathematical analysis::Mathematical logic [Research Subject Categories]propositional logictableaux methodcompleteness theorems
researchProduct

Mesure de la performance des agences bancaires par une approche DEA

2005

Using a DEA framework (Data Envelopment Analysis), we develop new performance indicators for integrated retail networks. A methodological discussion leads us to propose a productivity indicator which respects the criteria of controllability and transversal coherence. We then formalise the relationship between a performance indicator of a network's headquarters and the productivity of its various retailers. Finally, we combine these new indicators in crafting a management tool amenable to a system of balanced scorecards.

tableaux de bord prospectifsData Envelopment Analysis;agences bancaires;système de tableaux de bord prospectifs;contrôlabilité; cohérence transversale;cohérence hiérarchique;bank branches;balanced scorecards system;controllability;transversal coherence;hierarchical coherence.jel:D21controllabilityagences bancairesjel:G21jel:D24jel:L11contrôlabilitéjel:M42Data Envelopment Analysis[SHS.GESTION]Humanities and Social Sciences/Business administration[SHS.GESTION] Humanities and Social Sciences/Business administrationData Envelopment Analysis;agences bancaires;tableaux de bord prospectifs;contrôlabilité;bank branches;balanced scorecards;controllability.[ SHS.GESTION ] Humanities and Social Sciences/Business administrationbank branchesbalanced scorecards
researchProduct

Où est le tableau de Van Gogh ? Remarques sur l'apparaître de l'image

2007

[SHS.DROIT]Humanities and Social Sciences/Law[SHS.DROIT] Humanities and Social Sciences/Lawimagetableau de Van Goghapparaître[ SHS.DROIT ] Humanities and Social Sciences/Law
researchProduct

Le cône diamant symplectique

2009

Resume Si n + est le facteur nilpotent d'une algebre semi-simple g , le cone diamant de g est la description combinatoire d'une base d'un n + module indecomposable naturel. Cette notion a ete introduite par N.J. Wildberger pour sl ( 3 ) , le cone diamant de sl ( n ) est decrit dans Arnal (2006) [2] , celui des algebres semi-simples de rang 2 dans Agrebaoui (2008) [1] . Dans cet article, nous generalisons ces constructions au cas des algebres de Lie sp ( 2 n ) . Les tableaux de Young semi-standards symplectiques ont ete definis par C. De Concini (1979) [4] , ils forment une base de l'algebre de forme de sp ( 2 n ) . Nous introduisons ici la notion de tableaux de Young quasi standards symplec…

Mathematics(all)20G05 05A15 17B10tableaux de YoungGeneral Mathematics010102 general mathematicsreprésentations0102 computer and information sciencestableaux de Young.[ MATH.MATH-CO ] Mathematics [math]/Combinatorics [math.CO]01 natural sciencesAMS 2000 class. : 20G05 05A15 17B10Algébre de Lie symplectique010201 computation theory & mathematics[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]Algèbre de Lie symplectiqueMathematics - Combinatorics0101 mathematicsMathematics::Representation TheoryHumanitiesMathematics
researchProduct

LES TABLEAUX DE BORD DU CAPITAL INTELLECTUEL

2009

Cet article a pour objectif de présenter et d'analyser les tableaux de bord du capital intellectuel qui constituent un modèle alternatif au Balanced Scorecard. Dans une première partie, nous retraçons les origines et les fondements des tableaux de bord du capital intellectuel. Puis dans une seconde partie, nous décrivons les différentes façons d'appréhender le capital intellectuel pour dans une troisième partie analyser des exemples de tableaux de bord du capital intellectuel.

Balanced ScorecardJEL: M - Business Administration and Business Economics • Marketing • Accounting • Personnel Economics/M.M4 - Accounting and Auditing/M.M4.M41 - AccountingCapital intellectuel[SHS.GESTION]Humanities and Social Sciences/Business administrationTableaux de bord[SHS.GESTION] Humanities and Social Sciences/Business administration[ SHS.GESTION ] Humanities and Social Sciences/Business administrationTableaux de bordCapital intellectuelBalanced ScorecardJEL : M - Business Administration and Business Economics • Marketing • Accounting • Personnel Economics/M.M4 - Accounting and Auditing/M.M4.M41 - Accounting
researchProduct

Le balanced scorecard en contexte culturel français. Etude de cas longitudinale

2004

International audience; Quelle est l'influence du contexte culturel français sur l'implantation du Balanced Scorecard ? Cette démarche et méthode de pilotage est née aux Etats-Unis. Mais elle a été adaptée dans d'autres environnements. En décrivant sa mise en place à la MAIF, nous précisons le rôle du contexte culturel français.

capital intellectuelTableau de bord stratégiquebalanced scorecard[SHS.GESTION]Humanities and Social Sciences/Business administrationcontrôle de gestion stratégique[SHS.GESTION] Humanities and Social Sciences/Business administration[ SHS.GESTION ] Humanities and Social Sciences/Business administrationTableau de bord stratégiquebalanced scorecardcapital intellectuelcontrôle de gestion stratégiquecultureculture
researchProduct

Nommer un tableau… Les hésitations d’une correspondance, La voyante ou la somnambule

2018

International audience

[SHS.HIST] Humanities and Social Sciences/Historyvoyantesomnambuletableaucorrespondance[SHS.HIST]Humanities and Social Sciences/HistoryComputingMilieux_MISCELLANEOUS
researchProduct

Central idempotents and units in rational group algebras of alternating groups

1998

Let ℚAn be the group algebra of the alternating group over the rationals. By exploiting the theory of Young tableaux, we give an explicit description of the minimal central idempotents of ℚAn. As an application we construct finitely many generators for a subgroup of finite index in the centre of the group of units of ℚAn.

CombinatoricsRational numberSymmetric groupGeneral MathematicsRational groupGenerating set of a groupYoung tableauAlternating groupGroup algebraCovering groups of the alternating and symmetric groupsMathematics
researchProduct

« Emil Nolde, peintre de la clandestinité ? Construction et déconstruction de la ‘légende allemande’ des ‘tableaux non peints’ »

2022

Emil NoldeSiegfried Lenzclandestinité"tableaux non peints"[SHS] Humanities and Social Sciencesnazisme
researchProduct

Les méthodes biproportionnelles, un outil de reconstitution ou de comparaison de tableaux de contingence

2020

Un tableau de nombres dont on connaît le total de ses colonnes et lignes (ou « marges ») est appelé « tableau de contingence ». Un tel tableau se rencontre quand on étudie les échanges entre pays ou régions, les flux migratoires ou financiers, etc. Le premier problème qu’on étudie est la reconstitution du tableau quand on ne connaît que ses marges, mais pas les données du tableau elles-mêmes, sachant que celles-ci sont néanmoins proches de celles d’un autre tableau. C’est le cas par exemple quand on veut prévoir l’origine des échanges entre pays en connaissant seulement le total de ce qu’ils vont exporter et importer. Le deuxième problème étudié est l’évaluation de ce qui a changé entre deu…

Tableaux de contingenceMéthodes biproportionnelles[STAT] Statistics [stat]
researchProduct