• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 140
  • 40
  • 18
  • 16
  • 15
  • 6
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 271
  • 47
  • 34
  • 34
  • 30
  • 28
  • 28
  • 23
  • 21
  • 21
  • 20
  • 19
  • 18
  • 18
  • 17
  • 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.
261

Perception et apprentissage des structures musicales et langagières : études des ressources cognitives partagées et des effets attentionnels / Musical and linguistic structure perception and learning : investigation of shared cognitive resources and attentionnal effects

Hoch, Lisianne 09 July 2010 (has links)
La musique et le langage sont des matériels structurés à partir de principes combinatoires. Les auditeurs ont acquis des connaissances sur ces régularités structurelles par simple exposition. Ces connaissances permettent le développement d’attentes sur les événements à venir en musique et en langage. Mon travail de thèse étudiait deux aspects de la spécificité versus la généralité des processus de traitement de la musique et du langage: la perception et l’apprentissage statistique.Dans la première partie (perception), les Études 1 à 4 ont montré que le traitement des structures musicales influence le traitement de la parole et du langage présenté en modalité visuelle, reflétant l’influence des mécanismes d’attention dynamique (Jones, 1976). Plus précisément, le traitement des structures musicales interagissait avec le traitement des structures syntaxiques, mais pas avec le traitement des structures sémantiques en langage (Étude 3). Ces résultats sont en accord avec l’hypothèse de ressources d’intégration syntaxique partagées de Patel (2003). Nos résultats et les précédentes études sur les traitements simultanés des structures musicales et linguistiques (syntaxiques et sémantiques), nous ont incités à élargir l’hypothèse de ressources d’intégration partagées au traitement d’autres d’informations structurées qui nécessitent également des ressources d’intégration structurelle et temporelle. Cette hypothèse a été testée et confirmée par l’observation d’une interaction entre les traitements simultanés des structures musicales et arithmétiques (Étude 4). Dans la deuxième partie (apprentissage), l’apprentissage statistique était étudié en comparaison directe pour des matériels verbaux et non-verbaux. Plus particulièrement, nous avons étudié l’influence de l’attention dynamique guidée par des indices temporels non-acoustiques (Études 5 et 6) et acoustiques (Étude 7) sur l’apprentissage statistique. Les indices temporels non-acoustiques influençaient l’apprentissage statistique de matériels verbaux et non-verbaux. En accord avec la théorie de l’attention dynamique (Jones, 1976), une hypothèse est que les indices temporels non-acoustiques guident l’attention dans le temps et influencent l’apprentissage statistique.Les études de ce travail de thèse ont suggéré que les ressources d’attention dynamique influençaient la perception et l’apprentissage de matériels structurés et que les traitements des structures musicales et d’autres informations structurées (e.g., langage, arithmétique) partagent des ressources d’intégration structurelle et temporelle. L’ensemble de ces résultats amène de nouvelles questions sur la possible influence du traitement des structures auditives tonales et temporelles sur les capacités cognitives générales de séquencement notamment requises pour la perception et l’apprentissage d’informations séquentielles structurées.Jones, M. R. (1976). Time, our lost dimension: Toward a new theory of perception, attention, and memory. Psychological Review, 83(5), 323-355. doi:10.1037/0033-295X.83.5.323Patel, A. D. (2003). Language, music, syntax and the brain. Nature Neuroscience, 6(7), 674-681. doi:10.1038/nn1082 / Music and language are structurally organized materials that are based on combinatorial principles. Listeners have acquired knowledge about these structural regularities via mere exposure. This knowledge allows them to develop expectations about future events in music and language perception. My PhD investigated two aspects of domain-specificity versus generality of cognitive functions in music and language processing: perception and statistical learning.In the first part (perception), musical structure processing has been shown to influence spoken and visual language processing (Études 1 & 4), partly due to dynamic attending mechanisms (Jones, 1976). More specifically, musical structure processing has been shown to interact with linguistic-syntactic processing, but not with linguistic-semantic processing (Étude 3), thus supporting the hypothesis of shared syntactic resources for music and language processing (Patel, 2003). Together with previous studies that have investigated simultaneous musical and linguistic (syntactic and semantic) structure processing, we proposed that these shared resources might extend to the processing of other structurally organized information that require structural and temporal integration resources. This hypothesis was tested and supported by interactive influences between simultaneous musical and arithmetic structure processing (Étude 4). In the second part (learning), statistical learning was directly compared for verbal and nonverbal materials. In particular, we aimed to investigate the influence of dynamic attention driven by non-acoustic (Études 5 & 6) and acoustic (Étude 7) cues on statistical learning. Non-acoustic temporal cues have been shown to influence statistical learning of verbal and nonverbal artificial languages. In agreement with the dynamic attending theory (Jones, 1976), we proposed that non-acoustic temporal cues guide attention over time and influence statistical learning.Based on the influence of dynamic attending mechanisms on perception and learning and on evidence of shared structural and temporal integration resources for the processing of musical structures and other structured information, this PhD opens new questions about the potential influence of tonal and temporal auditory structure processing on general cognitive sequencing abilities, notably required in structured sequence perception and learning.Jones, M. R. (1976). Time, our lost dimension: Toward a new theory of perception, attention, and memory. Psychological Review, 83(5), 323-355. doi:10.1037/0033-295X.83.5.323Patel, A. D. (2003). Language, music, syntax and the brain. Nature Neuroscience, 6(7), 674-681. doi:10.1038/nn1082
262

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Sabas, Arsène 07 1900 (has links)
Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect. / One of the main goals of software engineering is to enable the construction of large, complex and reliable software in timely fashion. Object-oriented (OO) technology has provided modeling and programming principles and techniques that allow developing complex software systems both in academic and industrial areas. In return, experience gained in OO system development has allowed discovering some limitations of object technology (e.g., code scattering and poor traceability problems). Aspect Oriented (AO) Technology is a post-object-oriented technology emerged to overcome limitations of Object Oriented (OO) Technology, such as the crosscutting concern problem. Crosscutting concerns are scattered and tangled concerns. Major goals of Aspect Oriented Programming (AOP) include improving modularity, cohesion, and overall software quality. Aspect Oriented Programming results in the evolution of programming activities to fullblown software engineering processes, to preserve modularity and traceability, which are two important properties of high-quality software. Yet, there are also many challenges in AO Technology. Reasoning, specification, and verification of AO programs present unique challenges especially as such programs evolve over time. Consequently, modular reasoning of such programs is highly attractive as it enables tractable evolution, otherwise necessitating that the entire program be reexamined each time a component is changed or is added. It is well known in the literature, however, that modular reasoning about AO programs is difficult due to the fact that the aspects applied often alter the behavior of the base components [47]. The same modular reasoning difficulties are also present in the specification and verification phases of software development process. To the best of our knowledge, AO modular specification and verification is a weakly covered subject and constitutes an interesting open research field. Also, aspect interaction is a major concern in the aspect-oriented community. To deal with these problems, we choose to use category theory and algebraic specification techniques. To achieve the above thesis goals, we use the work of Wiels [110] and other contributions such as the one described in [25]. We assume at the beginning that the system under development is already decomposed into aspect and class components. The first contribution of our thesis is the extension of the algebraic specification technique to the notion of aspect. Secondly, we define a logic, LA that is used in specification bodies to describe the behavior of these components. The third contribution concerns the defini tion of the weaving operator corresponding to the weaving interconnection relationship between aspect modules and class modules. The fourth contribution consists of the design of a prevention policy that is used to prevent or avoid undesirable aspect interactions in aspect-oriented systems.
263

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Sabas, Arsène 07 1900 (has links)
Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect. / One of the main goals of software engineering is to enable the construction of large, complex and reliable software in timely fashion. Object-oriented (OO) technology has provided modeling and programming principles and techniques that allow developing complex software systems both in academic and industrial areas. In return, experience gained in OO system development has allowed discovering some limitations of object technology (e.g., code scattering and poor traceability problems). Aspect Oriented (AO) Technology is a post-object-oriented technology emerged to overcome limitations of Object Oriented (OO) Technology, such as the crosscutting concern problem. Crosscutting concerns are scattered and tangled concerns. Major goals of Aspect Oriented Programming (AOP) include improving modularity, cohesion, and overall software quality. Aspect Oriented Programming results in the evolution of programming activities to fullblown software engineering processes, to preserve modularity and traceability, which are two important properties of high-quality software. Yet, there are also many challenges in AO Technology. Reasoning, specification, and verification of AO programs present unique challenges especially as such programs evolve over time. Consequently, modular reasoning of such programs is highly attractive as it enables tractable evolution, otherwise necessitating that the entire program be reexamined each time a component is changed or is added. It is well known in the literature, however, that modular reasoning about AO programs is difficult due to the fact that the aspects applied often alter the behavior of the base components [47]. The same modular reasoning difficulties are also present in the specification and verification phases of software development process. To the best of our knowledge, AO modular specification and verification is a weakly covered subject and constitutes an interesting open research field. Also, aspect interaction is a major concern in the aspect-oriented community. To deal with these problems, we choose to use category theory and algebraic specification techniques. To achieve the above thesis goals, we use the work of Wiels [110] and other contributions such as the one described in [25]. We assume at the beginning that the system under development is already decomposed into aspect and class components. The first contribution of our thesis is the extension of the algebraic specification technique to the notion of aspect. Secondly, we define a logic, LA that is used in specification bodies to describe the behavior of these components. The third contribution concerns the defini tion of the weaving operator corresponding to the weaving interconnection relationship between aspect modules and class modules. The fourth contribution consists of the design of a prevention policy that is used to prevent or avoid undesirable aspect interactions in aspect-oriented systems.
264

