Results 151 to 160 of about 1,573,175 (303)
A general strategy-proof fair allocation mechanism revisited [PDF]
This paper revisits the fair and optimal allocation mechanism (Sun and Yang, Economics Letters 81:73-79, 2003) and demonstrates that it is coalitionally strategy-proof.
Tommy Andersson
core
In this paper we give an ordinal analysis of the theory of second order arithmetic. We do this by working with proof trees -- that is, "deductions" which may not be well-founded. Working in a suitable theory, we are able to represent functions on proof trees as yet further proof trees satisfying a suitable analog of well-foundedness.
openaire +2 more sources
Advanced Functional Materials, EarlyView.DNA strands are employed both as dynamic linkers and nanoscale templates for the integration of Ag2S nanoparticles on MoS2, which in turn imparted photothermal responsiveness; this feature permits the selective cargo (fluorophore, quantum dots or an enzyme) release from the MoS2 surface in response to local heat induced by light irradiation.
Kai Chen +3 more
wiley +1 more source
Dilworth's Theorem Revisited, an Algorithmic Proof [PDF]
Dilworth's theorem establishes a link between a minimal path cover and a maximal antichain in a digraph.A new proof for Dilworth's theorem is given. Moreover an algorithm to find both the path cover and the antichain, as considered in the theorem, is ...
Potharst, R., Pijls, W.H.L.M.
core
Advanced Functional Materials, EarlyView.ABSTRACT Chitosan, a polysaccharide upcycled from biowaste, has long promised sustainable, biocompatible, and antimicrobial films and devices, an appeal reinforced by its recent regulatory recognition, with several chitosan‐based antibacterial dressings gaining clearance through the Food and Drug Administration's 510(k) pathway.
Jacopo Nicoletti +16 more
wiley +1 more source
, 2008 an inference rule with which it might be inferred. We also may need to determine exactly how the conclusion of the rule matches the judgment. For example, in the R rule we need to decide how to split the linear hypotheses between the two premises ...
Proof Search Linear
core
ISSUES OF THE CASE PREPARATION FOR THE TRIAL IN THE RUSSIAN CRIMINAL PROCEDURE
Russian Journal of Economics and Law, 2007 The article raises the issues of admissibility of the preliminary estimation by the court at the stage of the criminal case preparation for the trial of the extent of factual proof of the accusation, introduced by the prosecutor.
A. A. Yunusov
doaj
Advanced Functional Materials, EarlyView.ABSTRACT Electronic waste has emerged as a major environmental challenge, driven by the massive consumption and a limited lifetime of modern electronic devices, stimulating the development of sustainable electronics. Here, an all‐biomaterial gelatin‐choline‐citric acid ([Ch][CA]) ionogel is developed as an active binder to realize self‐sintered ...
Lin Guo +10 more
wiley +1 more source
, 2020 A biased, incomplete high-level survey of progress in proof complexity over the last two decades. The start of a conversation about where to go next.Non UBCUnreviewedAuthor affiliation: University of ...
Beame, Paul
core
Unstable Vortices, Sharp Non-Uniqueness with Forcing, and Global Smooth Solutions for the SQG Equation. [PDF]
Arch Ration Mech AnalCastro Á +3 more
europepmc +1 more source