The options premiums are frequently used to obtain probability density functions (pdfs) for the prices of the underlying assets. When these assets are bank deposits or notional Government bonds it is possible to compute probability measures of future interest rates. Recently, in the literature there have been many papers presenting methods of how to estimate pdfs from options premiums. Neverthe...

Several vegetation indices (VI) derived from handheld spectroradiometer reflectance data in the visible spectral region were tested for modelling grapevine water status estimated by the predawn leaf water potential (Ψpd). The experimental trial was carried out in a vineyard in Douro wine region, Portugal. A statistical approach was used to evaluate which VI and which combination of wavelengths ...

Personal goals are difficult to achieve and healthy habits are not as simple to maintain as people would like to. Often, humans look for help to change unwanted behavior. Technology could help us to overcome the daily struggle faced during the search for behavior improvement. The Persuasive Mirror is an example of how computerize persuasion, in the form of visual feedback, could give the needed...

Often, theorem checkers like PVS are used to check an existing proof, which is part of some document. Since there is a large diierence between the notations used in the documents and the notations used in the theorem checkers, it is usually a laborious task to convert an existing proof into a format which can be checked by a machine. In the system that we propose, the author is assisted in the ...

The applicability of model-checking is often restricted by the size of the considered system. To overcome this limitation, a number of techniques have been investigated. Prominent among these are data independence, abstraction, and compositionality. This paper presents a methodology based on deductive reasoning and model-checking which combines these techniques. As we show, the combination of a...

The construction of abstractions is essential for reducing large or innnite state systems to small or nite state systems. Boolean abstractions, where boolean variables replace concrete predicates, are an important class that subsume several abstraction schemes. We show how boolean abstractions can be constructed simply, eeciently, and precisely for innnite state systems while preserving propert...