Dynalog: an automated dynamic analysis framework for characterizing android applications

Android is becoming ubiquitous and currently has the largest share of the mobile OS market with billions of application downloads from the official app market. It has also become the platform most targeted by mobile malware that are becoming more sophisticated to evade state-of-the-art detection approaches. Many Android malware families employ obfuscation techniques in order to avoid detection and this may defeat static analysis based approaches. Dynamic analysis on the other hand may be used to overcome this limitation. Hence in this paper we propose DynaLog, a dynamic analysis based framework for characterizing Android applications. The framework provides the capability to analyse the behaviour of applications based on an extensive number of dynamic features. It provides an automated platform for mass analysis and characterization of apps that is useful for quickly identifying and isolating malicious applications. The DynaLog framework leverages existing open source tools to extract and log high level behaviours, API calls, and critical events that can be used to explore the characteristics of an application, thus providing an extensible dynamic analysis platform for detecting Android malware. DynaLog is evaluated using real malware samples and clean applications demonstrating its capabilities for effective analysis and detection of malicious applications.

A mãe nas ações de acompanhamento do crescimento e desenvolvimento infantil

ARAÚJO, Marluce Oliveira de; ENDERS, Bertha Cruz. A mãe nas ações de acompanhamento do crescimento e desenvolvimento infantil. Revista Baiana de enfermagem, Salvador, v.19,n.1/2/3,p.93-103, jan./dez. 2004, jann./dez.2005.

Espaço Mudança

O “Espaço de Mudança”, projecto gerido pela Santa Casa da Misericórdia do Concelho de Oliveira do Bairro, tem um Programa de Educação Parental (PEP) que funciona por encaminhamento e sinalização de entidades deste Concelho. Neste sentido, o PEP é construído de forma a responder às características e especificidades da população-alvo que atende, não se baseando em nenhum programa- -modelo. Por este motivo, o presente estudo constituiu-se num estudo de caso com o objectivo de avaliar se o PEP está a responder aos fins para os quais foi construído. Neste sentido, incorpora a caracterização e avaliação familiar de cada participante, a avaliação do seu desempenho no decorrer das sessões, a análise de mudanças significativas ao nível das variáveis adaptabilidade e coesão familiar, recursos familiares, coping familiar e suporte social, e também a análise de mudanças nas dificuldades e/ou nos problemas identificados na sinalização. Através deste estudo foi possível verificar que as mulheres participantes do PEP constituem um grupo com baixas qualificações, com percursos de pobreza, sendo beneficiárias da prestação de Rendimento Social de Inserção (RSI), e com problemáticas que se encadeiam e influenciam várias áreas das suas vidas. Contudo, constituem-se num grupo heterogéneo a nível de competências e necessidades. Tidas no seu conjunto, podemos concluir que 4 das 5 participantes tiveram um bom desempenho, concluindo-se que o PEP foi adequado para esta maioria Ao nível das variáveis adaptabilidade e coesão familiar, recursos familiares, coping familiar e suporte social não foram identificadas diferenças estatisticamente significativas ao longo do programa, porém é de realçar que, de forma global, as participantes melhoraram os seus resultados. É ainda possível verificar que o PEP teve um impacte positivo nas mesmas 4 formandas, as quais conseguiram ultrapassar algumas das dificuldades e/ou problemas que motivaram o encaminhamento. Foi possível concluir que o facto de se tratar de um grupo heterogéneo veio trazer ganhos para as participantes, contudo um dos elementos, que tinha uma problemática associada ao alcoolismo, deveria ter sido integrado num grupo com características diferentes, razão pela qual o PEP não se constituiu como uma resposta adequada para este elemento. O estudo revela ainda que o PEP no Espaço Mudança constitui uma mais-valia para colaborar na activação das competências pessoais, sociais e parentais das mães que passam por dificuldades acrescidas, sendo de promover e potenciar este tipo de intervenções construídas a partir das características e necessidades da população-alvo. /

Une étude sur les déterminants biologiques, psychologiques et du travail de l'épuisement professionnel

