On the development of a test-bed application for the ART-WiSe architecture

The ART-WiSe (Architecture for Real-Time communications in Wireless Sensor Networks) framework aims at the design of new communication architectures and mechanisms for time-sensitive Wireless Sensor Networks (WSNs). We adopted a two-tiered architecture where an overlay Wireless Local Area Network (Tier 2) serves as a backbone for a WSN (Tier 1), relying on existing standard communication protocols and commercial-off-the-shell (COTS) technologies – IEEE 802.15.4/ZigBee for Tier 1 and IEEE 802.11 for Tier 2. In this line, a test-bed application is being developed for assessing, validating and demonstrating the ART-WiSe architecture. A pursuit-evasion application was chosen since it fulfils a number of requirements, namely it is feasible and appealing and imposes some stress to the architecture in terms of timeliness. To develop the testbed based on the previously referred technologies, an implementation of the IEEE 8021.5.4/ZigBee protocols is being carried out, since there is no open source available to the community. This paper highlights some relevant aspects of the ART-WiSe architecture, provides some intuition on the protocol stack implementation and presents a general view over the envisaged test-bed application.

Corre mãe! Corre!: trabalho de projecto

Trabalho de Projeto submetido à Escola Superior de Teatro e Cinema para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teatro - especialização em Teatro do Movimento.

Educar para o regresso a casa após o transplante hepático

RESUMO: Em cuidados de saúde diferenciados, a promoção da saúde e as actividades de educação para a saúde são indispensáveis à capacitação individual, habilitando a pessoa a prevenir complicações da sua patologia e a agir no sentido de exercerem um maior controlo sobre a sua própria saúde para a obtenção de ganhos em saúde. Com esta investigação pretendeu-se analisar a satisfação da pessoa transplantada hepática sobre os cuidados de enfermagem prestados, no âmbito da educação para a saúde e identificar dimensões que influenciaram a percepção e experiência da pessoa, face à preparação do regresso a casa. Foi realizado um estudo descritivo, transversal, de abordagem de investigação mista e exploratório, com orientação quantitativa e qualitativa, num movimento dedutivo-indutivo, baseado numa amostra de conveniência de 75 pessoas transplantadas hepáticas do Hospital de Curry Cabral. Os resultados foram analisados no âmbito da problemática em estudo, baseada na estrutura do movimento metodológico, ao nível das expectativas, experiência e percepção da satisfação da pessoa transplantada hepática. Neste estudo, salienta-se que os factores do domínio sócio-demográfico que influenciaram as expectativas são a idade e o tempo de internamento, assim como as experiências anteriores influenciaram a forma como a pessoa transplantada hepática recebeu as informações nesse internamento. As pessoas submetidas a transplante hepático, inquiridas neste estudo, afirmaram, em termos globais, que os cuidados de enfermagem recebidos durante o internamento, no âmbito da educação para a saúde, para o regresso a casa foram “Bons/Muito Bons” e “Razoáveis”. As expectativas, experiências anteriores, experiência com os cuidados de enfermagem e as percepções sobre os cuidados de enfermagem e a preparação para o regresso a casa são, neste contexto, reconhecidas como influenciadoras da satisfação com os cuidados de enfermagem. É imprescindível, portanto, que as actividades de educação para a saúde desenvolvidas pelos enfermeiros, usando a sua autonomia, contribuam para enfatizar o cuidar profissional em enfermagem, dando visibilidade à sua intervenção com a pessoa e/ou família no regresso a casa. SUMMARY: In differentiated healthcare, the promotion of health and health education activities are indispensable for personal empowerment, preparing the individual to prevent complications of his own disease, exercising a greater control over his own health, resulting in global health gains. This investigation was intended to analyse the satisfaction of liver transplant patients about the nursing care given, concerning health education, as well as to try and identify aspects that influenced the patient’s perception and experience when dealing with the preparation of returning home. The study was descriptive, with a mixed approach of exploratory and mixed inquiry, with qualitative and quantitative orientation, in a deductive-inductive direction. The population integrated a convenience sample of 75 liver transplant patients admitted at the Curry Cabral Hospital. The results were analysed according to the objectives, based on the methodological movement structure, level of expectations, experience and perception of the patient’s satisfaction. This study draws attention to the fact that demographic factors such as age and hospitalisation time influenced expectations, as well as previous experiences influenced the manner in which these patients received information during their hospital stay. The patients submitted to liver transplant, questioned in this study, affirmed, in a global manner, that nursing care given during admission, concerning health education for returning home were "Good/Very Good" and "Reasonable". Expectations, previous experiences, experience with and perceptions about nursing care as well as hospital discharge preparation were in this context, recognized as influences on the satisfaction of nursing care given. It is indispensable, therefore, that activities related to health education autonomously developed by nurses, contribute to emphasize the professional role of nursing care, highlighting the nurse’s intervention with the patient and/or family when returning home.

