A regularização fundiária e o registro de imóveis

Este trabalho tem por finalidade apresentar um estudo sobre as contribuições do serviço de registro imobiliário, com destaque em procedimentos de regularização fundiária de imóveis urbanos. Não raras vezes, empreendedores, administradores públicos, juízes, sociedade deparam-se com situações em que há a necessidade de titulação da terra como mecanismo de formalização da propriedade, oportunidade em que são exigidos os requisitos estabelecidos na legislação de regência. A adoção em caráter estrito das regras estabelecidas, em contraposição às peculiaridades e ao desregramento de assentamentos informais, importaria em eterna manutenção dos mesmos à margem da lei. Há, assim, de se criar mecanismos de consenso e soluções de compromisso, em que poder público, registrador imobiliário, operadores do direito e a própria comunidade envolvam-se no sentido de colmatar uma solução intermediária. Solução esta que, sem perder a necessária segurança jurídica dos registros públicos, possibilite a adoção de mecanismos que facilitem o acesso dos ocupantes à titulação da terra em que vivem. O título de propriedade representa mais do que mero papel. Traduz o poder de direito sobre determinado terreno, alçando-o da condição de um capital morto para elemento ativo em um mercado cada dia mais globalizado. Nesta esteira, arregimenta economicamente não apenas a população diretamente envolvida, quanto também possibilita, através da inserção dos imóveis regularizados no mercado, um aproveitamento e um incremento econômico catalisador de transformações econômico-sociais. Novos direitos, novos bens em garantia, novas condições de crédito, renovada segurança jurídica, enfim, novas oportunidades são desdobradas aos detentores, que agora podem investir sem o receio da precariedade decorrente de mera situação de posse. Estuda-se, assim, neste trabalho a importante atuação do registrador imobiliário e as vantagens decorrentes do processo de regularização fundiária, como um processo a ser estimulado e incrementado, concretizador de cidadania e efetivador dos direitos fundamentais de propriedade (art 5 CF/88) e de moradia (art. 6 da CF/88).

The Use of the Relative Interior in Integration with Nonconvex Data

Introducing an appropriate inclusion between approximate minima associated with two nonconvex functions, we derive explicit relations between the closed convex hulls of these functions. The formula we obtain goes beyond the so-called epi-pointed property of functions which is usually concerned with such a topic.

Investimentos internacionais e a valorização imobiliária dos municípios de Maxaranguape e Rio do Fogo

Since the middle of 1970´s the world has been undergoing significant transformations, comes in a new era of global capital accumulation, and starts the called productive restructuring. This restructuring is materialized spatially through the reconfiguration of territory, redefining its uses and providing a new spatial structure. With regard to native of Rio Grande do Norte territory, there is, from the 1980s, the emergence of new economic activities, among which stand out tourism, which become stimulated from government policies. In this context, has stood the east coast of the state, because its beaches have recognized scenic appeal and environmental quality. Therewith business opportunity, international investors ended up investing in this portion of Rio Grande do Norte´s territory, especially over the last decade. The expansion of this process, to the north coast, resulted in the emergence of intense property dynamics in the municipalities of Maxaranguape and Rio do Fogo. The low value of the property and buildings, compared to the European market and the availability of real property, were the main factors that explain the attraction of such investors, who are now seen as new business opportunities with high rates of profitability, in tropical areas, hitherto remote geographical location of the economic system. Therefore, the objective of the research is to analyze to what extent the International Investment promoted the appreciation of property in the municipalities of Maxaranguape and Rio do Fogo. The time frame covers the period among 2000- 2013. The methodology consisted of the following proceedings: surveys and analysis of data collected in the property registry office of the Maxaranguape and Rio do Fogo municipalities; interviews with public and private officials that were important for the analysis of spatial transformations and the recovery of the property that occurred in the municipalities studied; collection of secondary data from official bodies, such as IBGE, MTUR, SETUR, BNB etc. Analyzing the information and data that have been cataloged, it was concluded that this investments are reinforcing old leisure and tourism practices existing in the past in those territories and, shifted (creating new territorial arrangements) a significant part of the eastern coast zone areas of the state. Another consequence connected to this recent phenomenon refers to property’s increase in value that has occurred in this part of the state, episode which is directly connected to that event. Therefore, it is realize that the expansion and the incorporation of the capital territories reveal, in part, the strategies of the capitalist mode of production, which are evident in the search for better conditions of accumulation, expanding the alternative of use of the properties which occurs in selective way and uneven in the geographic space form. It is observed that the mechanisms that capital makes use to impose their practices can happen through the property’s increase in value market, meaning, thereby, that the reproduction of imbalances happens, often, through the marked property speculation with the fast increase in value of properties.

