TOWARD SEMANTIC WEB SERVICES AS MVC APPLICATIONS: FROM OWL-S VIA UML

OWL-S is an application of OWL, the Web Ontology Language, that describes the semantics of Web Services so that their discovery, selection, invocation and composition can be automated. The research literature reports the use of UML diagrams for the automatic generation of Semantic Web Service descriptions in OWL-S. This paper demonstrates a higher level of automation by generating complete complete Web applications from OWL-S descriptions that have themselves been generated from UML. Previously, we proposed an approach for processing OWL-S descriptions in order to produce MVC-based skeletons for Web applications. The OWL-S ontology undergoes a series of transformations in order to generate a Model-View-Controller application implemented by a combination of Java Beans, JSP, and Servlets code, respectively. In this paper, we show in detail the documents produced at each processing step. We highlight the connections between OWL-S specifications and executable code in the various Java dialects and show the Web interfaces that result from this process.

An automatic correction method for the heel effect in digitized mammography images

The most significant radiation field nonuniformity is the well-known Heel effect. This nonuniform beam effect has a negative influence on the results of computer-aided diagnosis of mammograms, which is frequently used for early cancer detection. This paper presents a method to correct all pixels in the mammography image according to the excess or lack on radiation to which these have been submitted as a result of the this effect. The current simulation method calculates the intensities at all points of the image plane. In the simulated image, the percentage of radiation received by all the points takes the center of the field as reference. In the digitized mammography, the percentages of the optical density of all the pixels of the analyzed image are also calculated. The Heel effect causes a Gaussian distribution around the anode-cathode axis and a logarithmic distribution parallel to this axis. Those characteristic distributions are used to determine the center of the radiation field as well as the cathode-anode axis, allowing for the automatic determination of the correlation between these two sets of data. The measurements obtained with our proposed method differs on average by 2.49 mm in the direction perpendicular to the anode-cathode axis and 2.02 mm parallel to the anode-cathode axis of commercial equipment. The method eliminates around 94% of the Heel effect in the radiological image and the objects will reflect their x-ray absorption. To evaluate this method, experimental data was taken from known objects, but could also be done with clinical and digital images.

The potential for first-generation ethanol production from sugarcane

Ethanol production from sugarcane, mainly in Brazil, on the basis of first-generation technology (22.5 billion liters, in 2007/2008 season, in 3.4 million hectares) replaces 1% of the gasoline used in the world today and is highly competitive in economic terms with ethanol produced from other crops in the USA and Europe. In this paper we discuss the potential for sugarcane ethanol expansion from two angles: (1) productivity gains which would allow greater production in the same area and (2) geographical expansion to larger areas. The potential of first-generation technology for the production of ethanol from sugarcane is far from being exhausted. There are gains in productivity of approximately a factor of two from genetically modified varieties and a geographical expansion by a factor of ten of the present level of production in many sugar-producing countries. The replacement of 10% of the gasoline used in the world by ethanol from sugarcane seems possible before second-generation technology reaches technological maturity and possibly economic competitiveness. (C) 2009 Society of Chemical Industry and John Wiley & Sons, Ltd

Generation of Vortices and Observation of Quantum Turbulence in an Oscillating Bose-Einstein Condensate

We report on the experimental observation of vortex formation and production of tangled vortex distribution in an atomic BEC of (87)Rb atoms submitted to an external oscillatory perturbation. The oscillatory perturbations start by exciting quadrupolar and scissors modes of the condensate. Then regular vortices are observed finally evolving to a vortex tangle configuration. The vortex tangle is a signature of the presence of a turbulent regime in the cloud. We also show that this turbulent cloud has suppression of the aspect ratio inversion typically observed in quantum degenerate bosonic gases during free expansion.

Generation of nonground-state condensates and adiabatic paradox

The problem of resonant generation of nonground-state condensates is addressed aiming at resolving the seeming paradox that arises when one resorts to the adiabatic representation. In this picture, the eigenvalues and eigenfunctions of a time-dependent Gross-Pitaevskii Hamiltonian are also functions of time. Since the level energies vary in time, no definite transition frequency can be introduced. Hence no external modulation with a fixed frequency can be made resonant. Thus, the resonant generation of adiabatic coherent modes is impossible. However, this paradox occurs only in the frame of the adiabatic picture. It is shown that no paradox exists in the properly formulated diabatic representation. The resonant generation of diabatic coherent modes is a well defined phenomenon. As an example, the equations are derived, describing the generation of diabatic coherent modes by the combined resonant modulation of the trapping potential and atomic scattering length.

