On étudie dans cette thèse la régularité des cônes et d'ensembles de dimension 3 dans l'espace Euclidien de dimension 4.Dans la première partie, on étudie d'abord la régularité Bi-Hölderienne des cônes minimaux de dimension 3 dans l'espace Euclidien de dimension 4. Ceci nous permet ensuite de montrer qu'il existe un difféomorphisme locale entre un cône minimal de dimension 3 dans l'espace Euclidien de dimension 4 et un cône minimal de dimension 3, de type P, Y ou T, loin d'origine. La méthode est la même que pour les ensembles minimaux de dimension 2. On construit des compétiteurs et on se ramène aux situations connues des ensembles minimaux de dimension 2 dans l'espace Euclidien de dimension 3.Dans la deuxième partie, on utilise le résultat de la première partie pour donner quelques résultats de régularité Bi-Hölderienne pour les ensembles minimaux de dimension 3 dans l'espace Euclidien de dimension 4. On s'intéresse aussi aux ensembles minimaux de Mumford-Shah et on obtient un résultat de l'existence d'un point de type T.

Bayer et Stillman ont montré que si R est un anneau de polynômes sur un corps k et I un idéal homogène de R, alors la régularité de I est égal au maximum des degrés des générateurs de son idéal initial générique pour l'ordre lexicographique inverse. Ce résultat a motivé la recherche de bornes pour la régularité de Castelnuovo-Mumford en termes des degrés des générateurs d'un idéal ou d'un module gradué. Les travaux de Gruson-Peskine, Bertram-Ein-Lazarsfeld, Chardin-Ulrich, Caviglia-Sbarra, entre autres, ont prouvé qu'il existe des bornes assez fines pour certaines classes d'idéaux ou de modules, bien inférieures aux bornes générales. Dans un premier temps nous améliorons les bornes dans le cas des idéaux en petites dimensions et, en s'inspirant des exemples de Chardin-d'Cruz, nous construisons des exemples d'idéaux dont la régularité est proche de nos estimations. Dans un deuxième temps nous avons étendu aux modules et raffiné les méthodes et les bornes connues pour les idéaux. En utilisant la méthode des sections hyperplanes et un théorème de Bertini, nous établissons une borne pour la régularité d'un idéal homogène en fonction du degré de ses générateurs minimaux et de la dimension du lieu singulier du schéma qu'il défini.

Le but de la thèse est d'établir une version quantitative du théorème suivant : toute sous-variété d'une variété abélienne n'admet qu'un nombre fini d'approximations d'exposant strictement positif. Cet énoncé a été obtenu par Faltings en 1991 ; la majeure partie des outils qu'il utilise sont communs avec sa preuve de l'ex-conjecture de Mordell-Lang. Il implique en particulier une extension du théorème de Siegel conjecturée par Lang : toute variété abélienne n'a qu'un nombre fini de points entiers. On utilise la méthode de Vojta en suivant les travaux de Rémond (version quantitative de Mordell-Lang) : le coeur de la thèse consiste à établir une inégalité à la Vojta explicite ; on établit ensuite une inégalité à la Mumford avant d'en déduire un décompte des approximations exceptionnelles. Toutefois, le cas où la variété approchée contient des translatés de sous-variétés abéliennes non nulles nécessite d'imposer une condition supplémentaire pour parvenir à un décompte explicite : sans ces conditions, un tel décompte impliquerait dans certains cas un résultat effectif, qui semble hors de portée à l'heure actuelle.

