Local closed world reasoning with description logics under the well-founded semantics

An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One of the most mature proposals for this combination is known as hybrid MKNF knowledge bases (Motik and Rosati, 2010 [52]), and it is based on an adaptation of the Stable Model Semantics to knowledge bases consisting of ontology axioms and rules. In this paper we propose a well-founded semantics for nondisjunctive hybrid MKNF knowledge bases that promises to provide better efficiency of reasoning, and that is compatible with both the OWL-based semantics and the traditional Well-Founded Semantics for logic programs. Moreover, our proposal allows for the detection of inconsistencies, possibly occurring in tightly integrated ontology axioms and rules, with only little additional effort. We also identify tractable fragments of the resulting language.     

Fracture analysis of plane piezoelectric/piezomagnetic multiphase composites under transient loading

The transient response of cracked composite materials made of piezoelectric and piezomagnetic phases, when subjected to in-plane magneto-electro-mechanical dynamic loads, is addressed in this paper by means of a mixed boundary element method (BEM) approach. Both the displacement and traction boundary integral equations (BIEs) are used to develop a single-domain formulation. The convolution integrals arising in the time-domain BEM are numerically computed by Lubich’s quadrature, which determines the integration weights from the Laplace transformed fundamental solution and a linear multistep method. The required Laplace-domain fundamental solution is derived by means of the Radon transform in the form of line integrals over a unit circumference. The singular and hypersingular BIEs are numerically evaluated in a precise and efficient manner by a regularization procedure based on a simple change of variable, as previously proposed by the authors for statics. Discontinuous quarter-point elements are used to properly capture the behavior of the extended crack opening displacements (ECOD) around the crack-tip and directly evaluate the field intensity factors (stress, electric displacement and magnetic induction intensity factors) from the computed nodal data. Numerical results are obtained to validate the formulation and illustrate its capabilities. The effect of the combined application of electric, magnetic and mechanical loads on the dynamic field intensity factors is analyzed in detail for several crack configurations under impact loading.     

An Analysis of Edge Detection by Using the Jensen-Shannon Divergence

This work constitutes a theoretical study of the edge-detection method by means of the Jensen-Shannon divergence, as proposed by the authors. The overall aim is to establish formally the suitability of the procedure of edge detection in digital images, as a step prior to segmentation. In specific, an analysis is made not only of the properties of the divergence used, but also of the method's sensitivity to the spatial variation, as well as the detection-error risk associated with the operating conditions due to the randomness of the spatial configuration of the pixels. Although the paper deals with the procedure based on the Jensen-Shannon divergence, some problems are also related to other methods based on local detection with a sliding window, and part of the study is focused to noisy and textured images.     

CASANDRA: a prototype implementation of a system of network progressive transmission of medical digital images

In this paper, a prototype for progressive transmission of medical digital 2D images through the network, called CASANDRA, is presented. The prototype consists of the server part and the client part. In the server part, the images are acquired, stored, computed their wavelet transform and the wavelet coefficients stored, then transmitted progressively, when required, via TCP to the client. In the client part, with the inverse wavelet transform, the received wavelet coefficients are used to build successive improved reconstructions of the image.This prototype has been implemented and is being tested in the Radiotherapy Service of the Valencia University Hospital (Valencia, Spain).     

Unexpected products of the allyldiethylamine hydroformylation homogeneously catalyzed by rhodium complexes

Attempts to carry out the hydroformylation of allyldiethylamine homogeneously catalyzed by rhodium complexes led to unexpected formation of N,N,N,N-tetraethyl-1,4-diaminobutane and 4-(diethylamino)-1-butanole as final products. The role of the catalyst on the product formation and the reaction mechanism are briefly discussed.     

Gammagraphic diagnosis of a non-hyperactive suprarenal adenoma

It is described the case of a patient with Ovarian Cystadenoma in whom a 3.5 cm nodular lesion was accidentally detected in her left suprarenal gland. She had no signs of hypercortisolism or any other suprarenal pathology and was symptomless. Determinations in the urine of 24 hours of Cortisol, Adrenaline and Noradrenaline, 17-ketosteroids and Tetrahydroaldosterone were normal. Daily rhythm and plasmatic determinations of ACTH, cortisol and 11-deoxycortisol were normal. The Dexamethasone suppression test was also normal. In the suprarenal gammagraphy it appeared an intense captation by left suprarenal without visualization of right gland. A left suprarenalectomy was performed and the anatomopathological analysis showed a clear cell corticoadrenal adenoma. Therefore the only data of the function of suprarenal adenoma was the one coming from gammagraphy. We thought that the adenoma was responsible of practically all the corticoadrenal function without reaching pathological levels, meeting the criteria of "pre-Cushing" syndrome or subclinical Cushing, due to the fact that the contralateral gland was not seen in the gammagraphy. Therefore in the characterization of certain tumors which appear clinically and biochemically as non functional, the suprarenal gammagraphy could be a technique of great usefulness for the diagnosis.     

Male response to natural sex pheromone ofMigdolus fryanus westwood (Coleoptera: Cerambycidae) females as affected by daily climatic factors

Males of the sugarcane borer,Migdolus fryanus (Coleoptera: Cerambycidae), are attracted to females by means of a sex pheromone. Mating usually occurs during a few days from October to March under field conditions in São Paulo State, Brazil. This work reports on mating of this species as affected by daily climatic factors, during a single nuptial flight. Maximum male capture by the natural sex pheromone occurred from 1000 to 1100 AM at air and soil temperatures of 30.0°C and relative humidity of 57.0%. As these temperatures increased, females burrowed into the soil, as they are more sensitive to heat than males. Thus, it was concluded that sex pheromone-mediated mating in this cerambycid is directly affected by temperatures of air and soil.     

Fracture morphology and mechanical properties of thermocatalytically polymerized MMA-impregnated mortar

Mortar mixes with different water-cement ratios and consistency were impregnated with methyl-methacrylate monomer and polymerized thermally under water using the free radical initiator, -azobis (isobutyronitrile). Results on drying, impregnation and polymerization are presented. It is shown that a considerable amount of polymer remained strongly adhered or chemically inserted in the inorganic matrix. The molecular weight of the inserted polymer is higher than that obtained in the solvent extracted polymer and this is also higher than the polymer molecular weight obtained by bulk polymerization under the same conditions. The compressive and flexural strength of the impregnated mortar were found to be a function of the amount of polymer in the composites. Fracture behaviour under load, and polymer distribution inside the composites were examined by scanning electron microscopic techniques (SEM). It was observed that the polymer acts in two ways, first as a filler of porous and microcrack voids, secondly forming an anisotropic irregular network improving the bond characteristic of the interface between aggregate and matrix. Furthermore, due to the the adhesion of the polymer to both phases, it acts as a reinforcement and improves the mechanical properties, in particular the flexural strength.     

A socioeconomic model for managing water resources in Alicante,southeast Spain

The study analyzes variables that influence the water management model based on a simultaneous relationship between competing demands in the Marina Baja of Alicante, using a methodology that directly links together urban and irrigation demands, making them relevant to each other from a socioeconomic point of view. The paper identifies the relevant variables of this model and the agent behaviour in a closed and joint system. It also aims to demonstrate that by considering water demands for different yet simultaneous uses and regarding clean and reclaimed waters as integrated resources, the system could remain in equilibrium without external water supplies.