556 citations
- University of EdinburghGB11 papers
- University of HertfordshireGB10 papers
- University of Hawaii at HiloUS9 papers
- Durham UniversityGB6 papers
- Osservatorio Astronomico di PadovaIT6 papers
- Rutherford Appleton LaboratoryGB6 papers
- Thüringer Landessternwarte TautenburgDE6 papers
- California Institute of TechnologyUS5 papers
- Dublin Institute For Advanced StudiesIE5 papers
- European Southern ObservatoryCL5 papers
- Royal ObservatoryGB5 papers
- The Open UniversityGB5 papers
4 papers · 1 filter
Perspicuity and Granularity in Refinement
Eerke Boiten
This paper reconsiders refinements which introduce actions on the concrete level which were not present at the abstract level. It draws a distinction between concrete actions which…
Proceedings 15th International Refinement Workshop
John Derrick, Eerke Boiten, Steve Reeves
Refinement is one of the cornerstones of a formal approach to software engineering: the process of developing a more detailed design or implementation from an abstract specificatio…
A definition of conditional probability distribution with non-stochastic information
Pier Giovanni Bissiri, Stephen G. Walker
The current definition of a conditional probability distribution enables one to update probabilities only on the basis of stochastic information. This paper provides a definition f…
BEC-BCS crossover in a p+ip-wave pairing Hamiltonian coupled to bosonic molecular pairs
Clare Dunning, Phillip S. Isaac, Jon Links +1
We analyse a p+ip-wave pairing BCS Hamiltonian, coupled to a single bosonic degree of freedom representing a molecular condensate, and investigate the nature of the BEC-BCS crossov…