• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 528
  • 225
  • 59
  • 31
  • 8
  • 5
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • Tagged with
  • 863
  • 241
  • 154
  • 152
  • 144
  • 138
  • 123
  • 118
  • 108
  • 104
  • 100
  • 92
  • 86
  • 85
  • 78
  • 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.
321

Repérage d'émergence de formes dans les groupes, le cas d'un groupe en formation / Identifying the emerging forms in groups, the case of a learning group

Bignalet-cazalet, Denis 11 December 2012 (has links)
Alors que l’économie semble bien en passe (si elle ne l’est déjà) de devenir « la » science « humaine » prenant le pas sur toutes les autres, on peut se demander s’il est encore temps et pertinent de se préoccuper de groupe. Pourtant, il demeure incontestable que le groupe se révèle une manière très opérante de parler de changement, de pratiquer le changement. De plus, il constitue un moyen incontournable de faire du lien entre les individus (les « atomes » sociaux). Ainsi, la première partie de ce travail est-elle consacrée à retracer le parcours de la science des groupes, la psychosociologie. Puis nous étudions différents paradigmes qui ont encadré, accompagné les tentatives de modélisation de l’apprentissage (ou de la cognition) au cours du XXe siècle. Des approches qui ont, au fil du temps, pris de plus en plus en compte l’environnement dans lequel s’opère cette cognition pour la concevoir comme un processus à la fois individuel et collectif. Dans cette articulation la notion de représentation occupe une place de choix. C’est ainsi que nous sommes conduits à étudier les nombreux aspects que recouvre cette notion de représentation. Ces réflexions nous amènent à la question de la forme, des formes qui organisent et tendent à normaliser la vie d’un groupe. Cela nous donne ensuite l’occasion de nous interroger sur ce qui caractérise un groupe ainsi que de réfléchir à propos de quelques outillages qui permettent de le modéliser — lui et les phénomènes auxquels il est soumis. Nous voyons combien il est important d’utiliser ces outillages non pas en les comparant ou en les opposant les uns les autres mais en nous efforçant de les associer à partir d’une nécessaire multiréférentialité. C’est ce à quoi nous mène aussi une réflexion épistémologique que nous entreprenons pour nous aider à situer la recherche, plaçant résolument l’ « observateur » dans l’action, dans une posture phénoménologique. Cela nous donne l’opportunité de faire le point sur les difficultés que rencontre ce type de recherche, si l’on reste dans le cadre d’une démarche positiviste longtemps adoptée par les sciences « dures ».Enfin, nous sommes amenés à utiliser ces différents points de vue pour appréhender les évolutions suivies par un groupe en formation, durant une semaine. Au cours de l’exploitation des matériaux laissés par ce groupe, nous relevons que détecter les formes (qui structurent son organisation) permet de modéliser son parcours. Mais nous sommes aussi conduits à proposer que le repérage de l’émergence des formes constitue un outillage susceptible de recadrer l’ensemble des approches employées pour décrire les groupes. / While economy seems about (if it’s not the case) to become “the” “Human” Science overwhelming all the others, we can wonder whether the notion of group still matters. Through, the group undeniably allows to speak and to enact change. Moreover, it’s unquestionably the best away to link people (social “atoms”). Thus, the first part of this work is devoted to retracing the process of psychosociology, the science of groups. Then, we’ll study the different paradigms which have paved the attempts to design learning (or cognition) through the 20th century. Decade after decade, these approaches have more and more taken into account the environment in which this cognition works in order to be concerned as an ongoing process both individual and collective. In this approach, the notion of representation is prominent, as such we have to study the many aspects it includes. So, how can these forms normalize the life of a group? Then, we can ask ourselves what mainly characterizes a group and try to define some tools which tend to design it as well as the phenomena depending on it. We can see how important it is to use these tools neither comparing or opposing one another but trying to make a link between them, considering several references as our starting point. An epistemological study also leads us to this conclusion, a study we have led in order to situate search, putting the “observer” into action in a phenomenological position. This is an opportunity for us to take an inventory of the difficulties such a type of search usually faces, if we assume we confine ourselves to a positivist approach adopted by the “fundamental” sciences for long.Lastly, according to these different points of view, we’ll watch the progress made by a one week learning group. Thanks to their work, we can notice that identifying the forms (which structure its organisation) allows one to design its process. Nevertheless, we can also assume that identifying the emerging forms constitutes a set of tools likely to make the approaches used to describe groups fit within the scope.
322

Imagerie sismique de la proche sub-surface : modification de l'inversion des formes d'onde pour l'analyse des ondes de surface / Two-dimensional near-surface seismic imaging with surface waves : alternative methodology for waveform inversion

