La identificación y aplicación de normas jurídicas generan interrogantes y dificultades que son objeto de recurrente controversia en la teoría del derecho. La persistencia de estas controversias obedece a oscuridades conceptuales ocultas bajo la idea genérica de la derrotabilidad de las normas. Son problemas semánticos y normativos, atinentes a la identificación o alcance de las normas jurídicas, y problemas de justificación institucional, atinentes a la aplicación o fuerza institucional de las normas. Se denominó Hipótesis de la Derrotabilidad en la Identificación (HDI) a la siguiente propuesta relativa a la indeterminación del contenido conceptual de una norma jurídica: una norma N es derrotable si y solo si se halla sujeta a al menos una excepción implícita. Las razones por las cuales hay excepciones implícitas son (i.e. condiciones de verdad de la proposición): a) imprevisibilidad de la configuración de los casos futuros (límite gnoseológico); b) carácter relevante de propiedades no consideradas expresamente como tales; c) vicio formalista de la declaración de irrelevancia de las propiedades no expresamente consideradas; d) ausencia de regla de clausura. De la investigación resulta la invalidez de HDI, pues se justifica en el empleo de términos y enunciados ambiguos (e.g., caso, relevante, irrelevante, permitido) que según sea su significado expresan proposiciones que o bien son falsas, o bien si verdaderas no garantizan la inferencia que pretende. Se denominó Hipótesis de la Derrotabilidad en la Aplicación (HDA) a la siguiente propuesta, referida a la insuficiencia de una norma jurídica para justificar una decisión institucional. Una norma jurídica N es inderrotable en un caso c si y solo si la solución inferida de N para c es condición suficiente de la solución judicial del caso c. Dado que las soluciones judiciales no siempre se corresponden (ni deben siempre corresponderse) con las soluciones inferidas de una norma N (argumento modus tollens), HDA infiere que las normas jurídicas no son inderrotables, i.e. son derrotables. Si bien resulta válida la separación propuesta por HDA entre la pertenencia de una norma a un sistema normativo y la fuerza de una norma para justificar una decisión, se mostró inválido inferir que la conexión entre norma y fuerza sea valorativa y/o arbitraria. Se mostró que la aplicación de una norma N regule un caso c, significa que la aplicabilidad de N en el caso C depende de otra norma N’ que prescriba la aplicación de N en c, siendo N’ es un criterio de aplicabilidad y una norma N así seleccionada una norma aplicable. Trazado el distingo, se destacaron las ambigüedades (e.g., norma individual, justificación normativa, aplicable) en que incurre HDA, que impiden la conclusión que reclama. En consecuencia, se refinó el sistema secundario de adjudicación para dar suficiente cuenta de la implementación de las normas de conducta mediante criterios de aplicabilidad e inaplicabilidad de normas (positivos y negativos), proponiendo una redefinición de fuerza institucional adecuada y pertinente, que permite explicar tanto el carácter abierto como excluyente de un sistema normativo / The recognition and adjudication of laws generates questions and problems that are constant matter of controversy in the theory of law. The persistence of these controversies is due to conceptual obscurities that are hidden under the generic idea of the defeasability of norms. These are semantics and normative problems, concerning norms recognition or its scope, and institutional justification problems, concerning norm adjudication or its institutional force. It was called Recognition Defeasability Hypothesis (RDH) to the following statement concerning the conceptual indeterminacy of the norm-content: a norm N is defeasable if and only if it is open to at least one implicit exception. The reasons of the existence of implicit exceptions are (i.e. truth conditions of the proposition): a) unpredictable configuration of future cases (gnoseologic limit); b) relevant character of properties not considered as such; c) formalistic vice of stipulating the irrelevance of properties not expressly considered; d) closure-rule absent. From the investigation it results the falsity of RDH, because it depends on ambiguous terms and statements (e.g., case, relevant, irrelevant, permitted) that express propositions that are either false or if true not warrant the claimed inference. It was called Adjudication Defeasabilty Hypothesis (ADH) to the following statement, concerning the norm-insufficiency for institutional decisions justification. A norm N is indefeasible in a case c if and only if the inferred solution of c from N is a sufficient condition to the judicial decision of the case c. Given that judicial solutions not always correspond (nor must be corresponded) with inferred solutions from a norm N (modus tollens argument), ADH claims that laws are not indefeasible, i.e. are defeasable. While it is true the distinction proposed by ADH between normative system norm membership and the norm-force justifying decisions, it is false to infer that the connection between norm and its force has to be value laden and/or arbitrary. It is shown that the adjudication of a norm N that regulates a case c, means that the applicability of N in the case c depends on other norm N’ that orders the application of N in c, being N’ a criterion of applicability, and the norm N an applicable norm. Being made these distinctions, it is marked the ambiguities (e.g., individual norm, norm justification, applicable) in which ADH incurs that obstacles the conclusion that it claims. As a consequence, the secondary system of adjudication was refined to give sufficient account of primary norms enforcement by norms criterion of applicability and inapplicability (positives and negatives), proposing a relevant redefinition of institutional force that allows to explain both the open character and the exclusiveness of a normative system

