Combatants in war inflict untold devastation. They lay waste the environment, destroy cultural heritage, wound, maim, and kill. Most importantly, they kill. These deeds would be, in any other context, paradigmatically unjust. This thesis asks whether they can be justi-fied. There are two possible approaches: first, deny that killing in war is in fact unjust; sec-ond, argue that the injustice is overridden by weightier moral reasons. In Part I, I reject the view that principles of self-defence can render killing in war just. I argue that the most plausible theories of self-defence are hardest to apply in the cha-otic context of war, while the most practicable theories are least philosophically defensible. Moreover, none of them encompasses the inevitable noncombatant deaths that all wars bring. If killing in war is almost always unjust, perhaps we should advocate pacifism. In Part II, I propose an alternative, arguing that these injustices might be all things con-sidered justified. Combatants have morally important relationships: they have deep personal relationships with friends and family, and comrades-in-arms; if they are citizens of just communities, then that relationship is valuable too. I argue that they have associative duties to protect these relationships against the threat posed by war, and that these duties may override the injustices they must commit to avert that threat. After defending a conception of associative duties, I support this conclusion with the following argument. As well as our general duties not to harm, we have general duties to protect. Our general duties to protect sometimes override our general duties not to harm, in particular, in cases of justified humanitarian intervention. Our associative duties to protect, however, are stronger than our general duties to protect. If our associative duties to protect are stronger than our general duties to protect, and our general duties to protect can override our general duties not to harm, then our associative duties to protect should also be able to override our general duties not to harm.

Chez l’espèce humaine comme pour de nombreuses autres espèces animales, lorsque des stimuli environnementaux précèdent de façon régulière la présentation d’événements importants pour un individu, ces stimuli vont acquérir sous certaines conditions la capacité à évoquer des comportements dits d’anticipation. Cette capacité est considérée par de nombreux auteurs comme ayant une haute valeur adaptative, favorisant le contact avec des événements appétitifs et permettant l’évitement d’événements aversifs. Ces dernières décennies, deschercheurs ont initié un rapprochement entre le phénomène d’anticipation et le conditionnement Pavlovien. Ce rapprochement repose à la fois sur une similarité dans les caractéristiques des événements mis en jeux mais surtout sur de nombreux effets et phénomènes semblables, amenant ces auteurs à considérer que les comportements ditsd’anticipation, d’une façon générale, reposeraient sur le processus Pavlovien. Leconditionnement Pavlovien offre une littérature extrêmement riche dont l’une des principalesquestions de recherche concerne le problème des conditions à l’apparition du processus.Parmi les hypothèses existantes, l’Hypothèse de l’Information est sans aucun doute l’une desplus importantes par son influence. Selon cette hypothèse, un apprentissage associatifPavlovien n’aura lieu que lorsqu’un événement important sera présenté de façon inattendu à un sujet, et l’apprentissage, ou les associations apprises, ne porteront que sur des stimuli prédictifs de l’événement important (i.e. permettant son anticipation). A travers deux expériences appliquant une procédure de conditionnement rétrograde à une procédure de renforcement conditionné, nous avons cherché à tester les propositions faites par cette hypothèse. Nos résultats vont directement à l’encontre de ces propositions et vont au contraire dans le sens de deux autres propositions théoriques faites sur le conditionnement Pavlovien,illustrées par le modèle SOP et l’Hypothèse du Codage Temporel. Ces deux propositions sont testées au sein d’une troisième et dernière expérience, dont les implications pour ces modèles comme pour la conceptualisation du conditionnement Pavlovien et de l’anticipation de façon générale sont discutées. / In human and non-human animals, environmental stimuli that reliably accompany the presentation of significant events are able after repeated exposures of eliciting anticipatory behaviors. Many authors underlined the adaptive value of anticipatory responses, and suggested a connection with Pavlovian conditioning. Linking anticipatory behaviors to Pavlovian conditioning is supported by the similarity in procedure (i.e. a pairing between a neutral stimulus with a significant event), but also on the common effects and phenomena, and the authors assume that Pavlovian conditioning is the process underlying the anticipation of events. This assumption is at the heart of the Information Hypothesis, and more generally of a functional and predictive perspective of Pavlovian conditioning. According to the Information Hypothesis, Pavlovian conditioning only occurs when an unexpected significant event is presented, and learning (i.e. the formation of association) would be about stimuli that allow the anticipation of the significant event. Using a backward conditioning procedure in a conditioned reinforcement preparation, we tested the assumptions made by the Information Hypothesis. The results found argue against the Information Hypothesis and, in contrast, support the assumption made by two others types of leaning models, illustrated by the Temporal Coding Hypothesis and the SOP model. The Temporal Coding Hypothesis and SOP are tested in a third experiment. Implications for Pavlovian conditioning models and anticipatory behaviors in general are discussed.

