Modelos baseados em fatoração de matrizes estão entre as implementações mais bem sucedidas de Sistemas de Recomendação. Neste projeto, estudamos as possibilidades de incorporação de informações provindas de redes sociais, para melhorar a qualidade das predições do modelo tanto em modelos tradicionais de Filtragem Colaborativa, quanto em Filtragem Colaborativa Neural. / Models based on matrix factorization are among the most successful implementations of Recommender Systems. In this project, we study the possibilities of incorporating the information from social networks to improve the quality of predictions of the model both in traditional Collaborative Filtering and in Neural Collaborative Filtering.

La SER (Surface Équivalente Radar) est une grandeur caractérisant le pouvoir rétrodiffuseurd’une cible soumise à un champ électromagnétique. Dans de nombreuses applications,il est capital d’analyser et de contrôler la SER. L’imagerie 3D est l’outil adapté pourlocaliser et caractériser en trois dimensions les principaux contributeurs à la SER. Cependant,ce traitement est un problème de synthèse de Fourier qui n’est pas inversible car il y aplus d’inconnues que de données. Les méthodes conventionnelles telles que le Polar FormatAlgorithm, consistant en un reformatage des données avec complétion de zéro suivi d’unetransformée de Fourier inverse rapide, fournissent des résultats de qualité limitée.Dans ce travail, nous proposons une nouvelle méthode haute résolution. Elle est dénomméeSPRITE (pour SParse Radar Imaging TEchnique) et permet d’accroître considérablementla qualité des cartes de rétro-diffusion estimées. Elle repose sur une régularisation duproblème consistant en la prise en compte d’informations a priori de parcimonie et d’uneinformation de support. La solution est alors définie comme le minimiseur d’un critère pénaliséet contraint. L’optimisation est assurée par l’algorithme primal-dual ADMM (AlternatingDirection Method of Multiplier) dont une adaptation aux spécificités du problème mène à descalculs efficaces à l’aide de transformées de Fourier rapides.Finalement, la méthode est évaluée sur des données synthétiques et réelles. Comparativementà la méthode conventionnelle, la résolution est drastiquement accrue. Les images 3Dproduites sont alors un outil particulièrement adapté à l’analyse et au contrôle de SER. / The RCS (Radar Cross Section) is a quantity which characterizes the scattering power ofa target exposed to an electromagnetic field. Its analysis and control are important in manyapplications. 3D imaging is a suitable tool to accurately locate and characterize in 3D themain contributors to the RCS. However, this is a non-invertible Fourier synthesis problembecause the number of unknowns is larger than the number of data. Conventional methodssuch as the Polar Format Algorithm, which consists of data reformatting including zeropaddingfollowed by a fast inverse Fourier transform, provide results of limited quality.In this work, we propose a new high resolution method, named SPRITE (for SParse RadarImaging TEchnique), which considerably increases the quality of the estimated RCS maps. Itis based on a regularization scheme that accounts for information of sparsity and support. Thesolution is then defined as the minimizer of a penalized and constrained criterion. Optimizationis ensured by an appropriate adaptation of the ADMM (Alternating Direction Methodof Multiplier) algorithm that is able to quickly perform calculations using fast Fourier transforms.Finally, the method is evaluated on both simulated and real data. Compared to the conventionalmethod, the resolution is significantly increased and the images can support a betterRCS analysis and control.

