413 resultados para PROOFS
Resumo:
Dissertação de Mestrado apresentada ao Instituto Superior de Psicologia Aplicada para obtenção de grau de Mestre na especialidade de Psicologia Educacional.
Resumo:
O turismo tem sido e prevê-se que continuará a ser um dos fenómenos que mais contribui para a economia de uma nação. Também, o desporto ao longo dos anos tem tido um papel importante na sociedade que se manifesta em diferentes perspetivas, ao nível cultural, económico e social. Nesta linha e como catalisador de sinergias entre o turismo e o desporto surge o turismo desportivo, como sendo um único fenómeno social, económico e cultural que decorre da interação das atividades, pessoas e locais. O turismo desportivo, nos últimos anos, tem tido o seu reconhecimento como uma fonte que gera riqueza dando suporte ao desenvolvimento económico dos locais, regiões e até mesmo dos países onde se realizam os eventos desportivos. De salientar que o Turismo Desportivo tem sido visto como uma oportunidade que permite combater a sazonalidade e os impactos negativos do turismo em massa. Neste sentido, com o presente trabalho pretendeu-se analisar a importância das provas da meia maratona e maratona, realizadas na cidade do Porto em 2015, para o desenvolvimento turístico, na perspetiva dos visitantes desportistas, uma vez que os eventos desportivos têm sido considerados uma forma de assegurar o desenvolvimento sustentável de uma região/local. Tendo por base a informação recolhida e os resultados obtidos, quanto ao perfil dos inquiridos que participaram, em ambas as provas, pode dizer-se que são do sexo masculino, o grupo etário com idades compreendidas entre os 41 e 51 anos tem a maior percentagem de participantes, a maioria são casados e portugueses e maioritariamente residem no Grande Porto. Apurou-se ainda a estimativa do gasto médio por inscritos atendendo às provas e nacionalidade. No que diz respeito aos portugueses, estes fazem mais despesas no decurso da prova da Meia Maratona gastando cerca de 530 mil euros e os estrangeiros na prova da Maratona despendendo um valor estimado de 634 mil euros. Globalmente, atendendo às provas principais e associadas, são os portugueses que apresentam um gasto estimado mais elevado cerca de 1.755.570,65€, e os estrangeiros 1.436.159,14€. No global o valor estimado despendido, para o total das provas, para os participantes desportistas, ascende a 3.191.730€. Os valores apresentados não incluem as despesas com a inscrição dos participantes nas provas. Os valores indiciaram, também, para a existência de impactos económicos positivos decorrentes da organização e realização das provas e demonstraram que estas podem constituir uma ferramenta para impulsionar a economia local e regional. Também se concluiu que as provas da Meia Maratona e Maratona foram consideradas importantes para o desenvolvimento turístico da Região do Grande Porto, os inquiridos encontram-se globalmente satisfeitos com as provas e pretendem regressar em próximas edições, existe uma relação forte, positiva e direta entre a satisfação global e a intenção de participar em edições futuras das provas.
Resumo:
The past several years have seen the surprising and rapid rise of Bitcoin and other “cryptocurrencies.” These are decentralized peer-to-peer networks that allow users to transmit money, tocompose financial instruments, and to enforce contracts between mutually distrusting peers, andthat show great promise as a foundation for financial infrastructure that is more robust, efficientand equitable than ours today. However, it is difficult to reason about the security of cryptocurrencies. Bitcoin is a complex system, comprising many intricate and subtly-interacting protocol layers. At each layer it features design innovations that (prior to our work) have not undergone any rigorous analysis. Compounding the challenge, Bitcoin is but one of hundreds of competing cryptocurrencies in an ecosystem that is constantly evolving. The goal of this thesis is to formally reason about the security of cryptocurrencies, reining in their complexity, and providing well-defined and justified statements of their guarantees. We provide a formal specification and construction for each layer of an abstract cryptocurrency protocol, and prove that our constructions satisfy their specifications. The contributions of this thesis are centered around two new abstractions: “scratch-off puzzles,” and the “blockchain functionality” model. Scratch-off puzzles are a generalization of the Bitcoin “mining” algorithm, its most iconic and novel design feature. We show how to provide secure upgrades to a cryptocurrency by instantiating the protocol with alternative puzzle schemes. We construct secure puzzles that address important and well-known challenges facing Bitcoin today, including wasted energy and dangerous coalitions. The blockchain functionality is a general-purpose model of a cryptocurrency rooted in the “Universal Composability” cryptography theory. We use this model to express a wide range of applications, including transparent “smart contracts” (like those featured in Bitcoin and Ethereum), and also privacy-preserving applications like sealed-bid auctions. We also construct a new protocol compiler, called Hawk, which translates user-provided specifications into privacy-preserving protocols based on zero-knowledge proofs.
Resumo:
Dissertação de Mestrado apresentada ao Instituto Superior de Psicologia Aplicada para obtenção de grau de Mestre na especialidade de Psicologia Clínica.
Resumo:
This study highlights the importance of cognition-affect interaction pathways in the construction of mathematical knowledge. Scientific output demands further research on the conceptual structure underlying such interaction aimed at coping with the high complexity of its interpretation. The paper discusses the effectiveness of using a dynamic model such as that outlined in the Mathematical Working Spaces (MWS) framework, in order to describe the interplay between cognition and affect in the transitions from instrumental to discursive geneses in geometrical reasoning. The results based on empirical data from a teaching experiment at a middle school show that the use of dynamic geometry software favours students’ attitudinal and volitional dimensions and helps them to maintain productive affective pathways, affording greater intellectual independence in mathematical work and interaction with the context that impact learning opportunities in geometric proofs. The reflective and heuristic dimensions of teacher mediation in students’ learning is crucial in the transition from instrumental to discursive genesis and working stability in the Instrumental-Discursive plane of MWS.
Resumo:
Doutoramento em Economia.
Resumo:
La vulnérabilité est l’attribut fondamental justifiant le passage des frontières du refuge canadien (Rousseau et al., 2002 ; Clément et Bolduc, 2004). Elle est preuve d’insécurité pour la victime requérant l’asile ; elle est aussi porteuse d’espérance de sécurité en terre hospitalière. Elle est pourtant potentiel réactualisé dans l’insécurité d’un statut incertain en terre d’accueil (Agamben, 1997 ; D’Halluin, 2004). Violente immersion. En attendant que les preuves de sa vulnérabilité originelle soient validées, le demandeur d’asile se retrouve dans un entre-deux a-territorial et atemporel (Agier, 2002 ; Le Blanc, 2010) et dans une précarité tout aussi dangereuse (Ouimet et al., 2009). Des besoins émergent en cette terre inconnue, or l’accès aux soins de santé lui est limité par des textes de lois ambigus et leurs interprétations maladroites (Harris et Zuberi, 2015). Ainsi lorsqu’il se heurte à des barrières érigées par une transmission d’informations défectueuse, sa précarité ne fait qu’empirer. Tel un boomerang, ce paradoxe cultive leur vulnérabilité. Alors que les recherches interrogent les divers intervenants en santé (Asgary et Smith, 2013), j’ai choisi de donner la parole aux premiers concernés et de relayer leur vécu par rapport à leur propre personne. Deux objectifs principaux guident la recherche : documenter dans un premier temps leur parcours de quête de soins à partir de la circulation des informations formelles et informelles dans le but de sonder leur avis sur la vulnérabilité qui leur est attribuée ; documenter dans un second temps leur parcours migratoire de quête de soi afin de mettre en lumière les stratégies alternatives d’entrée en contact avec la société d’accueil pour négocier voire rejeter cette identité vulnérable. J’ai rencontré pour cela des demandeurs d’asile lors d’un terrain de huit mois au sein d’un organisme communautaire d’hébergement à Montréal. Dans ce contexte d’accompagnement et de stabilité spatiale, accalmie bienvenue au terme d’un itinéraire semé d’embûches, les ressources informationnelles sont à leur disposition et la reconnaissance sociale est à l’honneur. En parallèle, beaucoup témoignent de la diminution de leurs besoins de soins de santé. En cette communauté thérapeutique (Pocreau, 2005), véritable tremplin vers la société d’accueil en attendant un statut reconnu, ils bénéficient d’une possibilité de participation sociale et d’un sentiment d’appartenance valorisant. Si des conditions précaires peuvent aggraver la vulnérabilité, le bricolage de conditions positives favorise la résilience (Cleveland et al., 2014), créant un environnement revitalisant qui leur permet de rebondir.
Resumo:
La vulnérabilité est l’attribut fondamental justifiant le passage des frontières du refuge canadien (Rousseau et al., 2002 ; Clément et Bolduc, 2004). Elle est preuve d’insécurité pour la victime requérant l’asile ; elle est aussi porteuse d’espérance de sécurité en terre hospitalière. Elle est pourtant potentiel réactualisé dans l’insécurité d’un statut incertain en terre d’accueil (Agamben, 1997 ; D’Halluin, 2004). Violente immersion. En attendant que les preuves de sa vulnérabilité originelle soient validées, le demandeur d’asile se retrouve dans un entre-deux a-territorial et atemporel (Agier, 2002 ; Le Blanc, 2010) et dans une précarité tout aussi dangereuse (Ouimet et al., 2009). Des besoins émergent en cette terre inconnue, or l’accès aux soins de santé lui est limité par des textes de lois ambigus et leurs interprétations maladroites (Harris et Zuberi, 2015). Ainsi lorsqu’il se heurte à des barrières érigées par une transmission d’informations défectueuse, sa précarité ne fait qu’empirer. Tel un boomerang, ce paradoxe cultive leur vulnérabilité. Alors que les recherches interrogent les divers intervenants en santé (Asgary et Smith, 2013), j’ai choisi de donner la parole aux premiers concernés et de relayer leur vécu par rapport à leur propre personne. Deux objectifs principaux guident la recherche : documenter dans un premier temps leur parcours de quête de soins à partir de la circulation des informations formelles et informelles dans le but de sonder leur avis sur la vulnérabilité qui leur est attribuée ; documenter dans un second temps leur parcours migratoire de quête de soi afin de mettre en lumière les stratégies alternatives d’entrée en contact avec la société d’accueil pour négocier voire rejeter cette identité vulnérable. J’ai rencontré pour cela des demandeurs d’asile lors d’un terrain de huit mois au sein d’un organisme communautaire d’hébergement à Montréal. Dans ce contexte d’accompagnement et de stabilité spatiale, accalmie bienvenue au terme d’un itinéraire semé d’embûches, les ressources informationnelles sont à leur disposition et la reconnaissance sociale est à l’honneur. En parallèle, beaucoup témoignent de la diminution de leurs besoins de soins de santé. En cette communauté thérapeutique (Pocreau, 2005), véritable tremplin vers la société d’accueil en attendant un statut reconnu, ils bénéficient d’une possibilité de participation sociale et d’un sentiment d’appartenance valorisant. Si des conditions précaires peuvent aggraver la vulnérabilité, le bricolage de conditions positives favorise la résilience (Cleveland et al., 2014), créant un environnement revitalisant qui leur permet de rebondir.