Practical Use of Formal Concept Analysis in Service-Oriented Computing

International audiencePervasive applications are encountered in a number of settings, including smart houses, intelligent buildings or connected plants. Service-Oriented Computing is today the technology of choice for implementing and exposing resources in such environments. The selection of appropriate services at the right moment in order to compose meaningful applications is however a real issue. In this paper, we propose a FCA-based solution to this problem.We have integrated FCA algorithms in our pervasive gateways and adapted them in order to allow efficient runtime selection of heterogeneous and dynamic services. This work has been applied to realistic use cases in the scope of a European project

Photoinduced suppression of the ferroelectric instability in PbTe

The interactions between electrons and phonons drive a large array of technologically relevant material properties including ferroelectricity, thermoelectricity, and phase-change behaviour. In the case of many group IV-VI, V, and related materials, these interactions are strong and the materials exist near electronic and structural phase transitions. Their close proximity to phase instability produces a fragile balance among the various properties. The prototypical example is PbTe whose incipient ferroelectric behaviour has been associated with large phonon anharmonicity and thermoelectricity. Experimental measurements on PbTe reveal anomalous lattice dynamics, especially in the soft transverse optical phonon branch. This has been interpreted in terms of both giant anharmonicity and local symmetry breaking due to off-centering of the Pb ions. The observed anomalies have prompted renewed theoretical and computational interest, which has in turn revived focus on the extent that electron-phonon interactions drive lattice instabilities in PbTe and related materials. Here, we use Fourier-transform inelastic x-ray scattering (FT-IXS) to show that photo-injection of free carriers stabilizes the paraelectric state. With support from constrained density functional theory (CDFT) calculations, we find that photoexcitation weakens the long-range forces along the cubic direction tied to resonant bonding and incipient ferroelectricity. This demonstrates the importance of electronic states near the band edges in determining the equilibrium structure.Comment: 9 page, 3 figure

Índice comprimento/largura da folha no melhoramento do feijão (Phaseolus vulgaris L.).

O índice comprimento/largura do folíolo central da folha composta originada no quarto nó da planta é um dos descritores referidos à proteção de cultivares de feijão (a determinação na folha do quarto nó é estabelecida por analogia com a determinação da cor do referido folíolo contida no formulário ?Descritores mínimos de feijão?, do Serviço Nacional de Proteção de Cultivares- SNPC)

Vinte anos de integração pesquisa-extensão-agricultor com feijão no Rio Grande do Sul.

bitstream/item/58268/1/7-feijao-Iraja-2011.pd

Caloric dose-responsive genes in blood cells differentiate the metabolic status of obese men.

We have investigated the postprandial transcriptional response of blood cells to increasing caloric doses of a meal challenge to test whether the dynamic response of the human organism to the ingestion of food is dependent on metabolic health. The randomized crossover study included seven normal weight and seven obese men consuming three doses (500/1000/1500 kcal) of a high-fat meal. The blood cell transcriptome was measured before and 2, 4, and 6 h after meal ingestion (168 samples). We applied univariate and multivariate statistics to investigate differentially expressed genes in both study groups. We identified 624 probe sets that were up- or down-regulated after the caloric challenge in a dose-dependent manner. These transcripts were most responsive to the 1500 kcal challenge in the obese group and were associated with postprandial insulin and oxidative phosphorylation. Furthermore, the data revealed a separation of the obese group into individuals whose response was close to the normal weight group and individuals with a transcriptional response indicative of a loss of metabolic flexibility. The molecular signature provided by the postprandial transcriptomic response of blood cells to increasing caloric doses of a high-fat meal challenge may represent a sensitive way to evaluate the qualitative impact of food on human health

Automatic Classification of Roof Shapes for Multicopter Emergency Landing Site Selection

Geographic information systems (GIS) now provide accurate maps of terrain, roads, waterways, and building footprints and heights. Aircraft, particularly small unmanned aircraft systems, can exploit additional information such as building roof structure to improve navigation accuracy and safety particularly in urban regions. This paper proposes a method to automatically label building roof shape types. Satellite imagery and LIDAR data from Witten, Germany are fed to convolutional neural networks (CNN) to extract salient feature vectors. Supervised training sets are automatically generated from pre-labeled buildings contained in the OpenStreetMap database. Multiple CNN architectures are trained and tested, with the best performing networks providing a condensed feature set for support vector machine and decision tree classifiers. Satellite and LIDAR data fusion is shown to provide greater classification accuracy than through use of either data type individually

Solar interacting protons versus interplanetary protons in the core plus halo model of diffusive shock acceleration and stochastic re-acceleration

With the first observations of solar γ-rays from the decay of pions, the relationship of protons producing ground level enhancements (GLEs) on the Earth to those of similar energies producing the γ-rays on the Sun has been debated. These two populations may be either independent and simply coincident in large flares, or they may be, in fact, the same population stemming from a single accelerating agent and jointly distributed at the Sun and also in space. Assuming the latter, we model a scenario in which particles are accelerated near the Sun in a shock wave with a fraction transported back to the solar surface to radiate, while the remainder is detected at Earth in the form of a GLE. Interplanetary ions versus ions interacting at the Sun are studied for a spherical shock wave propagating in a radial magnetic field through a highly turbulent radial ray (the acceleration core) and surrounding weakly turbulent sector in which the accelerated particles can propagate toward or away from the Sun. The model presented here accounts for both the first-order Fermi acceleration at the shock front and the second-order, stochastic re-acceleration by the turbulence enhanced behind the shock. We find that the re-acceleration is important in generating the γ-radiation and we also find that up to 10% of the particle population can find its way to the Sun as compared to particles escaping to the interplanetary space

Photofission of heavy nuclei at energies up to 4 GeV

Total photofission cross sections for 238U, 235U, 233U, 237Np, 232Th, and natPb have been measured simultaneously, using tagged photons in the energy range Egamma=0.17-3.84 GeV. This was the first experiment performed using the Photon Tagging Facility in Hall B at Jefferson Lab. Our results show that the photofission cross section for 238U relative to that for 237Np is about 80%, implying the presence of important processes that compete with fission. We also observe that the relative photofission cross sections do not depend strongly on the incident photon energy over this entire energy range. If we assume that for 237Np the photofission probability is equal to unity, we observe a significant shadowing effect starting below 1.5 GeV.Comment: 4 pages of RevTex, 6 postscript figures, Submitted to Phys. Rev. Let