INPE LANDSAT system

There are no author identified significant results in this report

Principles and Implementation of Deductive Parsing

We present a system for generating parsers based directly on the metaphor of parsing as deduction. Parsing algorithms can be represented directly as deduction systems, and a single deduction engine can interpret such deduction systems so as to implement the corresponding parser. The method generalizes easily to parsers for augmented phrase structure formalisms, such as definite-clause grammars and other logic grammar formalisms, and has been used for rapid prototyping of parsing algorithms for a variety of formalisms including variants of tree-adjoining grammars, categorial grammars, and lexicalized context-free grammars.Comment: 69 pages, includes full Prolog cod

How hole defects modify vortex dynamics in ferromagnetic nanodisks

Defects introduced in ferromagnetic nanodisks may deeply affect the structure and dynamics of stable vortex-like magnetization. Here, analytical techniques are used for studying, among other dynamical aspects, how a small cylindrical cavity modify the oscillatory modes of the vortex. For instance, we have realized that if the vortex is nucleated out from the hole its gyrotropic frequencies are shifted below. Modifications become even more pronounced when the vortex core is partially or completely captured by the hole. In these cases, the gyrovector can be partially or completely suppressed, so that the associated frequencies increase considerably, say, from some times to several powers. Possible relevance of our results for understanding other aspects of vortex dynamics in the presence of cavities and/or structural defects are also discussed.Comment: 9 pages, 4 page

Detection of new eruptions in the Magellanic Clouds LBVs R 40 and R 110

We performed a spectroscopic and photometric analysis to study new eruptions in two luminous blue variables (LBVs) in the Magellanic Clouds. We detected a strong new eruption in the LBV R40 that reached $V \sim 9.2$ in 2016, which is around $1.3$ mag brighter than the minimum registered in 1985. During this new eruption, the star changed from an A-type to a late F-type spectrum. Based on photometric and spectroscopic empirical calibrations and synthetic spectral modeling, we determine that R\,40 reached $T_{\mathrm{eff}} = 5800-6300$~K during this new eruption. This object is thereby probably one of the coolest identified LBVs. We could also identify an enrichment of nitrogen and r- and s-process elements. We detected a weak eruption in the LBV R 110 with a maximum of $V \sim 9.9$ mag in 2011, that is, around $1.0$ mag brighter than in the quiescent phase. On the other hand, this new eruption is about $0.2$ mag fainter than the first eruption detected in 1990, but the temperature did not decrease below 8500 K. Spitzer spectra show indications of cool dust in the circumstellar environment of both stars, but no hot or warm dust was present, except by the probable presence of PAHs in R\,110. We also discuss a possible post-red supergiant nature for both stars

Elastic properties of carbon nanotubes and their heterojunctions

Comprehensive studies on the modelling and numerical simulation of the mechanical behaviour under tension, bending and torsion of single-walled carbon nanotubes and their heterojunctions are performed. It is proposed to deduce the mechanical properties of the carbon nanotubes heterojunctions from the knowledge of the mechanical properties of the single-walled carbon nanotubes, which are their constituent key unit