Anthropogenic climate change may threaten many species with extinction. However, species at risk today survived global climate change in recent geological history. Describing how habitat tracking and adaptation allowed species to survive warming since the end of the Pleistocene can indicate the relative importance of dispersal and natural selection during climate change. By taking this historic...

3.1 Members Toshiyuki Imamura (Team Leader) Yoshiharu Ohi (PostDoctoral Researcher) Yusuke Hirota (PostDoctoral Researcher) Daichi Mukunoki (PostDoctoral Researcher) Daisuke Takahashi (Senior Visiting Researcher) Franz Franchetti (Visiting Researcher) Yoshio Okamoto (Visiting Researcher) Takeshi Fukaya (Visiting Researcher) Cong Li (Student Trainee) Doru Thom Popovich (Student Trainee) Yukiko A...

Wepresent a systemfor verifyingthe timing speci cations of digital interfaces. The systemis based on a static analysis of the temporal protocols on the control signals whichmake up the interface. Veri cationis performedbycheckingthat nocausal chainof events onthe control signals violates any of the protocol constraints on those same signals. While the systemdoes not performanychecking of functi...

Weens goeie algemene gesondheid kom die adolessent dikwels nie met die gesondheidsorgstelsel in aanraking nie. Adolessente het egter baie gesondheidsvoorligtingsbehoeftes waaraan daar nie voldoen word nie. Adolessente het verskeie volwassewordingstake om te verrig en ten opsigte van hul voorligtingsbehoeftes moet die mens as geheel, asook sy omgewing, in ag geneem word. Daarom behoort voorligti...

In this paper, we prove an equivariant version of the classical Dold-Thom theorem. Let G be a finite group, X a G-space, and k a covariant coefficient system on G. We construct a topological abelian group GX ⊗ G k by the coend construction. We then prove that for a G-CW complex X, πi(GX⊗ B G k) ∼= H i (X; k), where the right hand side is the Bredon equivariant homology of X with coefficients in...

Predictive models can help clarify the distribution of poorly known species but should display strong transferability when applied to independent data. Nevertheless, model transferability for threatened tropical species is poorly studied. We built models predicting the incidence of the critically endangered Bengal Florican (Houbaropsis bengalensis) within the Tonle Sap (TLS) floodplain, Cambodi...

2. Report of the Dean: A. WSU Budget/Hiring Freeze Update: The spending and hiring freeze will likely continue through the next academic year. We need to reduce expenditures as much as possible and be thoughtful when making any necessary purchases. The Dean and Dieter Nevels submitted a budget to the Provost’s office and are waiting for approval or to see if there will be any additional expense...