Embedding theorems of function classes, II

Vegeu el resum a l'inici del document del fitxer adjunt.

Embedding theorems of function classes, I

"Vegeu el resum a l'inici del document del fitxer adjunt."

Invoking a cartesian product structure on social states: new resolutions of Sen's and Gibbard's impossibility theorems

The purpose of this article is to introduce a Cartesian product structure into the social choice theoretical framework and to examine if new possibility results to Gibbard's and Sen's paradoxes can be developed thanks to it. We believe that a Cartesian product structure is a pertinent way to describe individual rights in the social choice theory since it discriminates the personal features comprised in each social state. First we define some conceptual and formal tools related to the Cartesian product structure. We then apply these notions to Gibbard's paradox and to Sen's impossibility of a Paretian liberal. Finally we compare the advantages of our approach to other solutions proposed in the literature for both impossibility theorems.

Increasing quasiconcave production and utility functions with diminishing returns to scale

In microeconomic analysis functions with diminishing returns to scale (DRS) have frequently been employed. Various properties of increasing quasiconcave aggregator functions with DRS are derived. Furthermore duality in the classical sense as well as of a new type is studied for such aggregator functions in production and consumer theory. In particular representation theorems for direct and indirect aggregator functions are obtained. These involve only small sets of generator functions. The study is carried out in the contemporary framework of abstract convexity and abstract concavity.

Absolute type shaft encoding using LFSR

Maximal-length binary sequences have been known for a long time. They have many interesting properties, one of them is that when taken in blocks of n consecutive positions they form 2ⁿ-1 different codes in a closed circular sequence. This property can be used for measuring absolute angular positions as the circle can be divided in as many parts as different codes can be retrieved. This paper describes how can a closed binary sequence with arbitrary length be effectively designed with the minimal possible block-length, using linear feedback shift registers (LFSR). Such sequences can be used for measuring a specified exact number of angular positions, using the minimal possible number of sensors that linear methods allow.

Terceira contribuicäo ao conhecimento do gênero Archytas Jaennicke, 1867: (Diptera, Tachinidae)

Twelve species of the genus Archytas Jennicke, 1867, eight of which described as new are studied and figured in detail. Definitions of the species are based mainly on characters of male genitalia. The male genital characters are the most significant for separation of the species and most demonstrative of their affinities. By examining a long series of species of this genus we came to the conclusion that the presence of one pair of median marginal bristles on the third abdominal tergite seems to be characteristic of the genus. This caracter apparently so important, is not however considered fundamental. The most significant example is found in Archytas lenkoi sp. n. and Archytas vexor Curran, 1928. In A. lenkoi we can find one or two pairs or thay may, less frquently, be absent. In A. vexor these bristles are lacking. The shape of the male copulatory apparatus of Jurinia nitidiventris Curran, 1928 refered to by CURRAN in his "Revision of Archytas", is not characteristic of any species of the group and so, is not considered in this paper. To help in the identification, the species studied here are divided into groups. The analis group" includes: A. apicifer (Walker, 1894), A. californiae (Walker, 1856), A. nivalis Curran, 1928, a. giacomellii (Blanchard, 1941), A. basifulvus (Walker, 1849), A. incasanus Townsend, 1912 and A. cirphis Curran, 1927. The identification of members of these group is extremely difficult owing both to their similarity in colour pattern and to their variability. They all have black testaceous or dark brown abdomen, the last segment pale or brownish pollinose; second segment without bristles; third with a pair of strong marginals, fourth and fifth with two rows of discals on apical third. The final determination often rests upon the structure of the male copulatory apparatus. Fortunately in this group, many of the forcipes superiores and palpi genitalium are strikingly different from one another. The "zikani group" includes: A. zikani sp. n., A seabrai sp. n., A. duckei sp. n. and A. vernalis Curran, 1928. This group may be characterized as follows: forcipes interiores absent; forcipes superiores strongly chitinized an dilated at anex. Within this group, the forcipes of. A. seabrai sp. n. do not present an aberrant form. The "dissimilis group" will be studied in forthcoming papers. The limits of the genus Archyta Jaen. are not as yet sharply difined, the evaluation of the significance of each character used in the definition remaining as most difficult problem. The distinction between Archytas and other related genera is very difficult, chiefly because it is based on variable characters. In this paper we place the genera Parafabricia Towsend, 1931, Itachytas Blanchard, 1940, Archynemochaeta Blanchard, 1941, Proarchytoides Blanchard, 1941 and Archytodejeania Blanchard, 1941 in the synonymy of Archytas Jaen. The detailed examination of the characters used in their definition, proved them to be fundamentally proposed on basis of chaetotasy, these characters alone being precarious, because of the considerabel intraspecifical variation. The type of the new species are in the Oswaldo Cruz Institute collection. Rio de Janeiro, Brazil, and paratypes in the collections of the followings institutions: Departamento de Zoologia da Secretaria de Agricultura do Estado de São Paulo; Instituto de Ecologia e Experimemtação Agrícolas; Departamento de Defesa Sanitária Vegetal; Campos Seabra collection; and Barbiellini collection.

