Urban land use change analysis and modelling: a case study of Setubal-Sesimbra, Portugal

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

Urban change monitoring using GIS and remote sensing tools in Kathmandu valley (Nepal)

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

Testing native speakers of German and Portuguese on the understanding of topological operators-line-region relations in gvSIG

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

Influência dos parâmetros geotécnicos na qualidade do desmonte de maciços rochosos fracturados

Uma das operações envolvidas no desmonte de maciços rochosos é a perfuração. A forma como esta é executada é determinante para o sucesso do desmonte. Quando realizada correctamente o desmonte produz uma boa fragmentação, reduzindo a sobrescavação. Assim, a correcta escolha das ferramentas de perfuração assume um papel preponderante para os custos do desmonte em maciço rochosos. Esta dissertação irá centrar-se nos parâmetros Geológicos, Geotécnicos e Geomecânicos e nos desvios de perfuração. O objectivo geral deste trabalho é perceber a interdependência dos parâmetros geológicogeotécnicos e geomecânicos do maciço rochoso com os desvios de perfuração, bem como estudar os ângulos de intersecção entre os furos e as descontinuidades que originam o desvio. O estudo dos parâmetros do maciço rochoso aliado a uma perfuração alinhada é salientado com o intuito de uma abordagem de geoengenharia integrada dos maciços rochosos.

Interpretação tectónica de um conjunto de lineamentos WNW-ESE observados em imagens landsat da margem oeste ibérica

The existence of satellite images ofthe West Iberian Margin allowed comparative study of images as a tool applied to structural geology. Interpretation of LANDSAT images of the Lusitanian Basin domain showed the existence of a not previously described WNW-ESE trending set oflineaments. These lineaments are persistent and only observable on small scale images (e.g. approx. 11200000 and 11500 000) with various radiometric characteristics. They are approximately 20 km long, trend l200±15° and cross cut any other families oflineaments. The fact that these lineaments are perpendicular to the Quaternary thrusts of the Lower Tagus Valley and also because they show no off-set across them, suggests that they resulted from intersection oflarge tensile fractures on the earth's surface. It is proposed in this work that these lineaments formed on a crustal flexure of tens ofkm long, associated with the Quaternary WNW-ESE oriented maximum compressive stress on the West Iberian Margin. The maximum compressive stress rotated anticlockwise from a NW -SE orientation to approximately WNW-ESE, from Late Miocene to Quaternary times (RIBEIRO et aI., 1996). Field inspection of the lineaments revealed zones of norm~1.J. faulting and cataclasis, which are coincident with the lineaments and affect sediments of upper Miocene up to Quaternary age. These deformation structures show localized extension perpendicular to the lineaments, i.e. perpendicular to the maximum compressive direction, after recent stress data along the West Portuguese Margin (CABRAL & RIBEIRO, 1989; RIBEIRO et at., 1996). Also, on a first approach, the geographical distribution of these lineaments correlates well with earthquake epicenters and areas of largest Quaternary Vertical Movements within the inverted Lusitanian Basin (CABRAL, 1995).

Ciência, Cultura, Teorias, Práticas, Objetos, Sentidos, Valores

Este artigo reflete, e corporiza ele mesmo, uma intersecção: entre ciência e cultura; entre experiência, experimentação, sentidos, sentido e significado; entre a pluralidade de argumentos sustentadores da expressão motriz e matriz ‘culturas experimentais’. Sustentando a necessidade de se transcender uma abordagem essencialista de ‘cultura’ ede transgredir delimitações dos conceitos ‘experiência’ e ‘experimentação’, os autores recorrem à ideia de ‘paisagem’ para designar a quebra dos dualismos teoria-prática e ação-pensamento. Isto dita o repensar das fronteiras entre linguagens disciplinares, em direção a uma ‘ecologia conceptual’que contribua para perspetivas mais amplas e integradoras dos campos educativo, profissional e científico-artístico-cultural.

An intelligent clustering scheme for distributed intrusion detection in vehicular cloud computing

In recent years, vehicular cloud computing (VCC) has emerged as a new technology which is being used in wide range of applications in the area of multimedia-based healthcare applications. In VCC, vehicles act as the intelligent machines which can be used to collect and transfer the healthcare data to the local, or global sites for storage, and computation purposes, as vehicles are having comparatively limited storage and computation power for handling the multimedia files. However, due to the dynamic changes in topology, and lack of centralized monitoring points, this information can be altered, or misused. These security breaches can result in disastrous consequences such as-loss of life or financial frauds. Therefore, to address these issues, a learning automata-assisted distributive intrusion detection system is designed based on clustering. Although there exist a number of applications where the proposed scheme can be applied but, we have taken multimedia-based healthcare application for illustration of the proposed scheme. In the proposed scheme, learning automata (LA) are assumed to be stationed on the vehicles which take clustering decisions intelligently and select one of the members of the group as a cluster-head. The cluster-heads then assist in efficient storage and dissemination of information through a cloud-based infrastructure. To secure the proposed scheme from malicious activities, standard cryptographic technique is used in which the auotmaton learns from the environment and takes adaptive decisions for identification of any malicious activity in the network. A reward and penalty is given by the stochastic environment where an automaton performs its actions so that it updates its action probability vector after getting the reinforcement signal from the environment. The proposed scheme was evaluated using extensive simulations on ns-2 with SUMO. The results obtained indicate that the proposed scheme yields an improvement of 10 % in detection rate of malicious nodes when compared with the existing schemes.

