16,656 research outputs found

    PERCEPCIÓN DEL ROL QUE DESEMPEÑAN LAS MUJERES EN PUESTOS A NIVEL DIRECTIVO DEL MERCADO LABORAL

    Get PDF
    Today, the role played by women occupying managerial positions in the workplace is limited by the existence of gender discrimination. Under this premise, and in order to know the perception of the activity of the female sex in this area, was conducted this descriptive study through a questionnaire to 1240 graduates professionals (as) of the Faculty Accounting and Administration of the National University of Mexico (UNAM). The results suggest changes in paradigm shift in terms of employment preference for males

    Embedding weak memory models within eager sequentialization

    No full text
    Sequentialization is one of the most promising approaches for the symbolic analysis of concurrent programs. However, existing sequentializations assume sequential consistency, which modern hardware architectures no longer guarantee. In this paper we describe an approach to embed weak memory models within eager sequentializations (a la Lal/Reps). Our approach is based on the separation of intra-thread computations from inter-thread communications by means of a shared memory abstraction (SMA). We give details of SMA implementations for the SC, TSO, and PSO memory models that are based on the idea of individual memory unwindings, and sketch an extension to the Power memory model. We use our approach to implement a new, efficient BMC-based bug finding tool for multi-threaded C programs under SC, TSO, or PSO based on these SMAs, and show experimentally that it is competitive to existing tools

    Parallel bug-finding in concurrent programs via reduced interleaving instances

    Get PDF
    Concurrency poses a major challenge for program verification, but it can also offer an opportunity to scale when subproblems can be analysed in parallel. We exploit this opportunity here and use a parametrizable code-to-code translation to generate a set of simpler program instances, each capturing a reduced set of the original program’s interleavings. These instances can then be checked independently in parallel. Our approach does not depend on the tool that is chosen for the final analysis, is compatible with weak memory models, and amplifies the effectiveness of existing tools, making them find bugs faster and with fewer resources. We use Lazy-CSeq as an off-the-shelf final verifier to demonstrate that our approach is able, already with a small number of cores, to find bugs in the hardest known concurrency benchmarks in a matter of minutes, whereas other dynamic and static tools fail to do so in hours

    Separating computation from communication: a design approach for concurrent program verification

    No full text
    We describe an approach to design static analysis and verification tools for concurrent programs that separates intra-thread computation from inter-thread communication by means of a shared memory abstraction (SMA). We formally characterize the concept of thread-asynchronous transition systems that underpins our approach and that allows us to design tools as two independent components, the intra-thread analysis, which can be optimized separately, and the implementation of the SMA itself, which can be exchanged easily (e.g., from the SC to the TSO memory model). We describe the SMA’s API and show that several concurrent verification techniques from the literature can easily be recast in our setting and thus be extended to weak memory models. We give SMA implementations for the SC, TSO, and PSO memory models that are based on the idea of individual memory unwindings. We instantiate our approach by developing a new, efficient BMC-based bug finding tool for multi-threaded C programs under SC, TSO, or PSO based on these SMAs, and show experimentally that it is competitive to existing tools

    CONTRIBUCIÓN DE LA MERCADOTECNIA EN LA UTILIZACIÓN DEL SMARTPHONE PARA VIDEOJUEGOS, CONVIRTIÉNDOLA EN UNA POSIBLE ADICCIÓN EN LOS JÓVENES

    Get PDF
    Currently young people are increasing the activities they perform in their Smartphone, making it an important part in their lives; one of these activities is dedicated to video games. One exploratory research was conducted on 883 young people in order to know whether marketing efforts have led to the use of video games on Smartphone generating in them a possible addictive behavior. We found that men have more addictive than women and they are the most affected by marketing efforts made by companies to increase consumption of various products; in addition to the ones related to video game

    Post-awakening salivary alpha-amylase as modulator of treatment response in patients with burnout and major depression

    Full text link
    Around 50% of patients with major depression do not respond to standard first-line treatments, such as psychotherapy and pharmacotherapy. At the same time, a subgroup exhibits altered functioning of stress-responsive bodily systems, such as the central locus coeruleus/sympathetic nervous system and the hypothalamic-pituitary-adrenal (HPA) axis. Given that these systems impact arousal and cognition, it is possible that this subgroup contributes to the high rates of non-responders. Our aim was to investigate whether sympathetic and HPA axis activity modulate treatment outcomes in patients with stress-related major depression. A total of N = 74 inpatients (median age: 50, 62% male) with signs of burnout who fulfilled diagnostic criteria for major depression were recruited. Saliva samples were collected at awakening as well as 30 and 45 min later. Alpha-amylase activity and cortisol concentrations were determined before patients underwent evidence-based multimodal treatment. Non-responders were defined as patients exhibiting a <50% decrease in depression on the Beck Depression Inventory. Non-responders had significantly higher post-awakening alpha-amylase activity than responders (p = .025). In addition, alpha-amylase activity increased significantly over the course of treatment (p = .004), irrespective of responder status. Post-awakening cortisol was neither a predictor nor an indicator of treatment response. If future research confirms alpha-amylase activity as a modulator of treatment response, this may indicate a subgroup of patients with major depression which may benefit from augmentative treatments, such as heart rate variability biofeedback and/or cognitive interventions targeting high arousal

    COMPARISON OF GENDER IN THE PERCEPTION OF THE IMAGE AND ITS RELATIONSHIP WITH THE BRAND POSITIONING

    Get PDF
    The brand exposure in graphic communication, require seconds to transmit the message that persuade the consumer to make the purchase, hence finding appropriate images is an important aspect for marketing managers.The images themselves convey emotion and the perception of them may be altered by the brand positioning.The way images are perceived may differ by gender; and also, the perception that people have of a brand can impact differently on each of them. In this experimental study, the main objective is to examine the relationship between the effects of brand image exposure to affective visual stimuli, differentiated by gender. 274 students (19 years old) from the Management School of the National University of Mexico participated in this study. 60 photos from the IAPS (International Affective Picture System) representing different emotional loads were used, each of them was embedded with a well-recognized and positioned brand in the market taken from the list of BrandZ, and Millward Brown top 100 (2010). The images were evaluated by a Likert scale with nine intervals. The results obtained suggest that the effect of the picture is different in each gender and this effect is modified by the impact of brand positioning on men and women differently. The results will have specific knowledge about the differential impressions of an image and the perception of the brand, so that marketing managers may have a greater impact on attention and memory in the design of their graphic campaigns

    Post-awakening salivary alpha-amylase as modulator of treatment response in patients with burnout and major depression.

    Get PDF
    Around 50% of patients with major depression do not respond to standard first-line treatments, such as psychotherapy and pharmacotherapy. At the same time, a subgroup exhibits altered functioning of stress-responsive bodily systems, such as the central locus coeruleus/sympathetic nervous system and the hypothalamic-pituitary-adrenal (HPA) axis. Given that these systems impact arousal and cognition, it is possible that this subgroup contributes to the high rates of non-responders. Our aim was to investigate whether sympathetic and HPA axis activity modulate treatment outcomes in patients with stress-related major depression. A total of N = 74 inpatients (median age: 50, 62% male) with signs of burnout who fulfilled diagnostic criteria for major depression were recruited. Saliva samples were collected at awakening as well as 30 and 45 min later. Alpha-amylase activity and cortisol concentrations were determined before patients underwent evidence-based multimodal treatment. Non-responders were defined as patients exhibiting a <50% decrease in depression on the Beck Depression Inventory. Non-responders had significantly higher post-awakening alpha-amylase activity than responders (p = .025). In addition, alpha-amylase activity increased significantly over the course of treatment (p = .004), irrespective of responder status. Post-awakening cortisol was neither a predictor nor an indicator of treatment response. If future research confirms alpha-amylase activity as a modulator of treatment response, this may indicate a subgroup of patients with major depression which may benefit from augmentative treatments, such as heart rate variability biofeedback and/or cognitive interventions targeting high arousal

    Fe-Ti-V-(P) resources in the Upper Zone of the Bushveld Complex, South Africa

    Get PDF
    The Bushveld Complex in South Africa is the largest layered intrusion on Earth. Its upper part is known for huge resources of iron, titanium, vanadium and phosphorus. Associated with the layered character of the rocks, these resources are enriched at certain levels of the intrusion, which makes it important to understand the formation processes of those layers. In this paper we give an introduction and overview of recent debates and challenges
    • …
    corecore