Computational aspects of harmonic wavelet Galerkin methods and an application to a precipitation front propagation model

This article is dedicated to harmonic wavelet Galerkin methods for the solution of partial differential equations. Several variants of the method are proposed and analyzed, using the Burgers equation as a test model. The computational complexity can be reduced when the localization properties of the wavelets and restricted interactions between different scales are exploited. The resulting variants of the method have computational complexities ranging from O(N(3)) to O(N) (N being the space dimension) per time step. A pseudo-spectral wavelet scheme is also described and compared to the methods based on connection coefficients. The harmonic wavelet Galerkin scheme is applied to a nonlinear model for the propagation of precipitation fronts, with the front locations being exposed in the sizes of the localized wavelet coefficients. (C) 2011 Elsevier Ltd. All rights reserved.

Fenchyl substituted 1,2-dioxetanes as an alternative to adamantyl derivatives for bioanalytical applications

The synthesis and study of the chemiluminescence parameters and thermal stability of 1,2-dioxetanes containing a spirofenchyl substituent are reported. Three fenchyl-substituted 1,2-dioxetanes were synthesized by photooxygenation of the corresponding alkenes, obtained by Barton-Kellogg olefination of the readily available (-)-fenchone. The fenchyl-substituted 1,2-dioxetanes showed thermal stabilities similar to those of the corresponding spiroadamantyl-substituted derivatives, although being slightly more labile with respect to unimolecular decomposition than the latter derivatives, which are widely utilized as labels in a great variety of chemiluminescent immunoassays. Fluoride induced decomposition of one triggerable fenchyl 1,2-dioxetane derivative showed kinetic parameters similar to those of the corresponding adamantyl-substituted derivative. The chemiluminescence quantum yields in the one percent range are also similar to that of other widely utilized chemiluminescence systems as the luminol reaction. These results indicate that fenchyl-substituted 1,2-dioxetanes can potentially be utilized as a cheaper alternative to substitute the corresponding spiroadamantyl derivatives in bioanalytical applications. (C) 2010 Elsevier B.V. All rights reserved.

Expert system to calculate the cofficient of friction : an approach to enhance traffic safety

Friction plays a key role in causing slipperiness as a low coefficient of friction on the road may result in slippery and hazardous conditions. Analyzing the strong relation between friction and accident risk on winter roads is a difficult task. Many weather forecasting organizations use a variety of standard and bespoke methods to predict the coefficient of friction on roads. This article proposes an approach to predict the extent of slipperiness by building and testing an expert system. It estimates the coefficient of friction on winter roads in the province of Dalarna, Sweden using the prevailing weather conditions as a basis. Weather data from the road weather information system, Sweden (RWIS) was used. The focus of the project was to use the expert system as a part of a major project in VITSA, within the domain of intelligent transport systems

An approach to evaluate product verifications

Companies implement a module product assortment as a part of their strategy to, among others, shorten lead-times, increase the product quality and to create more product variants with fever parts. However, the increased number of variants becomes a challenging task for the personnel responsible for the product verifications. By implementing verifications at module level, so called MPV (Module Property Verification) several advantages ensue. The advantages is not only a decrease in cost of verifications, but also a decrease in repair times, occupied space, storages with spare parts, and repair tools. Further, MPV also give an increased product quality due to an increased understanding of which defects that may occur. As an approach to implement MPV, this paper discusses defects and verification processes based on a study at a Swedish company. It also describes a matrix which is used to map relations between company specific cost drivers and so called verification factors. The matrix may indicate cost drivers which have a large impact on the total cost of product verifications.

Transport and tourism : a weak symbiosis. An introduction to the special issue

“Tourism’s very existence depends on transport. Still, researchers in transportation and logistics do not show much interest in tourism whereas travel and tourism researchers pay more attention to accessibility than to transport.” These were the opening sentences of the call for papers for the TTRA European Chapter Conference “Transport and Tourism: Challenges, Issues and Conflicts” held in Rotterdam and Breda, The Netherlands from 22 to 24 April 2009.

Are schools able to bring sense into pupils' lives? - an experiment to use Antonovsky's concept sense of coherence from a school perspective. : Paper presented at the ENIRDEM conference in Kilkenny, Ireland 26th-29th September, 2002

Young people now spend a longer and longer period of their lives at school then ever before. Not always because that they want to, but because society has nothing else to offer. The situation in many schools may also, in different aspects, be seen as highly problematic. Andersson (2001) has, for example, found in a large longitudinal study - The Life Project – that schools seem to be adapted to the needs of only a minority of the students - around 30%. On the other hand school is badly adjusted to the requirements of another 30 %. This group of students often find school meaningless, uninteresting and boring. For these students school is mostly a waste of time. In such circumstances, it seems natural that society has a responsibility to offer young people a meaningful time at school, both here and now and to prepare them for a future live as adults, not only as a part of the work force.As a part of departure I briefly describe the model that Antonovsky has developed and try to use it in a school context instead. I have here, of course, no possibility to make a deeper analysis of a complex problem such as this.In Antonovsky’s spirit, using a salutogenic perspective, instead of asking ourselves why do pupils fail or perhaps also not like being at school we have to ask, instead: What it is that makes pupils successful? From this background the purpose of this paper is to discuss some aspects of how pupils may use different strategies to handle their school situation in a proper way.