This dissertation contains a study about plane curves and surfaces. The two most common way to define this elements are reviewed: the parametric and the implicit definition, with emphasis on the latter. An analysis of some methods to represent plane curves and surfaces is made. One notices that this job is relatively simple when the parametric definition is used, however with the implicit definition this requires a larger number of operations. This works also presents some methods to find approximations of curves and surfaces implicitly defined that preserves the topology and that generate objects smooth enough. This is achieved basically by a subdivision of the plane (respectivelly the space), which is used to find a piecewise linear approximation of the curve (respectivelly the surface), then this approximation is subdivided to make the result smooth. In the case of surfaces the output is a triangular mesh. Some treatments are also made to improve the quality of the mesh. / Fundação de Amparo a Pesquisa do Estado de Alagoas / Esta dissertação contém um estudo a respeito de curvas planas e superfícies. São vistas as duas formas mais usuais de se definirem estes elementos: a definição paramétrica e a implícita, com ênfase nesta última. São analisadas algumas formas de representação de curvas planas e superfícies, o que vem a ser uma tarefa relativamente simples ao se utilizar a definição paramétrica, porém com a definição implícita isto exige um maior número de operações. São apresentados alguns métodos para encontrar aproximações de curvas e superfícies definidas implicitamente que mantenham a sua topologia e que geram objetos suaves o suficiente. Isto é feito basicamente subdividindo-se o plano (respectivamente o espaço), que é utilizado para aproximar a curva (respectivamente a superfície) de forma linear por partes, e então subdivide-se essa aproximação para que o resultado seja suave. No caso das superfícies a saída é uma malha triangular. São realizados também tratamentos para aumentar a qualidade desta malha.

The objectives of this research were to create explicit and implicit measures of prejudice against homeless, and to identify factors associated with negative attitudes toward this population. To meet these objectives several studies collected in four articles were made. In the first article the literature on prejudice against homeless was reviewed. In this study was found that both, in Latin America and in the countries of industrialized West, have been reported stereotypes towards this population related to mental illness and drug addiction, as well as acts of discrimination related to limitations in the use of public space. Article two corresponded to a study of cross-cultural creation and validation of a scale of prejudice against homeless, created with basics of Item Response Theory and the Allport's scale of prejudice. The created scale presented evidence of construct validity, convergent validity and good internal consistency. It was also verified, in part, the Allport's theory of the scale of prejudice. The third article aimed at identifying factors associated with prejudice against homeless, and to build and test a hierarchical model to explain variations in the levels of this prejudice. The proposed model had four levels of prejudice mediations, good fit indices, and included the variables social dominance orientation, basic values, egocentrism, perception of insecurity and quality of contact with homeless people. In the fourth article was described the process of creating an implicit association test about attitudes toward homeless, and was tested scores correlation levels acquired with this test and those acquired with the scale established in article two. The results indicated that there are strong associations between concepts representing the homeless people and negative stereotypes towards this population. No correlation between the scores on the two measures was found, in line with other studies on implicit and explicit measures of stereotypes. / Los objetivos de esta tesis fueron la creación de medidas explícitas e implícitas del prejuicio contra habitantes de calle, y la identificación de algunos factores asociados con actitudes negativas hacia esta población. Para responder a estos objetivos se realizaron varios estudios reunidos en cuatro artículos y presentados en este documento como capítulos. En el primer capítulo, se realizó un estudio de revisión de la literatura sobre el prejuicio contra habitantes de calle. En este estudio se encontró que tanto en Latinoamérica como en los países de occidente industrializado, se han reportado estereotipos hacia esta población relacionados con la enfermedad mental y la adicción a las drogas; así como actos de discriminación relacionados con limitaciones en el uso del espacio público. El capítulo dos corresponde a un estudio de creación y validación transcultural de una escala de prejuicio contra habitantes de calle, fundamentada en la teoría de la respuesta al ítem y en la teoría de la escalada comportamental del prejuicio de Allport. La escala creada presentó evidencias de validez de constructo, validez convergente y buenos índices de consistencia interna. También se comprobó parcialmente la hipótesis de la escala del prejuicio de Allport. En el tercer capítulo se buscó identificar los factores asociados al prejuicio contra habitantes de calle, así como construir y probar un modelo jerárquico para explicar variaciones en los niveles de este prejuicio. El modelo propuesto tuvo cuatro niveles de mediación del prejuicio, buenos índices de ajuste, e incluyó las variables dominancia social, valores básicos, egocentrismo, percepción de inseguridad y calidad del contacto con habitantes de calle. En el cuarto capítulo se describió el proceso de creación de un Test de Asociaciones Implícitas sobre actitudes hacia habitantes de calle, y se probó los niveles de correlación entre los puntajes adquiridos con este test y los adquiridos con la escala creada en el artículo dos. Los resultados indicaron que hubo fuertes asociaciones entre los conceptos que representan a los habitantes de calle y los estereotipos negativos hacia esta población. No se encontró una correlación entre los puntajes en las dos pruebas, acorde con los resultados de otros estudios sobre medidas implícitas y explícitas de estereotipos.

