Definition of Model-based diagnosis problems with Altarica

International audience

Contributos do envolvimento parental no desenvolvimento de um grupo de 4 anos

Relatório de Estágio apresentado à Escola Superior de Educação de Paula Frassinetti para obtenção de grau de Mestre em Educação Pré-Escolar

Estudo da secagem da flor de cardo e análise de polissacarídeos e composto fenólicos

A qualidade dos produtos alimentares e a sua influência sobre a nutrição e a saúde humana tem vindo a merecer um lugar de destaque na comunidade científica. O conceito de alimento funcional tem adquirido grande importância hoje em dia, em particular os alimentos com compostos bioactivos. O Cardo (Cynara cardunculus L.) é uma planta herbácea originária da região mediterrânea usada essencialmente na coagulação do leite, e por muitos considerada um medicamento popular, devido aos seus efeitos terapêuticos. Este trabalho teve como objectivo estudar o efeito de diferentes condições de secagem da flor de cardo, na composição em ácidos fenólicos, bem como em polissacarídeos. Era ainda objectivo tentar identificar possíveis compostos que pudessem ser utilizados como marcadores de autenticidade do queijo da serra. Neste trabalho foi usada uma amostra de flor de cardo liofilizado e três amostras secadas, a diferentes temperaturas (40, 50 e 60ºC). A análise do resíduo sólido da flor do cardo, por cromatografia gasosa, permitiu identificar a presença de açúcares constituintes de polissacarídeos pécticos. A análise por HPLC, dos extratos metanólicos e cetónicos, revelaram a presença de ácidos hidroxibenzóicos e hidroxicinâmicos na flor do cardo. A amostra mais rica nestes compostos foi a amostra secada a 50ºC. O aumento da temperatura de secagem originou uma diminuição de ácidos fenólicos.

Construção de uma Comunidade de Práticas para a Promoção da Leitura

Trabalho de projeto apresentado à Escola Superior de Educação de Paula Frassinetti para obtenção do grau de Mestre em Ciências da Educação Especialização em Animação da Leitura

Language-based Techniques for Practical and Trustworthy Secure Multi-party Computations

Secure Multi-party Computation (MPC) enables a set of parties to collaboratively compute, using cryptographic protocols, a function over their private data in a way that the participants do not see each other's data, they only see the final output. Typical MPC examples include statistical computations over joint private data, private set intersection, and auctions. While these applications are examples of monolithic MPC, richer MPC applications move between "normal" (i.e., per-party local) and "secure" (i.e., joint, multi-party secure) modes repeatedly, resulting overall in mixed-mode computations. For example, we might use MPC to implement the role of the dealer in a game of mental poker -- the game will be divided into rounds of local decision-making (e.g. bidding) and joint interaction (e.g. dealing). Mixed-mode computations are also used to improve performance over monolithic secure computations. Starting with the Fairplay project, several MPC frameworks have been proposed in the last decade to help programmers write MPC applications in a high-level language, while the toolchain manages the low-level details. However, these frameworks are either not expressive enough to allow writing mixed-mode applications or lack formal specification, and reasoning capabilities, thereby diminishing the parties' trust in such tools, and the programs written using them. Furthermore, none of the frameworks provides a verified toolchain to run the MPC programs, leaving the potential of security holes that can compromise the privacy of parties' data. This dissertation presents language-based techniques to make MPC more practical and trustworthy. First, it presents the design and implementation of a new MPC Domain Specific Language, called Wysteria, for writing rich mixed-mode MPC applications. Wysteria provides several benefits over previous languages, including a conceptual single thread of control, generic support for more than two parties, high-level abstractions for secret shares, and a fully formalized type system and operational semantics. Using Wysteria, we have implemented several MPC applications, including, for the first time, a card dealing application. The dissertation next presents Wys*, an embedding of Wysteria in F*, a full-featured verification oriented programming language. Wys* improves on Wysteria along three lines: (a) It enables programmers to formally verify the correctness and security properties of their programs. As far as we know, Wys* is the first language to provide verification capabilities for MPC programs. (b) It provides a partially verified toolchain to run MPC programs, and finally (c) It enables the MPC programs to use, with no extra effort, standard language constructs from the host language F*, thereby making it more usable and scalable. Finally, the dissertation develops static analyses that help optimize monolithic MPC programs into mixed-mode MPC programs, while providing similar privacy guarantees as the monolithic versions.