Cette thèse de doctorat s’intéresse à mieux comprendre, d’une part, ce qui influence la sécrétion de cortisol salivaire, et d’autre part, ce qui influence l’épuisement professionnel. Plusieurs objectifs en découlent. D’abord, elle vise à mieux cerner la contribution des conditions de l’organisation du travail (utilisation des compétences, autorité décisionnelle, demandes psychologiques, demandes physiques, horaire de travail irrégulier, nombre d’heures travaillées, soutien social des collègues, soutien social des superviseurs, insécurité d’emploi) sur la sécrétion de cortisol salivaire, ainsi que le rôle modérateur de certains traits de personnalité (extraversion, agréabilité, névrosisme, conscience, ouverture d’esprit, estime de soi, centre de contrôle) sur la relation entre les conditions de l’organisation du travail et la sécrétion de cortisol salivaire. Par ailleurs, cette thèse vise à établir la contribution des conditions de l’organisation du travail sur l’épuisement professionnel, ainsi que le rôle modérateur des traits de personnalité sur la relation entre les conditions de l’organisation du travail et l’épuisement professionnel. Finalement, cette thèse vise à vérifier si la sécrétion de cortisol salivaire joue un rôle médiateur sur la relation entre les conditions de l’organisation du travail et l’épuisement professionnel, ainsi qu’à identifier les effets de médiation modérés par les traits de personnalité sur la relation entre les conditions de l’organisation du travail et la sécrétion de cortisol salivaire. Ces objectifs sont inspirés de nombreuses limites observées dans la littérature, principalement l’intégration de déterminants à la fois biologiques, psychologiques et du travail dans la compréhension de l’épuisement professionnel. La thèse propose un modèle conceptuel qui tente de savoir comment ces différents stresseurs entraînent une dérégulation de la sécrétion de cortisol dans la salive des travailleurs. Ensuite, ce modèle conceptuel vise à voir si cette dérégulation s’associe à l’épuisement professionnel. Finalement, ce modèle conceptuel cherche à expliquer comment la personnalité peut influencer la manière dont ces variables sont reliées entre elles, c’est-à-dire de voir si la personnalité joue un rôle modérateur. Ce modèle découle de quatre théories particulières, notamment la perspective biologique de Selye (1936). Les travaux de Selye s’orientent sur l’étude de la réaction physiologique d’un organisme soumis à un stresseur. Dans ces circonstances, l’organisme est en perpétuel effort de maintien de son équilibre (homéostasie) et ne tolère que très peu de modifications à cet équilibre. En cas de modifications excessives, une réponse de stress est activée afin d’assurer l’adaptation en maintenant l’équilibre de base de l’organisme. Ensuite, le modèle conceptuel s’appuie sur le modèle de Lazarus et Folkman (1984) qui postule que la réponse de stress dépend plutôt de l’évaluation que font les individus de la situation stressante, et également sur le modèle de Pearlin (1999) qui postule que les individus exposés aux mêmes stresseurs ne sont pas nécessairement affectés de la même manière. Finalement, le modèle conceptuel de cette thèse s’appuie sur le modèle de Marchand (2004) qui postule que les réactions dépendent du décodage que font les acteurs des contraintes et ressources qui les affectent. Diverses hypothèses émergent de cette conceptualisation théorique. La première est que les conditions de l’organisation du travail contribuent directement aux variations de la sécrétion de cortisol salivaire. La deuxième est que les conditions de l’organisation du travail contribuent directement à l’épuisement professionnel. La troisième est que la sécrétion de cortisol salivaire médiatise la relation entre les conditions de l’organisation du travail et l’épuisement professionnel. La quatrième est que la relation entre les conditions de l’organisation du travail et la sécrétion de cortisol salivaire est modérée par les traits de personnalité. La cinquième est que la relation entre les conditions de l’organisation du travail, la sécrétion de cortisol salivaire et l’épuisement professionnel est modérée par les traits de personnalité. Des modèles de régression multiniveaux et des analyses de cheminement de causalité ont été effectués sur un échantillon de travailleurs canadiens provenant de l’étude SALVEO. Les résultats obtenus sont présentés sous forme de trois articles, soumis pour publication, lesquels constituent les chapitres 4 à 6 de cette thèse. Dans l’ensemble, le modèle intégrateur biopsychosocial proposé dans le cadre de cette thèse de doctorat permet de mieux saisir la complexité de l’épuisement professionnel qui trouve une explication biologique, organisationnelle et individuelle. Ce constat permet d’offrir une compréhension élargie et multiniveaux et assure l’avancement des connaissances sur une problématique préoccupante pour les organisations, la société ainsi que pour les travailleurs. Effectivement, la prise en compte des traits de personnalité et de la sécrétion du cortisol salivaire dans l’étude de l’épuisement professionnel assure une analyse intégrée et plus objective. Cette thèse conclue sur les implications de ces résultats pour la recherche, et sur les retombées qui en découlent pour les milieux de travail.

