The normalized backscatter from a radar altimeter, σ, is a measure of the surface roughness at scales of a few radar wavelengths; over the ocean this is used to infer wind speed. Long-term studies of wind speed rely on consistent measurements within an altimetric mission and good intercalibration between missions. For the Jason-1 and Jason-2 altimeters the derivation of σ from the full waveform...

In this survey paper we present Jason, an interpreter for the AgentSpeak programming language. Our aim is to investigate the Jason platform theoretically and to explore its practical possibilities in implementing multiagent systems. Furthermore we introduce some relevant background on multiagent systems concerning the BDI architecture and the logic-based semantics of AgentSpeak(L). Finally, we ...

The accuracy of sea surface heights (SSHs) estimation from satellite altimeters is strongly influenced by the microwave reflected signals (or waveforms). Waveforms in open oceans generally have ideal shapes following Brown (1977) model. However, coastal and shallow waters, are disturbed lands, thus resulting complicated waveforms (non-Brown). Non-Brown produce inaccurate SSH estimations; theref...

I thank Nancy Wallace for helpful comments and criticism.

Recently Hájek prophesied that “as fans of the Friday the 13th series know, you should never be surprised if Jason suddenly reappears in a new guise – and the same is true for Stalnaker’s Thesis” (Hájek, 2011, p. 14). So what better day to pick for a plea for the thesis than today? Obviously, a new guise is also needed for the thesis; it cannot live on in the way as it is understood in the triv...

In plants, whole-genome doubling (polyploidization) is a widely occurring process largely contributing to plant evolution and diversification. The generation and fusion of diploid gametes is now considered the major route of plant polyploidization. The parallel arrangement or fusion of meiosis II MII spindles (ps) is one of the most frequently reported mechanisms generating triploid offspring. ...

Roller compaction is a dry granulation technique used in the pharmaceutical industry, in which a powder formulation is compressed into a ‘ribbon’ compact between two counter rotating rolls. The ribbon is subsequently milled into granules of a desired size range. Whilst simple in principle, successful control of a roller compaction process is often difficult as it is multivariate in design. Furt...

Design critiquing systems are a type of intelligent user interface used to support human designers in decision making. This paper places design critics in the larger context of intelligent user interface approaches and surveys several critiquing systems. Each approach and system is evaluated with respect to a five-phase design improvement process. This paper concludes with a summary of the stat...