Congruences between modular forms and lowering the level mod l^n

In this article we study the behavior of inertia groups for modularGalois mod l^n representations and in some cases we give a generalizationof Ribet s lowering the level result (cf. [Rib90]).

Computing congruences of modular forms and Galois representations modulo prime powers

This article starts a computational study of congruences of modular forms and modular Galoisrepresentations modulo prime powers. Algorithms are described that compute the maximum integermodulo which two monic coprime integral polynomials have a root in common in a sensethat is defined. These techniques are applied to the study of congruences of modular forms andmodular Galois representations modulo prime powers. Finally, some computational results withimplications on the (non-)liftability of modular forms modulo prime powers and possible generalisationsof level raising are presented.

Modular support for developing mobile ad hoc applications

Abstract This PhD thesis addresses the issue of alleviating the burden of developing ad hoc applications. Such applications have the particularity of running on mobile devices, communicating in a peer-to-peer manner and implement some proximity-based semantics. A typical example of such application can be a radar application where users see their avatar as well as the avatars of their friends on a map on their mobile phone. Such application become increasingly popular with the advent of the latest generation of mobile smart phones with their impressive computational power, their peer-to-peer communication capabilities and their location detection technology. Unfortunately, the existing programming support for such applications is limited, hence the need to address this issue in order to alleviate their development burden. This thesis specifically tackles this problem by providing several tools for application development support. First, it provides the location-based publish/subscribe service (LPSS), a communication abstraction, which elegantly captures recurrent communication issues and thus allows to dramatically reduce the code complexity. LPSS is implemented in a modular manner in order to be able to target two different network architectures. One pragmatic implementation is aimed at mainstream infrastructure-based mobile networks, where mobile devices can communicate through fixed antennas. The other fully decentralized implementation targets emerging mobile ad hoc networks (MANETs), where no fixed infrastructure is available and communication can only occur in a peer-to-peer fashion. For each of these architectures, various implementation strategies tailored for different application scenarios that can be parametrized at deployment time. Second, this thesis provides two location-based message diffusion protocols, namely 6Shot broadcast and 6Shot multicast, specifically aimed at MANETs and fine tuned to be used as building blocks for LPSS. Finally this thesis proposes Phomo, a phone motion testing tool that allows to test proximity semantics of ad hoc applications without having to move around with mobile devices. These different developing support tools have been packaged in a coherent middleware framework called Pervaho.

Borcherds products and arithmetic intersection theory on Hilbert modular surfaces

We prove an arithmetic version of a theorem of Hirzebruch and Zagier saying that Hirzebruch-Zagier divisors on a Hilbert modular surface are the coefficients of an elliptic modular form of weight 2. Moreover, we determine the arithmetic selfintersection number of the line bundle of modular forms equipped with its Petersson metric on a regular model of a Hilbert modular surface, and we study Faltings heights of arithmetic Hirzebruch-Zagier divisors.

Galois representations, embedding problems and modular forms