Neste trabalho será provado que as álgebras comutativas de potências associativas de dimensão n e nilíndice n-3, assim como, álgebras de dimensão 9 sobre C, são solúveis, estendendo os resultados conhecidos ao famoso Problema de Albert. Logo depois de estudar o problema de Albert, será dada uma descrição das tabelas de multiplicação para as álgebras comutativas de potências associativas de dimensão n maior do que 12 e nilíndice n-1 sobre um corpo de característica diferente de 2,3 e 5. / We will prove that commutative power-associative nilalgebras both of dimension n and nilindex n-3, or of dimension 9 over C, are solvable. This solve an specific case of famous Albert\'s problem. After that, we will make a description about multiplications of commutative power-associative nilalgebras of dimension n (greater or igual that 12) and nilindex n-1 over a field of characteristic diferent from 2,3 and 5.

Neste trabalho estudamos o processo de foto-ionização associativa(PAI) em uma amostra fria de átomos de sódio com o objetivo entender os efeitos dos estados repulsivos e dimensão da colisão. Realizamos experimentos de PAI com duas cores em uma armadilha magneto-óptica adicionando um feixe de prova com intensidade, frequências e polarização ajustáveis. O formato dos átomos aprisionados também foi uma das variáveis no estudo da PAI. Para os átomos em formação esférica, observamos uma mudança marcante no comportamento da constante de taxa de formação da foto-ionização associativa(K) para um determinado domínio de frequências, e essa mudança no comportamento pode ser atribuída a participação de estados moleculares repulsivos na PAI e a formação de um possível cruzamento evitado entre os níveis moleculares. No atomotron ,armadilha atômica em forma de anel, variamos a polarização do laser de prova e constatamos que a razão entre K das polarizações paralela e perpendicular ao movimento dos átomos é igual a 4. Uma comparação entre K do atomotron e o da armadilha esférica em função da intensidade do feixe de prova, nos mostrou uma diferença no comportamento e no valor da constante de taxa. / Photoassociative ionization (PAI) in a cold sample of sodium atoms was the main subject of our studies as a way to understand the effects of repulsive states and collision dimensions. Two-color PAI experiment were preformed in a magneto-optical trap (MOT) trough the addition of a probe laser beam, the intensity, polarization and frequency of that probe laser were tunable. The shape of the trapped atoms also could be changed. In a spherical shape MOT, we observed a marked change in the PAI rate constant (K) for a definite frequency range, and that change can be attributed to the influence of repulsive molecular states and the a possible formation of an avoided crossing between molecular levels. In atomotron, ring shaped mot, we changed the polarization of the probe beam, and saw that the ratio between K for a polarization parallel to the atoms motion and a perpendicular one is 4. Comparing the K as a function of the intensity between a spherical shaped mot and atomotron showed us a difference in the behavior and the value of the rate constant.