Le flot optique est un outil, prometteur et puissant, pour estimer le mouvement des objets de différentes natures, solides ou fluides. Il permet d’extraire les champs de vitesse à partir d’une séquence d’images. Dans cette étude, nous développons la méthode du flot optique pour récupérer, d’une manière précise, le champ de vitesse des mouvements turbulents incompressibles. L’estimation de turbulence consiste à minimiser une fonction d’énergie composée par un terme d’observation et un terme de régularisation. L’équation de transport d’un scalaire passif est alors employée pour représenter le terme d’observation. Cependant, dans le cas où le nombre de Reynolds est grand, et, à cause des contraintes optiques, l’image n’est pas pleinement résolue pour prendre en compte la physique de toutes les échelles de la turbulence. Pour compléter les informations manquantes liées aux physiques des petites échelles, nous adoptons une démarche similaire à celle de Large Eddy Simulation (LES), et, proposons d’utiliser le modèle mixte afin de tenir compte de l’interaction entre les grandes échelles et celles non-résolues. Quant au terme de régularisation, il se repose sur l’équation de continuité des fluides incompressibles. Les tests à l’aide des images synthétiques et expérimentales de la turbulence bi-dimensionnelle - des données des cas test de la communauté du flot optique -, ont non seulement validé notre démarche, mais montrent une amélioration significative des qualités des champs de vitesses extraites. Le cas du flot optique, en 3D, relève encore du défi dans le cas de l’estimation des champs de vitesse de la turbulence. D’une part, contrairement au 2D où il existe des cas tests bien établis, il n’existe pas, à notre connaissance, des séquences d’images 3D référentielles permettant de tester notre démarche et méthode. D’autre part, l’augmentation du coût d’estimation demande des algorithme adaptés. Ainsi, nous sommes amené à utiliser la simulation numérique directe d’écoulement turbulent en présence d’un scalaire passif, pour générer des données de scalaires afin d’évaluer la performance du flot optique. Nous prêtons également attention à l’effet du nombre de Schmidt qui caractérise la relation entre la diffusion moléculaire scalaire et la dissipation de turbulence. Les tests sont ensuite effectués avec cette base de données numériques. Les résultats montrent que la précision de l’estimation augmente avec des nombres de Schmidt plus élevés. Par ailleurs, l’influence du terme de régularisation est aussi étudié au travers deux équations qui se différencient par l’ordre spatial des dérivées partielles. Les résultats numériques montrent que l’équation avec un terme de régularisation de seconde-ordre est meilleure que celle de premier-ordre. / The method of optical flow is a powerful tool for motion estimation. It is able to extract the dense velocity field from image sequence. In this study, we employ this method to retrieve precisely the incompressible turbulent motions. For 2D turbulence estimation, it consists in minimizing an objective function constituted by an observation term and a regularization one. The observation term is based on the transport equation of a passive scalar field. For non-fully resolved scalar images, we propose to use the mixed model in large eddy simulation (LES) to determine the interaction between large-scale motions and the unresolved ones. The regularization term is based on the continuity equation of 2D incompressible flows. Evaluation of the proposed formulation is done over synthetic and experimental images. In addition, we extend optical flow to three dimensional and multiple scalar databases are generated with direct numerical simulation (DNS) in order to evaluate the performance of optical flow in the 3D context. We propose two formulations differing by the order of the regularizer. Numerical results show that the formulation with second-order regularizer outperforms its first-order counterpart. We also draw special attention to the effect of Schmidt number, which characterizes the ratio between the molecular diffusion of the scalar and the dissipation of the turbulence. Results show that the precision of the estimation increases as the Schmidt number increases. Overall, optical flow has showcased its capability of reconstructing the turbulent flow with excellent accuracy. This method has all the potential and attributes to become an effective flow measurement approach in fluid mechanics community.

