• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 130
  • 41
  • 9
  • 1
  • Tagged with
  • 183
  • 84
  • 33
  • 28
  • 23
  • 18
  • 17
  • 16
  • 16
  • 15
  • 15
  • 15
  • 15
  • 15
  • 14
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
81

Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif ou polynomial / Imperative characterization of sequential algorithms in general, primitive recursive or polynomial time

Marquer, Yoann 09 October 2015 (has links)
Les résultats de Colson ou de Moschovakis remettent en question que le modèle récursif primitif puisse calculer une valeur par tous les moyens possibles : il y a toutes les fonctions voulues mais il manque des algorithmes. La thèse de Church exprime donc plutôt ce qui peut être calculé que comment le calcul est fait. Nous utilisons la thèse de Gurevich formalisant l'idée intuitive d'algorithme séquentiel par les Abstract States Machines (ASMs).Nous représentons les programmes impératifs par le langage While de Jones, et une variante LoopC du langage de Meyer et Ritchie permettant de sortir d'une boucle lorsqu'une condition est remplie. Nous dirons qu'un langage caractérise une classe algorithmique si les modèles de calcul associés peuvent se simuler mutuellement, en utilisant une dilatation temporelle et un nombre borné de variables temporaires. Nous prouvons que les ASMs peuvent simuler While et LoopC, que si l'espace est primitif récursif alors LoopC est en temps récursif primitif, et que sa restriction LoopC_stat où les bornes des boucles ne peuvent être mises à jour est en temps polynomial. Réciproquement, une étape d'ASM peut être traduite par un programme sans boucle, qu'on peut répéter suffisamment en l'insérant dans un programme qui est dans While si la complexité est quelconque, dans LoopC si elle est récursif primitif, et dans LoopC_stat si elle est polynomiale.Ainsi While caractérise les algorithmes séquentiels en temps quelconque, LoopC ceux en temps et espace récursifs primitifs, et LoopC_stat ceux en temps polynomial / Colson and Moschovakis results cast doubt on the ability of the primitive recursive model to compute a value by any means possible : the model may be complete for functions but there is a lack of algorithms. So the Church thesis express more what can be computed than how the computation is done. We use Gurevich thesis to formalize the intuitive idea of sequential algorithm by the Abstract States Machines (ASMs).We formalize the imperative programs by Jones' While language, and a variation LoopC of Meyer and Ritchie's language allowing to exit a loop if some condition is fulfilled. We say that a language characterizes an algorithmic class if the associated models of computations can simulate each other using a temporal dilatation and a bounded number of temporary variables. We prove that the ASMs can simulate While and LoopC, that if the space is primitive recursive then LoopC is primitive recursive in time, and that its restriction LoopC_stat where the bounds of the loops cannot be updated is in polynomial time. Reciprocally, one step of an ASM can be translated into a program without loop, which can be repeated enough times if we insert it onto a program in While for a general complexity, in LoopC for a primitive recursive complexity, and in LoopC_stat for a polynomial complexity.So While characterizes the sequential algorithms, LoopC the algorithms in primitive recursive space and time, and LoopC_stat the polynomial time algorithms
82

Efektivní sazby daní korporací v zemích EU / Effective corporate tax rates in the EU

Josková, Renata January 2013 (has links)
This thesis is concerned with effective rates of corporate income taxes in EU in 2011. The aim is comparison of effective rates of corporate income taxes in different sectors of particular states - EU members, measured by real effective tax rate. Another aim is comparison real effective rate od EU corporations with implicite corporate tax rates and uncover, whether the level of real effective tax rate and implicite tax rate depends on GDP in % EU-28, inflation, size of the company, research and development costs, or depreciation of machinery and buildings. Differences in real effective tax rate do exist not only in between EU members, but also in different sectors. Values of implicite tax rate in different countries differ in 2011. Analysis results show, that the only mutual factor, which influences value of real effective tax and implicite tax rates is size of the company. When talking about implicite tax rate, dependence on other factors is not approved. Moreover, real effective corporate tax rate is influenced by GDP in % EU-28, as well as research and development costs. Inflation rate and depreciation time of machinery and buildings are factors, that show no connection between both surveyed taxes. Increase relation betwee real and implicite corporate taxes rate is proved.
83

