Project apollo. ship-shore communications using radio satellite relay

Requirements for antennas, radio and terminal equipment aboard Apollo communication and tracking ships to communicate with land stations by satellite rela

An Outline of the Bayesian Decision Theory

In this paper we give an outline on the Bayesian Decision Theory.Comment: arXiv admin note: text overlap with arXiv:1409.826

Juiste zorg begint bij de basis: structurele aandacht voor suïcidepreventie in de opleidingen tot hulpverlener in de ggz

Stress and Psychopatholog

Equality, Quasi-Implicit Products, and Large Eliminations

This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including implicit arguments, are dropped during reduction of terms. We develop the metatheory for an undecidable version of the system with unannotated terms. We then devise a decidable system with annotated terms, justified in terms of the unannotated system. Finally, we show how the approach can be extended to account for large eliminations, using what we call quasi-implicit products.Comment: In Proceedings ITRS 2010, arXiv:1101.410