Essa pesquisa pretende analisar e aprofundar os limites de implementação das Zonas Especiais de Interesse Social 1 (ZEIS 1) na cidade de São Paulo, como um instrumento de defesa do direito à cidade e à moradia social e como um dos dispositivos mais importantes da Reforma Urbana, instituídos pelo Estatuto das Cidades e consolidados em toda a legislação urbanística e de direito urbano posterior. É um mecanismo de promoção da urbanização e regularização fundiária, que envolve projetos e obras. Em sua concepção urbanística, é um aparato de uso e ocupação do solo; um zoneamento de exceção, vinculado ao planejamento urbano e às políticas públicas de desenvolvimento urbano e habitacional. Diante do avanço da dimensão mercadológica da cidade e das políticas públicas neoliberais, se faz necessário compreender como os segmentos políticos, econômicos e sociais, disputam e se apropriam do instrumento, sob o quadro do novo marco regulatório do Plano Diretor Estratégico (PDE), Lei 16.050/ 2014 e a Lei de Zoneamento Lei 16.402/ 2016. Sobretudo com o aquecimento do mercado imobiliário, reflexo do incremento de financiamentos federais, viabilizados por meio do Programa Minha Casa Minha Vida e do Programa de Aceleração do Crescimento nas áreas periféricas da cidade. Espera-se evidenciar as especificidades desses territórios - classificados de forma homogênea na cidade de São Paulo, demonstrar a relação das ZEIS 1 com as unidades e escalas de planejamento urbano; bem como, a importância do Plano de Urbanização das ZEIS 1 como instrumento de apropriação cidadã. Para isso, será avaliada a evolução das propostas executadas e em andamento, para um complexo de ZEIS 1, formado pelas ZEIS1 W101 contigua a ZEIS1 S005, S006 e as ZEIS1 S009, que juntas, somam a área de 4.764.279,29km2, na Zona Sul da cidade de São Paulo, região onde se localiza o projeto do Parque Novo Santo Amaro V, elaborado pelo Arq. Hector Vigliecca (2009-2012) e contratado pela Prefeitura Municipal de São Paulo através do Programa Saneamento Ambiental dos Mananciais do Alto Tietê, e também o Projeto de Intervenção Urbanística (PIU) do Terminal de ônibus do Jardim Ângela. / The goal of this research is to analyze and to delve into the Special Zones Of Social Interest 1 (ZEIS 1) in the city of Sao Paulo as a defense resource to the right to the city and to housing, and as one of the most important legal mechanisms from the Urban Reformation, set by the Statute of the City and consolidated by every subsequent urban legislation. It is a mechanism to promote urbanization and land regularization and therefore involves civil projects and construction sites. In its urbanistic conception, it is a tool for land use; an exceptional zoning area, related to urban planning and to public policies of urban development and housing. In face of the development of the city as an opportunity for the capital and for neoliberal public policies, it is necessary to shed light on how the political, economic and social sectors fight for and appropriate such mechanism, under the legal framework of the Strategic Master Plan (PDE), Law 16.050/2014, and the Land Use Act, Law 16.402/2016, especially due to the boom in the real estate market, a consequence of the increase in federal spending by means of the Minha Casa Minha Vida Program and the Growth Acceleration Program in the outskirts of the city. The expectation is to highlight the specificities of such areas, wrongfully sorted homogeneously in the city of Sao Paulo, to establish the relationship between ZEIS 1 and the units and scales of urban planning and the importance of the Urbanization Plan as an instrument for citizen appropriation. This research will assess the evolution of completed and ongoing proposals for a ZEIS 1 block, defined by ZEIS 1 W101 next to ZEIS 1 S005, S006 and ZEIS 1 S009, amounting to 4,764,279.29km2 in the South Region of Sao Paulo, where stands the Parque Novo Santo Amaro V, made by the architect Hector Vigliecca (2009-2012) and comissioned by the Sao Paulo City Hall, by means of the Alto Tietê Wathershed Environmental Sanitation Program, and also the Urban Intervention Project (PIU) of Jardim Ângela Bus Terminal.

O espaço urbano no Brasil se configura como locus de desigualdades, sendo ao mesmo tempo resultado e palco das dinâmicas socioambientais e econômicas e da expressão política que assume a correlação de forças emanadas dos diversos agentes envolvidos em sua produção e reprodução. Durante o principal período de urbanização brasileiro, a expansão de nossas cidades ocorreu praticamente sem a regulação do Poder Público quanto ao parcelamento do solo, cabendo aos loteadores a definição de vetores de crescimento das cidades, numa perspectiva especulativa de retorno de investimentos a partir da provisão de infraestrutura, essa sim, feita pelo Estado. O objeto desta tese é o processo de elaboração e tramitação do Projeto de Lei 3.057/2000, chamado de projeto de Lei de Responsabilidade Territorial Urbana, que trata da revisão da lei de parcelamento do solo urbano vigente, tendo um capítulo específico sobre o que denomina de \"regularizaç~o fundi|ria urbana sustent|vel\". A tramitaç~o do PL 3.057/2000 teve início pela proposta de alteração pontual de um dos artigos da atual lei nacional de parcelamento do solo, a Lei Lehmann, com o intuito de facilitar a regularização de loteamentos de interesse social. A este projeto foram apensados outros, ampliando seu escopo e atraindo para o processo de discussão variados grupos de interesses. Ao compatibilizar num instrumento normativo único as regras de parcelamento do solo urbano e de regularização fundiária sustentável, o Projeto de Lei reúne campos distintos de intervenção no urbano. A hipótese de pesquisa é que a constituição da arena pública, constituída pelos debates e audiências públicas sobre o projeto, foi determinante para seu processo de elaboração e tramitação. / The urban area in Brazil is shaped as a locus of inequalities, while being the result and the stage of the socio-environmental and economic dynamics and the political expression that takes the correlation of forces emanating from the various agents involved in its production and reproduction. During the main period of Brazilian urbanization, the expansion of our cities took place practically without the regulation of the Government as to the division of the land, with the land holders being responsible for the definition of vectors of the growth of cities, on a speculative perspective of return on investments from the provision of infrastructure, this one indeed, promoted by the state. The object of this thesis is the drafting and processing of the bill 3057/2000 , called Bill of Urban Territorial Responsibility, which deals with the revision of the law of division of urban land in force, with a specific section on what it terms \"sustainable urban land regularization\". The processing of the bill 3057/2000 was initiated by the proposed minor amendments to the articles of the current national law of land division, the Lehmann Law, in order to facilitate the settlement of social housing developments. Others were joined to this project, expanding its scope and attracting to the discussion process various interest groups. On reconciling the rules of urban land division and sustainable land regularization in a single normative instrument, the Bill brings together different fields of intervention in urban areas. The research hypothesis is that the constitution of the public arena, comprising the debates and public hearings on the project, was crucial to its drafting and processing.

