Results 51 to 60 of about 2,883,104 (305)
Recursive Program Optimization Through Inductive Synthesis Proof Transformation [PDF]
, 1999 The research described in this paper involved developing transformation techniques which increase the efficiency of the noriginal program, the source, by transforming its synthesis proof into one, the target, which yields a computationally more efficient
Bundy, Alan +5 more
core +1 more source
Report-dependent utility and strategy-proofness [PDF]
SSRN Electronic Journal, 2021 Despite the truthful dominant strategy, participants in strategy-proof mechanisms submit manipulated preferences. In our model, participants dislike rejections and enjoy the confirmation from getting what they declare desirable. Formally, the payoff from a match decreases in its position in the submitted ranking such that a strategic trade-off between
openaire +2 more sources
Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system
FEBS Letters, EarlyView.Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley +1 more source
Combining logical and distributional methods in type-logical grammars
Journal of Language Modelling, 2019 We propose a low-level way of combining distributional and logical ideas into a single formal system. This will be an instantiation of a more general system, adding weights to proof rules. These weights will not measure some sort of "confidence the proof
Richard Moot
doaj +1 more source
IEEE Access, 2020 Wheel loader shovel loading operation tests showed that when the tire slips, it not only causes waste of the engine power, but also increases the tire wear.
Bingwei Cao +4 more
doaj +1 more source
A Strategy-Proof Mechanism Should Be Announced to Be Strategy-Proof: An Experiment for the Vickrey Auction [PDF]
SSRN Electronic Journal, 2019 We conduct laboratory experiments for the multi-unit Vickrey auction with and without providing advice to subjects on strategy-proofness. Although the rate of truth-telling among the subjects stays at 20% without advice, the rate increases to 47% with advice.
Masuda, Takehito +3 more
openaire +2 more sources
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
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
An epithelial GPR35 isoform supports tumor‐associated transcriptional and metabolic phenotypes
FEBS Letters, EarlyView.GPR35 generates two functionally distinct isoforms with previously unresolved roles. GPR35‐short mediates immune‐cell chemotaxis, while GPR35‐long is enriched in colorectal cancer epithelium, where it supports increased metabolism, proliferation, and tumor‐associated transcriptional programs.
Jørgen D. Rønneberg +14 more
wiley +1 more source
Strategy-proof allocation mechanisms for economies with public goods [PDF]
, 1994 This paper provides a characterization of the class of incentive compatible (i.e., strategy-proof) allocation mechanisms for decision problems associated with classical economic environments.
Moreno, Diego
core