Com o desenvolvimento e barateamento dos equipamentos de aquisição de imagens, principalmente na área médica, tem sido geradas muitas imagens, as quais devem ser analisadas pelos especialistas. Esta tarefa pode ser muitas vezes cansativa e demorada, levando a possíveis erros no diagnóstico, pois a leitura das imagens depende da experiência e do estado físico e emocional do médico. Assim, sistemas de auxílio ao diagnóstico por computador (Computer-aided diagnosis - CAD) têm se tornado grandes aliados no processo de diagnóstico, realizando uma segunda leitura da imagem, servindo como uma segunda opinião ao especialista. Por isso, é necessário o desenvolvimento de técnicas de mineração de imagens para o aumento da precisão e da velocidade da análise das imagens. Assim, o objetivo deste trabalho foi desenvolver métodos de representação de imagens e de classificação associativa para aumentar a precisão da classificação de sistemas de auxílio ao diagnóstico médico por imagens. Para a representação de imagens foram desenvolvidas técnicas para reduzir a lacuna que há entre a representação numérica das imagens e seu significado semântico, a qual é chamada de `gap semântico\'. Para isso, foi usada a teoria das redes complexas para modelar as imagens em redes livres de escala, e os descritores das imagens foram compostos pelas medidas topológicas extraídas rede modelada. Os vetores de características gerados foram bem compactos, o que possibilitou também evitar o problema da `maldição da alta dimensionalidade\'. Para a classificação, foi desenvolvido o classificador associativo SACMiner, por meio do uso de regras de associação estatísticas, o qual evita a fase de discretização de dados, lidando diretamente com dados contínuos. Este foi um passo importante, já que a discretização pode causar a perda de informações e gerar inconsistência na base de dados. Além do SACMiner, foi desenvolvido o classificador MinSAR, o qual, além de não demandar a fase de discretização, também evita que o usuário tenha que fornecer parâmetros de entrada ao algoritmo responsável por gerar as regras. As técnicas até aqui listadas foram aplicadas em um sistema de auxílio ao diagnóstico de mama e comparadas com técnicas descritas na literatura, e os resultados mostram que as técnicas aqui propostas sobrepujaram as atuais da literatura. E por fim, foram sugeridas novas medidas para caracterizar imagens de pacientes com epilepsia no lobo temporal mesial, por meio do uso de medidas de espessura cortical, as quais melhoraram a precisão do sistema para este tipo de diagnóstico / The complexity of medical images and the high volume of exams per radiologist in a screening program can lead to a scenario prone to mistakes. Hence, it is important to inforce double reading and effective analysis, but those are costly measures. The computer-aided diagnosis (CAD) technology offers an alternative to double reading, because it can provide a computer output as a `second opinion\' to assist radiologists in interpreting images. Using this technology, the accuracy and consistency of radiological diagnoses can be improved, and also the image reading time can be reduced. Therefore, the need of classification and image representation methods and to speed-up and to assist the radiologists in the image analysis task has been increased. These methods must be more accurate and demand low computational cost, in order to provide a timely answer to the physician. The aim of this thesis was to developed image representation and associative classifiers methods to improve the classification of computer-aided diagnosis systems. Considering the image representation, in this work, we present some approaches to reduce the gap between the numeric representation of the images and their semantic, which is called `semantic gap\'. For this, we used the complex network theory to produce an image model based on scale-free networks. The image descriptors were composed of topological measures of the modeled network. The feature vectors produced were quite compact, which also allowed to avoid the problem called as `curse of dimensionality\'. Considering the classification task, we proposed the SACMiner classifier, which uses statistical association rules in order to avoid the discretization step when working with continuous attributes. It is important because the discretization step can disturb the dataset and cause lost of information. We also proposed de MinSAR classifier, which mines the rules not requiring a discretization step neither input thresholds, as most of the other association rules methods do. These approaches were applied in a breast cancer computer-aided diagnosis system. And finally, we developed an automatic technique which can aid in distinguishing between controls and patients with mesial temporal lobe epilepsy, based on cortical thickness, and potentially identifying abnormalities in tissue integrity in cases where atrophy cannot be visualized

