Higher-order lazy functional slicing

Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program slices are computed with respect to a variable or a program statement. Taking a complementary point of view, this paper focuses on the slicing of higher-order functional programs under a lazy evaluation strategy. A prototype of a Haskell slicer, built as proof-of-concept for these ideas, is also introduced

Avaliação ex-ante, pelos media, de Guimarães 2012 capital europeia da Cultura

A nomeação de Guimarães como Capital Europeia da Cultura (CEC) em 2012 veio colocar na ordem do dia a necessidade de medir os efeitos que a concretização deste megaevento irá provocar na cidade e no município. A conveniente ponderação dos benefícios e dos custos e um alargado envolvimento da comunidade tendem a permitir encontrar formas de reduzir os impactos negativos e aumentar os impactos positivos. A presente comunicação analisa o envolvimento da população e das associações locais no planeamento e organização da Capital Europeia da Cultura 2012, aproximados pela via da cobertura feita pela imprensa local e nacional à preparação do megaevento. A análise de conteúdo das notícias publicadas abrangeu o período que medeia entre Janeiro e Dezembro de 2011 e respeitou a dois semanários locais e um diário nacional. Com base na análise efetuada, pode concluir-se que foi fraco o envolvimento da população e dos agentes culturais na organização da CEC 2012 e que existiu uma forte reação negativa ao modelo de planeamento do megaevento conduzido pela estrutura organizadora oficial, o que veio pôr em causa a desejável adesão dos vimaranenses ao mesmo e, por essa via, o respetivo sucesso, sobretudo numa perspetiva de efeitos a médio e longo prazo.

Perceptions of residents of hosting the “Guimarães 2012 European Capital of Culture”: An ex-ante approach

The European Capital of Culture is an annual mega-event, which can provide a good forum though which to challenge and engage local citizens, thus generating feelings of common citizenship. In addition, it presents an ideal opportunity to promote the restructuring of the hosting urban space. However, the success of both the organization and the city that hosts the cultural event depends on the residents’ commitment towards it, the consistency of the tourism attractions and activities supplied, and the capacity of anticipating and monitoring the evolution of tourists’ preferences. The present study aims to assess the intention to participate and the impacts perceived by residents of Guimarães from hosting one of the 2012 European Capitals of Culture (2012 ECOC) in the ex-ante period (2011). Through a convenience sample of 471 usable surveys applied to the local population, conducted between October and December 2011, we tried to identify some of these potential impacts. According to the results received, 40% of residents had a low or very low knowledge of the cultural program, although only 11% demonstrated no intention of attending any activity during the event. The comparison of the mean scores of the expected 2012 ECOC impacts by gender reveals that the most valued and least valued factors are common to female and male respondents. With regard to the differences between those that intended to attend the event and the ones that did not, expected participants rated positive and negative impact factors more than did the ones that did not intend to attend.

Perceptions of residents of hosting the “Guimarães 2012 European Capital of Culture”: an ex-ante approach

The European Capital of Culture is an annual mega-event, which can provide a good forum though which to challenge and engage local citizens, thus generating feelings of common citizenship. In addition, it presents an ideal opportunity to promote the restructuring of the hosting urban space. However, the success of both the organization and the city that hosts the cultural event depends on the residents’ commitment towards it, the consistency of the tourism attractions and activities supplied, and the capacity of anticipating and monitoring the evolution of tourists’ preferences. The present study aims to assess the intention to participate and the impacts perceived by residents of Guimarães from hosting one of the 2012 European Capitals of Culture (2012 ECOC) in the ex-ante period (2011). Through a convenience sample of 471 usable surveys applied to the local population, conducted between October and December 2011, we tried to identify some of these potential impacts. According to the results received, 40% of residents had a low or very low knowledge of the cultural program, although only 11% demonstrated no intention of attending any activity during the event. The comparison of the mean scores of the expected 2012 ECOC impacts by gender reveals that the most valued and least valued factors are common to female and male respondents. With regard to the differences between those that intended to attend the event and the ones that did not, expected participants rated positive and negative impact factors more than did the ones that did not intend to attend.

