Thèses : « AutoDL »

1

PEREGO, RICCARDO. « Automated Deep Learning through Constrained Bayesian Optimization ». Doctoral thesis, Università degli Studi di Milano-Bicocca, 2021. http://hdl.handle.net/10281/314922.

Texte intégral

Résumé :

In un mondo sempre più tecnologico e interconnesso, la quantità di dati è in continua crescita e, di conseguenza, anche gli algoritmi di decision-making sono in continua evoluzione per adattarsi ad essi. Una delle principali fonti di questa grande quantità di dati è l'Internet of Things, in cui miliardi di sensori si scambiano informazioni attraverso la rete per svolgere vari tipi di attività come il monitoraggio industriale e medico. Negli ultimi anni lo sviluppo tecnologico ha permesso di definire nuove architetture hardware ad alte prestazioni per i sensori, detti microcontrollori, che hanno permesso la creazione di un nuovo tipo di calcolo decentralizzato denominato Edge Computing. Questo nuovo paradigma di calcolo ha permesso ai sensori di eseguire algoritmi di decision-making per prendere decisioni immediate e locali invece di trasferire i dati su un server centrale di elaborazione. Per supportare l'Edge Computing, la comunità di ricerca ha iniziato a sviluppare nuove tecniche avanzate per gestire in modo efficiente le limitate risorse su questi dispositivi per l'applicazione dei più avanzati modelli di Machine Learning, in particolare le Deep Neural Network. Automated Machine Learning è una branca del campo del Machine Learning che mira a divulgare la potenza del Machine Learning ai non esperti, oltre a supportare in modo efficiente i data scientists nella progettazione delle proprie pipeline di analisi dei dati. L'adozione del Automated Machine Learning ha reso possibile lo sviluppo quasi automatico di modelli sempre più performanti. Tuttavia, con l'avvento dell'Edge Computing, è nata una specializzazione del Machine Learning, definita come Tiny Machine Learning (Tiny ML), ovvero l'applicazione di algoritmi di Machine Learning su dispositivi con risorse hardware limitate. Questa tesi si occupa principalmente dell'applicabilità del Automated Machine Learning per generare modelli accurati che devono essere anche implementabili su dispositivi minuscoli, in particolare i microcontrollori. Più specificamente, l'approccio proposto è volto a massimizzare le prestazioni delle Reti Neurali Profonde e a soddisfare i vincoli associati alle limitate risorse hardware, comprese le batterie, dei microcontrollori. Grazie ad una stretta collaborazione con STMicroelectronics, azienda leader nella progettazione, produzione e vendita di microcontrollori, è stato possibile sviluppare un nuovo framework di Automated Machine Learning che si occupa dei vincoli black-box relativi all’impossibilità di implementare una Deep Neural Network su questi piccoli dispositivi, ampiamente adottato nelle applicazioni dell'internet degli oggetti. L'applicazione su due casi d'uso reali forniti da STMicroelectronics (ad esempio, Human Activity Recognition e Image Recognition) ha dimostrato che il nuovo approccio proposto è in grado di trovare in modo efficiente configurazioni per reti neurali profonde accurate e implementabili, aumentandone l'accuratezza rispetto ai modelli di base e riducendo drasticamente le risorse hardware necessarie per farle funzionare su un microcontrollore (cioè, una riduzione di oltre il 90%). L'approccio è stato anche confrontato con una delle soluzioni AutoML all'avanguardia per valutare la sua capacità di superare i problemi che attualmente limitano l'ampia applicazione di AutoML nel campo del Tiny ML. Infine, questa tesi di dottorato suggerisce interessanti e stimolanti direzioni di ricerca per aumentare ulteriormente l'applicabilità dell'approccio proposto, integrando i risultati di ricerche recenti e innovative (ad esempio, weakly defined search spaces, Meta-Learning, Multi-objective and Multi-Information Source optimization).
In an increasingly technological and interconnected world, the amount of data is continuously growing, and as a consequence, decision-making algorithms are also continually evolving to adapt to it. One of the major sources of this vast amount of data is the Internet of Things, in which billions of sensors exchange information over the network to perform various types of activities such as industrial and medical monitoring. In recent years, technological development has made it possible to define new high-performance hardware architectures for sensors, called Microcontrollers, which enabled the creation of a new kind of decentralized computing named Edge Computing. This new computing paradigm allowed sensors to run decision-making algorithm at the edge in order to take immediate and local decisions instead of transferring the data on central server processing. To support Edge Computing, the research community started developing new advanced techniques to efficiently manage the limited resources on these devices for applying the most advanced Machine Learning models, especially the Deep Neural Networks. Automated Machine Learning is a branch of the Machine Learning field aimed at disclosing the power of Machine Learning to non-experts as well as efficiently supporting data scientists in designing their own data analysis pipelines. The adoption of Automated Machine Learning has made it possible to develop increasingly high-performance models almost automatically. However, with the advent of Edge Computing, a specialization of Machine Learning, defined as Tiny Machine Learning (Tiny ML), has been arising, that is, the application of Machine Learning algorithms on devices having limited hardware resources. This thesis mainly addresses the applicability of Automated Machine Learning to generate accurate models which must be also deployable on tiny devices, specifically Microcontroller Units. More specifically, the proposed approach is aimed at maximizing the performances of Deep Neural Networks while satisfying the constraints associated to the limited hardware resources, including batteries, of Microcontrollers. Thanks to a close collaboration with STMicroelectronics, a leading company for design, production and sale of microcontrollers, it was possible to develop a novel Automated Machine Learning framework that deals with the black-box constraints related to the deployability of a Deep Neural Network on these tiny devices, widely adopted in IoT applications. The application on two real-life use cases provided by STMicroelectronics (i.e., Human Activity Recognition and Image Recognition) proved that the novel proposed approach can efficiently find out configurations for accurate and deployable Deep Neural Networks, increasing their accuracy against baseline models while drastically reducing hardware required to run them on a microcontroller (i.e., a reduction of more than 90\%). The approach was also compared against one of the state-of-the-art AutoML solutions in order to evaluate its capability to overcome the issues which currently limit the wide application of AutoML in the tiny ML field. Finally, this PhD thesis suggests interesting and challenging research directions to further increase the applicability of the proposed approach by integrating recent and innovative research results (e.g., weakly defined search spaces, Meta-Learning, Multi-objective and Multi-Information Source optimization).

Styles APA, Harvard, Vancouver, ISO, etc.

2

Forien, Nicolas. « Autour de la criticité auto-organisée ». Thesis, université Paris-Saclay, 2020. http://www.theses.fr/2020UPASM012.

Texte intégral

Résumé :

De nombreux modèles physiques présentent un phénomène appelé transition de phase : il existe un point critique ou une courbe critique dans l'espace des paramètres qui sépare deux régimes distincts caractérisés par des propriétés macroscopiques très différentes. Le comportement de ces systèmes au point critique est particulièrement intéressant et fait apparaître des lois d'échelle qui sont souvent communes à tout un ensemble de systèmes très différents. Les physiciens Per Bak, Chao Tang et Kurt Wiesenfeld ont remarqué que ces comportements "critiques" sont étonnamment communs dans la nature, alors qu'ils ne devraient survenir que lorsque les paramètres se trouvent être précisément ajustés au point critique. Pour expliquer cela, ils ont montré que certains systèmes ont tendance à être naturellement attirés vers des points ou des régimes critiques. Ces systèmes présentent un phénomène appelé "criticité auto-organisée". Cette thèse porte sur la construction de plusieurs modèles simples présentant ce phénomène. Pour cela, nous partons d'un modèle présentant une transition de phase et nous le modifions pour forcer un comportement "auto-critique". Nous étudions notamment une variante d'un modèle construit par Matthias Gorny à partir du modèle d'Ising Curie-Weiss généralisé, en passant d'un modèle de type champ moyen à une interaction limitée à une certaine portée. Nous construisons également quelques modèles de criticité auto-organisée à partir de la percolation Bernoulli dans des boîtes finies, ainsi qu'à partir du modèle d'Ising en dimension 2
Many models in physics present a phenomenon called phase transition: there is a critical point or a critical curve in the parameter space separating two distinct regions characterized by very different macroscopic properties. In such systems, the behaviour at the critical point is of particular interest and presents some scaling laws which appear to be universal across a wide range of different systems. The physicists Per Bak, Chao Tang and Kurt Wiesenfeld pointed out that these "critical" features are very common in nature, although they should only appear when the parameters happen to be finely tuned to the critical point. To explain this, they showed that some systems tend to be naturally attracted by critical points or critical regimes. This phenomenon is called "self-organized criticality". The goal of this thesis is to construct several simple models which present this phenomenon. To achieve this, we consider a model with a phase transition and we modify it in order to obtain a "self-critical" behaviour. We study a modification of a model constructed by Matthias Gorny from the generalized Ising Curie-Weiss model, in which the mean-field Hamiltonian is replaced by a long-range interaction. Several other models of self-organized criticality are constructed from Bernoulli percolation in finite boxes, and from the planar Ising model

Styles APA, Harvard, Vancouver, ISO, etc.

3

Pietracola, Annamaria. « Une rencontre autour des blessures auto-infligées à l'infirmerie scolaire ». Poitiers, 2011. http://www.theses.fr/2011POIT5015.

Texte intégral

Résumé :