Investigating the effects of caffeine on executive functions using traditional Stroop and a new ecologically-valid virtual reality task, the Jansari assessment of Executive Functions (JEF©)

Objective: Caffeine has been shown to have effects on certain areas of cognition, but in executive functioning the research is limited and also inconsistent. One reason could be the need for a more sensitive measure to detect the effects of caffeine on executive function. This study used a new non-immersive virtual reality assessment of executive functions known as JEF© (the Jansari Assessment of Executive Function) alongside the ‘classic’ Stroop Colour- Word task to assess the effects of a normal dose of caffeinated coffee on executive function. Method: Using a double-blind, counterbalanced within participants procedure 43 participants were administered either a caffeinated or decaffeinated coffee and completed the ‘JEF©’ and Stroop tasks, as well as a subjective mood scale and blood pressure pre- and post condition on two separate occasions a week apart. JEF© yields measures for eight separate aspects of executive functions, in addition to a total average score. Results: Findings indicate that performance was significantly improved on the planning, creative thinking, event-, time- and action-based prospective memory, as well as total JEF© score following caffeinated coffee relative to the decaffeinated coffee. The caffeinated beverage significantly decreased reaction times on the Stroop task, but there was no effect on Stroop interference. Conclusion: The results provide further support for the effects of a caffeinated beverage on cognitive functioning. In particular, it has demonstrated the ability of JEF© to detect the effects of caffeine across a number of executive functioning constructs, which weren’t shown in the Stroop task, suggesting executive functioning improvements as a result of a ‘typical’ dose of caffeine may only be detected by the use of more real-world, ecologically valid tasks.

Exploring social representations of adapting to climate change using topic modeling and Bayesian networks

When something unfamiliar emerges or when something familiar does something unexpected people need to make sense of what is emerging or going on in order to act. Social representations theory suggests how individuals and society make sense of the unfamiliar and hence how the resultant social representations (SRs) cognitively, emotionally, and actively orient people and enable communication. SRs are social constructions that emerge through individual and collective engagement with media and with everyday conversations among people. Recent developments in text analysis techniques, and in particular topic modeling, provide a potentially powerful analytical method to examine the structure and content of SRs using large samples of narrative or text. In this paper I describe the methods and results of applying topic modeling to 660 micronarratives collected from Australian academics / researchers, government employees, and members of the public in 2010-2011. The narrative fragments focused on adaptation to climate change (CC) and hence provide an example of Australian society making sense of an emerging and conflict ridden phenomena. The results of the topic modeling reflect elements of SRs of adaptation to CC that are consistent with findings in the literature as well as being reasonably robust predictors of classes of action in response to CC. Bayesian Network (BN) modeling was used to identify relationships among the topics (SR elements) and in particular to identify relationships among topics, sentiment, and action. Finally the resulting model and topic modeling results are used to highlight differences in the salience of SR elements among social groups. The approach of linking topic modeling and BN modeling offers a new and encouraging approach to analysis for ongoing research on SRs.

Bayesian Methods for Inferring Gene Regulatory Networks

Thesis (Ph.D.)--University of Washington, 2016-08

Elaboração e aplicação de um Programa de Treino de Técnica de Pontas para os alunos do 3º ano de Dança, da Academia de Dança do Vale do Sousa, com vista à preparação de Variações de Repertório Clássico

Relatório Final de Estágio apresentado à Escola Superior de Dança, com vista à obtenção do grau de Mestre em Ensino de Dança.

Ketterän ohjelmistokehittämisen hyödyntäminen käyttöliittymäkehityksessä asiakkaiden todellisen tarpeen ymmärtämiseksi