abstract: This dissertation explores the megamachine, a prominent metaphor in American humanist and philosopher of technology, Lewis Mumford's Myth of the Machine series. The term refers critically to dynamic, regimented human capacities that drive scientific and technical innovation in society. Mumford's view of the nature of collectives focuses on qualities and patterns that emerge from the behavior of groups, societies, systems, and ecologies. It is my aim to reenergize key concepts about collective capacities drawn from Lewis Mumford's critique of historical and modern sociotechnical arrangements. I investigate the possibility of accessing those capacities through improved design for Technology Assessment (TA), formal practices that engage experts and lay citizens in the evaluation of complex scientific and technical issues. I analyze the components of Mumford's megamachine and align key concerns in two pivotal works that characterize the impact of collective capacities on society: Bruno Latour's Pasteurization of France (1988) and Elias Canetti's Crowds and Power (1962). As I create a model of collective capacities in the sociotechnical according to the parameters of Mumford's megamachine, I rehabilitate two established ideas about the behavior of crowds and about the undue influence of technological systems on human behavior. I depart from Mumford's tactics and those of Canetti and Latour and propose a novel focus for STS on "sociotechnical crowds" as a meaningful unit of social measure. I make clear that Mumford's critique of the sociotechnical status quo still informs the conditions for innovation today. Using mixed mode qualitative methods in two types of empirical field studies, I then investigate how a focus on the characteristics and components of collective human capacities in sociotechnical systems can affect the design and performance of TA. I propose a new model of TA, Emergent Technology Assessment (ETA), which includes greater public participation and recognizes the interrelationship among experience, affect and the material in mediating the innovation process. The resulting model -- the "soft" megamachine --introduces new strategies to build capacity for responsible innovation in society. / Dissertation/Thesis / Doctoral Dissertation Human and Social Dimensions of Science and Technology 2014

