Real-Time Global Illumination for VR Applications

Real-time global illumination in VR systems enhances scene realism by incorporating soft shadows, reflections of objects in the scene, and color bleeding. The Virtual Light Field (VLF) method enables real-time global illumination rendering in VR. The VLF has been integrated with the Extreme VR system for real-time GPU-based rendering in a Cave Automatic Virtual Environment.     

Optimal infinite scheduling for multi-priced timed automata

This paper is concerned with the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start out by introducing an extension of the (priced) timed automata model that includes both costs and rewards as separate modelling features. A precise definition is then given of what constitutes optimal infinite behaviours for this class of models. We subsequently show that the derivation of optimal non-terminating schedules for such double-priced timed automata is computable. This is done by a reduction of the problem to the determination of optimal mean-cycles in finite graphs with weighted edges. This reduction is obtained by introducing the so-called corner-point abstraction, a powerful abstraction technique of which we show that it preserves optimal schedules. This work has been mostly done while visiting CISS at Aalborg University in Denmark and has been supported by CISS and by ACI Cortos, a program of the French Ministry of Research.     

Optimization of friction stir welding using space mapping and manifold mapping—an initial study of thermal aspects

The aim of this paper is to optimize a thermal model of a friction stir welding process by finding optimal welding parameters. The optimization is performed using space mapping and manifold mapping techniques in which a coarse model is used along with the fine model to be optimized. Different coarse models are applied and the results and computation time are compared to gradient based optimization using the full model. It is found that the use of space and manifold mapping reduces the computational cost significantly due to the fact that fewer function evaluations and no fine model gradient information is required.     

Detection of urinary biomarkers for early diagnosis of acute renal allograft rejection by proteomic analysis

Acute allograft rejection has been recognized as a major impediment to improved success in renal transplantation. Timely detection and control of rejection are very important for the improvement in long-term renal allograft survival. Thus, biomarkers for early diagnosis of acute rejection are required urgently to clinical medication. This study seeks to search for such biomarker candidates by comparing patients' pre-treatment urinary protein profiling with their post-treatment urinary protein profiling. A total of 15 significantly and consistently down-regulated protein candidates were identified. Among them, alpha-1-antichymotrypsin precursor (AACT), tumor rejection antigen gp96 (GP96) and Zn-Alpha-2-Glycoprotein (ZAG) were selected for further analysis. The results indicated that Western Blot assay of AACT, GP96 and ZAG had advanced the diagnosis time of acute renal rejection by 3 days, compared with current standard clinical observation and laboratory examination. Furthermore, the double-blind detection revealed that the accuracy, sensitivity and specificity of the diagnosis of acute renal rejection of AACT, GP96 and ZAG were 66.67%/100%/60%, 83.33%/100%/80% and 66.67%/100%/60%, respectively, and 100%/100%/100% in combination. In conclusion, urinary protein AACT, GP96 and ZAG could be a set of potential biomarkers for early non-invasive diagnosis of the acute rejection after renal transplantation.     

The mitigation hierarchy upside down – a study of nature protection measures in Danish infrastructure projects

This paper presents a Danish study of mitigation directed at nature protection in environmental impact assessment (EIA) of infrastructure projects. The study is based on a document analysis of EIA reports, a workshop held with EIA professionals, and a study of two cases. The paper takes a point of departure in the mitigation hierarchy as a central conceptual framework, identifies which mitigation measures have been suggested in the EIA reports, and compares this to the mitigation hierarchy. Further, the paper explores the dynamics behind which mitigation measures are chosen and later implemented. The findings point to a discrepancy between the prevention principle embedded in the mitigation hierarchy and the actual EIA practice with increased use of nature compensation. Further, the research reveals significant variation in the design of mitigation measures, e.g. in the level of detail used in describing them and the level of clarity as to aims and actions.     

Disruption management in the airline industry—Concepts,models and methods

This paper provides a thorough review of the current state-of-the-art within airline disruption management of resources, including aircraft, crew, passenger and integrated recovery. An overview of model formulations of the aircraft and crew scheduling problems is presented in order to emphasize similarities between solution approaches applied to the planning and recovery problems. A brief overview of research within schedule robustness in airline scheduling is included in the review, since this proactive measure is a natural complement to disruption management.     

A generalization of Paillier’s public-key system with applications to electronic voting

We propose a generalization of Paillier’s probabilistic public-key system, in which the expansion factor is reduced and which allows to adjust the block length of the scheme even after the public key has been fixed, without losing the homomorphic property. We show that the generalization is as secure as Paillier’s original system and propose several ways to optimize implementations of both the generalized and the original scheme. We construct a threshold variant of the generalized scheme as well as zero-knowledge protocols to show that a given ciphertext encrypts one of a set of given plaintexts, and protocols to verify multiplicative relations on plaintexts. We then show how these building blocks can be used for applying the scheme to efficient electronic voting. This reduces dramatically the work needed to compute the final result of an election, compared to the previously best known schemes. We show how the basic scheme for a yes/no vote can be easily adapted to casting a vote for up to t out of L candidates. The same basic building blocks can also be adapted to provide receipt-free elections, under appropriate physical assumptions. The scheme for 1 out of L elections can be optimized such that for a certain range of the other parameter values, the ballot size is logarithmic in L.     

Measuring the coolness of interactive products: the COOL questionnaire

Coolness has recently started to be explored as a design goal for interactive products from practitioners as well as researchers within human–computer interaction (HCI), but there is still a need to further operationalise the concept and explore how we can measure it. Our contribution in this paper is the COOL questionnaire. We based the creation of the questionnaire on literature suggesting that perceived coolness is decomposed to outer cool (the style of a product) and inner cool (the personality characteristics assigned to it). In this paper, we focused on inner cool, and we identified 11 inner cool characteristics. These were used to create an initial pool of question items and 2236 participants were asked to assess 16 mobile devices. By performing exploratory and confirmatory factor analyses, we identified three factors that can measure the perceived inner coolness of interactive products: desirability, rebelliousness and usability. These factors and their underlying 16 question items comprise the COOL questionnaire. The whole process of creating the questionnaire is presented in detail in this paper and we conclude by discussing our work against related work on coolness and HCI.