In 1988, Eastman showed that the Euclideanized Berlekamp-Massey (BM) algorithm can be used to eliminate the calculation of discrepancies and the divisions of the finite field elements to find the errata locator polynomial in a Reed-Solomon (RS) decoder. However, the separate computations of the errata locator and the errata evaluator polynomials are still needed in Eastman’s decoder. In this pa...

Errata: Stochastic Optimal Control with Delay in the I: Solving HJB Equation through Partial Smoothing, and II: Verification Theorem Feedbacks

In the current sparql specification the notion of correlation and substitution are not well defined. This problem triggers several ambiguities in the semantics. In fact, implementations as Fuseki and Virtuoso assume different semantics. In this technical report, we provide a semantics of correlation and substitution following the classic philosophy of substitution and correlation in logic, prog...

In this contribution, new data concerning the distribution of native vascular flora in Italy are presented. It includes records, confirmations, exclusions, and status changes to Italian administrative regions. Nomenclatural updates, published elsewhere, corrigenda provided as Suppl. material 1.

In this contribution, new data concerning the distribution of native vascular flora in Italy are presented. It includes records, confirmations, exclusions, and status changes to Italian administrative regions. A combination genus Pilosella is proposed. Nomenclatural updates, published elsewhere, corrigenda provided as Suppl. material 1.

-

This report is the first of a planned sequence of annual updates of the book "Exploring Logical Dynamics", CSLI Publications, Stanford, summer 1996. It contains a number of further results obtained since its first publication. Sections 1, 2, 3 concern various issues in modal logic, 4, 5, 6 dynamic logic, and 7 temporal logic, while Sections 8, 9 digress into infinitary logic. Some corrigenda, a...