Le feedback auditif se définit comme un signal auditif qui contient de l'information sur un mouvement. Il a été montré que le feedback auditif peut guider le mouvement en temps réel, mais son influence sur l'apprentissage moteur est moins clair. Cette thèse a pour but d'examiner l'influence du feedback auditif sur l'apprentissage moteur, en se focalisant sur le contrôle temporel des mouvements. Premièrement, nous étudions l'apprentissage moteur chez les non-musiciens sains et montrons qu'ils bénéficient de l'information temporelle contenue dans le feedback auditif et qu'ils sont sensibles aux distortions de cette information temporelle. Deuxièmement, nous appliquons ces connaissances à la rehabilitation de patients cérébro-lésés. Nous trouvons que ces patients améliorent leurs capacités de mouvement mais ne dépendent pas de la correspondance temporelle entre le mouvement et le son. Paradoxalement, ces patients ont même benéficié des distortions temporelles dans le feedback. Troisièmement, nous étudions les experts musicaux, car ils ont établi des liens particulièrement forts entre leur mouvement et le son. Nous développons de nouveaux outils d'analyse qui nous permettent de séparer les déviations temporelles en variation systématique et non-systématique. Le résultat principal est que ces experts sont devenu largement indépendents du feedback auditif. La proposition centrale de cette thèse est que le feedback auditif joue un rôle dans l'apprentissage moteur de la regularité, mais la façon dont le cerveau l'utilise dépend de la population étudiée. Ces résultats donnent une nouvelle perspective sur l'intégration audio-motrice et contribuent au développement de nouvelles approches pour l'apprentissage de la musique et la réhabilitation.

Esta tese trata das propriedades estruturais e do controle de sistemas lineares singulares sujeitos a saltos Markovianos (SLSSM). Três questões fundamentais são consideradas para esta classe de sistemas. A primeira estabelece condições necessárias para que o sistema seja estocasticamente regular em um período de tempo determinado. A segunda trata da estabilidade exponencial estocástica de SLSSM. Equações de Lyapunov acopladas generalizadas são deduzidas para caracterizar estabilidade deste tipo de sistema. Em virtude da complexidade das soluções numéricas dessas equações, cada equação de Lyapunov do conjunto acoplado está em função de duas variáveis desconhecidas, estamos propondo um algoritmo para resolver este problema. A terceira questão diz respeito à síntese de um regulador para este tipo de sistema singular definida em termos de equações algébricas generalizadas de Riccati acopladas. / This thesis deals with the structural features and with the control of singular linear systems with Markovian jump parameters (SLSMJP). Three fundamental questions are considered to this class of systems. The first provides necessary conditions to characterize stochastic regularity in a determined period of time. The second deals with exponential stability of SLSMJP. Coupled generalized Lyapunov Equations are deduced to check the stability of this class of systems. In virtue of the complexity of the numerical solutions of these equations, there exist two unknown variables for each equation of the set of coupled Lyapunov equations, we are proposing an algorithm to solve this problem. The third question is related with the synthesis of a regulator for this class of singular systems defined in terms of coupled algebraic generalized Riccati equations.

Title: Sobolev-Type Spaces on Metric Measure Spaces Author: RNDr. Lukáš Malý Department: Department of Mathematical Analysis Supervisor: Prof. RNDr. Luboš Pick, CSc., DSc., Department of Mathematical Analysis Abstract: is thesis focuses on function spaces related to rst-order analysis in abstract metric measure spaces. In metric spaces, we can replace distributional gra- dients, whose de nition depends on the linear structure of Rn , by upper gradients that control the functions' behavior along all recti able curves. is gives rise to the so-called Newtonian spaces. e summability condition, considered in the thesis, is expressed using a general Banach function lattice quasi-norm and so an extensive framework is built. Sobolev-type spaces (mainly based on the Lp norm) on metric spaces, and Newtonian spaces in particular, have been under intensive study since the mid- s. Standard toolbox for the theory is set up in this general setting and Newto- nian spaces are proven complete. Summability of an upper gradient of a function is shown to guarantee the function's absolute continuity on almost all curves. Ex- istence of a unique minimal weak upper gradient is established. Regularization of Newtonian functions via Lipschitz truncations is discussed in doubling Poincaré spaces using weak boundedness of maximal...

