A Review of the Tools Used for Marine Monitoring in the UK: Combining Historic and Contemporary Methods with Modeling and Socioeconomics to Fulfill Legislative Needs and Scientific... von Bean, Tim P., Greenwood, Naomi, Beckett, Rachel, Biermann, Lauren, Bignell, John P., Brant, Jan L., Copp, Gordon H., Devlin, Michelle J., Dye, Stephen, Feist, Stephen W., Fernand, Liam, Foden, Dean, Hyder, Kieran, Jenkins, Chris M., van der Kooij, Jeroen, Kröger, Silke, Kupschus, Sven, Leech, Clare, Leonard, Kinson S., Lynam, Christopher P., Lyons, Brett P., Maes, Thomas, Nicolaus, E. E. Manuel, Malcolm, Stephen J., McIlwaine, Paul, Merchant, Nathan D., Paltriguera, Lucille, Pearce, David J., Pitois, Sophie G., Stebbing, Paul D., Townhill, Bryony, Ware, Suzanne, Williams, Oliver, Righton, David

Volltext

Verifying Whiley Programs with Boogie von Pearce, David J., Utting, Mark, Groves, Lindsay

Volltext

A space-efficient algorithm for finding strongly connected components von Pearce, David J.

Volltext

Legume inoculant application methods: effects on nodulation patterns, nitrogen fixation, crop growth and yield in narrow-leaf lupin and faba bean von Denton, Matthew D, Phillips, Lori A, Peoples, Mark B, Pearce, David J, Swan, Antony D, Mele, Pauline M, Brockwell, John

Volltext

Acoustic Echo Cancellation Using Frequency-Domain Spline Identification von Zakharov, Y.V., Tozer, T.C., Pearce, D.A.J.

Volltext

Nitrogen contributions from faba bean (Vicia faba L.) reliant on soil rhizobia or inoculation von Denton, Matthew D., Pearce, David J., Peoples, Mark B.

Volltext

High frequency measurements of dissolved inorganic and organic nutrients using instrumented moorings in the southern and central North Sea von Suratman, Suhaimi, Weston, Keith, Greenwood, Naomi, Sivyer, David B., Pearce, David J., Jickells, Tim

Volltext

A dynamic topological sort algorithm for directed acyclic graphs von Pearce, David J., Kelly, Paul H. J.

Volltext

A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust von Pearce, David J.

Volltext

Efficient Field-Sensitive Pointer Analysis of C von PEARCE, David J, KELLY, Paul H. J, HANKIN, Chris

Volltext

On the Termination of Borrow Checking in Featherweight Rust von Payet, Étienne, Pearce, David J., Spoto, Fausto

Volltext

Efficient Object Querying for Java von Willis, Darren, Pearce, David J., Noble, James

Volltext

Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny von Cassez, Franck, Fuller, Joanne, Ghale, Milad K., Pearce, David J., Quiles, Horacio M. A.

Volltext

Environmental controls on phytoplankton community composition in the Thames plume, U.K von Weston, Keith, Greenwood, Naomi, Fernand, Liam, Pearce, David J., Sivyer, David B.

Volltext

A multi-site field evaluation of granular inoculants for legume nodulation von Denton, Matthew D., Pearce, David J., Ballard, Ross A., Hannah, Murray C., Mutch, Lesley A., Norng, Sorn, Slattery, Jo F.

Volltext

Profiling with AspectJ von Pearce, David J., Webster, Matthew, Berry, Robert, Kelly, Paul H. J.

Volltext

On declarative rewriting for sound and complete union, intersection and negation types von Pearce, David J.

Volltext

Designing a verifying compiler: Lessons learned from developing Whiley von Pearce, David J., Groves, Lindsay

Volltext

Spatial and temporal variability in nutrient concentrations in Liverpool Bay, a temperate latitude region of freshwater influence von Greenwood, Naomi, Hydes, David J., Mahaffey, Claire, Wither, Andrew, Barry, Jon, Sivyer, David B., Pearce, David J., Hartman, Susan E., Andres, Olga, Lees, Helen E.

Volltext

Towards User-Friendly Projectional Editors von Voelter, Markus, Siegmund, Janet, Berger, Thorsten, Kolb, Bernd

Volltext