Pérez Solano, Carlos Andrés 09 December 2013 (has links)
L’amélioration des images sismiques peut aider à mieux contraindre l’exploration deshydrocarbures. Les ondes élastiques qui se propagent dans la Terre peuvent être classifiéescomme ondes de volume et ondes de surface. Si ces dernières sont les plus énergétiques,seules les ondes de volume sont couramment considérées comme des signaux utiles.Cependant, les ondes de surface sont utiles pour caractériser la proche sub-surface.Classiquement, les ondes de surface sont analysées dans des contextes de propriétésélastiques localement 1D.Nous proposons une modification de l’inversion des formes d’onde classique pourreconstruire des profils de propriétés 2D (la windowed-Amplitude Waveform Inversion, w-AWI). La w-AWI est spécialement robuste en ce qui concerne le choix du modèle initial.Nous appliquons la w-AWI aux données synthétiques ainsi qu’aux données réelles, montrantque cette approche permet de récupérer des propriétés 2D. / High-resolution seismic imaging is essential to improve results of hydrocarbon exploration.Elastic waves propagate in the Earth as body and surface waves, the latter being the mostenergetic ones. Body waves are preferred for exploration seismic imaging while surfacewaves are usually considered to be noise. However, it has been recognised that the nearsurface can be characterised by analysing surface waves and that such result may improvethe outcome of body-wave processing. Currently, surface waves analysis leads to retrievelocal 1D property profiles.We propose a waveform-based inversion procedure to derive 2D velocity models fromsurface waves. This method consists of a misfit functional modification of classical FullWaveform Inversion and we call it windowed-Amplitude Waveform Inversion (w-AWI). Weshow that w-AWI is robust regarding the choice of initial velocity model. We apply w-AWI tosynthetic and real data obtaining encouraging near-surface imaging results
323

Optique astronomique et plasticité : développements en fabrication optique pour des miroirs actifs de formes libres / Astronomical optics and plasticity : developments in optical fabrication dedicated to freeform active mirrors.

Challita, Zalpha 05 December 2013 (has links)
La prochaine décennie instrumentale en astronomie se veut extrême. Elle s’ouvre avec l'arrivée des ELTs (Extremely Large Telescopes). Leur miroir primaire géant permettra d'augmenter considérablement la quantité de flux collectée et d'améliorer la résolution angulaire, paramètres clés pour l'observation et l'imagerie de sources astrophysiques. Des conséquences directes sont l'augmentation de la complexité, de l'envergure et de la masse des instruments placés aux foyers de ces télescopes. Une solution passe par l'utilisation de miroirs de formes libres. Or aujourd’hui, obtenir ces formes exotiques via les méthodes traditionnelles de fabrication optique n’est pas possible et un appel à de nouvelles ruptures technologiques s'avère nécessaire. Cette thèse présente un travail de recherche et développement amont portant sur un procédé de fabrication innovant permettant de fournir des miroirs de formes libres, avec les performances optiques requises en observations visibles et infrarouges. Ce procédé est une évolution des techniques d'Optique Active et exploite la déformation plastique des matériaux métalliques. Cependant, le domaine plastique reste un domaine de comportements non-linéaires analytiquement complexes. Il est alors d'intérêt de comparer des modèles par éléments finis avec des essais réels. Ces derniers ont nécessité la mise en place de la gamme complète de fabrication des substrats et des moyens d’essais. Les premiers miroirs obtenus pourront mettre en évidence les paramètres principaux à prendre en compte ainsi que leur niveau de sensibilité, pour ensuite converger vers des modèles éléments finis fiables et une solution de fabrication optique maîtrisée. / The next instrumental decade in astronomy aims to be extreme. It opens with the arrival of ELTs (Extremely Large Telescopes). Their giant primary mirrors will increase the light collecting power and the angular resolution, key parameters for observing and imaging of celestial bodies. However, this also leads to an increase in the complexity, size and weight of their focal-plane instruments, to minimize flux lost and to correct for the aberrations introduced. A solution would be to implement freeform mirrors inside the optical systems of these instruments. Today, it is not possible to obtain these exotic mirror shapes using the current optical fabrication techniques and new technological breakthroughs in this domain are essential. This PhD thesis present research and development work, in upstream phase, of an innovative manufacturing process to supply freeform mirrors, which should meet required optical performances in Visible and Infrared wavelength astronomical observations. This method is an evolution of Active Optics techniques and based on the ability of metallic materials to plasticize. However, the plasticity of metallic materials remains a field of non-linear behaviours and analytically complex. It is important to compare modeling from finite element analysis and real tests. For these tests, the complete manufacturing steps of the metallic substrates were put in place. The first mirrors obtained will highlight the main working parameters and their sensibility levels, and then converge toward reliable finite elements models and a mastered solution of optical freeform mirrors fabrication.
324