With an eye to academia or vocation? A draft to a research plan

There is a profound need to increase the quality and status of vocational education and train-ing (VET) and vocational education and training education – Teacher training (VTE-TT). As a consequence of several reforms the requirements of academic achievements in these different education systems are distinctly higher than before. These high ambitions cause problems and the actors in school and teacher education has got new challenges. Furthermore, vocational education teachers are supposed to prepare their pupils both to a pro-fessional career and to future academic studies. Accordingly, Vocational Education Teacher Trainers are supposed to prepare their students both to a career as vocational teachers and for further academic studies. This makes imprints in the field of VET and VTE-TT. The aim of this paper is to present a coming study about how actors in VET and VTE-TT think and act in relation to their changed assignment.

AN APPROACH TO ILLUSTRATE STRATEGIES FOR IMPROVED ENERGY EFFICIENCY AT THE MUNICIPAL LEVEL

REESBE

Fred: An approach to generating real, correct, reusable programs from proofs

In this paper we describe our system for automatically extracting "correct" programs from proofs using a development of the Curry-Howard process. Although program extraction has been developed by many authors, our system has a number of novel features designed to make it very easy to use and as close as possible to ordinary mathematical terminology and practice. These features include 1. the use of Henkin's technique to reduce higher-order logic to many-sorted (first-order) logic; 2. the free use of new rules for induction subject to certain conditions; 3. the extensive use of previously programmed (total, recursive) functions; 4. the use of templates to make the reasoning much closer to normal mathematical proofs and 5. a conceptual distinction between the computational type theory (for representing programs)and the logical type theory (for reasoning about programs). As an example of our system we give a constructive proof of the well known theorem that every graph of even parity, which is non-trivial in the sense that it does not consist of isolated vertices, has a cycle. Given such a graph as input, the extracted program produces a cycle as promised.

Impacto das privatizações nas relações trabalhistas e sindicais - estudo comparativo de três casos ocorridos no sudeste brasileiro

O presente estudo discute o movimento das privatizações recentemente ocorridas e seus impactos nas relações trabalhistas e sindicais brasileiras. A discussão está focada em estudo de caso de três organizações, pertencentes a ramos de negócio diferentes e busca entender os reflexos havidos nas relações entre os agentes SOCIaIS envolvidos: empregados, empregadores, gerentes, sindicatos e autoridades. O fenômeno estudado se situa a partir da década de noventa e trás conseqüências ao movimento trabalhista, ao emprego e às relações capital e trabalho pelo potencial de conflito que as privatizações apresentam. Para organizar o pensamento desenvolvemos uma abordagem histórica que mostra o desenvolvimento das relações trabalhistas, com as organizações aperfeiçoando os instrumentos de regulação de conflito e construindo, com os empregados, uma considerável experiência de convivência ainda que marcada por interesses imediatos conflitantes. Um pouco à frente observamos uma ruptura que é explicitada pela definição do modelo vigente, pela internacionalização da economia que é imposta como um determinismo histórico e pela necessidade de sobrevivência das empresas submetidas à globalização e competição sem fronteiras. Ainda procuramos entender o movimento de flexibilização dos direitos trabalhistas que de algum modo se constituem em obstáculo à equalização competitiva dos custos das empresas e estão a sofrer forte pressão para que possam se adequar às novas realidades econômicas e necessidades empresariais. Na narrativa dos fatos apontamos erros e acertos observados e, de forma crítica, sugerimos alternativas aos modelos políticos e gerenciais adotados.

Business To Business (B2B) Service Processes: An Approach To Customer Complaint Process Evaluation Towards Service Excellence

Trabalho de Dissertação que identifica as decisões estratégicas relacionadas com a estrutura de gestão de serviços, no contexto de tratamento de reclamações. Os temas de recuperação de serviços e gestão de reclamações são discutidos e são listadas as melhores práticas com o objetivo de prover qualidade de serviço excelente. Este trabalho apresenta uma revisão da literatura sobre gestão de serviços e sua estratégia, e sobre valor aos clientes e sua satisfação. Qualidade de Serviço, Recuperação de Serviço e Gestão de Reclamações são revistos, também para contextualizar o processo de tratamento de reclamações de uma empresa do ramo industrial em ambiente de negócios entre empresas (business to business), cujos dados foram utilizados para construção do modelo de simulação de um processo de tratamento de reclamações. Os resultados desta simulação, junto com o suporte de um questionário sobre tratamento de reclamações, proveram pontos de reflexão e recomendações sobre desenho da estrutura de serviços e de seu desempenho, voltados para a satisfação dos clientes.