No description available.

No description available.

This work has been supported by the European FACETS-ITN project. Within the frameworkof this project, we contribute to the simulation of cortical cell types (employingexperimental electrophysiological data of these cells as references), using a specific VLSIneural circuit to simulate, at the single cell level, the models studied as references in theFACETS project. The real-time intrinsic properties of the neuromorphic circuits, whichprecisely compute neuron conductance-based models, will allow a systematic and detailedexploration of the models, while the physical and analog aspect of the simulations, as opposedthe software simulation aspect, will provide inputs for the development of the neuralhardware at the network level. The second goal of this thesis is to contribute to the designof a mixed hardware-software platform (PAX), specifically designed to simulate spikingneural networks. The tasks performed during this thesis project included: 1) the methodsused to obtain the appropriate parameter sets of the cortical neuron models that can beimplemented in our analog neuromimetic chip (the parameter extraction steps was validatedusing a bifurcation analysis that shows that the simplified HH model implementedin our silicon neuron shares the dynamics of the HH model); 2) the fully customizablefitting method, in voltage-clamp mode, to tune our neuromimetic integrated circuits usinga metaheuristic algorithm; 3) the contribution to the development of the PAX systemin terms of software tools and a VHDL driver interface for neuron configuration in theplatform. Finally, it also addresses the issue of synaptic tuning for future SNN simulation.

Au cours des deux dernières décennies, les signaux chaotiques ont été de plus en plus pris en compte dans les télécommunications, traitement du signal ou transmissions sécurisées. De nombreux articles ont été publiés qui étudient la densité spectrale de puissance (DSP) des signaux générés par des transformations spécifiques. La concentration sur la DSP est due à l'importance de la fréquence dans les télécommunications et la transmission sécurisée. Grâce au grand nombre de systèmes sans fil, la disponibilité des fréquences de transmission et de réception est de plus en plus rare pour les communications sans fil. Aussi, les médias guidés ont des limitations liées à la bande passante du signal. Dans cette thèse, nous étudions certaines propriétés associées à la bifurcation collision de frontière pour une transformation unidimensionnelle linéaire par morceaux avec trois pentes et deux paramètres. Nous calculons les expressions analytiques de l'autocorrélation et de la densité spectrale de puissance des signaux chaotiques générés par les transformations linéaires par morceaux. Nous montrons l'existence d'une forte relation entre les différents types de densité spectrale de puissance (passe-bas, passe-haut ou coupe-bande) et les paramètres de bifurcation. Nous notons également en évidence une relation entre le type de spectre et l'ordre des cycles attractifs. Le type du spectre dépend de l'existence des orbites périodiques au-delà de la bifurcation de collision de frontière qui a donné naissance au chaos. Nous utilisons ensuite les transformations chaotiques pour étudier la fonction d'ambiguïté. Nous combinons quelques transformations chaotiques bien déterminées pour obtenir un spectre large bande avec une bonne fonction d'ambiguïté qui peut être utilisée en système radar.

Nous présentons d'abord les problématiques liées à l'utilisation des processus pour la modélisation des modèles d'histoire de vie et de survie, écriture de vraisemblance, définition d'indépendance locale entre processus et interprétation causale. De manière indépendante, nous présentons ensuite des modèles de processus de bifurcation, les méthodes d'estimation associées avec application à la division cellulaire. Enfin nous regardons des problèmes liés aux PDMP : modélisation de propagation de fissures, de HUMS et estimation du taux de saut. Quelques exemples de collaborations avec des chercheurs d'autres disciplines sont donnés dans le dernier chapitre.

Human T-lymphotropic virus type I (HTLV-I) is a persistent human retrovirus characterized by life-long infection and risk of developing HAM/TSP, a progressive neurological and inflammatory disease. Despite extensive studies of HTLV-I, a complete understanding of the viral dynamics has been elusive. Previous mathematical models are unable to fully explain experimental observations. Motivated by a new hypothesis for the mechanism of HTLV-I infection, a three dimensional compartmental model of ordinary differential equations is constructed that focusses on the highly dynamic interactions among populations of healthy, latently infected, and actively infected target cells. Results from mathematical and numerical investigations give rise to relevant biological interpretations. Comparisons of these results with experimental observations allow us to assess the validity of the original hypothesis. Our findings provide valuable insights to the infection and persistence of HTLV-I in vivo and motivate future mathematical and experimental work. / Applied Mathematics

