58 resultados para satisfiability modulo theories
em Instituto Politécnico do Porto, Portugal
Resumo:
This study investigates Portuguese companies’ use of the Internet to communicate social responsibility information, and the factors that affect this use. It examines the characteristics of companies that influence the prominence of social responsibility information on the Internet. Firm-specific factors that explain SRD by companies operating in a European country in which capital market fund raising is not regarded to be an important source of financing are analysed. The results are interpreted through the lens of a “political economy” framework which combines stakeholder and legitimacy theories perspectives, according to which companies disclose social responsibility information to present a socially responsible image so that they can legitimise their behaviours to their stakeholder groups and influence the external perception of reputation. Results suggest that a theoretical framework combining stakeholder and legitimacy theories may provide an explanatory basis for SRD by Portuguese companies. However, this study does not provide us with enough evidence to determine that the prominence given to CSR activities by Portuguese companies in their websites is linked to relationships with their stakeholders
Resumo:
7th Mediterranean Conference on Information Systems, MCIS 2012, Guimaraes, Portugal, September 8-10, 2012, Proceedings Series: Lecture Notes in Business Information Processing, Vol. 129
Resumo:
An increasing amount of research is being developed in the area where technology and humans meet. The success or failure of technologies and the question whether technology helps humans to fulfill their goals or whether it hinders them is in most cases not a technical one. User Perception and Influencing Factors of Technology in Everyday Life addresses issues of human and technology interaction. The research in this work is interdisciplinary, ranging from more technical subjects such as computer science, engineering, and information systems, to non-technical descriptions of technology and human interaction from the point of view of sociology or philosophy. This book is perfect for academics, researchers, and professionals alike as it presents a set of theories that allow us to understand the interaction of technology and humans and to put it to practical use.
Resumo:
It is not possible to imagine our lives today without technology. From the moment we get up in the morning until the time that we go to bed at night, technology is present in almost every moment, even if we are not aware of it. Some of the most basic activities we need to perform regularly could not be carried out without technology. Sociological and Philosophical Aspects of Human Interaction with Technology: Advancing Concepts presents a careful blend of conceptual, theoretical and applied research in regards to the relationship between technology and humans. This book explores the importance of these interactions, aspects related with trust, communication, data protection, usability concerning organizational change, and e-learning. The advancement of these theories and practices will benefit from this publication as it provides a voice for the users.
Resumo:
Dissertação apresentada ao ISCAP para a obtenção do Grau de Mestre em Auditoria Orientada por: Prof. Doutora Alcina Dias
Resumo:
A análise biomecânica da marcha engloba, entre outros, dados cinemáticos, cinéticos e sinais electromiográficos, que, em conjunto, promovem a descrição do fenómeno da marcha. Neste trabalho é efectuada uma revisão dos estudos existentes que versam sobre os aspectos biomecânicos da marcha, de forma a perceber-se os componentes a ter em consideração na referida análise, bem como os modelos comuns que suportam achados experimentais. A análise efectuada permitiu verificar que a necessidade de redirecção da velocidade do centro de massa entre passos prediz um forte componente do dispêndio energético na marcha e que este, por sua vez, está associado à velocidade.
Resumo:
Los congresos de medicina se destacan actualmente como uno de los eventos multilingües que se celebran con más frecuencia en el panorama internacional. Recurrir a los servicios de interpretación se revela como un hecho habitual entre los organizadores de estos encuentros, especialmente en determinados ámbitos nacionales. Por consiguiente, los congresos de medicina brindan grandes posibilidades laborales a los intérpretes de conferencias, sobre todo a aquellos cuya combinación lingüística es inglés-español, dado que el inglés se define, sin lugar a dudas, como la lengua por excelencia de la comunicación médica. No obstante, a pesar de esta demanda creciente en nuestra sociedad actual, los planteamientos académicos y profesionales siguen siendo, en gran medida, teóricos e intuitivos, fruto de experiencias personales, carentes en la mayoría de los casos de un respaldo empírico. Para corroborar o descartar ciertas presuposiciones establecidas a priori por estudiosos de la interpretación especializada, como pueden ser el uso de determinadas fuentes documentales y métodos de preparación, la evaluación de determinados parámetros de calidad o el nivel de especialización del intérprete, nos servimos de unas medidas de valoración retrospectivas en intérpretes profesionales especializados en congresos de medicina para verificar nuestro objetivo fundamental: en qué medida se alejan las teorías establecidas de la práctica profesional.
Resumo:
Relatório de Estágio apresentado ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Tradução e Interpretação Especializada, sob orientação de Doutor Manuel Fernando Moreira da Silva
Resumo:
Purpose- Economics and business have evolved as sciences in order to accommodate more of ‘real world’ solutions for the problems approached. In many cases, both business and economics have been supported by other disciplines in order to obtain a more complete framework for the study of complex issues. The aim of this paper is to explore the contribution of three heterodox economics disciplines to the knowledge of business co-operation. Design/methodology/approach- This approach is theoretical and it shows that many relevant aspects of business co-operation have been proposed by economic geography, institutional economics, and economic sociology. Findings- This paper highlights the business mechanisms of co-operation, reflecting on the role of places, institution and the social context where businesses operate. Research Implications- It contributes with a theoretical framework for the explanation of business co-operations and networks that goes beyond the traditional economics theories. Originality/value- This paper contributes with a framework for the study of business co-operation both from an economics and management perspective. This framework embodies a number of non-quantitative issues that are critical for understanding the complex networks in which firms operate.
Resumo:
O presente trabalho faz uma reflexão sobre o processo de construção do conceito de desenvolvimento na sociedade capitalista. Para tanto, utiliza-se da análise histórica com ênfase em quatro dimensões: econômica, política, social e ambiental. O estudo demonstra que o conceito surge na biologia, empregado como processo de evolução dos seres vivos para o alcance de suas potencialidades genéticas, porém, incorpora-se nas teorias e práticas sociais, por meio da economia, da sociologia, da antropologia e da ciência política. Ao longo de seu percurso histórico, o termo proporcinou algumas concepções diferentes de sociedade, como sociedade do crescimento, sociedade do bem estar social e sociedade sustentável. Portanto, este ensaio propõe compreender a lógica que fundamenta essas mudanças paradigmáticas do significado de desenvolvimento na sociedade.
Resumo:
Dissertação de Mestrado Apresentada ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Tradução e Interpretação Especializadas, sob orientação da Mestre Suzana Noronha Cunha
Resumo:
Introdução: As teorias etiológicas recíprocas que relacionam as disfunções da articulação temporo mandibular (ATM) com as disfunções da coluna cervical, os seus critérios de diagnóstico e formas de tratamento, não reúnem consenso, constituindo, actualmente, uma temática de debate e investigação. Objectivo: Descrever a avaliação e intervenção em fisioterapia, e os seus resultados numa utente com disfunção do complexo crânio-cervico-mandibular. Métodos: Foi realizado um estudo observacional descritivo, do tipo estudo de caso, reportando-se a uma enfermeira, de 28 anos, com quadro sintomatológico compatível com disfunção crânio-cervico-mandibular, com antecedentes de condilectomia e artroplastia da ATM, aos 14 anos. Inicialmente a utente apresentava dor irradiada na região cervical (7/10) e limitação dos movimentos articulares da coluna cervical. Referia, também, dor na região do ptérion direito (6/10), limitação dos movimentos da mandíbula, desvio lateral na abertura da boca e dificuldades funcionais na mastigação. A avaliação inicial e final (após tratamento), foi efectuada recorrendo-se à utilização do Goniometro CROM e da Therabite Range of Motion Scale, para medição das amplitudes articulares da cervical e ATM, respectivamente; Estetoscópio, para avaliação dos sons articulares da ATM; Escala Visual Analógica para graduação da dor. A intervenção decorreu ao longo de 10 sessões, bissemanais. No tratamento, foram aplicadas técnicas sobre os trigers points da musculatura cervical e músculos da mastigação; Mobilização passiva da cervical e ATM; Manipulação dos segmentos vertebrais cervicais e torácicos; Streching e técnicas de energia muscular; Técnicas funcionais para a ATM; Técnicas miofasciais para a coluna cervical e ATM; Exercícios de controlo motor da coluna cervical. Resultados: No final do tratamento, as amplitudes dos movimentos cervicais estavam completas e sem dor (0/10), mantendo, sensibilidade dolorosa à palpação das espinhosas de C5-C6 (1/10). Relativamente à ATM, verifica-se a abolição da dor (0/10) e a ausência do desvio lateral da mandíbula na abertura da boca, bem como, o aumento das amplitudes de movimento na abertura da boca (33 para 36 mm), e no desvio lateral esquerdo (2 para 2,8 mm). Conclusão: os resultados sugerem que a intervenção, com recurso a técnicas de terapia manual, no caso em estudo, parecem surtir efeitos positivos no quadro sintomatológico e funcional da utente.
Resumo:
The main aim of this essay is to present the discursive approaches to Translation Studies (TS) as a well-established field of inquiry about translation phenomena. The term ‘discourse’ itself, however, has been considered a contentious one given its multitude of uses without a clear conceptualization as to whether its use and application privilege a more linguistic orientation or a more sociologically and culturally trend to the study of language. The essay, therefore, briefly discusses what counts as ‘discursive’ in TS by introducing the reader to the principal theories that advocate an essentially ‘discursive turn’ in orientation. After that, the essay explores in depth Systemic-Functional Linguistics as a foundational approach to the study of translation. Finally, the essay brings in the advantages of such an approach and, in the end, invites TS theoreticians to give special attention to the uses of the term ‘discourse’ within their investigations.
Resumo:
O aumento da população Mundial, particularmente em Países emergentes como é o caso da China e da Índia, tem-se relevado um problema adicional no que confere às dificuldades associadas ao consumo mundial de energia, pois esta situação limita inequivocamente o acesso destes milhões de pessoas à energia eléctrica para os bens básicos de sobrevivência. Uma das muitas formas de se extinguir esta necessidade, começa a ser desenvolvida recorrendo ao uso de recursos renováveis como fontes de energia. Independentemente do local do mundo onde nos encontremos, essas fontes de energia são abundantes, inesgotáveis e gratuitas. O problema reside na forma como esses recursos renováveis são geridos em função das solicitações de carga que as instalações necessitam. Sistemas híbridos podem ser usados para produzir energia em qualquer parte do mundo. Historicamente este tipo de sistemas eram aplicados em locais isolados, mas nos dias que correm podem ser usados directamente conectados à rede, permitindo que se realize a venda de energia. Foi neste contexto que esta tese foi desenvolvida, com o objectivo de disponibilizar uma ferramenta informática capaz de calcular a rentabilidade de um sistema híbrido ligado à rede ou isolado. Contudo, a complexidade deste problema é muito elevada, pois existe uma extensa panóplia de características e distintos equipamentos que se pode adoptar. Assim, a aplicação informática desenvolvida teve de ser limitada e restringida aos dados disponíveis de forma a poder tornar-se genérica, mas ao mesmo tempo permitir ter uma aplicabilidade prática. O objectivo da ferramenta informática desenvolvida é apresentar de forma imediata os custos da implementação que um sistema híbrido pode acarretar, dependendo apenas de três variáveis distintas. A primeira variável terá de ter em consideração o local de instalação do sistema. Em segundo lugar é o tipo de ligação (isolado ou ligado à rede) e, por fim, o custo dos equipamentos (eólico, solar e restantes componentes) que serão introduzidos. Após a inserção destes dados a aplicação informática apresenta valores estimados de Payback e VAL.
Resumo:
Este documento apresenta o desenvolvimento de um sistema que visa relacionar e interligar as tecnologias móveis, automação industrial e SAP às necessidades da Gopaca, uma empresa de produção de derivados de cartão. A empresa Gopaca demonstrou interesse e necessidade em melhorar os seus processos internos de maneira a aumentar produtividade, diminuir desperdícios e implementar uma filosofia de Lean Manufacturing. Para que isso fosse possível foram implementados novos processos em SAP de modo a automatizar todo o processo pré-produtivo, pós produtivo e expedicional, bem como implementado um sistema de Warehouse Management inovador a nível mundial no que a empresas de produção de cartão diz respeito. Sendo expectável que após a conclusão do projecto os resultados fossem inegáveis em termos de aplicação da metodologia Lean Manufacturing. Foram efectuadas melhorias na forma como a entrada de mercadoria e produção é feita em SAP, passando de completamente manual para completamente automática, até à forma como a expedição será feita, apenas necessitando de um operador com uma pistola de leitura de códigos de barra para despoletar o processo completo até ao momento de impressão da guia de transporte. Todo este processo é inovador no que diz respeito à sua implementação em SAP com o foco no desejo do cliente, não existindo ainda, nenhum produto (modulo SAP) no mercado que permita a execução automática dos processos indicados. Todos os processos se tornaram simples e intuitivos e na maior parte dos casos sem qualquer necessidade de interacção com o utilizador, reduzindo o tempo anteriormente despendido nesta operações, podendo este ser aplicado nas áreas onde é realmente necessário.