Este trabalho trata da modelagem de sinais ultrassônicos gerados por transdutores circulares (plano e côncavo) no modo de pulso-eco, inspecionando uma região de interesse predeterminada. Para essa análise, dois modelos da resposta impulsiva de um transdutor piezelétrico foram implementados: um do transdutor circular plano e outro do transdutor circular côncavo focalizado. Este último sendo o modelo proposto pelo autor com uma geometria baseada em anéis concêntricos como elementos de área do emissor. A adição de diversos anéis concêntricos, deslocados ao longo de seu eixo e de raios sucessivamente menores, permitiu calcular o campo acústico, gerado por uma abertura côncava, bem como seu eco refletido. A resposta impulsiva de cada anel resulta da diferença entre as respostas impulsivas calculadas para um emissor circular grande e um pequeno. O modelo implementado para o cálculo dos sinais de eco foi utilizado na varredura de uma região contendo um conjunto de pontos com refletividade acústica igual a 1. A reconstrução da imagem foi feita com esses sinais aplicando-lhes a técnica de regularização de Tikhonov. A qualidade das reconstruções das imagens obtidas foi avaliada e comparada a das imagens convencionais. Dentre as métricas de avaliação das imagens reconstruídas estão a influência na variação da velocidade de propagação da onda acústica no meio, a extensão e a discretização do grid e o parâmetro de regularização alfa. Todas as reconstruções foram analisadas segundo o Erro Médio Quadrático (MSE). Finalmente, ensaios experimentais foram conduzidos para a obtenção de A-scans (imagens em modo de amplitude) os quais foram inseridas no modelo teórico para a reconstrução de imagens e analisadas pelo MSE. / This work deals with the modeling of ultrasonic signals generated by circular transducers (planar and concave pistons) in pulse-echo mode, inspecting a predetermined region of interest (ROI). For this analysis, two models of the impulse response of a transducer were implemented: one using a plane piston transducer and the other, a model proposed by the author of this work, using a concave transducer with concentric rings as elements of the emitting area. The addition of several concentric rings moved along its axis allowed us to calculate the acoustic field generated by a concave opening and the echo reflected from each point in space. The impulse response of each ring represents the difference between the impulse responses calculated for a large circular transmitter and a small one. The model implemented for calculating the echo signals is used to scan a region, within a ROI, containing a set of points with acoustic reflectivity of 1. Simulations of the regions are made with these signals by applying the Tikhonov regularization method. To evaluate the quality of image reconstruction, the images are compared with the conventional images. Among the metrics to evaluate the reconstructed images are the influence of the variation of the acoustic wave propagation in the media, the grid range and discretization and the parameter of regularization alpha. All of the image reconstructions were analyzed through the Mean Square Error (MSE) criterion. Finally, experiments were conducted in order to obtain A-scans which were then re-inserted in the theoretical model to reconstruct and analyze the images.

