scholarly journals Extending E Prover with Similarity Based Clause Selection Strategies

Author(s):  
Jan Jakubův ◽  
Josef Urban
Keyword(s):  
Author(s):  
Lindsey M. Kitchell ◽  
Francisco J. Parada ◽  
Brandi L. Emerick ◽  
Tom A. Busey

2020 ◽  
Author(s):  
Rui Sun ◽  
Disa Sauter

Getting old is generally seen as unappealing, yet aging confers considerable advantages in several psychological domains (North & Fiske, 2015). In particular, older adults are better off emotionally than younger adults, with aging associated with the so-called “age advantages,” that is, more positive and less negative emotional experiences (Carstensen et al., 2011). Although the age advantages are well established, it is less clear whether they occur under conditions of prolonged stress. In a recent study, Carstensen et al (2020) demonstrated that the age advantages persist during the COVID-19 pandemic, suggesting that older adults are able to utilise cognitive and behavioural strategies to ameliorate even sustained stress. Here, we build on Carstensen and colleagues’ work with two studies. In Study 1, we provide a large-scale test of the robustness of Carstensen and colleagues’ finding that older individuals experience more positive and less negative emotions during the COVID-19 pandemic. We measured positive and negative emotions along with age information in 23,629 participants in 63 countries in April-May 2020. In Study 2, we provide a comparison of the age advantages using representative samples collected before and during the COVID-19 pandemic. We demonstrate that older people experience less negative emotion than younger people during the prolonged stress of the COVID-19 pandemic. However, the advantage of older adults was diminished during the pandemic, pointing to a likely role of older adults use of situation selection strategies (Charles, 2010).


2019 ◽  
Vol 39 (2) ◽  
pp. 139-145 ◽  
Author(s):  
Pouya Zamani ◽  
Mani Ghanipoor ◽  
Seyyed-Ziaeddin Mirhosseini ◽  
Ramin Abdoli ◽  
Alireza Seidavi

2021 ◽  
Vol 29 (1) ◽  
pp. 73-87 ◽  
Author(s):  
Margaretha Gansterer ◽  
Richard F. Hartl

AbstractLogistics providers have to utilize available capacities efficiently in order to cope with increasing competition and desired quality of service. One possibility to reduce idle capacity is to build coalitions with other players on the market. While the willingness to enter such coalitions does exist in the logistics industry, the success of collaborations strongly depends on mutual trust and behavior of participants. Hence, a proper mechanism design, where carriers do not have incentives to deviate from jointly established rules, is needed. We propose to use a combinatorial auction system, for which several properties are already well researched but little is known about the auction’s first phase, where carriers have to decide on the set of requests offered to the auction. Profitable selection strategies, aiming at maximization of total collaboration gains, do exist. However, the impact on individual outcomes, if one or more players deviate from jointly agreed selection rules is yet to be researched. We analyze whether participants in an auction-based transport collaboration face a Prisoners’ Dilemma. While it is possible to construct such a setting, our computational study reveals that carriers do not profit from declining the cooperative strategy. This is an important and insightful finding, since it further strengthens the practical applicability of auction-based trading mechanisms in collaborative transportation.


Sign in / Sign up

Export Citation Format

Share Document