De modo a satisfazer aspectos de resistência, custo ou conforto, o aperfeiçoamento do desempenho das estruturas é uma meta sempre almejada na Engenharia. Melhorias têm sido alcançadas dado ao crescente uso de materiais compósitos, pois estes apresentam propriedades físicas diferenciadas capazes de atender as necessidades de projeto. Associado ao emprego de compósitos, o estudo da plasticidade demonstra uma interessante alternativa para aumentar o desempenho estrutural ao conferir uma capacidade resistente adicional ao conjunto. Entretanto, alguns problemas podem ser encontrados na análise elastoplástica de compósitos, além das próprias dificuldades inerentes à incorporação de fibras na matriz, no caso de compósitos reforçados. A forma na qual um compósito reforçado por fibras e suas fases têm sua representação e simulação é de extrema importância para garantir que os resultados obtidos sejam compatíveis com a realidade. À medida que se desenvolvem modelos mais refinados, surgem problemas referentes ao custo computacional, além da necessidade de compatibilização dos graus de liberdade entre os nós das malhas de elementos finitos da matriz e do reforço, muitas vezes exigindo a coincidência das referidas malhas. O presente trabalho utiliza formulações que permitem a representação de compósitos reforçados com fibras sem que haja a necessidade de coincidência entre malhas. Além disso, este permite a simulação do meio e do reforço em regime elastoplástico com o objetivo de melhor estudar o real comportamento. O modelo constitutivo adotado para a plasticidade é o de von Mises 2D associativo com encruamento linear positivo e a solução deste modelo foi obtida através de um processo iterativo. A formulação de elementos finitos posicional é adotada com descrição Lagrangeana Total e apresenta as posições do corpo no espaço como parâmetros nodais. Com o intuito de averiguar a correta implementação das formulações consideradas, exemplos para validação e apresentação das funcionalidades do código computacional desenvolvido foram analisados. / In order to satisfy strength, cost or comfort aspects, the improvement of the structural performance is a mark always desired in Engineering. Progress has been achieved due to the use of composite materials, because these present different physical properties capable of attending the needs of projects. Associated to the use of composites, the study of plasticity presents an interesting alternative to raise the structural performance by providing an additional resistance capability to the set. However, some problems may be found in the elastoplastic analysis of composites, besides the inherent difficulties of fiber insertion in the matrix, in the case of fiber reinforced composites. The way that the fiber reinforced composite and its phases are represented and simulated are of extreme importance to assure that the obtained results are compatible to the reality. As more refined models are developed, problems arise concerning computational cost and the need of compatibilization of the degrees of freedom between the nodes of the mashes of the matrix and the reinforcement, many times demanding the coincidence of the refered meshes. The present work utilizes formulations that allow the representation of the fiber reinforced composite without the need of mesh coincidence. It also enables the simulation of the medium and the reinforcement at the elastoplastic regime, with the objective study better the real behaviour. The constitutive model for the plasticity adopted is the von Mises 2D associative with a positive linear hardening and the solution of this model was obtained through an iterative procedure. The positional finite element method is adopted with a Total Lagrangean description and uses the positons of the body in space as nodal parameters. With the aim to ensure the correct implementation of the considered formulations, examples for validation and presentation of the functionalities of the developed computacional code were analized.

Nessa dissertação, é investigado o armazenamento e a recuperação de padrões de forma biologicamente inspirada no cérebro. Os modelos estudados consistiram de redes neurais realimentadas, que tentam modelar certos aspectos dinâmicos do funcionamento do cérebro. Em particular, atenção especial foi dada às Redes Neurais Celulares, que constituem uma versão localmente acoplada do já clássico modelo de Hopfield. Além da análise de estabilidade das redes consideradas, foi realizado um teste com o intuito de avaliar o desempenho de diversos métodos de construção de memórias endereçáveis por conteúdo (memórias associativas) em Redes Neurais Celulares. / In this dissertation we investigate biologically inspired models of pattern storage and retrieval, by means of feedback neural networks. These networks try to model some of the dynamical aspects of brain functioning. The study concentrated in Cellular Neural Networks, a local coupled version of the classical Hopfield model. The research comprised stability analysis of the referred networks, as well as performance tests of various methods for content-addressable (associative) memory design in Cellular Neural Networks.