Stochastic Evolution Equations Petr Čoupek Doctoral Thesis Abstract Linear stochastic evolution equations with additive regular Volterra noise are studied in the thesis. Regular Volterra processes need not be Gaussian, Markov or semimartingales, but they admit a certain covariance structure instead. Particular examples cover the fractional Brownian motion of H > 1/2 and, in the non-Gaussian case, the Rosenblatt process. The solution is considered in the mild form, which is given by the variation of constants formula, and takes values either in a separable Hilbert space or the space Lp(D, µ) for large p. In the Hilbert-space setting, existence, space-time regularity and large-time behaviour of the solutions are studied. In the Lp setting, existence and regularity is studied, and in concrete cases of stochastic partial differential equations, the solution is shown to be a space-time continuous random field.

Cette thèse de doctorat étudie la façon dont Nelson Goodman comprend la correction d’une projection, c’est-à-dire du passage d’un certain ensemble d’items à un ensemble plus large. Une projection est justifiée par sa conformité avec des règles générales de projections et ces règles sont justifiées par leur conformité avec des projections que nous tenons pour valides. Il suffit de décrire pour justifier : une règle est justifiée si elle peut compter comme une description des projections admises. Cette injonction à seulement décrire soulève un dilemme. Si une règle est un standard de la correction de ses cas d’application, comment peut-elle être justifiée par sa seule adéquation descriptive à l’égard de ses cas d’applications ? Si la règle n’est justifiée par rien d’autre, en quoi se distingue-t-elle d’une description de nos comportements réguliers ? Notre objet est de montrer comment Goodman pourrait surmonter ce dilemme. / This PhD dissertation examines how Nelson Goodman understands rightness of projection, i.e. the transition from a set of items to a wider one. A projection is justified by its conformity to general rules of projection and rules are justified by their conformity to some projections we consider valid. To justify, all one needs to do is to describe: a rule is justified if it can count as a description of admitted projections. Yet this call for description faces a dilemma. If a rule is a standard for rightness of its applications, how could it be justified by its sole descriptive adequacy to those cases of application? If a rule is justified by nothing else, what could distinguish it from a mere description of our regular behaviors? Our object is to show how Goodman could resolve this dilemma.

