An official website of the United States government
We present Turnstile+, a high-level, macros-based metaDSL for building dependently typed languages. With it, programmers may rapidly prototype and iterate on the design of new dependently typed features and extensions. Or they may create entirely new DSLs whose dependent type ``power'' is tailored to a specific domain. Our framework's support of language-oriented programming also makes it suitable for experimenting with systems of interacting components, e.g., a proof assistant and its companion DSLs. This paper explains the implementation details of Turnstile+, as well as how it may be used to create a wide-variety of dependently typed languages, from a lightweight one with indexed types, to a full spectrum proof assistant, complete with a tactic system and extensions for features like sized types and SMT interaction.
more »
« less
Heteromeric guanosine (G)-quadruplex derived antenna modules with directional energy transfer
A heteromeric guanosine (G)-quadruplex centered self-assembly approach is developed to prepare compact light-harvesting antenna modules featuring multiple donor dyes and a single toehold region that can be hybridized with with an acceptor dye containing sequence, to produce directional energy transfer ensembles.
more »
« less
- Award ID(s):
- 1609603
- PAR ID:
- 10562999
- Publisher / Repository:
- Royal Society of Chemistry
- Date Published:
- Journal Name:
- Nanoscale
- Volume:
- 15
- Issue:
- 47
- ISSN:
- 2040-3364
- Page Range / eLocation ID:
- 19069 to 19073
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Choosing your own adventure: Engaging the new learning society through integrative curriculum designIn our increasingly data-driven society, it is critical for high school students to learn to integrate computational thinking with other disciplines in solving real world problems. To address this need for the life sciences in particular, we have developed the Bio-CS Bridge, a modular computational system coupled with curriculum integrating biology and computer science. Our transdisciplinary team comprises university and high school faculty and students with expertise in biology, computer science, and education. Our approach engages students and teachers in scientific practices using biological data that they can collect themselves, and computational tools that they help to design and implement, to address the real-world problem of pollinator decline. Our modular approach to high school curriculum design provides teachers with the educational flexibility to address national and statewide biology and computer science standards for a wide range of learner types. We are using a teacher- leader model to disseminate the Bio-CS Bridge, whose components will be freely available online.more » « less
-
BackgroundIncreasingly, college science courses are transitioning from a traditional lecture format to active learning because students learn more and fail less frequently when they engage in their learning through activities and discussions in class. Fear of negative evaluation (FNE), defined as a student’s sense of dread associated with being unfavorably evaluated while participating in a social situation, discourages undergraduates from participating in small group discussions, whole class discussions, and conversing one-on-one with instructors. ObjectiveThis study aims to evaluate the acceptability of a novel digital single-session intervention and to assess the feasibility of implementing it in a large enrollment college science course taught in an active learning way. MethodsTo equip undergraduates with skills to cope with FNE and bolster their confidence, clinical psychologists and biology education researchers developed Project Engage, a digital, self-guided single-session intervention for college students. It teaches students strategies for coping with FNE to bolster their confidence. Project Engage provides biologically informed psychoeducation, uses interactive elements for engagement, and helps generate a personalized action plan. We conducted a 2-armed randomized controlled trial to evaluate the acceptability and the preliminary effectiveness of Project Engage compared with an active control condition that provides information on available resources on the college campus. ResultsIn a study of 282 upper-level physiology students, participants randomized to complete Project Engage reported a greater increase in overall confidence in engaging in small group discussions (P=.01) and whole class discussions (P<.001), but not in one-on-one interactions with instructors (P=.05), from baseline to immediately after intervention outcomes, compared with participants in an active control condition. Project Engage received a good acceptability rating (1.22 on a scale of –2 to +2) and had a high completion rate (>97%). ConclusionsThis study provides a foundation for a freely available, easily accessible intervention to bolster student confidence for contributing in class. Trial RegistrationOSF Registries osf.io/4ca68 http://osf.io/4ca68more » « less
-
Background. Simulation has revolutionized teaching and learning. However, traditional manikins are limited in their ability to exhibit emotions, movements, and interactive eye gaze. As a result, students struggle with immersion and may be unable to authentically relate to the patient. Intervention. We developed a new type of patient simulator called the Physical-Virtual Patients (PVP) which combines the physicality of manikins with the richness of dynamic visuals. The PVP uses spatial Augmented Reality to rear project dynamic imagery (e.g., facial expressions, ptosis, pupil reactions) on a semi-transparent physical shell. The shell occupies space and matches the dimensions of a human head. Methods. We compared two groups of third semester nursing students (N=59) from a baccalaureate program using a between-participant design, one group interacting with a traditional high-fidelity manikin versus a more realistic PVP head. The learners had to perform a neurological assessment. We measured authenticity, urgency, and learning. Results. Learners had a more realistic encounter with the PVP patient (p=0.046), they were more engaged with the PVP condition compared to the manikin in terms of authenticity of encounter and cognitive strategies. The PVP provoked a higher sense of urgency (p=0.002). There was increased learning for the PVP group compared to the manikin group on the pre and post-simulation scores (p=0.027). Conclusion. The realism of the visuals in the PVP increases authenticity and engagement which results in a greater sense of urgency and overall learning.more » « less
-
Abstract Background and objectivesThe coproduct of ethanol industry, dried distiller's grains with solubles (DDGS), has phosphorus content in excess of the animal diet requirement, which leads to excess P in manure and causes environmental concerns. The objective of this study is to determine the technical and economic feasibility of recovering this excess P as a coproduct. FindingsThe amount of P was observed to reduce from 9.26 to 3.25 mg/g (db) of DDGS, which is consistent with the animal diet requirement of 3–4 mg P/g animal diet. For an existing dry grind plant of 40 million gallon ethanol capacity, an additional fixed cost of $5.7 million was estimated, with an operating cost increase of $1.29 million/year. ConclusionsThe total phosphorus recovered from the plant was estimated as 1,676 kg P/day, with an estimated operating cost of $2.33/kg P recovered. Significance and noveltyApproximately 37 million MT of DDGS is produced annually as animal food containing excess P, which is a serious concern for the environment. This study provides with an economically feasible solution to recover the excess P as a coproduct, which has a potential to be used as fertilizer on more than 56,000 acres of land annually, growing corn and soybean.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1039/D3NR04086K
