A Formal Treatment of the Role of Verified Compilers in Secure Computation

Author(s):  
José Carlos Bacelar Almeida ◽  
Manuel Barbosa ◽  
Gilles Barthe ◽  
Hugo Pacheco ◽  
Vitor Pereira ◽  
...  
2011 ◽  
Vol 08 (03) ◽  
pp. 455-467 ◽  
Author(s):  
ERNESTO DAMIANI ◽  
FULVIO FRATI ◽  
ROMARIC TCHOKPON

Information sharing plays a role of paramount importance in modern supply chain environments. In fact, the elements that compose the chain need to share information about sensitive aspects of their business in order to build more accurate and profitable supply plans. In this paper, we describe how the increasing of information released increases the overall economic results of the whole chain, and how this information can be protected, exploiting secure computation techniques, to reduce the risk of data disclosure and prevent quasi-altruistic or selfish behaviors without interfering with the chain's normal operation, and in particular with the minimization of the cost function.


Author(s):  
Barbara Amaral

In addition to the important role of contextuality in foundations of quantum theory, this intrinsically quantum property has been identified as a potential resource for quantum advantage in different tasks. It is thus of fundamental importance to study contextuality from the point of view of resource theories, which provide a powerful framework for the formal treatment of a property as an operational resource. In this contribution, we review recent developments towards a resource theory of contextuality and connections with operational applications of this property. This article is part of the theme issue ‘Contextuality and probability in quantum mechanics and beyond’.


JAMA ◽  
1966 ◽  
Vol 195 (12) ◽  
pp. 1005-1009 ◽  
Author(s):  
D. J. Fernbach
Keyword(s):  

JAMA ◽  
1966 ◽  
Vol 195 (3) ◽  
pp. 167-172 ◽  
Author(s):  
T. E. Van Metre

2018 ◽  
Vol 41 ◽  
Author(s):  
Winnifred R. Louis ◽  
Craig McGarty ◽  
Emma F. Thomas ◽  
Catherine E. Amiot ◽  
Fathali M. Moghaddam

AbstractWhitehouse adapts insights from evolutionary anthropology to interpret extreme self-sacrifice through the concept of identity fusion. The model neglects the role of normative systems in shaping behaviors, especially in relation to violent extremism. In peaceful groups, increasing fusion will actually decrease extremism. Groups collectively appraise threats and opportunities, actively debate action options, and rarely choose violence toward self or others.


2018 ◽  
Vol 41 ◽  
Author(s):  
Kevin Arceneaux

AbstractIntuitions guide decision-making, and looking to the evolutionary history of humans illuminates why some behavioral responses are more intuitive than others. Yet a place remains for cognitive processes to second-guess intuitive responses – that is, to be reflective – and individual differences abound in automatic, intuitive processing as well.


2020 ◽  
Vol 43 ◽  
Author(s):  
Stefen Beeler-Duden ◽  
Meltem Yucel ◽  
Amrisha Vaish

Abstract Tomasello offers a compelling account of the emergence of humans’ sense of obligation. We suggest that more needs to be said about the role of affect in the creation of obligations. We also argue that positive emotions such as gratitude evolved to encourage individuals to fulfill cooperative obligations without the negative quality that Tomasello proposes is inherent in obligations.


2020 ◽  
Vol 43 ◽  
Author(s):  
Andrew Whiten

Abstract The authors do the field of cultural evolution a service by exploring the role of non-social cognition in human cumulative technological culture, truly neglected in comparison with socio-cognitive abilities frequently assumed to be the primary drivers. Some specifics of their delineation of the critical factors are problematic, however. I highlight recent chimpanzee–human comparative findings that should help refine such analyses.


2020 ◽  
Vol 43 ◽  
Author(s):  
Thomas Parr

Abstract This commentary focuses upon the relationship between two themes in the target article: the ways in which a Markov blanket may be defined and the role of precision and salience in mediating the interactions between what is internal and external to a system. These each rest upon the different perspectives we might take while “choosing” a Markov blanket.


Sign in / Sign up

Export Citation Format

Share Document