Työn tavoitteena oli toimintatutkimuksen kautta tutkia ketterän ohjelmistokehityksen keinoin toteutetun käyttöliittymäkehityksen kykyä vastata asiakkaiden todellisiin tarpeisiin. Työssä haettiin tapaustutkimusyritykselle olemassa olevan työkalun uuden version käyttöliittymän toteutusvaihtoehtoja ja toteutettiin korkean tarkkuuden prototyyppejä näitä hyödyntäen. Ketterän ohjelmistokehityksen arvot ja periaatteet soveltuivat kehitysprosessissa käytettäviksi erinomaisesti. Iteratiivinen lähestymistapa kehitykseen ja läheinen yhteistyö tapaustutkimusyrityksen ja kandidaatintyöntekijän kanssa mahdollistivat yrityksen odotusten täyttämisen. Työkalun käyttöliittymä saatettiin tasolle, joka mahdollistaa jatkokehittämisen aloituksen. Kattavamman testauttamisen sisällyttäminen kehitysprosessiin olisi edesauttanut vielä paremman lopputuloksen saavuttamista.

A mãe nas ações de acompanhamento do crescimento e desenvolvimento infantil

ARAÚJO, Marluce Oliveira de; ENDERS, Bertha Cruz. A mãe nas ações de acompanhamento do crescimento e desenvolvimento infantil. Revista Baiana de enfermagem, Salvador, v.19,n.1/2/3,p.93-103, jan./dez. 2004, jann./dez.2005.

Aprender numa relação dialógica sustentada pela ação

Relatório de Estágio apresentado à Escola Superior de Educação de Paula Frassinetti para obtenção de grau Mestre em Educação Pré-Escolar e Ensino 1º ciclo do Ensino Básico.

Docente generalista: complementaridades, diferenças e desafios de dois níveis educativos

Relatório de estágio apresentado à Escola Superior de Educação Paula Frassinetti para obtenção de grau de Mestre em Educação Pré – Escolar e 1º Ciclo do Ensino Básico

Neutrophil Chemotaxis in Multiple Chemoattractant Gradients

Chemotaxis, the phenomenon in which cells move in response to extracellular chemical gradients, plays a prominent role in the mammalian immune response. During this process, a number of chemical signals, called chemoattractants, are produced at or proximal to sites of infection and diffuse into the surrounding tissue. Immune cells sense these chemoattractants and move in the direction where their concentration is greatest, thereby locating the source of attractants and their associated targets. Leading the assault against new infections is a specialized class of leukocytes (white blood cells) known as neutrophils, which normally circulate in the bloodstream. Upon activation, these cells emigrate out of the vasculature and navigate through interstitial tissues toward target sites. There they phagocytose bacteria and release a number of proteases and reactive oxygen intermediates with antimicrobial activity. Neutrophils recruited by infected tissue in vivo are likely confronted by complex chemical environments consisting of a number of different chemoattractant species. These signals may include end target chemicals produced in the vicinity of the infectious agents, and endogenous chemicals released by local host tissues during the inflammatory response. To successfully locate their pathogenic targets within these chemically diverse and heterogeneous settings, activated neutrophils must be capable of distinguishing between the different signals and employing some sort of logic to prioritize among them. This ability to simultaneously process and interpret mulitple signals is thought to be essential for efficient navigation of the cells to target areas. In particular, aberrant cell signaling and defects in this functionality are known to contribute to medical conditions such as chronic inflammation, asthma and rheumatoid arthritis. To elucidate the biomolecular mechanisms underlying the neutrophil response to different chemoattractants, a number of efforts have been made toward understanding how cells respond to different combinations of chemicals. Most notably, recent investigations have shown that in the presence of both end target and endogenous chemoattractant variants, the cells migrate preferentially toward the former type, even in very low relative concentrations of the latter. Interestingly, however, when the cells are exposed to two different endogenous chemical species, they exhibit a combinatorial response in which distant sources are favored over proximal sources. Some additional results also suggest that cells located between two endogenous chemoattractant sources will respond to the vectorial sum of the combined gradients. In the long run, this peculiar behavior could result in oscillatory cell trajectories between the two sources. To further explore the significance of these and other observations, particularly in the context of physiological conditions, we introduce in this work a simplified phenomenological model of neutrophil chemotaxis. In particular, this model incorporates a trait commonly known as directional persistence - the tendency for migrating neutrophils to continue moving in the same direction (much like momentum) - while also accounting for the dose-response characteristics of cells to different chemical species. Simulations based on this model suggest that the efficiency of cell migration in complex chemical environments depends significantly on the degree of directional persistence. In particular, with appropriate values for this parameter, cells can improve their odds of locating end targets by drifting through a network of attractant sources in a loosely-guided fashion. This corroborates the prediction that neutrophils randomly migrate from one chemoattractant source to the next while searching for their end targets. These cells may thus use persistence as a general mechanism to avoid being trapped near sources of endogenous chemoattractants - the mathematical analogue of local maxima in a global optimization problem. Moreover, this general foraging strategy may apply to other biological processes involving multiple signals and long-range navigation.