Le sujet de cette thèse est l'étude d'idéaux monomiaux de l'anneau de polynômes S qui ont une résolution linéaire. D'après un résultat remarquable de Bayer et Stilman et en utilisant la polarisation, la classification des idéaux monomiaux ayant une résolution linéaire est équivalente à la classification des idéaux monomiaux libres de carrés ayant une résolution linéaire. Pour cette raison dans cette thèse nous considérons seulement le cas d'idéaux monomiaux libres de carrés. De plus, le théorème de Eagon-Reiner établit une dualité entre les idéaux monomiaux libres de carrés ayant une résolution linéaire et les idéaux monomiaux libres de carrés Cohen-Macaulay, ce qui montre que le problème de classification des idéaux monomiaux libres de carrés ayant une résolution linéaire est très difficile. Nous rappelons que les idéaux monomiaux libres de carrés sont en correspondance biunivoque avec les complexes simpliciaux d'une part, et d'autre part avec les clutters. Ces correspondances nous motivent pour utiliser les propriétés combinatoires des complexes simpliciaux et des clutters pour obtenir des résultats algébriques. La classification des idéaux monomiaux libres de carrés ayant une résolution linéaire engendrés en degré 2 a été faite par Froberg en 1990. Froberg a observé que l'idéal des circuits d'un graphe G a une résolution 2-linéaire si et seulement si G est un graphe de cordes, i.e. il n'a pas de cycles minimaux de longueur plus grande que 4. Dans [Em, ThVt, VtV, W] les auteurs ont partiellement généralisé les résultats de Froberg à des idéaux engendrés en degré >2. Ils ont introduit plusieurs définitions de clutters de cordes et démontré que les idéaux de circuits correspondant ont une résolution linéaire. Nous pouvons voir les cycles du point de vue topologique, comme la triangulation d'une courbe fermée, dans cette thèse nous utiliserons cette idée pour étudier des clutters associés à des triangulation de pseudo-manifolds en vue d'obtenir une généralisation partielle des résultats de Froberg à des idéaux engendrés en degré >2. Nous comparons notre travail à ceux de [Em, ThVt, VtV, W]. Nous présentons nos résultats dans le chapitres 4 et 5. / In this thesis, we study square-free monomial ideals of the polynomial ring S which have a linear resolution. By remarkable result of Bayer and Stilman [BS] and the technique of polarization, classification of ideals with linear resolution is equivalent to classification of square-free monomial ideals with linear resolution. For this reason, we consider only square-free monomial ideals in S. However, classification of square-free monomial ideals with linear resolution seems to be so difficult because by Eagon-Reiner Theorem [ER], this is equivalent to classification of Cohen-Macaulay ideals. It is worth to note that, square-free monomial ideals in S are in one-to-one correspondence to Stanley-Reisener ideals of simplicial complexes on one hand and the circuit ideal of clutters from another hand. This correspondence motivated mathematicians to use the combinatorial and geometrical properties of these objects in order to get the desired algebraic results. Classification of square-free monomial ideals with 2-linear resolution, was successfully done by Froberg [Fr] in 1990. Froberg observed that the circuit ideal of a graph G has a 2-linear resolution if and only if G is chordal, that is, G does not have an induced cycle of length > 3. In [Em, ThVt, VtV, W] the authors have partially generalized the Fr¨oberg's theorem for degree greater than 2. They have introduced several definitions of chordal clutters and proved that, their corresponding circuit ideals have linear resolutions. Viewing cycles as geometrical objects (triangulation of closed curves), in this thesis we try to generalize the concept of cycles to triangulation of pseudo-manifolds and get a partial generalization of Froberg's theorem for higher dimensional hypergraphs. All the results in Chapters 4 and 5 and some results in Chapter 3 are devoted to be the original results.

Seja (R;m) um anel Noetheriano local e R \'CONTÉM\' \'iota IND. 1\' \'CONTÉM\' \'iota IND. 2\' \'CONTÉM ... uma filtração de ideais de R. Podemos então construir a álgebra graduada F(\'\\Im) := \'SOMA DIRETA IND. n > OU = 0 POT. \'iota IND. n / \'m \'iota IND. n\', chamada de fibra especial. Esta tese objetiva a pesquisa deste anel. Investigamos sobre a sua propriedade de ser Gorenstein e a sua regularidade de Castelnuovo-Mumford. Outro objetivo, é generalizarmos o teorema de Risler-Teissier (sobre multiplicidades mistas) para o caso de filtrações de Hilbert / Let (R;m) be a Noetherian local ring and R \'CONTAINS\' \'iota IND. 1\' \'CONTAINS\' \'iota IND. 2\' \'CONTAINS\' ... a filtration of ideals in R. We may then construct the graded algebra F(\\Im) := \'DIRECT SUM\' IND. n > OR = \'0 POT. \'iota\' IND. n / \'m \'iota IND. n\' , which is called fiber cone. This thesis has the goal to research about this graded ring. We investigate its Gorenstein property and its Castelnuovo-Mumford regularity. Another aim is to generalize the Risler-Teissiers theorem (about mixed multiplicities) for the case of Hilbert filtration

