Authentication protocols are the basis of security in many distributed systems, and it is therefore
essential to ensure that these protocols function correctly. Unfortunately, their design has …

Autonet is a self-configuring local area network composed of switches interconnected by
100 Mb/s, full-duplex, point-to-point links. The switches contain 12 ports that are internally …

Heatwaves are important climatic extremes in atmospheric and oceanic systems that can
have devastating and long-term impacts on ecosystems, with subsequent socioeconomic …

Climate change challenges organisms to adapt or move to track changes in environments
in space and time. We used two measures of thermal shifts from analyses of global …

Marine heatwaves (MHWs) have been observed around the world and are expected to
increase in intensity and frequency under anthropogenic climate change. A variety of impacts …

Multithreaded programming is difficult and error prone. It is easy to make a mistake in
synchronization that produces a data race, yet it can be extremely hard to locate this mistake …

We describe a theory of authentication and a system that implements it. Our theory is based
on the notion of principal and a “speaks for” relation between principals. A simple principal …

The reorganization of patterns of species diversity driven by anthropogenic climate change,
and the consequences for humans 1 , are not yet fully understood or appreciated 2 , 3 . …

Past meta-analyses of the response of marine organisms to climate change have examined
a limited range of locations 1 , 2 , taxonomic groups 2 , 3 , 4 and/or biological responses 5 , 6 …

Topographical wave exposure indices allow objective assessment of the degree of wave
action at coastal sites. We present a grid-based method for rapidly calculating indices at fine …