Since the early 1990s, a classical object in commutative algebra has been the study of binomial ideals. A widely-investigated class of binomial ideals is the one containing those generated by a subset of 2-minors of an (m x n)-matrix of indeterminates. This thesis is devoted to illustrate some algebraic and homological properties of two classes of ideals of 2-minors: binomial edge ideals and polyomino ideals. Binomial edge ideals arise from finite graphs and their appeal results from the fact that their homological properties reflect nicely the combinatorics of the underlying graph. First, we focus on the binomial edge ideals of block graphs. We give a lower bound for their Castelnuovo-Mumford regularity by computing the two distinguished extremal Betti numbers of a new family of block graphs, called flower graphs. Moreover, we present a linear time algorithm to compute Castelnuovo-Mumford regularity and Krull dimension of binomial edge ideals of block graphs. Secondly, we consider some classes of Cohen-Macaulay binomial edge ideals. We provide the regularity and the Cohen-Macaulay type of binomial edge ideals of Cohen-Macaulay cones, and we show the extremal Betti numbers of Cohen-Macaulay bipartite and fan graphs. In addition, we compute the Hilbert-Poincaré series of the binomial edge ideals of some Cohen-Macaulay bipartite graphs. Polyomino ideals arise from polyominoes, plane figures formed by joining one or more equal squares edge to edge. It is known that the polyomino ideal of simple polyominoes is prime. We consider multiply connected polyominoes, namely polyominoes with holes, and observe that the non-existence of a certain sequence of inner intervals of the polyomino, called zig-zag walk, gives a necessary condition for the primality of the polyomino ideal. Moreover, by computational approach, we prove that for all polyominoes with rank less than or equal to 14 the above condition is also sufficient. Lastly, we present an infinite class of prime polyomino ideals.

No description available.

Une carte topologique 3D est un modèle servant à représenter la partition en régions d'une image 3D pour le traitement d'images. Dans ce travail, nous développons des outils permettant de modifier la partition représentée par une carte topologique, puis nous utilisons ces outils afin de proposer des algorithmes de segmentation intégrant des critères topologiques. Dans une première partie, nous proposons trois opérations. La fusion de régions est définie avec une approche locale adaptée à une utilisation interactive et une approche globale pour une utilisation automatisée comme lors d'une segmentation. La division de régions est proposée avec une méthode d'éclatement en voxels et la division à l'aide d'un guide. Enfin, la déformation de la partition est basée sur la définition de points ML-Simples : des voxels pouvant changer de région sans modifier la topologie de la partition. À l'aide de ces opérations, nous mettons en œuvre dans une seconde partie des algorithmes de segmentation d'images utilisant les cartes topologiques. Notre première approche adapte au modèle des cartes topologiques un algorithme existant qui utilise un critère basé sur la notion de contraste. Nous proposons ensuite des méthodes de calcul d'invariants topologiques sur les régions : les nombres de Betti. Grâce à eux, nous développons un critère topologique de segmentation permettant de contrôler le nombre de tunnels et de cavités des régions. Enfin, nous illustrons les possibilités de tous nos outils en mettant en place une chaîne de traitement pour la segmentation de tumeurs cérébrales dans des images médicales.

This work presents a new paradigm for legal hermeneutics, divorced from positivism and hence the legal doctrine. To do so, outlines the doctrinal framework that preceded the construction of the theoretical framework used here , the philosophical hermeneutics of Gadamer, whose keynote is in opposition to the method as the only means to get to the truth. When entering your analysis itself, seeks to work with the most important concepts, such as tradition, authority, pre-understanding and the fusion of horizons, in order to pave the way to understand what he describes as a circle hermeneutic, a key concept for the demarcation of the proposal developed here. On this, also seeks to make an evolutionary analysis of the proposals of the thinkers that preceded the gadameriano concept. Outlined the substance of philosophical hermeneutics, we proceed to the analysis of its operation in legal interpretation, printing a critical reflection on the understanding in the application of law and, as a corollary, contributing to overcome the positivist paradigm and its aporias and as for the discussion about the legitimacy of judicial decisions. Thus seeks to clarify the contribution of Gadamer to legal thought, from his philosophical hermeneutics to explain, justify and legitimize the path taken by the judge pronouncing judgments. / A presente dissertação apresenta um novo paradigma para a hermenêutica jurídica, divorciado do positivismo e, consequentemente, da dogmática jurídica. Para tanto, delineia o arcabouço doutrinário que antecedeu a construção do marco teórico aqui utilizado, a hermenêutica filosófica de Gadamer, cuja tônica consiste na oposição ao método como único meio para se chegar à verdade. Ao ingressar em sua análise propriamente dita, busca trabalhar com os conceitos mais importantes, a exemplo da tradição, da autoridade, da pré-compreensão e da fusão de horizontes, com a finalidade de sedimentar o caminho para a entender aquilo que ele descreve como círculo hermenêutico, conceito-chave para o deslinde da proposta aqui desenvolvida. Quanto a este, também procura fazer uma análise evolutiva das propostas dos pensadores que precederam ao conceito gadameriano. Delineada a substância da hermenêutica filosófica, parte-se para a análise de seu operar na hermenêutica jurídica, imprimindo uma reflexão crítica sobre a compreensão no âmbito da aplicação do direito e, como corolário, contribuindo para a superação do paradigma positivista e suas aporias, bem como para a discussão acerca da legitimidade das decisões judiciais. Assim, busca explicitar a contribuição de Gadamer para o pensamento jurídico, partindo de sua hermenêutica filosófica para explicar, fundamentar e legitimar o caminho trilhado pelo julgador ao prolatar as decisões judiciais.