Nesta tese, uma família de memórias associativas bidirecionais caóticas (família C-BAM) é proposta, implementada e testada com o objetivo de estender a relevância da presença e do estudo do fenômeno caótico a modelos de redes associativas. Na modelagem da família C-BAM, todos os neurônios da memória associativa bidirecional caótica (BAM), BAM com atraso e BAM exponencial (eBAM) foram substituídos por neurônios caóticos. Cada parâmetro do neurônio caótico na família C-BAM tem sua influência estimada através do planejamento de experimentos, em diferentes dinâmicas. Com base no planejamento de experimentos, valores de parâmetros são selecionados a fim de ilustrar a emergência de comportamentos dinâmicos como bifurcação, caos determinístico e crise. A existência de dinâmicas caóticas é confirmada pelo cálculo dos expoentes de Lyapunov. Experimentos empíricos mostraram que a dinâmica caótica modifica a acessibilidade à memória da família C-BAM. Ao invés de recuperar um único par, como a família BAM fazia, a versão caótica é capaz de gerar uma grande diversidade de padrões recuperados, envolvendo complexas transições entre os padrões armazenados, para algumas variações paramétricas. Tal comportamento permite à família C-BAM acessar padrões inacessíveis às redes BAMs originais. Além disso, a nova acessibilidade à memória, na qual seqüências de recuperação (com diferentes tamanhos) compostas de padrões treinados e não treinados têm emergido, pode ser usada para modelar a habilidade de um indivíduo saltar passos na solução de uma tarefa. Esta tese seleciona a rede C-BAM para ilustrar que a seqüência de recuperação da rede pode modelar a habilidade de um noviço ou a habilidade de um especialista executar uma tarefa. Embora a família C-BAM possa alcançar todos os padrões armazenados durante o comportamento caótico, ela não consegue convergir para um padrão específico. Duas estratégias de controle são propostas para permitir que as redes caóticas convirjam para a memória desejada: o método de controle por pinagem e um método de controle adaptativo. Conseqüentemente, os modelos C-BAM podem, de fato, realizar a hetero-associação de memórias antes inacessíveis, e a rede C-BAM pode estabilizar-se no estado final de uma tarefa, dado o primeiro estado / In this thesis, a family of bidirectional associative memories (C-BAM family) is proposed, implemented and tested to extend the study of chaotic phenomenon in associative models. In the C-BAM model, all the original neurons of bidirectional associative memory (BAM), BAM with delay and exponenetial BAM (eBAM) were substituted for chaotic neurons. Based on the experimental design, values of C-BAM family parameters are set to illustrate the emergence of a diversity of dynamic behavior, such as bifurcation, deterministic chaos and crisis. The existence of the chaotic dynamics is confirmed by calculation of Lyapunov exponents. Empiric experiments showed that the chaotic dynamics modifies the behavior of memory accessibility. Instead of recalling a single pair, as BAM did, its chaotic version yielded a wide diversity of recalled patterns, involving complex transitions via memorized patterns for some parametric variations. Hence, C-BAM family can access patterns that original BAM family cannot. Moreover, the new way of memory accessibility, in which several recall sequences (with distinct sizes) composed of trained and nontrained patterns have emerged, can be used to model the ability of skipping steps by an individual in a task solution. This thesis selected C-BAM network to illustrate that the retrieval sequence can model the ability of a novice or the ability of an expert to execute a task. There are also illustrated cases in which a novice recall can be transformed into an expert recall through parametric variation. Although C-BAM family can reach all stored patterns during the chaotic behavior, it can not converge towards a specific pattern, consequently a desired output is not produced. In this thesis, two control strategies are proposed in order to make the chaotic networks to converge towards the desired memory: the pinning control method and the adaptive control method. Consequently, the C-BAM models can effectively realize the correct heteroassociation to former non-accessible memories and the C-BAM network can quickly be stabilized in the final state of a task, given the first state