To an odd irreducible 2-dimensional complex linear representation of the absolute Galois group of the field Q of rational numbers, a modular form of weight 1 is associated (modulo Artin's conjecture on the L-series of the representation in the icosahedral case). In addition, linear liftings of 2-dimensional projective Galois representations are related to solutions of certain Galois embedding problems. In this paper we present some recent results on the existence of liftings of projective representations and on the explicit resolution of embedding problems associated to orthogonal Galois representations, and explain how these results can be used to construct modular forms.

Animal Tissue Response To Mid-Term Electronic Modular Artificial Sphincter Implantation

Introduction and objectives: The AMS 800TM is considered the gold standard for sphincter replacement. However, the one-ring design can erode the urethra and lead to severe complications. A mechanism that could alternatively compress successive segments of the urethra would limit such deleterious outcome. We report 12 weeks animal urethral tissue analysis following implantation of a new modular artificial sphincter. METHODS: The device is composed by three parts: the contractile unit, two rings and an integrated microprocessor. The contractile unit is made of Nitinol fibers. The rings are placed around the urethra to control the flow of urine by squeezing the urethra. They work in a sequential alternative mode and are controlled by a microprocessor connected to an external computer. The computer can reveal specific failure of device components. The device was impkanted in eight male sheep. The rings were positioned around the urethra and the control unit was placed 5cm away. The device was working twenty hours per day; it was open 10min. per hour to allow urination. The animals were sacrificed after 12 weeks. The urethra and the tissues surrounding the control unit were macroscopically and microscopically examined. Two transversal sections crossing the sphincter and two transversal sections crossing the urethra alone were obtained and stained with modified Paragon after resin embedding. Urethra was also embedded in paraffin. The first section was stained with safranin-hematoxylin-eosin, the second section was stained with Masson's Trichrome and the remaining eight sections were available for immunolabelling of the macrophages.Results: The chronic study went uneventful. No clinical infection or pain was observed. The computer registered no specific failure in ring function, Nitinol wires and tube connectors. At explantation, except for a slight grade of lymphocytes in two out of eight specimens, no urethral stricture or atrophy could be observed. Immunohistochemistry confirmed the absence of macrophages. Tissue structure and organization of the urethra with and without artificial sphincter were similar. No migration of the device was observed.Conclusions: The study clearly showed no tissue damage or inflammation of the urethra. Electronic design, preservation of urethral vascularisation and adjustability after implantation are the key ideas to improve the actual AUS. Further studies will be carried out to evaluate this potential.

Arithmetical problems in number fields, abelian varieties and modular forms

Number theory, a fascinating area in mathematics and one of the oldest, has experienced spectacular progress in recent years. The development of a deep theoretical background and the implementation of algorithms have led to new and interesting interrelations with mathematics in general which have paved the way for the emergence of major theorems in the area. This report summarizes the contribution to number theory made by the members of the Seminari de Teoria de Nombres (UB-UAB-UPC) in Barcelona. These results are presented in connection with the state of certain arithmetical problems, and so this monograph seeks to provide readers with a glimpse of some specific lines of current mathematical research.

A modular magnetic anastomotic device for minimally invasive digestive anastomosis: proof of concept and preliminary data in the pig model.

BACKGROUND: The aim of our study was to assess the feasibility of minimally invasive digestive anastomosis using a modular flexible magnetic anastomotic device made up of a set of two flexible chains of magnetic elements. The assembly possesses a non-deployed linear configuration which allows it to be introduced through a dedicated small-sized applicator into the bowel where it takes the deployed form. A centering suture allows the mating between the two parts to be controlled in order to include the viscerotomy between the two magnetic rings and the connected viscera. METHODS AND PROCEDURES: Eight pigs were involved in a 2-week survival experimental study. In five colorectal anastomoses, the proximal device was inserted by a percutaneous endoscopic technique, and the colon was divided below the magnet. The distal magnet was delivered transanally to connect with the proximal magnet. In three jejunojejunostomies, the first magnetic chain was injected in its linear configuration through a small enterotomy. Once delivered, the device self-assembled into a ring shape. A second magnet was injected more distally through the same port. The centering sutures were tied together extracorporeally and, using a knot pusher, magnets were connected. Ex vivo strain testing to determine the compression force delivered by the magnetic device, burst pressure of the anastomosis, and histology were performed. RESULTS: Mean operative time including endoscopy was 69.2 ± 21.9 min, and average time to full patency was 5 days for colorectal anastomosis. Operative times for jejunojejunostomies were 125, 80, and 35 min, respectively. The postoperative period was uneventful. Burst pressure of all anastomoses was ≥ 110 mmHg. Mean strain force to detach the devices was 6.1 ± 0.98 and 12.88 ± 1.34 N in colorectal and jejunojejunal connections, respectively. Pathology showed a mild-to-moderate inflammation score. CONCLUSIONS: The modular magnetic system showed enormous potential to create minimally invasive digestive anastomoses, and may represent an alternative to stapled anastomoses, being easy to deliver, effective, and low cost.

Iowa's Seat Belt Laws, July 17, 2010

Iowa has two seat belt laws, which have been amended several times since the original law took eff ect July 1, 1986. The most recent changes, effective July 1, 2010, were made during the 2010 legislative session by Senate File 2381.

Comparative modular analysis of gene expression in vertebrate organs.

ABSTRACT: BACKGROUND: The degree of conservation of gene expression between homologous organs largely remains an open question. Several recent studies reported some evidence in favor of such conservation. Most studies compute organs' similarity across all orthologous genes, whereas the expression level of many genes are not informative about organ specificity. RESULTS: Here, we use a modularization algorithm to overcome this limitation through the identification of inter-species co-modules of organs and genes. We identify such co-modules using mouse and human microarray expression data. They are functionally coherent both in terms of genes and of organs from both organisms. We show that a large proportion of genes belonging to the same co-module are orthologous between mouse and human. Moreover, their zebrafish orthologs also tend to be expressed in the corresponding homologous organs. Notable exceptions to the general pattern of conservation are the testis and the olfactory bulb. Interestingly, some co-modules consist of single organs, while others combine several functionally related organs. For instance, amygdala, cerebral cortex, hypothalamus and spinal cord form a clearly discernible unit of expression, both in mouse and human. CONCLUSIONS: Our study provides a new framework for comparative analysis which will be applicable also to other sets of large-scale phenotypic data collected across different species.

Curb it-Click it Iowa's Seat Belt Laws

This brochure explains Iowa's seat belt laws

Modelagem e avaliação de um sistema modular para gerenciamento de informação na Web

O gerenciamento de informação pode ser identificado como desafio crucial, sobretudo no tocante aos conteúdos de websites e sistemas de informação em ambiente web. Assim, o desenvolvimento de meios e métodos para gerenciamento de conteúdos é tema deste artigo, o qual objetiva, através de um relato de aplicação de pesquisa participativa, apresentar a descrição funcional de um sistema modular para gerenciamento de conteúdos em ambiente web. São discutidos aspectos relacionados com o desenvolvimento do sistema e sua aplicação em 28 websites. Adicionalmente, é apresentada uma avaliação quantitativa com base na satisfação, facilidade de uso percebida, freqüência de uso e importância dos módulos que o compõem. Entre os principais resultados, aponta-se a evidência da flexibilidade da proposta modular e a constatação de que os gestores se mostraram satisfeitos com o sistema, não apresentando dificuldade de uso e obtendo resultados positivos com o uso da ferramenta.