Role playing game eletrônico: uma tecnologia lúdica para aprender e ensinar matemática

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Diversification in the use of resources by Idarnes species: bypassing functional constraints in the fig-fig wasp interaction

Mutualisms such as the figfig wasp mutualism are generally exploited by parasites. We demonstrate that amongst nonpollinating fig wasps (NPFWs) parasitic on Ficus citrifolia, a species of Idarnes galls flowers and another species feeds on galls induced by other wasps killing their larvae. The galling wasp inserts its ovipositor through the fig wall into the fig cavity. The ovipositor then follows a sinuous path and is introduced through the stigma and style of the flower. The egg is deposited between the integument and nucellus, in the exact location where the pollinating mutualistic wasp would have laid its egg. Gall induction is a complex process. In contrast, the path followed by the ovipositor of the other species is straightforward: attacking a larva within a developed gall poses different constraints. Shifts in feeding regime have occurred repeatedly in NPFWs. Monitoring traits associated with such repeated evolutionary shifts may help understand underlying functional constraints. (c) 2012 The Linnean Society of London, Biological Journal of the Linnean Society, 2012, 106, 114122.

Design and implementation of a 3D computer game controller using inertial MEMS sensors

Though 3D computer graphics has seen tremendous advancement in the past two decades, most available mechanisms for computer interaction in 3D are high cost and targeted for industry and virtual reality applications. Recent advances in Micro-Electro-Mechanical-System (MEMS) devices have brought forth a variety of new low-cost, low-power, miniature sensors with high accuracy, which are well suited for hand-held devices. In this work a novel design for a 3D computer game controller using inertial sensors is proposed, and a prototype device based on this design is implemented. The design incorporates MEMS accelerometers and gyroscopes from Analog Devices to measure the three components of the acceleration and angular velocity. From these sensor readings, the position and orientation of the hand-held compartment can be calculated using numerical methods. The implemented prototype is utilizes a USB 2.0 compliant interface for power and communication with the host system. A Microchip dsPIC microcontroller is used in the design. This microcontroller integrates the analog to digital converters, the program memory flash, as well as the core processor, on a single integrated circuit. A PC running Microsoft Windows operating system is used as the host machine. Prototype firmware for the microcontroller is developed and tested to establish the communication between the design and the host, and perform the data acquisition and initial filtering of the sensor data. A PC front-end application with a graphical interface is developed to communicate with the device, and allow real-time visualization of the acquired data.

Understanding "Just Enough" Computer Users: Motivation Style and Proficiency

Among daily computer users who are proficient, some are flexible at accomplishing unfamiliar tasks on their own and others have difficulty. Software designers and evaluators involved with Human Computer Interaction (HCI) should account for any group of proficient daily users that are shown to stumble over unfamiliar tasks. We define "Just Enough" (JE) users as proficient daily computer users with predominantly extrinsic motivation style who know just enough to get what they want or need from the computer. We hypothesize that JE users have difficulty with unfamiliar computer tasks and skill transfer, whereas intrinsically motivated daily users accomplish unfamiliar tasks readily. Intrinsic motivation can be characterized by interest, enjoyment, and choice and extrinsic motivation is externally regulated. In our study we identified users by motivation style and then did ethnographic observations. Our results confirm that JE users do have difficulty accomplishing unfamiliar tasks on their own but had fewer problems with near skill transfer. In contrast, intrinsically motivated users had no trouble with unfamiliar tasks nor with near skill transfer. This supports our assertion that JE users know enough to get routine tasks done and can transfer that knowledge, but become unproductive when faced with unfamiliar tasks. This study combines quantitative and qualitative methods. We identified 66 daily users by motivation style using an inventory adapted from Deci and Ryan (Ryan and Deci 2000) and from Guay, Vallerand, and Blanchard (Guay et al. 2000). We used qualitative ethnographic methods with a think aloud protocol to observe nine extrinsic users and seven intrinsic users. Observation sessions had three customized phases where the researcher directed the participant to: 1) confirm the participant's proficiency; 2) test the participant accomplishing unfamiliar tasks; and 3) test transfer of existing skills to unfamiliar software.

Marker-Based Embodied Interaction for Handheld Augmented Reality Games

This article deals with embodied user interfaces for handheld augmented reality games, which consist of both physical and virtual components. We have developed a number of spatial interaction techniques that optically capture the device's movement and orientation relative to a visual marker. Such physical interactions in 3-D space enable manipulative control of mobile games. In addition to acting as a physical controller that recognizes multiple game-dependent gestures, the mobile device augments the camera view with graphical overlays. We describe three game prototypes that use ubiquitous product packaging and other passive media as backgrounds for handheld augmentation. The prototypes can be realized on widely available off-the-shelf hardware and require only minimal setup and infrastructure support.

The TViews Table Role-Playing Game