An entropy-based approach to automatic image segmentation of satellite images

An entropy-based image segmentation approach is introduced and applied to color images obtained from Google Earth. Segmentation refers to the process of partitioning a digital image in order to locate different objects and regions of interest. The application to satellite images paves the way to automated monitoring of ecological catastrophes, urban growth, agricultural activity, maritime pollution, climate changing and general surveillance. Regions representing aquatic, rural and urban areas are identified and the accuracy of the proposed segmentation methodology is evaluated. The comparison with gray level images revealed that the color information is fundamental to obtain an accurate segmentation. (C) 2010 Elsevier B.V. All rights reserved.

Automatic contour extraction from 2D neuron images

This work describes a novel methodology for automatic contour extraction from 2D images of 3D neurons (e.g. camera lucida images and other types of 2D microscopy). Most contour-based shape analysis methods cannot be used to characterize such cells because of overlaps between neuronal processes. The proposed framework is specifically aimed at the problem of contour following even in presence of multiple overlaps. First, the input image is preprocessed in order to obtain an 8-connected skeleton with one-pixel-wide branches, as well as a set of critical regions (i.e., bifurcations and crossings). Next, for each subtree, the tracking stage iteratively labels all valid pixel of branches, tip to a critical region, where it determines the suitable direction to proceed. Finally, the labeled skeleton segments are followed in order to yield the parametric contour of the neuronal shape under analysis. The reported system was successfully tested with respect to several images and the results from a set of three neuron images are presented here, each pertaining to a different class, i.e. alpha, delta and epsilon ganglion cells, containing a total of 34 crossings. The algorithms successfully got across all these overlaps. The method has also been found to exhibit robustness even for images with close parallel segments. The proposed method is robust and may be implemented in an efficient manner. The introduction of this approach should pave the way for more systematic application of contour-based shape analysis methods in neuronal morphology. (C) 2008 Elsevier B.V. All rights reserved.

Algorithms for two-dimensional cutting stock and strip packing problems using dynamic programming and column generation

We investigate several two-dimensional guillotine cutting stock problems and their variants in which orthogonal rotations are allowed. We first present two dynamic programming based algorithms for the Rectangular Knapsack (RK) problem and its variants in which the patterns must be staged. The first algorithm solves the recurrence formula proposed by Beasley; the second algorithm - for staged patterns - also uses a recurrence formula. We show that if the items are not so small compared to the dimensions of the bin, then these algorithms require polynomial time. Using these algorithms we solved all instances of the RK problem found at the OR-LIBRARY, including one for which no optimal solution was known. We also consider the Two-dimensional Cutting Stock problem. We present a column generation based algorithm for this problem that uses the first algorithm above mentioned to generate the columns. We propose two strategies to tackle the residual instances. We also investigate a variant of this problem where the bins have different sizes. At last, we study the Two-dimensional Strip Packing problem. We also present a column generation based algorithm for this problem that uses the second algorithm above mentioned where staged patterns are imposed. In this case we solve instances for two-, three- and four-staged patterns. We report on some computational experiments with the various algorithms we propose in this paper. The results indicate that these algorithms seem to be suitable for solving real-world instances. We give a detailed description (a pseudo-code) of all the algorithms presented here, so that the reader may easily implement these algorithms. (c) 2007 Elsevier B.V. All rights reserved.

An algorithm for automatic checking of exercises in a dynamic geometry system: iGeom