Neste trabalho foram desenvolvidas as funções de interpolação com regularidades C1 e C2, utilizando o Método da Partição de Unidade, referentes ao elemento quadrilateral de quatro nós. Estes elementos quadrilaterais Hermitianos de regularidade C1 e C2 foram implementados em uma plataforma própria de elementos finitos, considerando uma estratégia do tipo sub-paramétrica. De forma comparativa com os elementos Lagrangeanos de regularidade C0 e diferentes ordens polinomiais, os elementos de regularidade C1 e C2 foram aplicados na solução de: problemas clássicos de elasticidade plana infinitesimal isotrópica; aproximação das frequências naturais de vibração livre de barras e viga; pro- pagação de onda elástica em barra devido à aplicação de força impulsiva. Os resultados obtidos mostraram que foi possível se obter um maior percentual de frequências naturais aproximadas do espectro discreto, dado um certo nível de erro máximo, com os elementos de regularidade C1 e C2 em comparação com os elementos Lagrangeanos de regularidade C0 de quatro, oito, dezesseis e vinte e cinco nós. Quanto ao problema de propagação de onda elástica devido à aplicação de força impulsiva, as soluções obtidas com os elementos de regularidade C1 e C2 também apresentaram-se satisfatórias em relação à solução ana- lítica e às soluções aproximadas obtidas com os elementos Lagrangeanos de regularidade C0 de quatro e oito nós. Por outro lado, nas simulações dos problemas de elasticidade plana infinitesimal isotrópica, os elementos de regularidade C1 e C2 não apresentaram um comportamento satisfatório. Os erros relativos em normas L2 e de energia da solução aproximada foram maiores do que aqueles obtidos com o elemento Lagrangeano de regularidade C0 de oito nós, por exemplo, e as taxas de convergência em norma de energia obtidas com tais elementos foram inferiores às preditas pelo estimador de erro a priori. / In this work the shape functions with regularity C1 e C2 were developed, by means of the Partition of Unity Method, concerning to the four-node quadrilateral element. These Hermitian quadrilateral elements with regularity C1 e C2 were implemented in an own platform of finite elements, considering the subparametric strategy. Comparatively with the C 0 regularity Lagrangian elements of different polynomial order, C1 and C2 regularity elements were applied in simulations of: classical isotropic infinitesimal plane elasticity problems; approximation of natural frequencies of free vibration for bars and beam; elastic wave propagation in bar caused by forced vibration with impulsive loading applied. The results obtained showed that was possible to get a major number of natural frequencies of free vibration for the discrete spectrum, given a certain level of error, for C1 and C2 regularity elements in comparison with C 0 regularity Lagrangian elements of four, eight, sixteen and twenty-five nodes. Regarding to the elastic wave propagation problem in bar due to the application of impulsive loading, the solution obtained with C1 and C2 regularity elements also presented satisfactory results with relation to the analytical solution and those obtained with C 0 regularity Lagrangian elements with four and eight nodes. On the other hand, for isotropic infinitesimal plane elasticity problems, C1 and C2 regularity elements did not present satisfactory results. Relative errors in L2 and energy norms of approximate solution were greater than those computed for the C 0 Lagrangian element of eight nodes, for example, and convergence rates obtained with the C1 and C2 regularity elements were lower than those predicted by the a priori error estimator.