Ces dernières années, des recherches montrent que la souffrance psychique à l’adolescence s’exprime au travers d’un mal-être qui touche le corps sous la forme de blessures auto-infligées. Un grand nombre de jeunes ne s’adresse pas tout de suite à des services hospitaliers, ou à des professionnels de santé. Ils préfèrent rester longtemps dans l’ombre. En dépit de cela, nous avons constaté une importante augmentation de jeunes qui se rendent à l’infirmerie scolaire. A partir de l’hypothèse de l’inconscient métapsychologique, peut-on supposer que, pour les adolescents qui s’y rendent, l’infirmerie scolaire représente autre chose qu’un lieu de soins médicaux ordinaire ? L’analyse d’entretiens cliniques menés auprès d’adolescents en souffrance, montre que l’infirmerie scolaire est utilisée comme « un refuge », un lieu où s’abriter, face aux angoisses pubertaires difficilement représentables. Le psychologue qui propose ces entretiens est alors investi comme nouvel objet de soutien ; il complète le Moi fragile du jeune sujet en lui permettant de mieux se distancier des premiers investissements parentaux. Parfois également, l’infirmerie peut se transformer en un lieu de support identificatoire où l’adulte est alors investi en tant que sujet séparé et différencié. Ce faisant, l’adolescent peut commencer à penser à soi, articulant les affects et les représentations, et s’inscrire dans un processus de subjectivation
In recent years, research shows that psychological distress in adolescence is expressed through a weakness that affects the body in the form of self-cutting. Many young people do not consult hospital services or health professionals immediately. They prefer to stay hidden in the shadow for a long time. Nevertheless, we have noticed that the number of young people who go to the school infirmary is increasing. From the hypothesis of the unconsciousness metapsychology, could school sickbay mean something else for teenagers who use it? The analysis of clinical interviews conducted with adolescents suffering, shows that school nursing has become "a refuge”, a place to shelter against the anxieties of non-representable puberty. Thus, the psychologist becomes a new object which supports and completes the weak self of the young patient, since it enables him to make a distance between his parents and himself. Sometimes the school infirmary can be turned into a helpful place because the adult is seen as a separate and different subject. Then, the teenager can start thinking about himself, playing with the affects and the representations before adopting a subjective process

Styles APA, Harvard, Vancouver, ISO, etc.

4

Pimentel, Victor Costa de Andrade. « Plataforma embarcada de reconhecimento autom?tico da fala para o aux?lio de pessoas com mobilidade reduzida ». reponame:Repositório Institucional do IFPB, 2016. http://repositorio.ifpb.edu.br/jspui/handle/177683/236.

Texte intégral

Résumé :

Submitted by Alex Sandro R?go (alex@ifpb.edu.br) on 2016-09-01T13:06:08Z No. of bitstreams: 1 Plataforma embarcada de reconhecimento automatico de fala_Victor Pimentel_DissertacaoFINAL.pdf: 7822088 bytes, checksum: c2489aba1b2861913d7d09e208e3798b (MD5)
Approved for entry into archive by Alex Sandro R?go (alex@ifpb.edu.br) on 2016-09-01T13:08:01Z (GMT) No. of bitstreams: 1 Plataforma embarcada de reconhecimento automatico de fala_Victor Pimentel_DissertacaoFINAL.pdf: 7822088 bytes, checksum: c2489aba1b2861913d7d09e208e3798b (MD5)
Made available in DSpace on 2016-09-01T13:08:01Z (GMT). No. of bitstreams: 1 Plataforma embarcada de reconhecimento automatico de fala_Victor Pimentel_DissertacaoFINAL.pdf: 7822088 bytes, checksum: c2489aba1b2861913d7d09e208e3798b (MD5) Previous issue date: 2016-02
A busca por maior independ?ncia e autonomia para as pessoas com defici?ncia tem se apresentado como um fator decisivo ao proporcionar uma melhoria na qualidade de vida desses indiv?duos atrav?s do uso de tecnologias assistivas. A fala se constitui na mais b?sica, comum e eficiente forma de comunica??o entre os seres humanos, de modo que a entrada de comandos por voz pode ser uma alternativa para que pessoas com mobilidade reduzida, e que tenham preservada boa capacidade das habilidades da fala, realizem o controle do computador ou outros dispositivos. O objetivo deste trabalho consiste no desenvolvimento de uma interface de comandos por voz, atrav?s do reconhecimento autom?tico da fala, que seja facilmente adaptada e incorporada a sistemas e ferramentas de aux?lio ao controle do ambiente dom?stico (dom?tica). Com esse intuito, foram executadas duas abordagens de desenvolvimento. A primeira consistiu de um experimento piloto realizado com o intuito de formar uma base inicial de conhecimento no desenvolvimento de aplica??es utilizando o reconhecimento de comandos por voz. Esta etapa baseou-se na utiliza??o de um m?dulo de hardware espec?fico, que recebe os comando de voz diretamente atrav?s de um microfone, constituindo-se de um sistema dependente de locutor capaz de reconhecer comandos de palavras isoladas para o controle das luzes de umLED RGB. J? a segunda abordagem, integra componentes de hardware aberto e software livre e de c?digo aberto, sendo os comandos de voz fornecidos ao sistema atrav?s de um smartphone configurado com softphone VoIP (Voz sobre IP). Nesse ?ltimo caso, o softphone, ent?o, se registra no servidor de comunica??o Asterisk, que implementa uma central telef?nica com unidade de resposta aud?vel (URA). Integrada ao servidor, est? a ferramenta de reconhecimento da fala, Julius. Esses componentes est?o embarcados na plataforma Beaglebone Black, de baixo custo. O sistema ? dependente de locutor e capaz de reconhecer frases com tr?s palavras para o controle da ilumina??o, televis?o e acesso a portas de umambiente dom?stico hipot?tico constitu?do de sala, cozinha, quarto, banheiro e ?rea externa. Os resultados obtidos a partir dos testes realizados indicam taxas de acerto de 95,9% e 94,77% para as interfaces desenvolvidas na primeira e segunda abordagens, respectivamente. Esses ?ndices sugeremque ? vi?vel o emprego dos m?dulos de reconhecimento desenvolvidos na implementa??o de solu??es de tecnologias assistivas.

Styles APA, Harvard, Vancouver, ISO, etc.

5

Santos, Sandro Roberto dos. « O direito de autor na obra musical : desequilíbrio do contrato e os novos rumos da proteção autoral ». Universidade de São Paulo, 2009. http://www.teses.usp.br/teses/disponiveis/2/2131/tde-04082016-094412/.

Texte intégral

Résumé :

Trabalhando com a linha de pesquisa \"Direito moral e patrimonial de autor\" propõe-se um estudo sobre o Direito de Autor na obra musical, abordando mais especificamente as relações contratuais entre autores e empresas de gravação e distribuição, quais sejam: produtores fonográficos (gravadoras) e editoras musicais. O presente trabalho é dividido em três partes. A primeira trata da propriedade intelectual sobre obras imateriais, sua evolução histórica e os conceitos da doutrina autoralista, substrato intelectual necessário para compreensão do problema de pesquisa: o desequilíbrio contratual e o dano autoral. A segunda parte analisa a questão proposta sob o ponto de vista do Direito Civil e da Constituição Federal brasileira, apresentando propostas de solução pela via judicial. A terceira e última parte cumpre a tarefa de apresentar propostas preventivas ao problema apresentado, seja quanto à prática contratual seja na atualização da legislação autoral brasileira.
Trabalhando com a linha de pesquisa \"Direito moral e patrimonial de autor\" propõe-se um estudo sobre o Direito de Autor na obra musical, abordando mais especificamente as relações contratuais entre autores e empresas de gravação e distribuição, quais sejam: produtores fonográficos (gravadoras) e editoras musicais. O presente trabalho é dividido em três partes. A primeira trata da propriedade intelectual sobre obras imateriais, sua evolução histórica e os conceitos da doutrina autoralista, substrato intelectual necessário para compreensão do problema de pesquisa: o desequilíbrio contratual e o dano autoral. A segunda parte analisa a questão proposta sob o ponto de vista do Direito Civil e da Constituição Federal brasileira, apresentando propostas de solução pela via judicial. A terceira e última parte cumpre a tarefa de apresentar propostas preventivas ao problema apresentado, seja quanto à prática contratual seja na atualização da legislação autoral brasileira.

Styles APA, Harvard, Vancouver, ISO, etc.

6

Aldor, Edvard, et Daniel Helle. « Interweaving AutoML and Data Science Method ». Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-302504.

Texte intégral

Résumé :

The advent of automated machine learning (AutoML) tools promises to democratize machine learning to non-experts in the field. These tools certainly effect the process of applying machine learning for non-experts, but it is not clear how data scientists will be able to draw benefit from having access to automated machine learning systems. This bachelor thesis is an inquiry into how an application of one such AutoML system, Google Cloud AutoML, can improve upon commercial state of the art ensemble models. Specifically, inferences about unimportant features were examined and removed from an ensemble model, weighted between eXtreme Gradient Boosting and Random Forest Regressor, based on a feature importance graph produced by Google Cloud AutoML tables. The results showed a positive impact overall on the error rates of mean absolute error and root mean square error. While it was not of statistical significance, the method for feature selection showed a trend of increasing its performance on the error metrics. While the method was not proved to be statistically significant it nonetheless showed promise as a technique for reducing model complexity by decreasing dimensionality.
Automatiserad maskininlärning (AutoML) yrkar för att tillgängliggöra maskininlärning och demokratisera tekniken för icke-experter. AutoMLs nytta för maskininlärningsexperter är dock inte uppenbar; teknikens användbarhet för experter är också ämnet som kommer att behandlas i denna avhandling. För att undersöka ifall AutoML kan bistå professionellt gångbara maskininlärningsmodeller prövas en metod för borttagning av prediktorer. Specifikt undersöks det om man kan dra slutsatser från AutoML genom att ta bort oberoende prediktorer som rankas att vara sämst på en AutoML-generad rankningslista. Rankningslistan bedömer prediktorernas värden i termer av hur viktiga de anses vara enligt Google Cloud AutoML. Resultatet från undersökningen visade en positiv påverkan på både mean absolute error och root mean square error. Trots att resultaten inte uppnådde statistisk signifikans, gav metoden upphov till en positiv trend av minskat fel. Utöver det konstaterades det att metoden kunde reducera modellkomplexitet genom att reducera dimensionalitet utan att kunna bevisas leda till en statistiskt signifikant ökning av fel.

Styles APA, Harvard, Vancouver, ISO, etc.

7

