Results 31 to 40 of about 107,162 (337)
Advanced Functional Materials, EarlyView.A transparent, laser‐microscribed glass platform enables cancer diagnosis within 1 h—much faster than histology, which takes days, and free from the chemical or contrast risks of MRI or CT scans. The antibody‐functionalized rough glass surface captures viable cancer cells directly from suspension, allowing instant optical readout and offering a rapid ...
Anish Pal +5 more
wiley +1 more source
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
Bioprinted Constructs in the Regulatory Landscape: Current State and Future Perspectives
Advanced Materials, EarlyView.Bioprinting has rapidly emerged as a transformative technology in biomedical research, offering unprecedented potential to replicate complex tissues. Despite its promise, clinical translation remains limited due to regulatory hurdles. This review explores global regulatory frameworks, comparing approaches in the EU, U.S., China, and Australia, and ...
Francesca Perin +6 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
Advanced Materials Technologies, EarlyView.This study showcases how advanced interlayers combined with PH1000 anodes on flexible PET substrates transform the performance of self‐powered organic photodetectors (OPDs). The developed self‐powered flexible OPDs with their excellent mechanical durability, high responsivity, and specific detectivity demonstrate accurate heart rate monitoring in ...
Hossein Anabestani +2 more
wiley +1 more source
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
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 +2 more sources
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
Nash Equilibrium and Axiom of Choice Are Equivalent [PDF]
, 2023 Conrad Kosowsky
openalex +1 more source