Análise comparativa entre a promoção para arrendamento e venda de imóveis de habitação

Dissertação para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Edificações

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

Moral Hazard and Marshallian Inefficiency: Evidence from Tunisia.

In the presence of moral hazard, received agency theory predicts the Marshallian inefficiency of agricultural tenancy contracts, meaning that inputs per hectare on sharecropped land will differ from that on owned land. in this paper, we test for the presence of Marshallian inefficiency using a unique data set collected in the Tunisian village of El Oulja in 1993.

An analysis of household farm investment decisions under varying land tenure arrangements in Ghana

Land tenure insecurity is widely perceived as a disincentive for long-term land improvement investment hence the objective of this paper is to evaluate how tenure (in)security associated with different land use arrangements in Ghana influenced households’ plot level investment decisions and choices. The paper uses data from the Farmer-Based Organisations (FBO) survey. The FBO survey collected information from 2,928 households across three ecological zones of Ghana using multistaged cluster sampling. Probit and Tobit models tested the effects of land tenancy and ownership arrangements on households’ investment behaviour while controlling other factors. It was found that marginal farm size was inversely related to tenure insecurity while tenure insecurity correlate positively with value of farm land and not farm size. Individual ownership and documentation of land significantly reduced the probability of households losing uncultivated lands. Individual land ownership increased both the probability of investing and level of investments made in land improvement and irrigation probably due to increasing importance households place on land ownership. Two possible explanations for this finding are: First, that land markets and land relations have changed significantly over the last two decades with increasing money transaction and fixed agreements propelled by population growth and increasing value of land. Secondly, inclusion of irrigation investment as a long term investment in land raises the value of household investment and the time period required to reap the returns on the investments. Households take land ownership and duration of tenancy into consideration if the resource implications of land investments are relatively huge and the time dimension for harvesting returns to investments is relatively long.

Logit models for identifying the factors that influence the uptake of new 'no-tillage' technologies by farmers in the rice-wheat and the cotton-wheat farming systems of Pakistan's Punjab

In the 'rice-wheat' and the 'cotton-wheat' farming systems of Pakistan's Punjab, late planting of wheat is a perennial problem due to often delayed harvesting of the previously planted and late maturing rice and cotton crops. This leaves very limited time for land preparation for 'on-time' planting of wheat. 'No-tillage' technologies that reduce the turn-round time for wheat cultivation after rice and cotton have been developed, but their uptake has not been as expected.-This paper attempts to determine the farm and farmer characteristics and other socio-economic factors that influence the adoption of 'no-tillage' technologies'. Logit models were developed for the analysis undertaken. In the 'cotton-wheat' system personal characteristics like education, tenancy status, attitude towards risk implied in the use of new technologies and contact with extension agents are the main factors that affect adoption. As regards the 'rice-wheat' system, resource endowments such as farm size, access to a 'no-tillage' drill, clayey soils and the area sown to the rice-wheat sequence along with tenancy and contact with extension agents were dominant in explaining adoption. (C) 2002 Elsevier Science Ltd. All rights reserved.

Why was urban overcrowding much more severe in Scotland than in the rest of the British Isles? Evidence from the first (1904) official household expenditure survey

This article presents an analysis of British urban working-class housing conditions in 1904, using a rediscovered survey. We investigate overcrowding and find major regional differences. Scottish households in the survey were more overcrowded despite being less poor. Investigating the causes of this overcrowding, we find little support for supply-side theories or for the idea that the Scottish households in our survey experienced particularly great variations in income, causing them to commit to overly modest accommodation. We present evidence that is consistent with idea that particularly tough Scottish tenancy and local tax laws caused excess overcrowding. We also provide evidence that Scottish workers had a relatively high preference for food, rather than housing, expenditure, which can be at least partly attributed to their inheritance of more communal patterns of urban living.

Enabling actor model for crowd sensing and IoT

The cloud is playing a very important role in wireless sensor network, crowd sensing and IoT data collection and processing. However, current cloud solutions lack of some features that hamper the innovation a number of other new services. We propose a cloud solution that provides these missing features as multi-cloud and device multi-tenancy relying in a whole different fully distributed paradigm, the actor model.

Adaptable, model-driven security engineering for SaaS cloud-based applications