The presented diploma thesis deals with a problem of a generalized stress intensity factor determination and a consecutive study of stress distribution around the bimaterial notch tip, combining analytical and numerical methods. This task is possible to sectionalize into three parts. The first part is dedicated to the fundamentals of the linear fracture mechanics and the mechanics of composite materials. The second part deals with methods of anisotropic plane elasticity solution. Pursuant to the solution the computational models in the third part are created. The first model makes for determination of a singularity exponent eigenvalue by dint of Lekhnitskii-Eshelby-Stroh formalism. The second model makes for determination of the generalized stress intensity factor using psi-integral method, which is based on the Betti reciprocal theorem. All needed calculation are performed in the software ANSYS 12, Maple 12 and Silverforst FTN95. Results will be compared with the values obtained from a direct method of the generalised stress intensity factor determination.

My PhD-project has two main research directions. The first direction is on partial regularities which we define as refinements of the Castelnuovo-Mumford regularity. Main results are: relationship of partial regularities and related invariants, like the a-invariants or the Castelnuovo-Mumford regularity of the syzygy modules; algebraic properties of partial regularities via a filter-regular sequence or a short exact sequence; generalizing a well-known result for the Castelnuovo-Mumford regularity to the case of partial regularities of stable and squarefree stable monomial ideals; finally extending an upper bound proven by Caviglia-Sbarra to partial regularities. The second direction of my project is to develop a theory on monomial preorders. Many interesting statements from the classical theory of monomial orders generalize to monomial preorders. Main results are: a characterization of monomial preorders by real matrices, which extends a result of Robbiano on monomial orders; secondly, leading term ideals with respect to monomial preorders can be studied via flat deformations of the given ideal; finally, comparing invariants of the given ideal and the leading term ideal with respect to a monomial preorder.

Variational Auto-Encoders (VAEs) are one of the most famous deep generative models. After showing that standard VAEs may not preserve the topology, that is the shape of the data, between the input and the latent space, we tried to modify them so that the topology is preserved. This would help in particular for performing interpolations in the latent space. Our main contribution is two folds. Firstly, we propose successfully the InvMap-VAE which is a simple way to turn any dimensionality reduction technique, given its embedding, into a generative model within a VAE framework providing an inverse mapping, with all the advantages that this implies. Secondly, we propose the Witness Simplicial VAE as an extension of the Simplicial Auto-Encoder to the variational setup using a Witness Complex for computing a simplicial regularization. The Witness Simplicial VAE is independent of any dimensionality reduction technique and seems to better preserve the persistent Betti numbers of a data set than a standard VAE, although it would still need some further improvements. Finally, the two first chapters of this master thesis can also be used as an introduction to Topological Data Analysis, General Topology and Computational Topology (or Algorithmic Topology), for any machine learning student, engineer or researcher interested in these areas with no background in topology. / Variations autokodare (VAE) är en av de mest kända djupa generativa modellerna. Efter att ha visat att standard VAE inte nödvändigtvis bevarar topologiska egenskaper, det vill säga formen på datan, mellan inmatningsdatan och det latenta rummet, försökte vi modifiera den så att topologin är bevarad. Det här skulle i synnerhet underlätta när man genomför interpolering i det latenta rummet. Denna avhandling består av två centrala bidrag. I första hand så utvecklar vi InvMap-VAE, som är en enkel metod att omvandla vilken metod inom dimensionalitetsreducering, givet dess inbäddning, till en generativ modell inom VAE ramverket, vilket ger en invers avbildning och dess tillhörande fördelar. För det andra så presenterar vi Witness Simplicial VAE som en förlängning av en Simplicial Auto-Encoder till dess variationella variant genom att använda ett vittneskomplex för att beräkna en simpliciel regularisering. Witness Simplicial VAE är oberoende av dimensionalitets reducerings teknik och verkar bättre bevara Betti-nummer av ett dataset än en vanlig VAE, även om det finns utrymme för förbättring. Slutligen så kan de första två kapitlena av detta examensarbete också användas som en introduktion till Topologisk Data Analys, Allmän Topologi och Beräkningstopologi (eller Algoritmisk Topologi) till vilken maskininlärnings student, ingenjör eller forskare som är intresserad av dessa ämnesområden men saknar bakgrund i topologi.

No description available.