7 resultados para Computer Generated Proofs

em Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho"


Relevância:

80.00% 80.00%

Publicador:

Resumo:

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

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We performed a light microscope and a computer three-dimensional reconstruction study of serial sections of the molar enamel organ of 3- and 5-day-old rats perfused with Indian ink through the arterial system. The tooth germs were fixed in Bouin's solution, embedded in paraffin, sectioned and stained with haematoxylin and eosin. For the three-dimensional reconstruction, light micrographs of the serial sections were digitized, and aligned using the serial EM Align software downloaded from http://synapses.bu.edu/tools/. After alignment, the boundaries of the India-ink-filled blood vessels were manually traced with a mouse using the software IGL trace (version 1.26b), also downloaded from the above website. After tracing, a three-dimensional representation of the blood vessel contours was generated in a VRML format and visualized with the help of the software Cortona Web3D viewer (version 4.0) downloaded from http://www.parallelgraphics.com/products/cortona. Our results showed that in regions where ameloblasts are polarized the capillaries are arranged in three distinct levels: (1) penetrating and leaving capillaries in relation to the outer enamel epithelium; (2) capillaries crossing and branching inside the stellate reticulum; and (3) capillaries branching and anastomosing profusely within the stratum intermedium, thereby forming an extensive capillary plexus intimately associated with the cells of the stratum intermedium. The existence of a conspicuous capillary plexus intermingled with cells of the stratum intermedium, as shown in our results, suggests that some molecules produced by cells of the stratum intermedium could be released into the capillary plexus and thereafter carried to the dental follicle.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We propose a method for accelerating iterative algorithms for solving symmetric linear complementarity problems. The method consists in performing a one-dimensional optimization in the direction generated by a splitting method even for non-descent directions. We give strong convergence proofs and present numerical experiments that justify using this acceleration.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Water waves generated by landslides were long menace in certain localities and the study of this phenomenon were carried out at an accelerated rate in the last decades. Nevertheless, the phase of wave creation was found to be very complex. As such, a numerical model based on Boussinesq equations was used to describe water waves generated by local disturbance. This numerical model takes in account the vertical acceleration of the particles and considers higher orders derivate terms previously neglected by Boussinesq, so that in the generation zone, this model can support high relative amplitude of waves.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The purpose of this paper is to present a computer model that enables the operation analysis of a tuned filter as an attenuator device of harmonic generated 12 and 18-pulses converters with Y-generalized differential connection. Are presented in this study physical considerations, mathematical modeling and digital simulations in the frequency domain using the software Orcad-Pspice®, which allows a spectral analysis of the harmonic components and supports the search for an optimal filtering process. It is unequivocally demonstrated the feasibility of the application as an alternative to optimize the use of multipulse converters, and enable the operation of this device within the established regulatory standards. The validation of the proposed model is based on results obtained in the time domain using Matlab/Simulink®. © 2011 IEEE.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Studies show the positive effects that video games can have on student performance and attitude towards learning. In the past few years, strategies have been generated to optimize the use of technological resources with the aim of facilitating widespread adoption of technology in the classroom. Given its low acquisition and maintenance costs, the interpersonal computer allows individual interaction and simultaneous learning with large groups of students. The purpose of this work was to compare arithmetical knowledge acquired by third-grade students through the use of game-based activities and non-game-based activities using an interpersonal computer, with knowledge acquired through the use of traditional paper-and-pencil activities, and to analyze their impact in various socio-cultural contexts. To do this, a quasi-experimental study was conducted with 271 students in three different countries (Brazil, Chile, and Costa Rica), in both rural and urban schools. A set of educational games for practising arithmetic was developed and tested in six schools within these three countries. Results show that there were no significant differences (ANCOVA) in the learning acquired from game-based vs. non-game-based activities. However, both showed a significant difference when compared with the traditional method. Additionally, both groups using the interpersonal computer showed higher levels of student interest than the traditional method group, and these technological methods were seen to be especially effective in increasing learning among weaker students.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Diottix(r) was calibrated at 25 Hz to achieve the frequency indicated in literature as being effective to mobilize the airways secretions. However, the amplitude and frequency of the waves generated by the equipment in different regions of the chest still need to be investigated. The objective of this study was to analyze the frequency and amplitude of waves generated by Diottix(r) in chests of healthy subjects. Diottix(r) was used in the anterior and posterior regions of the chest. The mechanical waves were captured using stethoscopes connected to electret microphones, which were connected to a digital oscilloscope. Frequency and amplitude data were recorded by the stethoscope, positioned in six points in the anterior region and six in the posterior region of the chest, following the positions commonly used in pulmonary auscultation. Signals were recorded and transferred to a computer with software for their analysis. The frequency of waves did not present a significant change (from 24.9 to 26.4 Hz). The wave amplitude in the anterior versus the posterior region in each area of the lung, the upper, middle and lower, had differences. Diottix(r) produces frequencies in the chest according to the calibrated; thus, it can be a complementary resource to bronchial hygiene maneuvers. The amplitudes of waves seem to be affected by other structures like bone parts and heart.