A critical and interpretative investigation of the ethical dimension of policies about school digital technologies

This thesis examines digital technologies policies designed for Australian schools and the ways they are understood and interpreted by students, school staff, teachers, principals and policy writers. This study explores the ways these research participant groups interpret and understand the ‘ethical dimension’ of schools’ digital technologies policies for teaching and learning. In this thesis the ethical dimension is considered to be a dynamic concept which encompasses various elements including; decisions, actions, values, issues, debates, education, discourses, and notions of right and wrong, in relation to ethics and uses of digital technologies in schools. In this study policy is taken to mean not only written texts but discursive processes, policy documents including national declarations, strategic plans and ‘acceptable use’ policies to guide the use of digital technologies in schools. The research is situated in the context of changes that have occurred in Australia and internationally over the last decade that have seen a greater focus on the access to and use of digital technologies in schools. In Australian school education, the attention placed on digital technologies in schools has seen the release of policies at the national, state, territory, education office and school levels, to guide their use. Prominent among these policies has been the Digital Education Revolution policy, launched in 2007 and concluded in 2013. This research aims to answers the question: What does an investigation reveal about understandings of the ethical dimension of digital technologies policies and their implementation in school education? The objective of this research is to examine the ethical dimension of digital technologies policies and to interpret and understand the responses of the research participants to the issues, silences, discourses and language, which characterise this dimension. In doing so, it is intended that the research can allow the participants to have a voice that, may be different to the official discourses located in digital technologies policies. The thesis takes a critical and interpretative approach to policies and examines the role of digital technologies policies as discourse. Interpretative theory is utilised as it provides a conceptual lens from which to interpret different perspectives and the implications of these in the construction of meaning in relation to schools’ digital technologies policies. Critical theory is used in tandem with interpretative theory as it represents a conceptual basis from which to critique and question underlying assumptions and discourses that are associated with the ethical dimension of schools’ digital technologies policies. The research methods used are semi-structured interviews and policy document analysis. Policies from the national, state, territory, education office and school level were analysed and contribute to understanding the way the ethical dimension of digital technologies policies is represented as a discourse. Students, school staff, teachers, principals and policy writers participated in research interviews and their views and perspectives were canvassed in relation to the ethical use of digital technologies and the policies that are designed to regulate their use. The thesis presents an argument that the ethical dimension of schools’ digital technologies policies and use is an under-researched area, and there are gaps in understanding and knowledge in the literature which remain to be addressed. It is envisaged that the thesis can make a meaningful contribution to understand the ways in which schools’ digital technologies policies are understood in school contexts. It is also envisaged that the findings from the research can inform policy development by analysing the voices and views of those in schools. The findings of the policy analysis revealed that there is little attention given to the ethical dimension in digital technologies at the national level. A discourse of compliance and control pervades digital technologies policies from the state, education office and school levels, which reduces ethical considerations to technical, legal and regulatory requirements. The discourse is largely instrumentalist and neglects the educative dimension of digital technologies which has the capacity to engender their ethical use. The findings from the interview conversations revealed that students, school staff and teachers perceive digital technologies policies to be difficult to understand, and not relevant to their situation and needs. They also expressed a desire to have greater consultation and participation in the formation and enactment of digital technologies policies, and they believe they are marginalised from these processes in their schools. Arising from the analysis of the policies and interview conversations, an argument is presented that in the light of the prominent role played by digital technologies and their potential for enhancing all aspects of school education, more research is required to provide a more holistic and richer understanding of the policies that are constructed to control and mediate their use.

Phenolic composition of four sage species: salvia farinacea, salvia mexico, salvia greggii and salvia officinalis

