Environmental Decision-making utilizing a Web GIS to Monitor Hazardous Industrial Emissions in the Valencian community of Spain

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

Sustainability of systems interoperability in dynamic business networks

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores

An Atlas for the future National Park: Las Cumbres de la Sierra de Guadarrama

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

NEGOSEIO: framework for the sustainability of model-oriented enterprise interoperability

Dissertation to obtain the degree of Doctor of Philosophy in Electrical and Computer Engineering(Industrial Information Systems)

Web-assisted tobacco intervention in Portuguese : intentions to make behavioural changes and behavioural changes

ABSTRACT - The problem of how to support “intentions to make behavioural changes” (IBC) and “behaviour changes” (BC) in smoking cessation when there is a scarcity of resources is a pressing issue in public health terms. The present research focuses on the use of information and communications technologies and their role in smoking cessation. It is developed in Portugal after the ratification of WHO Framework Convention on Tobacco Control (on 8 November 2005). The prevalence of smokers over fifteen years of age within the population stood at 20.9% (30.9% for men and 11.8% for women). While the strategy of helping people to quit smoking has been emphasised at National Health Service (NHS) level, the uptake of cessation assistance has exceeded the capacity of the service. This induced the search of new theoretical and practical venues to offer alternative options to people willing to stop smoking. Among these, the National Health Plan (NHP) of Portugal (2004-2010), identifies the use of information technologies in smoking cessation. eHealth and the importance of health literacy as a means of empowering people to make behavioural changes is recurrently considered an option worth investigating. The overall objective of this research is to understand, in the Portuguese context, the use of the Internet to help people to stop smoking. Research questions consider factors that may contribute to “intentions to make behavioural changes” (IBC) and “behavioural changes” (BC) while using a Web-Assisted Tobacco Intervention Probe (WATIP). Also consideration is given to the trade-off on the use of the Web as a tool for smoking cessation: can it reach a vast number of people for a small cost (efficiency) demonstrating to work in the domain of smoking cessation (efficacy)”? In addition to the introduction, there is a second chapter in which the use of tobacco is discussed as a public health menace. The health gains achieved by stopping smoking and the means of quitting are also examined, as is the use of the Internet in smoking cessation. Then, several research issues are introduced. These include background theory and the theoretical framework for the Sense of Coherence. The research model is also discussed. A presentation of the methods, materials and of the Web-Assisted Tobacco Intervention Probe (WATIP) follows. In chapter four the results of the use of the Web-Assisted Tobacco Intervention Probe (WATIP) are presented. This study is divided into two sections. The first describes results related to quality control in relation to the Web-Assisted Tobacco Intervention Probe (WATIP) and gives an overview of its users. Of these, 3,150 answered initial eligibility questions. In the end, 1,463 met all eligibility requirements, completed intake, decided on a day to quit smoking (Dday) and declared their “intentions to make behavioural changes” (IBC) while a second targeted group of 650 did not decide on a Dday. With two quit attempts made before joining the platform, most of the participants had experienced past failures while wanting to stop. The smoking rate averaged 21 cigarettes per day. With a mean age of 35, of the participants 55% were males. Among several other considerations, gender and the Sense of Coherence (SOC) influenced the success of participants in their IBC and endeavour to set quit dates. The results of comparing males and females showed that, for current smokers, establishing a Dday was related to gender differences, not favouring males (OR=0.76, p<0.005). Belonging to higher Socio-economic strata (SES) was associated with the intention to consider IBC (when compared to lower SES condition) (OR=1.57, p<0.001) and higher number of school years (OR=0.70, p<0.005) favoured the decision to smoking cessation. Those who demonstrated higher confidence in their likelihood of success in stopping in the shortest time had a higher rate of setting a Dday (OR=0.51, p<0.001). There were differences between groups in IBC reflecting the high and low levels of the SOC score (OR=1.43, p=0.006), as those who considered setting a Dday had higher levels of SOC. After adjusting for all variables, stages of readiness to change and SOC were kept in the model. This is the first Arm of this research where the focus is a discussion of the system’s implications for the participants’ “intentions to make behavioural changes” (IBC). Moreover, a second section of this study (second Arm) offers input collected from 77 in-depth interviews with the Web-Assisted Tobacco Intervention Probe (WATIP) users. Here, “Behaviour Change” (BC) and the usability of the platform are explored a year after IBC was declared. A percentage of 32.9% of self-reported, 12-month quitters in continuous abstinence from smoking from Dday to the 12-month follow- up point of the use of the Web-Assisted Tobacco Intervention Probe (WATIP) has been assessed. Comparing the Sense of Coherence (SOC) scores of participants by their respective means, according to the two groups, there was a significant difference in these scores of non smokers (BC) (M=144,66, SD=22,52) and Sense of Coherence (SOC) of smokers (noBC) (M=131,51, SD=21,43) p=0.014. This WATIP strategy and its contents benefit from the strengthening of the smoker’s sense of coherence (SOC), so that the person’s progress towards a life without tobacco may be experienced as comprehensible, manageable and meaningful. In this sample the sense of coherence (SOC) effect is moderate although it is associated with the day to quit smoking (Dday). Some of the limitations of this research have to do with self-selection bias, sample size (power) and self-reporting (no biochemical validation). The enrolment of participants was therefore not representative of the smoking population. It is not possible to verify the Web-Assisted Tobacco Intervention Probe (WATIP) evaluation of external validity; consequently, the results obtained cannot be applied generalized. No participation bias is provided. Another limitation of this study is the associated limitations of interviews. Interviewees’ perception that fabricating answers could benefit them more than telling the simple truth in response to questions is a risk that is not evaluated (with no external validation like measuring participants’ carbon monoxide levels). What emerges in this analysis is the relevance of the process that leads to the establishment of the quit day (Dday) to stop using tobacco. In addition, technological issues, when tailoring is the focus, are key elements for scrutiny. The high number of dropouts of users of the web platform mandates future research that should concentrate on the matters of the user-centred design of portals. The focus on gains in health through patient-centred care needs more research, so that technology usability be considered within the context of best practices in smoking cessation.

