Abstraction carrying code and resource-awareness

Proof-Carrying Code (PCC) is a general approach to mobile code safety in which the code supplier augments the program with a certifícate (or proof). The intended benefit is that the program consumer can locally validate the certifícate w.r.t. the "untrusted" program by means of a certifícate checker—a process which should be much simpler, eíñcient, and automatic than generating the original proof. Abstraction Carrying Code (ACC) is an enabling technology for PCC in which an abstract model of the program plays the role of certifícate. The generation of the certifícate, Le., the abstraction, is automatically carried out by an abstract interpretation-based analysis engine, which is parametric w.r.t. different abstract domains. While the analyzer on the producer side typically has to compute a semantic fixpoint in a complex, iterative process, on the receiver it is only necessary to check that the certifícate is indeed a fixpoint of the abstract semantics equations representing the program. This is done in a single pass in a much more efficient process. ACC addresses the fundamental issues in PCC and opens the door to the applicability of the large body of frameworks and domains based on abstract interpretation as enabling technology for PCC. We present an overview of ACC and we describe in a tutorial fashion an application to the problem of resource-aware security in mobile code. Essentially the information computed by a cost analyzer is used to genérate cost certificates which attest a safe and efficient use of a mobile code. A receiving side can then reject code which brings cost certificates (which it cannot validate or) which have too large cost requirements in terms of computing resources (in time and/or space) and accept mobile code which meets the established requirements.

Thermal food processing optimization: Algorithms and software

