2,168 research outputs found
Measuring Youth Program Quality: A Guide to Assessment Tools
Thanks to growing interest in the subject of youth program quality, many tools are now available to help organizations and systems assess and improve quality. Given the size and diversity of the youth-serving sector, it is unrealistic to expect that any one tool or process will fit all programs or circumstances. This report compares the purpose, history, structure, methodology, content and technical properties of nine different program observation tools
SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer
We describe and evaluate a bug refutation extension for the Clang Static
Analyzer (CSA) that addresses the limitations of the existing built-in
constraint solver. In particular, we complement CSA's existing heuristics that
remove spurious bug reports. We encode the path constraints produced by CSA as
Satisfiability Modulo Theories (SMT) problems, use SMT solvers to precisely
check them for satisfiability, and remove bug reports whose associated path
constraints are unsatisfiable. Our refutation extension refutes spurious bug
reports in 8 out of 12 widely used open-source applications; on average, it
refutes ca. 7% of all bug reports, and never refutes any true bug report. It
incurs only negligible performance overheads, and on average adds 1.2% to the
runtime of the full Clang/LLVM toolchain. A demonstration is available at {\tt
https://www.youtube.com/watch?v=ylW5iRYNsGA}.Comment: 4 page
E-Learning in der postgradualen Weiterbildung an sächsischen Hochschulen
Dieser Beitrag reflektiert den E-Learning-Einsatz in der postgradualen Weiterbildung aus der Perspektive des hochschulübergreifenden Strategie- und Unterstützungsprojektes Q2P (Qualitätssicherung und Qualitätsmanagement in der postgradualen Weiterbildung). Ausgehend von der regionalen Bestandsaufnahme hinsichtlich der E-Learning-Nutzung im akademischen Weiterbildungsbereich werden die Zielstellungen und Leistungsbereiche des Projekts vorgestellt. Die zentralen Projekterfahrungen werden in Form von begründeten Hypothesen präsentiert und sollen somit das gegenwärtige und zukünftige Handlungsfeld von E-Learning- und Weiterbildungsakteuren bereichern. (DIPF/Orig.
Investigating neural mechanisms underlying division of labor in Temnothorax ants.
O patrocínio é uma forma especial de publicidade, um instrumento de promoção da
“imagem empresarial” do patrocinador, isto é, de um “instrumento da política de imagem” das
empresas, mediante associação de um seu sinal distintivo, maxime a marca, à fama ou celebridade de
uma pessoa e/ou à notoriedade do evento patrocinados, participando na repercussão mediática do seu
êxito (“transferência de imagem por associação”). Este estudo analisa implicações jurídicas do patrocínio desportivo
Learning to diagnose accurately through virtual patients: do reflection phases have an added benefit?
BACKGROUND Simulation-based learning with virtual patients is a highly effective method that could potentially be further enhanced by including reflection phases. The effectiveness of reflection phases for learning to diagnose has mainly been demonstrated for problem-centered instruction with text-based cases, not for simulation-based learning. To close this research gap, we conducted a study on learning history-taking using virtual patients. In this study, we examined the added benefit of including reflection phases on learning to diagnose accurately, the associations between knowledge and learning, and the diagnostic process. METHODS A sample of N = 121 medical students completed a three-group experiment with a control group and pre- and posttests. The pretest consisted of a conceptual and strategic knowledge test and virtual patients to be diagnosed. In the learning phase, two intervention groups worked with virtual patients and completed different types of reflection phases, while the control group learned with virtual patients but without reflection phases. The posttest again involved virtual patients. For all virtual patients, diagnostic accuracy was assessed as the primary outcome. Current hypotheses were tracked during reflection phases and in simulation-based learning to measure diagnostic process. RESULTS Regarding the added benefit of reflection phases, an ANCOVA controlling for pretest performance found no difference in diagnostic accuracy at posttest between the three conditions, F(2, 114) = 0.93, p = .398. Concerning knowledge and learning, both pretest conceptual knowledge and strategic knowledge were not associated with learning to diagnose accurately through reflection phases. Learners' diagnostic process improved during simulation-based learning and the reflection phases. CONCLUSIONS Reflection phases did not have an added benefit for learning to diagnose accurately in virtual patients. This finding indicates that reflection phases may not be as effective in simulation-based learning as in problem-centered instruction with text-based cases and can be explained with two contextual differences. First, information processing in simulation-based learning uses the verbal channel and the visual channel, while text-based learning only draws on the verbal channel. Second, in simulation-based learning, serial cue cases are used to gather information step-wise, whereas, in text-based learning, whole cases are used that present all data at once
Pre- and post-migration attitudes among Ghanaian international students living in the United States: A study of acculturation and psychological well-being
This qualitative study investigated attitudes among international students prior to their departure and following their arrival in the United States through a phenomenological research approach. Eight participants completed individual interviews in Accra, Ghana, and four participants completed follow-up email correspondence. The purpose of the study was to explain pre-migration expectations, post-migration experiences, and compare similarities and differences between perceptions and actual encounters. The researcher investigated five principle components of pre-migration: satisfaction with life prior to departure from the country of origin, impressions and expectations of the host country and predominate influences, awareness of discrimination in the host country, and culture-specific coping strategies used to overcome challenges related to acculturation. The researcher also investigated similar components of post-migration. The results of this study are consistent with those of prior acculturation research. Regarding pre-migration, participants acknowledged the following: the importance of preparation prior to departure, the likelihood of an adjustment period upon arrival, specific goals to strive for during the time abroad, and the emotional impact of discrimination and racism. Regarding post-migration, participants acknowledged the following: stress related to unfamiliar experiences with discrimination, stress related to overwhelming academic responsibilities, and the importance of culture-specific coping strategies, (e.g. family support and religiosity). The results of this study also identified new information regarding pre- and post-migration. Participants discussed a yearning to meet new people and gain exposure to foreign perspectives and viewpoints; however, they also expressed a strong desire to return home afterward and impart knowledge to others. Upon their arrival, participants recalled unanticipated causes of stress including transportation, time management, and communication with foreign counterparts. This study draws attention to the steadily increasing population of international students from Ghana living in the United States. The findings indicate that mental health professionals and academic advisors must consider the geographic and cultural context from which international students arrive and gather insight to enhance social, emotional, and academic resources prior to departure and immediately following arrival. This study also makes the case that current resources do not adequately account for the array of cultural differences between the United States and West African countries
Context-bounded model checking with ESBMC 1.17
ESBMC is a context-bounded symbolic model checker that allows the verification of single- and multi-threaded C code with shared variables and locks. ESBMC supports full ANSI-C, and can verify programs that make use of bit-level operations, arrays, pointers, structs, unions, memory allocation and foating-point arithmetic. It can reason about arithmetic under- and overflows, pointer safety, memory leaks, array bounds violations, atomicity and order violations, local and global deadlocks, data races, and user-specified assertions. However, as other bounded model checkers, ESBMC is in general incomplete
Four Chromosomal Type IV Secretion Systems in Helicobacter pylori: Composition, Structure and Function
The pathogenic bacterium Helicobacter pylori is genetically highly diverse and a major risk factor for the development of peptic ulcer disease and gastric adenocarcinoma in humans. During evolution, H. pylori has acquired multiple type IV secretion systems (T4SSs), and then adapted for various purposes. These T4SSs represent remarkable molecular transporter machines, often associated with an extracellular pilus structure present in many bacteria, which are commonly composed of multiple structural proteins spanning the inner and outer membranes. By definition, these T4SSs exhibit central functions mediated through the contact-dependent conjugative transfer of mobile DNA elements, the contact-independent release and uptake of DNA into and from the extracellular environment as well as the secretion of effector proteins in mammalian host target cells. In recent years, numerous features on the molecular functionality of these T4SSs were disclosed. H. pylori encodes up to four T4SSs on its chromosome, namely the Cag T4SS present in the cag pathogenicity island (cagPAI), the ComB system, as well as the Tfs3 and Tfs4 T4SSs, some of which exhibit unique T4SS functions. The Cag T4SS facilitates the delivery of the CagA effector protein and pro-inflammatory signal transduction through translocated ADP-heptose and chromosomal DNA, while various structural pilus proteins can target host cell receptors such as integrins or TLR5. The ComB apparatus mediates the import of free DNA from the extracellular milieu, whereas Tfs3 may accomplish the secretion or translocation of effector protein CtkA. Both Tfs3 and Tfs4 are furthermore presumed to act as conjugative DNA transfer machineries due to the presence of tyrosine recombinases with cognate recognition sequences, conjugational relaxases, and potential origins of transfer (oriT) found within the tfs3 and tfs4 genome islands. In addition, some extrachromosomal plasmids, transposons and phages have been discovered in multiple H. pylori isolates. The genetic exchange mediated by DNA mobilization events of chromosomal genes and plasmids combined with recombination events could account for much of the genetic diversity found in H. pylori. In this review, we highlight our current knowledge on the four T4SSs and the involved mechanisms with consequences for H. pylori adaptation to the hostile environment in the human stomach
- …