Avilés, Arnillas Alexsandra Susana, Garcia Calderon Renzo David Balbin, Negrón Claudia Alejandra Hurtado et Boza Ingrid Julieta Salazar. « Proyecto Empresarial Autoke ». Bachelor's thesis, Universidad Peruana de Ciencias Aplicadas (UPC), 2017. http://hdl.handle.net/10757/623429.

Texte intégral

Résumé :

Autoke es un aplicativo para Smartphones que contará con un portal web informativo, la propuesta de valor del presente proyecto empresarial implica ofrecer un servicio online completo al automovilista por medio de un App, que le permita rápidamente contactarse con el taller de mecánica más cercano ante una necesidad de servicio. Para esto se ofrecerá a los talleres de mecánica un servicio de membresía que permita promocionar y publicitar sus servicios en el App de la empresa, y publicitar a través de enlaces sus servicios estableciendo conexión con los clientes tan solo al realizar un clic en nuestra aplicación.
Trabajo de investigación

Styles APA, Harvard, Vancouver, ISO, etc.

8

Tetewsky, Avram Ross Jeff Soltz Arnold Vaughn Norman Anszperger Jan O'Brien Chris Graham Dave Craig Doug Lozow Jeff. « Making sense of inter-signal corrections : accounting for GPS satellite calibration parameters in legacy and modernized ionosphere correction algorithms / ». [Eugene, Ore. : Gibbons Media & ; Research], 2009. http://www.insidegnss.com/auto/julyaug09-tetewsky-final.pdf.

Texte intégral

Résumé :

"Author biographies are available in the expanded on-line version of this article [http://www.insidegnss.com/auto/julyaug09-tetewsky-final.pdf]"
"July/August 2009." Web site title: Making Sense of GPS Inter-Signal Corrections : Satellite Calibration Parameters in Legacy and Modernized Ionosphere Correction Algorithms.

Styles APA, Harvard, Vancouver, ISO, etc.

9

Wild, Klaus. « Wahrnehmungsorientierte Schulentwicklung innere Schulentwicklung unter Berücksichtigung der Wahrnehmung von Schulqualität durch Lehrkräfte ». Winzer Duschl, 2006. http://www.verlag-duschl.de/detail.php?table=autor&id=92.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

10

Salomon, Damien. « Croissance, propriétés optiques et intégration d'hétérostructures radiales InGaN/GaN autour de fils auto-assemblés de GaN crûs sur saphir et silicium ». Thesis, Grenoble, 2013. http://www.theses.fr/2013GRENY052.

Texte intégral

Résumé :

Ce travail est consacré à la réalisation de diodes électroluminescentes visibles à base de fils de GaN crûs sur Si(111) par épitaxie en phase vapeur de précurseurs organo-métalliques. Nous cherchons en particulier à comprendre les mécanismes de croissance des fils de GaN et les propriétés structurales et optiques de puits quantiques InGaN/GaN cœur/coquille déposés autour de ceux-ci. La croissance de fils orientés le long de l'axe -c sur saphir est dans un premier temps détaillée et expliquée. Nous montrons que l'injection de silane pendant la croissance des fils permet de former une couche de passivation de SiNx autour de ceux-ci. L'arrêt de l'injection de silane après quelques dizaines de secondes ne modifie pas la géométrie fil et ce procédé peut donc être utilisé pour contrôler le positionnement le long du fil de la zone de dépôts des puits quantiques InGaN/GaN. Ce procédé est ensuite transféré sur substrat Si(111) grâce au dépôt préalable d'une fine couche tampon d'AlN sur le substrat. Le dépôt de puits quantiques InGaN/GaN sur les facettes non-polaires m de ces fils et l'influence de différents paramètres de croissance sur leur émission de lumière sont étudiés. Nous montrons notamment l'existence de plusieurs familles des puits quantiques dans les fils dont les longueurs d'onde d'émission ont pu être indexées à l'aide de cartographies de cathodoluminescence. La concentration en indium des puits quantiques déposés a été estimée en comparant les énergies d'émissions des puits à des simulations utilisant la théorie k.p dans l'approximations 8 bandes pour les électrons et les trous et est comprise entre 8 et 24%. Enfin, des structures LED complètes ont été déposées sur les fils de GaN par MOVPE et une électroluminescence bleue à 450 nm à température ambiante est mesurée sur des fils uniques et sur des assemblées de fils sur silicium
This work reports on the realization by metal organic vapor phase epitaxy of visible light emitting diodes based on GaN wires grown on Si(111) with a focus on understanding the wires growth mechanisms and the properties of InGaN/GaN core/shell heterostructures grown around them. First we report the MOVPE growth of –c oriented GaN wires on sapphire. We demonstrate that the injection of silane during the growth induces the formation of a SiNx passivation layer around the GaN wires, preventing the lateral expansion. The silane flow can be stopped after a certain time without modifying the wire geometry. This phenomenon is used to control the position of the InGaN/GaN multiple quantum well shells along the wires. The wire growth on sapphire has then been transferred to silicon substrate thanks to the deposition of a thin AlN buffer layer prior to the wire growth. The deposition of InGaN/GaN core/shell heterostructures on the non-polar m-plane side facets of the wires and the influence of different growth parameters on the light emission properties of the quantum wells are then studied. Several types of quantum wells grown on different facets of the wire surface are observed. These different families emit light at different wavelengths that have been indexed thanks to cathodoluminescence mapping. The indium concentration in the quantum wells deposited is estimated between 8 and 24 %, depending on the growth conditions. This estimation has been made by comparing the emission wavelength of the quantum well to the recombination energy of electrons and wells simulated using the 8x8 band k.p theory for electron and hole masses. Finally, complete LED structures have been deposited on GaN wires by MOVPE and blue electroluminescence at 450 nm has been measured on single wires and assemblies of wires on Si(111)

Styles APA, Harvard, Vancouver, ISO, etc.

11

Lacave, Christophe. « Fluides autour d'obstacles minces ». Phd thesis, Université Claude Bernard - Lyon I, 2008. http://tel.archives-ouvertes.fr/tel-00345665.

Texte intégral

Résumé :

Nous étudions dans cette thèse le comportement asymptotique des fluides incompressibles dans les domaines extérieurs, quand l'obstacle devient de plus en plus fin, tendant vers une courbe. Nous étendons les travaux d'Iftimie, Lopes Filho, Nussenzveig Lopes et Kelliher dans lesquels les auteurs considèrent des obstacles se contractant vers un point. Nous travaillons tout d'abord en dimension deux. En utilisant des outils de l'analyse complexe, nous traitons le cas des fluides idéaux et visqueux à l'extérieur d'une courbe. Nous regardons ensuite en dimension trois les fluides visqueux à l'extérieur d'une surface. Nous finissons enfin par montrer l'unicité du problème mixte Euler point-vortex avec un seul point vortex introduit par Marchioro et Pulvirenti, dans le cas où le tourbillon initial est constant près du point vortex.

Styles APA, Harvard, Vancouver, ISO, etc.

12

Nishioka, Kanako. « Realizace idejí okcidentálního autora ». Master's thesis, Akademie múzických umění v Praze. Divadelní fakulta AMU. Knihovna, 2007. http://www.nusl.cz/ntk/nusl-78604.

Texte intégral

Résumé :

In these days thanks to the great Internet technology links people to people very easily and we can get various information wherever you like in the world. But what is the meaning of real communication? The aim of this thesis is to examine the importance of the real=non-virtual communication through my own experience in Czech Republic, and the history of Czech puppet theater in 20th century proves the significance of their own language, also the the idea from George Orwell shows the value of the real experience through his works including his own remarkable life.

Styles APA, Harvard, Vancouver, ISO, etc.

13

Venken, Jacques. « Autour du théorème chinois ». Lille 1, 1989. http://www.theses.fr/1989LIL10012.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

14

Bergeron, Jean-François. « Méditations autour de Socrate ». Doctoral thesis, Université Laval, 2017. http://hdl.handle.net/20.500.11794/28222.

Texte intégral

Résumé :

Socrate, aujourd'hui. Quelle pertinence ? Quelle utilité ? Que nous enseignerait-il ? De quoi nous libérerait-il ? Où nous mènerait-il ? Répondre à ces questions, indubitablement, c'est refaire le procès de Socrate, donner notre jugement sur ce dernier. Remarquons que, jour après jour, notre monde serait très près de condamner, comme les Athéniens de l'époque, le philosophe. Alors que nous nous imaginerions une distance infinie entre les contempteurs de Socrate et nous, notre parenté en est presque immédiatement démontrée par cette seule opinion. D'ailleurs, notre préoccupation centrale est de bien déterminer ce qui, dans notre monde, encouragerait la mise à mort de Socrate et ce qu'il incarne parfaitement, la philosophie. Notre thèse est là, qu'est-ce qui tue Socrate ? Y répondre éclairera aussi les questions se résumant au bien supposé qu'il peut faire à notre civilisation. Bref, tentons de ne point répéter les mêmes bourdes que certains Athéniens. Il nous faut, impérativement, devenir meilleurs, nous tourner vers le Bien. Nos vies en dépendent. Nous dépendons de Socrate.
Socrates today. What relevance? What use? What would he teach us? What would he free us from? Where would he lead us? To answer these questions, no doubt, is to do over again the trial of Socrates, and to judge the latter ourselves. It is noteworthy that, day after day, our world remains very near condemning the philosopher, as did the Athenians of that time. While we might imagine there may lie an infinite distance between those despisers of Socrates and ourselves, our actual kinship with them is almost immediately brought to the fore by this opinion alone. Our central concern here is, in point of fact, precisely to determine what, in our present world, would indeed encourage the killing of Socrates as well as of what he perfectly embodies, philosophy. There lies our thesis: what is it that kills Socrates? To try to answer this should also help clarify all questions related to what good a Socrates may bring to a civilization such as ours; in a word, then, how not to repeat such blunders as those committed by the Athenians against him. We must imperatively become better, turn to the Good. Our lives depend on it. We depend on Socrates.

Styles APA, Harvard, Vancouver, ISO, etc.

15

