Results 51 to 60 of about 13,404,605 (326)
Coalition-proof equilibrium [PDF]
, 1996 We characterize the agreements that the players of a noncooperative game may reach when they can communicate prior to play, but they cannot reach binding agreements: A coalition-proo[ equilibrium is a correlated strategy from which no coalition has an ...
Moreno, Diego, Wooders, John
core +1 more source
Journal of High Energy Physics, 2018 The complete proof of cutting rules needed for proving perturbative unitarity of quantum field theories usually employs the largest time equation or old fashioned perturbation theory.
Roji Pius, Ashoke Sen
doaj +1 more source
A Forgotten Theory of Proofs ?
Logical Methods in Computer Science, 2019 Looking at MacLane's thesis on proof theory in the light of combinatory ...
openaire +5 more sources
Coalition-proof equilibrium [PDF]
, 1994 We characterize the set of agreements that the players of a non-cooperative game may reach when they have the opportunity to communicate prior to play. We show that communication allows the players to correlate their actions.
Moreno, Diego, Wooders, John
core +1 more source
ALTERNATIVE PROOF OF THE INFINITUDE PRIMES AND PRIME PROPERTIES
Barekeng, 2023 Prime numbers is one of kind number that have many uses, one of which is cryptography. The uniqueness of prime numbers in their divisors and distributions causes prime numbers to be widely used in digital security systems. In number theory, one of famous
Dinni Rahma Oktaviani +2 more
doaj +1 more source
Actissist: Proof-of-Concept Trial of a Theory-Driven Digital Intervention for Psychosis
Schizophrenia bulletin, 2018 Background Timely access to intervention for psychosis is crucial yet problematic. As such, health care providers are forming digital strategies for addressing mental health challenges.
S. Bucci +10 more
semanticscholar +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Chronic micro‐inflammation in patients with end‐stage renal disease (ESRD) is a significant driver of cardiovascular complications and diminished quality of life. While standard hemodialysis (SHD) effectively manages small‐molecule clearance, its ability to remove medium‐to‐large uremic toxins—the primary catalysts of systemic ...
Hongwei Zuo +5 more
wiley +1 more source
BiolinguisticsContrary to the prevailing assumption that language is “primarily a tool for communication rather than thought”, I argue that language is, to invoke Oscar Wilde, “quite useless”. Arguing from aesthetic philosophy and the minimalist program for linguistic
Jeffrey Watumull
doaj +1 more source
Jurnal Lebesgue, 2023 Mathematical proof is a crucial component in studying mathematics, especially at advanced levels. Previous research has reported that many students face difficulties in solving mathematical proof problems, including in rings theory course.
Nina Agustyaningrum +2 more
doaj +1 more source
From proof theory to theories theory
CoRR, 2010 In the last decades, several objects such as grammars, economical agents, laws of physics... have been defined as algorithms. In particular, after Brouwer, Heyting, and Kolomogorov, mathematical proofs have been defined as algorithms. In this paper, we show that mathematical theories can be also be defined as algorithms and that this definition has ...
openaire +4 more sources