Logic TK: algebric notions from Tarski's consequence operator

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

Control of Salmonella Enteritidis in turkeys using organic acids and competitive exclusion product

Aim: To evaluate the use of organic acids (OAs) and competitive exclusion (CE) product administered continuously in the feed and transiently in drinking water on the control of Salmonella enterica subspecie enterica serotype Enteritidis (SE) prior to slaughter.Methods and Results: The influence of treatments were evaluated on pH, population of the lactic acid bacteria (LAB) and bacteria of the family Enterobacteriaceae, concentration of volatile fatty acids and SE colonization in the crop and caecum. The birds were challenged with SE 24 h before being slaughtered, and then, the caeca and crop were removed and subjected to SE counts. Continuous administration of OAs reduced the population of bacteria from the Enterobacteriaceae family in both crop and caecum, positively influenced the butyric acid concentration and reduced SE colonization in the caecum. The diet supplemented with CE product positively influenced the quantity of LAB in the crop and caecum, elevated the butyric acid concentration and reduced both Enterobacteriaceae quantity and SE colonization in the caecum. There was no effect from administering the treatments via drinking water on the variables measured.Conclusions: Continuous supplementation in feed with OAs and CE product reduced SE colonization of the caeca.Significance and Impact of the Study: Supplementation of OAs and CE product in diet to turkeys can reduce the SE load, potentially leading to a lower contamination risk of meat during slaughter.

Massive spin-2 particles via embedment of the Fierz-Pauli equations of motion

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

Análise comparativa de exposição do operador à radiação entre as técnicas radial, femoral e radial com dispositivo protetor em procedimentos de cardiologia intervencionista

Pós-graduação em Fisiopatologia em Clínica Médica - FMB

Effectiveness of a White-Tailed Deer Exclusion Fence Based on Traction Limitations of the Hoof: The Slippery Fence

We hypothesized that an exclusion fence could be devised to capitalize on traction limitations of the hooves of white-tailed deer (Odocoileus virginianus). Hexagonal plots (9.8 m wide) enclosed by a 2.4 m field fence with two openings (4.9 m) were established. Data were collected daily on consumption of corn provided (2.27 kg) and events recorded by infrared monitors (IR) for treatment and control sites. Five-day treatment periods consisted of test panels (4.9 m x 2.4 m) placed in plot openings at 0°, 5° and 10° slopes, and lubricant applied at the 10° slope. Deer consumed all corn provided at control sites. At the 10° slope, daily corn consumption decreased (1.50 kg ± 0.26, p < .01), and IR events were lower (p < .01) at treatment sites (23.6 ± 3.2) compared to controls (50.3 ± 9.6). With the addition of a lubricant, corn consumption decreased further (p < .001) to 0.17 kg ± 0.03, and IR recorded events were lower (p < .001) at treatment sites (6.58 ± 0.89) compared to controls (44.8 ± 3.1). Results of this study indicate that traction limitation of the hoof can be exploited.

Virasoro Action on Imaginary Verma Modules and the Operator Form of the KZ-Equation

We define the Virasoro algebra action on imaginary Verma modules for affine and construct an analogue of the Knizhnik-Zamolodchikov equation in the operator form. Both these results are based on a realization of imaginary Verma modules in terms of sums of partial differential operators.

Complex mixed state of the Pauli-limited superconductor CeCoIn5

Magnetization measurements were performed on CeCoIn5 at temperatures down to 20 mK and magnetic fields up to 17 T applied along different crystallographic orientations. For field configurations nearly parallel to the ab plane (theta less than or similar to 40 degrees and T <= 50 mK), we have found an intriguing vortex dynamics regime revealed by a hysteretic and metastable anomalous peak effect (APE), which gives evidence of surface barrier effects enhanced by antiferromagnetic fluctuations in the mixed state of CeCoIn5. Furthermore, we have observed crossover features in the torque and magnetization traces at fields below H-c2, which are consistent with vortices lattice phase transitions and with the anomalies speculated to be the Fulde-Ferrel-Larkin-Ovchinnikov (FFLO) superconducting state in CeCoIn5. All of the above features were found to be dramatically perturbed in Ce0.98Gd0.02CoIn5.

Nonlocal asymmetric exclusion process on a ring and conformal invariance

We present a one-dimensional nonlocal hopping model with exclusion on a ring. The model is related to the Raise and Peel growth model. A nonnegative parameter u controls the ratio of the local backwards and nonlocal forwards hopping rates. The phase diagram, and consequently the values of the current, depend on u and the density of particles. In the special case of half-lling and u = 1 the system is conformal invariant and an exact value of the current for any size L of the system is conjectured and checked for large lattice sizes in Monte Carlo simulations. For u > 1 the current has a non-analytic dependence on the density when the latter approaches the half-lling value.

