71 resultados para lambda calculus types, mathematical logic
em Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP)
Resumo:
Background: High-density tiling arrays and new sequencing technologies are generating rapidly increasing volumes of transcriptome and protein-DNA interaction data. Visualization and exploration of this data is critical to understanding the regulatory logic encoded in the genome by which the cell dynamically affects its physiology and interacts with its environment. Results: The Gaggle Genome Browser is a cross-platform desktop program for interactively visualizing high-throughput data in the context of the genome. Important features include dynamic panning and zooming, keyword search and open interoperability through the Gaggle framework. Users may bookmark locations on the genome with descriptive annotations and share these bookmarks with other users. The program handles large sets of user-generated data using an in-process database and leverages the facilities of SQL and the R environment for importing and manipulating data. A key aspect of the Gaggle Genome Browser is interoperability. By connecting to the Gaggle framework, the genome browser joins a suite of interconnected bioinformatics tools for analysis and visualization with connectivity to major public repositories of sequences, interactions and pathways. To this flexible environment for exploring and combining data, the Gaggle Genome Browser adds the ability to visualize diverse types of data in relation to its coordinates on the genome. Conclusions: Genomic coordinates function as a common key by which disparate biological data types can be related to one another. In the Gaggle Genome Browser, heterogeneous data are joined by their location on the genome to create information-rich visualizations yielding insight into genome organization, transcription and its regulation and, ultimately, a better understanding of the mechanisms that enable the cell to dynamically respond to its environment.
Resumo:
Context. Tight binaries discovered in young, nearby associations are ideal targets for providing dynamical mass measurements to test the physics of evolutionary models at young ages and very low masses. Aims. We report the binarity of TWA22 for the first time. We aim at monitoring the orbit of this young and tight system to determine its total dynamical mass using an accurate distance determination. We also intend to characterize the physical properties (luminosity, effective temperature, and surface gravity) of each component based on near-infrared photometric and spectroscopic observations. Methods. We used the adaptive-optics assisted imager NACO to resolve the components, to monitor the complete orbit and to obtain the relative near-infrared photometry of TWA22 AB. The adaptive-optics assisted integral field spectrometer SINFONI was also used to obtain medium-resolution (R(lambda) = 1500-2000) spectra in JHK bands. Comparison with empirical and synthetic librairies were necessary for deriving the spectral type, the effective temperature, and the surface gravity for each component of the system. Results. Based on an accurate trigonometric distance (17.5 +/- 0.2 pc) determination, we infer a total dynamical mass of 220 +/- 21 M(Jup) for the system. From the complete set of spectra, we find an effective temperature T(eff) = 2900(-200)(+200) K for TWA22A and T(eff) = 2900(-100)(+200) for TWA22 B and surface gravities between 4.0 and 5.5 dex. From our photometry and an M6 +/- 1 spectral type for both components, we find luminosities of log(L/L(circle dot)) = -2.11 +/- 0.13 dex and log(L/L(circle dot)) = -2.30 +/- 0.16 dex for TWA22 A and B, respectively. By comparing these parameters with evolutionary models, we question the age and the multiplicity of this system. We also discuss a possible underestimation of the mass predicted by evolutionary models for young stars close to the substellar boundary.
Resumo:
In the Hammersley-Aldous-Diaconis process, infinitely many particles sit in R and at most one particle is allowed at each position. A particle at x, whose nearest neighbor to the right is at y, jumps at rate y - x to a position uniformly distributed in the interval (x, y). The basic coupling between trajectories with different initial configuration induces a process with different classes of particles. We show that the invariant measures for the two-class process can be obtained as follows. First, a stationary M/M/1 queue is constructed as a function of two homogeneous Poisson processes, the arrivals with rate, and the (attempted) services with rate rho > lambda Then put first class particles at the instants of departures (effective services) and second class particles at the instants of unused services. The procedure is generalized for the n-class case by using n - 1 queues in tandem with n - 1 priority types of customers. A multi-line process is introduced; it consists of a coupling (different from Liggett's basic coupling), having as invariant measure the product of Poisson processes. The definition of the multi-line process involves the dual points of the space-time Poisson process used in the graphical construction of the reversed process. The coupled process is a transformation of the multi-line process and its invariant measure is the transformation described above of the product measure.
Resumo:
Can Boutet de Monvel`s algebra on a compact manifold with boundary be obtained as the algebra Psi(0)(G) of pseudodifferential operators on some Lie groupoid G? If it could, the kernel G of the principal symbol homomorphism would be isomorphic to the groupoid C*-algebra C*(G). While the answer to the above question remains open, we exhibit in this paper a groupoid G such that C*(G) possesses an ideal I isomorphic to G. In fact, we prove first that G similar or equal to Psi circle times K with the C*-algebra Psi generated by the zero order pseudodifferential operators on the boundary and the algebra K of compact operators. As both Psi circle times K and I are extensions of C(S*Y) circle times K by K (S*Y is the co-sphere bundle over the boundary) we infer from a theorem by Voiculescu that both are isomorphic.
Resumo:
The wear resistance of denture teeth is important to the longevity of removable prostheses of edentulous patients. The ability of denture teeth to maintain a stable occlusal relationship over time may be influenced by this property. The purpose of this in vitro study was to evaluate the wear resistance of polymethyl methacrylate (PMMA) denture teeth based on their chemical composition when opposed by a ceramic antagonist. The maxillary canines (n=10) of 3 PMMA denture teeth (Trubyte Biotone, cross-linked PMMA; Trilux, highly cross-linked IPN (interpenetrating polymer network)-PMMA; and Vivodent, highly cross-linked PMMA) were secured in an in vitro 2-body wear-testing apparatus that produced sliding contact of the specimens (4.5 cycles/s, sliding distance of 20 mm, under 37°C running water) against glazed or airborne particle abraded ceramic. Wear resistance was measured as height loss (mm) under 300 g (sliding force) after 100,000 cycles, using a digital measuring microscope. Mean values were analyzed by 2-way ANOVA and Tukey's test (a=0.05). The wear of Trubyte Biotone (0.93 ± 0.14 mm) was significantly higher than that of both other types of teeth tested against abraded ceramic (p<0.05). The Vivodent tooth (0.64 ± 0.17 mm) exhibited the best wear resistance among the denture teeth tested against airborne particle abraded ceramic. There were no statistically significant differences (p>0.05) in wear among the 3 denture teeth evaluated against glazed ceramic. Trilux and Vivodent teeth tested against either glazed or airborne particle abraded ceramic did not differ significantly from each other (p<0.05). All teeth showed significantly more wear against airborne particle abraded ceramic than against glazed ceramic (p<0.05). In conclusion, the three types of PMMA denture teeth presented significantly different wear resistance against the abraded ceramic. The high-strength PMMA denture teeth were more wear-resistant than the conventional PMMA denture tooth.
Resumo:
Temporomandibular joint (TMJ) sounds are important and common physical signs of temporomandibular disorders (TMD). The aim of this study was to evaluate the influence of the effect of the use of occlusal bite splints (stabilizing and repositioning) on the sounds produced in the TMJ, by means of the electrovibratography (EVG). Thirty-one patients with TMD from the Dental School of Ribeirão Preto, University of São Paulo, Brazil were selected for this study. Group 1 (n=23) wore stabilizing bite splints and Group 2 (n=8) used anterior repositioning splints. Before and after treatment with occlusal splints both groups were analyzed using the SonoPAK Q/S recording system (BioResearch System, Inc.). The treatments with stabilizing bite splints were satisfactory, since they reduced the total amount of the sound energies (p<0.05), but the use of anterior repositioning splints for no more than 4 weeks produced significantly better results (p<0.01). The total amount of vibration energy involved in the vibrating movements of the TMJ showed significant improvement using anterior repositioning splints.
Resumo:
More than 140 years after the first description of Friedreich ataxia, autosomal recessive ataxias have become one of the more complex fields in Neurogenetics. Currently this group of diseases contains more than 20 clinical entities and an even larger number of associated genes. Some disorders are very rare, restricted to isolated populations, and others are found worldwide. An expressive number of recessive ataxias are treatable, and responsibility for an accurate diagnosis is high. The purpose of this review is to update the practitioner on clinical and pathophysiological aspects of these disorders and to present an algorithm to guide the diagnosis.
Resumo:
A catalogue is provided with the type material of four superfamilies of "Acalyptrate" (Conopoidea, Diopsoidea, Nerioidea and Tephritoidea) held in the collection of the Museu de Zoologia da Universidade de São Paulo (MZUSP), São Paulo, Brazil. Concerning the taxa dealt with herein, the Diptera collection of MZUSP held 77 holotypes, 4 "allotypes" and 194 paratypes. In this paper, information about data labels, preservation and missing structures of the type specimens is given.
Resumo:
A list of 228 types of 79 species of erotylids (Insecta, Coleoptera, Erotylidae - including the Languriinae) of the collection of the Museu de Zoologia da Universidade de São Paulo and the data on their labels are presented.
Resumo:
In this paper, we present a fuzzy approach to the Reed-Frost model for epidemic spreading taking into account uncertainties in the diagnostic of the infection. The heterogeneities in the infected group is based on the clinical signals of the individuals (symptoms, laboratorial exams, medical findings, etc.), which are incorporated into the dynamic of the epidemic. The infectivity level is time-varying and the classification of the individuals is performed through fuzzy relations. Simulations considering a real problem with data of the viral epidemic in a children daycare are performed and the results are compared with a stochastic Reed-Frost generalization
Resumo:
Background: Ticks secrete a cement cone composed of many salivary proteins, some of which are rich in the amino acid glycine in order to attach to their hosts' skin. Glycine-rich proteins (GRPs) are a large family of heterogeneous proteins that have different functions and features; noteworthy are their adhesive and tensile characteristics. These properties may be essential for successful attachment of the metastriate ticks to the host and the prolonged feeding necessary for engorgement. In this work, we analyzed Expressed Sequence Tags (ESTs) similar to GRPs from cDNA libraries constructed from salivary glands of adult female ticks representing three hard, metastriate species in order to verify if their expression correlated with biological differences such as the numbers of hosts ticks feed on during their parasitic life cycle, whether one (monoxenous parasite) or two or more (heteroxenous parasite), and the anatomy of their mouthparts, whether short (Brevirostrata) or long (Longirostrata). These ticks were the monoxenous Brevirostrata tick, Rhipicephalus (Boophilus) microplus, a heteroxenous Brevirostrata tick, Rhipicephalus sanguineus, and a heteroxenous Longirostrata tick, Amblyomma cajennense. To further investigate this relationship, we conducted phylogenetic analyses using sequences of GRPs from these ticks as well as from other species of Brevirostrata and Longirostrata ticks. Results: cDNA libraries from salivary glands of the monoxenous tick, R. microplus, contained more contigs of glycine-rich proteins than the two representatives of heteroxenous ticks, R. sanguineus and A. cajennense (33 versus, respectively, 16 and 11). Transcripts of ESTs encoding GRPs were significantly more numerous in the salivary glands of the two Brevirostrata species when compared to the number of transcripts in the Longirostrata tick. The salivary gland libraries from Brevirostrata ticks contained numerous contigs significantly similar to silks of true spiders (17 and 8 in, respectively, R. microplus and R. sanguineus), whereas the Longirostrata tick contained only 4 contigs. The phylogenetic analyses of GRPs from various species of ticks showed that distinct clades encoding proteins with different biochemical properties are represented among species according to their biology. Conclusions: We found that different species of ticks rely on different types and amounts of GRPs in order to attach and feed on their hosts. Metastriate ticks with short mouthparts express more transcripts of GRPs than a tick with long mouthparts and the tick that feeds on a single host during its life cycle contain a greater variety of these proteins than ticks that feed on several hosts.
Resumo:
We consider distributions u is an element of S'(R) of the form u(t) = Sigma(n is an element of N) a(n)e(i lambda nt), where (a(n))(n is an element of N) subset of C and Lambda = (lambda n)(n is an element of N) subset of R have the following properties: (a(n))(n is an element of N) is an element of s', that is, there is a q is an element of N such that (n(-q) a(n))(n is an element of N) is an element of l(1); for the real sequence., there are n(0) is an element of N, C > 0, and alpha > 0 such that n >= n(0) double right arrow vertical bar lambda(n)vertical bar >= Cn(alpha). Let I(epsilon) subset of R be an interval of length epsilon. We prove that for given Lambda, (1) if Lambda = O(n(alpha)) with alpha < 1, then there exists epsilon > 0 such that u vertical bar I(epsilon) = 0 double right arrow u 0; (2) if Lambda = O(n) is uniformly discrete, then there exists epsilon > 0 such that u vertical bar I(epsilon) = 0 double right arrow u 0; (3) if alpha > 1 and. is uniformly discrete, then for all epsilon > 0, u vertical bar I(epsilon) = 0 double right arrow u = 0. Since distributions of the above mentioned form are very common in engineering, as in the case of the modeling of ocean waves, signal processing, and vibrations of beams, plates, and shells, those uniqueness and nonuniqueness results have important consequences for identification problems in the applied sciences. We show an identification method and close this article with a simple example to show that the recovery of geometrical imperfections in a cylindrical shell is possible from a measurement of its dynamics.
Resumo:
The Te(IV) atom in the title compound, [Te(C(4)H(9))(C(8)H(10)Br)Cl(2)] or C(12)H(19)BrCl(2)Te, is in a distorted psi-trigonal-bipyramidal geometry, with the lone pair of electrons projected to occupy a position in the equatorial plane, and with the Cl atoms being mutually trans [172.48 (4)degrees]. Close intramolecular [Te center dot center dot center dot Br = 3.3444 (18) angstrom] and intermolecular [Te center dot center dot center dot Cl = 3.675 (3) angstrom] interactions are observed. The latter lead to centrosymmetric dimers which assemble into layers in the bc plane. The primary connections between layers are of the type C-H center dot center dot center dot Cl.
Resumo:
Background: Prostate tumor heterogeneity is a major factor in disease management. Heterogeneity could be due to multiple cancer cell types with distinct gene expression. Of clinical importance is the so-called cancer stem cell type. Cell type-specific transcriptomes are used to examine lineage relationship among cancer cell types and their expression similarity to normal cell types including stem/progenitor cells. Methods: Transcriptomes were determined by Affymetrix DNA array analysis for the following cell types. Putative prostate progenitor cell populations were characterized and isolated by expression of the membrane transporter ABCG2. Stem cells were represented by embryonic stem and embryonal carcinoma cells. The cancer cell types were Gleason pattern 3 (glandular histomorphology) and pattern 4 (aglandular) sorted from primary tumors, cultured prostate cancer cell lines originally established from metastatic lesions, xenografts LuCaP 35 (adenocarcinoma phenotype) and LuCaP 49 (neuroendocrine/small cell carcinoma) grown in mice. No detectable gene expression differences were detected among serial passages of the LuCaP xenografts. Results: Based on transcriptomes, the different cancer cell types could be clustered into a luminal-like grouping and a non-luminal-like (also not basal-like) grouping. The non-luminal-like types showed expression more similar to that of stem/progenitor cells than the luminal-like types. However, none showed expression of stem cell genes known to maintain stemness. Conclusions: Non-luminal-like types are all representatives of aggressive disease, and this could be attributed to the similarity in overall gene expression to stem and progenitor cell types.
Resumo:
Small angle X-ray scattering (SAXS) images of normal breast tissue and benign and malignant breast tumour tissues, fixed in formalin, were measured at the momentum transfer range of 0.063 nm(-1) <= q (=4 pi sin(theta/2)/lambda) <= 2.720 nm(-1). Four intrinsic parameters were extracted from the scattering profiles (1D SAXS image reduced) and, from the combination of these parameters, another three parameters were also created. All parameters, intrinsic and derived, were subject to discriminant analysis, and it was verified that parameters such as the area of diffuse scatter at the momentum transfer range 0.50 <= q <= 0.56 nm(-1), the ratio between areas of fifth-order axial and third-order lateral peaks and third-order axial spacing provide the most significant information for diagnosis (p < 0.001). Thus, in this work it was verified that by combining these three parameters it was possible to classify human breast tissues as normal, benign lesion or malignant lesion with a sensitivity of 83% and a specificity of 100%.