The implementation of an Enterprise Geographical Information System to support Cadastre and Expropriation activities.

The processes of mobilization of land for infrastructures of public and private domain are developed according to proper legal frameworks and systematically confronted with the impoverished national situation as regards the cadastral identification and regularization, which leads to big inefficiencies, sometimes with very negative impact to the overall effectiveness. This project report describes Ferbritas Cadastre Information System (FBSIC) project and tools, which in conjunction with other applications, allow managing the entire life-cycle of Land Acquisition and Cadastre, including support to field activities with the integration of information collected in the field, the development of multi-criteria analysis information, monitoring all information in the exploration stage, and the automated generation of outputs. The benefits are evident at the level of operational efficiency, including tools that enable process integration and standardization of procedures, facilitate analysis and quality control and maximize performance in the acquisition, maintenance and management of registration information and expropriation (expropriation projects). Therefore, the implemented system achieves levels of robustness, comprehensiveness, openness, scalability and reliability suitable for a structural platform. The resultant solution, FBSIC, is a fit-for-purpose cadastre information system rooted in the field of railway infrastructures. FBSIC integrating nature of allows: to accomplish present needs and scale to meet future services; to collect, maintain, manage and share all information in one common platform, and transform it into knowledge; to relate with other platforms; to increase accuracy and productivity of business processes related with land property management.

Analysis of panoramio photo tags in order to extract land use information