Automated reasoning techniques for hybrid logics / Techniques de raisonnement automatique pour les logiques hybrides

Gorín, Daniel Alejandro 09 December 2009 (has links)
Les logiques hybrides accroissent les logiques modales avec des éléments pour décrire et raisonner à propos de l'identité, ce qui est crucial dans certaines situations. Les logiques modales que l'on connaît comme ``hybrides'' aujourd'hui remontent au travaux de Prior dans les années 1960, mais leur étude systématique n'a commencé qu'au bout des années 1990. Elles sont intéressantes en grande partie car elles comblent un manque en matière d'expressivité dans les logiques modales. D'ailleurs, elles sont connues parfois comme des ``logiques modales avec égalité''. L'un des thèmes centraux de cette thèse est le problème de la satisfiabilité pour celle qui est probablement la mieux connue des logiques hybrides: le système H(@,dwn), et pour certaines de ses sous-logiques. La satisfiabilité est le problème fondamental en raisonnement automatique. Dans le cas des logiques hybrides, elle a été étudiée essentiellement par la méthode des tableaux. Dans cette thèse, nous essayons de compléter le panorama en explorant la satisfiabilité des logiques hybrides par d'autres méthodes: la résolution du premier ordre et des variantes de calcul de résolution qui manipulent directement des formules hybrides. Nous présentons un certain nombre de traductions en temps linéaire de H(@,dwn) à la logique de premier ordre qui préservent la satisfiabilité. Elles sont conçues de façon telle qu'elles réduisent l'espace de recherche. Ensuite nous dirigeons notre attention vers les calculs qui manipulent directement des formules hybrides. En particulier, nous considérons le calcul de résolution directe. Inspirés par la résolution du premier ordre, nous transformons ce calcul en un calcul de résolution ordonnée avec des fonctions de sélection, et nous prouvons qu'il a la propriété de réduction des contre-exemples. Nous concluons ainsi qu'il est réfutationnellement complet et qu'il est compatible avec le fameux critère standard de redondance. Nous montrons également qu'une version raffinée de ce calcul constitue un procédure de décision pour H(@), un fragment décidable de H(@,dwn). Dans la dernière partie de cette thèse, nous explorons certaines formes normales des logiques hybrides et d'autres logiques modales étendues. Nous nous intéressons aux formes normales où certaines modalités ne sont jamais présentes dans la portée d'autres opérateurs modaux. Nous montrons qu'il est possible de profiter de ce type de transformations sous la forme d'un prétraitement, dans le but de réduire le nombre d'inférences nécessaires pour un prouveur modal. En nous efforçant de formuler ces résultats en tenant compte d'autres logiques modales étendues, nous arrivons à une formulation de la sémantique modale par un nouveau type de modèles définis de façon coinductif. Plusieurs logiques modales étendues (dont les logiques hybrides) peuvent être définies par des classes de modèles coinductifs. Ainsi, des résultats qui étaient habituellement prouvés séparément pour chaque langage (mais dont la preuve n'était souvent que de routine) peuvent être démontrés d'une façon générale. / Hybrid logics augment classical modal logics with machinery for describing and reasoning about identity, which is crucial in many settings. Although modal logics we would today call ``hybrid'' can be traced back to the work of Prior in the 1960's, their systematic study only began in the late 1990's. Part of their interest comes from the fact they fill an important expressivity gap in modal logics. In fact, they are sometimes referred to as ``modal logics with equality''. One of the unifying themes of this thesis is the satisfiability problem for the arguably best-known hybrid logic, H(@,dwn), and some of its sublogics. Satisfiability is the basic problem in automated reasoning. In the case of hybrid logics it has been studied fundamentally using the tableaux method. In this thesis we attempt to complete the picture by investigating satisfiability for hybrid logics using first-order resolution (via translations) and variations of a resolution calculus that operates directly on hybrid formulas. We present firstly several satisfiability-preserving, linear-time translations from H(@,dwn) to first-order logic. These are conceived in a way such that they tend to reduce the search space of a resolution-based theorem prover for first-order logic. We then move our attention to resolution-based calculi that work directly on hybrid formulas. In particular, we will consider the so-called direct resolution calculus. Inspired by first-order logic resolution, we turn this calculus into a calculus of ordered resolution with selection functions and prove that it possesses the reduction property for counterexamples from which it follows its completeness and that it is compatible with the well-known standard redundancy criterion. We also show that certain refinement of this calculus constitutes a decision procedure for H(@), a decidable fragment of H(@,dwn). In the last part of this thesis we investigate certain normal forms for hybrid logics and other extended modal logics. We are interested in normal forms where certain modalities can be guaranteed not to occur under the scope of other modal operators. We will see that these kind of transformations can be exploited in a pre-processing step in order to reduce the number of inferences required by a modal prover. In an attempt to formulate these results in a way that encompasses also other extended modal logics, we arrived at a formulation of modal semantics in terms of a novel type of models that are coinductively defined. Many extended modal logics (such as hybrid logics) can be defined in terms of classes of coinductive models. This way, results that had to be proved separately for each different language (but whose proofs were known to be mere routine) now can be proved in a general way.
325