Ngo, Khai Thoi. « Stacking Ensemble for auto_ml ». Thesis, Virginia Tech, 2018. http://hdl.handle.net/10919/83547.

Texte intégral

Résumé :

Machine learning has been a subject undergoing intense study across many different industries and academic research areas. Companies and researchers have taken full advantages of various machine learning approaches to solve their problems; however, vast understanding and study of the field is required for developers to fully harvest the potential of different machine learning models and to achieve efficient results. Therefore, this thesis begins by comparing auto ml with other hyper-parameter optimization techniques. auto ml is a fully autonomous framework that lessens the knowledge prerequisite to accomplish complicated machine learning tasks. The auto ml framework automatically selects the best features from a given data set and chooses the best model to fit and predict the data. Through multiple tests, auto ml outperforms MLP and other similar frameworks in various datasets using small amount of processing time. The thesis then proposes and implements a stacking ensemble technique in order to build protection against over-fitting for small datasets into the auto ml framework. Stacking is a technique used to combine a collection of Machine Learning models’ predictions to arrive at a final prediction. The stacked auto ml ensemble results are more stable and consistent than the original framework; across different training sizes of all analyzed small datasets.
Master of Science

Styles APA, Harvard, Vancouver, ISO, etc.

16

Blanchard, Hugues. « Autour des nilvariétés isospectrales ». Université Joseph Fourier (Grenoble), 1998. http://www.theses.fr/1998GRE10133.

Texte intégral

Résumé :

Dans le premier chapitre de cette these, on etudie les varietes de wallach (quotients de su(3) par un sous-groupe de dimension 1). En utilisant les resultats de h. Urakawa, on montre que les varietes de wallach isospectrales sont isometriques et que, pour tout n entier, il existe deux varietes de wallach non isospectrales partageant les memes n premieres valeurs du spectre du laplacien. Dans le second chapitre, nous construisons une famille a trois parametres de varietes resolubles isospectrales. Pour montrer l'isospectralite de ces varietes nous utilisons une formule de trace due a c. Gordon et d. Deturk tres legerement adaptee. Pour prouver la non isometrie, nous montrons que les distances entre certaines sous-varietes caracterisees geometriquement ne sont pas constantes. Dans le troisieme chapitre nous etablissons une formule de trace reliant le spectre du laplacien des nilvarietes de type heisenberg (a noyau de dimension impaire) a un spectre des longueurs particulier. Pour cela nous utilisons une methode basee sur la transformation de fourier et le calcul des residus. Cette formule de trace nous donne une correspondance entre le spectre d'une telle nilvariete et les spectres des tores de la base et de la fibre.

Styles APA, Harvard, Vancouver, ISO, etc.

17

Bouchard, Hervé. « Autour de Laparesse : roman / ». Thèse, Chicoutimi : Université du Québec à Chicoutimi, 1992. http://theses.uqac.ca.

Texte intégral

Résumé :

Mémoire (M.A.F.F.)-- Université du Québec à Chicoutimi, 1992.
Ce mémoire a été réalisé à l'UQAC dans le cadre du programme de maîtrise en études littéraires de l'UQTR extensionné à l'UQAC. CaQCU Document électronique également accessible en format PDF. CaQCU

Styles APA, Harvard, Vancouver, ISO, etc.

18

Bouchard, Hervé. « Autour de Laparesse : roman ». Thèse, Université du Québec à Trois-Rivières, 1992. http://constellation.uqac.ca/1429/1/1475017.pdf.

Texte intégral

Résumé :

Je me souviens des marelles que nous faisions, moi et mes amis, lorsque j'étais enfant- La figure était toujours la même, et, à l'aide d'un bout de craie blanc (parfois jaune), d'un morceau de plâtre, ou d'un caillou (crayeux, mais dont le trait pâle ne se distinguait, sur l'asphalte vieille, qu'avec difficulté), je me retrouvais le plus souvent avec le privilège de la tracer: (Voir le dessin de la marelle dans le texte intégral) Les cases, toutes numérotées, ne portaient pas de nom, sauf la neuvième: "le ciel", où nous pouvions poser les deux pieds et nous retourner. Le jeu est connu: on jette sa pierre, on saute, on est parfois tenu d'accomplir certaines acrobaties; le but est de se rendre jusqu'au ciel, sans jamais poser le pied sur une ligne ou dans une case occupée par une pierre, puis de sortir du jeu en repassant par la première case; on s'amuse, le temps passe, et la pluie, les jours, les roues et les frottements des semelles effacent la figure; qu'on refait si on veut rejouer car on ne joue pas sans les cases et leurs chiffres. (Me remémorant ainsi ce jeu, je me fais penser à Georges Perec dans le préambule de La Vie, mode d'emploi, où il décrit divers types de puzzles.) Parfois, je traçais les cases à peine plus grandes que la taille de nos chaussures: cela rendait faciles les sauts, mais extrêmement difficiles les jets de pierres. Mes amis étaient vite ennuyés par cette variante. Alors, d'autres fois, je traçais d'énormes cases: chacun arrivait sans peine à loger sa pierre dans l'une d'elles, mais les sauts exigés pour franchir deux ou trois cases alignées devenaient des actes d'une témérité qu'alors, étant donnée notre taille, nous croyions tout à fait exceptionnelle. Nous avions un dangereux penchant pour les marelles plus grandes que nous; beaucoup plus grandes. C'était nos mères, bien entendu, qui séchaient nos larmes et pansaient nos paumes, nos genoux. Mais ça, c'est une autre histoire. La marelle est une écriture, c'est-à-dire une série de règles, qui rend périlleux l'espace qu'elle détermine. Une erreur, à la marelle, est une chute dans le vide, une condamnation au suspens, un risque de ne pas finir le jeu, un danger de mort. La marelle est une pratique du saut. La lecture est aussi comme cela. Maintenant, si vous croyez que le texte qui suit ressemble en quelque façon à une marelle, à vous de jeter la première pierre.

Styles APA, Harvard, Vancouver, ISO, etc.

19

Darné, Jacques. « Autour du problème d’Andreadakis ». Thesis, Lille 1, 2018. http://www.theses.fr/2018LIL1I009/document.

Texte intégral

Résumé :

Soit $F_n$ le groupe libre de rang $n$. On considère le groupe $IA_n$ des automorphismes de $F_n$ qui agissent trivialement sur son abélianisé. Deux filtrations canoniques de $IA_n$ sont définies : la première est sa suite centrale descendante $\Gamma_*$ ; la seconde est la filtration d’Andreadakis $\mathcal A_*$, définie à partir de l’action sur $F_n$. Le problème d’Andreadakis est l’étude de la différence entre ces deux filtrations. Après avoir mis en place un cadre général pour l’étude de telles filtrations et des filtrations sur les algèbres de groupes qui leur sont associées, nous étudions différentes versions de ce problème. En particulier, nous examinons sa restriction à certains sous-groupes de $IA_n$ : nous montrons que les deux filtrations coïncident si on les restreint aux groupes triangulaires et aux groupes de tresses. Nous examinons aussi le problème stable : nous montrons que le morphisme canonique entre les algèbres de Lie associées aux filtrations est surjectif si $n$ est assez grand devant le degré considéré. Nous étudions également une version $p$-restreinte du problème, calculant au passage l’algèbre de Lie du groupe de congruence. Les méthodes employées sont essentiellement d’ordre algébrique. Elles proviennent de la théorie combinatoire des groupes ainsi que d’outils développés pour l’étude des groupes de difféotopie, et sont souvent reformulées avec un langage catégorique approprié
Let $F_n$ be the free group on $n$ generators. Consider the group $IA_n$ of automorpisms of $F_n$ acting trivially on its abelianization. There are two canonical filtrations on $IA_n$: the first one is its lower central series $\Gamma_*$; the second one is the Andreadakis filtration $\mathcal A_*$, defined from the action on $F_n$. Andreadakis asked if and how these filtrations were different. We begin by describing a framework adapted to the study of such filtrations and their counterparts on group algebras. We then study several versions of the problem. In particular, we look at its restriction to some subgroups of $IA_n$ : we show that the two filtration coïncide when restricted to the triangular subroups and to braid groups. We also consider a stable version of the problem : we establish that the canonical morphism between the associated graded Lie rings is surjective when $n$ is big enough compared to a fixed degree. We also investigate a $p$-restricted version of the Andreadakis problem, and provide a calculation of the Lie algebra of the classical congruence group. Our methods are algebraic in nature. The tools come from combinatorial group theory and the study of mapping class groups; we often introduce some categorical langage to reformulate them

Styles APA, Harvard, Vancouver, ISO, etc.

20

Wondimu, Taye Tessema. « Investigation of pathogens for biological control of parthenium (Parthenium hysterophorus L.) in Ethiopia / ». Berlin : Mensch & ; Buch, 2002. http://classificationweb.net/min/minaret?app=Class&mod=Browser&menu=/Auto/&auto=1.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

21

Giovanelli, Joseph. « AutoML : A new methodology to automate data pre-processing pipelines ». Master's thesis, Alma Mater Studiorum - Università di Bologna, 2020. http://amslaurea.unibo.it/20422/.

Texte intégral

Résumé :

It is well known that we are living in the Big Data Era. Indeed, the exponential growth of Internet of Things, Web of Things and Pervasive Computing systems greatly increased the amount of stored data. Thanks to the availability of data, the figure of the Data Scientist has become one of the most sought, because he is capable of transforming data, performing analysis on it, and applying Machine Learning techniques to improve the business decisions of companies. Yet, Data Scientists do not scale. It is almost impossible to balance their number and the required effort to analyze the increasingly growing sizes of available data. Furthermore, today more and more non-experts use Machine Learning tools to perform data analysis but they do not have the required knowledge. To this end, tools that help them throughout the Machine Learning process have been developed and are typically referred to as AutoML tools. However, even with the presence of such tools, raw data (i.e., without being pre-processed) are rarely ready to be consumed, and generally perform poorly when consumed in a raw form. A pre-processing phase (i.e., application of a set of transformations), which improves the quality of the data and makes it suitable for algorithms is usually required. Most of AutoML tools do not consider this preliminary part, even though it has already shown to improve the final performance. Moreover, there exist a few works that actually support pre-processing, but they provide just the application of a fixed series of transformations, decided a priori, not considering the nature of the data, the used algorithm, or simply that the order of the transformations could affect the final result. In this thesis we propose a new methodology that allows to provide a series of pre-processing transformations according to the specific presented case. Our approach analyzes the nature of the data, the algorithm we intend to use, and the impact that the order of transformations could have.