Redescription of the type-material of creptotrema creptotrema travassos, Artigas & Pereira, 1928 (Digenea, Allocreadiidae)

Creptotrema creptotrema Travassos, Artigas & Pereira, 1928, a digenetic trematode parasite of Leporinus elongatus, is redescribed from the type-material with additional morphological data and original figures.

Comprehensive Expression Analyses of Neural Cell-Type-Specific miRNAs Identify New Determinants of the Specification and Maintenance of Neuronal Phenotypes.

MicroRNAs (miRNAs) have been shown to play important roles in both brain development and the regulation of adult neural cell functions. However, a systematic analysis of brain miRNA functions has been hindered by a lack of comprehensive information regarding the distribution of miRNAs in neuronal versus glial cells. To address this issue, we performed microarray analyses of miRNA expression in the four principal cell types of the CNS (neurons, astrocytes, oligodendrocytes, and microglia) using primary cultures from postnatal d 1 rat cortex. These analyses revealed that neural miRNA expression is highly cell-type specific, with 116 of the 351 miRNAs examined being differentially expressed fivefold or more across the four cell types. We also demonstrate that individual neuron-enriched or neuron-diminished RNAs had a significant impact on the specification of neuronal phenotype: overexpression of the neuron-enriched miRNAs miR-376a and miR-434 increased the differentiation of neural stem cells into neurons, whereas the opposite effect was observed for the glia-enriched miRNAs miR-223, miR-146a, miR-19, and miR-32. In addition, glia-enriched miRNAs were shown to inhibit aberrant glial expression of neuronal proteins and phenotypes, as exemplified by miR-146a, which inhibited neuroligin 1-dependent synaptogenesis. This study identifies new nervous system functions of specific miRNAs, reveals the global extent to which the brain may use differential miRNA expression to regulate neural cell-type-specific phenotypes, and provides an important data resource that defines the compartmentalization of brain miRNAs across different cell types.

Long-Term Trends of HIV Type 1 Drug Resistance Prevalence among Antiretroviral Treatment-Experienced Patients in Switzerland.

Background. Accurate quantification of the prevalence of human immunodeficiency virus type 1 (HIV-1) drug resistance in patients who are receiving antiretroviral therapy (ART) is difficult, and results from previous studies vary. We attempted to assess the prevalence and dynamics of resistance in a highly representative patient cohort from Switzerland. Methods. On the basis of genotypic resistance test results and clinical data, we grouped patients according to their risk of harboring resistant viruses. Estimates of resistance prevalence were calculated on the basis of either the proportion of individuals with a virologic failure or confirmed drug resistance (lower estimate) or the frequency-weighted average of risk group-specific probabilities for the presence of drug resistance mutations (upper estimate). Results. Lower and upper estimates of drug resistance prevalence in 8064 ART-exposed patients were 50% and 57% in 1999 and 37% and 45% in 2007, respectively. This decrease was driven by 2 mechanisms: loss to follow-up or death of high-risk patients exposed to mono- or dual-nucleoside reverse-transcriptase inhibitor therapy (lower estimates range from 72% to 75%) and continued enrollment of low-risk patients who were taking combination ART containing boosted protease inhibitors or nonnucleoside reverse-transcriptase inhibitors as first-line therapy (lower estimates range from 7% to 12%). A subset of 4184 participants (52%) had 1 study visit per year during 2002-2007. In this subset, lower and upper estimates increased from 45% to 49% and from 52% to 55%, respectively. Yearly increases in prevalence were becoming smaller in later years. Conclusions. Contrary to earlier predictions, in situations of free access to drugs, close monitoring, and rapid introduction of new potent therapies, the emergence of drug-resistant viruses can be minimized at the population level. Moreover, this study demonstrates the necessity of interpreting time trends in the context of evolving cohort populations.

Nasal immunization of mice with human papillomavirus type 16 virus-like particles elicits neutralizing antibodies in mucosal secretions.

