Grey-box radial basis function modelling

A fundamental principle in data modelling is to incorporate available a priori information regarding the underlying data generating mechanism into the modelling process. We adopt this principle and consider grey-box radial basis function (RBF) modelling capable of incorporating prior knowledge. Specifically, we show how to explicitly incorporate the two types of prior knowledge: (i) the underlying data generating mechanism exhibits known symmetric property, and (ii) the underlying process obeys a set of given boundary value constraints. The class of efficient orthogonal least squares regression algorithms can readily be applied without any modification to construct parsimonious grey-box RBF models with enhanced generalisation capability.

Dysregulated circulating dendritic cell function in ulcerative colitis is partially restored by probiotic strain Lactobacillus casei Shirota

BACKGROUND: Dendritic cells regulate immune responses to microbial products and play a key role in ulcerative colitis (UC) pathology. We determined the immunomodulatory effects of probiotic strain Lactobacillus casei Shirota (LcS) on human DC from healthy controls and active UC patients. METHODS: Human blood DC from healthy controls (control-DC) and UC patients (UC-DC) were conditioned with heat-killed LcS and used to stimulate allogeneic T cells in a 5-day mixed leucocyte reaction. RESULTS: UC-DC displayed a reduced stimulatory capacity for T cells (P < 0.05) and enhanced expression of skin-homing markers CLA and CCR4 on stimulated T cells (P < 0.05) that were negative for gut-homing marker β7. LcS treatment restored the stimulatory capacity of UC-DC, reflecting that of control-DC. LcS treatment conditioned control-DC to induce CLA on T cells in conjunction with β7, generating a multihoming profile, but had no effects on UC-DC. Finally, LcS treatment enhanced DC ability to induce TGFβ production by T cells in controls but not UC patients. CONCLUSIONS: We demonstrate a systemic, dysregulated DC function in UC that may account for the propensity of UC patients to develop cutaneous manifestations. LcS has multifunctional immunoregulatory activities depending on the inflammatory state; therapeutic effects reported in UC may be due to promotion of homeostasis.

Fred: An approach to generating real, correct, reusable programs from proofs

In this paper we describe our system for automatically extracting "correct" programs from proofs using a development of the Curry-Howard process. Although program extraction has been developed by many authors, our system has a number of novel features designed to make it very easy to use and as close as possible to ordinary mathematical terminology and practice. These features include 1. the use of Henkin's technique to reduce higher-order logic to many-sorted (first-order) logic; 2. the free use of new rules for induction subject to certain conditions; 3. the extensive use of previously programmed (total, recursive) functions; 4. the use of templates to make the reasoning much closer to normal mathematical proofs and 5. a conceptual distinction between the computational type theory (for representing programs)and the logical type theory (for reasoning about programs). As an example of our system we give a constructive proof of the well known theorem that every graph of even parity, which is non-trivial in the sense that it does not consist of isolated vertices, has a cycle. Given such a graph as input, the extracted program produces a cycle as promised.

Transfer function-noise modeling and spatial interpolation to evaluate the risk of extreme (shallow) water-table levels in the Brazilian Cerrados

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Universal scaling in Bardeen-Cooper-Schrieffer superconductivity in two dimensions in non-s waves

The solutions of a renormalized BCS model are studied in two space dimensions for s, p and d waves for finite-range separable potentials. The gap parameter, the critical temperature T-c, the coherence length xi and the jump in specific heat at T-c as a function of the zero-temperature condensation energy exhibit universal scalings. In the weak-coupling limit, the present model yields a small xi and large T-c, appropriate for high-T-c cuprates. The specific heat, penetration depth and thermal conductivity as functions of temperature show universal scaling for p and d waves.

Universal scaling in a trapped Fermi super-fluid in the BCS-unitarity crossover

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Universal zero-bias conductance through a quantum wire side-coupled to a quantum dot

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Universal scaling in BCS superconductivity in three dimensions in non-s waves

The solutions of a renormalized BCS equation are studied in three space dimensions in s, p and d waves for finite-range separable potentials in the weak to medium coupling region. In the weak-coupling limit, the present BCS model yields a small coherence length ξ and a large critical temperature, T c, appropriate for some high-T c materials. The BCS gap, T c, ξ and specific heat C s(T c) as a function of zero-temperature condensation energy are found to exhibit potential-independent universal scalings. The entropy, specific heat, spin susceptibility and penetration depth as a function of temperature exhibit universal scaling below T c in p and d waves.

Generating inclusive and sustainable growth: the role of policy and multilevel fiscal institutions

Incluye bibliografía

The Development of a Universal In Silico Predictor of Protein-Protein Interactions

Protein-protein interactions (PPIs) are essential for understanding the function of biological systems and have been characterized using a vast array of experimental techniques. These techniques detect only a small proportion of all PPIs and are labor intensive and time consuming. Therefore, the development of computational methods capable of predicting PPIs accelerates the pace of discovery of new interactions. This paper reports a machine learning-based prediction model, the Universal In Silico Predictor of Protein-Protein Interactions (UNISPPI), which is a decision tree model that can reliably predict PPIs for all species (including proteins from parasite-host associations) using only 20 combinations of amino acids frequencies from interacting and non-interacting proteins as learning features. UNISPPI was able to correctly classify 79.4% and 72.6% of experimentally supported interactions and non-interacting protein pairs, respectively, from an independent test set. Moreover, UNISPPI suggests that the frequencies of the amino acids asparagine, cysteine and isoleucine are important features for distinguishing between interacting and non-interacting protein pairs. We envisage that UNISPPI can be a useful tool for prioritizing interactions for experimental validation. © 2013 Valente et al.

Range Corrections to Universal Tetramer Properties

The universal properties of weakly-bound tetramers close to the scaling limit are investigated by solving a subtracted set of Faddeev-Yakubovsky (FY) equations for identical bosons with a zero-range interaction. The solution demands a four-body scale independent of the trimer properties. Furthermore, the effect of a finite effective range is introduced in the FY equations, which we show produces results that are distinct from the scale variation. In particular range effects to two universal scaling functions for the tetramers are investigated. The correlation between successive tetramer energies corresponding to states within two Efimov trimer energies, proposed before and studied close to the unitary limit; and the correlation between the position of the four-atom recombination peaks. In this case, we found a shift in the scaling function due to the range, which can be associated to the shift of the data found for caesium atoms, with respect to zero-range calculations, due to a nonvanishing range in the actual experimental setups. © 2013 Springer-Verlag Wien.

Caracterização da acessibilidade em espaços públicos: a ergonomia e o desenho universal contribuindo para a mobilidade de pessoas portadoras de necessidades especiais : estudo de casos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Renewable energy sources in Latin America and the Caribbean: situation and policy proposals

Includes bibliography

Cantilever em Próteses: análise da deformação de estruturas metálicas em NiCr, com diferentes configurações, em função da carga aplicada

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Análise do método suvrel na expressão diferencial a partir da matriz de contagens gerada com dados de RNA-SEQ

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)