Static laws in dynamic environments (bridging science to legislation)

Proceedings of the First International Conference on Coastal Conservation and Management in the Atlantic and Mediterranean, p. 193-200

Artificial Intelligence in geospatial analysis: applications of self-organizing maps in the context of geographic information science.

A thesis submitted in partial fulfilment of the requirements for the degree of Doctor of Philosophy in Information Systems.

Sol-gel-based biosensing applied to medicinal science

Biosensors have opened new horizons in biomedical analysis, by ensuring increased assay speed and flexibility, and allowing point-of-care applications, multi-target analyses, automation and reduced costs of testing. This has been a result of many studies merging nanotechnology with biochemistry over the years, thereby enabling the creation of more suitable environments to biological receptors and their substitution by synthetic analogue materials. Sol-gel chemistry, among other materials, is deeply involved in this process. Sol-gel processing allows the immobilization of organic molecules, biomacromolecules and cells maintaining their properties and activities, permitting their integration into different transduction devices, of electrochemical or optical nature, for single or multiple analyses. Sol-gel also allows to the production of synthetic materials mimicking the activity of natural receptors, while bringing advantages, mostly in terms of cost and stability. Moreover, the biocompatibility of sol-gel materials structures of biological nature allowed the use of these materials in emerging in vivo applications. In this chapter, biosensors for biomedical applications based on sol-gel derived composites are presented, compared and described, along with current emerging applications in vivo, concerning drug delivery or biomaterials. Sol-gel materials are shown as a promising tool for current, emerging and future medical applications. - See more at: http://www.eurekaselect.com/127191/article#sthash.iPqqyhox.dpuf

Planning, operations and data handling of planetary science missions

Dissertação para obtenção do Grau de Mestre em Engenharia Física

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.

Massive Open Online Course management: learning science and engineering through peer-reviewed projects

Massive Open Online Courses (MOOC) are gaining prominence in transversal teaching-learning strategies. However, there are many issues still debated, namely assessment, recognized largely as a cornerstone in Education. The large number of students involved requires a redefinition of strategies that often use approaches based on tasks or challenging projects. In these conditions and due to this approach, assessment is made through peer-reviewed assignments and quizzes online. The peer-reviewed assignments are often based upon sample answers or topics, which guide the student in the task of evaluating peers. This chapter analyzes the grading and evaluation in MOOCs, especially in science and engineering courses, within the context of education and grading methodologies and discusses possible perspectives to pursue grading quality in massive e-learning courses.

Initial dilemmas in IST research: design science and design research, a clarification of concepts

The inter-disciplinarity of information systems, applied discipline and activity of design, and the study from different paradigms perspectives explains the diversity of problems addressed. The context is broad and includes important issues beyond technology, as the application, use, effectiveness, efficiency and their organizational and social impacts. In design science, the research interest is in contributing to the improvement of the processes of the design activity itself. The relevance of research in design science is associated with the result obtained for the improvement of living conditions in organizational, inter-organizational and Society contexts. In the research whose results are artifacts, the adoption of design research as a process of research is crucial to ensure discipline, rigor and transparency. Based on a literature review, this paper clarifies the terms of design science and design research. This is the main motivation for presenting this paper, determinant for the phase in research in technologies and information systems which are the three research projects presented. As a result the three projects are discussed in relation to the concepts of design science and design research.

Velas içadas: navigating emotion in a sea of science

Dissertação para obtencão do grau de Mestrado em Arte e Ciência do Vidro

The use of indicators and evidence in governance and policy development of science, technology and innovation

This paper was first presented at the 2012 – EU SPRI Conference “Towards Transformative Governance? - Responses to mission-oriented innovation policy paradigms”, Fraunhofer ISI, June 2012, Karlsruhe

Frameworks e Bibliotecas Javascript

This report describes a study based on a research and evaluation of platforms (JavaScript frameworks and libraries carried out under the discipline of Tese/Dissertação/Estágio in the Master Degree Computer Science - area of expertise in Arquitecturas Sistemas e Redes, in Instituto Superior de Engenharia do Porto (ISEP). The JavaScript language is increasingly present in the development of software and particularly software for the web environment. For this reason there is a need to investigate the issue, as the platforms that are emerging in the market have a very low level of maturity compared to existing, it is crucial to identify the main differences so that we can save time, labor and other costs in research and experimentation developers. This project aims to inform a range of platforms and existing JavaScript libraries on the market. For further investigation, a study of use cases used at this point in the market was held. To assist the work were used qualitative research methods through the existing content of research related to the area, and quantitative research methods. It was thus conducted a survey sent via email to fifty regular users of the language, platforms, and JavaScript libraries, linking the functional and non-functional characteristics of the platforms and existing use cases in the market, in order to realize what is the use of these tools in his professional life. This study allowed developers to access information that will be compared and evaluated in order to achieve a more precise evaluation of the various analyzed platforms. It was also made an evaluation of adaptation of the various platforms to the various use cases.

The contribution of Rómulo de Carvalho to Portuguese science education (1934-1974): a humanistic project?

Submitted in accordance with the requirements for the degree of Doctor of Philosophy (Doutoramento em co-tutela)The University of Leeds School of Education

Characterization and surface reconstruction of objects in tomographic images of composite materials

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Staging the Scientist: The Representation of Science and its Processes in American and British Drama

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Estudos Ingleses e Norte Americanos

Nitrogen (N) : from science to society. A science communication project

O Azoto (N): da ciência para a sociedade é um projecto de comunicação de ciência que tem por objecNvo consciencializar os jovens para as ameaças que o azoto (N) em excesso traz para a humanidade. Pode ser dividido em duas partes. Uma, de invesNgação, sobre a análise de resultados de uma consulta pública realizada entre professores, usando o método qualitaNvo do focus group, para compreender a sua sensibilidade e propostas de solução para minimizar o excesso de N no ambiente. Os resultados obNdos foram instrumentais para o desenvolvimento da segunda parte. Esta segunda parte é uma proposta de projecto a submeter ao Horizon 2020, no âm-­‐ bito da “Science with and for Society “. Nela se propõe uma abordagem educaNva trans-­‐disciplinar, conseguida através da interacção entre docentes do secundário, e do ensino superior, associação de pais e organizações cívicas não governamentais, com vista à consciencialização dos jovens para as ameaças do N em excesso no meio ambiente, fazendo o enquadramento cien@fico e fornecendo abordagens tecnológi-­‐ cas. A inovação desta proposta baseia-­‐se: (i) no acompanhamento e desenvolvimen-­‐ to profissional dos docentes do secundário, (ii) na moNvação dos estudantes a de-­‐ senvolver o seu próprio estudo e pesquisa com a tutoria dos docentes, da escola e do ensino superior, e (iii) no desenvolvimento de capacidades de comunicação dos jo-­‐ vens para exercer uma cidadania acNva em prol da minimização das ameaças do N.