Effectiveness monitoring of fish passage facilities: historical trends, geographic patterns and future directions von Roscoe, David W, Hinch, Scott G

Volltext

Fishway passage and post-passage mortality of up-river migrating sockeye salmon in the Seton River, British Columbia von Roscoe, D.W, Hinch, S.G, Cooke, S.J, Patterson, D.A

Volltext

VEGF and angiogenesis in acute and chronic MOG(35–55) peptide induced EAE von Roscoe, W.A, Welsh, M.E, Carter, D.E, Karlik, S.J

Volltext

Faster-than-natural spacecraft circumnavigation via way points von Bennett, Trevor, Schaub, Hanspeter, Roscoe, Christopher W.T.

Volltext

Formation Establishment and Reconfiguration Using Differential Elements in J2-Perturbed Orbits von Roscoe, Christopher W T, Westphal, Jason J, Griesbach, Jacob D, Schaub, Hanspeter

Volltext

The Consensus Machine: Formalising Consensus in the Presence of Malign Agents von Roscoe, A. W., Antonino, Pedro, Lawrence, Jonathan

Volltext

Optimal Formation Design for Magnetospheric Multiscale Mission Using Differential Orbital Elements von T. Roscoe, Christopher W, Vadali, Srinivas R, Alfriend, Kyle T, Desai, Uri P

Volltext

A refinement-based approach to safe smart contract deployment and evolution von Antonino, Pedro, Ferreira, Juliandson, Sampaio, Augusto, Roscoe, A. W., Arruda, Filipe

Volltext

Approximate verification of concurrent systems using token structures and invariants von Antonino, Pedro, Gibson-Robinson, Thomas, Roscoe, A. W.

Volltext

Translating between models of concurrency von Mestel, David, Roscoe, A. W.

Volltext

Failure of Spermatogenesis in Mice Lacking Connexin43 von ROSCOE, Wendi A, BARR, Kevin J, MHAWI, Abdul Amir, POMERANTZ, David K, KIDDER, Gerald M

Volltext

Overview and GNC design of the CubeSat Proximity Operations Demonstration (CPOD) mission von Roscoe, Christopher W.T., Westphal, Jason J., Mosleh, Ehson

Volltext

Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings von Cornelio, Marcio, Roscoe, Bill

Volltext

Third-Body Perturbation Effects on Satellite Formations von T. Roscoe, Christopher W., Vadali, Srinivas R., Alfriend, Kyle T.

Volltext

Probabilistic Admissible Region for Multihypothesis Filter Initialization von Hussein, Islam I, Roscoe, Christopher W T, Mercurio, Michael, Wilkins, Matthew P, Schumacher, Paul W

Volltext

FDR3: a parallel refinement checker for CSP von Gibson-Robinson, Thomas, Armstrong, Philip, Boulgakov, Alexandre, Roscoe, A. W.

Volltext

Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9–11, 1984 von Brookes, Stephen D, Roscoe, Andrew William, Winskel, Glynn

Volltext

Optimally-Fair Exchange of Secrets via Delay Encryption and Commutative Blinding von Maffei, Ivo, Roscoe, Andrew W.

Volltext

Authentication protocols based on low-bandwidth unspoofable channels: A comparative survey von Nguyen, L.H., Roscoe, A.W.

Volltext

Connexin 43 gap junction proteins are up-regulated in remyelinating spinal cord von Roscoe, W.A., Messersmith, E., Meyer-Franke, A., Wipke, B., Karlik, S.J.

Volltext