A gestão do risco de liquidez e a concessão de crédito durante os períodos de crise

Dissertação de Mestrado Apresentada ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças, sob orientação do Doutor Mário Joel Matos Veiga de Oliveira Queirós.

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.

Impact of mobile app user acquisition on managerial decisions: Evidence from empirical experiment

In this research we conducted a mixed research, using qualitative and quantitative analysis to study the relationship and impact between mobile advertisement and mobile app user acquisition and the conclusions companies can derive from it. Data was gathered from management of mobile advertisement campaigns of a portfolio of three different mobile apps. We found that a number of implications can be extracted from this intersection, namely to product development, internationalisation and management of marketing budget. We propose further research on alternative app users sources, impact of revenue on apps and exploitation of product segments: wearable technology and Internet of Things.

Las reformas de las universidades ibéricas en la segunda mitad del siglo XVIII

Bajo los auspicios reformadores del Marqués de Pombal, los nuevos estatutos de la Universidad de Coimbra, ratificados por el rey José I en junio de 1772, representaron una importante revisión de los principales estudios en Portugal. Hacia un largo tiempo que los Estatutos de la Universidad de Coimbra no fueron revisados, y la revisión de los Estatutos de 1559 (rey Sebastián), 1591 (el rey Felipe I de Portugal, II de Castilla) y 1653 (rey João IV), se observa que, en comparación con más de dos siglos de vigencia del mismo modelo con modificaciones más o menos limitados, los Estatutos de 1772 traen un nuevo pensamiento y un nuevo impulso mediante la promoción, en particular, de la educación y el desarrollo de las Ciencias exactas y naturales y la valoración del método experimental. Al mismo tiempo, en España, el rey Carlos III, renuncia a imponer un único modelo de estudios de todas las universidades. En ambos casos, el portugués y el español, la urgencia de las reformas es mas aguda pues que los jesuitas fueron expulsados de los territorios en 1759 y 1767, respectivamente; y tanto precursores como mentores quieren estas reformas para abrir las universidades a la ciencia moderna y el humanismo de la Ilustración. La renovación de los contenidos y métodos de enseñanza en Coimbra fue notoria, con la preocupación notable con la investigación, lo que no era muy común en la época. Había también una preocupación con las necesidades de la sociedad en una forma muy práctica (habiendo sido en la época construido el Observatorio Astronómico, el Laboratorio de Física, etc.). Al mismo tempo, la universidad de Coimbra tuvo como profesores dos matemáticos notables, José Anastácio da Cunha y José Monteiro da Rocha. En España también fueron importantes los ensayos de renovación de los métodos, de apertura a la ciencia de la época, de conexión con las realidades de la sociedad española, de coordinación de esfuerzos para conformar una «comunidad universitaria española». En esta comunicación se hace una discusión de comparación entre las dos reformas ibéricas.

A violência entre pares na adolescência: desenvolvimento e implementação de um programa de prevenção

Tese de Doutoramento em Psicologia (área de especialização em Psicologia da Justiça).

A perceção dos alunos de ciências económicas e empresariais sobre a profissão de contabilista e de auditor

Dissertação de mestrado em Contabilidade

Intervenção precoce na perturbação do espetro do autismo: preocupações e apoios das famílias

Dissertação de mestrado em Educação Especial (área de especialização em Intervenção Precoce)

Os sentidos da educação religiosa na construção do eu contemporâneo: espiritualidades juvenis

Dissertação de mestrado em Ciências da Educação (área de especialização em Sociologia da Educação e Políticas Educativas)

Bases para o estudo da genética de populações dos Hymenoptera em geral e dos Apinae sociais em particular

