Export 9208 results:
Sort by: Author Title Type [ Year  (Desc)]
2010
Figueiredo, E., R. J. C. Silva, F. M. Braz Fernandes, and M. F. Araújo. "Some long term corrosion patterns in archaeological metal artefacts." Materials Science Forum. 636-637 (2010): 1030-1035. AbstractWebsite
n/a
Potecaşu, T., O. Potecaşu, and R. J. C. Silva. "Straps of high resistance processed of steel with low carbone." Metalurgia International. 15.4 (2010): 50-54. AbstractWebsite
n/a
Marin, Mihaela, Elena Drugescu, Octavian Potecasu, Florentina Potecasu, and Rui Silva Cordeiro. "STUDY OF CORROSION BEHAVIOR FOR STEAM TREATED SINTERED IRON POWDER." Metalurgia International. 15.12 (2010): 95-100. Abstract
n/a
Fernandes, Francisco Braz M., Karimbi K. Mahesh, Rui JC Silva, Carmela Gurau, Gheorghe Gurau, M. Stutzmann, and S. Hildebrandt. "XRD study of the transformation characteristics of severely plastic deformed Ni-Ti SMAs." Physica Status Solidi C - Current Topics in Solid State Physics, Vol 7 No 5. 7.5 (2010): 1348-1350. Abstract
n/a
Pinho, Fernando F. S., Manuel F. C. Baiao, and Válter J. G. Lúcio. "Paredes de alvenaria ordinária. Efeito do confinamento transversal por conectores metálicos." SISMICA 2010 - 8º Congresso Nacional de Sismologia e Engenharia Sísmica. Universidade de Aveiro 2010.
Santana, M. T., A. N. Antão, M. Vicente da Silva, and N. M. C. Guerra. "Determinação de impulsos sísmicos com recurso à implementação numérica do teorema cinemático." V Congresso Luso-Brasileiro de Geotecnia. Gramado, Brasil 2010. Abstract

n/a

Guerra, N. M. C., A. N. Antão, and M. {Vicente da Silva}. "Impulso passivo ou capacidade resistente de fundações superficiais?" V Congresso Luso-Brasileiro de Geotecnia. Gramado, Brasil 2010. Abstract
n/a
Paulino, Hervé, Paulo Cancela, and Tiago Franco. "A Platform-Centric Framework for the Web Exposure and Orchestration of Distributed Objects." The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2010, Wuhan, China, December 8-11 2010. Eds. Ran Zheng Xiaofei Liao, Hai Jin, and Deqing Zou. IEEE Computer Society, 2010. 386-392. Abstract
n/a
M. Alferez, A. Moreira, V. Amaral, and J. Araújo. "Model-Driven Requirements Specification for Software Product Lines." IGI Global, 2010. 369-386. Abstract

n/a

Paulino, Hervé, João André Martins, João M. Lourenço, and Nuno Duro. "SmART: An Application Reconfiguration Framework." Marc Aiguier, Francis Bretaudeau and Daniel Krob ed. Springer Berlin Heidelberg, 2010. 73-84. Abstract
n/a
Valtchev, {Stanimir Stoyanov}, and DEE Group Author. "The Charging of Hybrid and Electrical Vehicles’ Batteries: Contactless Energy Transfer as the key to the future." -. 2010. –. Abstract

Would it be necessary to charge rapidly the electric vehicle (EV) and hybrid electric vehicle (HEV)? It is not easy to answer without a thorough look at the capability of the modern propulsion battery and the power necessities of the EV and HEV. The different possible solutions are compared and maximum speed of charging is analysed. The wired connection for charging is compared to the wireless energy transfer and because of the limitations imposed by the modern and future batteries, the contactless energy transfer is chosen as the future charging method.

Mateus, Octávio Colecções e museus de Geologia: missão e gestão. Ed. Universidade de Coimbra e Centro de Estudos de História e Filosofia da Ciência, 2010. Abstract
n/a
Damásio, Carlos Viegas, João Leite, and José Júlio Alferes. "Declarative Semantics for the Rule Interchange Format Production Rule Dialect." The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference. Springer, 2010. 798-813. Abstractiswc10.pdf

