An agent-based evolutionary approach for manufacturing system layout design

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Molecular modulation of brain development and function: lessons from “old” and “new”

Dissertation presented to obtain the Ph.D degree in Biology

Safety function analysis in an industrial production process

Dissertação para obtenção do Grau de Mestre em Engenharia e Gestão Industrial

Development of population-specific function assessment intrument in Lebanon

RESUMO: Contexto: O funcionamento tem sido reconhecido como um dos principais indicadores de resultados para avaliar se as pessoas beneficiam das intervenções destinadas a melhorar a sua saúde mental. O funcionamento refere-se à forma como um indivíduo consegue responder às suas tarefas e solicitações, dos seus familiares e da sua comunidade, de acordo com os requisitos do local e a cultura em que vive (eg, tarefa de cozinhar e limpar para as mulheres em algumas culturas ). O funcionamento é altamente dependente da cultura - por isso, tem sido recomendado o desenvolvimento de medidas de funcionamento específicas de cada cultura. Desenvolver localmente os instrumentos de medida evita problemas de adequação, associados com a adaptação de instrumentos ocidentais. Embora os instrumentos criados desta forma sejam específicos de um meio cultural, eles são simultaneamente "transculturais", no sentido em que cada um se refere às tarefas mais importantes para a população local . Esta abordagem mostrou-se útil para investigadores e agências de ajuda (eg, ONGs) que trabalham em países não-ocidentais . Este estudo descreve o trabalho da agência International Medical Corps (IMC) na criação e validação de um questionário de funcionamento específico nas dimensões cultura e gênero, no Líbano, destinado a avaliar eventuais melhorias em pessoas que receberam intervenções de para problemas de saúde mental, a nível dos cuidados primários de saúde. Método: O instrumento foi desenvolvido usando um método que é uma alternativa à abordagem existente de adaptação de instrumentos ocidentais a outras culturas e situações; esta abordagem é rápida e exequível, tendo já demonstrado ser útil no desenvolvimento de instrumentos válidos e fidedignos. Inicialmente, foi solicitado que as pessoas identificassem, de uma lista livre, as tarefas mais importantes para cuidar de si próprias, da sua família e da sua comunidade; as tarefas identificadas foram posteriormente usadas como base para um instrumento de avaliação de funcionamento culturalmente válido. A partir daqui, foram desenvolvidos questionários específicos da comunidade em questão, posteriormente testados no terreno nas vertentes da validade (de conteúdo, facial e de constructo) e da fiabilidade (teste-reste e inter-entrevistadores). Resultados. O estudo resultou na criação e validação de um questionário de funcionamento específico de cultura e gênero capaz de medir efectivamente a capacidade de execução de tarefas importantes do quotidiano,como parte da avaliação de resultados levada a cabo por profissionais da CSP previamente treinados na identificação, suporte e encaminhamento de pessoas com problemas de saúde mental no Líbano. Conclusão. Neste trabalho descreve-se o desenvolvimento de um questionário de funcionamento específico de cultura e gênero, orientado para a avaliação de resultados, num contexto mais lato de um sistema abrangente de avaliação e monitorização de um serviço comunitário. --------------ABSTRACT: Background. Functioning has been recognized as one of the most important key outcomes to assess whether people benefit from interventions aimed to improve their mental health. Functioning refers to how well na individual can complete the tasks and demands for themselves, their family, and their community which are required by them depending on the setting and the culture they live in (e.g. task of cooking and cleaning for women in some cultures). Functioning is highly dependent on culture. Therefore, it has been recommended to develop culture-specific measures of function. Developing instruments locally avoids the problems of limited local relevance and appropriateness associate with adapting western instruments. Although each instrument created in this way is culturally bound, they are “cross cultural” in the sense that each refers to the tasks most important to local people. This approach proves useful for both researchers and aid agencies working in non-western countries. This study describes International Medical Corps’ (IMC) work in Lebanon to create and validate a culture and gender specific functioning questionnaire to assess improvements in people who received treatment interventions for mental health problems at the primary health care (PHC) level. Method. The measure was developed using a method that is an alternative to the existing approach of adapting western function instruments to other cultures and situations; an approach which has been demonstrated as rapid, feasible and which can yield valid and reliable instruments. Function was assessed by first asking local people what tasks are important to care for themselves, their family and their community using free listing, then using these tasks as the basis for a culturally valid function assessment instrument. Community specific function questionnaires based on these tasks were then created, and field-tested for validity using content, face and construct validity methods, and also field tested for reliability using inter-rater and test retest reliability methods. Results. The study resulted in the creation and validation of a culture and gender specific functioning questionnaire that would effectively measure the ability to do tasks important to daily existence, as part of assessing client level outcomes where PHC providers were trained in the identification, management and referral of people with mental health problems in Lebanon. Conclusion. The paper describes a successful pilot for developing culture and gender specific functioning questionnaires that evaluate client level outcomes as part of a more comprehensive system for monitoring and evaluation of community based case management supports and services.

Diving into the depth of primary motor cortex: a high-resolution investigation of the motor system using 7Tesla fMRI

Dissertação para a obtenção do Grau de Mestre em Engenharia Biomédica

Creation of a web application for smart park system and parking prediction study for system integration

In the last few years, we have observed an exponential increasing of the information systems, and parking information is one more example of them. The needs of obtaining reliable and updated information of parking slots availability are very important in the goal of traffic reduction. Also parking slot prediction is a new topic that has already started to be applied. San Francisco in America and Santander in Spain are examples of such projects carried out to obtain this kind of information. The aim of this thesis is the study and evaluation of methodologies for parking slot prediction and the integration in a web application, where all kind of users will be able to know the current parking status and also future status according to parking model predictions. The source of the data is ancillary in this work but it needs to be understood anyway to understand the parking behaviour. Actually, there are many modelling techniques used for this purpose such as time series analysis, decision trees, neural networks and clustering. In this work, the author explains the best techniques at this work, analyzes the result and points out the advantages and disadvantages of each one. The model will learn the periodic and seasonal patterns of the parking status behaviour, and with this knowledge it can predict future status values given a date. The data used comes from the Smart Park Ontinyent and it is about parking occupancy status together with timestamps and it is stored in a database. After data acquisition, data analysis and pre-processing was needed for model implementations. The first test done was with the boosting ensemble classifier, employed over a set of decision trees, created with C5.0 algorithm from a set of training samples, to assign a prediction value to each object. In addition to the predictions, this work has got measurements error that indicates the reliability of the outcome predictions being correct. The second test was done using the function fitting seasonal exponential smoothing tbats model. Finally as the last test, it has been tried a model that is actually a combination of the previous two models, just to see the result of this combination. The results were quite good for all of them, having error averages of 6.2, 6.6 and 5.4 in vacancies predictions for the three models respectively. This means from a parking of 47 places a 10% average error in parking slot predictions. This result could be even better with longer data available. In order to make this kind of information visible and reachable from everyone having a device with internet connection, a web application was made for this purpose. Beside the data displaying, this application also offers different functions to improve the task of searching for parking. The new functions, apart from parking prediction, were: - Park distances from user location. It provides all the distances to user current location to the different parks in the city. - Geocoding. The service for matching a literal description or an address to a concrete location. - Geolocation. The service for positioning the user. - Parking list panel. This is not a service neither a function, is just a better visualization and better handling of the information.

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