This paper deals with problems on population genetics in Hymenoptera and particularly in social Apidae. 1) The studies on populations of Hymenoptera were made according to the two basic types of reproduction: endogamy and panmixia. The populations of social Apinae have a mixed method of reproduction with higher percentage of panmixia and a lower of endogamy. This is shown by the following a) males can enter any hive in swarming time; b) males of Meliponini are expelled from hives which does not need them, and thus, are forced to look for some other place; c) Meliponini males were seen powdering themselves with pollen, thus becoming more acceptable in any other hive. The panmixia is not complete owing to the fact that the density of the breeding population as very low, even in the more frequent species as low as about 2 females and 160 males per reproductive area. We adopted as selection values (or survival indices) the expressions according to Brieger (1948,1950) which may be summarised as follows; a population: p2AA + ²pq Aa + q2aa became after selection: x p2AA + 2pq Aa + z q²aa. For alge-braics facilities Brieger divided the three selective values by y giving thus: x/y p2 AA + y/y 2 pq Aa + z/y q²aa. He called x/y of RA and z/y of Ra, that are survival or selective index, calculated in relation to the heterozygote. In our case all index were calculated in relation to the heterozygote, including the ones for haploid males; thus we have: RA surveval index of genotype AA Ra surveval index of genotype aa R'A surveval index of genotype A R'a surveval index of genotype a 1 surveval index of genotype Aa The index R'A ande R'a were equalized to RA and Ra, respectively, for facilities in the conclusions. 2) Panmitic populations of Hymenoptera, barring mutations, migrations and selection, should follow the Hardy-Weinberg law, thus all gens will be present in the population in the inicial frequency (see Graphifc 1). 3) Heterotic genes: If mutation for heterotic gene ( 1 > RA > Ra) occurs, an equilibrium will be reached in a population when: P = R A + Ra - 2R²a _____________ (9) 2(R A + Ra - R²A - R²a q = R A + Ra - 2R²A _____________ (10) 2(R A + Ra - R²A - R²a A heterotic gene in an hymenopteran population may be maintained without the aid of new mutation only if the survival index of the most viable mutant (RA) does not exced the limiting value given by the formula: R A = 1 + √1+Ra _________ 4 If RA has a value higher thah the one permitted by the formula, then only the more viable gene will remain present in the population (see Graphic 10). The only direct proof for heterotic genes in Hymenoptera was given by Mackensen and Roberts, who obtained offspring from Apis mellefera L. queens fertilized by their own sons. Such inbreeding resulted in a rapid loss of vigor the colony; inbred lines intercrossed gave a high hybrid vigor. Other fats correlated with the "heterosis" problem are; a) In a colony M. quadrifasciata Lep., which suffered severely from heat, the percentage of deths omong males was greater .than among females; b) Casteel and Phillips had shown that in their samples (Apis melifera L). the males had 7 times more abnormalities tian the workers (see Quadros IV to VIII); c) just after emerging the males have great variation, but the older ones show a variation equal to that of workers; d) The tongue lenght of males of Apis mellifera L., of Bombus rubicundus Smith (Quadro X), of Melipona marginata Lep. (Quadro XI), and of Melipona quadrifasciata Lep. Quadro IX, show greater variationthan that of workers of the respective species. If such variation were only caused by subviables genes a rapid increasse of homozigoty for the most viable alleles should be expected; then, these .wild populations, supposed to be in equilibrium, could .not show such variability among males. Thus we conclude that heterotic genes have a grat importance in these cases. 4) By means of mathematical models, we came to the conclusion tht isolating genes (Ra ^ Ra > 1), even in the case of mutations with more adaptability, have only the opor-tunity of survival when the population number is very low (thus the frequency of the gene in the breeding population will be large just after its appearence). A pair of such alleles can only remain present in a population when in border regions of two races or subspecies. For more details see Graphics 5 to 8. 5) Sex-limited genes affecting only females, are of great importance toHymenoptera, being subject to the same limits and formulas as diploid panmitic populations (see formulas 12 and 13). The following examples of these genes were given: a) caste-determining genes in the genus Melipona; b) genes permiting an easy response of females to differences in feeding in almost all social Hymenoptera; c) two genes, found in wild populations, one in Trigona (Plebéia) mosquito F. SMITH (quadro XII) and other in Melipona marginata marginata LEP. (Quadro XIII, colonies 76 and 56) showing sex-limited effects. Sex-limited genes affecting only males do not contribute to the plasticity or genie reserve in hymenopteran populations (see formula 14). 6) The factor time (life span) in Hymenoptera has a particular importance for heterotic genes. Supposing one year to be the time unit and a pair of heterotic genes with respective survival indice equal to RA = 0, 90 and Ra = 0,70 to be present; then if the life time of a population is either one or two years, only the more viable gene will remain present (see formula 11). If the species has a life time of three years, then both alleles will be maintained. Thus we conclude that in specis with long lif-time, the heterotic genes have more importance, and should be found more easily. 7) The colonies of social Hymenoptera behave as units in competition, thus in the studies of populations one must determine the survival index, of these units which may be subdivided in indice for egg-laying, for adaptive value of the queen, for working capacity of workers, etc. 8) A study of endogamic hymenopteran populations, reproduced by sister x brother mating (fig. 2), lead us to the following conclusions: a) without selection, a population, heterozygous for one pair of alleles, will consist after some generations (theoretically after an infinite number of generation) of females AA fecundated with males A and females aa fecundated with males a (see Quadro I). b) Even in endogamic population there is the theoretical possibility of the presence of heterotic genes, at equilibrium without the aid of new mutations (see Graphics 11 and 12), but the following! conditions must be satisfied: I - surveval index of both homozygotes (RA e Ra) should be below 0,75 (see Graphic 13); II - The most viable allele must riot exced the less viable one by more than is permited by the following formula (Pimentel Gomes 1950) (see Gra-fic 14) : 4 R5A + 8 Ra R4A - 4 Ra R³A (Ra - 1) R²A - - R²a (4 R²a + 4 Ra - 1) R A + 2 R³a < o Considering these two conditions, the existance of heterotic genes in endogamic populations of Hymenoptera \>ecames very improbable though not - impossible. 9) Genie mutation offects more hymenopteran than diploid populations. Thus we have for lethal genes in diploid populations: u = q2, and in Hymenoptera: u = s, being u the mutation ratio and s the frequency of the mutant in the male population. 10) Three factors, important to competition among species of Meliponini were analysed: flying capacity of workers, food gathering capacity of workers, egg-laying of the queen. In this connection we refer to the variability of the tongue lenght observed in colonies from several localites, to the method of transporting the pollen in the stomach, from some pots (Melliponi-ni storage alveolus) to others (e. g. in cases of pillage), and to the observation that the species with the most populous hives are almost always the most frequent ones also. 11) Several defensive ways used for Meliponini to avoid predation are cited, but special references are made upon the camouflage of both hive (fig. 5) and hive entrance (fig. 4) and on the mimetism (see list in page ). Also under the same heading we described the method of Lestrimelitta for pillage. 12) As mechanisms important for promoting genetic plasticity of hymenopteran species we cited: a) cytological variations and b) genie reserve. As to the former, duplications and numerical variations of chromosomes were studied. Diprion simile ATC was cited as example for polyploidy. Apis mellife-ra L. (n •= 16) also sugests polyploid origen since: a) The genus Melipona, which belongs to a" related tribe, presents in all species so far studied n = 9 chromosomes and b) there occurs formation of dyads in the firt spermatocyte division. It is su-gested that the origin of the sex-chromosome of Apis mellifera It. may be related to the possible origin of diplo-tetraploidy in this species. With regards to the genie reserve, several possible types of mutants were discussed. They were classified according to their survival indices; the heterotic and neutral mutants must be considered as more important for the genie reserve. 13) The mean radius from a mother to a daghter colony was estimated as 100 meters. Since the Meliponini hives swarm only once a year we may take 100 meters a year as the average dispersion of female Meliponini in ocordance to data obtained from Trigona (tetragonisca) jaty F. SMITH and Melipona marginata LEP., while other species may give different values. For males the flying distance was roughly estimated to be 10 times that for females. A review of the bibliography on Meliponini swarm was made (pg. 43 to 47) and new facts added. The population desity (breeding population) corresponds in may species of Meliponini to one male and one female per 10.000 square meters. Apparently the males are more frequent than the females, because there are sometimes many thousands, of males in a swarm; but for the genie frequency the individuals which have descendants are the ones computed. In the case of Apini and Meliponini, only one queen per hive and the males represented by. the spermatozoos in its spermateca are computed. In Meliponini only one male mate with the queen, while queens of Apis mellijera L. are fecundated by an average of about 1, 5 males. (Roberts, 1944). From the date cited, one clearly sees that, on the whole, populations of wild social bees (Meliponini) are so small that the Sewall Wright effect may become of great importance. In fact applying the Wright's formula: f = ( 1/aN♂ + 1/aN♀) (1 - 1/aN♂ + 1/aN♀) which measures the fixation and loss of genes per generation, we see that the fixation or loss of genes is of about 7% in the more frequent species, and rarer species about 11%. The variation in size, tergite color, background color, etc, of Melipona marginata Lep. is atributed to this genetic drift. A detail, important to the survival of Meliponini species, is the Constance of their breeding population. This Constance is due to the social organization, i. e., to the care given to the reproductive individuals (the queen with its sperm pack), to the way of swarming, to the food storage intended to control variations of feeding supply, etc. 14) Some species of the Meliponini are adapted to various ecological conditions and inhabit large geographical areas (e. g. T. (Tetragonisca jaty F. SMITH), and Trigona (Nanno-trigona testaceicornis LEP.) while others are limited to narrow regions with special ecological conditions (e. g. M. fuscata me-lanoventer SCHWARZ). Other species still, within the same geographical region, profit different ecological conditions, as do M. marginata LEP. and M. quadrifasciata LEP. The geographical distribution of Melipona quadrifasciata LEP. is different according to the subspecies: a) subsp anthidio-des LEP. (represented in Fig. 7 by black squares) inhabits a region fron the North of the S. Paulo State to Northeastern Brazil, ,b) subspecies quadrifasciata LEP., (marked in Fig. 7 with black triangles) accurs from the South of S. Paulo State to the middle of the State of Rio Grande do Sul (South Brazil). In the margined region between these two areas of distribution, hi-brid colonies were found (Fig. 7, white circles); they are shown with more details in fig. 8, while the zone of hybridization is roughly indicated in fig. 9 (gray zone). The subspecies quadrifasciata LEP., has 4 complete yellow bands on the abdominal tergites while anthidioides LEP. has interrupted ones. This character is determined by one or two genes and gives different adaptative properties to the subspecies. Figs. 10 shows certains meteorological isoclines which have aproximately the same configuration as the limits of the hybrid zone, suggesting different climatic adaptabilities for both genotypes. The exis-tance of a border zone between the areas of both subspecies, where were found a high frequency of hybrids, is explained as follows: being each subspecies adapted to a special climatic zone, we may suppose a poor adaptation of either one in the border region, which is also a region of intermediate climatic conditions. Thus, the hybrids, having a combination of the parent qualities, will be best adapted to the transition zone. Thus, the hybrids will become heterotic and an equilibrium will be reached with all genotypes present in the population in the border region.