A tomografia por sensoriamento térmico é muito utilizada em diferentes aplicações industriais, tais como a determinação de propriedades térmicas de novos materiais, o controle da produção de calor e a temperatura no processo de manufatura. Entretanto, o emprego de técnicas tomográficas em processos industriais envolvendo transferência de calor ainda carece de métodos robustos e computacionalmente eficientes. Nesse contexto, o principal objetivo deste trabalho é contribuir para o desenvolvimento de uma técnica não intrusiva de medição do coeficiente de convecção a partir de medidas externas de temperatura e fluxo de calor baseada na solução do problema térmico inverso. Para tanto é necessário resolver um problema de condução acoplado a um problema de convecção de calor. Este acoplamento ocorre através do coeficiente de convecção no interior do domínio do problema, cuja determinação pode ser feita através da aplicação de um fluxo de calor e medição das temperaturas resultantes na superfície externa. A tomografia térmica é tratada como um problema de minimização global, cuja função objetivo é um funcional de erro que quantifica a diferença entre as medidas externas não intrusivas (temperatura real) e as medidas calculadas no modelo numérico (temperatura aproximada). A natureza mal condicionada do problema assim formulado se manifesta na superfície de minimização por produzir topologias problemáticas tais como múltiplos mínimos locais, pontos de sela, vales ao redor da solução, platôs, etc. Desse modo, uma técnica bastante sofisticada, capaz de convergir para a solução correta mesmo na presença dessas patologias é necessária para obtenção da solução. Neste trabalho optou-se pelo método de Newton para a minimização deste funcional em que a inversa da matriz Hessiana é substituída por uma pseudo-inversa construída a partir da técnica de Decomposição em Valores Singulares Truncados. Os resultados mostram que a técnica proposta foi capaz de superar os problemas de convergência associados à natureza intrínseca mal condicionada do problema inverso e o coeficiente de convecção foi reconstruído com precisão razoável. / Tomography by thermal sensing is widely used in different industrial applications, such as the determination of thermal properties of new materials, the control of heat production and the temperature in manufacturing processes. However, the application of tomographic techniques in industrial processes involving heat transfer still lacks robust and computationally efficient methods. In this context, the main objective of this thesis is to contribute to the development of a non-intrusive technique for measuring of the convection coefficient from external temperature and heat flow measurements based on the solution of the inverse thermal problem. This requires solving a conduction problem coupled with a heat convection problem, which is coupled through an internal convection coefficient, determined by applying a heat flux and measuring the resulting temperatures on the external boundary. The thermal tomography is treated as a global minimization problem in which the fitness function is an error functional that quantifies the difference between non-intrusive external measurements (actual temperature) and measurements calculated in a numerical model (approximate temperature). The ill-conditioned nature of the problem manifests itself in the minimization problem for producing problematic topologies, such as multiple local minima, saddle points, valleys around the solution, plateaus, etc. Thus, a very sophisticated technique that can converge to the correct solution even in the presence of these pathologies is necessary to obtain the solution. In this thesis the Newton\'s method was used for the minimization of this functional in which the inverse Hessian matrix was replaced by a pseudo-inverse built from the truncated singular value decomposition technique. Results show that the proposed technique was capable of overcoming the convergence problems associated with the intrinsic ill-conditioned nature of the inverse problem and the convection coefficient was reconstructed within reasonable precision.

O principal objetivo do presente trabalho é expor o procedimento de quantização de teorias de Yang-Mills, através do método de Faddeev-Popov, no formalismo de 1a Ordem, e investigar num primeiro momento sua equivalência (clássica e quântica) ao formalismo usual (2a Ordem) e algumas de suas aplicações, principalmente no cálculo de correções quânticas. Para isso, ideias gerais a respeito do processo de quantização via formalismo de Faddeev-Popov foram expostas, e posteriormente utilizadas no processo de quantização de teorias de Yang-Mills no formalismo de 1a Ordem. Apresenta-se também as ideias gerais relativas ao método de regularização dimensional utilizado no cálculo de correções quânticas à nível de 1-loop para a teoria de Yang-Mills no formalismo de 1a ordem, utilizando-se, para isso, computação simbólica. Foi demonstrado que via formalismo de 1a Ordem, a estrutura ultravioleta encontrada no propagador do bóson de gauge é consistente com a renormalizabilidade da teoria. Embora tenhamos diferenças quanto a estrutura das interações neste novo formalismo, a estrutura das divergências ultravioletas continua a mesma do formalismo usual. / The main objective of the present work is to expose the quantization procedure of Yang- Mills theories in first order formalism, by Faddeev Popov\'s method. We want to investigate the classical and quantum equivalence between first and second order formalism, and look and analyze the differences in practical calculations of quantum corrections. Therefore, the general ideas about quantizantion by Faddeev-Popov\'s method was exposed, and used later in first order theory. It is also presented in this work, the main ideas concerning to dimensional regularization used in quantum corrections calculations at one-loop order for Yang-Mills theories, using for that, symbolic computation. It has been shown that upon using the first order formalism, the ultraviolet structre found in gauge boson propagator is also consistent to the theory\'s renormalizability. Although we have differences concerning to interactions structures in this new formalism, the ultraviolet structures from usual formalism is also found in it.