The objectives of this research were to create explicit and implicit measures of prejudice against homeless, and to identify factors associated with negative attitudes toward this population. To meet these objectives several studies collected in four articles were made. In the first article the literature on prejudice against homeless was reviewed. In this study was found that both, in Latin America and in the countries of industrialized West, have been reported stereotypes towards this population related to mental illness and drug addiction, as well as acts of discrimination related to limitations in the use of public space. Article two corresponded to a study of cross-cultural creation and validation of a scale of prejudice against homeless, created with basics of Item Response Theory and the Allport's scale of prejudice. The created scale presented evidence of construct validity, convergent validity and good internal consistency. It was also verified, in part, the Allport's theory of the scale of prejudice. The third article aimed at identifying factors associated with prejudice against homeless, and to build and test a hierarchical model to explain variations in the levels of this prejudice. The proposed model had four levels of prejudice mediations, good fit indices, and included the variables social dominance orientation, basic values, egocentrism, perception of insecurity and quality of contact with homeless people. In the fourth article was described the process of creating an implicit association test about attitudes toward homeless, and was tested scores correlation levels acquired with this test and those acquired with the scale established in article two. The results indicated that there are strong associations between concepts representing the homeless people and negative stereotypes towards this population. No correlation between the scores on the two measures was found, in line with other studies on implicit and explicit measures of stereotypes. / Los objetivos de esta tesis fueron la creación de medidas explícitas e implícitas del prejuicio contra habitantes de calle, y la identificación de algunos factores asociados con actitudes negativas hacia esta población. Para responder a estos objetivos se realizaron varios estudios reunidos en cuatro artículos y presentados en este documento como capítulos. En el primer capítulo, se realizó un estudio de revisión de la literatura sobre el prejuicio contra habitantes de calle. En este estudio se encontró que tanto en Latinoamérica como en los países de occidente industrializado, se han reportado estereotipos hacia esta población relacionados con la enfermedad mental y la adicción a las drogas; así como actos de discriminación relacionados con limitaciones en el uso del espacio público. El capítulo dos corresponde a un estudio de creación y validación transcultural de una escala de prejuicio contra habitantes de calle, fundamentada en la teoría de la respuesta al ítem y en la teoría de la escalada comportamental del prejuicio de Allport. La escala creada presentó evidencias de validez de constructo, validez convergente y buenos índices de consistencia interna. También se comprobó parcialmente la hipótesis de la escala del prejuicio de Allport. En el tercer capítulo se buscó identificar los factores asociados al prejuicio contra habitantes de calle, así como construir y probar un modelo jerárquico para explicar variaciones en los niveles de este prejuicio. El modelo propuesto tuvo cuatro niveles de mediación del prejuicio, buenos índices de ajuste, e incluyó las variables dominancia social, valores básicos, egocentrismo, percepción de inseguridad y calidad del contacto con habitantes de calle. En el cuarto capítulo se describió el proceso de creación de un Test de Asociaciones Implícitas sobre actitudes hacia habitantes de calle, y se probó los niveles de correlación entre los puntajes adquiridos con este test y los adquiridos con la escala creada en el artículo dos. Los resultados indicaron que hubo fuertes asociaciones entre los conceptos que representan a los habitantes de calle y los estereotipos negativos hacia esta población. No se encontró una correlación entre los puntajes en las dos pruebas, acorde con los resultados de otros estudios sobre medidas implícitas y explícitas de estereotipos.