Software-as-a-service (SaaS) multi-tenancy in cloud-based applications helps service providers to save cost, improve resource utilization, and reduce service customization and maintenance time. This is achieved by sharing of resources and service instances among multiple "tenants" of the cloud-hosted application. However, supporting multi-tenancy adds more complexity to SaaS applications required capabilities. Security is one of these key requirements that must be addressed when engineering multi-tenant SaaS applications. The sharing of resources among tenants - i.e. multi-tenancy - increases tenants' concerns about the security of their cloud-hosted assets. Compounding this, existing traditional security engineering approaches do not fit well with the multi-tenancy application model where tenants and their security requirements often emerge after the applications and services were first developed. The resultant applications do not usually support diverse security capabilities based on different tenants' needs, some of which may change at run-time i.e. after cloud application deployment. We introduce a novel model-driven security engineering approach for multi-tenant, cloud-hosted SaaS applications. Our approach is based on externalizing security from the underlying SaaS application, allowing both application/service and security to evolve at runtime. Multiple security sets can be enforced on the same application instance based on different tenants' security requirements. We use abstract models to capture service provider and multiple tenants' security requirements and then generate security integration and configurations at runtime. We use dependency injection and dynamic weaving via Aspect-Oriented Programming (AOP) to integrate security within critical application/service entities at runtime. We explain our approach, architecture and implementation details, discuss a usage example, and present an evaluation of our approach on a set of open source web applications.

Evidence on the incentive optimality of share contracts

Ever since Adam Smith, economists have argued that share contracts do not provide proper incentives. This paper uses tenancy data from India to assess the existence of missing incentives in this classical example of moral hazard. Sharecroppers are found to be less productive than owners, but as productive as fixed-rent tenants. Also, the productivity gap between owners and both types of tenants is driven by sample-selection issues. An endogenous selection rule matches tenancy contracts with less-skilled farmers and lower-quality lands. Due to complementarity, such a matching affects tenants’ input choices. Controlling for that, the contract form has no effect on the expected output. Next, I explicitly model farmer’s optimal decisions to test the existence of non-contractible inputs being misused. No evidence of missing incentives is found.

Evidence on the relationship between incentives and exogenous risk

Theoretical models on moral hazard provide competing predictions on the incentive-risk relationship. These predictions are derived under the assumptions of homogeneous agents and exogenous risk. However, the existing empirical evidence does not account for risk-aversion heterogeneity and risk endogeneity. This paper uses a well-built database on tenancy contracts to address these issues. Detailed information on cropping activities is used to measure the exogenous risk. Risk-aversion heterogeneity and other self-selection problems are addressed through a portfolio schedule and a subsample of farmers who simultaneously own and sharecrop different farms. This controlled exercise finds a direct relation between incentives and exogenous risk.

Modelagem de dinâmica do uso da terra e cobertura vegetal na região de Santarém, oeste do Pará

A região de Santarém, na última década, apresentou um aumento da área de agricultura de grãos, em especial, arroz, milho e soja. Na base da estrutura fundiária da região, essa dinâmica tem concorrido para a concentração fundiária devido à substituição da pequena propriedade pela grande propriedade capitalizada. Políticas de ordenamento territorial criaram um mosaico de unidades com regras específicas de uso da terra, são unidades de conservação e diferentes modalidades de projetos de assentamentos. Este trabalho tem dois objetivos: estudar o processo de transformação da paisagem após a introdução da agricultura capitalizada de grãos e construir cenários de futuro que analisem alternativas para conter o desflorestamento e a concentração fundiária em curso. O estudo foi realizado utilizando técnicas de sensoriamento remoto e geoprocessamento, a partir de imagens Landsat 5 TM dos anos de 1999, 2004 e 2007. Técnicas de modelagem dinâmica foram empregadas para explorar cenários de futuro (2015) considerando regras de uso do território. Os resultados obtidos mostram que, até 2004, a maior parte da agricultura mecanizada foi implantada em áreas onde anteriormente eram ocupadas pela agropecuária familiar, pastagem e capoeira. Após 2004, a sua expansão se deu, principalmente, sobre áreas de floresta, em especial, dentro de projetos de assentamento. A análise das transições de uso, em diferentes modalidades de assentamento, demonstra que as regras de uso do território estabelecidas por medidas de ordenamento territorial não têm sido seguidas em muitos casos. Este trabalho apresentou como principal contribuição metodológica a incorporação de questões institucionais relacionadas à estrutura fundiária na análise de transformação da paisagem e construção de cenários. Os resultados mostram que tal abordagem é essencial para entender os processos de transformação correntes à região em questão.