Made available in DSpace on 2016-04-26T20:30:07Z (GMT). No. of bitstreams: 1 Ligia Maria Silva Melo de Casimiro.pdf: 1681675 bytes, checksum: af4b2f74952fe8ad4a57b2f21dfc3bae (MD5) Previous issue date: 2010-05-07 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The Democratic State of Law takes the fundamental rights as base in its normative structure, defined in a detached way in the Constitution of 1988. The constitutional routes for the landed regularization has as core the development and promotion of the social right of land, always in harmony with the environment, in which the city has to execute you function and allow that everyone use it. The Statute of the City describes in detail the aspect of such politics proposing the balance in the service of promotion the right of the adequate housing and the respect and protection to the natural environment, not neglecting, specially, the irregular dwellings in small and great cities of the country. The instrument to look for the balance proposed by the new urbane politics is the landed regularization, which will have to give security and worthy conditions of dwelling to the destitute population, driving the public administrator to observes the treatment given by the laws of town planning and environmental content, exercising his administrative function by the light of the constitutional and (infra)constitucional foresight. The administrative function needs to act as to provide the public interests in the promoting of the appropriate right of habitation trough the regularization action, allowing better conditions of life for the population of low revenue / O Estado Democrático de Direito tem por base os direitos fundamentais em sua estrutura normativa, definidos de maneira destacada na Constituição de 1988. As diretrizes constitucionais para a política urbana têm como cerne o desenvolvimento e a promoção do direito social à moradia sempre em harmonia com o meio ambiente, em que a cidade deve cumprir sua função e permitir que todos dela usufruam. O Estatuto da Cidade descreve detalhadamente o traço de tal política conduzindo-a para a promoção do direito à moradia adequada, respeito e proteção ao meio ambiente natural, não descuidando, especialmente, das ocupações irregulares em todas as cidades do país. O instrumento para buscar o equilíbrio proposto pela nova política urbana é a regularização fundiária, que garante segurança e condições adequadas de moradia à população carente, conduzindo o administrador público a observar o tratamento dado pelas leis de conteúdo urbanístico, administrativo e ambiental, exercendo sua função administrativa à luz das previsões constitucionais e infraconstitucionais. A função adminsitrativa deve agir de forma a promover o interesse público qualificado na promoção do direito à moradia adequada por meio da ação de regularizar, permitindo melhores condições de vida para a população de baixa renda

Made available in DSpace on 2016-08-10T10:50:06Z (GMT). No. of bitstreams: 1 ROSANA CARVALHO CARDOSO FERREIRA LEITE.pdf: 3664459 bytes, checksum: b096fab0c93d4b9ed9405c07be035cba (MD5) Previous issue date: 2014-08-07 / This research is a study of the advances and limitations of application of Law No.11.977/2009,under the aspect of Regularization of Social Interest in Goiânia. It is also the study of how the implementation of the Programa Minha Casa Minha Vida law has brought about the real achievement of citizenship, by promoting the regularization of social interest, and by guaranteeing the right to housing, under the aspects of the social function of land and of the democratization of access to it. The study was prepared using literature review of existing legislation and field research experience in Jardim Mariliza. It is this a case of regularization of a public square where several families were settled. Later, the area was removed for the purpose of regularization of social interest, making it the block 86-A in Jardim Mariliza where families earned the right to ownership of their urban settlement. / A presente pesquisa é um estudo dos avanços e limitações da aplicação da Lei nº 11.977/2009, sob o aspecto da Regularização Fundiária de Interesse Social em Goiânia. É, ainda, o estudo de como a aplicação da Lei do Programa Minha Casa Minha Vida tem buscado a conquista real da cidadania, ao promover a regularização fundiária de interesse social, garantindo o direito à moradia, sob os aspectos da função social da terra e da democratização do acesso a ela. O trabalho foi elaborado por uma revisão bibliográfica da legislação vigente e pesquisa de campo da experiência do Jardim Mariliza. Trata-se esta de um caso concreto de regularização fundiária de uma praça pública onde foram assentadas várias famílias. Posteriormente, a área foi desafetada para fins de regularização fundiária de interesse social, tornando-se a quadra 86-A do Jardim Mariliza, cujas famílias conquistaram o direito à titularidade de suas posses urbanas.