Möbius transforms, coincident Boolean functions and non-coincidence property of Boolean functions

Boolean functions and their Möbius transforms are involved in logical calculation, digital communications, coding theory and modern cryptography. So far, little is known about the relations of Boolean functions and their Möbius transforms. This work is composed of three parts. In the first part, we present relations between a Boolean function and its Möbius transform so as to convert the truth table/algebraic normal form (ANF) to the ANF/truth table of a function in different conditions. In the second part, we focus on the special case when a Boolean function is identical to its Möbius transform. We call such functions coincident. In the third part, we generalize the concept of coincident functions and indicate that any Boolean function has the coincidence property even it is not coincident.

Polynomial Functions and the Riesz Interpolation Property

Building on a proof by D. Handelman of a generalisation of an example due to L. Fuchs, we show that the space of real-valued polynomials on a non-empty set X of reals has the Riesz Interpolation Property if and only if X is bounded.

Optimization of gaussian fuzzy membership functions and evaluation of the monotonicity property of fuzzy inference systems

In this paper, two issues relating to modeling of a monotonicity-preserving Fuzzy Inference System (FIS) are examined. The first is on designing or tuning of Gaussian Membership Functions (MFs) for a monotonic FIS. Designing Gaussian MFs for an FIS is difficult because of its spreading and curvature characteristics. In this study, the sufficient conditions are exploited, and the procedure of designing Gaussian MFs is formulated as a constrained optimization problem. The second issue is on the testing procedure for a monotonic FIS. As such, a testing procedure for a monotonic FIS model is proposed. Applicability of the proposed approach is demonstrated with a real world industrial application, i.e., Failure Mode and Effect Analysis. The results obtained are analysis and discussed. The outcomes show that the proposed approach is useful in designing a monotonicity-preserving FIS model.

The future of office property

The following paper considers the question, where to office property? In doing so, it focuses, in the first instance, on identifying and describing a selection of key forces for change present within the contemporary operating environment in which office property functions. Given the increasingly complex, dynamic and multi-faceted character of this environment, the paper seeks to identify only the primary forces for change, within the context of the future of office property. These core drivers of change have, for the purposes of this discussion, been characterised as including a range of economic, demographic and socio-cultural factors, together with developments in information and communication technology. Having established this foundation, the paper proceeds to consider the manner in which these forces may, in the future, be manifested within the office property market. Comment is offered regarding the potential future implications of these forces for change together with their likely influence on the nature and management of the physical asset itself. Whilst no explicit time horizon has been envisioned in the preparation of this paper particular attention has been accorded short to medium term trends, that is, those likely to emerge in the office property marketplace over the coming two decades. Further, the paper considers the question posed, in respect of the future of office property, in the context of developed western nations. The degree of commonality seen in these mature markets is such that generalisations may more appropriately and robustly be applied. Whilst some of the comments offered with respect to the target market may find application in other arenas, it is beyond the scope of this paper to explicitly consider highly heterogeneous markets. Given also the wide scope of this paper key drivers for change and their likely implications for the commercial office property market are identified at a global level (within the above established parameters). Accordingly, the focus is necessarily such that it serves to reflect overarching directions at a universal level (with the effect being that direct applicability to individual markets - when viewed in isolation on a geographic or property type specific basis – may not be fitting in all instances)

Gemcitabine reactivates epigenetically silenced genes and functions as a DNA methyltransferase inhibitor