Styles APA, Harvard, Vancouver, ISO, etc.

22

Rakotoarison, Herilalaina. « Some contributions to AutoML : hyper-parameter optimization and meta-learning ». Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG044.

Texte intégral

Résumé :

Cette thèse présente trois principales contributions afin d’améliorer l’état de l’art de ces approches AutoML. Elles sont divisées entre deux thèmes de recherche: l’optimisation et meta-apprentissage. La première contribution concerne un algorithme d’optimisation hybride, appelé Mosaic, qui exploite les méthodes MCTS et optimisation bayésienne pour résoudre respectivement la sélection des algorithmes et la configuration des hyperparamètres. L’évaluation, conduite à travers le benchmark OpenML 100, montre que la performance empirique de Mosaic surpasse ceux des systèmes d’AutoML de l’état de l’art (Auto-Sklearn et TPOT). La deuxième contribution introduit une architecture de réseau neuronal, appelée Dida, qui permet d’apprendre des descripteurs de données invariants à la permutation de colonnes et d’exemples. Deux tâches (classification des patchs et prédiction des performances sont considérées lors de l’évaluation de la méthode. Les résultats de Dida sont encourageants comparés à ceux de ses concurrents (Dataset2 vvec et DSS). Enfin, la troisième contribution, intitulée Metabu, vise à surmonter les limites de Dida à opérer sur de vrais jeux de données d’AutoML. La stratégie de Metabu comporte deux étapes. Tout d’abord, une topologie idéale de ces jeux de données, basée sur les meilleurs hyperparamètres, est définie. Puis, une transformation linéaire d es descripteurs manuels est apprise pour les aligner, selon un critère de transport optimal, avec la représentation idéale. Les comparaisons empiriques montrent que les descripteurs Metabu sont plus performants que les descripteurs manuels sur trois problèmes différents (évaluation du voisinage des jeux de données, recommandation d’hyperparamètres, et initialisation d’un algorithme d’optimisation)
This thesis proposes three main contributions to advance the state-of-the-art of AutoML approaches. They are divided into two research directions: optimization (first contribution) and meta-learning (second and third contributions). The first contribution is a hybrid optimization algorithm, dubbed Mosaic, leveraging Monte-Carlo Tree Search and Bayesian Optimization to address the selection of algorithms and the tuning of hyper-parameters, respectively. The empirical assessment of the proposed approach shows its merits compared to Auto-sklearn and TPOT AutoML systems on OpenML 100. The second contribution introduces a novel neural network architecture, termed Dida, to learn a good representation of datasets (i.e., metafeatures) from scratch while enforcing invariances w.r.t features and rows permutations. Two proofof-concept tasks (patch classification and performance prediction tasks) are considered. The proposed approach yields superior empirical performance compared to Dataset2Vec and DSS on both tasks. The third contribution addresses the limitation of Dida on handling standard dataset benchmarks. The proposed approach, called Metabu, relies on hand-crafted meta-features. The novelty of Metabu is two-fold: i) defining an "oracle" topology of datasets based on top-performing hyper-parameters; ii) leveraging Optimal Transport approach to align a mapping of the handcrafted meta-features with the oracle topology. The empirical results suggest that Metabu metafeature outperforms the baseline hand-cr afted meta-features on three different tasks (assessing meta-features based topology, recommending hyper-parameters w.r.t topology, and warmstarting optimization algorithms)

Styles APA, Harvard, Vancouver, ISO, etc.

23

Tinoco, Cavalheiro José Pedro. « Os Recursos de Animação em Desenho : Tendências e Práticas do Filme Autoral / Los Recursos de la Animación en Dibujo : Tendencias y Prácticas del Filme de Autor ». Doctoral thesis, Universitat Politècnica de València, 2012. http://hdl.handle.net/10251/17742.

Texte intégral

Résumé :

A lo largo de las páginas que componen el primer capítulo se ha pretendido elaborar un trabajo acerca de lo que asumimos como la raíz constitutiva del acto de animar: el dibujo. No ha sido, sin embargo, nuestra intención tomar el dibujo como entidad estable a partir de la cual otro lenguaje se formaría: el propio dibujo ha sido objetivo crítico de las problematizaciones que componen todo el capítulo. En verdad, la problematización del estatuto del dibujo nos ha llevado hasta otros puntos aparentemente lejanos, sin embargo creemos haber añadido un importante aporte en la construcción de la morfología del trazo y en la constitución del cuerpo de la página que , defendemos, son la base que estructura lo que vendría a ser referido como el acto de animar. Tal actitud crítica o cuestionadora nos ha llevado, en primer lugar, a un cierto enfrentamiento entre dos formas opuestas de entender el dibujo en el paso del siglo XIX al siglo XX: por un lado, la posición que representaba, a la época, la visión dominante de la función y rasgos del dibujo -la que pautaba gran parte de la enseñanza y que priilegiaba una estabilidad-, ya sea en la forma de entender y concebir el dibujo, o también en la propia manera de ponerlo en práctica; por otro lado, el surgimiento de un conjunto de actitudes de ruptura, cuyos efectos conducirían a una lenta, pero significativa emancipación ante el estatuto auxiliar y secundario que, en términos generales, definía el dibujo hasta entonces: por un lado, la posición de la académia; por otro, aquella que vendría a ser la actitud impresionista y modernista ante el dibujo. A lo largo de este análisis comparativo entre una tradición académica y el lenguaje impresionista, comprendemos que el dibujo académico, en el siglo XIX, se pautaba por un sello clasicista e intemporal; era esencialmente representativo, y el modelo de representaciones era fundamentalmente ideal; contenía una exigencia de conformidad ante el dibujo, profundizando la importancia de la ana
Tinoco Cavalheiro, JP. (2012). Os Recursos de Animação em Desenho: Tendências e Práticas do Filme Autoral / Los Recursos de la Animación en Dibujo: Tendencias y Prácticas del Filme de Autor [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/17742
Palancia

Styles APA, Harvard, Vancouver, ISO, etc.

24

Gustafson, Laura (Laura N. ). « Bayesian tuning and bandits : an extensible, open source library for AutoML ». Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/119764.

Texte intégral

Résumé :

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2018.
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (pages 97-100).
The goal of this thesis is to build an extensible and open source library that handles the problems of tuning the hyperparameters of a machine learning pipeline, selecting between multiple pipelines, and recommending a pipeline. We devise a library that users can integrate into their existing datascience workflows and experts can contribute to by writing methods to solve these search problems. Extending upon the existing library, our goals are twofold: one that the library naturally fits within a user's existing workflow, so that integration does not require a lot of overhead, and two that the three search problems are broken down into small and modular pieces to allow contributors to have maximal flexibility. We establish the abstractions for each of the solutions to these search problems, showcasing how both a user would use the library and a contributor could override the API. We discuss the creation of a recommender system, that proposes machine learning pipelines for a new dataset, trained on an existing matrix of known scores of pipelines on datasets. We show how using such a system can lead to performance gains. We discuss how we can evaluate the quality of different solutions to these types of search problems, and how we can measurably compare them to each other.
by Laura Gustafson.
M. Eng.

Styles APA, Harvard, Vancouver, ISO, etc.

25

Del, Duchetto Francesco. « Evoluzione artificiale di automi cellulari ». Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2015. http://amslaurea.unibo.it/8877/.

Texte intégral

Résumé :

Questa tesi si pone come obiettivo quello di esplorare la possibilità di evolvere automi cellulari utilizzando algoritmi genetici al fine di trovare delle regole evolutive che permettano di generare un'immagine binaria qualunque a partire da una configurazione iniziale fissata.

Styles APA, Harvard, Vancouver, ISO, etc.

26

Djelloul, Khalil. « théories complètes autour des arbres ». Phd thesis, Université de la Méditerranée - Aix-Marseille II, 2006. http://tel.archives-ouvertes.fr/tel-00474384.

Texte intégral

Résumé :

The goal of this thesis is the study of a harmonious way to combine any first order theory with the theory of finite or infinite trees. For that: First of all, we introduce two classes of theories that we call \emph{infinite-decomposable} and \emph{zero-infinite-decomposable}. We show that these theories are complete and accept a decision procedure which for every proposition gives either $\vrai$ or $\faux$. We show also that these classes of theories contain a large number of fundamental theories used in computer science, we can cite for example: the theory of additive rational or real numbers, the theory of the linear dense order without endpoints, the theory of finite or infinite trees, the construction of trees on an ordered set, and a combination of trees and ordered additive rational or real numbers. We give then an automatic way to combine any first order theory $T$ with the theory of finite or infinite trees. A such hybrid theory is called \emph{extension into trees} of the theory $T$ and is denoted by $T^*$. After having defined the axiomatization of $T^*$ using those of $T$, we define a new class of theories that we call \emph{flexible} and show that if $T$ is flexible then $T^*$ is zero-infinite-decomposable and thus complete. The flexible theories are first order theories having elegant properties which enable us to handle easily first order formulas. We show among other theories that the theory $\add$ of ordered additive rational numbers is flexible and thus that the extension into trees $\addd$ of $\add$ is complete. Finally, we end this thesis by a general algorithm for solving efficiently first order constraints in $\addd$. The algorithm is given in the form of 28 rewriting rules which transform every formula $\varphi$, which can possibly contain free variables, into a disjunction $\phi$ of solved formulas equivalent to $\varphi$ in $\addd$ and such that $\phi$ is either the formula $\vrai$, or the formula $\faux$, or a formula having at least one free variable and being equivalent neither to $\vrai$ nor to $\faux$ in $\addd$. Moreover, the solutions of the free variables of $\phi$ are expressed in a clear and explicit way in $\phi$.

Styles APA, Harvard, Vancouver, ISO, etc.

27

Laurent, Arthur. « Autour des nombres de Tamagawa ». Phd thesis, Université Sciences et Technologies - Bordeaux I, 2013. http://tel.archives-ouvertes.fr/tel-00858435.

Texte intégral

Résumé :

Les nombres de Tamagawa des courbes elliptiques apparaissent dans la formulation de la conjecture de Birch et Swinnerton-Dyer comme certains facteurs locaux. Bloch et Kato (1990) ont trouvé une vaste généralisation de cette définition classique en termes de la théorie de Hodge p-adique. Ils ont associé un nombre de Tamagawa Tam(T) à tout réseau T de représentations p-adiques de de Rham au sens de J.-M. Fontaine. Ces nombres interviennent dans les conjectures de Bloch et Kato sur les valeurs spéciales des fonctions L des motifs.J.-M. Fontaine et B.Perrin-Riou ont formulé une conjecture reliant Tam(T) et le nombre de Tamagawa Tam(T*}(1)) de la représentation duale. Cette conjecture est connue pour les représentations cristallines ce qui permet de calculer explicitement les nombres de Tamagawa des représentations cristallines dont les poids de Hodge-Tate sont tous positifs. En revanche, dans la plupart des autres cas, nous n'avons pas de méthode de calcul explicite. Cette thèse a pour but de donner un encadrement des nombres de Tamagawa des représentations absolument cristallines le long de la tour cyclotomique sans hypothèses supplémentaires sur les poids de Hodge-Tate. Le premier chapitre de cette thèse est dédié à des rappels sur la théorie de Hodge p-adique, la classification de Fontaine des représentations p-adique de corps locaux via la théorie des (phi, Gamma)-modules, sur la cohomologie galoisienne, sur les modules de Wach ou sur la cohomologie d'Iwasawa. Le second chapitre est dédié à l'exponentielle de Bloch and Kato. Seront rappelées sa définition et sa construction de l'exponentielle de Bloch and Kato en termes de (phi, Gamma)-modules faite par D.Benois. Cette dernière construction permet de généraliser deux résultats de D.Benois et L.Berger qui relient l'exponentielle aux modules de Wach et qui permet de décrire des objets qui apparaissent naturellement dans l'étude des nombres de Tamagawa. Le dernier chapitre est le cœur de cette thèse. Nous commencerons en définissant les nombres de Tamagawa Tam(T) et en donnant certaines propriétés et résultats déjà connus. Nous énonçons ensuite le théorème final qui donne un encadrement des nombres de Tamagawa d'une représentation absolument cristalline V. Y sont également donnés certains cas d'égalité qui permettent de retrouver des formules connues --- lorsque V est positive ou lorsqu'elle provient d'une courbe elliptique et plus généralement d'un groupe formel de dimension 1 et de hauteur 2. Pour prouver ces résultats, nous écrivons les nombres de Tamagawa sous forme d'un indice généralisé dans lequel apparaissent les objets étudiés dans le chapitre précédent. La thèse se termine avec l'étude de plusieurs cas particuliers qui permettent de retrouver des résultats déjà connus.