Salvia species are used worldwide for medicine purposes. In general, these medicinal plants have high amounts of flavonoids and phenolic acids, that are thought to be closely related to their health properties [1,2]. In this work, the aerial parts of Salvia farinacea, Salvia mexico, Salvia greggii and Salvia officinalis were extracted with hot water [3]. Extracts were evaluated for their total phenolic content by an adaptation of the Folin-Ciocalteu method and further analysed by high performance liquid chromatography associated with electrospray mass spectrometry (HPLC-DAD-ESI-MSn) in the negative ion mode [4], in order to identify their individual phenolic constituents. The aqueous extracts of S. farinacea, S. mexico, S. officinalis and S. greggii contained, respectively, 106±13, 159±38, 175±46 and 136±1 μg GAE/mg of total phenolics. These four species were characterized by a clear prevalence of caffeic acid derivatives, in particular of rosmarinic acid (MW 360), that is generally the most abundant phenolic compound in Salvia species [2,3]. In addition, S. mexico and S. officinalis contained moderate amounts of salvianolic acid B (MW 718). Among these two, S. mexico was richer in O-caffeoylquinic acid (MW 354), while the latter presented high amounts of salvianolic acid K (MW 556) and moderate amounts of its structural isomer. All the extracts were enriched in flavones: S. farinacea and S. officinalis contained high amounts of luteolin-O-glucuronide while S. mexico contained luteolin-C-glucoside with respective characteristic mass spectrometry fragmentation pattern m/z at 461→285 and m/z at 447→357, 327. Similarly, S. greggii extract presented high content of luteolin-7-O-glucoside ([M-H]− at m/z 447→ 285) and luteolin-C-glucoside and moderate quantities of apigenin-C-hexoside ([M-H]− at m/z 431→341, 311). Further studies are being undertaken in order to understand the contribution of these phenolic constituents in the biological activities of Salvia plants.

Phenolic composition of four sage species: salvia farinacea, salvia mexico, salvia greggii and salvia officinalis

Salvia species are used worldwide for medicine purposes. In general, these medicinal plants have high amounts of flavonoids and phenolic acids, that are thought to be closely related to their health properties [1,2]. In this work, the aerial parts of Salvia farinacea, Salvia mexico, Salvia greggii and Salvia officinalis were extracted with hot water [3]. Extracts were evaluated for their total phenolic content by an adaptation of the Folin-Ciocalteu method and further analysed by high performance liquid chromatography associated with electrospray mass spectrometry (HPLC-DAD-ESI-MSn) in the negative ion mode [4], in order to identify their individual phenolic constituents. The aqueous extracts of S. farinacea, S. mexico, S. officinalis and S. greggii contained, respectively, 106±13, 159±38, 175±46 and 136±1 μg GAE/mg of total phenolics. These four species were characterized by a clear prevalence of caffeic acid derivatives, in particular of rosmarinic acid (MW 360), that is generally the most abundant phenolic compound in Salvia species [2,3]. In addition, S. mexico and S. officinalis contained moderate amounts of salvianolic acid B (MW 718). Among these two, S. mexico was richer in O-caffeoylquinic acid (MW 354), while the latter presented high amounts of salvianolic acid K (MW 556) and moderate amounts of its structural isomer. All the extracts were enriched in flavones: S. farinacea and S. officinalis contained high amounts of luteolin-O-glucuronide while S. mexico contained luteolin-C-glucoside with respective characteristic mass spectrometry fragmentation pattern m/z at 461→285 and m/z at 447→357, 327. Similarly, S. greggii extract presented high content of luteolin-7-O-glucoside ([M-H]− at m/z 447→ 285) and luteolin-C-glucoside and moderate quantities of apigenin-C-hexoside ([M-H]− at m/z 431→341, 311). Further studies are being undertaken in order to understand the contribution of these phenolic constituents in the biological activities of Salvia plants.

Valores profissionais família e grupo de pares

Dissertação de Mestrado apresentada ao Instituto Superior de Psicologia Aplicada para obtenção de grau de Mestre na especialidade de Psicologia Educacional.