As incubadoras universitárias têm se constituído nas principais universidades brasileiras desde o fim da década de 1990. Elas trabalham dentro da linha de economia solidária, no desenvolvimento de cooperativas populares ou empreendimentos econômicos solidários e, durante esse trabalho, enfrentam diversos desafios. Um deles é conseguir contribuir com tais empreendimentos em suas dimensões empresa - uma gestão atenta à qualidade do produto ou serviço, aos processos e operações para sua maior eficiência, à sua inserção no mercado e à melhor organização dos seus recursos financeiros e não-financeiros; e associativa - uma gestão atenta à importância de sua missão social, à manutenção de sua vitalidade associativa, aos processos para que a democracia prevaleça e ao seu enraizamento na comunidade e no seu setor de atuação de forma cooperativa. Este trabalho avaliou o desenvolvimento de uma incubadora recém-formada, nos seus dois anos iniciais, na USP campus Ribeirão Preto, com a análise voltada para sua estrutura, equipe, metodologia e atuação junto aos empreendimentos incubados, percebendo as condições favorecedoras e desafiadoras de uma incubação que de fato contribua com ambas as dimensões. O método utilizado foi o de sistematização de experiências, considerado apropriado para construir a linha do tempo da incubadora, constituir os principais marcos e eixos do trabalho realizado e promover a reflexão crítica dos fatos e experiências levantados. Os resultados indicam que houve dificuldade na integração entre as dimensões empresa e associativa na atuação junto aos grupos incubados, com destaque ou maior ênfase para uma dimensão ou outra ao longo do tempo, devido principalmente aos acúmulos da equipe com maior participação naquele momento. Além disso, a percepção dos membros da incubadora foi avaliada por meio de entrevistas estruturadas, e indicou que alguns creditam tal enfoque em uma dimensão ou na outra por conta das demandas do grupo naquele momento, outros para qual fosse a constituição e formação da equipe mais próxima do trabalho e ainda porque indivíduos específicos de cada grupo pudessem demandar abordagens distintas. Por fim, concluiu-se que a incubadora produziu efeitos positivos e negativos devido a essa dificuldade no equilíbrio entre ambas as dimensões nos trabalhos realizados e que, com essa informação, as incubadoras universitárias pelo país podem buscar maior integração entre elas e, assim, atingir através de seus trabalhos com os empreendimentos solidários maior eficiência econômica e felicidade humana. / The university incubators have been constituted in the main Brazilian universities since the end of the 1990s. They work within the solidarity economy line, in the development of popular cooperatives and solidarity economy enterprises, and during this work, face several challenges. One of them is their capability to achieve contributions to the solidarity enteprises in their company dimension - a careful management to product quality or service, processes and operations to their greater efficiency, its insertion in the market and the best organization of its financial and non-financial resources; and their associative dimension - a management attentive to the importance of its social mission, the maintenance of its associative vitality, processes that makes democracy prevails and its rootedness in the community and its industry, in a cooperative manner. This study evaluated the development of a newly formed incubator in its first two years, at USP campus Ribeirao Preto, with focused analysis of its structure, staff, methodology and performance with the incubated enterprises, realizing that favor and challenging conditions of an incubation that actually contribute to both dimensions. The method used was the systematization of experiences, considered appropriate to construct the time line of the incubator, constitute major milestones and axes of the work and promote critical reflection of the facts and experiences raised. The results indicate that there were difficulties in integration between the company and associative dimensions in performance with the incubated groups, highlighting or with greater emphasis on one dimension or another over time, mainly due to the accumulations of the team with greater participation at that time. Moreover, the perception of the members of the incubator was evaluated through structured interviews, and indicated that some credited an approach focused in one dimension or the other because of the demands of the group at that time, others for which was the establishment and training of staff nearest to the work and because specific individuals of each group might require different approaches. Finally, it was concluded that the incubator has had positive and negative effects due to the difficulty in balancing both dimensions in the performed work, and with this information, the university incubators around the country may seek greater integration between them and thus achieve, through their work with solidarity enterprises, greater economic efficiency and human happiness.

