• Research softwareclose
• Other research productsclose
• RO close
• English close

In this talk, we present another case study in the general program of proof mining in fixed point theory. Thus, we generalize results obtained by W. Kirk in the theory of approximated fixed points of nonexpansive mappings in product spaces

This paper presents a strategic analysis of SNC Lavalin ATP, a business unit of SNC Lavalin Group operating in the power transmission industry in Alberta. It analyses the attractiveness of the business environment, determines ATP’s competitive position in the industry, develops and assesses strategies for company’s growth, and recommends the implementation of the most feasible alternative. The industry analysis introduces the new concept of key success factors strategic congruence. This emphasizes the need for alignment between the key success factors pertaining to the firm, industry, and client industry, ensuring that the ultimate customer is considered when ranking ATP’s key success factors. The internal analysis is performed using the Diamond-E model. Management preferences have a profound impact and two proposals fail because they do not satisfy these requirements. The recommendation section proposes the execution of successful alternative, based on a detailed implementation plan presenting the timelines, division of responsibilities and costs.

We investigate the power of voting among diverse, randomized software agents. With teams of computer Go agents in mind, we develop a novel theoretical model of two-stage noisy voting that builds on recent work in machine learning. This model allows us to reason about a collection of agents with different biases (determined by the first-stage noise models), which, furthermore, apply randomized algorithms to evaluate alternatives and produce votes (captured by the second-stage noise models). We analytically demonstrate that a uniform team, consisting of multiple instances of any single agent, must make a significant number of mistakes, whereas a diverse team converges to perfection as the number of agents grows. Our experiments, which pit teams of computer Go agents against strong agents, provide evidence for the effectiveness of voting when agents are diverse.

https://viurrspace.ca/bitstream/handle/10613/17986/Dec30-1897.pdf?sequence=2

Placed in magazines, newspapers, billboard, subway stations, airports, public places, advertising panels, public or private institutions, QR codes meet an increased popularity by instantly connecting any consumer to details of products, discounts, events, payment and purchasing services or direct access to any web address. All of these aspects already exist in any consumer’s life but in an unstructured process which now can be summarized by a single code scan, using a common camera based device. In this paper we determine whether the massive implementation of QR codes would accelerate virtualized consumption and perform towards profitability as a new strategic resource.

https://viurrspace.ca/bitstream/handle/10613/10195/Jun21-1926.pdf?sequence=2&isAllowed=y