Implementação de um modelo de geometric semantic genetic programming para aplicação naval

Recaí sob a responsabilidade da Marinha Portuguesa a gestão da Zona Económica Exclusiva de Portugal, assegurando a sua segurança da mesma face a atividades criminosas. Para auxiliar a tarefa, é utilizado o sistema Oversee, utilizado para monitorizar a posição de todas as embarcações presentes na área afeta, permitindo a rápida intervenção da Marinha Portuguesa quando e onde necessário. No entanto, o sistema necessita de transmissões periódicas constantes originadas nas embarcações para operar corretamente – casos as transmissões sejam interrompidas, deliberada ou acidentalmente, o sistema deixa de conseguir localizar embarcações, dificultando a intervenção da Marinha. A fim de colmatar esta falha, é proposto adicionar ao sistema Oversee a capacidade de prever as posições futuras de uma embarcação com base no seu trajeto até à cessação das transmissões. Tendo em conta os grandes volumes de dados gerados pelo sistema (históricos de posições), a área de Inteligência Artificial apresenta uma possível solução para este problema. Atendendo às necessidades de resposta rápida do problema abordado, o algoritmo de Geometric Semantic Genetic Programming baseado em referências de Vanneschi et al. apresenta-se como uma possível solução, tendo já produzido bons resultados em problemas semelhantes. O presente trabalho de tese pretende integrar o algoritmo de Geometric Semantic Genetic Programming desenvolvido com o sistema Oversee, a fim de lhe conceder capacidades preditivas. Adicionalmente, será realizado um processo de análise de desempenho a fim de determinar qual a ideal parametrização do algoritmo. Pretende-se com esta tese fornecer à Marinha Portuguesa uma ferramenta capaz de auxiliar o controlo da Zona Económica Exclusiva Portuguesa, permitindo a correta intervenção da Marinha em casos onde o atual sistema não conseguiria determinar a correta posição da embarcação em questão.

Non emergency patients transport - a mixed integer linear programming

This work presents a model and a heuristic to solve the non-emergency patients transport (NEPT) service issues given the new rules recently established in Portugal. The model follows the same principle of the Team Orienteering Problem by selecting the patients to be included in the routes attending the maximum reduction in costs when compared with individual transportation. This model establishes the best sets of patients to be transported together. The model was implemented in AMPL and a compact formulation was solved using NEOS Server. A heuristic procedure based on iteratively solving problems with one vehicle was presented, and this heuristic provides good results in terms of accuracy and computation time.

Logic programming and artificial neural networks in breast cancer detection

About 90% of breast cancers do not cause or are capable of producing death if detected at an early stage and treated properly. Indeed, it is still not known a specific cause for the illness. It may be not only a beginning, but also a set of associations that will determine the onset of the disease. Undeniably, there are some factors that seem to be associated with the boosted risk of the malady. Pondering the present study, different breast cancer risk assessment models where considered. It is our intention to develop a hybrid decision support system under a formal framework based on Logic Programming for knowledge representation and reasoning, complemented with an approach to computing centered on Artificial Neural Networks, to evaluate the risk of developing breast cancer and the respective Degree-of-Confidence that one has on such a happening.

Form tutors in the joint teaching of music: perspectives and experiences

In the Portuguese school system, form tutors (FTs) are an intermediate education management structure. The form tutor is responsible for a position of coordination and orientation with a «threefold function»: a relationship with students, relationship with the student’s family and relationship with other class teachers. The joint teaching of music is a part of the educational system in basic education. It is optional and provides musical and instrumental training to students who are interested in taking it. In order to achieve this, there is a system, subject to protocols, between general education schools and schools specializing in teaching music. There is also the position of FT in specialized schools and it also includes a «threefold function». However, these FTs have the additional role of representing music teachers at the class council, which is held at the general education school. Thus, in these cases, both FTs have a fourth joint area, between the music school and the general education school, which makes the relationship between them even more complex. This paper is based on the analysis of empirical data obtained from the testimonies of FTs regarding their representations and experiences in leadership and the coordination of teachers among schools in which there is a joint teaching system. The aim of collecting narratives is to look into some of the main challenges and confrontations related to leadership issues, which we assume to be the focus of those who have the role of form tutor in that specific context.

The music of language: an ERP investigation of the effects of musical training on emotional prosody processing

Recent studies have demonstrated the positive effects of musical training on the perception of vocally expressed emotion. This study investigated the effects of musical training on event-related potential (ERP) correlates of emotional prosody processing. Fourteen musicians and fourteen control subjects listened to 228 sentences with neutral semantic content, differing in prosody (one third with neutral, one third with happy and one third with angry intonation), with intelligible semantic content (semantic content condition--SCC) and unintelligible semantic content (pure prosody condition--PPC). Reduced P50 amplitude was found in musicians. A difference between SCC and PPC conditions was found in P50 and N100 amplitude in non-musicians only, and in P200 amplitude in musicians only. Furthermore, musicians were more accurate in recognizing angry prosody in PPC sentences. These findings suggest that auditory expertise characterizing extensive musical training may impact different stages of vocal emotional processing.

A radiodifusão no Brasil e em Portugal e a invasão dos brasucas: uma nova linguagem

Tese de Doutoramento em Ciências da Comunicação (área de especialização em Sociologia da Comunicação e da Informação).

Towards the design and implementation of aspect-oriented programming for spreadsheets

