913 resultados para Logics and Meanings of Programs
Resumo:
This qualitative case study explored three teacher candidates’ learning and enactment of discourse-focused mathematics teaching practices. Using audio and video recordings of their teaching practice this study aimed to identify the shifts in the way in which the teacher candidates enacted the following discourse practices: elicited and used evidence of student thinking, posed purposeful questions, and facilitated meaningful mathematical discourse. The teacher candidates’ written reflections from their practice-based coursework as well as interviews were examined to see how two mathematics methods courses influenced their learning and enactment of the three discourse focused mathematics teaching practices. These data sources were also used to identify tensions the teacher candidates encountered. All three candidates in the study were able to successfully enact and reflect on these discourse-focused mathematics teaching practices at various time points in their preparation programs. Consistency of use and areas of improvement differed, however, depending on various tensions experienced by each candidate. Access to quality curriculum materials as well as time to formulate and enact thoughtful lesson plans that supported classroom discourse were tensions for these teacher candidates. This study shows that teacher candidates are capable of enacting discourse-focused teaching practices early in their field placements and with the support of practice-based coursework they can analyze and reflect on their practice for improvement. This study also reveals the importance of assisting teacher candidates in accessing rich mathematical tasks and collaborating during lesson planning. More research needs to be explored to identify how specific aspects of the learning cycle impact individual teachers and how this can be used to improve practice-based teacher education courses.
Resumo:
The higher education system has a critical role to play in educating environmentally aware and participant citizens about global climate change. Yet, few studies have focused on higher education students’ knowledge and attitudes about this issue. This study aims to contribute to a comprehensive understanding of views and attitudes about climate change issues, across the postgraduate student population in three universities—the on Campus University of Porto and University of Coimbra, and the distance learning Universidade Aberta, Portugal. We surveyed university students and graduates from three master programs in environmental sciences targeting their knowledge, attitudes and behaviour on climate change issues, and their views of the role that their master degree had on it. A majority of the respondents believed that climate change is factual, and is largely human-induced; and a majority expressed concerns about climate change. Still, the surveyed students hold some misconceptions about basic causes and consequences of climate change. Further research is necessary to comprehend the university postgraduate students’ population, so that curricula programs can be adapted to grant consensus on scientific knowledge about climate change, and an active engagement of the graduate citizens, as part of the solution for climate change problems.
Resumo:
This article reviews the concept of Lamarckian inheritance and the use of the term epigenetics in the field of animal genetics. Epigenetics was first coined by Conrad Hal Waddington (1905–1975), who derived the term from the Aristotelian word epigenesis. There exists some controversy around the word epigenetics and its broad definition. It includes any modification of the expression of genes due to factors other than mutation in the DNA sequence. This involves DNA methylation, post-translational modification of histones, but also linked to regulation of gene expression by non-coding RNAs, genome instabilities or any other force that could modify a phenotype. There is little evidence of the existence of transgenerational epigenetic inheritance in mammals, which may commonly be confounded with environmental forces acting simultaneously on an individual, her developing fetus and the germ cell lines of the latter, although it could have an important role in the cellular energetic status of cells. Finally, we review some of the scarce literature on the use of epigenetics in animal breeding programs.
Resumo:
Purpose: To examine the prevalence and awareness of metabolic syndrome (MetS) in high-risk individuals attending 30 internal medicine clinics in Amman, Jordan, and also to evaluate the various factors associated with increased risk of MetS among them. Methods: This retrospective cross-sectional study was carried out across Amman, Jordan from October to December 2014. During the study period, 900 high-risk individuals (with hypertension, diabetes, central obesity and/or dyslipidemia) were recruited from thirty internal medicine clinics in Amman, Jordan. Data collection forms were filled based on patient interview and medical case file. Results: The prevalence of MetS among high-risk individuals was around 40 % (361/900), with around 79 % (284/361) of MetS patients unaware of their condition. Older age, lower income and family history of premature cardiovascular diseases were associated with a higher prevalence of MetS. Conclusion: Although MetS was found to be highly prevalent among high-risk individuals in this study, the awareness of the condition in this group is very poor. These findings support the need for educational programs that involve both health care providers and patients. These programs should especially target those at risk of MetS, in order to improve awareness of the concept of MetS.
MINING AND VERIFICATION OF TEMPORAL EVENTS WITH APPLICATIONS IN COMPUTER MICRO-ARCHITECTURE RESEARCH
Resumo:
Computer simulation programs are essential tools for scientists and engineers to understand a particular system of interest. As expected, the complexity of the software increases with the depth of the model used. In addition to the exigent demands of software engineering, verification of simulation programs is especially challenging because the models represented are complex and ridden with unknowns that will be discovered by developers in an iterative process. To manage such complexity, advanced verification techniques for continually matching the intended model to the implemented model are necessary. Therefore, the main goal of this research work is to design a useful verification and validation framework that is able to identify model representation errors and is applicable to generic simulators. The framework that was developed and implemented consists of two parts. The first part is First-Order Logic Constraint Specification Language (FOLCSL) that enables users to specify the invariants of a model under consideration. From the first-order logic specification, the FOLCSL translator automatically synthesizes a verification program that reads the event trace generated by a simulator and signals whether all invariants are respected. The second part consists of mining the temporal flow of events using a newly developed representation called State Flow Temporal Analysis Graph (SFTAG). While the first part seeks an assurance of implementation correctness by checking that the model invariants hold, the second part derives an extended model of the implementation and hence enables a deeper understanding of what was implemented. The main application studied in this work is the validation of the timing behavior of micro-architecture simulators. The study includes SFTAGs generated for a wide set of benchmark programs and their analysis using several artificial intelligence algorithms. This work improves the computer architecture research and verification processes as shown by the case studies and experiments that have been conducted.
Resumo:
In this project we developed conductive thermoplastic resins by adding varying amounts of three different carbon fillers: carbon black (CB), synthetic graphite (SG) and multi–walled carbon nanotubes (CNT) to a polypropylene matrix for application as fuel cell bipolar plates. This component of fuel cells provides mechanical support to the stack, circulates the gases that participate in the electrochemical reaction within the fuel cell and allows for removal of the excess heat from the system. The materials fabricated in this work were tested to determine their mechanical and thermal properties. These materials were produced by adding varying amounts of single carbon fillers to a polypropylene matrix (2.5 to 15 wt.% Ketjenblack EC-600 JD carbon black, 10 to 80 wt.% Asbury Carbons’ Thermocarb TC-300 synthetic graphite, and 2.5 to 15 wt.% of Hyperion Catalysis International’s FIBRILTM multi-walled carbon nanotubes) In addition, composite materials containing combinations of these three fillers were produced. The thermal conductivity results showed an increase in both through–plane and in–plane thermal conductivities, with the largest increase observed for synthetic graphite. The Department of Energy (DOE) had previously set a thermal conductivity goal of 20 W/m·K, which was surpassed by formulations containing 75 wt.% and 80 wt.% SG, yielding in–plane thermal conductivity values of 24.4 W/m·K and 33.6 W/m·K, respectively. In addition, composites containing 2.5 wt.% CB, 65 wt.% SG, and 6 wt.% CNT in PP had an in–plane thermal conductivity of 37 W/m·K. Flexural and tensile tests were conducted. All composite formulations exceeded the flexural strength target of 25 MPa set by DOE. The tensile and flexural modulus of the composites increased with higher concentration of carbon fillers. Carbon black and synthetic graphite caused a decrease in the tensile and flexural strengths of the composites. However, carbon nanotubes increased the composite tensile and flexural strengths. Mathematical models were applied to estimate through–plane and in–plane thermal conductivities of single and multiple filler formulations, and tensile modulus of single–filler formulations. For thermal conductivity, Nielsen’s model yielded accurate thermal conductivity values when compared to experimental results obtained through the Flash method. For prediction of tensile modulus Nielsen’s model yielded the smallest error between the predicted and experimental values. The second part of this project consisted of the development of a curriculum in Fuel Cell and Hydrogen Technologies to address different educational barriers identified by the Department of Energy. By the creation of new courses and enterprise programs in the areas of fuel cells and the use of hydrogen as an energy carrier, we introduced engineering students to the new technologies, policies and challenges present with this alternative energy. Feedback provided by students participating in these courses and enterprise programs indicate positive acceptance of the different educational tools. Results obtained from a survey applied to students after participating in these courses showed an increase in the knowledge and awareness of energy fundamentals, which indicates the modules developed in this project are effective in introducing students to alternative energy sources.
Resumo:
This study aims to explore the construction of difference in foreign news discourse on culturally similar but politically different non-Western subjects. Applying critical discourse analysis (CDA) together with a critique of Eurocentrism, the study examines difference in newspaper constructions of government supporters and oppositional groups in Venezuela. Discursive differences are evident in the strategies used for constructing the two groups with regard to political rationality and violence. Government supporters are associated with social justice, Venezuela’s poor, dogmatic behavior, and the use of political violence. The opposition, in contrast, is constructed as following a Western democratic rationale that stresses anti-authoritarianism. This group is primarily associated with victims of violence. While the opposition is conveyed as being compatible with Eurocentric values and practices, government supporters to great extent deviate from these norms. Such constructions serve to legitimize politico-ideological undercurrents of Eurocentrism, as the defense of liberalism.
Resumo:
Develop the capacities of women/couples to stay healthy during pregnancy, becoming aware of the rights, needs and potential problems of maternal and newborn health is a challenge for nurses and midwives who work with this population (Departamento de Reducir los Riesgos del Embarazo 2010). Prenatal education is a good strategy to meet the needs of pregnant women/couples, to improve outcomes in health and community development (Svenson, Barclay & Cooke 2006). Knowing the profile and expectations of the participants in these prenatal education groups, improves the quality of prenatal education programs and enables higher qualification of the professionals who promote them.
Resumo:
Characterize the profile and describe the expectations of a sample of couple's participants in prenatal education programs integrated into the 'Tender Adventure - Preparation for childbirth and parenting' ", an outreach project of Nursing School of Coimbra.
Resumo:
This paper analyzes the impact of change processes experienced by many student populations when completing primary education (1st-6th grade) and starting secondary education (7th-11th grade). Based on the research conducted, this paper describes situations and aspects that may result in conditional factors for the student’s adjustment at this level: time-space changes, as well as organizational and dynamic changes that would set the new educational environment and social context in which this new stage will be developed. Such conditional factors that affect learning in incoming students: programs, teaching methodology, learning styles and new evaluation methods will be discussed. As a result of this research, a proposal is presented to facilitate transition from primary to the secondary education. This proposal includes guidelines for awareness and strengthening of pedagogical mediation, which would contribute to the permanence of students from all types of institutions in the education system. (1) [Translator’s note: The Costa Rican education system is composed of primary education (1st-6th grade) and secondary education (7th-11th grade).]
Resumo:
Network monitoring is of paramount importance for effective network management: it allows to constantly observe the network’s behavior to ensure it is working as intended and can trigger both automated and manual remediation procedures in case of failures and anomalies. The concept of SDN decouples the control logic from legacy network infrastructure to perform centralized control on multiple switches in the network, and in this context, the responsibility of switches is only to forward packets according to the flow control instructions provided by controller. However, as current SDN switches only expose simple per-port and per-flow counters, the controller has to do almost all the processing to determine the network state, which causes significant communication overhead and excessive latency for monitoring purposes. The absence of programmability in the data plane of SDN prompted the advent of programmable switches, which allow developers to customize the data-plane pipeline and implement novel programs operating directly in the switches. This means that we can offload certain monitoring tasks to programmable data planes, to perform fine-grained monitoring even at very high packet processing speeds. Given the central importance of network monitoring exploiting programmable data planes, the goal of this thesis is to enable a wide range of monitoring tasks in programmable switches, with a specific focus on the ones equipped with programmable ASICs. Indeed, most network monitoring solutions available in literature do not take computational and memory constraints of programmable switches into due account, preventing, de facto, their successful implementation in commodity switches. This claims that network monitoring tasks can be executed in programmable switches. Our evaluations show that the contributions in this thesis could be used by network administrators as well as network security engineers, to better understand the network status depending on different monitoring metrics, and thus prevent network infrastructure and service outages.
Resumo:
The nature of concepts is a matter of intense debate in cognitive sciences. While traditional views claim that conceptual knowledge is represented in a unitary symbolic system, recent Embodied and Grounded Cognition theories (EGC) submit the idea that conceptual system is couched in our body and influenced by the environment (Barsalou, 2008). One of the major challenges for EGC is constituted by abstract concepts (ACs), like fantasy. Recently, some EGC proposals addressed this criticism, arguing that the ACs comprise multifaced exemplars that rely on different grounding sources beyond sensorimotor one, including interoception, emotions, language, and sociality (Borghi et al., 2018). However, little is known about how ACs representation varies as a function of life experiences and their use in communication. The theoretical arguments and empirical studies comprised in this dissertation aim to provide evidence on multiple grounding of ACs taking into account their varieties and flexibility. Study I analyzed multiple ratings on a large sample of ACs and identified four distinct subclusters. Study II validated this classification with an interference paradigm involving motor/manual, interoceptive, and linguistic systems during a difficulty rating task. Results confirm that different grounding sources are activated depending on ACs kind. Study III-IV investigate the variability of institutional concepts, showing that the higher the law expertise level, the stronger the concrete/emotional determinants in their representation. Study V introduced a novel interactive task in which abstract and concrete sentences serve as cues to simulate conversation. Analysis of language production revealed that the uncertainty and interactive exchanges increase with abstractness, leading to generating more questions/requests for clarifications with abstract than concrete sentences. Overall, results confirm that ACs are multidimensional, heterogeneous, and flexible constructs and that social and linguistic interactions are crucial to shaping their meanings. Investigating ACs in real-time dialogues may be a promising direction for future research.
Resumo:
Ethanol consumption damages the prostate, and testosterone is known by anti-inflammatory role. The cytokines were investigated in the plasma and ventral prostate of UChB rats submitted or not to testosterone therapy by ELISA and Western blot, respectively. Additionally, inflammatory foci and mast cells were identified in the ventral prostate slides stained by hematoxylin and eosin and toluidine blue, respectively. Inflammatory foci were found in the ethanol-treated animals and absent after testosterone therapy. Plasma levels of IL-6 and IL-10 were not changed while TNFα and TFG-β1 were increased in the animals submitted testosterone therapy. Regarding to ventral prostate, IL-6 did not alter, while IL-10, TNFα, and TFG-β1 were increased after testosterone therapy. Ethanol increases NFR2 in addition to high number of intact and degranulated mast cell which were reduced after testosterone therapy. So, ethanol and testosterone differentially modulates the cytokines in the plasma and prostate.
Resumo:
To evaluate associations between polymorphisms of the N-acetyltransferase 2 (NAT2), human 8-oxoguanine glycosylase 1 (hOGG1) and X-ray repair cross-complementing protein 1 (XRCC1) genes and risk of upper aerodigestive tract (UADT) cancer. A case-control study involving 117 cases and 224 controls was undertaken. The NAT2 gene polymorphisms were genotyped by automated sequencing and XRCC1 Arg399Gln and hOGG1 Ser326Cys polymorphisms were determined by Polymerase Chain Reaction followed by Restriction Fragment Length Polymorphism (PCR-RFLP) methods. Slow metabolization phenotype was significantly associated as a risk factor for the development of UADT cancer (p=0.038). Furthermore, haplotype of slow metabolization was also associated with UADT cancer (p=0.014). The hOGG1 Ser326Cys polymorphism (CG or GG vs. CC genotypes) was shown as a protective factor against UADT cancer in moderate smokers (p=0.031). The XRCC1 Arg399Gln polymorphism (GA or AA vs. GG genotypes), in turn, was a protective factor against UADT cancer only among never-drinkers (p=0.048). Interactions involving NAT2, XRCC1 Arg399Gln and hOGG1 Ser326Cys polymorphisms may modulate the risk of UADT cancer in this population.
Resumo:
The purpose of this study was to assess the efficacy and reproducibility of the cytologic diagnosis of salivary gland tumors (SGTs) using fine-needle aspiration cytology (FNAC). The study aimed to determine diagnostic accuracy, sensitivity, and specificity and to evaluate the extent of interobserver agreement. We retrospectively evaluated SGTs from the files of the Division of Pathology at the Clinics Hospital of São Paulo and Piracicaba Dental School between 2000 and 2006. We performed cytohistologic correlation in 182 SGTs. The sensitivity, specificity, positive predictive value, negative predictive value, and diagnostic accuracy were 94%, 100%, 100%, 100%, and 99%, respectively. The interobserver cytologic reproducibility showed significant statistical concordance (P < .0001). FNAC is an effective tool for performing a reliable preoperative diagnosis in SGTs and shows high diagnostic accuracy and consistent interobserver reproducibility. Further FNAC studies analyzing large samples of malignant SGTs and reactive salivary lesions are needed to confirm their accuracy.