What's in a tooth? : signals of ecogeography and phylogeny in the dentition of macaques (Cercopithecidae: Macaca)

Grunstra, Nicole Dieneke Sybille January 2018 (has links)
The aim of the present work was to investigate the impact of the varying environmental conditions on the taxonomic and phenotypic diversification of a geographically widespread and ecologically successful Old World primate genus, the macaques (Cercopithecidae: Macaca). To this end, the relationship between geography, ecology, phylogeny, and phenotypic variation among macaques was investigated. Constraints to phenotypic variation – and thus evolution – were also analysed in the form of observed amounts of phenotypic variation and patterns of phenotypic integration. A total of 72 standard linear measurements of teeth and associated cranial and mandibular structures were taken for a total sample of 744 specimens from 13 species of macaques. Climate and ecological data were collated from the literature. Univariate and multivariate statistics were employed for the analysis. Patterns of variation, covariation, and allometry were analysed in the dentition, both within and between species. The ecogeographical analysis was carried out by means of two-block partial least squares and a type of multivariate regression, both in a phylogenetic framework. Phylogenetic signal was tested for by means of Blomberg’s K. Macaque teeth differ in their variability. All teeth covary with each other, although correlations are strongest within tooth classes. Size was a strong contributing factor to dental integration, as evinced by lower correlations between teeth once allometric effects were removed. Integration patterns also showed modularity between the anterior and the posterior dentition. Between-species variation in overall craniodental size was associated with temperature, latitude, and body size. Species also varied, albeit to a lesser degree, along an antero-posterior contrast in relative tooth size. Larger anterior were found to be associated with frugivory and tropical ecology, whereas a larger posterior dentition was linked to a more folivorous diet and temperate environments. The latter pattern was largely a function of phylogenetic relatedness. Phylogenetic signal was generally strong in the dentition, although it was substantially greater in the anterior teeth (incisors and canines) than in the posterior teeth (premolars and molars). Macaques show adaptive differentiation in body size in response to temperature along a latitudinal cline, corroborating the presence of the Bergmann effect in macaques. There was no conclusive support for further adaptive differentiation, despite an association between relative tooth size and diet. Allometry appears to channel evolutionary divergence of macaques along a line of least evolutionary resistance, and developmental modularity allows for partly uncoupled evolution of the anterior and posterior dentition. Future research should be aimed at broadening the taxonomic scope to include craniodental variation of the African papionins and cercopithecins in order to put the observed macaque patterns in a broader evolutionary context.
265