Gemcitabine is indicated in combination with cisplatin as first-line therapy for solid tumours including non-small cell lung cancer (NSCLC), bladder cancer and mesothelioma. Gemcitabine is an analogue of pyrimidine cytosine and functions as an anti-metabolite. Structurally, however, gemcitabine has similarities to 5-aza-2-deoxycytidine (decitabine/Dacogen®), a DNA methyltransferase inhibitor (DNMTi). NSCLC, mesothelioma and prostate cancer cell lines were treated with decitabine and gemcitabine. Reactivation of epigenetically silenced genes was examined by RT-PCR/qPCR. DNA methyltransferase activity in nuclear extracts and recombinant proteins was measured using a DNA methyltransferase assay, and alterations in DNA methylation status were examined using methylation-specific PCR (MS-PCR) and pyrosequencing. We observe a reactivation of several epigenetically silenced genes including GSTP1, IGFBP3 and RASSF1A. Gemcitabine functionally inhibited DNA methyltransferase activity in both nuclear extracts and recombinant proteins. Gemcitabine dramatically destabilised DNMT1 protein. However, DNA CpG methylation was for the most part unaffected by gemcitabine. In conclusion, gemcitabine both inhibits and destabilises DNA methyltransferases and reactivates epigenetically silenced genes having activity equivalent to decitabine at concentrations significantly lower than those achieved in the treatment of patients with solid tumours. This property may contribute to the anticancer activity of gemcitabine.

On Randomizing Hash Functions to Strengthen the Security of Digital Signatures

Halevi and Krawczyk proposed a message randomization algorithm called RMX as a front-end tool to the hash-then-sign digital signature schemes such as DSS and RSA in order to free their reliance on the collision resistance property of the hash functions. They have shown that to forge a RMX-hash-then-sign signature scheme, one has to solve a cryptanalytical task which is related to finding second preimages for the hash function. In this article, we will show how to use Dean’s method of finding expandable messages for finding a second preimage in the Merkle-Damgård hash function to existentially forge a signature scheme based on a t-bit RMX-hash function which uses the Davies-Meyer compression functions (e.g., MD4, MD5, SHA family) in 2 t/2 chosen messages plus 2 t/2 + 1 off-line operations of the compression function and similar amount of memory. This forgery attack also works on the signature schemes that use Davies-Meyer schemes and a variant of RMX published by NIST in its Draft Special Publication (SP) 800-106. We discuss some important applications of our attack.

Karnaugh map analysis and synthesis of threshold functions

