1,234 research outputs found
Slavnov-Taylor identities, non-commutative gauge theories and infrared divergences
In this work we clarify some properties of the one-loop IR divergences in
non-Abelian gauge field theories on non-commutative 4-dimensional Moyal space.
Additionally, we derive the tree-level Slavnov-Taylor identities relating the
two, three and four point functions, and verify their consistency with the
divergent one-loop level results. We also discuss the special case of two
dimensions.Comment: 21 pages, 3 figures; v2: minor corrections and references adde
Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis
In this paper we briefly review techniques used in formal hardware verification. An advanced flow emerges from integrating two major methodological improvements: debugging support and coverage analysis. The verification engineer can locate the source of a failure with an automatic debugging support. Components are identified which explain the discrepancy between the property and the circuit behavior.This method is complemented by an approach to analyze functional coverage of the proven Bounded Model Checking(BMC) properties. The approach automatically determines whether the property set is complete or not. In the latter case coverage gaps are returned. Both techniques are integrated in an enhanced verification flow. A running example demonstrates the resulting advantages
Trophic Differentiation In Ilyodon, A Genus Of Stream‐Dwelling Goodeid Fishes: Speciation Versus Ecological Polymorphism
Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/137594/1/evo04814.pd
Formal Verification of Abstract SystemC Models
In this paper we present a formal verification approach for abstract SystemC models. The approach allows checking expressive properties and lifts induction known from bounded model checking to a higher level, to cope with the large state space of abstract SystemC programs. The technique is tightly integrated with our SystemC to C transformation and generation of monitoring logic to form a complete and efficient method. Properties specifying both hardware and software aspects, e.g. pre- and post-conditions as well as temporal relations of transactions and events, can be specified. As shown by experiments modern proof techniques allow verifying important non-trivial behavior. Moreover, our inductive technique gives significant speed-ups in comparison to simple methods
Mindfulness Promotes the Ability to Deliver Performance in Highly Demanding Situations
Trait mindfulness helps people handle distress and improves their satisfaction with life. The aim of the present paper is to examine whether trait mindfulness also promotes positive functioning (i.e., performance) in highly demanding situations, such as in elite sports. Mindfulness has been shown to improve athletes’ ability to perform well, i.e., to increase their performance-delivery. However, researchers are still speculating about the underlying mechanism. The present research examines whether trait mindfulness enhances the ability of elite athletes to trigger performance in demanding situations by generally reducing competition anxiety and diminishing its negative impact when it occurs. Participants were 133 elite athletes from 23 different sports. They completed measures of trait mindfulness, competition anxiety, and performance-delivery. Mediation, moderation, and moderated-mediation effects of mindfulness and competition anxiety on performance-delivery were tested. Our findings indicate that trait mindfulness is related to fewer performance worries and prevents the remaining worries from influencing athletes’ behavior, thereby helping them to perform better. Implications and directions for further research are discussed. Apart from benefits for psychological health, instructing people to become more mindful might be a promising approach to help them optimize their performance in demanding situations
Psychological skills training and a mindfulness-based intervention to enhance functional athletic performance: design of a randomized controlled trial using ambulatory assessment
Background: Struggling to deliver performance in competitions is one of the main reasons why athletes seek the advice of sport psychologists. Psychologists apply a variety of intervention techniques, many of which are not evidence-based. Evidence-based techniques promote quality management and could help athletes, for example, to increase and maintain functional athletic behavior in competitions/games (i.e., being focused on task relevant cues and executing movements and actions in high quality). However, well-designed trials investigating the effectiveness of sport psychological interventions for performance enhancement are scarce. The planed study is founded by the Swiss National Science Foundation and examines the effectiveness of two interventions with elite and sub-elite athletes. A psychological skills training (PST) and a mindfulness-based intervention (MI), administered as group-program, will be compared to a waiting-list control group concerning how they enhance functional athletic behavior - which is a prerequisite for optimal performance. Furthermore, we will investigate underlying mechanisms (mediators) and moderators (e.g., task difficulty, individual characteristics, intervention-expectancy and intervention-integrity).
Methods/design: The presented trial uses a randomized controlled design with three groups, comparing PST, MI and a waiting list control condition. Both group interventions will last 5 weeks, consist of four 2 h sessions and will be administered by a trained sport psychologist. Primary outcome is functional athletic behavior assessed using ambulatory assessment in a competition/game. As secondary outcomes competition anxiety, cognitive interference and negative outcome expectations will be assessed. Assessments are held at pre- and post-intervention as well as at 2 months follow up. The study has been approved by the ethical committee of the Swiss Federal Institute of Sport.
Discussion: Both PST and MI are expected to help improve functional behavior in athletes. By examining potential mechanisms of change and moderators of outcome we will not only be able to answer the question whether the interventions work, but also how, under what conditions, and for whom. This study may also fill a gap in sport psychology research, considering the current lack of randomized controlled trials. In the future, researchers could use the presented study protocol as template to investigate similar topics in sport psychology
NETVOLC: An algorithm for automatic delimitation of volcano edifice boundaries using DEMs
Accurately delimiting boundaries is required for characterizing landforms through measurement of their geomorphometric parameters. Volcanism produces a wide range of landforms, from symmetric cones to very irregular massifs, that can gradually merge with the surroundings and contain other elements, thus complicating landform delimitation. Most morphometric studies of volcanoes delimit landforms manually, with the inconvenience of being time-consuming and subjective. Here we propose an algorithm, NETVOLC, for automatic volcano landform delimitation based on the premise that edifices are bounded by concave breaks in slope. NETVOLC applies minimum cost flow (MCF) networks for computing the best possible edifice outline using a DEM and its first- and second-order derivatives. The main cost function considers only profile convexity and aspect; three alternative functions (useful in complex cases) also consider slope, elevation and/or radial distance. NETVOLC performance is tested by processing the Mauna Kea pyroclastic cone field. Results using the main cost function compare favorably to manually delineated outlines in 2/3rds of cases, whereas for the remaining 1/3rd of cases an alternative cost function is needed, introducing some degree of subjectivity. Our algorithm provides a flexible, objective and time-saving tool for automatically delineating volcanic edifices. Furthermore, it could be used for delineating other landforms with concave breaks in slope boundaries. Finally, straightforward modifications can be implemented to extend the algorithm capabilities for delimiting landforms bounded by convex breaks in slope, such as summit craters and calderas.Fil: Euillades, Leonardo Daniel. Universidad Nacional de Cuyo. Facultad de Ingenieria. Instituto de Capacitación Especial y Desarrollo de Ingeniería Asistida por Computadora; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Mendoza; ArgentinaFil: Grosse, Pablo. Fundación Miguel Lillo; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Euillades, Pablo Andrés. Universidad Nacional de Cuyo. Facultad de Ingenieria. Instituto de Capacitación Especial y Desarrollo de Ingeniería Asistida por Computadora; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Mendoza; Argentin
Differential and shared effects of psychological skills training and mindfulness training on performance-relevant psychological factors in sport: a randomized controlled trial
Background: Mental training intends to support athletes in mastering challenges in sport. The aim of our study was to investigate the differential and shared effects of psychological skills training and mindfulness training on psychological variables relevant to athletic performance (e.g., handling emotions or attention control). We assumed that each approach has its own strengths (e.g., mindfulness has a differential effect on the acceptance of emotions), but for some goals (e.g., attention control), both training forms are expected to be equally successful (i.e., shared effects).
Methods: A total of 95 athletes (Mage = 24.43, SDage = 5.15; 49% female) were randomly assigned into three groups: psychological skills training intervention (PST), mindfulness training intervention (MT), and wait-list control group (WL). Participants completed a questionnaire battery before and after the training (pretest and posttest). We assessed mindfulness, use of mental strategies, handling of emotions, attention in training and competition, as well as the dealing with failure. The two intervention programs each consisted of four 90-min group workshops conducted over a period of 4 weeks.
Results: Both interventions passed the manipulation check, that is, PST led to more mental strategies being used (probabilities > 95%), and MT led to an increase in two of three aspects of mindfulness (probabilities > 98%) when compared to WL. Compared to WL, both interventions equally improved in the ability to not let emotions interfere with performance (probabilities > 99%) and in controlling attention in training and competition (probabilities > 89%). To a lesser extend, both interventions showed shared improvements in dealing with failure indicated by more action orientation (probabilities > 82%). We found a differential effect of MT on decreased experiential avoidance: MT decreased compared to WL and PST (probabilities > 92%), whereas PST did not differ from WL.
Conclusion: We conclude that both forms of mental training lead to improvements in performance-relevant psychological factors, especially concerning the handling of emotions and attention control. The results of our study suggest that different paths may lead to the desired outcomes, and accordingly, both forms of mental training seem justified
Laser Pointer Tracking in Projector-Augmented Architectural Environments
We present a system that applies a custom-built pan-tilt-zoom camera for laser-pointer tracking in arbitrary real environments. Once placed in a building environment, it carries out a fully automatic self-registration, registrations of projectors, and sampling of surface parameters, such as geometry and reflectivity. After these steps, it can be used for tracking a laser spot on the surface as well as an LED marker in 3D space, using inter-playing fisheye context and controllable detail cameras. The captured surface information can be used for masking out areas that are critical to laser-pointer tracking, and for guiding geometric and radiometric image correction techniques that enable a projector-based augmentation on arbitrary surfaces. We describe a distributed software framework that couples laser-pointer tracking for interaction, projector-based AR as well as video see-through AR for visualizations with the domain specific functionality of existing desktop tools for architectural planning, simulation and building surveying
- …