Deep Neural Networks for Large Vocabulary Handwritten Text Recognition / Réseaux de Neurones Profonds pour la Reconnaissance de Texte Manucrit à Large Vocabulaire

Bluche, Théodore 13 May 2015 (has links)
La transcription automatique du texte dans les documents manuscrits a de nombreuses applications, allant du traitement automatique des documents à leur indexation ou leur compréhension. L'une des approches les plus populaires de nos jours consiste à parcourir l'image d'une ligne de texte avec une fenêtre glissante, de laquelle un certain nombre de caractéristiques sont extraites, et modélisées par des Modèles de Markov Cachés (MMC). Quand ils sont associés à des réseaux de neurones, comme des Perceptrons Multi-Couches (PMC) ou Réseaux de Neurones Récurrents de type Longue Mémoire à Court Terme (RNR-LMCT), et à un modèle de langue, ces modèles produisent de bonnes transcriptions. D'autre part, dans de nombreuses applications d'apprentissage automatique, telles que la reconnaissance de la parole ou d'images, des réseaux de neurones profonds, comportant plusieurs couches cachées, ont récemment permis une réduction significative des taux d'erreur.Dans cette thèse, nous menons une étude poussée de différents aspects de modèles optiques basés sur des réseaux de neurones profonds dans le cadre de systèmes hybrides réseaux de neurones / MMC, dans le but de mieux comprendre et évaluer leur importance relative. Dans un premier temps, nous montrons que des réseaux de neurones profonds apportent des améliorations cohérentes et significatives par rapport à des réseaux ne comportant qu'une ou deux couches cachées, et ce quel que soit le type de réseau étudié, PMC ou RNR, et d'entrée du réseau, caractéristiques ou pixels. Nous montrons également que les réseaux de neurones utilisant les pixels directement ont des performances comparables à ceux utilisant des caractéristiques de plus haut niveau, et que la profondeur des réseaux est un élément important de la réduction de l'écart de performance entre ces deux types d'entrées, confirmant la théorie selon laquelle les réseaux profonds calculent des représentations pertinantes, de complexités croissantes, de leurs entrées, en apprenant les caractéristiques de façon automatique. Malgré la domination flagrante des RNR-LMCT dans les publications récentes en reconnaissance d'écriture manuscrite, nous montrons que des PMCs profonds atteignent des performances comparables. De plus, nous avons évalué plusieurs critères d'entrainement des réseaux. Avec un entrainement discriminant de séquences, nous reportons, pour des systèmes PMC/MMC, des améliorations comparables à celles observées en reconnaissance de la parole. Nous montrons également que la méthode de Classification Temporelle Connexionniste est particulièrement adaptée aux RNRs. Enfin, la technique du dropout a récemment été appliquée aux RNR. Nous avons testé son effet à différentes positions relatives aux connexions récurrentes des RNRs, et nous montrons l'importance du choix de ces positions.Nous avons mené nos expériences sur trois bases de données publiques, qui représentent deux langues (l'anglais et le français), et deux époques, en utilisant plusieurs types d'entrées pour les réseaux de neurones : des caractéristiques prédéfinies, et les simples valeurs de pixels. Nous avons validé notre approche en participant à la compétition HTRtS en 2014, où nous avons obtenu la deuxième place. Les résultats des systèmes présentés dans cette thèse, avec les deux types de réseaux de neurones et d'entrées, sont comparables à l'état de l'art sur les bases Rimes et IAM, et leur combinaison dépasse les meilleurs résultats publiés sur les trois bases considérées. / The automatic transcription of text in handwritten documents has many applications, from automatic document processing, to indexing and document understanding. One of the most popular approaches nowadays consists in scanning the text line image with a sliding window, from which features are extracted, and modeled by Hidden Markov Models (HMMs). Associated with neural networks, such as Multi-Layer Perceptrons (MLPs) or Long Short-Term Memory Recurrent Neural Networks (LSTM-RNNs), and with a language model, these models yield good transcriptions. On the other hand, in many machine learning applications, including speech recognition and computer vision, deep neural networks consisting of several hidden layers recently produced a significant reduction of error rates. In this thesis, we have conducted a thorough study of different aspects of optical models based on deep neural networks in the hybrid neural network / HMM scheme, in order to better understand and evaluate their relative importance. First, we show that deep neural networks produce consistent and significant improvements over networks with one or two hidden layers, independently of the kind of neural network, MLP or RNN, and of input, handcrafted features or pixels. Then, we show that deep neural networks with pixel inputs compete with those using handcrafted features, and that depth plays an important role in the reduction of the performance gap between the two kinds of inputs, supporting the idea that deep neural networks effectively build hierarchical and relevant representations of their inputs, and that features are automatically learnt on the way. Despite the dominance of LSTM-RNNs in the recent literature of handwriting recognition, we show that deep MLPs achieve comparable results. Moreover, we evaluated different training criteria. With sequence-discriminative training, we report similar improvements for MLP/HMMs as those observed in speech recognition. We also show how the Connectionist Temporal Classification framework is especially suited to RNNs. Finally, the novel dropout technique to regularize neural networks was recently applied to LSTM-RNNs. We tested its effect at different positions in LSTM-RNNs, thus extending previous works, and we show that its relative position to the recurrent connections is important. We conducted the experiments on three public databases, representing two languages (English and French) and two epochs, using different kinds of neural network inputs: handcrafted features and pixels. We validated our approach by taking part to the HTRtS contest in 2014. The results of the final systems presented in this thesis, namely MLPs and RNNs, with handcrafted feature or pixel inputs, are comparable to the state-of-the-art on Rimes and IAM. Moreover, the combination of these systems outperformed all published results on the considered databases.
326

L'écriture de la voix. Poétique du rondeau sans musique à la fin du Moyen Âge (1350-1465) / Writing Voice. Poetics of the Textual Rondeau in the Late Middle Ages (1350-1465)

Sieffert, Mathias 25 June 2018 (has links)
Forme héritée du rondet de carole devenue un genre polyphonique à l’époque de l’ars nova, le rondeau s’est paradoxalement développé, à la fin du Moyen Âge, en tant que genre poétique sans musique. Cette thèse se propose ainsi d’étudier comment, de Guillaume de Machaut à Charles d’Orléans, une forme à la fois brève et répétitive a su paradoxalement s’imposer comme un genre textuel autonome. La première partie de ce travail, « Le fantôme de la voix », envisage la dette que le rondeau textuel doit à la tradition musicale. Après un essai de définition diachronique, nous interrogerons l’effet de l’absence de musique sur l’évolution de la mise en page du rondeau, puis la manière dont les récits à interpolations lyriques jouent de l’imaginaire musical, vocal et épistolaire d'une forme "hantée". La deuxième partie, « L’espace du manuscrit » interroge les « mises en livres » du rondeau. Une typologie distinguant la "collection hybride", la "section" et le "canzoniere", initie un parcours dans les manuscrits de Machaut, Froissart, Christine de Pizan, Eustache Deschamps, Oton de Granson et Jean de Garencières. Nous proposons une analyse détaillée d’un cas particulier : les chançons de Charles d’Orléans, copiées vers 1440 dans le fonds primitif du BnF fr. 25458. Dans la troisième partie, il s’agit de concevoir la naissance d’un « genre », qui se cristallise dans le goût de l'énigme et le choix de l’ornatus difficilis, alors même que la forme se prêtait davantage, au XIVe siècle, à l’ornatus facilis. Les deux derniers chapitres étudient la circulation, la réécriture et le recyclage de refrains intertextuels au sein de plusieurs recueils collectifs transformés, par le mélange de l'ancien et du nouveau, en véritables « anthologies créatives ». / Nherited from the 13th-Century rondet de carole, the rondeau became a polyphonic musical genre at the age of the ars nova, and tends to be used, in 14th and 15th Centuries manuscripts, as a textual lyric. This thesis uncovers how, from Guillaume de Machaut to Charles d’Orléans, a short and redundant poetical text, which was supposed to be sung became non musical poetry. In the first part of this study we consider the textual rondeau as a rhetorical « ghost of a voice » : we study the history and genealogy of the form from a musical and rhetorical perspective, show how the absence of music impacts the layout and how fiction and narrative relocate the interpolated textual rondeaux in a vocal, musical or epistolary horizon. The next part investigates the way scribes and poets gather collections of rondeaux from a codicological perspective. We offer a typology that distinguishes « hybrid collections », « sections » and « canzonieri ». Through these three kinds of « mises en recueil », we analyze the use of the rondeau in manuscripts from Machaut, Froissart, Christine de Pizan, Eustache Deschamps, Oton de Granson and Jean de Garencières, which finally leads to a detailed analysis of the chançons by Charles d’Orléans, written c. 1440 in the BnF fr. 25458. The last part examines the rise of a scriptural genre : the poetical evolution of the rondeau reveals a rhetorical shift from the ornatus facilis to the ornatus difficilis, especially with Charles d’Orléans who initiates a fully bloomed literary genre. We then analyze, in the last two chapters, collective practices of quoting and rewriting to show how the rondeau becomes a scriptural game, consisting in expanding and recycling ambiguous formulas, especially in a new kind of collections we call « creative anthologies ».
327

Sobre os dimensionamentos de perfis de aço formados a frio. / Cold-formed steel design.

Silva, Edson Lubas 27 July 2006 (has links)
Os perfis de aço formados a frio possuem até 3 modos de flambagem: local, distorcional e global. Essa diversificação torna muito complexa a verificação de esforços resistentes nesses perfis. Recorre-se, então a métodos simplificados e interativos, com o intuito de fornecer ao engenheiro civil ferramentas que sejam práticas e apresentem um bom resultado. Métodos numéricos, como o MFF (métodos das faixas finitas), apesar de serem mais precisos, não são ainda, de uso corrente em projetos. O enfoque principal deste trabalho são as normas brasileiras de perfis formados a frio NBR 14762:2001 “Dimensionamento de estruturas de aço constituídas por perfis formados a frio" e NBR 6355:2003 “Perfis estruturais de aço formados a frio - Padronização". Comparam-se as tabelas D1 e D2 na NBR14762:2001, referentes à flambagem distorcional, a resultados calculados por meio do processo recomendado pela norma. Verificaram-se quais perfis padronizados pela NBR 6355:2003 dispensam a verificação da resistência por distorção da seção transversal. Uma análise geral de perfis de aço formados a frio, a fim de identificar aqueles que possuem melhor eficiência (perfis que resistem esforços mais elevados com menor área da seção transversal) também é feita. Para a realização desta pesquisa foi desenvolvido um programa de computador. / The cold formed steel members have up to 3 buckling modes: local, distortional and global. This diversification makes very complex the verification of these members’ resistance. For this reason it is used simple and interactive methods to provide the Civil Engineers tools that are practical and present a good result. Although numerical methods such as FDM (Finite Strip Methods) are more precise, they are still not currently used in projects. The main focus of this dissertation is the Brazilian rules regarding the cold formed steel members NBR 14762:2001 “Dimensioning steel structures made of cold formed profiles" and NBR 6355:2003 “Cold formed steel members – Standardizing". It compares the D1 and D2 tables of NBR14762:2001, regarding the distortional buckling, with the calculated results recommended by these rules. In this way it is verified which NBR 6355:2003 standardized profiles do not require the verification of resistance by distortional buckling. It is also made a general analysis of these cold formed steel members. And to make this research it was developed a computer program.
328

Spéculer pour autrui dans un monde incertain. Comment les investisseurs professionnels évaluent les gérants d'actifs financiers / Speculating for others in a world filled with uncertainty. How professional investors evaluate financial asset managers

Larminat, Pierre de 20 March 2013 (has links)
En prenant le cas de l'évaluation des gérants d'actifs financiers par les investisseurs professionnels, la présente thèse étudie les réponses que des agents économiques apportent aux problèmes pratiques que pose la nécessité d'agir et de justifier son action en situation d'incertitude.La thèse marie, dans une perspective durkheimienne, une analyse morphologique du champ de la gestion d'actifs et une analyse des pratiques d'évaluation des gérants par les investisseurs professionnels.La démarche empirique consiste à rassembler des matériaux variés afin d'enregistrer les multiples formes de manifestation d'un fait social total. Les uns sont produits au cours d'une enquête ethnographique du champ de la gestion d'actifs: ce sont des entretiens semi-directifs, des observations directes d'interactions sociales, et des artefacts produits et utilisés dans le cadre des pratiques étudiées. Les autres, statistiques ou données institutionnelles, sont collectés auprès d'acteurs de la gestion d'actifs. Tous ces matériaux sont analysés de manière interprétative.L'analyse morphologique découvre les divisions, les articulations et les proportions des organisations où est pratiquée la gestion d'actifs financiers. L'autonomisation du champ professionnel de la gestion d'actifs s'accompagne d'une division du travail qui place en son centre les gérants, constitués en spéculateurs, c'est-à-dire en agents économiques dont l'action ne s'intéresse qu'aux variations de prix, par opposition aux acteurs dont la fonction est de prolonger le geste spéculatif par un geste marchand. La structure de rémunération des sociétés de gestion nourrit un conflit entre les gérants d'actifs et les commerciaux sur le partage du profit, dont la résolution conduit à une polarisation des sociétés entre un modèle industriel et un modèle artisanal.L'évaluation des gérants d'actifs par les investisseurs professionnels prend son sens dans le cadre de l'appréciation de l'efficacité technique des actions spéculatives par des sujets exposés à une incertitude financière qu'ils s'efforcent de réduire. Les investisseurs professionnels ordonnent leurs pratiques d'évaluation entre une analyse "quantitative" et une analyse "qualitative" des gérants évalués. Contrairement à ce que l'usage de cette forme de classification suggère, ce n'est pas le recours à la quantification ou au calcul en tant que tels qui différencie ces deux types d'analyse, comme s'il s'agissait de deux régimes épistémiques imparfaits mais complémentaires. C'est leur statut dans la relation fonctionnelle qui les lie l'un à l'autre: recherche de la forme de l'incertitude financière d'une part, et recherche des conditions sociales qui l'ont générée d'autre part. Imparfaitement liée aux phénomènes auxquels elle s'applique, la forme de classification "quanti/quali" correspond aux ressources acquises par les investisseurs professionnels au cours de leur trajectoire de socialisation, et mobilisées dans le cadre d'une division sociale du travail où les pratiques d'analyse sont partagées entre des postes et des positions différenciées au sein des organisations.Ce travail complexifie et enrichit la compréhension des pratiques financières et des pratiques de réduction de l'incertitude en montrant qu'elle ne peut faire l'économie de leurs soubassements sociaux. Elle précise le domaine de validité d'une forme de classification et offre aux acteurs concernés le moyen de discuter à nouveaux frais l'efficacité ou la pertinence de leurs procédés d'analyse. / This dissertation uses the evaluation of asset managers by professional investors as a case for the study of the ways in which economic agent deal with the necessity of acting and to give account of one's actions while facing uncertainty.This dissertation follows a durkheimian approach as it combines a morphological analysis of the asset management field with an analysis of evaluation practices of asset managers by professional investors.Empirical materials of various kinds have been gathered, in order to record the numerous ways in which a total social fact manifests itself. Some of the materials derive from an ethnographic research in the field of asset management: these are semi-directive interviews, direct observations of social interactions, and artefacts produced and used as part of the practices that the research investigates. The other materials are statistics or institutional data that have been collected during the field research. Interpretive analysis has been applied to them.The morphological analysis of asset management as a social field highlights the divisions, articulations and proportions of the organizations where financial asset management practices are carried out. The autonomization of asset management as a professional field goes along with a social division of labour that is structured around the asset managers. It makes them become speculators, that is economic agents who focus solely on price variations. By contrast, other actors ensure that the speculative movement is followed by a fully carried out trade. The income structure of asset management firms feeds a conflict between asset managers and salespersons about the distribution of profit. The resolution of this conflict leads to a polarization of asset management firms between firms following a model designed after the manufacturing industry, and firms following a model leaning towards craftmanship.The evaluation of asset managers by professional investors makes sense in a social frame where it stands as an appraisal of the efficiency of speculative actions undertaken by agents who try and reduce the financial uncertainty that they face. Professional investors classify their evaluation practices among a "quantitative" analysis and a "qualitative" analysis of asset managers. Although this form of classification may suggest that the two types of analysis cover two kinds of knowledge that are imperfect yet complementary, it is not quantification or calculation per se that differentiates between them. They are functionally related to each other: assessment of the form taken by financial uncertainty on the one hand, and search for the social conditions that caused uncertainty to take such form on the other hand. The form of classification "quantitative/qualitative" meets imperfectly the phenomena to which it is applied. It matches the social distribution of resources that professional investors gained during their socialization trajectory, and that they mobilized in the frame of a specific kind of social division of labour, where analytic practices are also distributed among differentiated positions within organizations.This dissertation complexifies and enriches the understanding of financial practices and of uncertainty reduction practices by showing that such understanding cannot forget their social foundations. It circumscribes the domain of validity of a specific form of classification and it provides interested actors with tools with which they can discuss anew the efficiency or the relevance of their analytic processes.
329

Statistical models to learn the structural organisation of neural circuits from multimodal brain images : application to Gilles de la Tourette syndrome / Modèles statistiques pour apprendre l'organisation structurelle des circuits neuronaux à partir d'images multimodales du cerveau : application au syndrome de Gilles de la Tourette

Gori, Pietro 08 January 2016 (has links)
Nous proposons un cadre statistique pour analyser les anomalies morphologiques et organisationnelles altérant l'anatomie des circuits neuronaux chez les patients atteints du syndrome de Gilles de la Tourette. Les composants de chaque circuit (matière grise et blanche) sont représentés comme des maillages 3D et intégrés dans un seul complexe. Cela permet d'étudier leur organisation et surtout la connectivité structurelle. La méthode proposée est basée sur une approche statistique appelée construction d'atlas qui résulte en un template, capturant les invariants de la population, et en déformations template-vers-sujets, décrivant la variabilité morphologique. Premièrement, nous intégrons la construction d'atlas dans un cadre bayésien qui permet d'estimer automatiquement des paramètres autrement fixés. Deuxièmement, nous réduisons les ressources de calcul nécessaires au traitement de faisceaux de fibres en définissant un schéma d'approximation basée sur un nouveau modèle appelé courants pondérés. Troisièmement, nous décrivons un nouveau modèle de déformation pour la construction d'atlas qui permet de capturer les variations morphologiques et organisationnelles. On montre l'efficacité de la méthode par comparaison de deux groupes de 44 patients et 22 témoins. Les résultats soulignent des anomalies sur la forme des structures de la matière grise et sur la connectivité structurelle. / We propose a statistical framework to analyse morphological and organisational anomalies altering the anatomy of neural circuits in patients with Gilles de la Tourette syndrome. The components of each circuit, from both white and grey matter, are represented as 3D meshes and integrated in a single shape complex. This allows to study their organisation and in particular the structural connectivity. The proposed methodology is based on a statistical approach called atlas construction which results in a template complex, capturing the invariants of the population and in template-to-subject deformations, describing the morphological variability. First, we embed the atlas construction in a Bayesian framework which allows to automatically estimate important parameters otherwise fixed by the user. Second, we reduce the important computational resources required to process fiber bundles by defining an approximation scheme based on a new computational model called weighted currents. Third, we describe a new deformation scheme for the atlas construction which permits to model variations in structural connectivity and at the same time to capture global anatomical changes. We show the effectiveness of the proposed method by comparing two groups of 44 patients and 22 controls respectively. Results highlight anomalies about both the shape of grey matter structures and structural connectivity.
330

Les niveaux psychologiques de Platon : une théorie de la connaissance d'après la cybernétique / Plato's Psychological Levels : a theory of knowledge in the words of cybernetics

Roche, Florentin 29 September 2017 (has links)
Cette recherche se propose de montrer l’existence de ce que nous appelons des « niveaux psychologiques » chez Platon, en empruntant à la théorie des types logiques, formulée par B. Russel et A.N. Whitehead, puis revisitée par l’anthropologue G. Bateson au sein du mouvement cybernétique. Par « niveaux psychologiques », nous entendons des états psychiques d’être en relation avec le réel sur le mode analogique. Nous défendons la thèse selon laquelle la théorie platonicienne des formes n’oblige pas à penser des degrés de réalité de la chose mais bien un processus de réalisation de l’objet en soi par le sujet de l’expérience. En tant que tels, les niveaux psychologiques correspondent donc à des niveaux d’apprentissages de la réalité. Ainsi, la méthode dialectique utilisée par Socrate accompagne le progrès de l’âme, pilotée par l’intellect, au moyen de la raison qui relie et distingue les phénomène sensibles. Cette double fonction caractérise l’exercice du langage et rend compte du mouvement de la pensée. La succession et la répétition des ajustements opérés à partir de l’expérience conduisent ainsi à une meilleure définition de la forme de l’objet en soi, i.e. une saisie plus nette de ce qui, de l’intelligible, passe dans le sensible. De ce fait, la théorie platonicienne de la connaissance apparaît comme une théorie du processus et non comme une théorie du contenu de savoir, qui mène du théâtre intérieur de nos représentations, limitées par le temps d’une vie et l’espace d’un corps, au spectacle de l’infini. En outre, parce qu’il existe un seul chemin pour penser ce qui est réellement, l’examen psychologique des causes de soi rejoint nécessairement la recherche philosophique sur les causes du monde, dans une cosmologie. / This research intends to demonstrate the existence of what we call "psychological levels" in Plato's philosophy, taking from the theory of logical types, formulated by B. Russel and A.N. Whitehead, then restyled by the anthropologist G. Bateson, inside the cybernetic movement. By "psychological levels", we mean psychic states of being in relation with reality under an analogical scheme. We defend the argument that Plato’s theory of Forms does not imply degrees of reality in the thing but a process of realization of the object in itself through the subject experiencing it. As such, psychological levels refer to levels of learning what is reality. Thus, the Socratic dialectical method accompanies the soul’s progress, driven by the intellect, thanks to reason which relates and distinguishes the sensible phenomena. This double function characterizes what language is and gives reason for the movement of thought. Succession and repetition of the adjustments made from the experience of the thing lead to a better definition of the Form of the object in itself, i.e. a clearer acquisition of the intelligible part of the thing that is passing through its sensible expression. Hence, Plato’s theory of knowledge stands like a process theory more than a content theory, by conducting the search for truth from the inner theatre of our representations, limited by a lifetime and the space of a body, to the spectacle of the infinite. Furthermore, since there is only one path in order to think what exists in reality, the psychological research into the causes of thyself necessarily fits in the philosophical research into the causes of the world — a cosmology.

Page generated in 0.0349 seconds