Made available in DSpace on 2014-06-11T19:26:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-03-12Bitstream added on 2014-06-13T19:06:40Z : No. of bitstreams: 1 cardin_pt_me_sjrp.pdf: 780321 bytes, checksum: 2c76fcd2cf98ce623cf8bc779edb3379 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Nesta dissertação estudamos critérios para determinar a existência, a não existência e a unicidade de ciclos limites de campos de vetores planares. Mais especificamente, estudamos equações de Lienard Äx + f(x; _ x) _ x + g(x) = 0; onde f e g satisfazem determinadas hip¶oteses. Em particular estudamos a equa»c~ao de van der Pol Äx + (x2 ¡ 1) _ x + x = 0; a qual é conhecida da teoria dos circuitos elétricos. Provamos a existência e a unicidade de ciclos limites para estas equações. Por fim estudamos a equação de van der Pol com o parâmetro 1 e o fenômeno canard que ocorre ao considerarmos um parâmetro adicional ®: As técnicas utilizadas s~ao as usuais de Análise Assintótica. / In this work we study the existence, the non existence and the uniqueness of limit cycles of planar vector felds. More specifically, we study Lienard equations Äx+f(x; _ x) _ x+g(x) = 0; where f and g satisfy some hypothesis. In particular we study the van der Pol equation Äx + (x2 ¡ 1) _ x + x = 0; which is knew of the circuit theory. We prove the existence and the uniqueness of limit cycles for these equations. In the last part we study the van der Pol equation with the parameter 1 and the canard phenomenon which appears when we consider an additional parameter ®: The techniques employed are the usual in the Asymptotic Analysis.

Orientador: João Batista Campos Silva / Resumo: Nas últimas décadas, há uma crescente preocupação em mensurar os parâmetros dinâmicos do sangue, dadas as imensas perdas de vidas por doenças cardiovasculares sendo, muitas delas, por aneurismas. A formação e desenvolvimento de um aneurisma é, predominantemente, degenerativo e provém de uma complexa interação entre os efeitos biológicos da parede arterial, os estímulos de escoamento e tensões provenientes da hemodinâmica. A tensão cisalhante na parede e o cíclico campo de pressão são um dos principais fatores responsáveis pela formação e crescimento de um aneurisma. Logo, há a necessidade de se conhecer os campos de velocidades e pressão além das tensões cisalhantes e efetivas na parede. Uma análise numérica é mais promissora que uma experimental. Uma análise experimental in-vivo possui impasses éticos e morais, sem contar a necessidade de um grande investimento. Outra vantagem de um estudo numérico é a disponibilidade de softwares livres de extração de tomografias que permite a extração da geometria sem a necessidade de um método invasivo que ocorreria em estudo experimental in vivo. Portanto com o auxílio de simulações numéricas (Ansys®), considerando o efeito multi-física de interação fluido estrutura (FSI) pela metodologia de elementos e volumes finitos foi possível verificar o efeito dos fatores que levam a formação e crescimento de aneurisma na aorta abdominal. Os aneurismas estudados foram modelos geométricos e reais sendo um dos reais obtidos através de imagens DICOM... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: In recent decades, there is growing concern in measuring the dynamic parameters of the blood, given the immense loss of life from cardiovascular disease in human history, including, aneurysms. The formation and development of an aneurysm is predominantly degenerative and results from a complex interaction between the biological effects of the arterial wall and the flow and stress effects from hemodynamics. The stress in the wall and in the cyclic field of pressure is one of the main factors for the formation and growth of an aneurysm that degenerates until its rupture. Therefore, it is necessary to know the velocity and pressure fields as well as the shear stress and effective stress on the wall. A numerical analysis is more promising than an experimental one since an in-vivo experimental analysis has ethical and moral impasses, not counting the need for a large investment. Another advantage of a numerical study is the availability of free softwares for tomography analysis that allows the extraction of the geometry without the need for an invasive method that would occur in an in vivo experimental study. Therefore, with the aid of numerical simulations (Ansys®), considering the multi-physical effect of fluid structure interaction (FSI) by the methodology of finite elements and finite volumes it was possible to verify the effect of factors that lead to the formation and growth of abdominal aortic aneurysm. The studied aneurysms came from geometric models and from real examples... (Complete abstract click electronic access below) / Mestre