Made available in DSpace on 2014-06-11T19:29:40Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-02-01Bitstream added on 2014-06-13T18:59:19Z : No. of bitstreams: 1 araujo_af_me_sjrp.pdf: 2505898 bytes, checksum: cb768a03165a1307255a1888187c915a (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O diagnóstico médico auxiliado por computador tem se tornado cada vez mais frequente, como por exemplo, no diagnóstico de lesões de pele, para o qual técnicas para a extração automática dos contornos das mesmas torna-se crucial. Muitas vezes, algumas lesões passam despercebidas pelo deramtologista porque este pode estar com a visão cansada e ter dificuladade para identificar corretamente as características das regiões doentes. O método apresentado neste trabalho utiliza a difusão anisotrópica para fazer a suavização seletiva da imagem, preservando as bordas e permitindo a extração de contornos com suas principais características: forma e rugosidade. a aplicação do crescimento de regiões Mumford-Shah possibilitou a extração de um contorno inicial, refinado pelos métodos de watershed e contorno ativo. As características das bordas detectadas foram extraídas de acordo com a regra ABCD, sendo os resultados validados por um especialista em doenças dermatológicas. / The computer aided medical diagnosis has become increasingly common, such as the diagnosis of skin lesions, where the techniques for automatic extraction of their contours becomes cricial. Often, some lesions are overlooked by the dermatologist because his vision may be tired making it difficukt for him to properly identify characteristics of the injured regions. The method presented in this work uses anisotropic diffusion for a selective image smoothing, preserving the contour of the image, and allowing the extraction of the main characteristics of the identified contour: shape and roughness. The application of the Mumford-Shah method allows the extraction of an initial contour, wich is then refined by the methods of watershed and active contour. The characteristics of the detected edges are extracted according to the ABCD rule, and the results are validated by an expert in dermatological diseases.

Orientador: Aledir Silveira Pereira / Banca: Norian Marranghello / Banca: Ivan Nunes da Silva / Resumo: O diagnóstico médico auxiliado por computador tem se tornado cada vez mais frequente, como por exemplo, no diagnóstico de lesões de pele, para o qual técnicas para a extração automática dos contornos das mesmas torna-se crucial. Muitas vezes, algumas lesões passam despercebidas pelo deramtologista porque este pode estar com a visão cansada e ter dificuladade para identificar corretamente as características das regiões doentes. O método apresentado neste trabalho utiliza a difusão anisotrópica para fazer a suavização seletiva da imagem, preservando as bordas e permitindo a extração de contornos com suas principais características: forma e rugosidade. a aplicação do crescimento de regiões Mumford-Shah possibilitou a extração de um contorno inicial, refinado pelos métodos de watershed e contorno ativo. As características das bordas detectadas foram extraídas de acordo com a regra ABCD, sendo os resultados validados por um especialista em doenças dermatológicas. / Abstract: The computer aided medical diagnosis has become increasingly common, such as the diagnosis of skin lesions, where the techniques for automatic extraction of their contours becomes cricial. Often, some lesions are overlooked by the dermatologist because his vision may be tired making it difficukt for him to properly identify characteristics of the injured regions. The method presented in this work uses anisotropic diffusion for a selective image smoothing, preserving the contour of the image, and allowing the extraction of the main characteristics of the identified contour: shape and roughness. The application of the Mumford-Shah method allows the extraction of an initial contour, wich is then refined by the methods of watershed and active contour. The characteristics of the detected edges are extracted according to the ABCD rule, and the results are validated by an expert in dermatological diseases. / Mestre

Kreativitet och kreativa processmodeller kan ses som verktyg som i marknadskommunikationsbranschen kan användas för att ta fram marknadskommunikation som tilltalar och når den tänkta målgruppen och som gör att det önskade kommunikationsresultatet uppnås. En kommunikationsbyrås uppdrag är att ta fram kreativa kommunikationslösningar för en kunds räkning. Det är viktigt att kunden får valuta för sina pengar, alltså att kommunikationen ger en effekt som uppfyller eller överträffar de mål som ställts upp av kunden. Därför är det nödvändigt att det kreativa arbetet genomförs på ett sätt som leder till dessa resultat på ett så kostnadseffektivt sätt som möjligt. En del byråer använder sig av definierade metoder för det kreativa arbetet. Metodernas syfte är att vägleda och underlätta det kreativa arbetet, samt att säkerställa att de idéer som genereras håller så hög kvalitet som möjligt. Mumford et al. (1991) har tagit fram en kreativ processmodell bestående av en uppsättning delprocesser som behöver genomföras för att en kreativ problemlösning ska nås. Syftet med denna studie är att undersöka den kreativa processen på en kommunikationsbyrå som inte har någon uttalad arbetsmetod, för att sedan jämföra resultatet med den kreativa processmodellen framtagen av Mumford et al. (1991). Detta för att ta reda på om rekommendationer för förändring av kommunikationsbyråns kreativa process kan ges, och i så fall på vilka grunder. Kommunikationsbyrån där undersökningen ägde rum valdes ut genom ett målinriktat urval och en mikro-etnografisk undersökning i form av observationer och en intervju genomfördes. Den insamlade datan analyserades utifrån den modell som beskrivs av Creswell (2009). Modellen anpassades något. Undersökningen visade att det finns likheter mellan deltagarnas kreativa process och den kreativa processmodell som beskrivs av Mumford et al. (1991). Processmodellen innehåller ett antal steg som är nödvändiga för att ett kreativt resultat ska nås. Under våra observationer av deltagarnas kreativa arbete kunde vi identifiera samtliga delprocesser som ingår i modellen. Deras arbetssätt var dock inte lika linjärt som modellen föreskriver. I stället hoppade deltagarna fram och tillbaka mellan de olika delprocesserna. Genom att arbeta efter den kreativa processmodellen kan deltagarna förbättra sina kreativa problemlösningar och nå resultat på ett mer effektivt sätt. Vi rekommenderar också att deltagarna utvecklar egna strategier för hur de olika delprocesserna genomförs eftersom det är av stor vikt för resultatet att de genom förs på rätt sätt. Medarbetarna utvärderade inte alla idéer som de genererade. Vi rekommendrar att de arbetar mer med idéutvärdering eftersom Mumford et al. (1991) menar att det är en viktig delprocess för att ett kreativt resultat ska nås.

What kinds of sensory adjustments allowed human beings to industrialize? If we accept Lewis Mumford's proposition that the era of coal, iron and carbon fuel production was accompanied by a broad scale "starvation of the senses" (Mumford 1963 [1934], 180), then what is the material evidence of this sensory suppression or deferral? What is the material culture of feeling -- or unfeeling -- that accompanied the arrival of the Anthropocene? One of the implications of this question is that the aesthetic and anaesthetic imperatives that escorted Americans into industrial life have simply continued in different forms, but without the belief in industrial 'progress' to give context or meaning. Social forms of industrialism endure within a void of purpose; this gives the imperative of anaesthetization renewed fuel as a buffer for the difficulties that accompany the ongoing environmental catastrophe. Historical and archaeological evidence collected during my recent investigations into the natural cement company town of Whiteport, New York, suggest that the aesthetic and anaesthetic origins of industrial society share a common source and destination in the world of dream, whereas the aesthetic impulse emerges from imagination and reverie and anaesthetic deferral is one of renunciation and self-preservation.

<p>Let S be a polynomial ring K[x1,...,xn] over a field K and let F be a non-negatively graded free module over S generated by m basis elements. In this thesis, we study four kinds of upper bounds: degree bounds for Gröbner bases of submodules of F, bounds for arithmetic degrees of S-ideals, regularity bounds for radicals of S-ideals, and Stillman bounds. </p> <p><br></p> <p>Let M be a submodule of F generated by elements with degrees bounded above by D and dim(F/M)=r. We prove that if M is graded, the degree of the reduced Gröbner basis of M for any term order is bounded above by 2[1/2((Dm)^{n-r}m+D)]^{2^{r-1}}. If M is not graded, the bound is 2[1/2((Dm)^{(n-r)^2}m+D)]^{2^{r}}. This is a generalization of bounds for ideals in a polynomial ring due to Dubé (1990) and Mayr-Ritscher (2013).</p> <p><br></p> <p>Our next results are concerned with a homogeneous ideal I in S generated by forms of degree at most d with dim(S/I)=r. In Chapter 4, we show how to derive from a result of Hoa (2008) an upper bound for the regularity of sqrt{I}, which denotes the radical of I. More specifically we show that reg(sqrt{I})<= d^{(n-1)2^{r-1}}. In Chapter 5, we show that the i-th arithmetic degree of I is bounded above by 2*d^{2^{n-i-1}}. This is done by proving upper bounds for arithmetic degrees of strongly stable ideals and ideals of Borel type.</p> <p><br></p> <p>In the last chapter, we explain our progress in attempting to make Stillman bounds explicit. Ananyan and Hochster (2020) were the first to show the existence of Stillman bounds. Together with G. Caviglia, we observe that a possible way of making their results explicit is to find an effective bound for an invariant called D(k,d) and supplement it into their proof. Although we are able to obtain this bound D(k,d) and realize Stillman bounds via an algorithm, it turns out that the computational complexity of Ananyan and Hochster's inductive proof would make the bounds too large to be meaningful. We explain the bad behavior of these Stillman bounds by giving estimates up to degree 3.</p>

La construction d'un quotient, en topologie, est relativement simple; si $G$ est un groupe topologique agissant sur un espace topologique $X$, on peut considérer l'application naturelle de $X$ dans $X/G$, l'espace d'orbites muni de la topologie quotient. En géométrie algébrique, malheureusement, il n'est généralement pas possible de munir l'espace d'orbites d'une structure de variété. Dans le cas de l'action d'un groupe linéairement réductif $G$ sur une variété projective $X$, la théorie géométrique des invariants nous permet toutefois de construire un morphisme de variété d'un ouvert $U$ de $X$ vers une variété projective $X//U$, se rapprochant autant que possible d'une application quotient, au sens topologique du terme. Considérons par exemple $X\subseteq P^{n}$, une $k$-variété projective sur laquelle agit un groupe linéairement réductif $G$ et supposons que cette action soit induite par une action linéaire de $G$ sur $A^{n+1}$. Soit $\widehat{X}\subseteq A^{n+1}$, le cône affine au dessus de $\X$. Par un théorème de la théorie classique des invariants, il existe alors des invariants homogènes $f_{1},...,f_{r}\in C[\widehat{X}]^{G}$ tels que $$C[\widehat{X}]^{G}= C[f_{1},...,f_{r}].$$ On appellera le nilcone, que l'on notera $N$, la sous-variété de $\X$ définie par le locus des invariants $f_{1},...,f_{r}$. Soit $Proj(C[\widehat{X}]^{G})$, le spectre projectif de l'anneau des invariants. L'application rationnelle $$\pi:X\dashrightarrow Proj(C[f_{1},...,f_{r}])$$ induite par l'inclusion de $C[\widehat{X}]^{G}$ dans $C[\widehat{X}]$ est alors surjective, constante sur les orbites et sépare les orbites autant qu'il est possible de le faire; plus précisément, chaque fibre contient exactement une orbite fermée. Pour obtenir une application régulière satisfaisant les mêmes propriétés, il est nécessaire de jeter les points du nilcone. On obtient alors l'application quotient $$\pi:X\backslash N\rightarrow Proj(C[f_{1},...,f_{r}]).$$ Le critère de Hilbert-Mumford, dû à Hilbert et repris par Mumford près d'un demi-siècle plus tard, permet de décrire $N$ sans connaître les $f_{1},...,f_{r}$. Ce critère est d'autant plus utile que les générateurs de l'anneau des invariants ne sont connus que dans certains cas particuliers. Malgré les applications concrètes de ce théorème en géométrie algébrique classique, les démonstrations que l'on en trouve dans la littérature sont généralement données dans le cadre peu accessible des schémas. L'objectif de ce mémoire sera, entre autres, de donner une démonstration de ce critère en utilisant autant que possible les outils de la géométrie algébrique classique et de l'algèbre commutative. La version que nous démontrerons est un peu plus générale que la version originale de Hilbert \cite{hilbert} et se retrouve, par exemple, dans \cite{kempf}. Notre preuve est valide sur $C$ mais pourrait être généralisée à un corps $k$ de caractéristique nulle, pas nécessairement algébriquement clos. Dans la seconde partie de ce mémoire, nous étudierons la relation entre la construction précédente et celle obtenue en incluant les covariants en plus des invariants. Nous démontrerons dans ce cas un critère analogue au critère de Hilbert-Mumford (Théorème 6.3.2). C'est un théorème de Brion pour lequel nous donnerons une version un peu plus générale. Cette version, de même qu'une preuve simplifiée d'un théorème de Grosshans (Théorème 6.1.7), sont les éléments de ce mémoire que l'on ne retrouve pas dans la littérature. / The topological notion of a quotient is fairly simple. Given a topological group $G$ acting on a topological space $X$, one gets the natural application from $X$ to the quotient space $X/G$. In algebraic geometry, unfortunately, it is generally not possible to give the orbit space the structure of an algebraic variety. In the special case of a linearly reductive group acting on a projective variety $X$, the geometric invariant theory allows us to get a morphism of variety from an open $U$ of $X$ to a projective variety $X//G$, which is as close as possible to a quotient map, from a topological point of view. As an example, let $ X\subseteq P^{n}$ be a $k$-projective variety on which acts a linearly reductive group $G$. Suppose further that this action is induced by a linear action of $G$ on $A^{n+1}$ and let $\widehat{X}\subseteq A^{n +1}$ be the affine cone over $X$. By an important theorem of the classical invariants theory, there exist homogeneous invariants $f_{1},..., f_{r}\in C[\widehat{X}]^{G}$ such as $$\C[\widehat{X}]^{G}=\C[f_{1},...,f_{r}].$$ The locus in $X$ of $f_{1},...,f_{r}$ is called the nullcone, noted $N$. Let $Proj(C[\widehat{X}]^{G})$ be the projective spectrum of the invariants ring. The rational map $$\pi:X\dashrightarrow Proj(C[f_{1},...,f_{r}])$$ induced by the inclusion of $C[\widehat{X}]^{G}$ in $C[\widehat{X}] $ is then surjective, constant on the orbits and separates orbits as much as possible, that is, the fibres contains exactly one closed orbit. A regular map is obtained by removing the nullcone; we then get a regular map $$\pi:X \backslash N\rightarrow Proj(C[f_{1},...,f_{r}])$$ which still satisfy the preceding properties. The Hilbert-Mumford criterion, due to Hilbert and revisited by Mumford nearly half-century later, can be used to describe $N$ without knowing the generators of the invariants ring. Since those are rarely known, this criterion had proved to be quite useful. Despite the important applications of this criterion in classical algebraic geometry, the demonstrations found in the literature are usually given trough the difficult theory of schemes. The aim of this master thesis is therefore, among others, to provide a demonstration of this criterion using classical algebraic geometry and of commutative algebra. The version that we demonstrate is somewhat wider than the original version of Hilbert \cite{hilbert}; a schematic proof of this general version is given in \cite{kempf}. Finally, the proof given here is valid for $C$ but could be generalised to a field $k$ of characteristic zero, not necessarily algebraically closed. In the second part of this thesis, we study the relationship between the preceding constructions and those obtained by including covariants in addition to the invariants. We give a Hilbert-Mumford criterion for covariants (Theorem 6.3.2) which is a theorem from Brion for which we prove a slightly more general version. This theorem, together with a simplified proof of a theorem of Grosshans (Theorem 6.1.7), are the elements of this thesis that can't be found in the literature.