Traditionally, a logic program is built up to reason about atomic first-order formulas. The key idea of parametrized logic program- ming is that, instead of atomic first-order formulas, a parametrized logic program reasons about formulas of a given parameter logic. Of course, the main challenge is to define the semantics of such general programs. In this work we introduce the novel definitions along with some motivating examples. This approach allows us to prove general results that can be instantiated for every particular choice of the parameter logic. Impor- tant general results we can prove include the existence of semantics and the alternating fix-point theorem of well-founded semantics. To reenforce the soundness of our general framework we show that some known approaches in the literature of logic programming, such as paraconsistent answer-sets and the MKNF semantics for hybrid knowledge bases, are obtained as particular choices of the parameter logic.

Modern marine species populations are often evaluated in terms of bottom-up, resource limited structure, or top-down, predator controlled structure. In a larger timeframe, investiga- tion of physical drivers in marine tetrapod evolution relies on the recognition of patterns and the correlation in timing of physical events with biotic change. However, it has been dem- onstrated through the study of fossil cetaceans that a broader deep-time perspective within a top-down or bottom-up framework is informative. Here we examine the fossil record of &UHWDFHRXV PDULQH WHWUDSRGV LQ $QJROD WR GLVFHUQ SDWWHUQV WKDW PD\ UHÀHFW SK\VLFDO GULYHUV RI evolution, and that are also relevant to population structure. In modern marine ecosystems, GLVWULEXWLRQ SDWWHUQV UHÀHFWLQJ SULPDU\ SURGXFWLYLW\ DUH LQGLFDWLYH RI ERWWRP?XS FRQWURO? ,Q the fossil record, productivity-controlled distribution patterns can also be perceived. Physi- cal parameters resulting in environmental stability, sea-level change, oceanic anoxic events, paleoclimate, and paleogeography are examined in comparison with taxonomic diversity and life history patterns. Mosasaurs originated during a time of high global temperatures and shallow temperature gradients. As upper-trophic-level species of modest size and plesiopedal limb structure (capable of terrestrial locomotion), early mosasaurs were subject to both top- down and bottom up pressures. The attainment of larger size coupled with emigration and biogeographic distribution in areas of high primary productivity, and niche differentiation VKRZQ E\ 13C values, indicate bottom-up pressures. Productivity along the African coast since the formation of the Atlantic Ocean facilitated the co-occurrence of diverse marine tetrapods through time, and has culminated today in the Benguela large marine ecosystem. Just as the current Benguela ecosystem has tetrapod species populations dominated by both bottom-up (cetaceans) and top-down strategies (sea birds and pinnipeds), so too did the Cre- taceous community, with mosasaurs and plesiosaurs having predominantly bottom-up popu- lation structure, while sea turtles and pterosaurs were more subject to top-down pressures.

Recent excavations at the Maastrichtian locality of Bentiaba, Namibe Province, in the southern part of Angola, have yielded high quality and partially articulated plesiosaur specimens that indicate at least three taxa were present. A new elasmosaurid is the most abundant and well-preserved plesiosaur taxon at Bentiaba. It is known from a complete articulated paddle and other elements of the skeleton, many of which remain to be collected. The most diagnostic elements so far recovered are the complete pelvic and pectoral girdles, which indicate that the Bentiaba elasmosaurid is probably a new genus because it bears an asymmetrical ventral process of the coracoids, a complete cordiform posterior coracoid vacuity, and pronounced excavation of the anterior border of the coracoids, among other characters. A polycotylid is [...]

In a Collaborative Network (CN) scenario it would be desirable that CN members could be able to start collaboration within their Virtual Organization Breeding Environments or Professional Virtual Communities in a short time-frame, whenever a new Business Opportunity appears.

As a contribution towards such dynamic scenario, this paper proposes the concepts of Assets Entity, Pro-Active Assets Entity and Integrated Market of Pro-Active Assets Entities. The first concept can be used to model attributes and all functional and intelligent content elements a CN member can provide (its Assets). The second is responsible for the representation and promotion of an Assets Entity. The later offers an adaptation of the market place concept where each Pro-Active Assets Entity registers itself, brokers post their needs and try to find the best providers, through a bidding and negotiation process.

he service concept is widely used in distinct research and application areas. Particularly in Collaborative Networks, Service Orientation represents a main trend in the development of support platforms. Nevertheless, a literature review shows that it does not gather a common understanding, namely from the software and business perspectives. This paper proposes a conceptual framework aiming at contributing to make these two perspectives come closer, through a refinement of the Service concept itself and the usage of Pro-Activeness.

n/a

n/a

Long-term electrical stability measurements, including current/bias stress and aging over 18 months of idle shelf life are presented for GIZO-based TFTs. The effects of oxygen partial pressure, annealing temperature and passivation are discussed. Optimized devices show highly stable properties, such as a recoverable ΔVT<0.5 V after 24h of 1D=10 μA stress, quite promising for integration in electronic circuits.

Long-term electrical stability measurements, including current/bias stress and aging over 18 months of idle shelf life are presented for GIZO-based TFTs. The effects of oxygen partial pressure, annealing temperature and passivation are discussed. Optimized devices show highly stable properties, such as a recoverable ΔV T<0.5 V after 24h of I D=10 μA stress, quite promising for integration in electronic circuits. © 2010 SID.

There are new business paradigms as lean and green to develop improvements on the supply chain performance. The performance evaluation has become an important subject getting competitive advantages in organizations and their supply chains. To get a balanced performance measurement system a balanced scorecard (BSC) may be develop. This study is motivated by the lack of evidence on the supply chain performance measurement; it pretends to explore the effect of lean and green supply chain through a BSC framework. To achieve this purpose a four perspectives BSC was developed based on cause-and-effect relationships. To identify how to develop the BSC for incorporating lean and green supply chain performance, a brief literature review is presented. This paper proposes a conceptual model to explore how lean and green supply chain performance may be studied, using a BSC perspective.