Using text-mining-assisted analysis to examine the applicability of unstructured data in the context of customer complaint management

Double Degree

Place in Time: The Role of Architecture in Establishing an Emotional Connection between Man and Time

This thesis explores the role of architecture as a means of reconnecting humans to the passage of time. A neglect of the temporal in our built environment obscures understanding of the human condition in all of its sensory aspects. The exploration and design of a series of ritual engagements, both culturally, and architecturally, begin to offer a venue through which designers can engage human senses. Rituals act as a means of demarcating the passage of time. It is through the engagement with these moments that people can begin to gain a richer understanding of the ephemeral nature of their own existence. The Pritzker Architecture Prize serves as the selected ritual of exploration because of its celebration of humanity and the art of architecture. However, the notion of ritual is explored down to the level of detail of engagement with handrails and door handles.

Identifying cancer-related microRNAs based on gene expression data

International audience

Influence of a Brazilian sewage outfall on the toxicity and contamination of adjacent sediments

The submarine sewage outfall of Santos (SSOS) is situated in the Santos Bay (São Paulo, Brazil) and is potentially a significant source of contaminants to the adjacent marine ecosystem. The present study aimed to assess the influence of SSOS on the sediment toxicity and contamination at Santos Bay. At the disposal site, sediments tended to be finer, organically richer and exhibited higher levels of surfactants and metals, sometimes exceeding the Threshold Effect Level values. The SSOS influence was more evident toward the East, where the sediments exhibited higher levels of TOC, total S and metals during the summer 2000 sampling campaign. Sediment toxicity to amphipods was consistently detected in four of the five stations studied. Amphipod survival tended to correlate negatively to Hg, total N and % mud. This work provides evidence that the SSOS discharge affects the quality of sediments from Santos Bay, and that control procedures are warranted. (c) 2005 Elsevier Ltd. All rights reserved.

Explaining tourists´ support for environmental protection

Any movement towards sustainable tourism is dependent not only upon the industry and other key stakeholders but also the demand side, namely the tourists. Yet, there is a limited literature from the demand point of view. In this area, contributions to an understanding of tourists’ support to sustainable development are necessary. This paper analyzes the main determinants in tourist behavior regarding the environmental considerations when they are making decisions about their holiday plans. General literature on this issue highlights the need to consider socio-economic variables of the individual as well as the attributes related of their style of living. If the econometric model takes into account all these variables simultaneously, then the linkage between contextual changes and tourists´ behaviour is enriched and it may be estimated more accurately. In this sense, a multilevel approach using a random-intercept logistic models is proposed, since tourists belong to a country are affected by the same contextual variables. The analysis comprises a joint dataset composed by microdata belong to the survey Attitudes of Europeans Towards Tourism, which corresponds to Flash Eurobarometer 281, macrodata from Eurostat (GDP in pps and GDP growth) and additional variables profiles from the 2005 Environmental Sustainability Index. Country-specific effects are calculated across the EU-27 countries, which corroborated that attitudes to the sustainable tourism are heterogeneous geo-graphically. The higher the level of GDP, the lower the level of tourists´ support. These results could be explained because tourists of richer countries already have to pay more tax for envi-ronmental protection. Age, gender and educational attainment are relevant. Motivations for travelling, size of the community, type of the destination, and environmental sustainability indi-cators of the place of residence are also important factors.

Services growth and convergence: Getting India’s states together

India’s success story in services is well documented at the national level, but similar literature does not exist for India’s states. In this paper, we bridge this gap in research by looking at India’s services growth at the sub-national level and in doing so, also challenge existing literature by arguing that this growth has positive implications for income distribution. The first interesting finding is that even as per capita income is not converging across India’s states, per capita services are and we provide evidence for this both in terms of traditional measures of sigma- and beta-convergence and more recent panel unit root tests. Secondly, not only is external demand an important determinant of services value added at the state level, but this demand also emanates from all over the country rather than being concentrated in the neighbouring or richer states. This suggests that the benefits from services growth are being distributed more widely than may be perceived.