The TViews Table Role-Playing Game (TTRPG) is a digital tabletop role-playing game that runs on the TViews table, bridging the separate worlds of traditional role-playing games with the growing area of massively multiplayer online role-playing games. The TViews table is an interactive tabletop media platform that can track the location of multiple tagged objects in real-time as they are moved around its surface, providing a simultaneous and coincident graphical display. In this paper we present the implementation of the first version of TTRPG, with a content set based on the traditional Dungeons & Dragons rule-set. We also discuss the results of a user study that used TTRPG to explore the possible social context of digital tabletop role-playing games.

“Facebook Style”: The use of non-standard features in virtual speech conditioned by the medium Facebook

Facebook is a medium of social interaction producing its own style. I study how users from Malaga create this style through phonic features of the local variety and how they reflect on the use of these features. I then analyse the use of non-standard features by users from Malaga and compare them to an oral corpus. Results demonstrate that social factors work differently in real and virtual speech. Facebook communication is seen as a style serving to create social meaning and to express linguistic identity.

Aptitude–Treatment interaction effects in psychooncological interventions

Objective: To examine aptitude–treatment interaction (ATI) effects in cancer patients receiving psychoonco- logical interventions (POIs). Method: N=36 cancer patients were treated with POI. Hierarchical linear regression was used to test two interaction effects between patient baseline characteristics (aptitudes) and process analyses of therapy sessions (treatment) on change in mental health during POI. Results: Patients with high emotional distress did best when their therapy reduced arousal, and patients with lower emotional distress benefited most if therapists emphasized arousal induction. The interaction between the coping style of the patient (internalizing vs. externalizing) and the focus of the treatment (emotion vs. behavior) did not predict POI outcomes. Conclusions: The ATI effect of patient's distress and therapist's arousal induction/reduction may help therapists to make differential treatment decisions in POI. Tailoring treatments to cancer patients based on their personal characteristics may enhance the effectiveness of POI.

“Facebook Style”: The Use of Emoticons and Graphic Signs by Users in the Cape Flats

Over the last few years Facebook has become a widespread and continuously expanding medium of communication in Africa and worldwide. Being a new medium of social interaction, Facebook produces its own communication style. It is a style conditioned by the medium and the community of users. My focus of analysis is how Facebook users from the city of Cape Town create this style by means of emoticons and other graphic signs in order to reflect the reality of living in Cape Town’s underprivileged areas. This study is based on a theoretical framework which combines sociolinguistics with Computer-Mediated-Communication to study the emergence of a style peculiar of the online social networks. In a corpus of Coloured Facebook users from the Cape Flats, I have analysed the emergence of emoticons and other graphic signs related to Capetonian gang culture and then tracked the spread of these features to the extensive use by users not related to gangs. It can be deduced that in this process the analysed features amplify their meaning and are employed in a much broader context as their original use. Due to the development and spread of these features we can consider the peculiar electronic communication of Facebook as a style constrained by the electronic medium and its users. It is a style which serves the users to create social meaning and to express their linguistic identities.

Facebook style: The use of non-standard features in virtual speech conditioned by the medium Facebook

Over the last few years Facebook has become a widespread and continuously expanding medium of communication. Being a new medium of social interaction, Facebook produces its own communication style. My focus of analysis is how Facebook users from the city of Malaga create this style by means of phonic features typical of the Andalusian variety and how the users reflect on the use of these phonic features. This project is based on a theoretical framework which combines variationist sociolinguistics with CMC to study the emergence of a style peculiar of the online social networks. In a corpus of Facebook users from three zones of Malaga, I have analysed the use of non-standard phonic features and then compared them with the same features in a reference corpus collected on three beaches of Malaga. From this comparison it can be deduced that the analysed social and linguistic factors work differently in real and virtual speech. Due to these different uses we can consider the peculiar electronic communication of Facebook as a style constrained by the electronic medium. It is a style which serves the users to create social meaning and to express their linguistic identities.

Kinetics and kinematics of the tölt: effects of rider interaction and shoeing manipulations