One of the key issues in e-learning environments is the possibility of creating and evaluating exercises. However, the lack of tools supporting the authoring and automatic checking of exercises for specifics topics (e.g., geometry) drastically reduces advantages in the use of e-learning environments on a larger scale, as usually happens in Brazil. This paper describes an algorithm, and a tool based on it, designed for the authoring and automatic checking of geometry exercises. The algorithm dynamically compares the distances between the geometric objects of the student`s solution and the template`s solution, provided by the author of the exercise. Each solution is a geometric construction which is considered a function receiving geometric objects (input) and returning other geometric objects (output). Thus, for a given problem, if we know one function (construction) that solves the problem, we can compare it to any other function to check whether they are equivalent or not. Two functions are equivalent if, and only if, they have the same output when the same input is applied. If the student`s solution is equivalent to the template`s solution, then we consider the student`s solution as a correct solution. Our software utility provides both authoring and checking tools to work directly on the Internet, together with learning management systems. These tools are implemented using the dynamic geometry software, iGeom, which has been used in a geometry course since 2004 and has a successful track record in the classroom. Empowered with these new features, iGeom simplifies teachers` tasks, solves non-trivial problems in student solutions and helps to increase student motivation by providing feedback in real time. (c) 2008 Elsevier Ltd. All rights reserved.

Automatic camera control in virtual environments augmented using multiple sparse videos

Automated virtual camera control has been widely used in animation and interactive virtual environments. We have developed a multiple sparse camera based free view video system prototype that allows users to control the position and orientation of a virtual camera, enabling the observation of a real scene in three dimensions (3D) from any desired viewpoint. Automatic camera control can be activated to follow selected objects by the user. Our method combines a simple geometric model of the scene composed of planes (virtual environment), augmented with visual information from the cameras and pre-computed tracking information of moving targets to generate novel perspective corrected 3D views of the virtual camera and moving objects. To achieve real-time rendering performance, view-dependent textured mapped billboards are used to render the moving objects at their correct locations and foreground masks are used to remove the moving objects from the projected video streams. The current prototype runs on a PC with a common graphics card and can generate virtual 2D views from three cameras of resolution 768 x 576 with several moving objects at about 11 fps. (C)2011 Elsevier Ltd. All rights reserved.

Tissue-, substrate-, and site-specific characteristics of mitochondrial reactive oxygen species generation

Reactive oxygen species are a by-product of mitochondrial oxidative phosphorylation, derived from a small quantity of superoxide radicals generated during electron transport. We conducted a comprehensive and quantitative study of oxygen consumption, inner membrane potentials, and H(2)O(2) release in mitochondria isolated from rat brain, heart, kidney, liver, and skeletal muscle, using various respiratory substrates (alpha-ketoglutarate, glutamate, succinate, glycerol phosphate, and palmitoyl carnitine). The locations and properties of reactive oxygen species formation were determined using oxidative phosphorylation and the respiratory chain modulators oligomycin, rotenone, myxothiazol, and antimycin A and the Uncoupler CCCP. We found that in mitochondria isolated from most tissues incubated under physiologically relevant conditions, reactive oxygen release accounts for 0.1-0.2% of O(2) consumed. Our findings support an important participation of flavoenzymes and complex III and a substantial role for reverse electron transport to complex I as reactive oxygen species sources. Our results also indicate that succinate is an important substrate for isolated mitochondrial reactive oxygen production in brain, heart, kidney, and skeletal muscle, whereas fatty acids generate significant quantities of oxidants in kidney and liver. Finally, we found that increasing respiratory rates is an effective way to prevent mitochondrial oxidant release under many, but not all, conditions. Altogether, our data uncover and quantify many tissue-, substrate-, and site-specific characteristics of mitochondrial ROS release. (C) 2009 Elsevier Inc. All rights reserved.

Generation of Cholesterol Carboxyaldehyde by the Reaction of Singlet Molecular Oxygen [O(2) ((1)Delta(g))] as Well as Ozone with Cholesterol

