908 resultados para streaming SIMD extensions
Resumo:
Granitic rock outcrops of the Brazilian southeast are either coastal or inland. The latter can often have high altitudes, such as in the summits of "Serra do Mar" and "Serra da Mantiqueira", where they are known as "Campos de Altitude". The landscape on these high altitude plateaux is often a mosaic of shrubs and treelets within a bunchgrass matrix, with sparse pteridophytes and other herbs, interspersed with variable extensions of rock outcrops. Despite the pervasiveness of rock outcrops in the Brazilian landscape, studies on the structural analysis of the vegetation on such formations are scarce. This study aimed to analyze the structure of the vegetation on a highland granitic rock outcrop in "Parque Estadual da Serra do Brigadeiro", state of Minas Gerais, Southeast Brazil (42°20' - 42°40' S and 20°20' - 21°00' W, 1,722 m of elevation ). Quantitative parameters of absolute and relative frequency and dominance (cover) were estimated. The group analysis used the Jaccard similarity index. Trilepis lhotzkiana, Panicum sp. 1, and Vellozia variegata presented the highest relative frequencies, relative dominances and importance values. These three species, along with Dyckia bracteata, Rhynchospora emaciate, and Tibouchina cf. manicata, represented 98.3% of the relative dominance. The remaining 1.7% referred to 22 remaining species. The distinction among quadrats within formed groups by cluster analysis was due to the great number of low frequency species.
Resumo:
The ferns Anemia tomentosa (Sav.) Sw. var. anthriscifolia (Schrad.) Mickel and Anemia villosa Humb. & Bonpl. ex Willd. are widely associated with vegetation islands on rocky outcrops in Rio de Janeiro. Both species are desiccation tolerant. The leaf anatomy of these species was examined aiming to identify morphological characteristics that would allow the establishment of these species in water-scarce environments. The plants were harvested on "Pedra de Itacoatiara" and prepared according to the usual procedures. The petiole has a uniseriate epidermis with lignified cell walls, conical stegmata, and uniseriate multicelular and glandular trichomes. In A. villosa, the stomata protrude in a respiratory line. Under the epidermis the cells have thick, lignified walls. The parenchyma has phenolic compounds and starch grains. The petiole vascular bundles are surrounded by endodermis with Casparian strips and the xylem is V-shaped (A. villosa) or arc-shaped (A. tomentosa var. anthriscifolia). The leaf blades have a uniseriate epidermis with sinuous anticlinal and convex periclinal walls, conical stegmata and chloroplasts on both surfaces. The leaf margins of A. villosa have lignified cells. The guard cells of the stomata on the abaxial surface are on the same level or are raised above ordinary epidermal cells. Multicelular uniseriate trichomes and glandular hairs were observed. The dorsiventral mesophyll has loosely packed chlorenchyma with arm-shaped and H-shaped cells. The vascular bundles are surrounded by endodermis with Casparian strips and with parenchymatic extensions towards the epidermis. Anatomical results were analyzed considering the interaction of these plants with abiotic factors.
Resumo:
Ecological specialization in resource utilization has various facades ranging from nutritional resources via host use of parasites or phytophagous insects to local adaptation in different habitats. Therefore, the evolution of specialization affects the evolution of most other traits, which makes it one of the core issues in the theory of evolution. Hence, the evolution of specialization has gained enormous amounts of research interest, starting already from Darwin’s Origin of species in 1859. Vast majority of the theoretical studies has, however, focused on the mathematically most simple case with well-mixed populations and equilibrium dynamics. This thesis explores the possibilities to extend the evolutionary analysis of resource usage to spatially heterogeneous metapopulation models and to models with non-equilibrium dynamics. These extensions are enabled by the recent advances in the field of adaptive dynamics, which allows for a mechanistic derivation of the invasion-fitness function based on the ecological dynamics. In the evolutionary analyses, special focus is set to the case with two substitutable renewable resources. In this case, the most striking questions are, whether a generalist species is able to coexist with the two specialist species, and can such trimorphic coexistence be attained through natural selection starting from a monomorphic population. This is shown possible both due to spatial heterogeneity and due to non-equilibrium dynamics. In addition, it is shown that chaotic dynamics may sometimes inflict evolutionary suicide or cyclic evolutionary dynamics. Moreover, the relations between various ecological parameters and evolutionary dynamics are investigated. Especially, the relation between specialization and dispersal propensity turns out to be counter-intuitively non-monotonous. This observation served as inspiration to the analysis of joint evolution of dispersal and specialization, which may provide the most natural explanation to the observed coexistence of specialist and generalist species.
Resumo:
Companies require information in order to gain an improved understanding of their customers. Data concerning customers, their interests and behavior are collected through different loyalty programs. The amount of data stored in company data bases has increased exponentially over the years and become difficult to handle. This research area is the subject of much current interest, not only in academia but also in practice, as is shown by several magazines and blogs that are covering topics on how to get to know your customers, Big Data, information visualization, and data warehousing. In this Ph.D. thesis, the Self-Organizing Map and two extensions of it – the Weighted Self-Organizing Map (WSOM) and the Self-Organizing Time Map (SOTM) – are used as data mining methods for extracting information from large amounts of customer data. The thesis focuses on how data mining methods can be used to model and analyze customer data in order to gain an overview of the customer base, as well as, for analyzing niche-markets. The thesis uses real world customer data to create models for customer profiling. Evaluation of the built models is performed by CRM experts from the retailing industry. The experts considered the information gained with help of the models to be valuable and useful for decision making and for making strategic planning for the future.
Resumo:
Skeletal muscle force production following repetitive contractions is preferentially reduced when muscle is evaluated with low-frequency stimulation. This selective impairment in force generation is called low-frequency fatigue (LFF) and could be dependent on the contraction type. The purpose of this study was to compare LFF after concentric and eccentric maximal and submaximal contractions of knee extensor muscles. Ten healthy male subjects (age: 23.6 ± 4.2 years; weight: 73.8 ± 7.7 kg; height: 1.79 ± 0.05 m) executed maximal voluntary contractions that were measured before a fatigue test (pre-exercise), immediately after (after-exercise) and after 1 h of recovery (after-recovery). The fatigue test consisted of 60 maximal (100%) or submaximal (40%) dynamic concentric or eccentric knee extensions at an angular velocity of 60°/s. The isometric torque produced by low- (20 Hz) and high- (100 Hz) frequency stimulation was also measured at these times and the 20:100 Hz ratio was calculated to assess LFF. One-way ANOVA for repeated measures followed by the Newman-Keuls post hoc test was used to determine significant (P < 0.05) differences. LFF was evident after-recovery in all trials except following submaximal eccentric contractions. LFF was not evident after-exercise, regardless of exercise intensity or contraction type. Our results suggest that low-frequency fatigue was evident after submaximal concentric but not submaximal eccentric contractions and was more pronounced after 1-h of recovery.
Resumo:
Frogs have been used as an alternative model to study pain mechanisms. Since we did not find any reports on the effects of sciatic nerve transection (SNT) on the ultrastructure and pattern of metabolic substances in frog dorsal root ganglion (DRG) cells, in the present study, 18 adult male frogs (Rana catesbeiana) were divided into three experimental groups: naive (frogs not subjected to surgical manipulation), sham (frogs in which all surgical procedures to expose the sciatic nerve were used except transection of the nerve), and SNT (frogs in which the sciatic nerve was exposed and transected). After 3 days, the bilateral DRG of the sciatic nerve was collected and used for transmission electron microscopy. Immunohistochemistry was used to detect reactivity for glucose transporter (Glut) types 1 and 3, tyrosine hydroxylase, serotonin and c-Fos, as well as nicotinamide adenine dinucleotide phosphate diaphorase (NADPH-diaphorase). SNT induced more mitochondria with vacuolation in neurons, satellite glial cells (SGCs) with more cytoplasmic extensions emerging from cell bodies, as well as more ribosomes, rough endoplasmic reticulum, intermediate filaments and mitochondria. c-Fos immunoreactivity was found in neuronal nuclei. More neurons and SGCs surrounded by tyrosine hydroxylase-like immunoreactivity were found. No change occurred in serotonin- and Glut1- and Glut3-like immunoreactivity. NADPH-diaphorase occurred in more neurons and SGCs. No sign of SGC proliferation was observed. Since the changes of frog DRG in response to nerve injury are similar to those of mammals, frogs should be a valid experimental model for the study of the effects of SNT, a condition that still has many unanswered questions.
Resumo:
Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological progress made it possible to create a recording of a phenomenon; first as an analogue recording onto a physical object, and later digitally, as a sequence of bits to be interpreted by a computer. By the end of the 20th century technological advances had made it feasible to distribute media content over a computer network instead of on physical objects, thus enabling the concept of digital media distribution. Many digital media distribution systems already exist, and their continued, and in many cases increasing, usage is an indicator for the high interest in their future enhancements and enriching. By looking at these digital media distribution systems, we have identified three main areas of possible improvement: network structure and coordination, transport of content over the network, and the encoding used for the content. In this thesis, our aim is to show that improvements in performance, efficiency and availability can be done in conjunction with improvements in software quality and reliability through the use of formal methods: mathematical approaches to reasoning about software so that we can prove its correctness, together with the desirable properties. We envision a complete media distribution system based on a distributed architecture, such as peer-to-peer networking, in which different parts of the system have been formally modelled and verified. Starting with the network itself, we show how it can be formally constructed and modularised in the Event-B formalism, such that we can separate the modelling of one node from the modelling of the network itself. We also show how the piece selection algorithm in the BitTorrent peer-to-peer transfer protocol can be adapted for on-demand media streaming, and how this can be modelled in Event-B. Furthermore, we show how modelling one peer in Event-B can give results similar to simulating an entire network of peers. Going further, we introduce a formal specification language for content transfer algorithms, and show that having such a language can make these algorithms easier to understand. We also show how generating Event-B code from this language can result in less complexity compared to creating the models from written specifications. We also consider the decoding part of a media distribution system by showing how video decoding can be done in parallel. This is based on formally defined dependencies between frames and blocks in a video sequence; we have shown that also this step can be performed in a way that is mathematically proven correct. Our modelling and proving in this thesis is, in its majority, tool-based. This provides a demonstration of the advance of formal methods as well as their increased reliability, and thus, advocates for their more wide-spread usage in the future.
Resumo:
A new method for sampling the exact (within the nodal error) ground state distribution and nondiflPerential properties of multielectron systems is developed and applied to firstrow atoms. Calculated properties are the distribution moments and the electronic density at the nucleus (the 6 operator). For this purpose, new simple trial functions are developed and optimized. First, using Hydrogen as a test case, we demonstrate the accuracy of our algorithm and its sensitivity to error in the trial function. Applications to first row atoms are then described. We obtain results which are more satisfactory than the ones obtained previously using Monte Carlo methods, despite the relative crudeness of our trial functions. Also, a comparison is made with results of highly accurate post-Hartree Fock calculations, thereby illuminating the nodal error in our estimates. Taking into account the CPU time spent, our results, particularly for the 8 operator, have a relatively large variance. Several ways of improving the eflSciency together with some extensions of the algorithm are suggested.
Resumo:
To further understand in vivo localization and trafficking of a-tocopherol (a-Toe), the most biologically active form of vitamin E, between lipid environments, tocopherols are required that can be followed by teclu1iques such as confocal microscopy and fluorescence resonance energy transfer (FRET) assays. To this end, sixteen fluorescent analogues of a-tocopherol (la-d [(1)anthroy loxy -a-tocopherols, A O-a-Toes], 2a-d [w-nitro benzoxadiazole-a-tocopherols, NBD-aToes], 3a-d [w-dansyl-a-tocopherols, DAN-a-Toes], and 4a-d [w-N-methylanthranilamide-atocopherols, NMA-a-TocsD were prepared by substituting fluorescent labels at the terminus of w-functionalized alkyl chains extending from C-2 of the chroman ring while retaining key binding features of the natural ligand. These compounds were prepared starting from (S)-Trolox® acid VIa esterification, protection, and reduction producing the silyl-protected (S)-Trolox aldehyde that was coupled using Wittig chemistry to different w-hydroxyalkylphosphonium bromides. Reduction of the alkene generated the w-hydroxy functionalized 2-n-alkyl intermediates 9a-d having the necessary 2R stereochemistry. A series of functional group manipulations including mesylation, substitution with azide, and hydride reduction provided w-amino functionalized intermediates 12a-d as well. Coupling intermediates 9a-d and 12a-d with the selected fluorophores (9- anthracene carboxylic acid, 4-chloro-7-nitrobenz-2-oxa-l,3-diazole, 5- dimethylaminonapthalene-l-sulfonyl chloride, and I-methyl-2H-3,1-benzoxazine-2,4(1H)dione), followed by deprotection of the phenolic silyl group, gave the desired fluorescent ligands la-d, 2a-d, 3a-d and 4a-d in good yield. Assessment of their binding affinities with recombinant human a-tocopherol transfer protein (ha-TTP) utilizing fluorescent titration binding assays identified competent ligands for further use in protein studies. Compounds Id (C9-AO-a-Toc) and 2d (C9-NBD-a-Toc) both having nonyl alkyl chain extensions between the chromanol and fluorophore were shown to bind specifically to ha-TTP with dissociation constants (KdS) of approximately 280 nM and 55 nM respectively, as compared to 25 nM for the natural ligand 2R,4'R,^'R-a-tocophQxoL.
Resumo:
We provide an algorithm that automatically derives many provable theorems in the equational theory of allegories. This was accomplished by noticing properties of an existing decision algorithm that could be extended to provide a derivation in addition to a decision certificate. We also suggest improvements and corrections to previous research in order to motivate further work on a complete derivation mechanism. The results presented here are significant for those interested in relational theories, since we essentially have a subtheory where automatic proof-generation is possible. This is also relevant to program verification since relations are well-suited to describe the behaviour of computer programs. It is likely that extensions of the theory of allegories are also decidable and possibly suitable for further expansions of the algorithm presented here.
Resumo:
Three dimensional model design is a well-known and studied field, with numerous real-world applications. However, the manual construction of these models can often be time-consuming to the average user, despite the advantages o ffered through computational advances. This thesis presents an approach to the design of 3D structures using evolutionary computation and L-systems, which involves the automated production of such designs using a strict set of fitness functions. These functions focus on the geometric properties of the models produced, as well as their quantifiable aesthetic value - a topic which has not been widely investigated with respect to 3D models. New extensions to existing aesthetic measures are discussed and implemented in the presented system in order to produce designs which are visually pleasing. The system itself facilitates the construction of models requiring minimal user initialization and no user-based feedback throughout the evolutionary cycle. The genetic programming evolved models are shown to satisfy multiple criteria, conveying a relationship between their assigned aesthetic value and their perceived aesthetic value. Exploration into the applicability and e ffectiveness of a multi-objective approach to the problem is also presented, with a focus on both performance and visual results. Although subjective, these results o er insight into future applications and study in the fi eld of computational aesthetics and automated structure design.
Resumo:
This study examined muscle strength, muscle performance, and neuromuscular function during contractions at different velocities across maturation stages and between sexes. Participants included pre-pubertal, late-pubertal and adult males and females. All completed 8 isometric and 8 isokinetic leg extensions at two different velocities. Peak torque (PT), rate of torque development (PrTD), electromechanical-day (EMD), rate of muscle activation (Q30), muscle activation efficiency and coactivation were determined. Sex, maturity, and velocity main effects were found in PT and PrTD, reflecting greater values in men, adults, and isometric contractions respectively. When values were normalized to quadriceps cross-sectional area (qCSA), there was still an increase with maturity. EMD decreased with maturity. Adults had greater activation efficiency than children. Overall, differences in muscle size and neuromuscular function failed to explain group differences in PT or PrTD. More research is needed to investigate why adults may be affected to a greater extent by increasing movement velocity.
Resumo:
In contemporary times, there is a compelling need to understand the nature of positive community relationships that value diverse others. This dissertation is a hermeneutic phenomenological inquiry into the essence of what it means to feel a sense of community. Specifically, I explored this phenomenon from the perspective of middle school teachers and students through the following questions: What meanings do students and teachers ascribe to feeling, experiencing, and developing a sense of community in their classes? To what extent do students’ and teachers’ ideas about feeling a sense of community include the acceptance of individual differences? Together these questions contributed to the overarching question, what is the essence of feeling a sense of community? As the data pool for the research, I used 192 essays and 218 posters from students who had been asked to write or draw about their visions of a positive classroom community where they felt a sense of community. I conducted 9 teacher interviews on the topic as well. My findings revealed one overarching ontology, Being-in-Relation, which outlined a full integration between individuality and community as a “way of being.” I also found five attributes that are present when individuals feel a sense of community: Supporting Others, Dialogue, An Ethic of Respect and Care, Safety, and Healthy Conflict. Contributions from this research include extensions to the literature about community; clarity for those who wish to establish a strong foundation of community relationships within formal and non-formal educational programs; insight that may assist educators, leaders, and policy makers within formal educational systems; and an opportunity to consider the extent to which the findings may point toward broader implications.
Resumo:
This qualitative, phenomenological study investigated first generation students’ perceptions of the challenges they experienced in the process of accessing higher education and the type of school-based support that was received. Particular emphasis was placed on the impact of parental education level on access to postsecondary education (PSE) and how differences in support at the primary and secondary levels of schooling influenced access. Purposeful, homogenous sampling was used to select 6 first generation students attending a postsecondary institution located in Ontario. Analysis of the data revealed that several interrelated factors impact first generation students’ access to postsecondary education. These include familial experiences and expectations, school streaming practices, secondary school teachers’ and guidance counselors’ representations of postsecondary education, and the nature of school-based support that participants received. The implications for theory, research, and practice are discussed and recommendations for enhancing school-based support to ensure equitable access to postsecondary education for first generation students are provided.
Resumo:
This study examined the effect of 8-weeks of resistance (RT) and plyometric (PLYO) training on maximal strength, power and jump performance compared with no added training (CON), in young male soccer players. Forty-one 11-13 year-old soccer players were divided into three groups (RT, PLYO, CON). All participants completed 5 isometric knee extensions at 90° and 5 isokinetic knee extensions at 240°/s pre- and post-training. Peak torque (PT), peak rate of torque development (pRTD), electromechanical-day (EMD), rate of muscle activation (Q30), muscle cross-sectional area (mCSA) and jump performance were examined. Both RT and PLYO resulted in significant (p < 0.05) increases in PT, pRTD and jump performance. RT resulted in significantly greater increases in both isometric and isokinetic PT, while PLYO resulted in significantly greater increases in isometric pRTD and jump performance compared with CON (p < 0.05). Q30 increased to a greater extent in PLYO (20%) compared with RT (5%) and CON (-5%) (p = 0.1). In conclusion, 8-weeks of RT and PLYO resulted in significant improvements in muscle strength and jump performance. RT appears to be more effective at eliciting increases in maximal strength while PLYO appears to enhance explosive strength, mediated by possible increases in the rate of muscle activation.