The algorithms and graphic user interface software package ?OPT-PROx? are developed to meet food engineering needs related to canned food thermal processing simulation and optimization. The adaptive random search algorithm and its modification coupled with penalty function?s approach, and the finite difference methods with cubic spline approximation are utilized by ?OPT-PROx? package (http://tomakechoice. com/optprox/index.html). The diversity of thermal food processing optimization problems with different objectives and required constraints are solvable by developed software. The geometries supported by the ?OPT-PROx? are the following: (1) cylinder, (2) rectangle, (3) sphere. The mean square error minimization principle is utilized in order to estimate the heat transfer coefficient of food to be heated under optimal condition. The developed user friendly dialogue and used numerical procedures makes the ?OPT-PROx? software useful to food scientists in research and education, as well as to engineers involved in optimization of thermal food processing.

Workshop on engaging the human-computer interaction community with public policymaking internationally

There is an increasing interest in the intersection of human-computer interaction and public policy. This day-long workshop will examine successes and challenges related to public policy and human computer interaction, in order to provide a forum to create a baseline of examples and to start the process of writing a white paper on the topic.

Análise in vitro da expressão de genes de resposta a estresse oxidativo e osmótico da bactéria fastidiosa Leifsonia xyli subsp. xyli

Atualmente, o Brasil é o maior produtor de cana-de-açúcar (Saccharum ssp.), no qual o estado de São Paulo é responsável por mais de 50% da produção. Esta cultura é hospedeira de diversos patógenos que podem limitar sua produção, dentre os quais se destaca a bactéria Leifsonia xyli subsp. xyli (Lxx), agente causal do raquitismo da soqueira (ratoon stunting disease - RSD). Pouco se sabe sobre a fisiologia deste organismo e quais as estratégias utilizadas por este para colonizar seu hospedeiro. No entanto, sabemos que para infectar e colonizar seus hospedeiros, é necessário que bactérias parasíticas superem estresses de diversas naturezas impostas durante estes processos, como os estresses oxidativo e o osmótico. Neste contexto, os objetivos deste trabalho foram identificar in silico e analisar a expressão in vitro, por qPCR, de genes relacionados a estes dois estresses. Uma análise da sequência do genoma de Lxx identificou 35 genes, sendo 8 relacionados ao estresse oxidativo, 9 relacionados ao estresse osmótico e 11 relacionados a estresse gerais, incluindo um cluster de 6 genes envolvidos na síntese de carotenoides. A expressão destes foi avaliada 60 minutos após exposição a 30mM de H2O2 ou 7% (p/v) de polietilenoglicol 6000 (PEG 6000). Sete genes foram avaliados como normalizadores das reações de qPCR. A quantificação do grau de peroxidação lipídica indicou que ambos os tratamentos resultaram em sensível peroxidação, muito embora o efeito do tratamento com PEG 6000 tenha sido maior do que o tratamento com H2O2. A exposição ao H2O2 aumentou a expressão dos genes katA (catalase), sodA (superóxido dismutase), msrA (Sulfóxido de metionina redutase) e msrB (Sulfóxido de metionina redutase) bem como de todos os genes responsáveis pela síntese de carotenoides. Por outro lado, todos os genes relacionados ao estresse osmótico foram menos expressos na presença deste composto. Já quando a bactéria foi exposta a PEG 6000, o oposto ocorreu, ou seja, os genes relacionados ao estresse osmótico, que são otsA (Trealose-6-fosfato sintase), otsB (Trealose fosfatase), treY (Malto-oligosil trealose sintase), treZ (Malto-oligosil trealose trealoidrolase), treS (Trealose sintase), proX (Proteína de ligamento em substrato, tipo ABC glicina betaína transportadora), proW (Proteína permease, tipo ABC glicina betaína transportadora), proZ (Proteína permease, tipo ABC glicina betaína transportadora) e Naggn (Amidotransferase), além dos genes do cluster carotenoide, foram mais expressos, ao passo que alguns dos genes ligados à resposta ao estresse oxidativo foram menos expressos. Verificou-se também, através de PCR convencional utilizando primers para amplificar as regiões entre os genes carotenoides, que estes são expressos como um RNA policistrônico, constituindo assim um operon. Estes resultados validam predições anteriores baseadas na análise in silico da sequência do genoma de Lxx, confirmando que Lxx possui mecanismos responsivos aos estresses osmótico e oxidativo aos quais é submetida durante o processo de infecção de seu hospedeiro.

Preferential oxidation of CO in excess of H2 on Pt/CeO2–Nb2O5 catalysts

A series of CeO2–Nb2O5 mixed oxides with different Nb content, as well as the pure oxides, have been synthesized by co-precipitation with excess urea. These materials have been used as supports for platinum catalysts, with [Pt(NH3)4](NO3)2 as precursor. Both supports and catalysts have been characterized by several techniques: N2 physisorption at 77 K, X-ray diffraction, Raman spectroscopy, X-ray photoelectron spectroscopy, UV–vis spectroscopy, scanning electron microscopy, transmission electron microscopy, temperature-programmed reduction and temperature-programmed desorption (CO and H2), and their catalytic behaviour has been determined in the PROX reaction, both with an ideal gas mixture (CO, O2 and H2) and in simulated reformate gas containing CO2 and H2O. Raman spectroscopy analysis has shown the likely substitution of some Ce4+ cations by Nb5+ to some extent in supports with low niobium contents. Moreover, the presence of Nb in the supports hinders their ability to adsorb CO and to oxidize it to CO2. However, an improvement of the catalytic activity for CO oxidation is obtained by adding Nb to the support, although the Pt/Nb2O5 catalyst shows very low activity. The best results are found with the Pt/0.7CeO2–0.3Nb2O5 catalyst, which shows a high CO conversion (85%) and a high yield (around 0.6) after a reduction treatment at 523 K. The effect of the presence of CO2 and H2O in the feed has also been determined.

Capillary microreactors based on hierarchical SiO2 monoliths incorporating noble metal nanoparticles for the Preferential Oxidation of CO

Novel hierarchical SiO2 monolithic microreactors loaded with either Pd or Pt nanoparticles have been prepared in fused silica capillaries and tested in the Preferential Oxidation of CO (PrOx) reaction. Pd and Pt nanoparticles were prepared by the reduction by solvent method and the support used was a mesoporous SiO2 monolith prepared by a well-established sol–gel methodology. Comparison of the activity with an equivalent powder catalyst indicated that the microreactors show an enhanced catalytic behavior (both in terms of CO conversion and selectivity) due to the superior mass and heat transfer processes that take place inside the microchannel. TOF values at low CO conversions have been found to be ∼2.5 times higher in the microreactors than in the powder catalyst and the residence time seems to have a noticeable influence over the selectivity of the catalysts designed for this reaction. The Pd and Pt flexible microreactors developed in this work have proven to be effective for the CO oxidation reaction both in the presence and absence of H2, standing out as a very interesting and suitable option for the development of CO purification systems of small dimensions for portable and on-board applications.

Stability of the Iteration Method for non Expansive Mappings

The general iteration method for nonexpansive mappings on a Banach space is considered. Under some assumption of fast enough convergence on the sequence of (“almost” nonexpansive) perturbed iteration mappings, if the basic method is τ−convergent for a suitable topology τ weaker than the norm topology, then the perturbed method is also τ−convergent. Application is presented to the gradient-prox method for monotone inclusions in Hilbert spaces.

Comparing simulation output accuracy of discrete event and agent based models: a quantitative approach

In our research we investigate the output accuracy of discrete event simulation models and agent based simulation models when studying human centric complex systems. In this paper we focus on human reactive behaviour as it is possible in both modelling approaches to implement human reactive behaviour in the model by using standard methods. As a case study we have chosen the retail sector, and here in particular the operations of the fitting room in the women wear department of a large UK department store. In our case study we looked at ways of determining the efficiency of implementing new management policies for the fitting room operation through modelling the reactive behaviour of staff and customers of the department. First, we have carried out a validation experiment in which we compared the results from our models to the performance of the real system. This experiment also allowed us to establish differences in output accuracy between the two modelling methods. In a second step a multi-scenario experiment was carried out to study the behaviour of the models when they are used for the purpose of operational improvement. Overall we have found that for our case study example both, discrete event simulation and agent based simulation have the same potential to support the investigation into the efficiency of implementing new management policies.

High performance of Cu/CeO2-Nb2O5 catalysts for preferential CO oxidation and total combustion of toluene

Copper-based catalysts supported on niobium-doped ceria have been prepared and tested in the preferential oxidation of CO in excess of H2 (PROX) and in total oxidation of toluene. Supports and catalysts have been characterized by several techniques: N2 adsorption, ICP-OES, XRF, XRD, Raman Spectroscopy, SEM, TEM, H2-TPR and XPS, and their catalytic performance has been measured in PROX, with an ideal gas mixture (CO, O2 and H2) with or without CO2 and H2O, and in total oxidation of toluene. The effects of the copper loading and the amount of niobium in the supports have been evaluated. Remarkably, the addition of niobia to the catalysts may improve the catalytic performance in total oxidation of toluene. It allows us to prepare cheaper catalysts (niobia it is far cheaper than ceria) with improved catalytic performance.

Highly dispersed Ptδ+ on TixCe(1−x)O2 as an active phase in preferential oxidation of CO

Structure–activity relationships for 1 wt.% Pt catalysts were investigated for a series of TixCe(1−x)O2 (x = 1, 0.98, 0.9, 0.5, 0.2 and 0) supports prepared by the sol–gel method. The catalysts prepared by impregnation were characterized in detail by applying a wide range of techniques as N2-isotherms, XRF, XRD, Raman, XPS, H2-TPR, Drifts, UV–vis, etc. and tested in the preferential oxidation of CO in the presence of H2. Also several reaction conditions were deeply analyzed. A strong correlation between catalyst performance and the electronic properties let us to propose, based in all the experimental results, a plausible reaction mechanism where several redox cycles are involved.

The influence of promoters (Zr, La, Tb, Pr) on the catalytic performance of CuO-CeO2 systems for the preferential oxidation of CO in the presence of CO2 and H2O

CuO supported on CeO2 and Ce0.9X0.1O2, where X is Zr, La, Tb or Pr, were synthesized using nitrate precursors, giving rise ceria based materials with a small particle size which interact with CuO species generating a high amount of interfacial sites. The incorporation of cations to the ceria framework modifies the CeO2 lattice parameter, improving the redox behavior of the catalytic system. The catalysts were characterized by X-ray fluorescence spectrometry (XRFS), X-ray diffraction (XRD), high-resolution transmission electron microscopy (HRTEM), Raman spectroscopy, thermoprogrammed reduction with H2 (H2-TPR) and X-ray photoelectron spectroscopy (XPS). The catalysts were tested in the preferential oxidation of CO under a H2-rich stream (CO-PROX), reaching conversion values higher than 95% between 115 and 140 °C and being the catalyst with 6 wt.% of Cu supported on Ce0.9Zr0.1O2 (sample 6CUZRCE) the most active catalyst. The influence of the presence of CO2 and H2O was also studied simulating a PROX unit, taking place a decrease of the catalytic activity due to the inhibitor effect both CO2 and H2O.

Tetraspanin 3: A central endocytic membrane component regulating the expression of ADAM10, presenilin and the amyloid precursor protein

Despite existing knowledge about the role of the A Disintegrin and Metalloproteinase 10 (ADAM10) as the α-secretase involved in the non-amyloidogenic processing of the amyloid precursor protein (APP) and Notch signalling we have only limited information about its regulation. In this study, we have identified ADAM10 interactors using a split ubiquitin yeast two hybrid approach. Tetraspanin 3 (Tspan3), which is highly expressed in the murine brain and elevated in brains of Alzheimer's disease (AD) patients, was identified and confirmed to bind ADAM10 by co-immunoprecipitation experiments in mammalian cells in complex with APP and the γ-secretase protease presenilin. Tspan3 expression increased the cell surface levels of its interacting partners and was mainly localized in early and late endosomes. In contrast to the previously described ADAM10-binding tetraspanins, Tspan3 did not affect the endoplasmic reticulum to plasma membrane transport of ADAM10. Heterologous Tspan3 expression significantly increased the appearance of carboxy-terminal cleavage products of ADAM10 and APP, whereas N-cadherin ectodomain shedding appeared unaffected. Inhibiting the endocytosis of Tspan3 by mutating a critical cytoplasmic tyrosine-based internalization motif led to increased surface expression of APP and ADAM10. After its downregulation in neuroblastoma cells and in brains of Tspan3-deficient mice, ADAM10 and APP levels appeared unaltered possibly due to a compensatory increase in the expression of Tspans 5 and 7, respectively. In conclusion, our data suggest that Tspan3 acts in concert with other tetraspanins as a stabilizing factor of active ADAM10, APP and the γ-secretase complex at the plasma membrane and within the endocytic pathway.