Introduction . Compared to most equine horse breeds which are able to walk, trot and canter /gallop, the gait repertoire of the Icelandic horses additionally includes the lateral gait tölt and frequently also the pace. With respect to the tölt gait, special shoeing, saddling and riding techniques have been developed for Icelandic horses in order to enhance its expressiveness and regularity. Toes are left unnaturally long and heavy shoes and paddings, as well as weighted boots are used to enforce the individual gait predisposition. For the same reason, the rider is placed more caudally to the horse's centre of mass as compared to other riding techniques. The biomechanical impact of these methods on the health of the locomotor system has so far never been subject of systematic research. Objectives . The aims of the presented study are (1) to describe the kinetic and kinematic characteristics of the tölt performed on a treadmill, (2) to understand the mechanical consequences of shoeing manipulation (long hooves, weighted boots) on the loading and protraction movement of the limbs, as well as (3) to study the pressure distribution and effects on the gait pattern of 3 different saddle types used for riding Icelandic horses. Materials and methods . Gait analysis was carried out in 13 Icelandic horses at walk and at slow and medium tölting and trotting speeds on a high-speed treadmill instrumented for measuring vertical ground reaction forces as well as temporal and spatial gait variables. Kinematic data of horse, rider and saddle were measured simultaneously. Gait analysis was first carried out with high, long hooves (SH) without and in combination with weighted boots (ad aim (2)). Afterwards, horses were re-shod according to current horseshoeing standards (SN) and gait analysis was repeated (ad aims (1) and (2)). In a second trial, horses were additionally equipped with a pressure sensitive saddle mat and were ridden with a dressage-like saddle (SDres), an Icelandic saddle (Slcel) and a saddle cushion (SCush) in the standard saddle position (ad aim 3). Results and conclusions . Compared to trot at the same speed, tölting horses had a higher stride rate and lower stride impulses. At the tölt loading of the forelimbs was increased in form of higher peak vertical forces (Fzpeak) due to shorter relative stance durations (StDrel). Conversely, in the hindlimbs, longer StDrel resulted in lower Fzpeak. Despite the higher head-neck position at tölt, there was no measurable shift in weight to the hindlimbs. Footfall rhythm was in most horses laterally coupled at the tölt and frequently had a slight fourbeat and a very short suspension phase at trot; underlining the fact that performance of correct gaits in Icelandic horses needs special training. Gait performance as it is currently judged in competition could be improved using a shoeing with SH, resulting in a 21 ± 5 mm longer dorsal hoof wall, but also a weight gain of 273 ± 50 g at the distal limb due to heavier shoeing material. Compared to SN, SH led to a lower stride rate, a longer stride length and a higher, but not wider, forelimb protraction arc, which were also positively associated with speed. At the tölt, the footfall rhythm showed less tendency to lateral couplets and at the trot, the suspension phase was longer. However, on the long term, SH may have negative implications for the health of the palmar structures of the distal foot by increased limb impulses, higher torques at breakover (up to 20%); as well as peak vertical forces at faster speeds. Compared to the shoeing style, the saddle type had less influence on limb forces or movements. The slight weight shift to the rear with SCush and Slcel may be explained by the more caudal position of the rider relative to the horse's back. With SCush, pressure was highest under the cranial part of the saddle, whereas the saddles with trees had more pressure under the caudal area.

Bargaining for power and information : an experimental and theoretical analysis of the interaction between institutions, externalities and adverse selection

