To comply with sustainability goals, many companies buy green energy to serve their demand. This is typically done by engaging in bilateral power purchase agreements (PPA) renewable producers (REP). A PPA can be flexibly structured, but the core principle that a buyer (company) agrees future production of seller (REP) at an agreed-upon fixed price. PPAs are financially attractive for sellers, p...

Abstract Decades of research have revealed relationships between the abundance coral reef taxa and local conditions, especially at small scales. However, a rigorous test covariation requires robust dataset collected across wide environmental or experimental gradients. Here, we surveyed spatial variability in densities major functional groups 122 sites along 70 km expanse leeward, forereef habit...

In recent years, dynamic component-based systems such as OSGi and its derivatives have become very successful. This has created new challenges for verification. Assemblies are created and modified dynamically at runtime, but many existing techniques such as unit testing are designed for buildtime verification. Runtime verification is usually restricted to type checks. We propose a simple compon...

We present the results of a large-scale web experiment investigating comprehenders’ ability to guess upcoming referents in an unfolding discourse. Participants were given a text that had been cut off just before a noun phrase, and attempted to guess which previously mentioned referent, if any, would be mentioned next. Our results show that writers are more likely to refer using a pronoun or pro...

In safety-critical cyber-physical systems, the usage of multicore platforms has been hampered by problems due to interactions across cores through shared hardware. The inability to precisely characterize such interactions can lead to worst-case execution time pessimism that is so great, the extra processing capacity of additional cores is entirely negated. In this paper, several techniques are ...