The objectives of this research were to create explicit and implicit measures of prejudice against homeless, and to identify factors associated with negative attitudes toward this population. To meet these objectives several studies collected in four articles were made. In the first article the literature on prejudice against homeless was reviewed. In this study was found that both, in Latin America and in the countries of industrialized West, have been reported stereotypes towards this population related to mental illness and drug addiction, as well as acts of discrimination related to limitations in the use of public space. Article two corresponded to a study of cross-cultural creation and validation of a scale of prejudice against homeless, created with basics of Item Response Theory and the Allport's scale of prejudice. The created scale presented evidence of construct validity, convergent validity and good internal consistency. It was also verified, in part, the Allport's theory of the scale of prejudice. The third article aimed at identifying factors associated with prejudice against homeless, and to build and test a hierarchical model to explain variations in the levels of this prejudice. The proposed model had four levels of prejudice mediations, good fit indices, and included the variables social dominance orientation, basic values, egocentrism, perception of insecurity and quality of contact with homeless people. In the fourth article was described the process of creating an implicit association test about attitudes toward homeless, and was tested scores correlation levels acquired with this test and those acquired with the scale established in article two. The results indicated that there are strong associations between concepts representing the homeless people and negative stereotypes towards this population. No correlation between the scores on the two measures was found, in line with other studies on implicit and explicit measures of stereotypes. / Los objetivos de esta tesis fueron la creación de medidas explícitas e implícitas del prejuicio contra habitantes de calle, y la identificación de algunos factores asociados con actitudes negativas hacia esta población. Para responder a estos objetivos se realizaron varios estudios reunidos en cuatro artículos y presentados en este documento como capítulos. En el primer capítulo, se realizó un estudio de revisión de la literatura sobre el prejuicio contra habitantes de calle. En este estudio se encontró que tanto en Latinoamérica como en los países de occidente industrializado, se han reportado estereotipos hacia esta población relacionados con la enfermedad mental y la adicción a las drogas; así como actos de discriminación relacionados con limitaciones en el uso del espacio público. El capítulo dos corresponde a un estudio de creación y validación transcultural de una escala de prejuicio contra habitantes de calle, fundamentada en la teoría de la respuesta al ítem y en la teoría de la escalada comportamental del prejuicio de Allport. La escala creada presentó evidencias de validez de constructo, validez convergente y buenos índices de consistencia interna. También se comprobó parcialmente la hipótesis de la escala del prejuicio de Allport. En el tercer capítulo se buscó identificar los factores asociados al prejuicio contra habitantes de calle, así como construir y probar un modelo jerárquico para explicar variaciones en los niveles de este prejuicio. El modelo propuesto tuvo cuatro niveles de mediación del prejuicio, buenos índices de ajuste, e incluyó las variables dominancia social, valores básicos, egocentrismo, percepción de inseguridad y calidad del contacto con habitantes de calle. En el cuarto capítulo se describió el proceso de creación de un Test de Asociaciones Implícitas sobre actitudes hacia habitantes de calle, y se probó los niveles de correlación entre los puntajes adquiridos con este test y los adquiridos con la escala creada en el artículo dos. Los resultados indicaron que hubo fuertes asociaciones entre los conceptos que representan a los habitantes de calle y los estereotipos negativos hacia esta población. No se encontró una correlación entre los puntajes en las dos pruebas, acorde con los resultados de otros estudios sobre medidas implícitas y explícitas de estereotipos.

Las ecuaciones diferenciales implícitas -EDIs- aparecen frecuentemente en diferentes ciencias. Una EDI definida sobre una variedad M puede representarse de manera general así: &#966(x, x' ) = 0 siendo una ecuacióon diferencial ordinaria -EDO- x' = f(x) el caso particular más simple. Las ecuaciones de Euler-Lagrange para un Lagrangiano dado, las ecuaciones de Lagrange-D'Alembert para un sistema no-holónomo y su versión reducida: las ecuaciones de Lagrange-D'Alembert-Poincaré, son algunos ejemplos de EDIs que provienen de la mecánica. Cuestiones básicas tales como existencia, unicidad o extensión de soluciones para una condición inicial dada no han sido aún completamente resueltas, aunque varios resultados parciales se han establecido para ciertas clases de EDIs. Si bien el tema general de esta tesis es el estudio de soluciones de EDIs, es importante remarcar que hay dos líneas bien diferenciadas de las que nos ocuparemos. Por un lado trabajaremos con EDIs que modelan sistemas dinámicos que provienen de la mecánica, extendiendo resultados previos como el algoritmo de Gotay-Nester a estructuras más generales que permiten incluir en el mismo formalismo sistemas onde no haya necesariamente conservación de la energía. Por otro lado se repasan algunos algoritmos llamados algoritmos de ligaduras o algoritmos de restricciones (como por ejemplo, el de Rabier-Rheinboldt) y resultados de desingularización para estos algoritmos, en este contexto analizaremos el problema de soluciones que crucen por singularidades (puntos de cruce), o que arriben a singularidades pero no puedan continuarse más allá (puntos de impasse) presentando nuevos resultados en el problema de existencia de soluciones.