The Wiener criterion for the Laplacian and the heat operator

La tesi presenta il criterio di regolarità di Wiener dell’ambito classico dell’operatore di Laplace ed in seguito alcune nozioni di teoria del potenziale e la dimostrazione del criterio nel caso dell’operatore del calore; in questa seconda sezione viene dedicata particolare attenzione alle formule di media e ad una diseguaglianza forte di Harnack, che risultano fondamentali nella trattazione dell’argomento centrale.

Molecular architecture of fur binding to iron-induced and - repressed genes in Helicobacter pylori

The ferric uptake regulator protein Fur regulates iron-dependent gene expression in bacteria. In the human pathogen Helicobacter pylori, Fur has been shown to regulate iron-induced and iron-repressed genes. Herein we investigate the molecular mechanisms that control this differential iron-responsive Fur regulation. Hydroxyl radical footprinting showed that Fur has different binding architectures, which characterize distinct operator typologies. On operators recognized with higher affinity by holo-Fur, the protein binds to a continuous AT-rich stretch of about 20 bp, displaying an extended protection pattern. This is indicative of protein wrapping around the DNA helix. DNA binding interference assays with the minor groove binding drug distamycin A, point out that the recognition of the holo-operators occurs through the minor groove of the DNA. By contrast, on the apo-operators, Fur binds primarily to thymine dimers within a newly identified TCATTn10TT consensus element, indicative of Fur binding to one side of the DNA, in the major groove of the double helix. Reconstitution of the TCATTn10TT motif within a holo-operator results in a feature binding swap from an holo-Fur- to an apo-Fur-recognized operator, affecting both affinity and binding architecture of Fur, and conferring apo-Fur repression features in vivo. Size exclusion chromatography indicated that Fur is a dimer in solution. However, in the presence of divalent metal ions the protein is able to multimerize. Accordingly, apo-Fur binds DNA as a dimer in gel shift assays, while in presence of iron, higher order complexes are formed. Stoichiometric Ferguson analysis indicates that these complexes correspond to one or two Fur tetramers, each bound to an operator element. Together these data suggest that the apo- and holo-Fur repression mechanisms apparently rely on two distinctive modes of operator-recognition, involving respectively the readout of a specific nucleotide consensus motif in the major groove for apo-operators, and the recognition of AT-rich stretches in the minor groove for holo-operators, whereas the iron-responsive binding affinity is controlled through metal-dependent shaping of the protein structure in order to match preferentially the major or the minor groove.

Thermal relaxation for particle systems in interaction with several bosonic heat reservoirs

The present thesis is concerned with the study of a quantum physical system composed of a small particle system (such as a spin chain) and several quantized massless boson fields (as photon gasses or phonon fields) at positive temperature. The setup serves as a simplified model for matter in interaction with thermal "radiation" from different sources. Hereby, questions concerning the dynamical and thermodynamic properties of particle-boson configurations far from thermal equilibrium are in the center of interest. We study a specific situation where the particle system is brought in contact with the boson systems (occasionally referred to as heat reservoirs) where the reservoirs are prepared close to thermal equilibrium states, each at a different temperature. We analyze the interacting time evolution of such an initial configuration and we show thermal relaxation of the system into a stationary state, i.e., we prove the existence of a time invariant state which is the unique limit state of the considered initial configurations evolving in time. As long as the reservoirs have been prepared at different temperatures, this stationary state features thermodynamic characteristics as stationary energy fluxes and a positive entropy production rate which distinguishes it from being a thermal equilibrium at any temperature. Therefore, we refer to it as non-equilibrium stationary state or simply NESS. The physical setup is phrased mathematically in the language of C*-algebras. The thesis gives an extended review of the application of operator algebraic theories to quantum statistical mechanics and introduces in detail the mathematical objects to describe matter in interaction with radiation. The C*-theory is adapted to the concrete setup. The algebraic description of the system is lifted into a Hilbert space framework. The appropriate Hilbert space representation is given by a bosonic Fock space over a suitable L2-space. The first part of the present work is concluded by the derivation of a spectral theory which connects the dynamical and thermodynamic features with spectral properties of a suitable generator, say K, of the time evolution in this Hilbert space setting. That way, the question about thermal relaxation becomes a spectral problem. The operator K is of Pauli-Fierz type. The spectral analysis of the generator K follows. This task is the core part of the work and it employs various kinds of functional analytic techniques. The operator K results from a perturbation of an operator L0 which describes the non-interacting particle-boson system. All spectral considerations are done in a perturbative regime, i.e., we assume that the strength of the coupling is sufficiently small. The extraction of dynamical features of the system from properties of K requires, in particular, the knowledge about the spectrum of K in the nearest vicinity of eigenvalues of the unperturbed operator L0. Since convergent Neumann series expansions only qualify to study the perturbed spectrum in the neighborhood of the unperturbed one on a scale of order of the coupling strength we need to apply a more refined tool, the Feshbach map. This technique allows the analysis of the spectrum on a smaller scale by transferring the analysis to a spectral subspace. The need of spectral information on arbitrary scales requires an iteration of the Feshbach map. This procedure leads to an operator-theoretic renormalization group. The reader is introduced to the Feshbach technique and the renormalization procedure based on it is discussed in full detail. Further, it is explained how the spectral information is extracted from the renormalization group flow. The present dissertation is an extension of two kinds of a recent research contribution by Jakšić and Pillet to a similar physical setup. Firstly, we consider the more delicate situation of bosonic heat reservoirs instead of fermionic ones, and secondly, the system can be studied uniformly for small reservoir temperatures. The adaption of the Feshbach map-based renormalization procedure by Bach, Chen, Fröhlich, and Sigal to concrete spectral problems in quantum statistical mechanics is a further novelty of this work.