Virtual Infrastructures as a Service enabling Converged Optical Networks and Data Centres

Abstract Cloud computing service emerged as an essential component of the Enterprise {IT} infrastructure. Migration towards a full range and large-scale convergence of Cloud and network services has become the current trend for addressing requirements of the Cloud environment. Our approach takes the infrastructure as a service paradigm to build converged virtual infrastructures, which allow offering tailored performance and enable multi-tenancy over a common physical infrastructure. Thanks to virtualization, new exploitation activities of the physical infrastructures may arise for both transport network and Data Centres services. This approach makes network and Data Centres’ resources dedicated to Cloud Computing to converge on the same flexible and scalable level. The work presented here is based on the automation of the virtual infrastructure provisioning service. On top of the virtual infrastructures, a coordinated operation and control of the different resources is performed with the objective of automatically tailoring connectivity services to the Cloud service dynamics. Furthermore, in order to support elasticity of the Cloud services through the optical network, dynamic re-planning features have been provided to the virtual infrastructure service, which allows scaling up or down existing virtual infrastructures to optimize resource utilisation and dynamically adapt to users’ demands. Thus, the dynamic re-planning of the service becomes key component for the coordination of Cloud and optical network resource in an optimal way in terms of resource utilisation. The presented work is complemented with a use case of the virtual infrastructure service being adopted in a distributed Enterprise Information System, that scales up and down as a function of the application requests.

Arrendamientos rurales en la provincia de Buenos Aires, entre la ley y la práctica, 1940-1960

En el presente trabajo nos proponemos analizar el funcionamiento del sistema de arrendamientos rurales, así como las transformaciones respecto del denominado "sistema tradicional" y el impacto que sobre el mismo tuvo la legislación agraria de "emergencia" sancionada en esos años. Abordamos el estudio desde una óptica regional comparativa para lo cual hemos seleccionado cuatro partidos bonaerenses, uno por cada área productiva en que se divide la provincia ya que creemos que existe una relación muy estrecha entre el sistema de tenencia de la tierra (arrendamiento o propiedad), la actividad productiva (agricultura o ganadería) y el tipo de explotación predominante (pequeñas unidades familiares o grandes explotaciones).

Patrimonio y producción en las tierras de los betlemitas. Córdoba, 1600-1870

En este trabajo pretendemos aproximarnos al complejo mundo rural cordobés y observar otras formas de tenencias de la tierra, con sus prácticas de producción y trabajo, los diversos actores que se mueven dentro y fuera de la unidad, sus trayectorias personales y empresarias y las múltiples relaciones sociales que los vincularon. Procuraremos ampliar nuestra mirada hacia el contexto en que operaron en el marco regional e interregional. A los fines de comparar y observar los cambios y permanencias que se fueron dando, hemos acotado nuestra observación a un conjunto de establecimientos rurales que hacia finales del siglo XVIII pasó a ser administrado por la orden Betlemita y forman una unidad de producción que se puede seguir en el largo plazo, desde que se construye socialmente el espacio que ocupan, a fines del siglo XVI, hasta la segunda mitad del siglo XIX.

Enfiteutas, propietarios, agregados y ocupantes en el 'nuevo sur': los partidos de Arenales y Ayacucho (1823-1860)

Este artículo se centra en la ocupación y apropiación de tierras en una región del sudeste de la provincia de Buenos Aires, que integraba en las primeras décadas del siglo XIX el llamado "nuevo sur": los partidos de Arenales y Ayacucho, entre 1823 y 1860. Comenzaremos por caracterizar el traspaso de estos territorios a particulares, el impacto de las distintas modalidades de transferencia y la evolución de la estructura de tenencia. Esto nos llevará a interrogarnos por los protagonistas de este proceso: ¿quiénes fueron los beneficiarios de este reparto? ¿cómo llegaron a estas tierras del "nuevo sur"? ¿cómo fue la conformación del grupo de propietarios en esta zona?, ¿permanecieron los mismos apellidos a lo largo del período? Además, ¿existieron, en esta zona como en otras regiones, posibilidades de ocupación sin la tenencia legal? La comparación con otros procesos de ocupación y apropiación de terrenos del estado, especialmente al sur del río Salado, nos posibilitará una visión más completa de este caso, que obviamente está integrado en un proceso más amplio.