Dynamic model development of adiabatic compressed air energy storage

The share of variable renewable energy in electricity generation has seen exponential growth during the recent decades, and due to the heightened pursuit of environmental targets, the trend is to continue with increased pace. The two most important resources, wind and insolation both bear the burden of intermittency, creating a need for regulation and posing a threat to grid stability. One possibility to deal with the imbalance between demand and generation is to store electricity temporarily, which was addressed in this thesis by implementing a dynamic model of adiabatic compressed air energy storage (CAES) with Apros dynamic simulation software. Based on literature review, the existing models due to their simplifications were found insufficient for studying transient situations, and despite of its importance, the investigation of part load operation has not yet been possible with satisfactory precision. As a key result of the thesis, the cycle efficiency at design point was simulated to be 58.7%, which correlated well with literature information, and was validated through analytical calculations. The performance at part load was validated against models shown in literature, showing good correlation. By introducing wind resource and electricity demand data to the model, grid operation of CAES was studied. In order to enable the dynamic operation, start-up and shutdown sequences were approximated in dynamic environment, as far as is known, the first time, and a user component for compressor variable guide vanes (VGV) was implemented. Even in the current state, the modularly designed model offers a framework for numerous studies. The validity of the model is limited by the accuracy of VGV correlations at part load, and in addition the implementation of heat losses to the thermal energy storage is necessary to enable longer simulations. More extended use of forecasts is one of the important targets of development, if the system operation is to be optimised in future.

Quichua-Spanish language contact in Salcedo, Ecuador: revisiting media lengua syncretic language practices