Autores da nossa própria história

Acreditando numa educação social que se quer muito mais do que uma socialização correta e numa educação de adultos que se quer muito mais do que um ajustamento funcional dos indivíduos ao mercado de trabalho, este trabalho desenvolveu-se num Centro Novas Oportunidades (CNO), sedeado numa escola pública do concelho de Penafiel, entre outubro de 2011 e julho de 2012. Através de uma metodologia de investigação-ação participativa, procurou potenciar os campos de interseção entre a educação social e a educação de adultos, inspirando-se no poder libertador e transformador da educação. Num momento em que os adultos vivenciaram o encerramento repentino da Iniciativa Novas Oportunidades, em que estão integrados ou que foram integrantes, e o consequente sentimento de descredibilização social dos processos que frequentavam, este projeto procurou promover nos adultos com quem foi construído, a capacidade de reflexão sobre o seu passado, apropriação crítica do seu presente, a fim de tomarem decisões sobre o seu futuro, e que respondesse aos seus interesses e desejos, numa lógica de solidariedade, justiça e desenvolvimento. As conclusões deste trabalho apontam para a sua capacidade de, numa atitude emancipatória e democrática, analisar criticamente as circunstâncias que enquadram mais um período de transição das políticas públicas no campo da educação de adultos, a partir de uma essencial avaliação isenta e independente do trabalho desenvolvido, pelos seus principais intervenientes: os adultos.

Tendências no Twitter

Atualmente as redes sociais fazem parte do dia a dia das pessoas, sendo que para muitas delas essas plataformas tornaram-se imprescindíveis. Quer seja por mera curiosidade ou por uma necessidade imperiosa de partilhar com o mundo as suas ideias ou pensamentos, a verdade é que as pessoas utilizam cada vez mais as redes sociais. O trabalho descrito neste documento pretende explorar uma dessas redes sociais, o Twitter, mais propriamente através do estudo das suas tendências do momento ou trending topics que são expressões referidas pelos utilizadores a uma taxa superior em comparação com outras. São descritas algumas das características do Twitter e dos recursos disponíveis para programadores. Para além do estudo detalhado do Twitter, são extraídos dados de diversas fontes, destacando-se o próprio Twitter, mas também outras plataformas e jornais online. Posteriormente é feita a análise desses dados através da verificação da evolução das tendências ao longo do tempo nos diversos locais em estudo e ainda através do cruzamento de dados das várias fontes de dados, com análise dos resultados obtidos. Na análise efetuada são analisadas as tendências considerando algumas métricas, a sua globalidade, a relação das tendências com tópicos dos jornais online e ainda a sua periodicidade.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

XATA 2010 : XML : Associated Technologies and Applications, 8th

These are the proceedings for the eighth national conference on XML, its Associated Technologies and its Applications (XATA'2010). The paper selection resulted in 33% of papers accepted as full papers, and 33% of papers accepted as short papers. While these two types of papers were distinguish during the conference, and they had different talk duration, they all had the same limit of 12 pages. We are happy that the selected papers focus both aspects of the conference: XML technologies, and XML applications. In the first group we can include the articles on parsing and transformation technologies, like “Processing XML: a rewriting system approach", “Visual Programming of XSLT from examples", “A Refactoring Model for XML Documents", “A Performance based Approach for Processing Large XML Files in Multicore Machines", “XML to paper publishing with manual intervention" and “Parsing XML Documents in Java using Annotations". XML-core related papers are also available, focusing XML tools testing on “Test::XML::Generator: Generating XML for Unit Testing" and “XML Archive for Testing: a benchmark for GuessXQ". XML as the base for application development is also present, being discussed on different areas, like “Web Service for Interactive Products and Orders Configuration", “XML Description for Automata Manipulations", “Integration of repositories in Moodle", “XML, Annotations and Database: a Comparative Study of Metadata Definition Strategies for Frameworks", “CardioML: Integrating Personal Cardiac Information for Ubiquous Diagnosis and Analysis", “A Semantic Representation of Users Emotions when Watching Videos" and “Integrating SVG and SMIL in DAISY DTB production to enhance the contents accessibility in the Open Library for Higher Education". The wide spread of subjects makes us believe that for the time being XML is here to stay what enhances the importance of gathering this community to discuss related science and technology. Small conferences are traversing a bad period. Authors look for impact and numbers and only submit their works to big conferences sponsored by the right institutions. However the group of people behind this conference still believes that spaces like this should be preserved and maintained. This 8th gathering marks the beginning of a new cycle. We know who we are, what is our identity and we will keep working to preserve that. We hope the publication containing the works of this year's edition will catch the same attention and interest of the previous editions and above all that this publication helps in some other's work. Finally, we would like to thank all authors for their work and interest in the conference, and to the scientific committee members for their review work.

Regional change in the Algarve: A Geographic Information System approach

Thesis submitted to the Instituto Superior de Estatística e Gestão de Informação da Universidade Nova de Lisboa in partial fulfillment of the requirements for the Degree of Doctor of Philosophy in Information Management – Geographic Information Systems

Quantification of urban land use intensity - A case of Dhaka City of Bangladesh

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Urban land cover change detection analysis and modeling spatio-temporal Growth dynamics using Remote Sensing and GIS Techniques: A case study of Dhaka, Bangladesh

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Spatio-Temporal data modeling in response to deforestation monitoring (a case study of small region in Riau Province, Indonesia)

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.