Results are presented generalising superposition to non-linear systems by using qualitative differential equations. These are applied to allow the composition and decomposition of qualitative histories. Histories record the qualitative changes in a system over time, and they can be automatically generated by qualitative simulation. The qualitative superposition of such histories is shown to be ...

Abstract The bare theory is a no-collapse version of quantum mechanics which predicts certain puzzling results for the introspective beliefs human observers superpositions. can be interpreted to claim that an observer form false about outcome experiment produces superpositional result. It argued that, when careful consideration given observer’s belief states and their evolution, does not end up...

Polymeric particulate composites are widely used in engineering systems where they subjected to impact loading – at a variety of temperatures leading high strain rate deformation. These materials highly and temperature dependent, this dependence must be well understood for effective design. It is not uncommon many these display mechanical responses that range from glassy brittle rubbery hyperel...

Abstract We designed a superposition calculus for clausal fragment of extensional polymorphic higher-order logic that includes anonymous functions but excludes Booleans. The inference rules work on $$\beta \eta $$ β η -equivalence classes $$\lambda λ -t...