Styles APA, Harvard, Vancouver, ISO, etc.

28

Aval, Jean-Christophe. « Combinatoire autour du groupe symétrique ». Habilitation à diriger des recherches, Université Sciences et Technologies - Bordeaux I, 2013. http://tel.archives-ouvertes.fr/tel-00978093.

Texte intégral

Résumé :

Cette HDR présente mes travaux récents en combinatoire (énumérative et algébrique) autour du groupe symétrique, et répartis sur trois axes principaux : les co-quasi-invariants polynomiaux, les matrices à signes alternants et les tableaux boisés.

Styles APA, Harvard, Vancouver, ISO, etc.

29

Sguerra, Fabien. « Variation autour de la porphyrine ». Phd thesis, Université de Strasbourg, 2012. http://tel.archives-ouvertes.fr/tel-00840225.

Texte intégral

Résumé :

Ces travaux de thèse traitent de l'exploitation des nombreuses propriétés chimiques, physiques et structurales qu'offre le macrocycle porphyrinique.Le premier chapitre présente la sensibilisation de lanthanides émettant dans le proche-infrarouge par un chromophore porphyrinique. La synthèse d'une porphyrine substituée par deux 8-hydroxyquinoléines, sa métallation avec des lanthanides (La, Nd, Yb et Gd) ainsi que les propriétés photophysiques de ces complexes sont présentées. La synthèse de porphyrines fonctionnalisées par des oxamates orientés de façon convergente dans le but de diminuer les désactivations non radiatives du lanthanide par vibrations des liaisons est également étudiée. Le second chapitre décrit la synthèse de porphyrines substituées par deux groupements pyridyl et éthynylpyridyl en position méso-trans. La métallation du macrocyclique porphyrinique par du Zn(II) conduit à la formation de réseaux de coordination mono- ou bi-dimensionnels dont la topologie est dépendante de la nature de la porphyrine. Le troisième chapitre présente la fonctionnalisation de surface par chimi- ou par physi-sorption d'un réseau de coordination directionnel. Dans un premier temps la synthèse de porphyrines substituées par des pyridines et des terpyridines est présentée. Puis l'adsorption de ces tectons sur une surface de graphite est décrite. Enfin une dernière partie traite de la synthèse de porphyrines fonctionnalisées par deux ou quatre bras possédant des substituants soufrés, qui après chimisorption sur une surface d'or, pourraient servir de point d'ancrage à la construction d'un réseau de coordination directionnel perpendiculaire à la surface.

Styles APA, Harvard, Vancouver, ISO, etc.

30

Sangnier, Marc. « Essais autour du capital social ». Paris, EHESS, 2012. http://www.theses.fr/2012EHES0125.

Texte intégral

Résumé :

Le capital social est constitué des valeurs qui poussent les individus à coopérer et à agir avec réciprocité et empathie en l'absence de tout mécanisme de contrôle formel. Le capital social se manifeste au travers de la confiance, mais aussi via les opinions favorables à la responsabilité collective plutôt qu'individuelle en ce qui concerne la sécurité économique. Cette thèse amène de nouvelles réponses aux deux questions fondamentales que se pose la littérature. Quelles sont les conséquences des différences en matière de valeurs sur l'activité économique ? Qu'est-ce qui détermine l'existence de telles valeurs ? Les deux premiers chapitres s'intéressent à la relation entre la confiance d'une part, et la volatilité macroéconomique et le développement financier d'autre part. L'analyse montre que la confiance réduit la volatilité économique et favorise le développement financier tant dans l'espace que dans le temps. Le troisième documente une relation non-monotone entre normes de coopération et générosité de l'état-providence. Des états-providences généreux peuvent exister à la fois dans des pays dotés d'un fort niveau de confiance et dans ceux où elle est plus faible si les citoyens sont nombreux à profiter indûment du système d'assurance sociale. La question de l'origine des valeurs est abordée dans les deux derniers chapitres. Le quatrième s'intéresse à la persistance des valeurs liées au mythe des débuts de l'industrie minière aux États-Unis : la responsabilité individuelle et l'opposition à l'intervention publique. Le dernier se penche sur les changements de la confiance envers les dirigeants et les institutions en Afrique à la suite d'émeutes ou de manifestations
Social capital is made from all values that push individuals to cooperate, to act with reciprocity or empathy in the absence of any formal control mechanism. Social capital manifests itself through trust, but also through opinions toward collective rather than individual responsability in economic activity. This thesis contributes to the economic literature interested in the role of norms by giving additional answers to its two fundamental questions. First, what are the consequences of differences in values on economic performance ? Second, where do these values come from ? The first two chapters document the relationship between trust on the one hand, and macroeconomic volatility and financial development on the other hand. It is shown that higher trust reduces macroeconomic volatility and fosters financial development across space and time. The third chapter rationalizes and documents a non-monotonic relationship between norms of cooperation and the generosity of the welfare state. It is shown that large and generous welfare states can be sustained both with high and low levels of trust, provided that a low level of trust is compensated with a large share of uncivic individuals who unduly use the social system. The question of the formation of values is tackled in the two last chapters. The fourth one documents the long-term persistence of values associated with the funding myths of mining activity in the United States : individual self-responsability and opposition to public intervention in the economy. The last chapter focuses on short term changes of trust in leaders and institution among Africans in the aftermath of riots and protests

Styles APA, Harvard, Vancouver, ISO, etc.

31

Fuser, Alain. « Autour de la conjecture d'Alexandru ». Nancy 1, 1997. http://www.theses.fr/1997NAN10289.

Texte intégral

Résumé :

La preuve des conjectures de Vogan - dites de Kazhdan-Lusztig - procède par induction sur un certain ordre appelé ordre de Bruhat. Dans ce mémoire nous énonçons une conjecture, que nous appelons conjecture d'Alexandru, essayant de relier ce principe d'induction à certaines propriétés élémentaires des catégories sous-jacentes - que ce soit la catégorie O de BCG ou la catégorie H des modules de Harish-Chandra. [. . . ]

Styles APA, Harvard, Vancouver, ISO, etc.

32

Juin, Gérard. « Autour de la fonction [omega]/ ». Limoges, 1996. http://www.theses.fr/1996LIMO0053.

Texte intégral

Résumé :

