Research into the capability of recursive self-improvement typically only considers pairs of 〈agent, self-modification candidate〉, and asks whether the agent can determine/prove if the self-modification is beneficial and safe. But this leaves out the much more important question of how to come up with a potential self-modification in the first place, as well as how to build an AI system capable...

We consider the problem of how best to combine optimizations in imperative compilers. It is known that combined optimizations (or “super-analyses”) can be strictly better than iterating separate improvement passes. We propose an explanation of why this is so by drawing connections between program analysis and the algebraic and coalgebraic views of programs and processes. We argue that “optimist...

A model for the prediction of derived cetane number (DCN) and carbon/hydrogen ratio (C/H) hydrocarbon mixtures, diesel fuels, diesel–gasoline blends has been developed on basis infrared (IR) spectroscopy data pure components. IR spectra 65 neat species were used to generate 127 by averaging their components a molar basis. The 44 real fuels calculated using n-paraffin, isoparaffin, olefin, napht...

BACKGROUND Cognitive functional therapy (CFT) has been shown to reduce pain and disability in people with chronic low back pain. OBJECTIVES The purpose of this study was to investigate participants' experience of CFT by comparing participants who reported differing levels of improvement after participation in CFT, potentially yielding insight into the implementation of this approach. DESIGN...

Abstract—Five palm oil ether monoesters utilized as novel biodiesels were synthesized and structurally identified in the paper. The investigation was made on the effect of ether species on physicochemical properties of the palm oil ether monoesters. The results showed that density, kinematic viscosity, smoke point, and solidifying point increase linearly with their –CH2 group number in certain ...