823 resultados para interactive proofs
Resumo:
3D geographic information system (GIS) is data and computation intensive in nature. Internet users are usually equipped with low-end personal computers and network connections of limited bandwidth. Data reduction and performance optimization techniques are of critical importance in quality of service (QoS) management for online 3D GIS. In this research, QoS management issues regarding distributed 3D GIS presentation were studied to develop 3D TerraFly, an interactive 3D GIS that supports high quality online terrain visualization and navigation. ^ To tackle the QoS management challenges, multi-resolution rendering model, adaptive level of detail (LOD) control and mesh simplification algorithms were proposed to effectively reduce the terrain model complexity. The rendering model is adaptively decomposed into sub-regions of up-to-three detail levels according to viewing distance and other dynamic quality measurements. The mesh simplification algorithm was designed as a hybrid algorithm that combines edge straightening and quad-tree compression to reduce the mesh complexity by removing geometrically redundant vertices. The main advantage of this mesh simplification algorithm is that grid mesh can be directly processed in parallel without triangulation overhead. Algorithms facilitating remote accessing and distributed processing of volumetric GIS data, such as data replication, directory service, request scheduling, predictive data retrieving and caching were also proposed. ^ A prototype of the proposed 3D TerraFly implemented in this research demonstrates the effectiveness of our proposed QoS management framework in handling interactive online 3D GIS. The system implementation details and future directions of this research are also addressed in this thesis. ^
Resumo:
Proofs by induction are central to many computer science areas such as data structures, theory of computation, programming languages, program efficiency-time complexity, and program correctness. Proofs by induction can also improve students’ understanding and performance of computer science concepts such as programming languages, algorithm design, and recursion, as well as serve as a medium for teaching them. Even though students are exposed to proofs by induction in many courses of their curricula, they still have difficulties understanding and performing them. This impacts the whole course of their studies, since proofs by induction are omnipresent in computer science. Specifically, students do not gain conceptual understanding of induction early in the curriculum and as a result, they have difficulties applying it to more advanced areas later on in their studies. The goal of my dissertation is twofold: (1) identifying sources of computer science students’ difficulties with proofs by induction, and (2) developing a new approach to teaching proofs by induction by way of an interactive and multimodal electronic book (e-book). For the first goal, I undertook a study to identify possible sources of computer science students’ difficulties with proofs by induction. Its results suggest that there is a close correlation between students’ understanding of inductive definitions and their understanding and performance of proofs by induction. For designing and developing my e-book, I took into consideration the results of my study, as well as the drawbacks of the current methodologies of teaching proofs by induction for computer science. I designed my e-book to be used as a standalone and complete educational environment. I also conducted a study on the effectiveness of my e-book in the classroom. The results of my study suggest that, unlike the current methodologies of teaching proofs by induction for computer science, my e-book helped students overcome many of their difficulties and gain conceptual understanding of proofs induction.
Resumo:
The National Center for Family Literacy (2003a) and the National Even Start Association (2005) have stated that the single most effective and influential factor in increasing student academic achievement is parental involvement. The purpose of this qualitative study was to determine how participation in adult literacy courses influences parent-child interaction in various educationally related activities known as Interactive Literacy Activities (ILAs). This study investigated ILAs from the mothers? perspective, and examines the changes that occur in parental involvement or ILAs when immigrant parents of a limited educational background participate in an adult education program. The principal method of data collection was key informant interviews (Gall, Borg, & Gall, 1996). Other methods of data collection included observations of parent-child interactions and field observations. Data analysis methods included Memo-ing (Miles & Huberman, 1994), within case analysis and cross-case analysis. ^ Findings demonstrate that changes occurred in the parent-child relationship when mothers of a limited educational background participated in an adult literacy course. When participating in ILAs or English literacy activities related to second language acquisition (including reading and speaking for comprehension and pronunciation), the children of these mothers took on the role of the adult. Participation in literacy activities was often initiated by the child and the children were frequently concerned with their mother's literacy acquisition. Mothers reported that their children were more confident, worked harder on school related activities and were more open to communication. ^ It can be concluded from this study that, in the case of these immigrant families, a mother's participation in adult literacy classes is influential in the relationship between mother and child. These children participated in ILAs for the benefit of their mothers and initiated literacy activities more frequently. The children responded better to their parents during literacy activities because there was a positive change in the relationship between mother and child. The relationship between mother and child appeared to be strengthened by greater trust, a sense of pride and more communication. ^
Resumo:
The origins of population dynamics depend on interplay between abiotic and biotic factors; the relative importance of each changing across space and time. Predation is a central feature of ecological communities that removes individuals (consumption) and alters prey traits (non-consumptive). Resource quality mitigates non-consumptive predator effects by stimulating growth and reproduction. Disturbance resets predator-prey interactions by removing both. I integrate experiments, time-series analysis, and performance trials to examine the relative importance of these on the population dynamics of a snail species by studying a variety of their traits. A review of ninety-three published articles revealed that snail abundance was much less in the Everglades and similar ecosystems compared to all other freshwater ecosystems considered. Separating consumptive from non-consumptive (cues) predator effects at different phosphorous levels with an experiment determined that phosphorous stimulated, but predator cues inhibited snail growth (34% vs. 23%), activity (38% vs. 53%), and reproductive effort (99% vs. 90%) compared to controls. Cues induced taller shells and smaller openings and moved to refugia where they reduced periphyton by 8%. Consumptive predator effects were minor in comparison. In a reciprocal transplant cage experiment along a predator cue and phosphorous gradient created by a canal, snails grew 10% faster and produced 37% more eggs far from the canal (fewer cues) when fed phosphorous-enriched periphyton from near the canal. Time-series analysis at four sites and predator performance trials reveal that phosphorous-enriched regions support larger snail populations, seasonal drying removes snails at all sites, crayfish negatively affect populations in enriched regions, and molluscivorous fish consume snails in the wet season. Combining these studies reveals interplay between resources, predators, and seasonality that limit snail populations in the Everglades and lead to their low abundance compared to other freshwater ecosystems. Resource quality is emerging as the critical factor because improving resources profoundly improved growth and reproduction; seasonal drying and predation become important at times and places. This work contributes to the general understanding in ecology of the relative importance of different factors that structure populations and provides evidence that bolsters monitoring efforts to assess the Comprehensive Everglades Restoration Plan that show phosphorous enrichment is a major driver of ecosystem change.
Resumo:
A model is presented that captures the complex nature of the service experience in an attempt to aid in the design, development and evaluation of service delivery personnel and systems.
Resumo:
Training employees in the hospitality industry to meet guests' expectations is a critical element to success. Unfortunately, this element is often ignored. This article explores an exciting training method (interactive video) and its advantages over other training approaches.
Resumo:
HIV epidemic continues to be a severe public health problem and concern within USA and across the globe with about 33 million people infected with HIV. The frequency of drug abuse among HIV infected patients is rapidly increasing and is another major issue since injection drug users are at a greater risk of developing HIV associated neurocognitive dysfunctions compared to non-drug users infected with HIV. Brain is a major target for many of the recreational drugs and HIV. Evidences suggest that opiate drug abuse is a risk factor in HIV infection, neural dysfunction and progression to AIDS. The information available on the role of morphine as a cofactor in the neuropathogenesis of HIV is scanty. This review summarizes the results that help in understanding the role of morphine use in HIV infection and neural dysfunction. Studies show that morphine enhances HIV-1 infection by suppressing IL-8, downregulating chemokines with reciprocal upregulation of HIV coreceptors. Morphine also activates MAPK signaling and downregulates cAMP response element-binding protein (CREB). Better understanding on the role of morphine in HIV infection and mechanisms through which morphine mediates its effects may help in devising novel therapeutic strategies against HIV-1 infection in opiate using HIV-infected population.
Resumo:
One of the most popular techniques for creating spatialized virtual sounds is based on the use of Head-Related Transfer Functions (HRTFs). HRTFs are signal processing models that represent the modifications undergone by the acoustic signal as it travels from a sound source to each of the listener's eardrums. These modifications are due to the interaction of the acoustic waves with the listener's torso, shoulders, head and pinnae, or outer ears. As such, HRTFs are somewhat different for each listener. For a listener to perceive synthesized 3-D sound cues correctly, the synthesized cues must be similar to the listener's own HRTFs. ^ One can measure individual HRTFs using specialized recording systems, however, these systems are prohibitively expensive and restrict the portability of the 3-D sound system. HRTF-based systems also face several computational challenges. This dissertation presents an alternative method for the synthesis of binaural spatialized sounds. The sound entering the pinna undergoes several reflective, diffractive and resonant phenomena, which determine the HRTF. Using signal processing tools, such as Prony's signal modeling method, an appropriate set of time delays and a resonant frequency were used to approximate the measured Head-Related Impulse Responses (HRIRs). Statistical analysis was used to find out empirical equations describing how the reflections and resonances are determined by the shape and size of the pinna features obtained from 3D images of 15 experimental subjects modeled in the project. These equations were used to yield “Model HRTFs” that can create elevation effects. ^ Listening tests conducted on 10 subjects show that these model HRTFs are 5% more effective than generic HRTFs when it comes to localizing sounds in the frontal plane. The number of reversals (perception of sound source above the horizontal plane when actually it is below the plane and vice versa) was also reduced by 5.7%, showing the perceptual effectiveness of this approach. The model is simple, yet versatile because it relies on easy to measure parameters to create an individualized HRTF. This low-order parameterized model also reduces the computational and storage demands, while maintaining a sufficient number of perceptually relevant spectral cues. ^
Resumo:
Many students are entering colleges and universities in the United States underprepared in mathematics. National statistics indicate that only approximately one-third of students in developmental mathematics courses pass. When underprepared students repeatedly enroll in courses that do not count toward their degree, it costs them money and delays graduation. This study investigated a possible solution to this problem: Whether using a particular computer assisted learning strategy combined with using mastery learning techniques improved the overall performance of students in a developmental mathematics course. Participants received one of three teaching strategies: (a) group A was taught using traditional instruction with mastery learning supplemented with computer assisted instruction, (b) group B was taught using traditional instruction supplemented with computer assisted instruction in the absence of mastery learning and, (c) group C was taught using traditional instruction without mastery learning or computer assisted instruction. Participants were students in MAT1033, a developmental mathematics course at a large public 4-year college. An analysis of covariance using participants' pretest scores as the covariate tested the null hypothesis that there was no significant difference in the adjusted mean final examination scores among the three groups. Group A participants had significantly higher adjusted mean posttest score than did group C participants. A chi-square test tested the null hypothesis that there were no significant differences in the proportions of students who passed MAT1033 among the treatment groups. It was found that there was a significant difference in the proportion of students who passed among all three groups, with those in group A having the highest pass rate and those in group C the lowest. A discriminant factor analysis revealed that time on task correctly predicted the passing status of 89% of the participants. ^ It was concluded that the most efficacious strategy for teaching developmental mathematics was through the use of mastery learning supplemented by computer-assisted instruction. In addition, it was noted that time on task was a strong predictor of academic success over and above the predictive ability of a measure of previous knowledge of mathematics.^
Resumo:
The primary purpose of this thesis was to design and create an Interactive Audit to conduct Environmental Site Assessments according to American Society of Testing Material's (ASTM) Phase I Standards at the Wagner Creek study area. ArcPad and ArcIMS are the major software that were used to create the model and ArcGIS Desktop was used for data analysis and to export shapefile symbology to ArcPad. Geographic Information Systems (GIS) is an effective tool to deploy these purposes. This technology was utilized to carry out data collection, data analysis and to display data interactively on the Internet. Electronic forms, customized for mobile devices were used to survey sites. This is an easy and fast way to collect and modify field data. New data such as land use, recognized environmental conditions, and underground storage tanks can be added into existing datasets. An updated map is then generated and uploaded to the Internet using ArcIMS technology. The field investigator has the option to generate and view the Inspection Form at the end of his survey on site, or print a hardcopy at base. The mobile device also automatically generates preliminary editable Executive Reports for any inspected site.
Resumo:
Proofs by induction are central to many computer science areas such as data structures, theory of computation, programming languages, program efficiency-time complexity, and program correctness. Proofs by induction can also improve students’ understanding of and performance with computer science concepts such as programming languages, algorithm design, and recursion, as well as serve as a medium for teaching them. Even though students are exposed to proofs by induction in many courses of their curricula, they still have difficulties understanding and performing them. This impacts the whole course of their studies, since proofs by induction are omnipresent in computer science. Specifically, students do not gain conceptual understanding of induction early in the curriculum and as a result, they have difficulties applying it to more advanced areas later on in their studies. The goal of my dissertation is twofold: 1. identifying sources of computer science students’ difficulties with proofs by induction, and 2. developing a new approach to teaching proofs by induction by way of an interactive and multimodal electronic book (e-book). For the first goal, I undertook a study to identify possible sources of computer science students’ difficulties with proofs by induction. Its results suggest that there is a close correlation between students’ understanding of inductive definitions and their understanding and performance of proofs by induction. For designing and developing my e-book, I took into consideration the results of my study, as well as the drawbacks of the current methodologies of teaching proofs by induction for computer science. I designed my e-book to be used as a standalone and complete educational environment. I also conducted a study on the effectiveness of my e-book in the classroom. The results of my study suggest that, unlike the current methodologies of teaching proofs by induction for computer science, my e-book helped students overcome many of their difficulties and gain conceptual understanding of proofs induction.