A spreadsheet usually starts as a simple and singleuser software artifact, but, as frequent as in other software systems, quickly evolves into a complex system developed by many actors. Often, different users work on different aspects of the same spreadsheet: while a secretary may be only involved in adding plain data to the spreadsheet, an accountant may define new business rules, while an engineer may need to adapt the spreadsheet content so it can be used by other software systems.Unfortunately,spreadsheetsystemsdonotoffermodular mechanisms, and as a consequence, some of the previous tasks may be defined by adding intrusive “code” to the spreadsheet. In this paper we go through the design and implementation of an aspect-oriented language for spreadsheets so that users can work on different aspects of a spreadsheet in a modular way. For example, aspects can be defined in order to introduce new business rules to an existing spreadsheet, or to manipulate the spreadsheet data to be ported to another system. Aspects are defined as aspect-oriented program specifications that are dynamically woven into the underlying spreadsheet by an aspect weaver. In this aspect-oriented style of spreadsheet development, differentusers develop,orreuse,aspects withoutaddingintrusive code to the original spreadsheet. Such code is added/executed by the spreadsheet weaving mechanism proposed in this paper.

Metaphorisms in programming

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.

Application of receptive music therapy in internal medicine and cardiology

OBJECTIVE: To investigate the effects of receptive music therapy in clinical practice. METHODS: Receptive music therapy was individually applied via musical auditions, including five stages: musical stimulation, sensation, situation, reflection, and behavioral alteration. Following anamnesis and obtainment of consent, patients answered a first questionnaire on health risk evaluation (Q1), and after participating in 16 weekly music therapy sessions, answered a second one (Q2). RESULTS: Two men and 8 women, aged above 18 years, referred to us due to symptoms of stress, emotional suffering, and the need to change lifestyles (health risk behavior) were studied between August 1998 and December 1999. Comparison between answers to Q1 and Q2, showed a trend (P=0.059) for reduction of ingestion of cholesterol-rich foods and for increased prospects in life with a tendency towards improvement, and also of increased intake of fiber-rich food (55.6%), increased levels of personal satisfaction (44.5%), and decreased levels of stress (66.7%). CONCLUSION: The study demonstrated decreased stress levels and increased personal satisfaction, higher consumption of fiber-rich food, lower cholesterol intake, and a better perspective on life, suggesting that receptive music therapy may be applied in clinical practice as an auxiliary therapeutic intervention for the treatment of behavioral health risks.

Adaptive methods for user-centered organization of music collections

Zugl.: Magdeburg, Univ., Fak. für Informatik, Diss., 2011

Music and health in Kenya : sound, spirituality and altered consciousness juxtaposed with emotions

Music and Healing, African Music, Music therapy, Healing Rituals, Kenyan Music

The Tinguian; social, religious, and economic life of a Philippine tribe / by Fay-Cooper Cole -- with a chapter on music by Albert Gale, 83 plates and 26 text-figures -- Berthold Laufer --

v.14:no.2(1922)

Ràdio participativa amb difusió per Internet

Aquesta memòria reuneix una explicació del treball que s'ha dut a terme per a desenvolupar el projecte final de carrera. Aquest tracta d'implementar una ràdio musical que s'emet per Internet però amb la característica d'ésser una ràdio que decideixi la programació musical en funció de la seva audiència. Per a realitzar això es distingiran dos tipus d'usuaris: els oients i els gestors de la ràdio musical. El gestors de la ràdio tindran la responsabilitat d'alimentar de música la ràdio, etiquetar i classificar aquesta música perquè la ràdio estableixi criteris de similitud entre cançons. Els oients seran responsables d'opinar sobre les cançons que emet la ràdio, si els agrada o desagrada, per guiar la ràdio cap al gust musical del propi oient. La complexitat està en què no es tracta d'una ràdio musical amb un sol oient sinó que hi ha diferents oients i s'haurà de saber gestionar correctament els gustos dispersos dels oients. En el present document recullim tots els treballs realitzats, l'anàlisis formal del problema, l'explicació de la solució proposada i com hem realitzat aquesta solució.

Towards an emotion-driven interactive music system: ridging the gaps between affect, physiology and sound generation

Report for the scientific sojourn at the Stanford University from January until June 2007. Music is well known for affecting human emotional states, yet the relationship between specific musical parameters and emotional responses is still not clear. With the advent of new human-computer interaction (HCI) technologies, it is now possible to derive emotion-related information from physiological data and use it as an input to interactive music systems. Providing such implicit musical HCI will be highly relevant for a number of applications including music therapy, diagnosis, nteractive gaming, and physiologically-based musical instruments. A key question in such physiology-based compositions is how sound synthesis parameters can be mapped to emotional states of valence and arousal. We used both verbal and heart rate responses to evaluate the affective power of five musical parameters. Our results show that a significant correlation exists between heart rate and the subjective evaluation of well-defined musical parameters. Brightness and loudness showed to be arousing parameters on subjective scale while harmonicity and even partial attenuation factor resulted in heart rate changes typically associated to valence. This demonstrates that a rational approach to designing emotion-driven music systems for our public installations and music therapy applications is possible.

Nondictatorial Arrovian Social Welfare Functions: An Integer Programming Approach

In the line opened by Kalai and Muller (1997), we explore new conditions on prefernce domains which make it possible to avoid Arrow's impossibility result. In our main theorem, we provide a complete characterization of the domains admitting nondictorial Arrovian social welfare functions with ties (i.e. including indifference in the range) by introducing a notion of strict decomposability. In the proof, we use integer programming tools, following an approach first applied to social choice theory by Sethuraman, Teo and Vohra ((2003), (2006)). In order to obtain a representation of Arrovian social welfare functions whose range can include indifference, we generalize Sethuraman et al.'s work and specify integer programs in which variables are allowed to assume values in the set {0, 1/2, 1}: indeed, we show that, there exists a one-to-one correspondence between solutions of an integer program defined on this set and the set of all Arrovian social welfare functions - without restrictions on the range.