Neste trabalho foram desenvolvidas as funções de interpolação com regularidades C1 e C2, utilizando o Método da Partição de Unidade, referentes ao elemento quadrilateral de quatro nós. Estes elementos quadrilaterais Hermitianos de regularidade C1 e C2 foram implementados em uma plataforma própria de elementos finitos, considerando uma estratégia do tipo sub-paramétrica. De forma comparativa com os elementos Lagrangeanos de regularidade C0 e diferentes ordens polinomiais, os elementos de regularidade C1 e C2 foram aplicados na solução de: problemas clássicos de elasticidade plana infinitesimal isotrópica; aproximação das frequências naturais de vibração livre de barras e viga; pro- pagação de onda elástica em barra devido à aplicação de força impulsiva. Os resultados obtidos mostraram que foi possível se obter um maior percentual de frequências naturais aproximadas do espectro discreto, dado um certo nível de erro máximo, com os elementos de regularidade C1 e C2 em comparação com os elementos Lagrangeanos de regularidade C0 de quatro, oito, dezesseis e vinte e cinco nós. Quanto ao problema de propagação de onda elástica devido à aplicação de força impulsiva, as soluções obtidas com os elementos de regularidade C1 e C2 também apresentaram-se satisfatórias em relação à solução ana- lítica e às soluções aproximadas obtidas com os elementos Lagrangeanos de regularidade C0 de quatro e oito nós. Por outro lado, nas simulações dos problemas de elasticidade plana infinitesimal isotrópica, os elementos de regularidade C1 e C2 não apresentaram um comportamento satisfatório. Os erros relativos em normas L2 e de energia da solução aproximada foram maiores do que aqueles obtidos com o elemento Lagrangeano de regularidade C0 de oito nós, por exemplo, e as taxas de convergência em norma de energia obtidas com tais elementos foram inferiores às preditas pelo estimador de erro a priori. / In this work the shape functions with regularity C1 e C2 were developed, by means of the Partition of Unity Method, concerning to the four-node quadrilateral element. These Hermitian quadrilateral elements with regularity C1 e C2 were implemented in an own platform of finite elements, considering the subparametric strategy. Comparatively with the C 0 regularity Lagrangian elements of different polynomial order, C1 and C2 regularity elements were applied in simulations of: classical isotropic infinitesimal plane elasticity problems; approximation of natural frequencies of free vibration for bars and beam; elastic wave propagation in bar caused by forced vibration with impulsive loading applied. The results obtained showed that was possible to get a major number of natural frequencies of free vibration for the discrete spectrum, given a certain level of error, for C1 and C2 regularity elements in comparison with C 0 regularity Lagrangian elements of four, eight, sixteen and twenty-five nodes. Regarding to the elastic wave propagation problem in bar due to the application of impulsive loading, the solution obtained with C1 and C2 regularity elements also presented satisfactory results with relation to the analytical solution and those obtained with C 0 regularity Lagrangian elements with four and eight nodes. On the other hand, for isotropic infinitesimal plane elasticity problems, C1 and C2 regularity elements did not present satisfactory results. Relative errors in L2 and energy norms of approximate solution were greater than those computed for the C 0 Lagrangian element of eight nodes, for example, and convergence rates obtained with the C1 and C2 regularity elements were lower than those predicted by the a priori error estimator.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / David Mumford introduced the concept of regularity of a coherent beam into the projective space in terms of local cohomology, generalizing a classic argument of Castelnuovo. In this dissertation under view of commutative algebra, we will introduce the concept of regularity of finitely generated graduated modules on the ring of polynomials. First, we perform a preliminary study on dimension theory and especially on Hilbert’s function. We also studied the basics of Cohen- Macaulay modules, properties of Betti’s graduated numbers, and the local cohomology functors. In the main chapter, we define the regularity of Castelnuovo-Mumford using the free resolution shifts. Soon after, we show that the definition of regularity can be given in terms of local cohomology, with emphasis on the cases of Artinian and Cohen-Macaulay modules. / David Mumford introduziu o conceito de regularidade de um feixe coerente no espac¸o projetivo em termos de cohomologia local, generalizando um argumento cl´assico de Castelnuovo. Nessa dissertac¸ ˜ao sob a vis˜ao da ´algebra comutativa, introduziremos o conceito de regularidade de m´odulos graduados finitamente gerados sobre o anel de polinˆomios. Primeiramente realizamos um estudo preliminar sobre teoria da dimens˜ao e em especial sobre a func¸ ˜ao de Hilbert. Tamb´em estudamos noc¸ ˜oes b´asicas em m´odulos Cohen-Macaulay, propriedades dos n´umeros graduados de Betti e dos funtores de cohomologia local. No cap´ıtulo principal, definimos a regularidade de Castelnuovo-Mumford utilizando os shifts de resoluc¸ ˜oes livres. Logo ap´os, mostramos que a definic¸ ˜ao de regularidade pode ser dada em termos de cohomologia local, dando ˆenfase aos casos de m´odulos Artinianos e Cohen-Macaulay. / São Cristóvão, SE