To specifically induce a mucosal antibody response to purified human papillomavirus type 16 (HPV16) virus-like particles (VLP), we immunized female BALB/c mice orally, intranasally, and/or parenterally and evaluated cholera toxin (CT) as a mucosal adjuvant. Anti-HPV16 VLP immunoglobulin G (IgG) and IgA titers in serum, saliva, and genital secretions were measured by enzyme-linked immunosorbent assay (ELISA). Systemic immunizations alone induced HPV16 VLP-specific IgG in serum and, to a lesser extent, in genital secretions but no secretory IgA. Oral immunization, even in the presence of CT, was inefficient. However, three nasal immunizations with 5 microgram of VLP given at weekly intervals to anesthetized mice induced high (>10(4)) and long-lasting (>15 weeks) titers of anti-HPV16 VLP antibodies in all samples, including IgA and IgG in saliva and genital secretions. CT enhanced the VLP-specific antibody response 10-fold in serum and to a lesser extent in saliva and genital secretions. Nasal immunization of conscious mice compared to anesthetized mice was inefficient and correlated with the absence of uptake of a marker into the lung. However, a 1-microgram VLP systemic priming followed by two 5-microgram VLP intranasal boosts in conscious mice induced both HPV16 VLP-specific IgG and IgA in secretions, although the titers were lower than in anesthetized mice given three intranasal immunizations. Antibodies in serum, saliva, and genital secretions of immunized mice were strongly neutralizing in vitro (50% neutralization with ELISA titers of 65 to 125). The mucosal and systemic/mucosal HPV16 VLP immunization protocols that induced significant titers of neutralizing IgG and secretory IgA in mucosal secretions in mice may be relevant to genital HPV VLP-based human vaccine trials.

New methods for detecting antibiotic resistant bacteria and preventing their spread

Methicillin resistant Staphylococcus aureus (MRSA) bacteria have emerged in the early 1980's in numerous health care institutions around the world. The main transmission mechanism within hospitals and healthcare facilities is through the hands of health care workers. Resistant to several antibiotics, the MRSA is one of the most feared pathogens in the hospital setting since it is very difficult to eradicate with the standard treatments. There are still a limited number of anti-MRSA antibiotics but the first cases of resistance to these compounds have already been reported and their frequency is likely to increase in the coming years. Every year, the MRSA infections result in major human and financial costs, due to the high associated mortality and expenses related to the required care. Measures towards a faster detection of resistant bacteria and establishment of appropriate antibiotic treatment parameters are fundamental. Also as part as infection prevention, diminution of bacteria present on the commonly touched surfaces could also limit the spread and selection of antibiotic resistant bacteria. During my thesis, projects were developed around MRSA and antibiotic resistance investigation using innovative technologies. The thesis was subdivided in three main parts with the use of atomic force microscopy AFM for antibiotic resistance detection in part 1, the importance of the bacterial inoculum size in the selection of antibiotic resistance in part 2 and the testing of antimicrobial surfaces creating by sputtering copper onto polyester in part 3. In part 1 the AFM was used two different ways, first for the measurement of stiffness (elasticity) of bacteria and second as a nanosensor for antibiotic susceptibility testing. The stiffness of MRSA with different susceptibility profiles to vancomycin was investigated using the stiffness tomography mode of the AFM and results have demonstrated and increased stiffness in the vancomycin resistant strains that also paralleled with increased thickness of the bacterial cell wall. Parts of the AFM were also used to build a new antibiotic susceptibility-testing device. This nano sensor was able to measure vibrations emitted from living bacteria that ceased definitively upon antibiotic exposure to which they were susceptible but restarted after antibiotic removal to which they were resistant, allowing in a matter of minute the assessment of antibiotic susceptibility determination. In part 2 the inoculum effect (IE) of vancomycin, daptomycin and linezolid and its importance in antibiotic resistance selection was investigated with MRSA during a 15 days of cycling experiment. Results indicated that a high bacterial inoculum and a prolonged antibiotic exposure were two key factors in the in vitro antibiotic resistance selection in MRSA and should be taken into consideration when choosing the drug treatment. Finally in part 3 bactericidal textile surfaces were investigated against MRSA. Polyesters coated after 160 seconds of copper sputtering have demonstrated a high bactericidal activity reducing the bacterial load of at least 3 logio after one hour of contact. -- Au cours des dernières décennies, des bactéries multirésistantes aux antibiotiques (BMR) ont émergé dans les hôpitaux du monde entier. Depuis lors, le nombre de BMR et la prévalence des infections liées aux soins (IAS) continuent de croître et sont associés à une augmentation des taux de morbidité et de mortalité ainsi qu'à des coûts élevés. De plus, le nombre de résistance à différentes classes d'antibiotiques a également augmenté parmi les BMR, limitant ainsi les options thérapeutiques disponibles lorsqu'elles ont liées a des infections. Des mesures visant une détection plus rapide des bactéries résistantes ainsi que l'établissement des paramètres de traitement antibiotiques adéquats sont primordiales lors d'infections déjà présentes. Dans une optique de prévention, la diminution des bactéries présentes sur les surfaces communément touchées pourrait aussi freiner la dissémination et l'évolution des bactéries résistantes. Durant ma thèse, différents projets incluant des nouvelles technologies et évoluant autour de la résistance antibiotique ont été traités. Des nouvelles technologies telles que le microscope à force atomique (AFM) et la pulvérisation cathodique de cuivre (PCC) ont été utilisées, et le Staphylococcus aureus résistant à la méticilline (SARM) a été la principale BMR étudiée. Deux grandes lignes de recherche ont été développées; la première visant à détecter la résistance antibiotique plus rapidement avec l'AFM et la seconde visant à prévenir la dissémination des BMR avec des surfaces crées grâce à la PCC. L'AFM a tout d'abord été utilisé en tant que microscope à sonde locale afin d'investiguer la résistance à la vancomycine chez les SARMs. Les résultats ont démontré que la rigidité de la paroi augmentait avec la résistance à la vancomycine et que celle-ci corrélait aussi avec une augmentation de l'épaisseur des parois, vérifiée grâce à la microscopie électronique. Des parties d'un AFM ont été ensuite utilisées afin de créer un nouveau dispositif de test de sensibilité aux antibiotiques, un nanocapteur. Ce nanocapteur mesure des vibrations produites par les bactéries vivantes. Après l'ajout d'antibiotique, les vibrations cessent définitivement chez les bactéries sensibles à l'antibiotique. En revanche pour les bactéries résistantes, les vibrations reprennent après le retrait de l'antibiotique dans le milieu permettant ainsi, en l'espace de minutes de détecter la sensibilité de la bactérie à un antibiotique. La PCC a été utilisée afin de créer des surfaces bactéricides pour la prévention de la viabilité des BMR sur des surfaces inertes. Des polyesters finement recouverts de cuivre (Cu), connu pour ses propriétés bactéricides, ont été produits et testés contre des SARMs. Une méthode de détection de viabilité des bactéries sur ces surfaces a été mise au point, et les polyesters obtenus après 160 secondes de pulvérisation au Cu ont démontré une excellente activité bactéricide, diminuant la charge bactérienne d'au moins 3 logio après une heure de contact. En conclusion, l'utilisation de nouvelles technologies nous a permis d'évoluer vers de méthodes de détection de la résistance antibiotique plus rapides ainsi que vers le développement d'un nouveau type de surface bactéricide, dans le but d'améliorer le diagnostic et la gestion des BMR.