A few years ago, it was reported that ozone is produced in human atherosclerotic arteries, on the basis of the identification of 3 beta-hydroxy-5-oxo-5,6-secocholestan-6-al and 3 beta-hydroxy-5 beta-hydroxy-B-norcholestane-6 beta-carboxaldehyde (ChAld) as their 2,4-dinitrophenylhydrazones. The formation of endogenous ozone was attributed to water oxidation catalyzed by antibodies, with the formation of dihydrogen trioxide as a key intermediate. We now report that ChAld is also generated by the reaction of cholesterol with singlet molecular oxygen [O(2) ((1)Delta(g))] that is produced by photodynamic action or by the thermodecomposition of 1,4-dimethylnaphthalene endoperoxide, a defined pure chemical source of O(2) ((1)Delta(g)). On the basis of (18)O-labeled ChAld mass spectrometry, NMR, light emission measurements, and derivatization studies, we propose that the mechanism of ChAld generation involves the formation of the well-known cholesterol 5 alpha-hydroperoxide (5 alpha-OOH) (the major product of O(2) ((1)Delta(g))-oxidation of cholesterol) and/or a 1,2-dioxetane intermediate formed by O(2) ((1)Delta(g)) attack at the Delta(5) position. The Hock cleavage of 5 alpha-OOH (the major pathway) or unstable cholesterol dioxetane decomposition (a minor pathway, traces) gives a 5,6-secosterol intermediate, which undergoes intramolecular aldolization to yield ChAld. These results show clearly and unequivocally that ChAld is generated upon the reaction of cholesterol with O(2) ((1)Delta(g)) and raises questions about the role of ozone in biological processes.

Protoporphyrin IX Nanoparticle Carrier: Preparation, Optical Properties, and Singlet Oxygen Generation

The present study is focused on developing a nanoparticle carrier for the photosensitizer protoporphyrin IX for use in photodynamic therapy. The entrapment of protoporphyrin IX (Pp IX) in silica spheres was achieved by modification of Pp IX molecules with an organosilane reagent. The immobilized drug preserved its optical properties and the capacity to generate singlet oxygen, which was detected by a direct method from its characteristic phosphorescence decay curve at near-infrared and by a chemical method using 1,3-diphenylisobenzofuran to trap singlet oxygen. The lifetime of singlet oxygen when a suspension of Pp IX-loaded particles in acetonitrile was excited at 532 nm was determined as 52 mu s, which is in good agreement with the value determined for methylene blue in acetonitrile solution under the same conditions. The Pp IX-loaded silica particles have an efficiency of singlet oxygen generation (eta Delta) higher than the quantum yield of free porphyrins. This high efficiency of singlet oxygen generation was attributed to changes on the monomer-dimer equilibrium after photosentisizer immobilization.

Singlet oxygen generation in the reaction centers of Rhodobacter sphaeroides

Singlet oxygen ((1)O(2)) generation in the reaction centers (RCs) of Rhodobacter sphaeroides wild type was characterized by luminescent emission in the near infrared region (time resolved transients and emission spectra) and quantified to have quantum yield of 0.03 +/- 0.005. (1)O(2) emission was measured as a function of temperature, ascorbate, urea and potassium ferricyanide concentrations and as a function of incubation time in H(2)O: D(2)O mixtures. (1)O(2) was shown to be affected by the RC dynamics and to originate from the reaction of molecular oxygen with two sources of triplets: photoactive dimer formed by singlet-triplet mixing and bacteriopheophytin formed by direct photoexcitation and intersystem crossing.

Generation and suppression of singlet oxygen in hair by photosensitization of melanin

We have studied the spectroscopic properties of hair (white, blond, red, brown, and black) under illumination with visible light, giving special emphasis to the photoinduced generation of singlet oxygen ((1)O(2)). Irradiation of hair shafts (lambda(ex)>400 nm) changed their properties by degrading the melanin. Formation of C3 hydroperoxides in the melanin indol groups was proven by (1)H NMR. After 532-nm excitation, all hair shafts presented the characteristic (1)O(2) emission (lambda(em) = 1270 nm), whose intensity varied inversely with the melanin content. (1)O(2) lifetime was also shown to vary with hair type, being five times shorter in black hair than in blond hair, indicating the role of melanin as a (1)O(2) suppressor. Lifetime ranged from tenths of a nanosecond to a few microseconds, which is much shorter than the lifetime expected for (1)O(2) in the solvents in which the hair shafts were suspended, indicating that (1)O(2) is generated and suppressed inside the hair structure. Both eumelanin and pheomelanin were shown to produce and to suppress (1)O(2), with similar efficiencies. The higher amount of (1)O(2) generated in blond hair and its longer lifetime is compatible with the stronger damage that light exposure causes in blond hair. We propose a model to explain the formation and suppression of (1)O(2) in hair by photosensitization of melanin with visible light and the deleterious effects that an excess of visible light may cause in hair and skin. 2011 Published by Elsevier Inc.