Focal Interest
Focal Interest

Modularity (biology)

  1. Most UK farms use one or two marketing channels
    Social network analysis of UK farm marketing channels reveals complex relationships between connectivity, functional integration, and resilience across 572 farm businesses.
  2. A type-theoretic account of abstraction functions and cost verification
    Modular verification in dependent type theory using abstraction functions as types, with support for cost analysis and behavior verification while maintaining privacy guarantees.