Le premier chapitre de cette these donne une presentation de la fonction arithmetique ainsi que certaines de ses proprietes. On donne ensuite les principaux resultats connus sur la fonction n (x, k, p#0) qui compte le nombre d'entiers naturels inferieurs au reel x, ayant k facteurs premiers (comptes avec multiplicite), tous superieurs au nombre premier p#0. Le cas p#0 = 2 est distingue des autres. Le deuxieme chapitre fournit la demonstration d'un nouveau resultat sur la fonction n (x, k, p#0), uniforme en k, pour p#0 assez grand et inferieur a la quantite (log log log x/k(39p#0) #1#-# ou est un reel quelconque compris entre 0 et 1 et fixe a l'avance. Ce resultat generalise le resultat de m. Balazard de 1987: sur la repartition des valeurs de certaines fonctions arithmetiques additives. Le troisieme chapitre donne d'autres resultats sur cette meme fonction. Ces resultats uniformes en k et p#0 sont obtenus a partir de ceux de k. Alladi dans un article de 1982 intitule the distribution of (n) in the sieve of eratostenes

Styles APA, Harvard, Vancouver, ISO, etc.

33

Even, Christian. « Autour du lambda-calcul partiel ». Lille 1, 1993. http://www.theses.fr/1993LIL10045.

Texte intégral

Résumé :

Cette thèse a pour objet l'étude des aspects syntaxiques, algébriques et catégoriques du lambda-calcul partiel, qui est un outil théorique pour étudier l'équivalence de programmes exécutées selon un mécanisme d'appel par valeur. En appliquant des techniques éprouvées dans le lambda-calcul pur et en les adaptant à ce calcul on a ainsi obtenu: 1) une preuve de la confluence pour un lambda-calcul partiel simplifie; 2) la caractérisation d'une classe de termes fortement normalisables par un système de types simples; 3) la caractérisation des termes égalisables à une valeur dans le lambda-calcul partiel comme conséquence de celle obtenue par un système de types dans le lambda-calcul par valeur, calcul antérieur et de même vocation que le précédent, mais moins expressif; 4) l'élaboration d'une notion d'algèbre combinatoire répondant à celle de modèle du lambda-calcul partiel et de la relation de cette notion avec la donnée d'une catégorie cartesienne fermée partielle munie d'un objet réflexif

Styles APA, Harvard, Vancouver, ISO, etc.

34

Messaoudi, Ali. « Autour du fractal de Rauzy ». Aix-Marseille 2, 1996. http://www.theses.fr/1996AIX22079.

Texte intégral

Résumé :

L'objet de cette these est l'etude des proprietes arithmetiques, geometriques et dynamiques engendrees par une classe de compacts de r#n, associee a des systemes dynamiques symboliques provenant de substitutions. Les compacts que nous etudions ont la particularite d'etre connexes, a l'interieur simplement connexe, a frontiere fractale et ils induisent un pavage periodique de r#n. Ces ensembles sont appeles fractals. Pour ne pas avoir une terminologie lourde, nous traitons le cas du fractal de rauzy. Dans le deuxieme chapitre, nous etudions les proprietes du fractal de rauzy et faisons une synthese de toutes les methodes de sa construction. Ensuite, nous nous interessons a sa frontiere. Le probleme de la frontiere du fractal de rauzy est equivalent au probleme des developpements impropres des complexes dans une base complexe ( entier algebrique) avec des chiffres dans un ensemble fini. Nous construisons un automate fini reconnaissant ces developpements, ce qui nous permet de parametriser la frontiere du fractal de rauzy, de calculer sa dimension de hausdorff et de montrer que c'est un quasi-cercle. Dans le troisieme chapitre, nous donnons une methode de construction des points strictement extremaux du fractal de rauzy. Cette construction permet de determiner l'enveloppe convexe du fractal de rauzy. Dans le quatrieme chapitre, nous etudions la dynamique du fractal de rauzy. Nous explicitons son lien avec un systeme dynamique symbolique substitutif, un systeme adique stationnaire et avec le codage d'un automorphisme hyperbolique du tore t#3. Dans le cinquieme chapitre, nous presentons une methode geometrique liee au fractal de rauzy pour calculer la fonction de recurrence du point fixe de la substitution de rauzy. Dans le dernier chapitre, nous etudions l'associativite de la multiplication de fibonacci (loi de composition interne sur n definie par d. Knuth) associee a une classe de suites recurrentes d'ordre deux et a la suite de tribonacci (t#n) (t#n#+#2 + t#n#+#1 + t#n)

Styles APA, Harvard, Vancouver, ISO, etc.

35

Megahed, Néfertiti. « Autour des algèbres de Malcev ». Grenoble 2 : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb37616131k.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

36

Rouanet, Patrick. « Autour de singularités de fonctions ». Grenoble 2 : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb37618154q.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

37

Frigo, Alberto. « Pascal filosofo e autore spirituale ». Doctoral thesis, Scuola Normale Superiore, 2010. http://hdl.handle.net/11384/86116.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

38

Calderón, de la Barca Pedro Arellano Ignacio Plata Parga Fernando Armendáriz Aramendía Ana Antonucci Fausta Suárez Ana Ruano de la Haza José M. Galván Luis Pérez Ibáñez Ignacio Pacheco Alejandra Illescas Salinas Eva. « Autos sacramentales completos / ». Pamplona : Univ. de Navarra, 2008. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=016609279&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

39

King, Errol L. « Resurrecting Lope's autos / ». Diss., CLICK HERE for online access, 2006. http://contentdm.lib.byu.edu/ETD/image/etd1587.pdf.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

40

Peltomäki, K. (Kristian). « Auton törmäyskestävyysvaatimukset valmistuskriteerinä ». Bachelor's thesis, University of Oulu, 2017. http://urn.fi/URN:NBN:fi:oulu-201705131834.

Texte intégral

Résumé :

Työn tavoitteena oli perehtyä henkilöautoille tehtäviin etutörmäystesteihin. Työssä käydään läpi Euroopassa ja Yhdysvalloissa testeistä määrättyjä standardeja. Lisäksi tutustutaan testejä tekeviin tahoihin ja testien toteutustapoihin. Lopuksi pohditaan, onko hyvillä törmäystestituloksilla vaikutusta matkustajien turvallisuuteen todellisessa kolaritilanteessa. Työn tarkoituksena oli myös avata pitkiä ja monimutkaisia ohjeita ja määräyksiä lyhyemmiksi ja helpommin ymmärrettäviksi kokonaisuuksiksi. Suuri osa työssä käytetyistä lähteistä on lakeja ja standardeja, mutta niiden tulkinnassa ja vertailussa on käytetty apuna artikkeleita ja alan kirjallisuutta. Tutkimus osoitti, että törmäystestejä voidaan tehdä usealla eri tavalla. Tutkimuksessa kävi myös ilmi, että törmäyskestävyysvaatimuksia ei olla saatu maailmanlaajuisesti yhtenäistettyä, vaikka sitä on yritetty. Auton turvallisuuden yhteyttä hyviin testituloksiin ei saatu täysin vahvistettua. Tutkimuksessa todettiin, että menestyminen törmäystesteissä ei aina tarkoita turvallisuutta todellisissa törmäystilanteissa. Tämän tutkimuksen tuloksia voidaan käyttää törmäystesteihin tutustumiseen. Tämä tutkimus esittää yleiskuvan nykyaikaisista etutörmäystesteistä ja niiden vaatimuksista, sekä tarjoaa hieman näkökulmaa siitä, kuinka tarkoituksenmukaisia testit ovat
The goal of the thesis was to get acquainted with frontal crash tests performed to passenger cars. The paper reviews the standards governed for the tests both in Europe and in the United States. In addition it looks into the agencies carrying out the tests and the different ways of performing the tests. In the end the study looks for connections between good test results and passenger safety in real life crash situations. The point of the study was also to open up the long and complicated laws and standards to create shorter and simpler sections. Large portion of the sources used in this study are laws and standards, but articles and literature were used to compare and construe them. The study shows that there are different ways to perform crash tests. The paper also reveals that the crashworthiness requirements are not globally uniform despite the efforts made in order to achieve harmony. The relation between good test results and safety of the car were not confirmed. The study found out that good ratings in crash tests don’t always mean good performance in real-life crash situations. The results of this study can be used in getting acquainted with crash tests. This study gives an overview of modern-day frontal crash tests and their requirements, along with some perspective on how adequate the test are

Styles APA, Harvard, Vancouver, ISO, etc.

41

King, Errol LeRoy. « Resurrecting Lope's Autos ». BYU ScholarsArchive, 2006. https://scholarsarchive.byu.edu/etd/815.

Texte intégral

Résumé :

By the turn of the seventeenth century, the auto sacramental quickly became the most elaborate dramatic genre in Spain. Shortly after the Council of Trent, professional playwrights replaced clerics who had previously written autos for the Corpus Christi celebrations held each year, but none were more influential than Lope de Vega in refining thematic, literary, and staging elements and techniques. At the middle of the nineteenth century, critics began to study the genre that a royal decree had banned almost a century earlier; however, few have dedicated much time to Lope's autos. As a result, most critics have misunderstood Lope's contributions to the genre. This study addresses some of the issues that scholars have particularly misunderstood or ignored, namely, Lope's treatment of the Eucharistic theme in his autos, the level of dramatic unity displayed in his Corpus Christi plays, and the contribution of spectacle to the overall performance. Using a textual analysis of three of Lope's autos, I conclude that Lope could and did write profound, unified liturgical plays designed to disseminate Catholic dogma in an effective and entertaining manner. Each of the three autos used in this study, Las aventuras del Hombre, El viaje del Alma, and Los dos ingenios y esclavos, presents a protagonist representing mankind, who must learn to disregard evil influences faced in mortality and turn to Christ and the Eucharist for salvation. These elaborate liturgical performances, whose budgets exceeded those of the popular comedias of the day, all took place in city plazas around the country. In order to understand the deserved popularity that Lope's autos clearly enjoyed in their original setting, scholars need to return to the texts themselves and not merely rely on criticism.

Styles APA, Harvard, Vancouver, ISO, etc.

42

Calderon, Barrio De Mendoza Alithu Gabriela. « Buscando al autor ». Universidad Peruana de Ciencias Aplicadas (UPC), 2017. http://hdl.handle.net/10757/624234.

Texte intégral

Résumé :

Fotografía ganadora Primer puesto en el "II Concurso de fotografía para lectores UPC", llevado a cabo el 10 de Noviembre de 2017. El evento fue organizado por el Centro de Información - Sede San Miguel. Lima, Perú.

