912 resultados para Rational complexity
Resumo:
In this paper we show that lobbying in conditions of direct democracy is virtually impossible, even in conditions of complete information about voters preferences, since it would require solving a very computationally hard problem. We use the apparatus of parametrized complexity for this purpose.
Resumo:
A classical argument of de Finetti holds that Rationality implies Subjective Expected Utility (SEU). In contrast, the Knightian distinction between Risk and Ambiguity suggests that a rational decision maker would obey the SEU paradigm when the information available is in some sense good, and would depart from it when the information available is not good. Unlike de Finetti's, however, this view does not rely on a formal argument. In this paper, we study the set of all information structures that might be availabe to a decision maker, and show that they are of two types: those compatible with SEU theory and those for which SEU theory must fail. We also show that the former correspond to "good" information, while the latter correspond to information that is not good. Thus, our results provide a formalization of the distinction between Risk and Ambiguity. As a consequence of our main theorem (Theorem 2, Section 8), behavior not-conforming to SEU theory is bound to emerge in the presence of Ambiguity. We give two examples of situations of Ambiguity. One concerns the uncertainty on the class of measure zero events, the other is a variation on Ellberg's three-color urn experiment. We also briefly link our results to two other strands of literature: the study of ambiguous events and the problem of unforeseen contingencies. We conclude the paper by re-considering de Finetti's argument in light of our findings.
Resumo:
Rsum Le but de cette thse est de comprendre les reprsentations du risque chez les jeunes de la rue. Plus prcisment, elle sintresse apprhender les constructions du risque que font les jeunes de la rue eux-mmes, dautant plus que ces jeunes sont dfinis comme un groupe risque. Si le risque est plus souvent dfini de manire stricte comme le mal ventuel, dans cette tude, il est dfini plus largement intgrant lide des opportunits et prises de risque. Ancre dans une perspective double du constructionnisme social et de linteractionnisme symbolique, cette recherche a explor les savoirs des jeunes sur les risques quils vivaient dans les contextes observs et la manire dont ils les apprhendaient. Pour y parvenir, cette recherche sinscrit dans une approche ethnographique pour mieux comprendre le monde des jeunes de la rue, utilisant des mthodes d'observation participante et dvoile et des entrevues informelles varies. Cette approche globale permet de saisir comment les jeunes dfinissent leur capacit estimer, grer, viter ou prendre des risques. Lutilisation dune perspective longitudinale (de un deux ans) et les relations de confiance bties avec ces jeunes, ont permis de suivre comment la construction identitaire des jeunes observs a influenc leurs perception du risque et leurs pratiques de dbrouillardise. En outre, les liens tablis ont permis de rvler les points de vue singuliers des jeunes mais aussi leurs savoirs exprientiels relatifs aux risques. Il sagit dans cette tude de montrer partir des thories gnrales qui dfinissent nos socits comme des socits du risque, comment des individus, identifis comme appartenant un groupe risque, dfinissent et grent leurs risques partir de leur propre exprience et point de vue afin de rvler la diversit et la complexit des expriences et savoirs des jeunes de la rue lendroit du risque. En effet, cette thse montre quun ancrage dans une sociologie du risque permet de sortir de limage de victime ou de dviance associe gnralement aux jeunes de la rue mais quelle demeure marque par la promotion de la scurit lgitimant intervention et rgulation de la situation des jeunes de la rue tout en ignorant lexprience mme des jeunes. Les discours sur les risques associs la rue sont alors inscrits dans une logique dexpertise. Cette tude vise sortir de ces prconceptions des risques pris par les jeunes de la rue pour au contraire sattarder comprendre comment se dfinit le risque partir du sens que les jeunes accordent et les expriences quils en ont. Mots cls: jeunes itinrants, jeunes de la rue, le risque, risque, victimisation, dviance, identit.
Resumo:
Thse numrise par la Division de la gestion de documents et des archives de l'Universit de Montral
Resumo:
Thse numrise par la Division de la gestion de documents et des archives de l'Universit de Montral
Resumo:
Lvaluation conomique en sant consiste en lanalyse comparative dalternatives de services en regard la fois de leurs cots et de leurs consquences. Elle est un outil daide la dcision. La grande majorit des dcisions concernant lallocation des ressources sont prises en clinique; particulirement au niveau des soins primaires. Puisque chaque dcision est associe un cot dopportunit, la non-prise en compte des considrations conomiques dans les pratiques des mdecins de famille peut avoir un impact important sur lefficience du systme de sant. Il existe peu de connaissances quant linfluence des valuations conomiques sur la pratique clinique. Lobjet de la thse est de comprendre le rle de lvaluation conomique dans la pratique des mdecins de famille. Ses contributions font lobjet de quatre articles originaux (philosophique, thorique, mthodologique et empirique). Larticle philosophique suggre limportance des questions de complexit et de rflexivit en valuation conomique. La complexit est la perspective philosophique, (approche gnrale pistmologique) qui sous-tend la thse. Cette vision du monde met lattention sur lexplication et la comprhension et sur les relations et les interactions (causalit interactive). Cet accent sur le contexte et le processus de production des donnes souligne limportance de la rflexivit dans le processus de recherche. Larticle thorique dveloppe une conception nouvelle et diffrente du problme de recherche. Loriginalit de la thse rside galement dans son approche qui sappuie sur la perspective de la thorie sociologique de Pierre Bourdieu; une approche thorique cohrente avec la complexit. Oppos aux modles individualistes de laction rationnelle, Bourdieu prconise une approche sociologique qui sinscrit dans la recherche dune comprhension plus complte et plus complexe des phnomnes sociaux en mettant en lumire les influences souvent implicites qui viennent chaque jour exercer des pressions sur les individus et leurs pratiques. Larticle mthodologique prsente le protocole dune tude qualitative de cas multiples avec niveaux danalyse imbriqus : les mdecins de famille (niveau micro-individuel) et le champ de la mdecine familiale (niveau macro-structurel). Huit tudes de cas furent ralises avec le mdecin de famille comme unit principale danalyse. Pour le niveau micro, la collecte des informations fut ralise laide dentrevues de type histoire de vie, de documents et dobservation. Pour le niveau macro, la collecte des informations fut ralise laide de documents, et dentrevues de type semi-structur auprs de huit informateurs cls, de neuf organisations mdicales. Linduction analytique fut utilise. Larticle empirique prsente lensemble des rsultats empiriques de la thse. Les rsultats montrent une intgration croissante de concepts en conomie dans le discours officiel des organisations de mdecine familiale. Cependant, au niveau de la pratique, l'conomisation de ce discours ne semble pas tre une reprsentation fidle de la ralit puisque la trs grande majorit des participants n'incarnent pas ce discours. Les contributions incluent une comprhension approfondie des processus sociaux qui influencent les schmes de perception, de pense, dapprciation et daction des mdecins de famille quant au rle de lvaluation conomique dans la pratique clinique et la volont des mdecins de famille contribuer une allocation efficiente, quitable et lgitime des ressources.
Resumo:
Mmoire numris par la Division de la gestion de documents et des archives de l'Universit de Montral
Resumo:
Cette thse prsente une tude dans divers domaines de l'informatique thorique de modles de calculs combinant automates finis et contraintes arithmtiques. Nous nous intressons aux questions de dcidabilit, d'expressivit et de clture, tout en ouvrant l'tude la complexit, la logique, l'algbre et aux applications. Cette tude est prsente au travers de quatre articles de recherche. Le premier article, Affine Parikh Automata, poursuit l'tude de Klaedtke et Ruess des automates de Parikh et en dfinit des gnralisations et restrictions. L'automate de Parikh est un point de dpart de cette thse; nous montrons que ce modle de calcul est quivalent l'automate contraint que nous dfinissons comme un automate qui n'accepte un mot que si le nombre de fois que chaque transition est emprunte rpond une contrainte arithmtique. Ce modle est naturellement tendu l'automate de Parikh affine qui effectue une opration affine sur un ensemble de registres lors du franchissement d'une transition. Nous tudions aussi l'automate de Parikh sur lettres: un automate qui n'accepte un mot que si le nombre de fois que chaque lettre y apparat rpond une contrainte arithmtique. Le deuxime article, Bounded Parikh Automata, tudie les langages borns des automates de Parikh. Un langage est born s'il existe des mots w_1, w_2, ..., w_k tels que chaque mot du langage peut s'crire w_1...w_1w_2...w_2...w_k...w_k. Ces langages sont importants dans des domaines applicatifs et prsentent usuellement de bonnes proprits thoriques. Nous montrons que dans le contexte des langages borns, le dterminisme n'influence pas l'expressivit des automates de Parikh. Le troisime article, Unambiguous Constrained Automata, introduit les automates contraints non ambigus, c'est--dire pour lesquels il n'existe qu'un chemin acceptant par mot reconnu par l'automate. Nous montrons qu'il s'agit d'un modle combinant une meilleure expressivit et de meilleures proprits de clture que l'automate contraint dterministe. Le problme de dterminer si le langage d'un automate contraint non ambigu est rgulier est montr dcidable. Le quatrime article, Algebra and Complexity Meet Contrained Automata, prsente une tude des reprsentations algbriques qu'admettent les automates contraints et les automates de Parikh affines. Nous dduisons de ces caractrisations des rsultats d'expressivit et de complexit. Nous montrons aussi que certaines hypothses classiques en complexit computationelle sont relies des rsultats de sparation et de non clture dans les automates de Parikh affines. La thse est conclue par une ouverture un possible approfondissement, au travers d'un certain nombre de problmes ouverts.
Resumo:
Anne Merminodde l'Universit McGillest rcipiendaire du 2me prix du concours de la bourse d'initiation la recherche offerte par leRegroupement Droit et changements aux tudiants du baccalaurat en droit.
Resumo:
n this paper, a time series complexity analysis of dense array electroencephalogram signals is carried out using the recently introduced Sample Entropy (SampEn) measure. This statistic quantifies the regularity in signals recorded from systems that can vary from the purely deterministic to purely stochastic realm. The present analysis is conducted with an objective of gaining insight into complexity variations related to changing brain dynamics for EEG recorded from the three cases of passive, eyes closed condition, a mental arithmetic task and the same mental task carried out after a physical exertion task. It is observed that the statistic is a robust quantifier of complexity suited for short physiological signals such as the EEG and it points to the specific brain regions that exhibit lowered complexity during the mental task state as compared to a passive, relaxed state. In the case of mental tasks carried out before and after the performance of a physical exercise, the statistic can detect the variations brought in by the intermediate fatigue inducing exercise period. This enhances its utility in detecting subtle changes in the brain state that can find wider scope for applications in EEG based brain studies.
Resumo:
This study is concerned with Autoregressive Moving Average (ARMA) models of time series. ARMA models form a subclass of the class of general linear models which represents stationary time series, a phenomenon encountered most often in practice by engineers, scientists and economists. It is always desirable to employ models which use parameters parsimoniously. Parsimony will be achieved by ARMA models because it has only finite number of parameters. Even though the discussion is primarily concerned with stationary time series, later we will take up the case of homogeneous non stationary time series which can be transformed to stationary time series. Time series models, obtained with the help of the present and past data is used for forecasting future values. Physical science as well as social science take benefits of forecasting models. The role of forecasting cuts across all fields of management-finance, marketing, production, business economics, as also in signal process, communication engineering, chemical processes, electronics etc. This high applicability of time series is the motivation to this study.
Resumo:
Analysis by reduction is a method used in linguistics for checking the correctness of sentences of natural languages. This method is modelled by restarting automata. All types of restarting automata considered in the literature up to now accept at least the deterministic context-free languages. Here we introduce and study a new type of restarting automaton, the so-called t-RL-automaton, which is an RL-automaton that is rather restricted in that it has a window of size one only, and that it works under a minimal acceptance condition. On the other hand, it is allowed to perform up to t rewrite (that is, delete) steps per cycle. Here we study the gap-complexity of these automata. The membership problem for a language that is accepted by a t-RL-automaton with a bounded number of gaps can be solved in polynomial time. On the other hand, t-RL-automata with an unbounded number of gaps accept NP-complete languages.
Resumo:
Analysis by reduction is a method used in linguistics for checking the correctness of sentences of natural languages. This method is modelled by restarting automata. Here we study a new type of restarting automaton, the so-called t-sRL-automaton, which is an RL-automaton that is rather restricted in that it has a window of size 1 only, and that it works under a minimal acceptance condition. On the other hand, it is allowed to perform up to t rewrite (that is, delete) steps per cycle. We focus on the descriptional complexity of these automata, establishing two complexity measures that are both based on the description of t-sRL-automata in terms of so-called meta-instructions. We present some hierarchy results as well as a non-recursive trade-off between deterministic 2-sRL-automata and finite-state acceptors.
Resumo:
This thesis attempts to quantify the amount of information needed to learn certain tasks. The tasks chosen vary from learning functions in a Sobolev space using radial basis function networks to learning grammars in the principles and parameters framework of modern linguistic theory. These problems are analyzed from the perspective of computational learning theory and certain unifying perspectives emerge.