Let us have a boundary value problem for the fourth order homogeneous linear ordinary differential equation with constant coefficients, four zero boundary conditions and one additional unilateral condition in the interior of the domain. We prove the existence of a sequence of non-trivial solutions for three types of boundary conditions.

Submitted by Jeane Batista de Carvalho null (carvalhojeanetiagina@yahoo.com.br) on 2017-05-23T15:08:27Z No. of bitstreams: 1 Dissertação_CarvalhoJeane.pdf: 8189158 bytes, checksum: ebb9bc23a7d48fbc4154db51680f263e (MD5) / Approved for entry into archive by Luiz Galeffi (luizgaleffi@gmail.com) on 2017-05-23T18:27:50Z (GMT) No. of bitstreams: 1 carvalho_jb_me_ilha.pdf: 8189158 bytes, checksum: ebb9bc23a7d48fbc4154db51680f263e (MD5) / Made available in DSpace on 2017-05-23T18:27:50Z (GMT). No. of bitstreams: 1 carvalho_jb_me_ilha.pdf: 8189158 bytes, checksum: ebb9bc23a7d48fbc4154db51680f263e (MD5) Previous issue date: 2017-03-24 / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Nas últimas décadas, há uma crescente preocupação em mensurar os parâmetros dinâmicos do sangue, dadas as imensas perdas de vidas por doenças cardiovasculares sendo, muitas delas, por aneurismas. A formação e desenvolvimento de um aneurisma é, predominantemente, degenerativo e provém de uma complexa interação entre os efeitos biológicos da parede arterial, os estímulos de escoamento e tensões provenientes da hemodinâmica. A tensão cisalhante na parede e o cíclico campo de pressão são um dos principais fatores responsáveis pela formação e crescimento de um aneurisma. Logo, há a necessidade de se conhecer os campos de velocidades e pressão além das tensões cisalhantes e efetivas na parede. Uma análise numérica é mais promissora que uma experimental. Uma análise experimental in-vivo possui impasses éticos e morais, sem contar a necessidade de um grande investimento. Outra vantagem de um estudo numérico é a disponibilidade de softwares livres de extração de tomografias que permite a extração da geometria sem a necessidade de um método invasivo que ocorreria em estudo experimental in vivo. Portanto com o auxílio de simulações numéricas (Ansys®), considerando o efeito multi-física de interação fluido estrutura (FSI) pela metodologia de elementos e volumes finitos foi possível verificar o efeito dos fatores que levam a formação e crescimento de aneurisma na aorta abdominal. Os aneurismas estudados foram modelos geométricos e reais sendo um dos reais obtidos através de imagens DICOM. / In recent decades, there is growing concern in measuring the dynamic parameters of the blood, given the immense loss of life from cardiovascular disease in human history, including, aneurysms. The formation and development of an aneurysm is predominantly degenerative and results from a complex interaction between the biological effects of the arterial wall and the flow and stress effects from hemodynamics. The stress in the wall and in the cyclic field of pressure is one of the main factors for the formation and growth of an aneurysm that degenerates until its rupture. Therefore, it is necessary to know the velocity and pressure fields as well as the shear stress and effective stress on the wall. A numerical analysis is more promising than an experimental one since an in-vivo experimental analysis has ethical and moral impasses, not counting the need for a large investment. Another advantage of a numerical study is the availability of free softwares for tomography analysis that allows the extraction of the geometry without the need for an invasive method that would occur in an in vivo experimental study. Therefore, with the aid of numerical simulations (Ansys®), considering the multi-physical effect of fluid structure interaction (FSI) by the methodology of finite elements and finite volumes it was possible to verify the effect of factors that lead to the formation and growth of abdominal aortic aneurysm. The studied aneurysms came from geometric models and from real examples, being one of the real ones obtained through DICOM images. / CNPq: 131153/2015-3