Results 131 to 140 of about 65,671 (295)
Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. They come in various flavors: polynomial interpretations with real, rational and integer coefficients. As to their relationship with respect to termination
Middeldorp, Aart, Neurauter, Friedrich
core +1 more source
Triply‐twinned architected lattices transform deformation from bending to stretching of struts, delivering up to threefold increases in stiffness and strength across polymeric and metallic systems. High‐resolution synchrotron XCT and image‐based simulations reveal how meta‐grain architecture, defects, and AM build orientation govern failure pathways ...
David McArthur +7 more
wiley +1 more source
On Maskin monotonicity of solution based social choice rules [PDF]
Howard (1992) argues that the Nash bargaining solution is not Nash implementable, as it does not satisfy Maskin monotonicity. His arguments can be extended to other bargaining solutions as well.
Claus-Jochen Haake, Walter Trockel
core
A Framework for Approval-based Budgeting Methods
We define and study a general framework for approval-based budgeting methods and compare certain methods within this framework by their axiomatic and computational properties.
Faliszewski, Piotr, Talmon, Nimrod
core +1 more source
Schematic illustration of the electrically assisted thermal stamping (EATS) method for direct fabrication of carbon‐based nanofilms and their multifunctional applications. Localized Joule heating triggers simultaneous exfoliation, reduction, and fluoropolymer incorporation under ambient conditions, yielding tunable carbon‐based thin‐film coatings ...
Byungseok Seo +9 more
wiley +1 more source
Bargaining with intertemporal maximin payoffs [PDF]
We present a new class of dynamic bargaining problems, called "bargaining problems with intertemporal maximin payoffs," that may reflect sustainability problems having to encompass conflicting issues in the long-run.
Héctor Ramírez Cabrera +3 more
core
A Revealed preference analysis of solutions to simple allocation problems [PDF]
We interpret solution rules on a class of simple allocation problems as data on the choices of a policy-maker. We analyze conditions under which the policy maker’s choices are (i) rational (ii) transitive-rational, and (iii)representable; that is, they ...
Kibris, Ozgur, Kıbrıs, Özgür
core +5 more sources
Polymorph‐Specific Electronic Transduction in WO3 during Molecular Sensing
Metal‐oxide polymorphs with similar surface chemistry can nevertheless exhibit distinct sensing properties. In γ‐ and ε‐WO3, analyte adsorption appears comparable; yet, only ε‐WO3 induces a pronounced lattice electronic perturbation that accommodates charge in sub‐conduction band minimum states.
Matteo D'Andria +6 more
wiley +1 more source
Optimal Combinatorial Mechanism Design [PDF]
We consider an optimal mechanism design problem with several heterogeneous objects and interdependent values. We characterize ex post incentives using an appropriate monotonicity condition and reformulate the problem in such a way that the choice of an ...
Levent Ulku
core
Bottom‐Up Programming of Cell States in Cancer Organoids with Defined Synthetic Adhesion Cues
A bottom‐up biomaterial platform is developed to program transcriptomic states in pancreatic cancer organoids by tuning adhesion cues within synthetic matrices. By combining a Design of Experiments framework with multiobjective optimization, matrix compositions are identified that enrich specific cellular programs like EMT.
Ali Nadernezhad +6 more
wiley +1 more source