Modelagem geométrica envolvendo objetos implícitos é um tema de intensa pesquisa em Computação Gráfica. Portanto, obter técnicas eficientes para representar esses objetos é de extrema importância. Dois grupos de objetos implícitos relevantes para Computação Gráfica são as curvas implícitas e superfícies implícitas. As técnicas tradicionais para se aproximar curvas e superfícies implícitas envolvem dividir o domínio e buscar em suas partições partes da curva ou da superfície. Neste projeto propomos um novo métodos de poligonização robusta de curvas implícitas usando uma ferramenta numérica auto-validada chamada de Aritmética Afim. O método consiste na poligonização adaptativa de curvas implícitas em malhas triangulares tridimensionais. / Geometric modeling involving implicit objects is a topic of intense research in Computer Graphics. Thus, obtain efficient techniques for representing these objects is of utmost importance. Two groups of relevant implicit objects for Computer Graphics are implicit curves and implicit surfaces. Traditional techniques for approximating implicit curves and surfaces involve splitting the domain and searching for parts of the curve or the surface. In this project we propose a new methods of robust polygonization of implicit curves using the self-validated numerical tool called Affine Arithmetic. The method consists in the adaptive polygonization of implicit curves in three-dimensional triangular meshes.

Orientador: João Paulo Gois / Dissertação (mestrado) - Universidade Federal do ABC. Programa de Pós-Graduação em Ciência da Computação, 2013

Modelagem geométrica envolvendo objetos implícitos é um tema de intensa pesquisa em Computação Gráfica. Portanto, obter técnicas eficientes para representar esses objetos é de extrema importância. Dois grupos de objetos implícitos relevantes para Computação Gráfica são as curvas implícitas e superfícies implícitas. As técnicas tradicionais para se aproximar curvas e superfícies implícitas envolvem dividir o domínio e buscar em suas partições partes da curva ou da superfície. Neste projeto propomos um novo métodos de poligonização robusta de curvas implícitas usando uma ferramenta numérica auto-validada chamada de Aritmética Afim. O método consiste na poligonização adaptativa de curvas implícitas em malhas triangulares tridimensionais. / Geometric modeling involving implicit objects is a topic of intense research in Computer Graphics. Thus, obtain efficient techniques for representing these objects is of utmost importance. Two groups of relevant implicit objects for Computer Graphics are implicit curves and implicit surfaces. Traditional techniques for approximating implicit curves and surfaces involve splitting the domain and searching for parts of the curve or the surface. In this project we propose a new methods of robust polygonization of implicit curves using the self-validated numerical tool called Affine Arithmetic. The method consists in the adaptive polygonization of implicit curves in three-dimensional triangular meshes.

Nesta tese estudamos a geometria diferencial do cross-cap usando ferramentas da teoria de singularidades. Estudamos curvas definidas sobre uma superfície regular que captam o contato da superfície com planos e esferas e estendemos o estudo para o cross-cap. Consideramos os fenômenos locais que ocorrem genericamente na família de projeções ortogonais do cross-cap e obtemos informações detalhadas sobre as bifurcações da projeção do conjuntos dos pontos duplos juntamente com a do contorno aparente. Estudamos as simetrias reflexõais infinitesimais do cross-cap através das singularidades da família da aplicações dobra e damos uma caracterização geométrica das mesmas. Finalmente, consideramos dualidade nas equações diferenciais binárias que definem as curvas assintóticas e as linhas de curvatura sobre o cross-cap. Estudamos o conjunto dos pontos onde ocorrem as inflexões de tais curvas e a relação deste conjunto com o conjunto sub-parabólico e flecnodal. / In this thesis we study the differential geometry of the cross-cap using singularity theory. We study curves on a regular surface that capture the contact of the surface with planes and spheres and extend our study to the cross-cap. We deal with local phenomena that occur generically in the family of orthogonal projection of the cross-cap and obtain detailed information about the bifurcations of the projection of double point curve together with the profile. We study the infinitesimal reflectional symmetry of a cross-cap via the singularities of the fold maps and give a geometrical characterization of these maps. Finally, we consider the duality in the binary differential equations of the asymptotic curves and of the curvature lines on a cross-cap. We study the inflection set of this curves and their relation with the subparabolic set and the flecnodal curve.