Adaption of the Creative Commons approach and the roaming concept to spatial data infrastructures (SDI)

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

ALSMon: sistema para monitorizar ALS

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Informática e de Computadores

XATA 2010 : XML : Associated Technologies and Applications, 8th

These are the proceedings for the eighth national conference on XML, its Associated Technologies and its Applications (XATA'2010). The paper selection resulted in 33% of papers accepted as full papers, and 33% of papers accepted as short papers. While these two types of papers were distinguish during the conference, and they had different talk duration, they all had the same limit of 12 pages. We are happy that the selected papers focus both aspects of the conference: XML technologies, and XML applications. In the first group we can include the articles on parsing and transformation technologies, like “Processing XML: a rewriting system approach", “Visual Programming of XSLT from examples", “A Refactoring Model for XML Documents", “A Performance based Approach for Processing Large XML Files in Multicore Machines", “XML to paper publishing with manual intervention" and “Parsing XML Documents in Java using Annotations". XML-core related papers are also available, focusing XML tools testing on “Test::XML::Generator: Generating XML for Unit Testing" and “XML Archive for Testing: a benchmark for GuessXQ". XML as the base for application development is also present, being discussed on different areas, like “Web Service for Interactive Products and Orders Configuration", “XML Description for Automata Manipulations", “Integration of repositories in Moodle", “XML, Annotations and Database: a Comparative Study of Metadata Definition Strategies for Frameworks", “CardioML: Integrating Personal Cardiac Information for Ubiquous Diagnosis and Analysis", “A Semantic Representation of Users Emotions when Watching Videos" and “Integrating SVG and SMIL in DAISY DTB production to enhance the contents accessibility in the Open Library for Higher Education". The wide spread of subjects makes us believe that for the time being XML is here to stay what enhances the importance of gathering this community to discuss related science and technology. Small conferences are traversing a bad period. Authors look for impact and numbers and only submit their works to big conferences sponsored by the right institutions. However the group of people behind this conference still believes that spaces like this should be preserved and maintained. This 8th gathering marks the beginning of a new cycle. We know who we are, what is our identity and we will keep working to preserve that. We hope the publication containing the works of this year's edition will catch the same attention and interest of the previous editions and above all that this publication helps in some other's work. Finally, we would like to thank all authors for their work and interest in the conference, and to the scientific committee members for their review work.

Human activity data discovery based on accelerometry

Dissertation to Obtain Master Degree in Biomedical Engineering

Gestão de inventários numa empresa de produção de linhas de costura

Dissertação de mestrado integrado em Engenharia e Gestão Industrial

ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data

We study the problem of privacy-preserving proofs on authenticated data, where a party receives data from a trusted source and is requested to prove computations over the data to third parties in a correct and private way, i.e., the third party learns no information on the data but is still assured that the claimed proof is valid. Our work particularly focuses on the challenging requirement that the third party should be able to verify the validity with respect to the specific data authenticated by the source — even without having access to that source. This problem is motivated by various scenarios emerging from several application areas such as wearable computing, smart metering, or general business-to-business interactions. Furthermore, these applications also demand any meaningful solution to satisfy additional properties related to usability and scalability. In this paper, we formalize the above three-party model, discuss concrete application scenarios, and then we design, build, and evaluate ADSNARK, a nearly practical system for proving arbitrary computations over authenticated data in a privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model. For instance, compared to corresponding solutions based on Pinocchio (Oakland’13), ADSNARK achieves up to 25× improvement in proof-computation time and a 20× reduction in prover storage space.

Sistema de cerca de transports

Aquest projecte es va definir per a donar resposta a una necessitat concreta detectada en el sector del transport: la de trobar la millor manera d'enviar una mercaderia a qualsevol lloc del món des del punt de vista de costos i temps sense pensar en companyies i mitjans de transport. Per a fer aquest servei accessible a tothom sense limitacions d'espai horari o ubicació física s'han volgut aprofitar els beneficis que aporta Internet i, per tant, s'ha conceptualitzat com un servei web.

Sistema de validació amb proveïdor deidentitat extern per a serveis de VideoOn Demand

El producte a realitzar es composa de 2 aplicacions web, 1 Web Service i 1applet, tots ells desenvolupats utilitzant la tecnologia J2EE 6.0. S¿ha escollitla versió J2EE de Java, per la facilitat que proporciona perdesenvolupaments web i client-servidor.

Anàlisi, disseny e implementació d'una aplicació de comerç electrònic en la plataforma J2EE amb Struts e Hibernate

El present treball consisteix en l'anàlisi, disseny e implementació d¿una aplicació de comerçelectrònic equiparable en la seva forma bàsica a una botiga virtual de productes genèricsdisponible a Internet mitjançant el servei web. S'inclou en l'aplicació tant la part pública o frontend, consistent en la part accessible al públic, on s'efectuen els actes de negoci amb usuaris externs al sistema, com la part privada o back-end, destinada a les tasques de mantenimentper a l'administrador de la botiga.

Aplicació mòbil per al control d'una casa domòtica

Desenvolupament en .NET d'una aplicació de control d'una casa domòtica mitjançant un dispositiu mòbil amb Windows Mobile 6 o superior.

Aplicació domotica windows mobile . Net

Treball de Fi de Carrera de .NET amb una pda i un web service.

L'ús de les xarxes socials en activitats de promoció de l'activitat física en hospitals americans

En la present investigació s'analitzen catorze hospitals ubicats als Estats Units, amb l'objectiu d'analitzar l'ús de les xarxes socials, centrant-nos en la promoció que en realitzen de l'activitat física, a partir de les diferents xarxes socials.

Circadian expression of H,K-ATPase type 2 contributes to the stability of plasma K⁺ levels.

Maintenance by the kidney of stable plasma K(+) values is crucial, as plasma K(+) controls muscle and nerve activity. Since renal K(+) excretion is regulated by the circadian clock, we aimed to identify the ion transporters involved in this process. In control mice, the renal mRNA expression of H,K-ATPase type 2 (HKA2) is 25% higher during rest compared to the activity period. Conversely, under dietary K(+) restriction, HKA2 expression is ∼40% higher during the activity period. This reversal suggests that HKA2 contributes to the circadian regulation of K(+) homeostasis. Compared to their wild-type (WT) littermates, HKA2-null mice fed a normal diet have 2-fold higher K(+) renal excretion during rest. Under K(+) restriction, their urinary K(+) loss is 40% higher during the activity period. This inability to excrete K(+) "on time" is reflected in plasma K(+) values, which vary by 12% between activity and rest periods in HKA2-null mice but remain stable in WT mice. Analysis of the circadian expression of HKA2 regulators suggests that Nrf2, but not progesterone, contributes to its rhythmicity. Therefore, HKA2 acts to maintain the circadian rhythm of urinary K(+) excretion and preserve stable plasma K(+) values throughout the day.

Sistema de alerta por sms e e-mail

A área de trabalho escolhida para o desenvolvimento foi a programação de um sistema de Contacto designada UMCont@ct, integrando as tecnologias de SMS e Email com programação em Java, PHP e base de dados MySQL. O Sistema será projetado e desenvolvido de uma forma genérica, de forma a permitir difundir informações diversas, de diversas sistemas e empresas quer a nível local, nacional ou mesmo internacional. Para tal o serviço disponibilizará dois URLs GET e POST e um Web Service como forma de comunicação entre os diversos sistemas e a UMCont@ct. O cérebro do sistema será o servidor Java responsável pela validação, preparação e envio de mensagens de alertas do sistema, com base no protocolo SMTP para envio de Email e protocolo HTTP para a comunicação com o gateway SMS a utilizar. Pretende-se ainda criar uma aplicação Web em linguagem PHP para administração e configuração de todo o sistema, bem como fazer a gestão de utilizadores do serviço. Já num vertente cliente o sistema disponibilizará um serviço Web, integrado como um módulo no projeto SIGA (Sistema Integrado de Gestão Académico) da nossa Universidade, que permitirá aos estudantes, docentes e funcionários da instituição agendar notificações SMS e Email sobre diversos assuntos referentes à Universidade do Mindelo, destacando entre eles o serviço de notificação das notas aos estudantes por meio de SMS.

A novel dominant mutation of the Nav1.4 alpha-subunit domain I leading to sodium channel myotonia.

BACKGROUND: Mutations in SCN4A may lead to myotonia. METHODS: Presentation of a large family with myotonia, including molecular studies and patch clamp experiments using human embryonic kidney 293 cells expressing wild-type and mutated channels. RESULTS: In a large family with historic data on seven generations and a clear phenotype, including myotonia at movement onset, with worsening by cold temperature, pregnancy, mental stress, and especially after rest after intense physical activity, but without weakness, the phenotype was linked with the muscle sodium channel gene (SCN4A) locus, in which a novel p.I141V mutation was found. This modification is located within the first transmembrane segment of domain I of the Na(v)1.4 alpha subunit, a region where no mutation has been reported so far. Patch clamp experiments revealed a mutation-induced hyperpolarizing shift (-12.9 mV) of the voltage dependence of activation, leading to a significant increase (approximately twofold) of the window current amplitude. In addition, the mutation shifted the voltage dependence of slow inactivation by -8.7 mV and accelerated the entry to this state. CONCLUSIONS: We propose that the gain-of-function alteration in activation leads to the observed myotonic phenotype, whereas the enhanced slow inactivation may prevent depolarization-induced paralysis.