Čeština v afázii: co říkají offline experimenty? / Czech in aphasia: what can off-line experiments tell us?

Flanderková, Eva January 2015 (has links)
$EVWUDFW 7KH GLVVHUWDWLRQ H[DPLQHV DSKDVLD LQ WKH &]HFK ODQJXDJH 7KH ILUVW WKHRUHWLFDO SDUW LV IROORZHG E\ D VHFWLRQ RI VL[ H[SHULPHQWV SHUIRUPHG E\ ILIWHHQ &]HFK DSKD VLF SDWLHQWV 7KH WKHRUHWLFDO FKDSWHU ILUVW DGGUHVVHV WKH UROH RI DSKDVLRORJ\ LQ FR JQLWLYH VFLHQFH DQG )RGRU¶V FRQFHSW RI PRGXODULW\ WKHQ WZR PRGHOV RI ODQJXDJH SURFHVVLQJ DUH SUHVHQWHG D SV\FKROLQJXLVWLF DQG D FRJQLWLYH QHXURSV\FKRORJLFDO )XUWKHUPRUH WKLV FKDSWHU GHDOV ZLWK WKH KLVWRU\ RI OLQJXLVWLF DSKDVLRORJ\ DQG GLV FXVVHV FODVVLILFDWLRQ RI DSKDVLD V\QGURPHV DV ZHOO DV WKH WKHRU\ RI DJUDPPDWLVP %XLOGLQJ RQ WKLV WKHRUHWLFDO EDVLV WKH H[SHULPHQWDO VHFWLRQ UHSRUWV WKH UHVXOWV RI WKH IROORZLQJ VL[ H[SHULPHQWV SLFWXUH QDPLQJ ZRUG WR SLFWXUH PDWFKLQJ FDWHJR UL]DWLRQ WUDFH GHOHWLRQ K\SRWKHVLV JUDPPDWLFDOLW\ MXGJHPHQW IXQFWLRQDO VHQWHQFH SHUVSHFWLYH 7KH WH[W FRQFOXGHV ZLWK D JHQHUDO GLVFXVVLRQ DQG ILQDO FRQFOXVLRQV .H\ZRUGV &]HFK FRJQLWLYH VFLHQFH PRGXODULW\ DSKDVLD DSKDVLRORJ\ DJUDPPDWLVP SLFWXUH QDPLQJ ZRUG WR SLFWXUH PDWFKLQJ FDWHJRUL]DWLRQ WUDFH GHOHWLRQ K\SRWKHVLV JUDPPDWLFDOLW\ MXGJHPHQW IXQFWLRQDO VHQWHQFH SHUVSHFWLYH
266

Das Genfer Modell zur Diskursanalyse - Möglichkeiten und Grenzen seiner Anwendung in der Exegese des Neuen Testaments = The Geneva model of discourse analysis and its application to New Testament exegesis: potential and limitations

Wüsthoff, Cornelia 31 May 2007 (has links)
Summaries in German and English / The Geneva model of discourse analysis is a linguistic tool developed by Eddy Roulet and his team in Geneva. It was first presented in its modular approach in 1999. This dissertation examines whether the Geneva model can be applied to New Testament texts and whether this application yields results for exegesis. I first explain the model with its five basic modules and twelve organization forms, giving examples from German texts as well as simple New Testament examples. Then I apply the model to two New Testament texts (Rom 6:1,11 and John 8:31,42), summarizing the results in relation to exegesis at the end of each analysis. In the final chapter I discuss which parts of the Geneva model should generally be applied to New Testament exegesis, explaining its potential and its limitations and suggesting some areas in which the Geneva model could be complemented by other approaches. / Das Genfer Modell ist ein von Eddy Roulet und seinem Team in Genf entwickelter linguistischer Ansatz zur Diskursanalyse. Er wurde 1999 erstmalig in seiner modularen Auspragung vorgestellt. In der vorliegenden Arbeit wird untersucht, ob dieses Modell auf neutestamentliche Texte angewendet werden kann und ob diese Anwendung einen Ertrag fur die Exegese bringt. Ich erlautere dazu das Modell mit seinen funf Grundmodulen und zwolf Modulverbindungen zunachst an deutschen und einfachen neutestamentlichen Beispielen. Sodann wende ich das Modell auf zwei neutestamentliche Texte an (Rom 6:1-11 und Joh 8:31-42). Am Ende jeder Anwendung fasse ich die Ergebnisse fur die Exegese dieser Texte zusammen. Im Schlusskapitel schliesslich erortere ich, welche Teile des Modells in der Exegese mit Gewinn eingesetzt werden konnen, wo Nutzen und Grenzen seiner Anwendung liegen und in welchen Bereichen das Modell durch andere Ansatze sinnvoll erganzt werden kann. / New Testament / M. Th. (New Testament)
267

Study of compact quantum groups with probabilistic methods : caracterization of ergodic actions and quantum analogue of Noether's isomorphisms theorems / Etude des groupes quantiques compacts avec des méthodes probabilistes : caractérisation d'actions d'action ergodiques et analogues quantiques des théorèmes d'isomorphismes de Noether

Omar hoch, Souleiman 29 June 2017 (has links)
Cette thèse étudie des problèmes liés aux treillis des sous-groupes quantiques et la caractérisationdes actions ergodiques et des états idempotents d’un groupe quantique compact.Elle consiste en 3 parties. La première partie présente des résultats préliminaires sur lesgroupes quantiques localement compacts, les sous-groupes quantiques normaux ainsi queles actions ergodiques et les états idempotents. La seconde partie étudie l’analogue quantiquede la règle de modularité de Dedekind et de l’analogue quantique des théorèmesd’isomorphisme de Noether ainsi que leur conséquences comme le théorème de raffinementde Schreier, et le théorème Jordan-Hölder. Cette partie s’inspire du travail de recherche deShuzhouWang sur l’analogue quantique du troisième théorème d’isomorphisme de Noetherpour les groupes quantiques compacts ainsi que le travail récent de Kasprzak, Khosraviet Soltan sur l’analogue quantique du premier théorème d’isomorphisme de Noether pourles groupes quantiques localement compacts. Dans la troisième partie, nous caractérisonsles états idempotents du groupe quantique compact O−1(2) en s’appuyant sur la caractérisationde ses actions ergodiques plongeables. Cette troisième partie est dans la lignedes travaux fait par Franz, Skalski et Tomatsu pour les groupes quantiques compactsUq(2), SUq(2) et SOq(3). Nous classifions au préalable les actions ergodiques et les actionsergodiques plongeables du groupe quantique compact O−1(2).Les travaux présentés dans cette thèse se basent sur deux articles de l’auteur et al.Le premier s’intitule “Fundamental isomorphism theorems for quantum groups” et a étéaccepté pour publication dans Expositionae Mathematicae et le second est intitulé “Ergodicactions and idempotent states of O−1(2)” et est en cours de finalisation pour être soumis. / This thesis studies problems linked to the lattice of quantum subgroups and characterizationof ergodic actions and idempotent states of a compact quantum group. It consistsof three parts. The first part present some preliminary results about locally compactquantum groups, normal quantum subgroups, ergodic actions and idempotent states. Thesecond part studies the quantum analog of Dedekind’s modularity law, Noether’s isomorphismtheorem and their consequences as the Schreier refinement theorem and theJordan-Hölder theorem. This part completes the work of Shuzhou WANG on the quantumanalog of the third isomorphism theorem for compact quantum group and the recentwork of Kasprzak, Khosravi and Soltan on the quantum analog of the first Noether isomorphismtheorem for locally compact quantum groups. In the third part, we characterizeidempotent states of the compact quantum group O−1(2) relying on the characterizationof embeddable ergodic actions. This third part is in the sequence of the seminal works ofFranz, Skalski and Tomatsu for the compact quantum groups Uq(2), SUq(2) and SOq(3).We classify in advance the ergodic actions and embeddable ergodic actions of the compactquantum group O−1(2).This thesis is based on two papers of the author and al. The first one is entitled“Fundamental isomorphism theorems for quantum groups” which have been accepted forpublication in Expositionae Mathematicae and the second one is entitled “Ergodic actionsand idempotent states of O−1(2)” and is being finalized for submission.
268

Cognition physique chez l’oiseau : général ou adapté ? / Physical cognition in birds : general or adapted?

Danel, Samara 29 January 2018 (has links)
La cognition physique correspond à l’ensemble des connaissances que nous possédons sur les objets inanimés qui nous entourent, et à leurs relations avec l’environnement. Selon l’hypothèse de l’intelligence sociale générale, la cognition physique se serait développée tel un continuum (à l’instar de tous les autres domaines cognitifs), chez les espèces vivant au sein de groupes sociaux complexes. A l’inverse, l’hypothèse de l’intelligence sociale adaptée suppose que le fait d’interagir avec des congénères a permis de développer des capacités cognitives supérieures, mais spécifiques, du domaine social. Bien que les recherches relatives à l’évolution de la cognition physique se soient d’abord focalisées sur les primates, nous savons aujourd’hui que certains oiseaux sont capables d’interagir de manière complexe avec leur monde physique, en utilisant et en fabriquant des outils (p. ex., voir Article 1). Néanmoins, de nombreuses familles aviaires restent à ce jour non étudiées, laissant ce débat en suspens. L’objectif général de ce travail de recherche est de contribuer à une meilleure compréhension des facteurs responsables de l’évolution de la cognition, grâce à l’apport théorique de l’hypothèse de l’intelligence sociale suivant son aspect général et adapté. Quatre espèces, jusqu’alors inconnues sur le plan cognitif, ont été sélectionnées suivant leur degré de socialité mais également la spécificité de leur écologie. Ce dernier facteur, trop souvent ignoré en biologie du comportement, est crucial pour apprécier le comportement dans son ensemble. Nous avons ainsi estimé la faculté des sujets, à savoir des pélicans blancs Pelecanus onocrotalus (sociaux) et des euplectes vorabés Euplectes afer afer (grégaires), à reproduire le comportement d’un congénère (domaine social) grâce à un test d’apprentissage social (Articles 2 part I & 3). Nous avons ensuite évalué leur capacité à se servir d’un objet pour obtenir une récompense alimentaire hors de portée (domaine physique), grâce à un test d’utilisation d’outils (Articles 2 part II & 4). Bien que les pélicans fussent capables de résoudre rapidement la tâche d’apprentissage social, ils ne réussirent pas à utiliser spontanément des outils (cf. discussion Article 2 part II). A l’instar du pélican, l’euplecte imita le comportement d’un congénère. Néanmoins, il échoua à utiliser des outils dans le contexte du fourragement, malgré le fait que cet oiseau utilise et fabrique des outils de manière complexe pour construire son nid.A défaut d’avoir pu étudier l’apprentissage social et l’utilisation d’outils chez deux autres espèces sociales, les calaos terrestres Bucorvus et les toucans Ramphastidae, cette recherche consistait également à administrer un paradigme permettant d’apprécier le domaine physique : le test de la ficelle (Articles 5 & 6, respectivement). La tâche impliquait de tirer sur une ficelle afin d’obtenir une récompense alimentaire accrochée à son extrémité. Les calaos terrestres échouèrent à tirer sur la ficelle dans la configuration verticale, mais réussirent rapidement la tâche dans diverses conditions de la configuration horizontale. Chez les toucans, cependant, un seul sujet réussit le test dans sa configuration verticale. Les résultats obtenus nous permettent de réfuter l’hypothèse de l’intelligence sociale dans son aspect général. En effet, aucun lien ne semble se dessiner entre le domaine social et physique chez les quatre espèces aviaires étudiées. Bien que l’hypothèse de l’intelligence sociale soit soutenue depuis plus de quatre décennies, une théorie unitaire est requise. Dans ce cadre, un nouveau modèle d’évolution cognitive, permettant d’évaluer l’importance de l’intelligence générale chez une espèce donnée, pourrait s’avérer particulièrement prometteur. / Physical cognition is defined as the knowledge that we possess about the inanimate objects surrounding us, and their relation with the environment. According to the general social intelligence hypothesis, physical cognition would have developed as a continuum (like all the other cognitive domains), in species living in complex social groups. By contrast, the adapted social intelligence hypothesis assumes that interacting with conspecifics has allowed development of superior, but specific, cognitive capacities related to the social realm. Although research on the evolution of cognition first focused on primates, we now know that some avian species are capable of interacting with their physical world in a complex way by using and manufacturing tools (e.g., Article 1). However, to date, various bird families are still unstudied, leaving open this debate. The general goal of this work is to contribute to a better understanding of the factors acting on the evolution of cognition, thanks to the theoretical input of the social intelligence hypothesis according to its general and adapted aspect. Four species that had never been studied in cognitive studies before were selected according to their degree of sociality but also according to the specificity of their ecology. This latter factor has been largely ignored in behavioural biology, although it is crucial for a more holistic comprehension of the behaviour. This work aimed to assess the ability of two avian species, great white pelicans Pelecanus onocrotalus (social birds) and yellow-crowned bishops Euplectes afer afer (gregarious birds), to imitate the behaviour of a trained conspecific (social domain) with a social learning task (Articles 2 part I & 3, respectively). Subsequently, we have studied heir ability to use an object in order to get an out-of-reach food reward (physical domain) with a tool use task (Articles 2 part II & 4). Although pelicans were capable of rapidly solving the social learning task, they did not succeed in using tools spontaneously (cf. discussion Article 2 part II). The bishops were able to imitate the behaviour of a conspecific, however they were not capable of using tools in the foraging context, although these birds are well known to use and manufacture tools in quite a complex way in order to build their nests. We have also administrated to two other avian social species, ground-hornbills Bucorvus and toucans Ramphastidae, an experimental paradigm to assess cognition in the physical domain: the string-pulling test (Articles 5 & 6, respectively). The task involved pulling on a string in order to obtain a food reward attached to its extremity. Ground-hornbills failed to pull on the string in the vertical configuration, but rapidly solved the task in various conditions within the horizontal configuration. In toucans, however, only one subject succeeded in the vertical configuration. These results allow us to refute the social intelligence hypothesis in its general aspect. Indeed, no link seems to be drawn between the social and the physical domains in the four species studied. Although the social intelligence hypothesis is supported since decades, a unitary theory is required. A new model of cognitive evolution, that allows assessing the importance of general intelligence in species, may be particularly promising.
269

Pokročilý nástroj pro monitorování Oracle Databáze / Advanced Oracle Database Monitoring Tool

Mikulka, David January 2010 (has links)
This master's thesis describes possibilities of Oracle Database 10g and 11g monitoring. It let the reader know about practical tools for monitoring and describes the database's internal catalogs preserving statistics and the information about running database instances within history. Next, it describes design of an Oracle database monitoring tool, describtion of its implementation and at the end its evaluation and comparison with other similar applications.
270

L'internationalisation des chaînes de valeur dans l'industrie de défense : le cas du naval / Value chains internationalization in the defense industry : focus on the naval industry

Hérault, Paul 13 February 2018 (has links)
L’internationalisation des chaînes de valeur fait l’objet de nombreuses recherches macroéconomiques ou ciblées sur des secteurs majoritairement civils. En se concentrant sur l’industrie de défense, cette thèse évalue comment ce processus de fragmentation fonctionnelle et géographique peut s’appliquer à un secteur hautement régulé par les Etats et dont les échanges internationaux sont très strictement encadrés.Cette recherche apporte plusieurs estimations du niveau d’internationalisation de l’industrie navale de défense française, à partir de données originales de Naval Group. Si les programmes relatifs à la dissuasion nucléaire sont très peu internationalisés, de nombreux facteurs concourent à l’internationalisation de la filière : exigences de contenu local et transferts de technologie des clients étrangers, intégration de technologies civiles ou duales, stratégies d’internationalisation. Enfin, le recours au concept de modularité permet de montrer que l’évolution du processus productif s’accompagne souvent d’une évolution de l’architecture des produits. / Many research works have already been dedicated to the internationalization of value chains. Whereas this research is often performed through macroeconomics or focused on civilian sectors, this thesis examines how the process of functional and geographic unbundling can apply to such a regulated sector as the defense industry, where exports are strictly controlled by states.Based on original data provided by Naval Group, this dissertation set out several estimates of the internationalization level of French navy programs. Although programs related to nuclear deterrence remain almost exclusively « made in France », many factors contribute to the internationalization of value chains in the naval industry: transfer of technology, local content requirements, integration of commercial or dual-use technologies, internationalization corporate strategies. Referring to the concept of modularity, this thesis reveals that changes in production process can foster innovation in product architecture.

Page generated in 0.07 seconds