Learn More
Green Mining is a field of MSR that studies software energy consumption and relies on software performance data. Unfortunately there is a severe lack of publicly available software power use performance data. This means that green mining researchers must generate this data themselves by writing tests, building multiple revisions of a product, and then(More)
Digital circuits from software designs and formal executable specifications can be automatically synthesized using hardware compilation or 'C based logic synthesis'. Designs can be verified using that same formal specification and coupled with the increasing deployment of higher-level C based languages and IP reuse in hardware design and system codesign, C(More)
The mixing of audio signals has been at the foundation of audio production since the advent of electrical recording in the 1920’s, yet the mathematical and psychological bases for this activity are relatively under-studied. This paper investigates how the process of mixing music is conducted. We introduce a method of transformation from a “gainspace” to a(More)
γ-Amino-butyric acid (GABA) is the major inhibitory neurotransmitter in the vertebrate central nervous system. GABA receptors and synthesizing enzymes have also been localized to peripheral tissues including the liver, oviduct, uterus and ovary of mammals but the distribution and role of GABA in peripheral tissues of fish has not been fully investigated.(More)
Extending battery life on mobile devices has become an important topic recently due to the increasing frequency of smartphone adoption. A primary component of smart phone energy consumption is the apps that run on these devices. Many apps have embedded advertising and web browser apps will show ads that are embedded on webpages. Other researchers have found(More)
BACKGROUND AND AIMS The use of cross-sectional imaging is important to characterise inflammatory bowel disease [IBD] activity, extent, and location and to exclude complications, regardless of symptoms. The aim of this study was to evaluate the impact of routine use of sonography in the management of inflammatory bowel disease. METHODS A total of 49(More)
We report on a novel single-photon source using a single calcium ion trapped between the end facets of two optical fibers. The optical fibers act as photonic channels, and in addition their metallic jackets provide a trapping electric field for the ion. Our system successfully combines a stable single-atom emitter with fiber optics, demonstrating remarkable(More)
Alignment is perceived to be a desirable aim in IT projects – by improving the fit between the technology and the aims of the organization. Our study departs from previous literature by looking at this issue as a more dynamic and contextually localized phenomenon – emphasizing this dynamic quality by the use of the term “aligning”. We take a performative(More)