Ce mémoire comporte deux parties distinctes. La première partie concerne une étude d'algèbres n-aires. Une algèbre n-aire est un espace vectoriel sur lequel est définie une multiplication sur n arguments. Classiquement les multiplications sont binaires, mais depuis l'utilisation en physique théorique de multiplications ternaires, comme les produits de Nambu, de nombreux travaux mathématiques se sont focalisés sur ce type d'algèbres. Deux classes d'algèbres n-aires sont essentielles: les algèbres n-aires associatives et les algèbres n-aires de Lie. Nous nous intéressons aux deux classes. Concernant les algèbres n-aires associatives, on s'intéresse surtout aux algèbres 3-aires partiellement associatives, c'est-à-dire dont la multiplication vérifie l'identité ((xyz)tu)+(x(yzt)u)+(xy(ztu))=0 Ce cas est intéressant car les travaux connus concernant ce type d'algèbres ne distinguent pas les cas n pair et n-impair. On montre dans cette thèse que le cas n=3 ne peut pas être traité comme si n était pair. On étudie en détail l'algèbre libre 3-aire partiellement associative sur un espace vectoriel de dimension finie. Cette algèbre est graduée et on calcule précisément les dimensions des 7 premières composantes. On donne dans le cas général un système de générateurs ayant la propriété qu'une base est donnée par la sous famille des éléments non nuls. Les principales conséquences sont L'algèbre libre 3-aire partiellement associative est résoluble. L'algèbre libre commutative 3-aire partiellement associative est telle que tout produit concernant 9 éléments est nul. L'opérade quadratique correspondant aux algèbres 3-aires partiellement associatives ne vérifient pas la propriété de Koszul. On s'intéresse ensuite à l'étude des produits n-aires sur les tenseurs. L'exemple le plus simple est celui d'un produit interne sur des matrices non carrées. Nous pouvons définir le produit 3aire donné par A . ^tB . C. On montre qu'il est nécessaire de généraliser un peu la définition de partielle associativité. Nous introduisons donc les produits -partiellement associatifs où  est une permutation de degré p. Concernant les algèbres de Lie n-aires, deux classes d'algèbres ont été définies: les algèbres de Fillipov (aussi appelées depuis peu les algèbres de Lie-Nambu) et les algèbres n-Lie. Cette dernière notion est très générale. Cette dernière notion, très important dans l'étude de la mécanique de Nambu-Poisson, est un cas particulier de la première. Mais pour définir une approche du type Maurer-Cartan, c'est-à-dire définir une cohomologie scalaire, nous considérons dans ce travail les algèbres de Fillipov comme des algèbres n-Lie et développons un tel calcul dans le cadre des algèbres n-Lie. On s'intéresse également à la classification des algèbres n-aires nilpotentes. Le dernier chapitre de cette partie est un peu à part et reflète un travail poursuivant mon mémoire de Master. Il concerne les algèbres de Poisson sur l'algèbre des polynômes. On commence à présenter le crochet de Poisson sous forme duale en utilisant des équations de Pfaff. On utilise cette approche pour classer les structures de Poisson non homogènes sur l’algèbre des polynômes à trois variables . Le lien avec les algèbres de Lie est clair. Du coup on étend notre étude aux algèbres de Poisson dont l'algèbre de Lie sous jacent est rigide et on applique les résultats aux algèbres enveloppantes des algèbres de Lie rigides. La partie 2 concerne l'arithmétique des intervalles. Cette étude a été faite suite à une rencontre avec une société d'ingénierie travaillant sur des problèmes de contrôle de paramètres, de problème inverse (dans quels domaines doivent évoluer les paramètres d'un robot pour que le robot ait un comportement défini). [...] / This thesis has two distinguish parts. The first part concerns the study of n-ary algebras. A n-ary algebra is a vector space with a multiplication on n arguments. Classically the multiplications are binary, but the use of ternary multiplication in theoretical physic like for Nambu brackets led mathematicians to investigate these type of algebras. Two classes of n-ary algebras are fundamental: the associative n-ary algebras and the Lie n-ary algebras. We are interested by both classes. Concerning the associative n-ary algebras we are mostly interested in 3-ary partially associative 3-ary algebras, that is, algebras whose multiplication satisfies ((xyz)tu)+(x(yzt)u)+(xy(ztu))=0. This type is interesting because the previous woks on this subject was not distinguish the even and odd cases. We show in this thesis that the case n=3 can not be treated as the even cases. We investigate in detail the free partially associative 3-ary algebra on k generators. This algebra is graded and we compute the dimensions of the 7 first components. In the general case, we give a spanning set such as the sub family of non zero vector is a basis. The main consequences are the free partially associative 3-ary algebra is solvable. In the free commutative partially associative 3-ary algebra any product on 9 elements is trivial. The operad for partially associative 3-ary algebra do not satisfy the Koszul property. Then we study n-ary products on the tensors. The simplest example is given by a internal product of non square matrices. We can define a 3-ary product by taking A . ^tB . C. We show that we have to generalize a bit the definition of partial associativity for n-ary algebras. We then introduce the products -partially associative where  is a permutation of the symmetric group of degree n. Concerning the n-ary algebras, two classes have been defined: Filipov algebras (also called recently Lie-Nambu algebras) and some more general class, the n-Lie algebras. Filipov algebras are very important in the study of the mechanic of Nambu-Poisson, and is a particular case of the other. So to define an approach of Maurer-Cartan type, that is, define a scalar cohomology, we consider in this work Fillipov as n-Lie algebras and develop such a calculus in the n-Lie algebras frame work. We also give some classifications of n-ary nilpotent algebras. The last chapter of this part concerns my work in Master on the Poisson algebras on polynomials. We present link with the Lie algebras is clear. Thus we extend our study to Poisson algebras which associated Lie algebra is rigid and we apply these results to the enveloping algebras of rigid Lie algebras. The second part concerns intervals arithmetic. The interval arithmetic is used in a lot of problems concerning robotic, localization of parameters, and sensibility of inputs. The classical operations of intervals are based of the rule : the result of an operation of interval is the minimal interval containing all the result of this operation on the real elements of the concerned intervals. But these operations imply many problems because the product is not distributive with respect the addition. In particular it is very difficult to translate in the set of intervals an algebraic functions of a real variable. We propose here an original model based on an embedding of the set of intervals on an associative algebra. Working in this algebra, it is easy to see that the problem of non distributivity disappears, and the problem of transferring real function in the set of intervals becomes natural. As application, we study matrices of intervals and we solve the problem of reduction of intervals matrices (diagonalization, eigenvalues, and eigenvectors).