In the recent past, hardly anyone could predict this course of GIS development. GIS is moving from desktop to cloud. Web 2.0 enabled people to input data into web. These data are becoming increasingly geolocated. Big amounts of data formed something that is called "Big Data". Scientists still don't know how to deal with it completely. Different Data Mining tools are used for trying to extract some useful information from this Big Data. In our study, we also deal with one part of these data - User Generated Geographic Content (UGGC). The Panoramio initiative allows people to upload photos and describe them with tags. These photos are geolocated, which means that they have exact location on the Earth's surface according to a certain spatial reference system. By using Data Mining tools, we are trying to answer if it is possible to extract land use information from Panoramio photo tags. Also, we tried to answer to what extent this information could be accurate. At the end, we compared different Data Mining methods in order to distinguish which one has the most suited performances for this kind of data, which is text. Our answers are quite encouraging. With more than 70% of accuracy, we proved that extracting land use information is possible to some extent. Also, we found Memory Based Reasoning (MBR) method the most suitable method for this kind of data in all cases.

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/.

Semantic adaptability for the systems interoperability

In the current global and competitive business context, it is essential that enterprises adapt their knowledge resources in order to smoothly interact and collaborate with others. However, due to the existent multiculturalism of people and enterprises, there are different representation views of business processes or products, even inside a same domain. Consequently, one of the main problems found in the interoperability between enterprise systems and applications is related to semantics. The integration and sharing of enterprises knowledge to build a common lexicon, plays an important role to the semantic adaptability of the information systems. The author proposes a framework to support the development of systems to manage dynamic semantic adaptability resolution. It allows different organisations to participate in a common knowledge base building, letting at the same time maintain their own views of the domain, without compromising the integration between them. Thus, systems are able to be aware of new knowledge, and have the capacity to learn from it and to manage its semantic interoperability in a dynamic and adaptable way. The author endorses the vision that in the near future, the semantic adaptability skills of the enterprise systems will be the booster to enterprises collaboration and the appearance of new business opportunities.

Adoção e difusão de aplicações das tecnologias da informação: iniciativas lançadas no âmbito de processos de implantação de aplicações em organizações – estudo de práticas profissionais e proposta de ferramenta de suporte

Tese de Doutoramento Tecnologias e Sistemas de Informação

Apoio à decisão na análise inteligente de reclamações

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Implementação de um sistema de customer relationship management na broaden information solutions

Dissertação de mestrado em Sistemas de Informação

Development of an intelligent earthwork optimization system

Tese de Doutoramento em Engenharia Civil.

Critical events in mechanically ventilated patients

Mechanical Ventilation is an artificial way to help a Patient to breathe. This procedure is used to support patients with respiratory diseases however in many cases it can provoke lung damages, Acute Respiratory Diseases or organ failure. With the goal to early detect possible patient breath problems a set of limit values was defined to some variables monitored by the ventilator (Average Ventilation Pressure, Compliance Dynamic, Flow, Peak, Plateau and Support Pressure, Positive end-expiratory pressure, Respiratory Rate) in order to create critical events. A critical event is verified when a patient has a value higher or lower than the normal range defined for a certain period of time. The values were defined after elaborate a literature review and meeting with physicians specialized in the area. This work uses data streaming and intelligent agents to process the values collected in real-time and classify them as critical or not. Real data provided by an Intensive Care Unit were used to design and test the solution. In this study it was possible to understand the importance of introduce critical events for Mechanically Ventilated Patients. In some cases a value is considered critical (can trigger an alarm) however it is a single event (instantaneous) and it has not a clinical significance for the patient. The introduction of critical events which crosses a range of values and a pre-defined duration contributes to improve the decision-making process by decreasing the number of false positives and having a better comprehension of the patient condition.

Issues of information support for the process of scientific enterprise's management in the universities and research organizations

This article describes the problem of commercializing of scientific researches in universities. Management tasks are reduced to subtasks and combined formal algorithm. The overall control problem is reduced to a set of formal subtasks combined into a single algorithm. Here the necessity of joint control of all commercialization projects as well as the use of information systems for the successful implementation of the existing commercialpotential is shown.