Styles APA, Harvard, Vancouver, ISO, etc.

43

Valenzuela, Victor. « Historias sobre el derecho de autor en Chile autor en Chile ». Tesis, Universidad de Chile, 2009. http://repositorio.uchile.cl/handle/2250/170568.

Texte intégral

Résumé :

Memoria para optar al título de Periodista
Esta investigación aborda los derechos de autor, pero desde una mirada práctica. A través de un conjunto de casos e historias, ilustra por qué el copyright se está convirtiendo en un obstáculo para la cultura libre. Inspirado por Free Culture, de Lawrence Lessig, este trabajo propone comprobar empírica o testimonialmente que, en el contexto de Internet, el derecho de autor está causando más daños que beneficios: es un obstáculo para el patrimonio o el acceso y una traba a la propia creatividad. La investigación busca “aterrizar” el tema y acercarlo a los lectores; contrasta la realidad de experiencias particulares con los supuestos de la ley o los argumentos de la teoría (que parece predominar en el debate); ofrece, además, un punto de vista comprometido. Es también un trabajo de carácter híbrido, en tanto cita fuentes abigarradas: testimonios, estadísticas, discusiones parlamentarias, leyes actuales y antiguas, ensayos, libros de historia, series de tv, recortes de prensa, novelas, discos, escritos filosóficos, y otros.

Styles APA, Harvard, Vancouver, ISO, etc.

44

Simoncini, Fabio. « Autour de quelques invariants d'homotopie rationnelle / ». [S.l.] : [s.n.], 1998. http://library.epfl.ch/theses/?nr=1893.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

45

De, La Rochefoucauld Thomas. « Autour de la conjecture de parité ». Phd thesis, Université Pierre et Marie Curie - Paris VI, 2012. http://tel.archives-ouvertes.fr/tel-00747423.

Texte intégral

Résumé :

Cette thèse porte sur des questions liées à la conjecture de parité. On démontre la conjecture de p-parité pour un certain twist d'une courbe elliptique sur un corps local. On en déduit des résultats globaux d'invariance de la conjecture de p-parité (pour une courbe elliptique) par certaines extensions. Avec l'objectif de généraliser les résultats précédents, on démontre une formule pour les signes locaux des représentations essentiellement symplectiques et modérément ramifiées du groupe de Weil. Cette formule généralise celle, déjà connue, pour les courbes elliptiques ayant potentiellement bonne réduction. Finalement, on fait un premier pas vers la généralisation escomptée en comparant les nombres de Tamagawa et les constantes de régulation pour certains prémotifs.

Styles APA, Harvard, Vancouver, ISO, etc.

46

Rousseau, Erwan. « Autour de l'hyperbolicité en géométrie complexe ». Habilitation à diriger des recherches, Université de Strasbourg, 2010. http://tel.archives-ouvertes.fr/tel-00533575.

Texte intégral

Résumé :

L'étude des courbes entières dans les variétés complexes a déjà une longue histoire que l'on peut faire remonter au petit théorème de Picard. Les variétés complexes hyperboliques sont actuellement très étudiées notamment par les liens fascinants que l'hyperbolicité a avec la géométrie arithmétique. A la suite de Lang et Vojta, on dispose de conjectures sur les liens entre hyperbolicité analytique et arithmétique e.g. la densité des courbes entières et celle des points rationnels.On décrit dans ce texte de synthèse différentes approches possibles du problème de l'hyperbolicité: équations différentielles algébriques, structures orbifoldes et courants d'Ahlfors.

Styles APA, Harvard, Vancouver, ISO, etc.

47

Desort, Morgan. « Recherche de planètes autour d'étoiles chaudes ». Phd thesis, Grenoble 1, 2009. http://tel.archives-ouvertes.fr/tel-00528996.

Texte intégral

Résumé :

Parmi les 400 exoplanètes découvertes, seulement une petite fraction sont en orbites autour d'étoiles plus massives que les étoiles de type solaire. Afin de contraindre les scénarios de formation et d'évolution des systèmes planétaires dans leur globalité il est cependant nécessaire de s'intéresser à la détection de planètes autour de telles étoiles. Dans le cadre de cette thèse je me suis focalisé sur les étoiles A et F de la séquence principale. La mesure de vitesses radiales (VR) précises est délicate pour ces étoiles (peu de raies, rotation élevée), de plus la présence de pulsations ou d'activité magnétique perturbent les mesures et peuvent faire croire à la présence de planètes. D'une part, des relevés systématiques ont permis la détection de plusieurs candidats et la détermination des premières statistiques sur la présence de planètes autour des étoiles A-F. D'autre part, des simulations numériques nous ont permis de simuler l'effet des taches, plages et pulsations sur les variations de VR, photométrie et astrométrie. Grâce à cela, nous avons effectué une étude quantitative complète de l'effet d'une tache à la surface d'étoiles de types spectraux variés et pour différentes configurations (position, taille, vsini). Nous avons aussi simulé l'effet des taches et plages (extraites des observations) sur les VR du Soleil telles qu'elles auraient pu être mesurées sur plus d'un cycle d'activité. A l'aide de ces simulations, nous avons étudié la détectabilité de planètes de masse terrestre dans la zone habitable d'étoiles de type solaire.

Styles APA, Harvard, Vancouver, ISO, etc.

48

Yao, Yi-Jun. « Autour des déformations de Rankin-Cohen ». Phd thesis, Ecole Polytechnique X, 2007. http://pastel.archives-ouvertes.fr/pastel-00002414.

Texte intégral

Résumé :

Dans cette thèse on s'attache à étudier les crochets de Rankin-Cohen et les déformations correspondantes selon de différents points de vue. On présente d'un côté une nouvelle interprétation des déformations de Rankin-Cohen via la théorie de "Quantification par Deformations de Fedosov(en collaboration avec P. Bieliavsky et X. Tang). On parvient notamment à redémontrer un théorème de Connes-Moscovici sur la déformation formelle des algèbres sous l'action d'une algèbre de Hopf H1 munie d'une structure projective. De l'autre cote on donne dans Chapitre III une interprétation détaillée des crochets de Rankin-Cohen via la théorie de représentations unitaires de SL2(R) et en utilisant cette interprétation on étudie certaines propriétés des produits déformés, notamment l'unicité des produits construits par Cohen-Manin-Zagier et une propriété de séparation du produit d'Eholzer. Dans le dernier chapitre on donne une démonstration élémentaire de l'identité combinatoire qui est cruciale pour démontrer l'associativité dans l'approche de la question de déformations par Cohen-Manin-Zagier, Eholzer, et Connes-Moscovici.

Styles APA, Harvard, Vancouver, ISO, etc.

49

Viennot, Laurent. « Autour des graphes et du routage ». Habilitation à diriger des recherches, Université Paris-Diderot - Paris VII, 2005. http://tel.archives-ouvertes.fr/tel-00471731.

Texte intégral

Résumé :

Le chapitre~2 retrace rapidement la problématique du routage, notamment dans l'Internet (qui servira d'exemple introductif dans la plupart des chapitres), les réseaux ad hoc, le graphe du web et les réseaux de pair à pair. Le chapitre~3 est consacré au routage «~de l'un vers tous~», c'est à dire au problème de diffusion d'un message à tous les membres d'un réseau. Le chapitre~4 traite du routage dans son sens le plus classique, c'est-à-dire quand il s'agit d'envoyer un message «~d'un n{\oe}ud vers tel autre~». Nous considérerons ensuite le problème plus pratique qui consiste à envoyer un message vers un n{\oe}ud défini de manière indirecte, ce que j'ai appelé «~de l'un vers celui qui~». Les deux derniers chapitres s'intéressent enfin à la dynamique des réseaux concernant l'algorithmique distribuée entre les n{\oe}uds ou le réseau lui-même. Le chapitre~6 décrit ainsi une classe très générale d'algorithmes de réseau à base d'itérations asynchrones qui fonctionne dès que des messages envoyés régulièrement sont reçus «~de temps à autre~». Le chapitre~7 développe ensuite quelques points liés à l'aspect dynamique de certains réseaux~: «~quand ça bouge~» tant du point de vue des connexions entre n{\oe}uds que de la présence des n{\oe}uds.

Styles APA, Harvard, Vancouver, ISO, etc.

50

Dollet, Benjamin. « ÉCOULEMENTS BIDIMENSIONNELS DE MOUSSE AUTOUR D'OBSTACLES ». Phd thesis, Université Joseph Fourier (Grenoble), 2005. http://tel.archives-ouvertes.fr/tel-00119699.

Texte intégral

Résumé :

Cette thèse étudie les écoulements bidimensionnels de mousse autour d'obstacles. Après un rappel du contexte de recherche en rhéologie des mousses, le dispositif expérimental employé est présenté : il s'agit de créer l'écoulement d'une mousse, constituée d'une monocouche de bulles confinée entre une solution savonneuse et une plaque de verre, autour d'un obstacle, et de simultanément mesurer la force exercée par la mousse sur l'obstacle, et les différents champs décrivant l'écoulement à l'échelle locale. Une étude systématique de la traînée sur différents obstacles, ainsi que de la dissipation, en fonction de nombreux paramètres de contrôle (débit, taille des bulles, viscosité de la solution, épaisseur de la monocouche), est ensuite décrite. La traînée se décompose en une traînée seuil, à vitesse tendant verz zéro, et en une partie dynamique, révélant que la mousse se comporte comme un fluide à seuil. Ensuite, les champs suivants : vitesse, contraintes, déformations, réarrangements topologiques, sont étudiés. Les résultats contraignent fortement les modèles rhéologiques, en mettant notamment en évidence une asymétrie amont/aval au niveau de l'obstacle, d'origine élastique. La thèse se termine par une discussion de l'ensemble des résultats ainsi que par des pistes de modélisation théorique des phénomènes décrits.

Styles APA, Harvard, Vancouver, ISO, etc.

Thèses sur le sujet « AutoDL »

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres