Tri-State Boolean Satisfiability with Commit: An Efficient Partial Solution Using Hyperlogic

We present two implementation enhancements for the Boolean satisfiability problem and one visualization technique. The first is an expansion to a tri-nary logic system with a commit phase. The three states are (1) true, (2) false, and (3) don\u27t care. We abstracted the operations of AND and OR to this hyperlogic system in a novel way. The commit phase works on one variable at a time and transitions values from temporary to permanent whenever possible. We viewed tri-state logic as a hyperspace above the binary (Boolean) logic. The second improvement is algorithmic. We modified the semantics of the classic 3 Conjunctive Normal Form Problem in order to develop a polynomial time algorithm for a simplified normal form - avoiding the need to examine all combinatoric limitations. In particular, we abandoned 3 CNF and used an unstructured left to right associativity. We do not claim that this new semantic is comprehensive. We do claim that it is simpler. Lastly, we introduced a node analogy to help us understand the algorithm itself

Displacement of a DNA binding protein by Dda helicase

Bacteriophage T4 Dda helicase has recently been shown to be active as a monomer for unwinding of short duplex oligonucleotides and for displacing streptavidin from 3′-biotinylated oligonucleotides. However, its activity for streptavidin displacement and DNA unwinding has been shown to increase as the number of Dda molecules bound to the substrate molecule increases. A substrate was designed to address the ability of Dda to displace DNA binding proteins. A DNA binding site for the Escherichia coli trp repressor was introduced into an oligonucleotide substrate for Dda helicase containing single-stranded overhang. Here we show that a Dda monomer is insufficient to displace the E.coli trp repressor from dsDNA under single turnover conditions, although the substrate is unwound and the repressor displaced when the single-stranded overhang is long enough to accommodate two Dda molecules. The quantity of product formed increases when the substrate is able to accommodate more than two Dda molecules. These results indicate that multiple Dda molecules act to displace DNA binding proteins in a manner that correlates with the DNA unwinding activity and streptavidin displacement activity. We suggest a cooperative inchworm model to describe the activities of Dda helicase

Alumni Engaging Students from Under-Served Groups in Southern Appalachia

The study explores how alumni can help community colleges in Southern Appalachia to create greater access for people in groups which are traditionally under-served by higher education. Semi-structured interviews conducted with alumni program directors and admissions officers at seven community colleges in the Southern Appalachian Region explore how they use alumni to recruit and retain students from non-dominant groups as well as students from generationally poor families. Examples of best practices illustrate ways alumni can help recruit, motivate, and retain students from historically under-served groups

Matter, Energy, and Heat Transfer in a Classical Ballistic Atom Pump

A ballistic atom pump is a system containing two reservoirs of neutral atoms or molecules and a junction connecting them containing a localized time-varying potential. Atoms move through the pump as independent particles. Under certain conditions, these pumps can create net transport of atoms from one reservoir to the other. While such systems are sometimes called “quantum pumps,” they are also models of classical chaotic transport, and their quantum behavior cannot be understood without study of the corresponding classical behavior. Here we examine classically such a pump\u27s effect on energy and temperature in the reservoirs, in addition to net particle transport. We show that the changes in particle number, of energy in each reservoir, and of temperature in each reservoir vary in unexpected ways as the incident particle energy is varied

Implementing NASA's Capability-Driven Approach: Insight into NASA's Processes for Maturing Exploration Systems

NASA is engaged in transforming human spaceflight. The Agency is shifting from an exploration-based program with human activities focused on low Earth orbit (LEO) and targeted robotic missions in deep space to a more sustainable and integrated pioneering approach. Through pioneering, NASA seeks to address national goals to develop the capacity for people to work, learn, operate, live, and thrive safely beyond the Earth for extended periods of time. However, pioneering space involves more than the daunting technical challenges of transportation, maintaining health, and enabling crew productivity for long durations in remote, hostile, and alien environments. This shift also requires a change in operating processes for NASA. The Agency can no longer afford to engineer systems for specific missions and destinations and instead must focus on common capabilities that enable a range of destinations and missions. NASA has codified a capability driven approach, which provides flexible guidance for the development and maturation of common capabilities necessary for human pioneers beyond LEO. This approach has been included in NASA policy and is captured in the Agency's strategic goals. It is currently being implemented across NASA's centers and programs. Throughout 2014, NASA engaged in an Agency-wide process to define and refine exploration-related capabilities and associated gaps, focusing only on those that are critical for human exploration beyond LEO. NASA identified 12 common capabilities ranging from Environmental Control and Life Support Systems to Robotics, and established Agency-wide teams or working groups comprised of subject matter experts that are responsible for the maturation of these exploration capabilities. These teams, called the System Maturation Teams (SMTs) help formulate, guide and resolve performance gaps associated with the identified exploration capabilities. The SMTs are defining performance parameters and goals for each of the 12 capabilities, developing maturation plans and roadmaps for the identified performance gaps, specifying the interfaces between the various capabilities, and ensuring that the capabilities mature and integrate to enable future pioneering missions. By managing system development through the SMTs instead of traditional NASA programs and projects, the Agency is shifting from mission-driven development to a more flexible, capability-driven development. The process NASA uses to establish, integrate, prioritize, and manage the SMTs and associated capabilities is iterative. NASA relies on the Human Exploration and Operation Mission Directorate's SMT Integration Team within Advanced Exploration Systems to coordinate and facilitate the SMT process. The SMT Integration team conducts regular reviews and coordination meetings among the SMTs and has developed a number of tools to help the Agency implement capability driven processes. The SMT Integration team is uniquely positioned to help the Agency coordinate the SMTs and other processes that are making the capability-driven approach a reality. This paper will introduce the SMTs and the 12 key capabilities they represent. The role of the SMTs will be discussed with respect to Agency-wide processes to shift from mission-focused exploration to a capability-driven pioneering approach. Specific examples will be given to highlight systems development and testing within the SMTs. These examples will also show how NASA is using current investments in the International Space Station and future investments to develop and demonstrate capabilities. The paper will conclude by describing next steps and a process for soliciting feedback from the space exploration community to refine NASA's process for developing common exploration capabilities

LGN plays distinct roles in oral epithelial stratification, filiform papilla morphogenesis and hair follicle development

Oral epithelia protect against constant challenges by bacteria, viruses, toxins and injury while also contributing to the formation of ectodermal appendages such as teeth, salivary glands and lingual papillae. Despite increasing evidence that differentiation pathway genes are frequently mutated in oral cancers, comparatively little is known about the mechanisms that regulate normal oral epithelial development. Here, we characterize oral epithelial stratification and describe multiple distinct functions for the mitotic spindle orientation gene LGN (Gpsm2) in promoting differentiation and tissue patterning in the mouse oral cavity. Similar to its function in epidermis, apically localized LGN directs perpendicular divisions that promote stratification of the palatal, buccogingival and ventral tongue epithelia. Surprisingly, however, in dorsal tongue LGN is predominantly localized basally, circumferentially or bilaterally and promotes planar divisions. Loss of LGN disrupts the organization and morphogenesis of filiform papillae but appears to be dispensable for embryonic hair follicle development. Thus, LGN has crucial tissue-specific functions in patterning surface ectoderm and its appendages by controlling division orientation

Bradykinin Type 2 Receptor BE1 Genotype Influences Bradykinin-dependent Vasodilation During Angiotensin-converting Enzyme Inhibition

To test the hypothesis that the bradykinin receptor 2 (BDKRB2) BE1+9/-9 polymorphism affects vascular responses to bradykinin, we measured the effect of intra-arterial bradykinin on forearm blood flow and tissue-type plasminogen activator (t-PA) release in 89 normotensive, nonsmoking, white American subjects in whom degradation of bradykinin was blocked by enalaprilat. BE1 genotype frequencies were +9/+9:+9/-9:-9/-9=19:42:28. BE1 genotype was associated with systolic blood pressure (121.4+/-2.8, 113.8+/-1.8, and 110.6+/-1.8 mm Hg in +9/+9, +9/-9, and -9/-9 groups, respectively; P=0.007). In the absence of enalaprilat, bradykinin-stimulated forearm blood flow, forearm vascular resistance, and net t-PA release were similar among genotype groups. Enalaprilat increased basal forearm blood flow (P=0.002) and decreased basal forearm vascular resistance (P=0.01) without affecting blood pressure. Enalaprilat enhanced the effect of bradykinin on forearm blood flow, forearm vascular resistance, and t-PA release (all P\u3c0.001). During enalaprilat, forearm blood flow was significantly lower and forearm vascular resistance was higher in response to bradykinin in the +9/+9 compared with +9/-9 and -9/-9 genotype groups (P=0.04 for both). t-PA release tended to be decreased in response to bradykinin in the +9/+9 group (P=0.08). When analyzed separately by gender, BE1 genotype was associated with bradykinin-stimulated t-PA release in angiotensin-converting enzyme inhibitor-treated men but not women (P=0.02 and P=0.77, respectively), after controlling for body mass index. There was no effect of BE1 genotype on responses to the bradykinin type 2 receptor-independent vasodilator methacholine during enalaprilat. In conclusion, the BDKRB2 BE1 polymorphism influences bradykinin type 2 receptor-mediated vasodilation during angiotensin-converting enzyme inhibition

Studies in Dye-Tracing Technologies in Karst Hydrogeology

Information on fluorescent dyes used for water tracing and the results of six studies are reported. Optical brightener, direct yellow, fluorescein, rhodamine (WT), and other dyes are described and the procedures employed in their use ·in the field and in equilibration experiments are discussed. Three of the six studies consisted of investigations of the equilibration with passive detectors of three of the dyes. The absorption of optical brightener on fabric detectors was apparently linear with concentration and with immersion time, while detectors became rapidly saturated with direct yellow. Equilibrium of fluorescein on charcoal detectors with an elutriating solution was not achieved. Several data processing tasks were performed, including the creation of a computer file for field data and the writing-of programs to sort the field data and generate plotted maps, and to display the total fluorescence of samples. A fifth study was based. on a series of dye traces into Royal Spring and Russell Cave Spring in the Inner Bluegrass Karst Region. Samples were collected with an automatic water sampler and the resulting flow velocity determinations combined with discharge data provided values at a number of aquifer parameters. The most interesting result was the very small value for depth of flow. A final study was of fracture traces identified on topographic maps and aerial photographs in the Inner Bluegrass Karst Region. It was found that while more such features were visible on the photographs, some were only apparent on maps