Why and how mathematicians read proofs: an exploratory study

In this paper, we report a study in which nine research mathematicians were interviewed with regard to the goals guiding their reading of published proofs and the type of reasoning they use to reach these goals. Using the data from this study as well as data from a separate study (Weber, Journal for Research in Mathematics Education 39:431–459, 2008) and the philosophical literature on mathematical proof, we identify three general strategies that mathematicians employ when reading proofs: appealing to the authority of other mathematicians who read the proof, line-by-line reading, and modular reading. We argue that non-deductive reasoning plays an important role in each of these three strategies.     

Analysis of integrated STATCOM-SMES based on three-phase three-level multi-pulse voltage source inverter for high power utility applications

This paper is aimed to investigate the operating characteristics of a static synchronous compensator (STATCOM) integrated with superconducting magnetic energy storage (SMES) for high power applications in the transmission network level. The STATCOM controller topology comprises multi-level multi-pulse neutral-point clamped-type (NPC) voltage source inverters (VSIs) using the harmonics cancellation technique, and incorporates a SMES coil. An innovative two-quadrant multi-level dc-dc converter is proposed to effectively interface the STATCOM with the superconducting coil using a buck-boost topology with neutral point voltage control capabilities; thus enabling to simultaneously control both active and reactive power exchange with the high voltage power system. A detailed analysis of major system variables is presented, including analytical results and digital simulations using the MATLAB/Simulink environment. Moreover, a three-level control scheme is designed, including a full decoupled current control strategy in the d-q reference frame with a novel controller to prevent the STATCOM dc bus capacitors voltage drift/imbalance and an enhanced power system frequency controller.     

Users as service innovators: The case of banking services

Many services can be self-provided. An individual user or a user firm can, for example, choose to do its own accounting - choose to self-provide that service - instead of hiring an accounting firm to provide it. Since users can ‘serve themselves’ in many cases, it is reasonable to suspect that they can also innovate with respect to the services they self-provide - possibly without the assistance of service providers.In this paper, we conduct the first quantitative exploration of the importance of services innovation by users, focusing on the field of commercial and retail banking services. We find that 55% of today's computerized commercial banking services were first developed and implemented by non-bank firms for their own use, and 44% of today's computerized retail banking services were first developed and implemented by individual service users rather than by commercial financial service providers. Manual precursors to these services - manual procedures that carried out functions similar to computerized services in our sample - were almost always developed by users as self-services.Our empirical findings differ significantly from prevalent producer-centered views of service development. We speculate that the patterns we have observed in banking with respect to the major role of users in service development will prove to be quite general. If so, this will be an important matter: on the order of 75% of GDP in advanced economies today is derived from services. We discuss the implications of our findings for research and practice in service development.     

Software product evolution for Intellectual Capital Management: The case of Meta4 PeopleNet

Software must evolve in order to adapt to new demands and scenarios. In the case of packaged software that can be customized, this evolution implies the maintenance of both out-of-the-box and customized functionality alike. New user interface technologies provide a way to interact with applications that software vendors are forced to incorporate in order to meet new user and market requirements. Packaged software vendors are facing software evolution processes in order to attract more customers and conserve the existing ones. This case analysis describes the evolution of packaged software, Meta4 PeopleNet, towards the addiction of Rich Internet Applications features to a Human and Intellectual Capital Management tool. The findings and lessons learned presented in this case study provide useful insights for packaged software vendors facing software product evolution.     

How full is your luggage? Background knowledge of zoo visitors regarding sharks

For the general population, sharks have a reputation that does not really fit with their biological and ecological nature. Informal surveys often classify sharks as dangerous, aggressive and/or man-eaters. This apparent common knowledge seems difficult to detach from the conscience of many worldwide zoo visitors, even with the help of shark-focused educational programmes. As so, how can zoos and aquariums contribute to a change in this paradigm? Are the education and conservation strategies effective to the average zoo visitor? In this study, young visitors’ perceptions regarding sharks were assessed with the goal of identifying a valid Learning Progression, thus helping to update and develop different and more effective educational strategies and methodologies. The study took place at Zoomarine, an oceanographic park located in southern Portugal, with visitors aged between 8 and 16. A case study was conducted using a qualitative research approach (drawings and interviews) resulting in a Learning Progression Hypothesis. The proposed Learning Progression is composed of three knowledge levels for the participants’ biological perceptions regarding sharks. The results of this study showed a clear predominance of anthropomorphic and anthropocentric visions, as well as a utilitarian view of sharks and ecosystem, thus conditioning the visitors’ epistemological knowledge.     

Incidence and risk for traumatic and overuse injuries in top-level road cyclists

All traumatic and overuse injuries occurring during an average period of 4 years (2002/09) in a group of 51 currently active road top-level cyclists were retrospectively registered through clinical interviews. Average age was 25.8 years. Average training and competition period was 28.3 ± 2.4 h a week. Only 8 cyclists (15.6%) were completely free from lesions during the period of study. The remaining 43 cyclists suffered a total of 112 lesions; however, 9 out of these were unrelated to their cycling practice. These 103 cycling-related injuries include 50 (48.5%) traumatic and 53 (51.5%) overuse injuries. Twenty-eight fractures were reported, the clavicle being the most frequently affected bone (11 cases). The 68.5% of overuse injuries were located in the lower limbs. Most overuse injuries (89.6%) occurred during the training period. According to the injury abbreviated scale (AIS), severe lesions were only found in 4 cases (8% of traumatic injuries). Overall injury rates were 0.50 per racer/year, 2.02 per studied racer, and 0.007 per 1000 km of training and competition. Active professional top-level cyclists are exposed to a high injury risk. According to the scarce previously published data the current study provides relevant information on the injury occurrence of still active top-level road cycling.     

Effect of positioning on the accuracy of decision making of association football top-class referees and assistant referees during competitive matches

Abstract The aim of this study was to examine the effect of positioning on the correctness of decision making of top-class referees and assistant referees during international games. Match analyses were carried out during the Fédération Internationale de Football Association (FIFA) Confederations Cup 2009 and 380 foul play incidents and 165 offside situations were examined. The error percentage for the referees when indicating the incidents averaged 14%. The lowest error percentage occurred in the central area of the field, where the collaboration of the assistant referee is limited, and was achieved when indicating the incidents from a distance of 11-15?m, whereas this percentage peaked (23%) in the last 15-min match period. The error rate for the assistant referees was 13%. Distance of the assistant referee to the offside line did not have an impact on the quality of the offside decision. The risk of making incorrect decisions was reduced when the assistant referees viewed the offside situations from an angle between 46 and 60°. Incorrect offside decisions occurred twice as often in the second as in the first half of the games. Perceptual-cognitive training sessions specific to the requirements of the game should be implemented in the weekly schedule of football officials to reduce the overall error rate.