Results 31 to 40 of about 5,065 (309)
On the strength of proof-irrelevant type theories [PDF]
Logical Methods in Computer Science, 2008 We present a type theory with some proof-irrelevance built into the conversion rule. We argue that this feature is useful when type theory is used as the logical formalism underlying a theorem prover.
Benjamin Werner
doaj +1 more source
Amyloidogenic Peptide Fragments Designed From Bacterial Collagen‐like Proteins Form Hydrogel
Advanced Functional Materials, EarlyView.This study identified amyloidogenic sequence motifs in bacterial collagen‐like proteins and exploited these to design peptides that self‐assemble into β‐sheet fibers and form hydrogels. One hydrogel supported healthy fibroblast growth, showing promise for biocompatible materials. Our work demonstrates that bacterial sequences can be harnessed to create
Vamika Sagar +5 more
wiley +1 more source
Impressionable Rational Choice: Revealed-Preference Theory with Framing Effects
Mathematics, 2022 Revealed preference is one of the most influential ideas in economics. It is, however, not clear how it can be generally applied in cases where agents’ choices depend on arbitrary changes in the decision environment.
Guy Barokas, Burak Ünveren
doaj +1 more source
Axioms of multiple choice [PDF]
Fundamenta Mathematicae, 1962 In this paper the author proves certain theorems concerning the relative strength and weakness of various axioms of multiple choice. Among other things the author gives an affirmative answer to a question posed by the reviewer [Fundam. Math. 49, 11--14 (1960; Zbl 0113.245)], who himself was originally motivated by an abstract of \textit{R. L.
openaire +2 more sources
Advanced Robotics Research, EarlyView.Robots can learn manipulation tasks from human demonstrations. This work proposes a versatile method to identify the physical interactions that occur in a demonstration, such as sequences of different contacts and interactions with mechanical constraints.
Alex Harm Gert‐Jan Overbeek +3 more
wiley +1 more source
Advanced Science, EarlyView.RvD5 effectively alleviates UC by inhibiting STAT1 signaling to reduce CXCL8 expression in colonic epithelial cells via activation of GPR101, which subsequently decreases the infiltration of neutrophils in the colonic mucosal epithelium. Epimedin A1, a natural allosteric inhibitor of 5‐LOX, demonstrates potential as a therapeutic agent for UC by ...
Pengxiang Guo +9 more
wiley +1 more source
The Regulatory Role of Iron Transporter SLC39A13 in Liver Fibrosis
Advanced Science, EarlyView.SLC39A13/ZIP13, a newly discovered intracellular iron transporter, delivers iron to the ER/Golgi to catalyze procollagen hydroxylation during collagen maturation. Here, we systematically characterize the cell type‐specific functions of ZIP13 across distinct hepatic cell populations, and identify hepatic stellate cell‐specific ZIP13 as a promising and ...
Shanshan Guo +5 more
wiley +1 more source
Aksjomat wyboru w pracach Wacława Sierpińskiego
Zagadnienia Filozoficzne w Nauce, 2013 This paper presents Wacław Sierpiński – the first advocate of the axiom of choice. We focus on the philosophical and mathematical topics related to the axiom of choice which were considered by Sierpiński.
Katarzyna Lewandowska
doaj
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Why choose wisely if you have already paid? Sunk costs elicit stochastic dominance violations [PDF]
Judgment and Decision Making, 2018 Sunk costs have been known to elicit violations of expected utility theory, in particular, the independence or cancellation axiom. Separately, violations of the stochastic dominance principle have been demonstrated in various settings despite the fact ...
Ryan K. Jessup +2 more
doaj +3 more sources