Inverse size exclusion chromatography (ISEC)

In this work, an improved protocol for inverse size-exclusion chromatography (ISEC) was established to assess important pore structural data of porous silicas as stationary phases in packed chromatographic columns. After the validity of the values generated by ISEC was checked by comparison with data obtained from traditional methods like nitrogen sorption at 77 K (Study A), the method could be successfully employed as valuable tool at the development of bonded poly(methacrylate)-coated silicas, while traditional methods generate partially incorrect pore structural information (Study B). Study A: Different mesoporous silicas were converted by a pseudomorphical transition into ordered MCM-41-type silica while maintaining the particle-size and -shape. The essential parameters like specific surface area, average pore diameter and specific pore volume, the pore connectivity from ISEC remained nearly the same which was reflected by the same course of the theoretical plate height vs. linear velocity curves. Study B: In the development of bonded poly(methacrylate)-coated silicas for the reversed phase separation of biopolymers, ISEC was the only method to generate valid pore structural information of the polymer-coated materials. Synthesis procedures were developed to obtain reproducibly covalently bonded poly(methacrylate) coatings with good thermal stability on different base materials, employing as well particulate and monolithic materials.

The Efficiency of Microcredit Applied to Social Exclusion.

Microcredit has been a tool to alleviate poverty since long. This research is aimed to observe the efficiency of microcredit in the field of social exclusion. The development of questionnaires and use of existing tools was used to observe the tangible and intangible intertwining of microcredit and by doing so the effort was concentrated to observe whether microcredit has a direct effect on social exclusion or not. Bangladesh was chosen for the field study and 85 samples were taken for the analysis. It is a time period research and one year time was set to receive the sample and working on the statistical analysis. The tangible aspect was based on a World Bank questionnaire and the social capital questionnaire was developed through different well observed tools. The borrowers of Grameen Bank in Bangladesh, is the research sample whish shows a strong correlation between their tangible activity and social life. There are significant changes in tangible aspect and social participation observed from the research. Strong correlation between the two aspects was also found taking into account that the borrowers themselves have a vibrant social life in the village.

Laplace operator on finite graphs and a network diffusion model for the progression of the Alzheimer disease

Nella tesi viene descritto il Network Diffusion Model, ovvero il modello di A. Ray, A. Kuceyeski, M. Weiner inerente i meccanismi di progressione della demenza senile. In tale modello si approssima l'encefalo sano con una rete cerebrale (ovvero un grafo pesato), si identifica un generale fattore di malattia e se ne analizza la propagazione che avviene secondo meccanismi analoghi a quelli di un'infezione da prioni. La progressione del fattore di malattia e le conseguenze macroscopiche di tale processo(tra cui principalmente l'atrofia corticale) vengono, poi, descritte mediante approccio matematico. I risultati teoretici vengono confrontati con quanto osservato sperimentalmente in pazienti affetti da demenza senile. Nella tesi, inoltre, si fornisce una panoramica sui recenti studi inerenti i processi neurodegenerativi e si costruisce il contesto matematico di riferimento del modello preso in esame. Si presenta una panoramica sui grafi finiti, si introduce l'operatore di Laplace sui grafi e si forniscono stime dall'alto e dal basso per gli autovalori. Al fine di costruire una cornice matematica completa si analizza la relazione tra caso discreto e continuo: viene descritto l'operatore di Laplace-Beltrami sulle varietà riemanniane compatte e vengono fornite stime dall'alto per gli autovalori dell'operatore di Laplace-Beltrami associato a tali varietà a partire dalle stime dall'alto per gli autovalori del laplaciano sui grafi finiti.