Ex-ante evaluation by the media of the Guimarães 2012 European Capital of Culture

The nomination of Guimarães to host the 2012 European Capital of Culture (ECC) has put on the agenda of the city the need of measuring the effects that the implementation of this mega event could have in it and in the municipality a whole. The balance of the benefits and costs and an extended community involvement tend to reduce negative impacts and enhance positive ones. This chapter analyzes the involvement of population and local associations in the planning and organization of the 2012 Guimarães European Capital of Culture, using the coverage made during 2011 by local and national press of the mega event. A content analysis of the news published covering the period between January and December 2011 and using three newspapers was conducted. From those, two were local and weekly newspapers and one was a national daily one. Looking to data results, it can be concluded that it was poor the community involvement and, also, the one of the cultural associations in the organizations of the 2012 ECC. A strong negative reaction to the model choose to plan the mega event conducted by official organizers was found, which has cast doubts on the desirable participation of the residents and, consequently, on the success of the mega event, especially in a perspective of a medium and long term effects.

Application of Gage R&R methodology for improving the training and evaluation of automatic optical inspection machine operators

The current level of demand by customers in the electronics industry requires the production of parts with an extremely high level of reliability and quality to ensure complete confidence on the end customer. Automatic Optical Inspection (AOI) machines have an important role in the monitoring and detection of errors during the manufacturing process for printed circuit boards. These machines present images of products with probable assembly mistakes to an operator and him decide whether the product has a real defect or if in turn this was an automated false detection. Operator training is an important aspect for obtaining a lower rate of evaluation failure by the operator and consequently a lower rate of actual defects that slip through to the following processes. The Gage R&R methodology for attributes is part of a Six Sigma strategy to examine the repeatability and reproducibility of an evaluation system, thus giving important feedback on the suitability of each operator in classifying defects. This methodology was already applied in several industry sectors and services at different processes, with excellent results in the evaluation of subjective parameters. An application for training operators of AOI machines was developed, in order to be able to check their fitness and improve future evaluation performance. This application will provide a better understanding of the specific training needs for each operator, and also to accompany the evolution of the training program for new components which in turn present additional new difficulties for the operator evaluation. The use of this application will contribute to reduce the number of defects misclassified by the operators that are passed on to the following steps in the productive process. This defect reduction will also contribute to the continuous improvement of the operator evaluation performance, which is seen as a quality management goal.

Inv(f)erno da Universidade de Verão

Despesa em educação é investimento constitucional: art.s 75º e 76º da Constituição. Como referiu o director da Revista Ensino Superior, nº 53, pp. 4-5, ex-presidente do Sindicato Nacional do Ensino Superior, Professor da Faculdade de Economia da Universidade de Coimbra, Doutor Paulo Peixoto, o ensino superior tornou-se em grande parte uma “máquina de triturar intelectuais”. A tentativa de impor uma mentalidade única pode provocar a destruição da génese da própria universalidade. § Spending on education is constitutional investment: Articles 75 and 76 of the Constitution. As the director of the Journal of Higher Education, # 53, pp. 4-5, former president of the National Union of Higher Education, Professor of Economics, University of Coimbra, Dr. Paulo Peixoto, higher education has become largely an 'intellectual grinding machine. "The attempt to impose a single mindset may cause the destruction of the very universality genesis.

Resistência II: Direito Fundamental Constitucional

Invocava então o art. 21º da CRP. “Todos têm o direito de resistir a qualquer ordem que ofenda os seus direitos, liberdades e garantias e de repelir pela força qualquer agressão, quando não seja possível recorrer à autoridade pública”: art. 21º da Constituição. § Then invoked the art. 21 of the CRP. "Everyone has the right to resist any order that offends the rights, freedoms and guarantees and to resist by force any aggression when it is not possible to use public authority" means art. 21 of the Constitution.