Buscar recursos académicos

"The use of information measures for model selection in geophysical models with subgrid parameterizations is examined. Although the resolved dynamical equations of atmospheric or oceanic global numerical models are well ...

"Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many...

"A symbolic encoding scheme, based on the ordinal relation between the amplitude of neighboring values of a given data sequence, should be implemented before estimating the permutation entropy. Consequently, equalities i...

This is a collection of articles dealing with the point of view of symbolic interactionism and with the topic of methodology in the discipline of sociology. It is written by the leading figure in the school of symbolic i...

A new software suite, called Crystallography & NMR System (CNS), has been developed for macromolecular structure determination by X-ray crystallography or solution nuclear magnetic resonance (NMR) spectroscopy. In contra...