Results 131 to 140 of about 65,671 (295)

Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited

open access: yes, 2014
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 Metamaterials: Unraveling the Mechanics and Failure Pathways Through High‐Resolution XCT

open access: yesAdvanced Materials, EarlyView.
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]

open access: yes
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

open access: yes, 2018
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

Electrically Assisted Thermal Stamping of Tunable Carbon‐Based Nanofilms for Direct Fabrication of Hydrophobic, Energy Harvesting, and Sensing Devices

open access: yesAdvanced Materials, EarlyView.
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]

open access: yes
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]

open access: yes, 2008
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

open access: yesAdvanced Materials, EarlyView.
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]

open access: yes
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

open access: yesAdvanced Materials, EarlyView.
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

Home - About - Disclaimer - Privacy