The identity type weak factorisation system

We show that the classifying category C(T)of a dependent type theory T with axioms for identity types admits a nontrivial weak factorisation system. After characterising this weak factorisation system explicitly, we relate it to the homotopy theory of groupoids.

Virological study of a dengue type 1 epidemic at Rio de Janeiro

A dengue outbreak started in March, 1986 in Rio de Janeiro and spread very rapidly to other parts of the country. The great majority of cases presented classical dengue fever but there was one fatal case, confirmed by virus isolation. Dengue type 1 strains were isolated from patients and vectors (Aedes aegypti) in the area by cultivation in A. albopictus C6/36 cell line. The cytopathic effect (CPE) was studied by electron microscopy. An IgM capture test (MAC-ELISA) was applied with clear and reproducible results for diagnosis and evaluation of virus circulation; IgM antibodies appeared soon after start of clinical disease, and persisted for about 90 days in most patients. The test was type-specific in about 50% of the patients but high levels of heterologous response for type 3 were observed. An overall isolation rate of 46,8% (813 virus strains out of 1734 specimens) was recorded. The IgM test increased the number of confirmed cases to 58,2% (1479 out of 2451 suspected cases). The importance of laboratory diagnosis in all regions where the vectors are present is emphasized.

NEUROPATHOPHYSIOLOGICAL MECHANISMS IN GLUTARIC ACIDURIA TYPE I: 3-HYDROXYGLUTARIC ACID LEADS TO AMMONIA INCREASE AND NON-APOPTOTIC CELL DEATH

A 3D in vitro model of rat organotypic brain cell cultures in aggregates was used to investigate neurotoxicity mechanisms in glutaric aciduria type I (GA-I). 1 mM glutarate (GA) or 3-hydroxyglutarate (3OHGA) were repeatedly added to the culture media at two different time points. In cultures treated with 3OHGA, we observed an increase in lactate in the medium, pointing to a possible inhibition of Krebs cycle and respiratory chain. We further observed that 3OHGA and to a lesser extend GA induced an increase in ammonia production with concomitant decrease of glutamine concentrations, which may suggest an inhibition of the astrocytic enzyme glutamine synthetase. These previously unreported findings may uncover a pathogenic mechanism in this disease which has deleterious effects on early stages of brain development. By immunohistochemistry we showed that 3OHGA increased non-apoptotic cell death. On the cellular level, 3OHGA and to a lesser extend GA led to cell swelling and loss of astrocytic fibers whereas a loss of oligodendrocytes was only observed for 3OHGA. We conclude that 3OHGAwas the most toxic metabolite in our model for GA-I. 3OHGA induced deleterious effects on glial cells, an increase of ammonia production, and resulted in accentuated cell death of non-apoptotic origin.