Le silence et le droit : recherches sur l'usage de la métaphore du "silence du droit" comme consolation / Silence and law : research on the use of the metaphor of "silence of the law" as consolation

Bordes, Elodie 27 April 2016 (has links)
Le droit est de manière traditionnelle appréhendé comme un phénomène inhérent au langage. Est-il possible, dès lors, pour ce droit qui est enserré dans les rets du langage de« dire le silence»? Dénoncer en lui-même cette part d'indicible ou de mystique qu'il comporte? Dans le cadre de cette étude nous avons rapidement pris conscience du caractère métaphorique de cette interrogation. Le silence dans une approche triviale ne peut être, en effet, que celui d'une personne dotée de la parole et non du droit lui-même. La métaphore peut être appréhendée de la manière suivante: il s'agit de rendre compte d'un glissement à l'occasion duquel un terme impropre est substitué à un terme propre manquant. En ce sens, la métaphore engendre une relation d'absence d'un terme à l'égard d'un autre. La métaphore devient ainsi « la forme même de la consolation » : elle permet comme méthode de nous consoler des risques inhérents à l'inscription du droit dans l'ordre du langage (la perte d'une signification qui serait« déjà là» ou d'un sens qui serait toujours présent avant l'usage du langage). Sur la base de cette problématique nous avons opté pour le plan suivant : Dans une première partie, nous verrons ainsi que l'expressivité du droit est régulièrement déplacée et confisquée conformément à la logique de la rhétorique et de la prosopopée. Ce qui se manifeste, dès lors, c'est un déplacement de la parole et la création corrélative d'un écart - qui nous semble signifiant - entre présence et représentation. Dans cette première perspective, l'expressivité de la loi masque, par exemple, la réalité du droit. Dans la seconde partie c'est la ressource iconique de la métaphore qui sera convoquée. Dans cette ultime partie, nous tirerons donc pleinement profit de la métaphore comme outil de connaissance en usant avec bénéfice de l'idée selon laquelle le silence du droit permet de manifester l'ordinaire même du droit. Débarrassé du mythe envahissant d'une source politique du droit, le droit apparaît ainsi comme il est: le roi est dorénavant nu. Le droit n'est que ce qu'il est et s'incarne dans l'action d'une série d'acteurs qui font l'ordinaire même du droit. Le silence de la loi permet ainsi d'entendre la vie même du droit. / Law is traditionally apprehended/seen as a phenomenon inherent to language. Is it possible, consequently, for this Law which is contained in the snare oflanguage to "say the silence"? To express itselfthis part ofunspeakable or mystical which he has? In this study we quickly realized the metaphorical nature ofthis question. The silence in a trivial approach can be, indeed, that of a person with speech, not the law itself. The metaphor can be understood as follows: this is to account for a slip on which occasion a misnomer is substituted for a proper missing term. In this sense, the metaphor generates a lack of a term relationship with respect to another. The metaphor becomes "the same form of consolation": it allows us as a method of consoling the risks inherent in the entry of the Law in the order of language (the loss of a meaning that is "already there" or a direction which would always present before the use oflanguage). Based on these issues we opted for the following plan / In the first part, we will see as the expressiveness of law is regularly moved and confiscated in accordance with the logic of rhetoric and prosopopoeia. Which is manifested, therefore, it is a moving speech and the consequential creation of a gap - which seems to mean - between presence and representation. In this first perspective, the expressiveness of the law mask, for example, the reality of the Law. In the second part, it is the iconic metaphor of resource to be convened. In this ultimate part, we will make full use ofmetaphor as a tool ofknowledge by using a profit from the idea that the silence of the Law allows to express even the ordinary law. Rided of invasive myth of a political source of Law, the Law appears as it is: the king is now naked. The Law is what it is and is embodied in the action of a series of actors who are even ordinary law. The silence of the law allows to hear the life of Law.
84

La notion de première impression dans la perception de nouveaux produits : une comparaison de méthodes de mesure / The concept of the first impression in the perception of new products : a comparison of measurement method / Khái niệm về ấn tượng ban đầu trong nhận thức về sản phẩm mới bởi người tiêu dùng : một sự so sánh về phương pháp đo lường

Ngo, Thi Khue Thu 31 May 2013 (has links)
La notion de première impression est fréquemment utilisée dans la socio-psychologie mais elle n'a pas été fortement exploitée dans le marketing. Même si cette notion apparait souvent dans le monde du commerce, il n’est pas toujours facile de la mesurer. La comparaison de deux méthodes de mesure nous permet d’affirmer d’une part, que sur un nouveau produit, la première impression est formée dans les 10 premières secondes, et d’autre part, qu’elle apporte sur ce produit une perception minimale. Le processus d’expérimentation a été réalisé sur de nouvelles voitures en voie de commercialisation au Vietnam. Les résultats obtenus sont convergents et cette thèse montre bien les intérêts mais aussi les limites de concept psychologique. / The concept of first impression is frequently used in social psychology, but it hasn’t been forcefully exploited in Marketing. Even though this notion appears daily in the business world, it is not always easily measured. The comparison of two methods allows us to affirm that the first impression of the new products is formed during the first 10 seconds and then, it provides us minimal perception of product. The process of the experiment was seriously carried out among new cars being commercialized in Vietnam. The results are convergent and this thesis shows not only the interests but also the limits of this psychological concept. / Khái niệm về ấn tượng ban đầu thường xuyên được sử dụng trong tâm sinh lý xã hội nhưng vẫn chưa thật sự được khai thác mạnh mẽ trong Marketing. Ngay cả khi ấn tượng ban đầu xuất hiện hàng ngày trong thế giới thương mại, nhưng thật không dễ để đo lường được nó. Một sự so sánh về hai phương pháp đo lường cho phép chúng ta khẳng định rằng ấn tượng ban đầu về sản phẩm mới được hình thành ngay từ 10 giây đầu tiên và đã mang đến cho chúng ta một nhận thức tối thiểu về sản phẩm. Việc xây dựng tiến trình thực nghiệm đã được thực hiện một cách nghiêm túc trên những chiếc xe ô tô mới đang trên đường được thương mại hóa tại Việt Nam. Những kết quả đạt được là hội tụ và cuốn luận án cũng đã chỉ rõ những lợi ích cũng như giới hạn từ khái niệm tâm sinh lý này.
85

Modélisation et étude 3D des phénomènes de cisaillement adiabatiques dans les procédés de mise en forme à grande vitesse

Delalondre, Fabien 19 December 2008 (has links) (PDF)
Malgré des résultats prometteurs, les procédés de mise en forme à grande vitesse sont encore peu utilisés dans l'industrie du fait d'un manque de compréhension du phénomène de Bande de Cisaillement Adiabatique (BCA).<br/>Ce travail présente le développement d'outils numériques permettant la simulation adaptative et l'analyse de BCA dans des procédés 3D de mise en forme à grande vitesse. L'utilisation du modèle ALE-adaptatif séquentiel développé dans le logiciel Forge3 permet pour la première fois la simulation automatique de BCA 3D. L'étude des résultats numériques permet de proposer une description innovante du processus de formation de BCA. Les moyens de calcul requis s'avérant très importants, un nouveau code éléments finis hautement parallèle appelé Forge++ est développé. Ce dernier inclut de nouveaux algorithmes tels que le couplage thermomécanique implicite, la méthode de stabilisation RFB et un recouvrement par patch parallèle pour une meilleure simulation de BCA.
86

Modèles combinatoires implicites et résolution de problèmes en classe de 4ème : une étude des effets liés à la sémantique des situations

Rudat, Richard 26 February 2007 (has links) (PDF)
Dans ce travail on s'intéresse à certains effets liés à la sémantique des énoncés sur les procédures et processus de résolution de problèmes de dénombrement de combinaisons, soumis à des élèves de classe de 4ème. Notre objectif est de proposer un modèle relativement complet qui décrive les liens entre les productions et l'activité des élèves d'une part et les contextes sémantiques d'autre part. La principale variable étudiée<br />concerne les modèles combinatoires implicites. Afin de relever l'ensemble des procédures observables, une première épreuve est organisée sous forme de devoir sur table.<br />La deuxième épreuve a pour ambition de se placer au niveau des processus de résolution.<br />Elle est organisée sous forme de travail en groupe. Une analyse du contenu des échanges permet d'appréhender les interprétations des énoncés. L'ensemble des observations nous conduit à définir deux modèles de résolution dominants avec quelques variantes.
87

Méthodes de volumes finis pour la simulation sous-résolue de détonations

St-Hilaire, Marie-Odette January 2007 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
88

On probability distributions of diffusions and financial models with non-globally smooth coefficients / Sur les lois de diffusions et de modèles financiers avec coefficients non globalement réguliers

De Marco, Stefano 23 November 2010 (has links)
Des travaux récents dans le domaine des mathématiques financières ont fait émerger l'importance de l'étude de la régularité et du comportement fin des queues de distribution pour certaines classes de diffusions à coefficients non globalement réguliers. Dans cette thèse, nous traitons des problèmes issus de ce contexte. Nous étudions d'abord l'existence, la régularité et l'asymptotique en espace de densités pour les solutions d'équations différentielles stochastiques en n'imposant que des conditions locales sur les coefficients de l'équation. Notre analyse se base sur les outils du calcul de Malliavin et sur des estimations pour les processus d'Ito confinés dans un tube autour d'une courbe déterministe. Nous obtenons des estimations significatives de la fonction de répartition et de la densité dans des classes de modèles comprenant des généralisations du CIR et du CEV et des modèles à volatilité locale-stochastique : dans ce deuxième cas, les estimations entraînent l'explosion des moments du sous-jacent et ont ainsi un impact sur le comportement asymptotique en strike de la volatilité implicite. La modélisation paramétrique de la surface de volatilité, à son tour, fait l'objet de la deuxième partie. Nous considérons le modèle SVI de J. Gatheral, en proposant une nouvelle stratégie de calibration quasi-explicite, dont nous illustrons les performances sur des données de marché. Ensuite, nous analysons la capacité du SVI à générer des approximations pour les smiles symétriques, en le généralisant à un modèle dépendant du temps. Nous en testons l'application à un modèle de Heston (sans et avec déplacement), en générant des approximations semi-fermées pour le smile de volatilité / Some recent works in the field of mathematical finance have brought new light on the importance of studying the regularity and the tail asymptotics of distributions for certain classes of diffusions with non-globally smooth coefficients. In this Ph.D. dissertation we deal with some issues in this framework. In a first part, we study the existence, smoothness and space asymptotics of densities for the solutions of stochastic differential equations assuming only local conditions on the coefficients of the equation. Our analysis is based on Malliavin calculus tools and on « tube estimates » for Ito processes, namely estimates for the probability that the trajectory of an Ito process remains close to a deterministic curve. We obtain significant estimates of densities and distribution functions in general classes of option pricing models, including generalisations of CIR and CEV processes and Local-Stochastic Volatility models. In the latter case, the estimates we derive have an impact on the moment explosion of the underlying price and, consequently, on the large-strike behaviour of the implied volatility. Parametric implied volatility modeling, in its turn, makes the object of the second part. In particular, we focus on J. Gatheral's SVI model, first proposing an effective quasi-explicit calibration procedure and displaying its performances on market data. Then, we analyse the capability of SVI to generate efficient approximations of symmetric smiles, building an explicit time-dependent parameterization. We provide and test the numerical application to the Heston model (without and with displacement), for which we generate semi-closed expressions of the smile
89

Expérience comportementale et modélisation par réseau neuronal des différences entre les processus de catégorisation par règles logiques et par ressemblance familiale

Morissette, Laurence 05 1900 (has links)
Notre étude est bipartite. En premier lieu nous avons effectué une étude empirique des différences entre les processus de catégorisation explicite (verbalisable) et implicite (non-verbalisable). Nous avons examiné la difficulté et le temps nécessaire pour apprendre trois tâches de catégorisation dites par air de famille, par règle logique conjonctive et par règle logique disjonctive. Nous avons ensuite utilisé un réseau neuronal pour modéliser la catégorisation en lui faisant compléter les mêmes tâches. La comparaison entre les deux nous permet de juger de l’adéquation du modèle. Les données empiriques ont montré un effet de la typicité et de la familiarité en accord avec la documentation et nous trouvons que la tâche de catégorisation par règle disjonctive est la plus difficile alors que la tâche de catégorisation par air de famille est la plus facile. La modélisation par le réseau est une réussite partielle mais nous présentons des solutions afin qu’un réseau futur puisse modéliser le processus catégoriel humain efficacement / Our present research was twofold. First, we conducted a study of the differences in the categorization processes between explicit (verbalizable) and implicit (nonverbalizable) tasks. The differentiation was done in term of difficulty and time necessary to learn the rule of the category for family resemblance, conjunctive and disjunctive rules. We then used a neural network to model the categorization and had it complete the same tasks. The comparison between the two gave us insight into how (and if) the network can be used as a model of human categorization. The empirical data confirmed an effect of familiarity and typicality, as supported by previous studies, and we confirmed that the disjunctive task was the hardest to learn for humans while our results point toward the family resemblance task as being the easiest. The modelization by the neural network was partially successful at best but we present options that could permit a next generation neural network to model the categorization process truthfully
90

Stéréotype explicite et implicite des personnes porteuses de trisomie 21. Relations entre typicalité du visage, jugement sur l'intelligence et niveau cognitif / Explicit and implicit stereotyping of trisomy 21. Relationships between typicality of faces, judgment of intelligence and cognitive level.

Enéa Drapeau, Claire 20 December 2012 (has links)
La trisomie 21 (t21) est l'anomalie génétique la plus fréquente à l'origine d'une déficience intellectuelle. Bien que la recherche concernant le stéréotype social de la t21 soit limitée, les personnes porteuses de t21, et particulièrement les enfants, semblent être associées à des traits de personnalité tels que « affectueux » et « heureux », les caractéristiques positives l'emportant sur les négatives comme « retardé ». Cependant, ce stéréotype positif coexiste avec des attitudes ambivalentes notamment à propos de l'intégration scolaire de ces enfants. L'objectif principal de cette thèse est d'étudier ce stéréotype au niveau implicite ainsi que l'impact des caractéristiques faciales sur le stéréotype au niveau explicite et implicite. Nos résultats confirment d'une part, un stéréotype social positif explicite dans des échantillons d'étudiants, d'adultes non étudiant et de professionnels du handicap intellectuel. Les visages d'enfants présentant plus de traits faciaux associés à la t21 sont associés à un stéréotype moins positif que ceux en présentant moins. D'autre part, nous mettons en évidence un stéréotype négatif au niveau implicite, même chez les professionnels du handicap. Nous étudions l'influence des variables individuelles sexe, familiarité avec la t21 et théories implicites de l'intelligence sur le stéréotype explicite et implicite. Puis, nous montrons une relation négative entre la typicalité des visages et le jugement sur l'intelligence alors que nous n'observons pas de relation significative entre la typicalité des visages et le niveau cognitif. Nous discutons l'implication de ces résultats sur l'étude du stéréotype et sur les personnes stigmatisées. / Trisomy 21 (t21) or Down syndrome is the most frequent genetic disorder associated with intellectual disability. Although research on the social stereotype toward t21 is very limited, it seems that persons with t21 are typically viewed as “affectionate” and “happy”; with positive personality traits prevailing over the negative ones (e.g., “mentally retarded”). However, this positive stereotype coexists with ambivalent attitudes. The main objective of this study was to investigate the stereotype at the implicit level and the impact of t21 facial features on the stereotype of t21 at the both explicit and implicit levels. Our results confirm, on one hand, a positive social stereotype explicit in samples of young adult students, non-student adults and professional caregivers working with intellectually disabled persons. The positive bias typically found in explicit judgments of children with t21 is smaller for those whose facial features are highly characteristic of this disorder, compared to their counterparts with less distinctive features and to typically developing children. On the other hand, we also show that this bias can coexist with negative evaluations at the implicit level, even among professional caregivers but to a lesser extent. We study the influence of individual variables sex, familiarity with the t21 and implicit theories of intelligence on explicit and implicit stereotypes. Finally, we show a negative relationship between t21 typicality of faces and the judgment of the intelligence as we do not observe a significant relationship between typicality and the cognitive level. We discuss the implications of these results.

Page generated in 0.066 seconds