The formal expression of pro positional attitudes, especially when nested (iterated), is an important problem for A I . An interesting first-order extensional logical system for such expression has been proposed by Creary. In this system concepts (and concepts of concepts, etc.) are made explicit. The system includes "concept functions", which are special functions which act on and deliver conc...

We show that the equation si1 + si2 + · · ·+ sid = sid+1 + · · ·+ si2d has O N2d−2+2 −d+1 solutions for any strictly convex sequence {si}i=1 without any additional arithmetic assumptions. The proof is based on weighted incidence theory and an inductive procedure which allows us to effectively deal with higher dimensional interactions. The terminology ”combinatorial complexity” is borrowed from ...

Organic foods carry a premium price. They are credence-based foods, i.e., it is difficult for consumers to evaluate the aspects of organic food under normal use. In global supply chains, purchased on institutional trust (certification, logos, standards) rather than relational trust. Relying makes vulnerable criminals who intentionally label conventional product as or develop sophisticated organ...

INTRODUCTION Si/Si1−xGex superlattices are promising candidates for thermoelectric energy conversion applications [1, 2], as the phonon transport through them can be inhibited while maintaining desirable electrical transport properties. No comprehensive experimental study has been performed to map the thermal conductivity design space accessible by Si/Ge nanocomposites. By using atomistic model...