Bargaining is the building block of many economic interactions, ranging from bilateral to multilateral encounters and from situations in which the actors are individuals to negotiations between firms or countries. In all these settings, economists have been intrigued for a long time by the fact that some projects, trades or agreements are not realized even though they are mutually beneficial. On the one hand, this has been explained by incomplete information. A firm may not be willing to offer a wage that is acceptable to a qualified worker, because it knows that there are also unqualified workers and cannot distinguish between the two types. This phenomenon is known as adverse selection. On the other hand, it has been argued that even with complete information, the presence of externalities may impede efficient outcomes. To see this, consider the example of climate change. If a subset of countries agrees to curb emissions, non-participant regions benefit from the signatories’ efforts without incurring costs. These free riding opportunities give rise to incentives to strategically improve ones bargaining power that work against the formation of a global agreement. This thesis is concerned with extending our understanding of both factors, adverse selection and externalities. The findings are based on empirical evidence from original laboratory experiments as well as game theoretic modeling. On a very general note, it is demonstrated that the institutions through which agents interact matter to a large extent. Insights are provided about which institutions we should expect to perform better than others, at least in terms of aggregate welfare. Chapters 1 and 2 focus on the problem of adverse selection. Effective operation of markets and other institutions often depends on good information transmission properties. In terms of the example introduced above, a firm is only willing to offer high wages if it receives enough positive signals about the worker’s quality during the application and wage bargaining process. In Chapter 1, it will be shown that repeated interaction coupled with time costs facilitates information transmission. By making the wage bargaining process costly for the worker, the firm is able to obtain more accurate information about the worker’s type. The cost could be pure time cost from delaying agreement or cost of effort arising from a multi-step interviewing process. In Chapter 2, I abstract from time cost and show that communication can play a similar role. The simple fact that a worker states to be of high quality may be informative. In Chapter 3, the focus is on a different source of inefficiency. Agents strive for bargaining power and thus may be motivated by incentives that are at odds with the socially efficient outcome. I have already mentioned the example of climate change. Other examples are coalitions within committees that are formed to secure voting power to block outcomes or groups that commit to different technological standards although a single standard would be optimal (e.g. the format war between HD and BlueRay). It will be shown that such inefficiencies are directly linked to the presence of externalities and a certain degree of irreversibility in actions. I now discuss the three articles in more detail. In Chapter 1, Olivier Bochet and I study a simple bilateral bargaining institution that eliminates trade failures arising from incomplete information. In this setting, a buyer makes offers to a seller in order to acquire a good. Whenever an offer is rejected by the seller, the buyer may submit a further offer. Bargaining is costly, because both parties suffer a (small) time cost after any rejection. The difficulties arise, because the good can be of low or high quality and the quality of the good is only known to the seller. Indeed, without the possibility to make repeated offers, it is too risky for the buyer to offer prices that allow for trade of high quality goods. When allowing for repeated offers, however, at equilibrium both types of goods trade with probability one. We provide an experimental test of these predictions. Buyers gather information about sellers using specific price offers and rates of trade are high, much as the model’s qualitative predictions. We also observe a persistent over-delay before trade occurs, and this mitigates efficiency substantially. Possible channels for over-delay are identified in the form of two behavioral assumptions missing from the standard model, loss aversion (buyers) and haggling (sellers), which reconcile the data with the theoretical predictions. Chapter 2 also studies adverse selection, but interaction between buyers and sellers now takes place within a market rather than isolated pairs. Remarkably, in a market it suffices to let agents communicate in a very simple manner to mitigate trade failures. The key insight is that better informed agents (sellers) are willing to truthfully reveal their private information, because by doing so they are able to reduce search frictions and attract more buyers. Behavior observed in the experimental sessions closely follows the theoretical predictions. As a consequence, costless and non-binding communication (cheap talk) significantly raises rates of trade and welfare. Previous experiments have documented that cheap talk alleviates inefficiencies due to asymmetric information. These findings are explained by pro-social preferences and lie aversion. I use appropriate control treatments to show that such consideration play only a minor role in our market. Instead, the experiment highlights the ability to organize markets as a new channel through which communication can facilitate trade in the presence of private information. In Chapter 3, I theoretically explore coalition formation via multilateral bargaining under complete information. The environment studied is extremely rich in the sense that the model allows for all kinds of externalities. This is achieved by using so-called partition functions, which pin down a coalitional worth for each possible coalition in each possible coalition structure. It is found that although binding agreements can be written, efficiency is not guaranteed, because the negotiation process is inherently non-cooperative. The prospects of cooperation are shown to crucially depend on i) the degree to which players can renegotiate and gradually build up agreements and ii) the absence of a certain type of externalities that can loosely be described as incentives to free ride. Moreover, the willingness to concede bargaining power is identified as a novel reason for gradualism. Another key contribution of the study is that it identifies a strong connection between the Core, one of the most important concepts in cooperative game theory, and the set of environments for which efficiency is attained even without renegotiation.

Precise set sharin analysis for java-style programs (and proofs).

Finding useful sharing information between instances in object- oriented programs has recently been the focus of much research. The applications of such static analysis are multiple: by knowing which variables definitely do not share in memory we can apply conventional compiler optimizations, find coarse-grained parallelism opportunities, or, more importantly, verify certain correctness aspects of programs even in the absence of annotations. In this paper we introduce a framework for deriving precise sharing information based on abstract interpretation for a Java-like language. Our analysis achieves precision in various ways, including supporting multivariance, which allows separating different contexts. We propose a combined Set Sharing + Nullity + Classes domain which captures which instances do not share and which ones are definitively null, and which uses the classes to refine the static information when inheritance is present. The use of a set sharing abstraction allows a more precise representation of the existing sharings and is crucial in achieving precision during interprocedural analysis. Carrying the domains in a combined way facilitates the interaction among them in the presence of multivariance in the analysis. We show through examples and experimentally that both the set sharing part of the domain as well as the combined domain provide more accurate information than previous work based on pair sharing domains, at reasonable cost.

Precise set sharing and nullity analysis for java-style program

Finding useful sharing information between instances in object- oriented programs has been recently the focus of much research. The applications of such static analysis are multiple: by knowing which variables share in memory we can apply conventional compiler optimizations, find coarse-grained parallelism opportunities, or, more importantly,erify certain correctness aspects of programs even in the absence of annotations In this paper we introduce a framework for deriving precise sharing information based on abstract interpretation for a Java-like language. Our analysis achieves precision in various ways. The analysis is multivariant, which allows separating different contexts. We propose a combined Set Sharing + Nullity + Classes domain which captures which instances share and which ones do not or are definitively null, and which uses the classes to refine the static information when inheritance is present. Carrying the domains in a combined way facilitates the interaction among the domains in the presence of mutivariance in the analysis. We show that both the set sharing part of the domain as well as the combined domain provide more accurate information than previous work based on pair sharing domains, at reasonable cost.