A unate function can easily be identified on a Karnaugh map from the well-known property that it cons ist s only ofess en ti al prime implicante which intersect at a common implicant. The additional property that the plot of a unate function F(x, ... XII) on a Karnaugh map should possess in order that F may also be Ivrealizable (n';:; 6) has been found. It has been sh own that the I- realizability of a unate function F corresponds to the ' compac tness' of the plot of F. No resort to tho inequalities is made, and no pre-processing such as positivizing and ordering of the given function is required.

Essays on the Economics of Intellectual Property Rights

Väitöskirjassani tarkastelen informaatiohyödykkeiden ja tekijänoikeuksien taloustiedettä kahdesta eri perspektiivistä. Niistä ensimmäinen kuuluu endogeenisen kasvuteorian alaan. Väitöskirjassani yleistän ”pool of knowledge” -tyyppisen endogeenisen kasvumallin tilanteeseen, jossa patentoitavissa olevalla innovaatiolla on minimikoko, ja jossa uudenlaisen tuotteen patentoinut yritys voi menettää monopolinsa tuotteeseen jäljittelyn johdosta. Mallin kontekstissa voidaan analysoida jäljittelyn ja innovaatioilta vaaditun ”minimikoon” vaikutuksia hyvinvointiin ja talouskasvuun. Kasvun maksimoiva imitaation määrä on mallissa aina nolla, mutta hyvinvoinnin maksimoiva imitaation määrä voi olla positiivinen. Talouskasvun ja hyvinvoinnin maksimoivalla patentoitavissa olevan innovaation ”minimikoolla” voi olla mikä tahansa teoreettista maksimia pienempi arvo. Väitöskirjani kahdessa jälkimmäisessä pääluvussa tarkastelen informaatiohyödykkeiden kaupallista piratismia mikrotaloustieteellisen mallin avulla. Informaatiohyödykkeistä laittomasti tehtyjen kopioiden tuotantokustannukset ovat pienet, ja miltei olemattomat silloin kun niitä levitetään esimerkiksi Internetissä. Koska piraattikopioilla on monta eri tuottajaa, niiden hinnan voitaisiin mikrotaloustieteen teorian perusteella olettaa laskevan melkein nollaan, ja jos näin kävisi, kaupallinen piratismi olisi mahdotonta. Mallissani selitän kaupallisen piratismin olemassaolon olettamalla, että piratismista saatavan rangaistuksen uhka riippuu siitä, kuinka monille kuluttajille piraatti tarjoaa laittomia hyödykkeitä, ja että se siksi vaikuttaa piraattikopioiden markkinoihin mainonnan kustannuksen tavoin. Kaupallisten piraattien kiinteiden kustannusten lisääminen on mallissani aina tekijänoikeuksien haltijan etujen mukaista, mutta ”mainonnan kustannuksen” lisääminen ei välttämättä ole, vaan se saattaa myös alentaa laillisten kopioiden myynnistä saatavia voittoja. Tämä tulos poikkeaa vastaavista aiemmista tuloksista sikäli, että se pätee vaikka tarkasteltuihin informaatiohyödykkeisiin ei liittyisi verkkovaikutuksia. Aiemmin ei-kaupallisen piratismin malleista on usein johdettu tulos, jonka mukaan informaatiohyödykkeen laittomat kopiot voivat kasvattaa laillisten kopioiden myynnistä saatavia voittoja jos laillisten kopioiden arvo niiden käyttäjille riippuu siitä, kuinka monet muut kuluttajat käyttävät samanlaista hyödykettä ja jos piraattikopioiden saatavuus lisää riittävästi laillisten kopioiden arvoa. Väitöskirjan viimeisessä pääluvussa yleistän mallini verkkotoimialoille, ja tutkin yleistämäni mallin avulla sitä, missä tapauksissa vastaava tulos pätee myös kaupalliseen piratismiin.

Evolutionary Significance of Self-acylation Property in Acyl Carrier Proteins

Acyl carrier protein is an integral component of many cellular metabolic processes. A number of studies have reported self-acylation behavior in acyl carrier proteins. Although AM exhibit high levels of similarity in their primary and tertiary structures, self-acylation behavior is restricted to only some ACPs that can be classified into two major families based on their function. The first family of ACPs is involved in polyketide biosynthesis, whereas the second family participates in fatty acid synthesis. Facilitated by the growing number of genome sequences available for analyses, large-scale phylogenetic studies were used in these studies to uncover as to how self-acylation behavior of acyl carrier proteins is linked with the evolution of metabolic pathways in organisms. These studies show that self-acylation behavior in acyl carrier proteins was lost during the course of evolution, with certain organisms and organelles viz. plastids, retaining it for specified functions. (C) 2009 IUBMB IUBMB Life, 61(8): 853-859, 2009

A maximal operator, Carleson's embedding, and tent spaces for vector-valued functions

This thesis is concerned with the area of vector-valued Harmonic Analysis, where the central theme is to determine how results from classical Harmonic Analysis generalize to functions with values in an infinite dimensional Banach space. The work consists of three articles and an introduction. The first article studies the Rademacher maximal function that was originally defined by T. Hytönen, A. McIntosh and P. Portal in 2008 in order to prove a vector-valued version of Carleson's embedding theorem. The boundedness of the corresponding maximal operator on Lebesgue-(Bochner) -spaces defines the RMF-property of the range space. It is shown that the RMF-property is equivalent to a weak type inequality, which does not depend for instance on the integrability exponent, hence providing more flexibility for the RMF-property. The second article, which is written in collaboration with T. Hytönen, studies a vector-valued Carleson's embedding theorem with respect to filtrations. An earlier proof of the dyadic version assumed that the range space satisfies a certain geometric type condition, which this article shows to be also necessary. The third article deals with a vector-valued generalizations of tent spaces, originally defined by R. R. Coifman, Y. Meyer and E. M. Stein in the 80's, and concerns especially the ones related to square functions. A natural assumption on the range space is then the UMD-property. The main result is an atomic decomposition for tent spaces with integrability exponent one. In order to suit the stochastic integrals appearing in the vector-valued formulation, the proof is based on a geometric lemma for cones and differs essentially from the classical proof. Vector-valued tent spaces have also found applications in functional calculi for bisectorial operators. In the introduction these three themes come together when studying paraproduct operators for vector-valued functions. The Rademacher maximal function and Carleson's embedding theorem were applied already by Hytönen, McIntosh and Portal in order to prove boundedness for the dyadic paraproduct operator on Lebesgue-Bochner -spaces assuming that the range space satisfies both UMD- and RMF-properties. Whether UMD implies RMF is thus an interesting question. Tent spaces, on the other hand, provide a method to study continuous time paraproduct operators, although the RMF-property is not yet understood in the framework of tent spaces.