34 resultados para Possible worlds semantics
em CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal
Resumo:
This report summarises our idea of code clone detection in Haskell code and refactorings based on identified clones as it evolved in our group-of-three discussion
Resumo:
This paper investigates realism in character computer animation, which triggered the development of new techniques and aesthetic in spectacular cinema and contemporary culture. With the advent of motion or performing capture, animation has made possible that virtual characters or digital creatures reach higher levels in emotional acting, taking place in virtual cinematic worlds or even special effects movies. This technology, when placed at the service of imagination and fantasy can provide new dimensions in character motion and communication. In this context, projects like Peter Jackson’s (2001) The Lord of the Rings, James Cameron’s Avatar (2009) and more recently Steven Spielberg’s Tintin (2011) demonstrate that motion technology is constantly evolving, and it represents a credible option to explore new techniques and aesthetic in contemporary animation.
Resumo:
The goal of the present study is mapping the nature of possible contributions of participatory online platforms in citizen actions that may contribute in the fight against cancer and its associated consequences. These platforms are usually associated with entertainment: in that sense, we intent to test their validity in other domains such as health, as well as contribute to an expanded perception of their potential by their users. The research is based on the analysis of online solidarity networks, namely the ones residing on Facebook, Orkut and the blogosphere, that citizens have been gradually resorting to. The research is also based on the development of newer and more efficient solutions that provide the individual (directly or indirectly affected by issues of oncology) with the means to overcome feelings of impotence and fatality. In this article, we aim at summarizing the processes of usage of these decentralized, freer participatory platforms by citizens and institutions, while attempting to unravel existing hype and stigma; we also provide a first survey of the importance and the role of institutions in this kind of endeavor; lastly, we present a prototype, developed in the context of the present study, that is specifically dedicated to addressing oncology through social media. This prototype is already available online at www.talkingaboutcancer.org, however, still under development and testing. The main objective of this platform is to allow every citizen to freely build their network of contacts and information, according to their own individual and/ or collective needs and desires.
Resumo:
The construction sector has one of the worst occupational safety and health records in Europe. The costs of this scenario are very high, namely costs for workers and their families, costs to organizations, resulting from the absence of workers due to illness, insurance premiums, costs resulting from reduced productivity, cost of replacement and training of workers, etc., and costs to society, which in turn increases the costs of health systems. This paper presents and discusses the development of a methodology for economic evaluation in the context of risk management, which will allow senior management to support decision making. The possible application of this methodology to the construction sector is discussed.
Resumo:
Purpose Achieving sustainability by rethinking products, services and strategies is an enormous challenge currently laid upon the economic sector, in which materials selection plays a critical role. In this context, the present work describes an environmental and economic life cycle analysis of a structural product, comparing two possible material alternatives. The product chosen is a storage tank, presently manufactured in stainless steel (SST) or in a glass fibre reinforced polymer composite (CST). The overall goal of the study is to identify environmental and economic strong and weak points related to the life cycle of the two material alternatives. The consequential win-win or trade-off situations will be identified via a Life Cycle Assessment/Life Cycle Costing (LCA/LCC) integrated model. Methods The LCA/LCC integrated model used consists in applying the LCA methodology to the product system, incorporating, in parallel, its results into the LCC study, namely those of the Life Cycle Inventory (LCI) and the Life Cycle Impact Assessment (LCIA). Results In both the SST and CST systems the most significant life cycle phase is the raw materials production, in which the most significant environmental burdens correspond to the Fossil fuels and Respiratory inorganics categories. The LCA/LCC integrated analysis shows that the CST has globally a preferable environmental and economic profile, as its impacts are lower than those of the SST in all life cycle stages. Both the internal and external costs are lower, the former resulting mainly from the composite material being significantly less expensive than stainless steel. This therefore represents a full win-win situation. As a consequence, the study clearly indicates that using a thermoset composite material to manufacture storage tanks is environmentally and economically desirable. However, it was also evident that the environmental performance of the CST could be improved by altering its End-of-Life stage. Conclusions The results of the present work provide enlightening insights into the synergies between the environmental and the economic performance of a structural product made with alternative materials. Further, they provide conclusive evidence to support the integration of environmental and economic life cycle analysis in the product development processes of a manufacturing company, or in some cases even in its procurement practices.
Resumo:
The main objective of the present study is to assess the environmental advantages of substituting aluminium for a polymer composite in the manufacture of a structural product (a frame to be used as a support for solar panels). The composite was made of polypropylene and a recycled tyres’ rubber granulate. Analysis of different composite formulations was performed, to assess the variation of the environmental impact with the percentage of rubber granulate incorporation. The results demonstrate that the decision on which of the two systems (aluminium or composite) has the best life cycle performance is strongly dependent on the End-of Life (EoL) stage of the composite frame. When the EoL is deposition in a landfill, the aluminium frame performs globally better than its composite counterpart. However, when it is incineration with energy recovery or recycling, the composite frame is environmentally preferable. The raw material production stage was found to be responsible for most of the impacts in the two frame systems. In that context, it was shown that various benefits can accrue in several environmental impact categories by recycling rubber tyres and using the resulting materials. This is in a significant part also due to the recycling of the steel in the tyres. The present work illustrates how it is possible to minimize the overall environmental impact of consumer products through the adequate selection of their constitutive materials in the design stage. Additionally it demonstrates how an adequate EoL planning can be an important issue when developing a sustainable product, since it can highly influence its overall life cycle performance.
Resumo:
The influence of the dispersion of vapor grown carbon nanofibers (VGCNF) on the electrical properties of VGCNF/epoxy composites has been studied. A homogeneous dispersion of the VGCNF does not imply better electrical properties. The presence of well distributed clusters appears to be a key factor for increasing composite conductivity. It is also shown that the main conduction mechanism has an ionic nature for concentrations below the percolation threshold, while above the percolation threshold it is dominated by hopping between the fillers. Finally, using the granular system theory it is possible to explain the origin of conduction at low temperatures.
Resumo:
The goal of the present study is mapping the nature of possible contributions of participatory online platforms in citizen actions that may contribute in the fight against cancer and its associated consequences. The research is based on the analysis of online solidarity networks, namely the ones residing on Facebook and the blogosphere, that citizens have been gradually resorting to. The research is also based on the development of newer and more efficient solutions that provide the individual (directly or indirectly affected by issues of oncology) with the means to overcome feelings of impotence and fatality. In this chapter, the authors summarize the processes of usage of these decentralized, freer participatory platforms by citizens and institutions, while attempting to unravel existing hype and stigma; the authors also provide a first survey of the importance and the role of institutions in this kind of endeavor; lastly, they present a prototype, developed in the context of the present study that is specifically dedicated to addressing oncology through social media.
Resumo:
Purpose: The aim of this paper is to analyse the development of environmental management practices by Portuguese local entities and their determining factors. Design/methodology/approach: The data were collected by sending a postal questionnaire. In order to measure the degree of development of environmental management practices an index of environmental management practices (EMPI) was developed, which reflects the extent to which a set of 16 environmental management practices have been implemented by the entities included in the sample. Four variables are considered in this study as possible factors that drive the development of environmental management practices by local entities, namely type of entity, size, proactive environmental strategy and Local Agenda 21 Findings: Results indicate the degree of development of environmental management practices in Portuguese local entities is low. Additionally, entity size, the adoption of proactive environmental strategies and the implementation of Local Agenda 21 are explaining factors of the degree of development of such practices. Originality/value: This study adds to the international research on environmental management in public sector by providing empirical data from a country, Portugal, where empirical evidence is still relatively limited.
Resumo:
Purpose – The purpose of this paper is to analyse the development of environmental management practices by Portuguese local entities and their determining factors. Design/methodology/approach – The data were collected by sending a postal questionnaire. In order to measure the degree of development of environmental management practices, an index of environmental management practices (EMPI) was developed, which reflects the extent to which a set of 16 environmental management practices have been implemented by the entities included in the sample. In total, four variables are considered in this study as possible factors that drive the development of environmental management practices by local entities: type of entity; size; proactive environmental strategy; and Local Agenda 21. Findings – Results indicate the degree of development of environmental management practices in Portuguese local entities is low. Additionally, entity size, the adoption of proactive environmental strategies and the implementation of Local Agenda 21 are explaining factors of the degree of development of such practices. Originality/value – The paper adds to the international research on environmental management in the public sector by providing empirical data from a country, Portugal, where empirical evidence is still relatively limited.
Resumo:
Management systems standards (MSSs) have developed in an unprecedented manner in the last few years. These MSS cover a wide array of different disciplines, aims and activities of organisations. Also, organisations are populated with an enormous diversity of independent management systems (MSs). An integrated management system (IMS) tends to integrate some or all components of the business. Maximising their integration in one coherent and efficient MS is increasingly a strategic priority and constitutes an opportunity for businesses to be more competitive and consequently, promote its sustainable success. Those organisations that are quicker and more efficient in their integration and continuous improvement will have a competitive advantage in obtaining sustainable value in our global and competitive business world. Several scholars have proposed various theoretical approaches regarding the integration of management sub-systems, leading to the conclusion that there is no common practice for all organisations as they encompass different characteristics. One other author shows that several tangible and intangible gains for organisations, as well as to their internal and external stakeholders, are achieved with the integration of the individual standardised MSs. The purpose of this work was to conceive a model, Flexible, Integrator and Lean for IMSs, according to ISO 9001 for quality; ISO 14001 for environment and OHSAS 18001 for occupational health and safety (IMS–QES), that can be adapted and progressively assimilate other MSs, such as, SA 8000/ISO 26000 for social accountability, ISO 31000 for risk management and ISO/IEC 27001 for information security management, among others. The IMS–QES model was designed in the real environment of an industrial Portuguese small and medium enterprise, that over the years has been adopting, gradually, in whole or in part, individual MSSs. The developed model is based on a preliminary investigation conducted through a questionnaire. The strategy and research methods have taken into consideration the case study. Among the main findings of the survey we highlight: the creation of added value for the business through the elimination of several organisational wastes; the integrated management of the sustainability components; the elimination of conflicts between independent MS; dialogue with the main stakeholders and commitment to their ongoing satisfaction and increased contribution to the company’s competitiveness; and greater valorisation and motivation of employees as a result of the expansion of their skill base, actions and responsibilities, with their consequent empowerment. A set of key performance indicators (KPIs) constitute the support, in a perspective of business excellence, to the follow up of the organisation’s progress towards the vision and achievement of the defined objectives in the context of each component of the IMS model. The conceived model had many phases and the one presented in this work is the last required for the integration of quality, environment, safety and others individual standardised MSs. Globally, the investigation results, by themselves, justified and prioritised the conception of an IMS–QES model, to be implemented at the company where the investigation was conducted, but also a generic model of an IMS, which may be more flexible, integrator and lean as possible, potentiating the efficiency, added value both in the present and, fundamentally, for future.
Resumo:
This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic code. An associated tool is also introduced. This piece of research is part of a broader project on program understanding and re-engineering of legacy code supported by formal methods
Resumo:
Resumo: 1- Introdução: algumas notícias da comunicação social; 2 – O designado «Conselho de Prevenção de Corrupção»; 3 – Procuradoria-Geral da República (P.G.R.) e o Departamento Central de Investigação e Acção Penal (D.I.A.P.); 4 – Alguns sítios com relevo; 5 – Alguns dos problemas que podem ser colocados em relação à Responsabilidade das Empresas pelo Crime de Corrupção; 5.1 – Âmbito dos problemas a serem falados; 6 – Qual a noção de «empresas que vamos utilizar»?; 6.1 – A noção de «empresa» em sentido geral objectivo e penal; 7 – Mas que tipo de crimes de corrupção vamos falar?; 8 – O art. 11º do Código Penal e os crimes de corrupção no contexto do ordenamento jurídico português; 8.1 – No contexto do art. 11º do Código Penal, o que significa «em nome da pessoa colectiva»?; 8.2 – No contexto do art. 11º do Código Penal, o que significa «no interesse da pessoa colectiva»?; 8.2.1 – No contexto do art. 11º do Código Penal, o que significa «quando não há interesse colectivo»?; 9 – E haverá diferenças, por exemplo, entre o modo de funcionamento técnico-jurídico do art. 11º do Código Penal e o art. 3º do Regime das Infracções Anti-Económicas e Contra a Saúde Pública (R.I.A.E.C.S.P.)?; 10 – E como é que a Jurisprudência portuguesa, a que tivemos acesso - dado não haver ainda fartura de decisões neste campo -, estabelece o nexo de imputação de responsabilidade penal a uma pessoa colectiva e/ou organização?; 10.1 – Uma primeira pré-conclusão dentro do objectivo que pretendemos demonstrar na totalidade deste trabalho; 11 – Uma segunda pré-conclusão: será que as diferenças acima assinaladas, por exemplo, entre o modo de funcionamento técnico-jurídico do art. 11º do Código Penal e o art. 3º do Regime das Infracções Anti-Económicas e Contra a Saúde Pública (R.I.A.E.C.S.P.), são as únicas? Veja-se o caso, v.g., do art. 7º do Regime Geral das Infracções Tributárias (R.G.I.T.); 12 – Em face das duas pré-conclusões anteriores, faça-se aqui, neste breve ensaio, uma primeira grande conclusão; 13 – Uma (primeira) hipótese de solução; 14 – Que tipo de «empresa» podemos enquadrar no art. 11º do Código Penal?; 14.1 – De acordo com o referido anteriormente, podemos dizer que todas as «empresas» podem praticar os crimes previstos e punidos no Código Penal português?; 14.2 – De acordo com o referido antes, quais são as «empresas» que não podem praticar os crimes de corrupção que estão previstos e punidos no Código Penal português?; 14.3 – Uma outra pré-conclusão: 14.4 – Um esboço de um dos possíveis problemas; 14.4.1 – Mas, afinal, o que são Entidades Públicas Empresariais (E.P.E.)?; 14.5 – Outra hipótese de esboço de um outro dos possíveis problemas que aqui podemos encontrar; 14.6 – Nova pré-conclusão; 14.7 – Uma outra importante pergunta a fazer e a responder desde já; 14.7.1 - Alarguemos, pois, um pouco a nossa investigação para além do Código Penal português; 14.7.2 – O problema da responsabilidade penal das organizações e/ou «pessoas colectivas», rectius, neste breve ensaio, empresas, pela prática de crimes de corrupção previstos e punidos na mencionada Lei n.º 20/2008, de 21 de Abril («Responsabilidade penal por crimes de corrupção no comércio internacional e na actividade privada»); 14.7.3 – Mais algumas pré-conclusões; 15 - Em face das duas pré-conclusões anteriores, faça-se aqui, neste breve ensaio, uma segunda grande conclusão; 16 - O que também apresenta outras implicações como por exemplo na aplicação do crime de «branqueamento» quando nos fala em «corrupção» como «crime primário»; 17 – Outras interrogações; 18 – Conclusão final, mas não última, como nenhuma o pode ser em ciência; 19 – Hipótese de solução. § Abstract: 1 - Introduction: some news media; 2 - The so-called "Council for the Prevention of Corruption”, 3 – “Attorney General's Office” (PGR) and the Central Bureau of Investigation and Penal Action (DIAP) 4 - Some sites with relief , 5 - Some of the problems that can be placed in relation to the Corporate Responsibility of the Crime of Corruption; 5.1 - Scope of issues to be spoken, 6 - What is the concept of "companies that we will use"?; 6.1 - The term “business” in a general purpose and criminal matters; 7 - What kind of crimes of corruption we talking about?; 8 - Art. 11 of the Penal Code and the crimes of corruption in the context of the Portuguese legal system; 8.1 - In the context of art. 11 of the Penal Code, which means "in the name of the legal person"?; 8.2 - In the context of art. 11 of the Penal Code, which means “in the interests of the legal person"?; 8.2.1 - In the context of art. 11 of the Penal Code, which means "where there is no collective interest"?; 9 - There will be differences, for example, between the operating mode of the Art. 11 of the Criminal Code and Art. 3 of the Legal Infractions Anti-Economic and Against Public Health (RIAECSP)?; 10 - And how does the case law of Portugal, we had access - as there still plenty of decisions in this field - makes a connection of allocating criminal liability to a legal person and / or organization?; 10.1 - A first pre-completion within the objective that we intend to demonstrate in all of this work; 11 - A second pre-conclusion: that the differences will be noted above, for example, between operating mode of the Art. 11 of the Criminal Code and Art. 3 of the Rules of the Offences Against Anti-Economics and Public Health (RIAECSP) are the only ones? Take the case v.g. of art. 7 of the Legal Framework of Tax Offences (RGIT) 12 - In view of the two pre-earlier conclusions, do it here, in this brief essay, a first major conclusion; 13 - A (first) chance for a solution, 14 - What kind “undertaking” we can frame the art. 11 of the Penal Code?; 14.1 - According to the above, we can say that all "companies" can practice the crimes defined and punished in the Portuguese Penal Code?; 14.2 - According to the mentioned before, what are the "business" who cannot practice corruption crimes that are planned and punished the Portuguese Penal Code?; 14.3 - Another pre-completion: 14.4 - A sketch of one of the possible problems; 14.4.1 - But after all the entities that are Public Enterprise (EPE)?; 14.5 - Another chance to draft another one of the possible problems that can be found here; 14.6 - New pre-completion; 14.7 - Another important question to ask and answer now; 14.7.1 - Let us expand, then, a little beyond our investigation of the Portuguese Penal Code; 14.7.2 - The problem of criminal liability of organizations and / or "legal persons", rectius, this brief essay, companies, for crimes of corruption provided for and punished mentioned in Law No. 20/2008 of 21 April ("Criminal liability for crimes of corruption in international trade and private activities"); 14.7.3 - Some more pre-conclusions; 15 - In view of the two pre-earlier conclusions, let it be here in this brief essay, a second major conclusion, 16 - Who also has other implications such as the application of the crime of "money laundering" when we talk about “corruption” as “primary crime”, 17 - Other questions; 18 - Bottom line, but not last, as the can be no science; 19 - Hypothesis solution. Abstract como no livro.
Resumo:
In administering their territories, most local municipalities aim to preserve their natural, historical and ethnographical resources while simultaneously using them to increase revenue and employment. In order to efficiently promote the products and services available and attract tourists, decision makers, private and public, need to know and incorporate tourists’ preferences in their marketing strategies. In this chapter we illustrate the use of stated preferences as an instrument to identify national and foreign tourists’ preferences regarding the products and services that the touristic destination of the Minho-Lima region (Northwest Portugal) should offer. As a starting point, we have taken the three general groups of touristic resources mentioned above as attributes. We take Ponte de Lima, a municipality in this region that has a strong cultural tourism potential as an example to identify possible future tourism scenarios for this territory. We believe the previously identified methodology can be a valuable instrument in the identification of the strengths and weaknesses of the selected territory and, thus, support the decision making process behind its future tourist development and marketing strategies.
Resumo:
Purpose – Castings defects are usually easy to characterize, but to eradicate them can be a difficult task. In many cases, defects are caused by the combined effect of different factors, whose identification is often difficult. Besides, the real non-quality costs are usually unknown, and even neglected. This paper aims to describe the development of a modular tool for quality improvement in foundries, and its main objective is to present the application potential and the foundry process areas that are covered and taken into account. Design/methodology/approach – The integrated model was conceived as an expert system, designated Qualifound, which performs both qualitative and quantitative analyses. For the qualitative analyses mode, the nomenclature and the description of defects are based on the classification suggested by the International Committee of the Foundry Technical Association. Thus, a database of defects was established, enabling one to associate the defects with the relevant process operations and the identification of their possible causes. The quantitative analysis mode deals with the number of produced and rejected castings and includes the calculation of the non-quality costs. Findings – The validation of Qualifound was carried out in a Portuguese foundry, whose quality system had been certified according to the ISO 9000 standards. Qualifound was used in every management area and it was concluded that the application had the required technological requisites to provide the necessary information for the foundry management to improve process quality. Originality/value – The paper presents a successful application of an informatics tool on quality improvement in foundries.