The purpose of the current thesis is to develop a better understanding of the interaction between Spanish and Quichua in the Salcedo region and provide more information for the processes that might have given rise to Media Lengua, a ‘mixed’ language comprised of a Quichua grammar and Spanish lexicon. Muysken attributes the formation of Media Lengua to relexification, ruling out any influence from other bilingual phenomena. I argue that the only characteristic that distinguishes Media Lengua from other language contact varieties in central Ecuador is the quantity of the overall Spanish borrowings and not the type of processes that might have been employed by Quichua speakers during the genesis of Media Lengua. The results from the Salcedo data that I have collected show how processes such as adlexification, code-mixing, and structural convergence produce Media Lengua-type sentences, evidence that supports an alternative analysis to Muysken’s relexification hypothesis. Overall, this dissertation is developed around four main objectives: (1) to describe the variation of Spanish loanwords within a bilingual community in Salcedo; (2) to analyze some of the prominent and recent structural changes in Quichua and Spanish; (3) to determine whether Spanish loanword use can be explained by the relationship consultants have with particular social categories; and (4) to analyze the consultants’ language ideologies toward syncretic uses of Spanish and Quichua. Overall, 58% of the content words, 39% of the basic vocabulary, and 50% of the subject pronouns in the Salcedo corpus were derived from Spanish. When compared to Muysken’s description of highlander Quichua in the 1970’s, Spanish loanwords have more than doubled in each category. The overall level of Spanish loanwords in Salcedo Quichua has grown to a level between highlander Quichua in the 1970’s and Media Lengua. Similar to Spanish’s lexical influence in Media Lengua, the increase of Spanish borrowings in today’s rural Quichua can be seen in non-basic and basic vocabularies as well as the subject pronoun system. Significantly, most of the growth has occurred through forms of adlexification i.e., doublets, well-established borrowings, and cultural borrowings, suggesting that ‘ordinary’ lexical borrowing is also capable of producing Media Lengua-type sentences. I approach the second objective by investigating two separate phenomena related to structural convergence. The first examines the complex verbal constructions that have developed in Quichua through Spanish loan translations while the second describes the type of Quichua particles that are attached to Spanish lexemes while speaking Spanish. The calquing of the complex verbal constructions from Spanish were employed when speaking standard Quichua. Since this standard form is typically used by language purists, I argue that their use of calques is a strategy of exploiting the full range of expression from Spanish without incorporating any of the Spanish lexemes which would give the appearance of ‘contamination’. The use of Quichua particles in local varieties of Spanish is a defining characteristic of Quichuacized Spanish, spoken most frequently by women and young children in the community. Although the use of Quichua particles was probably not the main catalyst engendering Media Lengua, I argue that its contribution as a source language to other ‘mixed’ varieties, such as Media Lengua, needs to be accounted for in descriptions of BML genesis. Contrary to Muysken’s representation of relatively ‘unmixed’ Spanish and Quichua as the two source languages of Media Lengua, I propose that local varieties of Spanish might have already been ‘mixed’ to a large degree before Media Lengua was created. The third objective attempts to draw a relationship between particular social variables and the use of Spanish loanwords. Whisker Boxplots and ANOVAs were used to determine which social group, if any, have been introducing new Spanish borrowings into the bilingual communities in Salcedo. Specifically, I controlled for age, education, native language, urban migration, and gender. The results indicate that none of the groups in each of the five social variables indicate higher or lower loanword use. The implication of these results are twofold: (a) when lexical borrowing occurs, it is immediately adopted as the community-wide norm and spoken by members from different backgrounds and generations, or (b) this level of Spanish borrowing (58%) is not a recent phenomenon. The fourth and final objective draws on my ethnographic research that addresses the attitudes of syncretic language use. I observed that Quichuacized Spanish and Hispanicized Quichua are highly stigmatized varieties spoken by the country’s most marginalized populations and families, yet within the community, syncretic ways of speaking are in fact the norm. It was shown that there exists a range of different linguistic definitions for ‘Chaupi Lengua’ and other syncretic language practices as well as many contrasting connotations, most of which were negative. One theme that emerged from the interviews was that speaking syncretic varieties of Quichua weakened the consultant’s claim to an indigenous identity. The linguistic and social data presented in this dissertation supports an alternative view to Muysken’s relexification hypothesis, one that has the advantage of operating with well-precedented linguistic processes and which is actually observable in the present-day Salcedo area. The results from the study on lexical borrowing are significant because they demonstrate how a dynamic bilingual speech community has gradually diversified their Quichua lexicon under intense pressure to shift toward Spanish. They also show that Hispanicized Quichua (Quichua with heavy lexical borrowing) clearly arose from adlexification and prolonged lexical borrowing, and is one of at least six identifiable speech styles found in Salcedo. These results challenge particular interpretations of language contact outcomes, such as, ones that depict sources languages as discrete and ‘unmixed.’ The bilingual continuum presented in this thesis shows on the one hand, the range of speech styles that are accessible to different speakers, and on the other hand, the overlapping, syncretic features that are shared among the different registers and language varieties. It was observed that syncretic speech styles in Salcedo are employed by different consultants in varied interactional contexts, and in turn, produce different evaluations by other fellow community members. In the current dissertation, I challenge the claim that relexification and Media Lengua-type sentences develop in isolation and without the influence of other bilingual phenomena. Based on Muysken's Media Lengua example sentences and the speech styles from the Salcedo corpus, I argue that Media Lengua may have arisen as an institutionalized variant of the highly mixed "middle ground" within the range of the Salcedo bilingual continuum discussed above. Such syncretic forms of Spanish and Quichua strongly resemble Media Lengua sentences in Muysken’s research, and therefore demonstrate how its development could have occurred through several different language contact processes and not only through relexification.