Formalisation and Implementation of the XACML Access Control Mechanism

We propose a formal account of XACML, an OASIS standard adhering to the Policy Based Access Control model for the specifica- tion and enforcement of access control policies. To clarify all ambiguous and intricate aspects of XACML, we provide it with a more manageable alternative syntax and with a solid semantic ground. This lays the basis for developing tools and methodologies which allow software engineers to easily and precisely regulate access to resources using policies. To demonstrate feasibility and effectiveness of our approach, we provide a software tool, supporting the specification and evaluation of policies and access requests, whose implementation fully relies on our formal development

Quantitative electron energy-loss spectroscopy (EELS) analyses of lead zirconate titanate

Electron energy-loss spectroscopy (EELS) analyses have been performed on a sol–gel deposited lead zirconate titanate film, showing that EELS can be used for heavy as well as light element analysis. The elemental distributions within the sol–gel layers are profiled using the Pb N<sub>6,7</sub>-edges, Zr M-edges, Ti L-edges and O K-edge. A multiple linear least squares fitting procedure was used to extract the Zr signal which overlaps with the Pb signal. Excellent qualitative information has been obtained on the distribution of the four elements. The non-uniform and complementary distributions of Ti and Zr within each sol–gel deposited layer are observed. The metal:oxygen elemental ratios are quantified using experimental standards of PbTiO<sub>3</sub>, PbZrO<sub>3</sub>, ZrO<sub>2</sub> and TiO<sub>2</sub> to provide relevant cross-section ratios. The quantitative results obtained for Ti/O and Pb/O are very good but the Zr/O results are less accurate. Methods of further improving the results are discussed

Faithful remote state preparation using finite classical bits and a non-maximally entangled state

We present many ensembles of states that can be remotely prepared by using minimum classical bits from Alice to Bob and their previously shared entangled state and prove that we have found all the ensembles in two-dimensional case. Furthermore we show that any pure quantum state can be remotely and faithfully prepared by using finite classical bits from Alice to Bob and their previously shared nonmaximally entangled state though no faithful quantum teleportation protocols can be achieved by using a nonmaximally entangled state.Comment: 6 page

Time evolution of deformation in a human cartilage under cyclic loading

Recent imaging has revealed that in vivo contact deformations of human knee cartilage under physiological loadings are surprisingly large—typically on the order of 10%, but up to 20 or 30% of tibiofemora cartilage thickness depending on loading conditions. In this paper we develop a biphasic, large deformation, non-linear poroelastic model of cartilage that can accurately represent the time dependence and magnitude of cyclic cartilage deformations in vivo. The model takes into account cartilage tension–compression nonlinearity and a new constitutive relation in which the compressive stiffness and hydraulic permeability of the cartilage adjusts in response to the strain-dependent aggrecan concentration. The model predictions are validated using experimental test results on osteochondral plugs obtained from human cadavers. We find that model parameters can be optimised to give an excellent fit to the experimental data. Using typical hydraulic conductivity and stiffness parameters for healthy cartilage, we find that the experimentally observed transient and steady state tissue deformations under cyclic loading and unloading can be reproduced by the model. Steady state tissue deformations are shown to cycle between 10% (exudation strain) and 20% (total strain) in response to the cyclic test loads. At steady-state cyclic loading, the pore fluid exuded from the tissue is exactly equal to the pore fluid imbibed by the tissue during each load cycle

A hypersonic plasma bullet train traveling in an atmospheric dielectric-barrier discharge jet

An experimental observation of fast-moving plasma bullets produced in an atmospheric dielectric-barrier discharge jet is reported in this paper. Nanosecond imaging suggests that the atmospheric discharge jet consists of a plasma bullet train traveling at a hypersonic speed from 7.0 km/s to 43.1 km/s. Yet on a millisecond scale, the bullet train appears as a plasma jet of several centimeters long. The plasma bullets are produced through several possible mechanisms, the most likely of which is related to the ionization wave. Time and space resolved optical emission spectroscopy show that reactive plasma species can be delivered to different spatial sites with varying quantities

A Detailed Monte-Carlo Simulation for the Belle TOF System

We have developed a detailed Monte Carlo simulation program for the Belle TOF system. Based on GEANT simulation, it takes account of all physics processes in the TOF scintillation counters and readout electronics. The simulation reproduces very well the performance of the Belle TOF system, including the dE/dx response, the time walk effect, the time resolution, and the hit efficiency due to beam background. In this report, we will describe the Belle TOF simulation program in detail.Comment: To be submitted to NI

Los métodos de diagnóstico de la sarna sarcóptica en cerdos

Poster apresentado no II Congreso Ibérico de Epidemiologia Veterinária, que decorreu em Barcelona, na FVUAB de 2 a 5 de Fevereiro de 2010.El ácaro astigmatídeo Sarcoptes scabiei (Figura 1), que causa la sarna, es una especie adaptada a diferentes hospedadores y con especial importancia en el cerdo. La sarna es una enfermedad parasitaria de la piel comunes en los animales estabulados o explotados en virtud de las malas condiciones de higiene y por lo general se produce a finales de invierno o principios de primavera. La importancia económica de la enfermedad se asocia con disminución en la producción, con la devaluación de los canales en el matadero y el uso continuo de acaricidas en los animales infectados (Damriyasa et al., 2004)

Electron-withdrawing group modified carbazolophane donors for deep blue thermally activated delayed fluorescence OLEDs

AKG is grateful to the Royal Society for Newton International Fellowship NF171163. We acknowledge support from the Engineering and Physical Sciences Research Council of the UK (grants EP/P010482/1 and EP/L017008/1). The German Research Foundation (formally Deutsche Forschungsgemeinschaft DFG) in the framework of SFB1176 Cooperative Research Centre “Molecular Structuring of Soft Matter” (CRC1176, A4, B3, C2, C6) and the cluster 3D Matter made to order all funded under Germany's Excellence Strategy 2082/1-390761711 are acknowledged for financial contributions.We report two blue-emitting thermally activated delayed fluorescence (TADF) compounds employing a substituted carbazolophane (Czp) donor (indolo[2.2]paracyclophane). The compounds CNCzpPhTRZ and CF3CzpPhTRZ show emission maxima of 426 nm and 432 nm, respectively, with high photoluminescence quantum yields (ΦPL) of 73% and 80%, respectively. The singlet–triplet energy gap (ΔEST) of both emitters is 0.22 eV, resulting in long-delayed lifetimes of 132 μs for CNCzpPhTRZ and 158 μs for CF3CzpPhTRZ in PPT as the host matrix. Blue organic light-emitting diodes (OLEDs) showed maximum external quantum efficiencies (EQEs) of 7.4% for CNCzpPhTRZ and 11.6% for CF3CzpPhTRZ with electroluminescence maxima of ca. 460 nm.Publisher PDFPeer reviewe