998 resultados para description logics


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Prosierola rotunda sp. nov. from northern Brazil is described and illustrated. Additional specimens of P. lata (Cameron, 1888) were examined with species variation analyzed and new distribution data are added.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Over the last 20 years several projects carried on the Madeira River basin in the Amazon produced a great amount data on total Hg concentration in different fish species. In this paper we discuss temporal trends in Hg contamination and its relation to body weight in some of those fishes, showing that even within similar groups, such as carnivorous and non-migratory fish, the interspecies variability in Hg accumulation is considerable.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The biology and ecology of South American turtles is still poorly known, particularly, for the Brazilian species. Laboratory studies are essential to understand the life cycles of aquatic turtles species and to help in formulating management plans for their conservation. As a contribution to the knowledge of Podocnemis erythrocephala species, we give a description of its species-typical behaviors, categorized as: maintenance, locomotion, feeding, agonistic and reproduction, based on captives observations of four pairs of turtles in an aquarium in Manaus, Brazil. Similarities and differences with the repertoires of other turtle species are discussed, concluding that turtles have much more complex adaptative strategies and social life than was believed.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In more scientific terms, NET Station contributed to: - discuss in theoretical terms the role radio still play in contemporary societies; - examine how audiences are using sound resources on the Web; - draw up a new theoretical framework for the study of the reconfiguration of radio language on the Internet;acknowledge that people are not abandoning radio as a medium; the survey applied by the team demonstrated that there is a complementariness between traditional radio and radio on the Internet; - understand that people expect more interactivity, more opportunities to participate in content production and more diversity of contents. These results were shared with editors responsible for Portuguese radio and might influence the offer made available by these radio corporations from now on; - demonstrate that the Internet is underexplored in terms of sound and acoustic communication; - promote the production of new sound narratives to be available on the Internet;