L'ampolla sostenible

Treball de recerca realitzat per un alumne d'ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit cientí­fic del Jovent l'any 2009. El treball consisteix en una recerca per aconseguir dissenyar l'ampolla més sostenible i ecoeficient possible. A partir d'una prèvia investigació sobre informació bàsica pel disseny, s'han anat augmentant els coneixements sobre envasos plàstics gràcies a consells com els d'un dissenyador d'envasos i d'una empresa que treballa amb plàstics, als resultats d'una enquesta als consumidors d'ampolles i a les conclusions d'un estudi de mercat sobre les ampolles de plàstic. L'ampolla sostenible dissenyada és el resultat d'aquest intens treball, que s'ha basat sobretot en la imaginació i en la creació.

Planta pilot d'una potabilitzadora

Treball de recerca realitzat per alumnes d'ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit científic del Jovent l'any 2009. El treball ha consistit en dissenyar i construir una planta pilot d'una potabilitzadora que simulés el funcionament de les plantes potabilitzadores, basada en els mateixos principis . La Planta pilot de la potabilitzadora consta de les següents operacions: desbast, floculació, decantació, filtració de sorra, aireació, filtració de carbó actiu i desinfecció. La mostra utilitzada per la potabilització s’ha obtingut de l’embassament del Pasteral, lloc on la planta potabilitzadora de Girona capta l’aigua. Una vegada potabilitzada s’han realitzat una sèrie d’anàlisis tant a l’entrada com a la sortida, per determinar la variació obtinguda en diferents paràmetres del procés. Els tipus d’anàlisis realitzats són: fisicoquímics, microbiològics i organolèptics. Finalment, s’ha realitzat una comparació amb la potabilitzadora de Girona i s’ha verificat mitjançant els paràmetres de la normativa de l’aigua l'estat de la mostra.

La Docencia Universitaria : su saber pedagógico desde distintas áreas del conocimiento : un estudio de casos con docentes de la Universidad de Barcelona

La formación investigadora en las distintas áreas del conocimiento es una desafío, una responsabilidad y una proyección para aquellas sociedades que busquen el desarrollo equilibrado y sostenible para el conjunto de sus ciudadanos. La investigación y la construcción del conociminento en los distintos campos del saber es el motor de cualquier región, o país. La memoria que aquí se expone refleja por un lado el proceso de formación de una investigadora novel en el área educativa, en el marco del programa de doctorado "“Diversidad y Cambio en Educació: Políticas y Prácticas" del Departamento de Didáctica y Organización Educativa, de la Universidad de Barcelona. Específicamente el área de investigación es la docencia universitaria y la consturcción de su conocimiento. A través de ella se revelan los distintos engranajes que van conformando el proceso formación. Además, por otro lado se presentan los puntos más relevantes del proyecto y del proceso de investigación, denominado "La Docencia Universitaria: su saber pedagógico desde distintas áreas del conocimiento. Un estudio de casos con docentes de la Universidad de Barcelona.