TheRuleInterchangeFormatProductionRuleDialect(RIF- PRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operationally via labeled ter- minal transition systems.
In this paper, we introduce a declarative logical characterization of the full default semantics of RIF-PRD based on Answer Set Programming (ASP), including matching, conflict resolution and acting.
Our proposal to the semantics of RIF-PRD enjoys several features. Being based on ASP, it enables a straightforward integration with Logic Programming rule based technology, namely for reasoning and acting with ontologies. Then, its full declarative logical character facilitates the in- vestigation of formal properties of RIF-PRD itself. Furthermore, it turns out that our characterization based on ASP is flexible enough so that new conflict resolution semantics for RIF-PRD can easily be defined and encoded. Finally, it immediately serves as the declarative specification of an implementation, whose prototype we developed.

Mateus, Octávio. "Evolutionary major trends of ornithopod dinosaurs teeth." Dinosaurios y paleontología desde América Latina,. Eds. J. Calvo, J. Porfiri, and Dos Santos BGR} {D. Y. EDIUNC, 2010. 25-31 pp. Abstract
n/a
Mateus, Octávio. "First records of crocodyle and pterosaur tracks in the Upper Jurassic of Portugal." New Mexico Museum of Natural History and Science Bulletin. 51 (2010): 83-87. Abstract

The Upper Jurassic of Portugal has a rich vertebrate fauna well documented from both body and trace fossils. Although the occurrence of crocodyles and pterosaurs is well documented from body fossils, trace fossils from both groups were unknown until now. Here we describe an isolated crocodyle-like track from Praia da Peralta and pterosaur tracks from the Kimmeridgian of Pedreira do Avelino, Sesimbra (Azóia Fm.) and Porto das Barcas, Lourinhã (Lourinhã Fm.). An enigmatic track suggests the possible presence of a small, tail-dragging tetrapod. Possible track-makers are suggested based on the known Late Jurassic vertebrate fauna of Portugal.

Gomes, Ana Sofia, José Júlio Alferes, and Terrance Swift. "Implementing Query Answering for Hybrid MKNF Knowledge Bases." Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010. Vol. 5937. Springer, 2010. 25-39. Abstractpadl10.pdf

Ontologies and rules are usually loosely coupled in knowledge rep- resentation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non-monotonic, closed-world reasoning. One ex- ception is the tightly-coupled framework of Minimal Knowledge and Negation as Failure (MKNF), which allows statements about individuals to be jointly derived via entailment from an ontology and inferences from rules. Nonetheless, the prac- tical usefulness of MKNF has not always been clear, although recent work has formalized a general resolution-based method for querying MKNF when rules are taken to have the well-founded semantics, and the ontology is modeled by a general Oracle. That work leaves open what algorithms should be used to relate the entailments of the ontology and the inferences of rules. In this paper we pro- vide such algorithms, and describe the implementation of a query-driven system, CDF-Rules, for hybrid knowledge bases combining both (non-monotonic) rules under the well-founded semantics and a (monotonic) ontology, represented by a CDF (ALCQ) theory.

Valtchev, {Stanimir Stoyanov}, {Jorge Joaquim} Pamies-Teixeira, and DEE Group Author. "An Insight to Potential Actions Facing Future Needs of Electric and Hybrid Electric Vehicles." -. 2010. –. Abstract

Recent issues of global heating and energy shortages are imposing a need to change our paradigm around transportation. Somehow, electric vehicles are progressively standing as a strong and necessary alternative for the society. Technically and technologically the acceptance of the EV is easier now than ever but the psychology of the consumers and the running business of internal combustion vehicles, the whole existing infrastructure are too much conservative to be changed easily. The changes in technology require changes in the engineering society and its human resources. The objective of this paper is to give a contribution to the discussion and reflection of potential future scenarios where EV/HEV‘s are spread across the society. It gives an overview of the range of knowledge and competences necessary for a sustainable and streamlined development of those. In fact, it is expected that a new kind of professional profiles need to be created or developed to supply the work market with the right human resources. The paper provides some discussion on the creation of new profiles or adaption of existing ones. Among different possible scenarios the creation of post-graduation courses for students holding undergraduate profiles in the fields referred to earlier would be an interesting and viable solution for fast response. The post graduation would be focused in specific key areas of the EV/HEV. Several factors are pointed out to endorse this scenario

Mateus, Octávio. "Paleontological collections of the Museum of Lourinhã (Portugal)." Colecções e museus de Geologia: missão e gestão. Eds. JM Brandao, PM Callapez, O. Mateus, and P. Castro. Ed. Universidade de Coimbra e Centro de Estudos e Filosofia da História da Ciência Coimbra, 2010. 121-126. Abstract
n/a
Mateus, Octávio. "Paleontological collections of the Museum of Lourinhã (Portugal)." Colecções e museus de Geologia: missão e gestão. Eds. JM Brandão, PM Callapez, O. Mateus, Castro, and P. Ed. Universidade de Coimbra e Centro de Estudos de História e Filosofia da Ciência, 2010. 121-126. Abstract
n/a
Gonçalves, Ricardo, and José Júlio Alferes. "Parametrized Logic Programming." Logics in Artificial Intelligence - 12th European Conference, JELIA 2010. Springer, 2010. 182-194. Abstract

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.

Mateus, Octávio Physical drivers of evolution and the history of the marine tetrapod fauna of Angola. Vol. –., 2010. Abstract

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.

Knorr, Matthias. "Querying EL+ with Nonmonotonic Rules." ECAI 2010 - 19th European Conference on Artificial Intelligence. IOS Press, 2010. 1079-1080. Abstractecai10.pdf

A general top-down algorithmization for the Well-Founded MKNF Semantics - a semantics for combining rules and
ontologies - was recently defined based on an extension of SLG resolution for Logic Programming with an abstract oracle to the parametric ontology language. Here we provide a concrete oracle with practical usage, namely for EL+ which is tractable for reasoning tasks like subsumption. We show that the defined oracle remains tractable
(wrt. data complexity) so that the combined (query-driven) approach of non-monotonic rules with that oracle is tractable as well.

Valtchev, {Stanimir Stoyanov}, and DEE Group Author. "Resonant Effects Applied in Power Conversion for Contactless Energy Transfer and Energy Harvesting." -. 2010. –. Abstract
n/a
Valtchev, {Stanimir Stoyanov}, and DEE Group Author. "Resonant power conversion in contactless battery charging for Electric Vehicle / Hybrid Electric Vehicle." -. 2010. –. Abstract

The electromagnetic resonance became irreplaceable tool for wirelessly transfer energy and information. Since long this effect is widely used in communications but recently it is deeply studied and applied at the contactless transfer of energy. The electric/hybrid car battery charging is an urgent need and the knowledge about the resonant contactless transfer became very important. The study of the Series Loaded Series Resonant converter shows it as well suitable for the contactless energy transfer. The idealized Series Resonant Power Converter is used as a base for defining the best (most efficient) modes of operation. Based on the magnetic parameters of the loosely coupled transformer (magnetic link), the characteristics of the contactless power converter are described in approximated form, thus permitting an easier and faster calculation of the converter variables. This is used for instantaneous control of the converter, free from previously known defects.