Semantic Scholar uses AI to extract papers important to this topic.
Active galactic nuclei (AGN) drive fast winds in the interstellar medium of their host galaxies. It is commonly assumed that the… Expand InthispaperwepresenttheOtway-Reesauthenticatedkeytransportprotocol. We presentinformallytheSpicalculus,anextensionof p… Expand Early Cretaceous body and trace fossils in Victoria, Australia, establish the oldest known presence of parastacid crayfish… Expand We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that… Expand We study the observational constraints on the growth of massive black holes (BHs) in galactic nuclei. We use the velocity… Expand To investigate how plant diversity loss affects nitrogen accumulation in above-ground plant biomass and how consistent patterns… Expand A large suite of natural gases (93) from the North West Shelf and Gippsland and Otway Basins in Australia have been characterised… Expand Informal arguments that cryptographic protocols are secure can be made rigorous using inductive definitions. The approach is… Expand The Early Cretaceous Eumeralla Formation, Otway Group, of Cape Otway, Victoria, Australia, has yielded remains of a new genus of… Expand The authors specify authentication protocols as formal objects with precise syntax and semantics, and define a semantic model… Expand