Science.gov

Sample records for formally certified sat

  1. Assessment of long-term impact of formal certified cardiopulmonary resuscitation training program among nurses

    PubMed Central

    Saramma, P. P.; Raj, L. Suja; Dash, P. K.; Sarma, P. S.

    2016-01-01

    Context: Cardiopulmonary resuscitation (CPR) and emergency cardiovascular care guidelines are periodically renewed and published by the American Heart Association. Formal training programs are conducted based on these guidelines. Despite widespread training CPR is often poorly performed. Hospital educators spend a significant amount of time and money in training health professionals and maintaining basic life support (BLS) and advanced cardiac life support (ACLS) skills among them. However, very little data are available in the literature highlighting the long-term impact of these training. Aims: To evaluate the impact of formal certified CPR training program on the knowledge and skill of CPR among nurses, to identify self-reported outcomes of attempted CPR and training needs of nurses. Setting and Design: Tertiary care hospital, Prospective, repeated-measures design. Subjects and Methods: A series of certified BLS and ACLS training programs were conducted during 2010 and 2011. Written and practical performance tests were done. Final testing was undertaken 3–4 years after training. The sample included all available, willing CPR certified nurses and experience matched CPR noncertified nurses. Statistical Analysis Used: SPSS for Windows version 21.0. Results: The majority of the 206 nurses (93 CPR certified and 113 noncertified) were females. There was a statistically significant increase in mean knowledge level and overall performance before and after the formal certified CPR training program (P = 0.000). However, the mean knowledge scores were equivalent among the CPR certified and noncertified nurses, although the certified nurses scored a higher mean score (P = 0.140). Conclusions: Formal certified CPR training program increases CPR knowledge and skill. However, significant long-term effects could not be found. There is a need for regular and periodic recertification. PMID:27303137

  2. Assessing, Recognising and Certifying Informal and Non-Formal Learning (ARCNIL): Evolution and Challenges

    ERIC Educational Resources Information Center

    Svetlik, Ivan

    2009-01-01

    Certifying non-formal and informal knowledge may be a consequence of separating education and training from other social and economic activities. Specialisation and formalisation of education and training both aim to increase learning efficiency. In the emerging knowledge society, this has attracted particular attention among researchers and…

  3. Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (SATS)Concept

    NASA Technical Reports Server (NTRS)

    Carrreno, Victor A.; Gottliebsen, Hanne; Butler, Ricky; Kalvala, Sara

    2004-01-01

    New concepts for automating air traffic management functions at small non-towered airports raise serious safety issues associated with the software implementations and their underlying key algorithms. The criticality of such software systems necessitates that strong guarantees of the safety be developed for them. In this paper we present a formal method for modeling and verifying such systems using the PVS theorem proving system. The method is demonstrated on a preliminary concept of operation for the Small Aircraft Transportation System (SATS) project at NASA Langley.

  4. Synthesizing Certified Code

    NASA Technical Reports Server (NTRS)

    Whalen, Michael; Schumann, Johann; Fischer, Bernd

    2002-01-01

    Code certification is a lightweight approach to demonstrate software quality on a formal level. Its basic idea is to require producers to provide formal proofs that their code satisfies certain quality properties. These proofs serve as certificates which can be checked independently. Since code certification uses the same underlying technology as program verification, it also requires many detailed annotations (e.g., loop invariants) to make the proofs possible. However, manually adding theses annotations to the code is time-consuming and error-prone. We address this problem by combining code certification with automatic program synthesis. We propose an approach to generate simultaneously, from a high-level specification, code and all annotations required to certify generated code. Here, we describe a certification extension of AUTOBAYES, a synthesis tool which automatically generates complex data analysis programs from compact specifications. AUTOBAYES contains sufficient high-level domain knowledge to generate detailed annotations. This allows us to use a general-purpose verification condition generator to produce a set of proof obligations in first-order logic. The obligations are then discharged using the automated theorem E-SETHEO. We demonstrate our approach by certifying operator safety for a generated iterative data classification program without manual annotation of the code.

  5. Certifiably excellent.

    PubMed

    Teal, Jan

    2011-01-01

    The purpose of this article is to provide a road map for individuals and chapters to use in beginning a certification program. The Heart of the Piedmont Chapter used the mission, vision, and values of the American Association of Critical-Care Nurses to create an environment of safety and expert care for patients and their families. The journey began when our chapter realized that there were only a few certified nurses in our chapter and hospital. As a chapter, we decided to use a survey to determine interest in certification. We invited all interested nurses to attend a certification meeting. Eighty nurses attended. Collaborating with nursing administration, we held study groups, brought in a national speaker, and assisted with payment of the certification examination. This article describes how 1 chapter can make a positive difference in the lives of nurses and patients. Although our chapter's journey is ongoing, we hope to share our strategies for success with others.

  6. Effective preprocessing in #SAT

    NASA Astrophysics Data System (ADS)

    Guo, Qin; Sang, Juan; He, Yong-mei

    2011-12-01

    Preprocessing #SAT instances can reduce their size considerably and decrease the solving time. In this paper we investigate the use of the hyper-binary resolution and equality reduction to preprocess the #SAT instances. And a preprocessing algorithm Preprocess MC is presented, which combines the unit propagation, the hyper-binary resolution, and the equality reduction together. The experiment shows that these excellent technologies not only reduce the size of the #SAT formula, but also improve the ability of the model counters to solve #SAT problems.

  7. Disabling the SAT.

    ERIC Educational Resources Information Center

    Freedman, Miriam Kurtzig

    2003-01-01

    Argues the College Boards' decision to stop flagging the SAT scores of students with disabilities given extended time to take the test will compromise the test's validity. A civil rights organization urged the College Board to stop flagging SAT scores because the practice violated the rights of students with disabilities. Proposes three…

  8. Comparing Techniques for Certified Static Analysis

    NASA Technical Reports Server (NTRS)

    Cachera, David; Pichardie, David

    2009-01-01

    A certified static analysis is an analysis whose semantic validity has been formally proved correct with a proof assistant. The recent increasing interest in using proof assistants for mechanizing programming language metatheory has given rise to several approaches for certification of static analysis. We propose a panorama of these techniques and compare their respective strengths and weaknesses.

  9. SmallSat Database

    NASA Technical Reports Server (NTRS)

    Petropulos, Dolores; Bittner, David; Murawski, Robert; Golden, Bert

    2015-01-01

    The SmallSat has an unrealized potential in both the private industry and in the federal government. Currently over 70 companies, 50 universities and 17 governmental agencies are involved in SmallSat research and development. In 1994, the U.S. Army Missile and Defense mapped the moon using smallSat imagery. Since then Smart Phones have introduced this imagery to the people of the world as diverse industries watched this trend. The deployment cost of smallSats is also greatly reduced compared to traditional satellites due to the fact that multiple units can be deployed in a single mission. Imaging payloads have become more sophisticated, smaller and lighter. In addition, the growth of small technology obtained from private industries has led to the more widespread use of smallSats. This includes greater revisit rates in imagery, significantly lower costs, the ability to update technology more frequently and the ability to decrease vulnerability of enemy attacks. The popularity of smallSats show a changing mentality in this fast paced world of tomorrow. What impact has this created on the NASA communication networks now and in future years? In this project, we are developing the SmallSat Relational Database which can support a simulation of smallSats within the NASA SCaN Compatability Environment for Networks and Integrated Communications (SCENIC) Modeling and Simulation Lab. The NASA Space Communications and Networks (SCaN) Program can use this modeling to project required network support needs in the next 10 to 15 years. The SmallSat Rational Database could model smallSats just as the other SCaN databases model the more traditional larger satellites, with a few exceptions. One being that the smallSat Database is designed to be built-to-order. The SmallSat database holds various hardware configurations that can be used to model a smallSat. It will require significant effort to develop as the research material can only be populated by hand to obtain the unique data

  10. Commercial Coaching and SAT Scores: The Effects on College Preparatory Students in Private Schools.

    ERIC Educational Resources Information Center

    Smyth, Frederick L.

    1989-01-01

    Assessed the effect of commercial coaching on the Scholastic Aptitude Test (SAT) scores of 438 students in private suburban college preparatory schools, 200 of whom received formal preparation for the SAT. Results showed that short-term coaching did not yield significantly greater verbal scores, but mathematics scores for coached students were…

  11. Certified nurse-midwife

    MedlinePlus

    ... trained to provide a broad range of health care services for women and newborns. Certified nurse-midwife (CNM) functions include: Taking a medical history, and doing a physical exam Ordering laboratory tests ...

  12. Abstract Model of the SATS Concept of Operations: Initial Results and Recommendations

    NASA Technical Reports Server (NTRS)

    Dowek, Gilles; Munoz, Cesar; Carreno, Victor A.

    2004-01-01

    An abstract mathematical model of the concept of operations for the Small Aircraft Transportation System (SATS) is presented. The Concept of Operations consist of several procedures that describe nominal operations for SATS, Several safety properties of the system are proven using formal techniques. The final goal of the verification effort is to show that under nominal operations, aircraft are safely separated. The abstract model was written and formally verified in the Prototype Verification System (PVS).

  13. The New SAT.

    ERIC Educational Resources Information Center

    Young, John W.

    1994-01-01

    The first administration of the newly revised Scholastic Assessment Test (SAT--formerly the Scholastic Aptitude Test) was in March 1994. This article looks at the historical background of the College Board's testing program, compares the formats of the new and old versions, and discusses implications for college-bound students and admissions…

  14. Active CryoCubeSat

    NASA Technical Reports Server (NTRS)

    Swenson, Charles

    2016-01-01

    The Active CryoCubeSat project will demonstrate an advanced thermal control system for a 6-Unit (6U) CubeSat platform. A miniature, active thermal control system, in which a fluid is circulated in a closed loop from thermal loads to radiators, will be developed. A miniature cryogenic cooler will be integrated with this system to form a two-stage thermal control system. Key components will be miniaturized by using advanced additive manufacturing techniques resulting in a thermal testbed for proving out these technologies. Previous CubeSat missions have not tackled the problem of active thermal control systems nor have any past or current CubeSat missions included cryogenic instrumentation. This Active CryoCubeSat development effort will provide completely new capacities for CubeSats and constitutes a major advancement over the state-of-the-art in CubeSat thermal control.

  15. CarbonSat Constellation

    NASA Astrophysics Data System (ADS)

    Sun, Wei; Tobehn, Carsten; Ernst, Robert; Bovensmann, Heinrich; Buchwitz, Michael; Burrows, John P.; Notholt, John

    1 Carbon dioxide (CO2) and methane (CH4) are the most important manmade greenhouse gases (GHGs) which are driving global climate change. Currently, the CO2 measurements from the ground observing network are still the main sources of information but due to the limited number of measurement stations the coverage is limited. In addition, CO2 monitoring and trading is often based mainly on bottom-up calculations and an independent top down verification is limited due to the lack of global measurement data with local resolution. The first CO2 and CH4 mapping from SCIAMACHY on ENVISAT shows that satellites add important missing global information. Current GHG measurement satellites (GOSAT)are limited either in spatial or temporal resolution and coverage. These systems have to collect data over a year or even longer to produce global regional fluxes products. Conse-quently global, timely, higher spatial resolution and high accuracy measurement are required for: 1. A good understanding of the CO2 and CH4 sources and sinks for reliable climate predic-tion; and 2. Independent and transparent verification of accountable sources and sinks in supporting Kyoto and upcoming protocols The CarbonSat constellation idea comes out the trade off of resolution and swath width during CarbonSat mission definition studies. In response to the urgent need to support the Kyoto and upcoming protocols, a feasibility study has been carried out. The proposed solution is a constellation of five CarbonSat satellites in 614km LTAN 13:00, which is able to provide global, daily CO2 and CH4 measurement everywhere on the Earth with high spatial resolution 2 × 2 km and low uncertainty lt;2ppm (CO2) and lt;8ppb (CH4). The unique global daily measurement capability significantly increases the number of cloud free measurements, which enables more reliable services associated with reduced uncertainty, e.g. to 0.15ppm (CO2) per month in 10km and even more timely products. The CarbonSat Constellation in

  16. A Certified Health Career

    ERIC Educational Resources Information Center

    Adamson, Pamela

    2006-01-01

    This article features a certification program for health care workers in Southeastern Oklahoma. Kiamichi Technology Center is certifying success for its students while helping to meet the demand for trained health care workers in Southeastern Oklahoma. Through the health careers certification program at Kiamichi Technology Center in Hugo, Oklahoma…

  17. Certified records manager exam

    SciTech Connect

    Not Available

    1990-01-01

    The Institute of Certified Records Managers (ICRM) is a non-profit, certifying organization of professional records managers and administrators. ICRM members are experienced in information requirements, records and information systems, and the related office systems and technologies. All members have met certification requirements and have received the Certified Records Manager (CRM) designation. As the field of information and records management moves toward standardization, and as the application of new technologies and technicalities complicate the measurement and demonstration of professional competence, the need for a means of identifying persons who have basic competency increases. The ICRM is providing such a means by testing and certifying basic knowledge. More and more job announcements are requiring this evidence of competency. Unfortunately, as an organization, NIRMA has a relatively small number of CRMs. The goal of the ICRM Development Group is two-fold; (1) to encourage NIRMA members to obtain their certification by providing basic information and support and; (2) to develop the Nuclear Specialist test module which will demonstrate that bearers have demonstrated expertise in nuclear records management as well as basic competencies. This report covers the examination process.

  18. CubeSat Launch Initiative

    NASA Technical Reports Server (NTRS)

    Higginbotham, Scott

    2016-01-01

    The National Aeronautics and Space Administration (NASA) recognizes the tremendous potential that CubeSats (very small satellites) have to inexpensively demonstrate advanced technologies, collect scientific data, and enhance student engagement in Science, Technology, Engineering, and Mathematics (STEM). The CubeSat Launch Initiative (CSLI) was created to provide launch opportunities for CubeSats developed by academic institutions, non-profit entities, and NASA centers. This presentation will provide an overview of the CSLI, its benefits, and its results.

  19. CloudSat Education Network: Partnerships for Outreach

    NASA Astrophysics Data System (ADS)

    TeBockhorst, D.

    2014-12-01

    CloudSat Education Network (CEN): Partnerships to improve the understanding of clouds in formal and informal settings. Since The CloudSat satellite launched in 2006 the Formal and Informal education programs for the mission have been focused on bringing an understanding about the mission science and the importance of clouds, climate & weather science. This has been done by creating and strengthening partnership and collaboration within scientific and educational communities around the country and the world. Because CloudSat was formally recognized as a Earth System Science Pathfinder campaign with the GLOBE program, the CEN developed a set of field protocols for student observations that augmented the GLOBE atmosphere protocols when there was a satellite overpass. This shared process between GLOBE & CloudSat resulted in the training & creation of CEN schools that are both GLOBE schools and CloudSat schools, and also produced three GLOBE partnerships that specialize in cloud science education and outreach. In addition, the CEN has developed productive relationships with other NASA missions and EPO teams. Specifically, in collaboration with the NASA CERES mission projects S'Cool and MyNASAData, we have co-presented at NSTA conferences and with schools participating in a NASA EPOESS-funded formal education project. This collaborative work has been a very real benefit to a wide variety of audiences needing to strengthen their understanding of clouds and their roles in the earth system, and we hope will serve as a model to future missions looking to involve the public in mission science.

  20. Difficulties of Alternatively Certified Teachers

    ERIC Educational Resources Information Center

    Schonfeld, Irvin Sam; Feinman, Samantha J.

    2012-01-01

    This daily diary study followed, over a 2-week period, 252 beginning New York City public school teachers. Seventy percent were alternatively certified (New York City Teaching Fellows) and the rest, traditionally certified teachers. Alternatively certified teachers were more likely to experience stressors such as violent incidents and classroom…

  1. SDO FlatSat Facility

    NASA Technical Reports Server (NTRS)

    Amason, David L.

    2008-01-01

    The goal of the Solar Dynamics Observatory (SDO) is to understand and, ideally, predict the solar variations that influence life and society. It's instruments will measure the properties of the Sun and will take hifh definition images of the Sun every few seconds, all day every day. The FlatSat is a high fidelity electrical and functional representation of the SDO spacecraft bus. It is a high fidelity test bed for Integration & Test (I & T), flight software, and flight operations. For I & T purposes FlatSat will be a driver to development and dry run electrical integration procedures, STOL test procedures, page displays, and the command and telemetry database. FlatSat will also serve as a platform for flight software acceptance and systems testing for the flight software system component including the spacecraft main processors, power supply electronics, attitude control electronic, gimbal control electrons and the S-band communications card. FlatSat will also benefit the flight operations team through post-launch flight software code and table update development and verification and verification of new and updated flight operations products. This document highlights the benefits of FlatSat; describes the building of FlatSat; provides FlatSat facility requirements, access roles and responsibilities; and, and discusses FlatSat mechanical and electrical integration and functional testing.

  2. ACT/SAT College Survey.

    ERIC Educational Resources Information Center

    Stafford, John E.

    1998-01-01

    Reports on findings of a survey designed to discover whether higher education institutions' admission standards accept SAT I or ACT and if there is preference for either, and whether ACT could be submitted in lieu of SAT II subject tests. Eighty-six percent of the reporting schools indicated no preference; 28 schools indicated that the ACT was an…

  3. 40 CFR 158.350 - Certified limits.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... REQUIREMENTS FOR PESTICIDES Product Chemistry § 158.350 Certified limits. The applicant must propose certified... certified limits, including how the certified limits were arrived at (e.g., sample analysis,...

  4. Recognising and Certifying Lifelong Skills: Impact on Labour Market Integration of the Unemployed

    ERIC Educational Resources Information Center

    Fernandes, Pedro Afonso

    2009-01-01

    The process for recognising, validating and certifying (RVC) non-formally or informally acquired lifelong learning, launched in 2000, is now part of mainstream education and training policies in Portugal. This article aims to determine how much the labour-market behaviour of the RVC-certified unemployed differs from that of other unemployed…

  5. NASA Facts: SporeSat

    NASA Technical Reports Server (NTRS)

    Martinez, Andres; Cappuccio, Gelsomina; Tomko, David

    2013-01-01

    SporeSat is an autonomous, free-flying three-unit (3U) spacecraft that will be used to conduct scientific experiments to gain a deeper knowledge of the mechanisms of plant cell gravity sensing. SporeSat is being developed through a partnership between NASAs Ames Research Center and the Department of Agricultural and Biological Engineering at Purdue University. Amani Salim and Jenna L. Rickus are the Purdue University Principal Investigators. The SporeSat mission will be flown using a 3U nanosatellite weighing approximately 12 pounds and measuring 14 inches long by 4 inches wide by 4 inches tall. SporeSat will utilize flight-proven spacecraft technologies demonstrated on prior Ames nanosatellite missions such as PharmaSat and OrganismOrganic Exposure to Orbital Stresses (OOREOS) as well as upgrades that increase the hardware integration capabilities with SporeSat science instrumentation. In addition, the SporeSat science payload will serve as a technology platform to evaluate new microsensor technologies for enabling future fundamental biology missions.

  6. SATS HVO Concept Validation Experiment

    NASA Technical Reports Server (NTRS)

    Consiglio, Maria; Williams, Daniel; Murdoch, Jennifer; Adams, Catherine

    2005-01-01

    A human-in-the-loop simulation experiment was conducted at the NASA Langley Research Center s (LaRC) Air Traffic Operations Lab (ATOL) in an effort to comprehensively validate tools and procedures intended to enable the Small Aircraft Transportation System, Higher Volume Operations (SATS HVO) concept of operations. The SATS HVO procedures were developed to increase the rate of operations at non-towered, non-radar airports in near all-weather conditions. A key element of the design is the establishment of a volume of airspace around designated airports where pilots accept responsibility for self-separation. Flights operating at these airports, are given approach sequencing information computed by a ground based automated system. The SATS HVO validation experiment was conducted in the ATOL during the spring of 2004 in order to determine if a pilot can safely and proficiently fly an airplane while performing SATS HVO procedures. Comparative measures of flight path error, perceived workload and situation awareness were obtained for two types of scenarios. Baseline scenarios were representative of today s system utilizing procedure separation, where air traffic control grants one approach or departure clearance at a time. SATS HVO scenarios represented approaches and departure procedures as described in the SATS HVO concept of operations. Results from the experiment indicate that low time pilots were able to fly SATS HVO procedures and maintain self-separation as safely and proficiently as flying today's procedures.

  7. Certifying Enrollment Management Professionals

    ERIC Educational Resources Information Center

    Tremblay, Christopher W.

    2015-01-01

    Most current professionals who serve in an enrollment management leadership capacity likely were trained "on the job," or at professional development events, primarily because credit-bearing credentials, degrees, and other formal programs were nonexistent (Phair 2014). However, that landscape has since changed, and now there are multiple…

  8. Rethinking Formalisms in Formal Education

    ERIC Educational Resources Information Center

    Nathan, Mitchell J.

    2012-01-01

    I explore a belief about learning and teaching that is commonly held in education and society at large that nonetheless is deeply flawed. The belief asserts that mastery of "formalisms"--specialized representations such as symbolic equations and diagrams with no inherent meaning except that which is established by convention--is prerequisite to…

  9. Beyond formalism

    NASA Technical Reports Server (NTRS)

    Denning, Peter J.

    1991-01-01

    The ongoing debate over the role of formalism and formal specifications in software features many speakers with diverse positions. Yet, in the end, they share the conviction that the requirements of a software system can be unambiguously specified, that acceptable software is a product demonstrably meeting the specifications, and that the design process can be carried out with little interaction between designers and users once the specification has been agreed to. This conviction is part of a larger paradigm prevalent in American management thinking, which holds that organizations are systems that can be precisely specified and optimized. This paradigm, which traces historically to the works of Frederick Taylor in the early 1900s, is no longer sufficient for organizations and software systems today. In the domain of software, a new paradigm, called user-centered design, overcomes the limitations of pure formalism. Pioneered in Scandinavia, user-centered design is spreading through Europe and is beginning to make its way into the U.S.

  10. COLD-SAT dynamic model

    NASA Technical Reports Server (NTRS)

    Adams, Neil S.; Bollenbacher, Gary

    1992-01-01

    This report discusses the development and underlying mathematics of a rigid-body computer model of a proposed cryogenic on-orbit liquid depot storage, acquisition, and transfer spacecraft (COLD-SAT). This model, referred to in this report as the COLD-SAT dynamic model, consists of both a trajectory model and an attitudinal model. All disturbance forces and torques expected to be significant for the actual COLD-SAT spacecraft are modeled to the required degree of accuracy. Control and experimental thrusters are modeled, as well as fluid slosh. The model also computes microgravity disturbance accelerations at any specified point in the spacecraft. The model was developed by using the Boeing EASY5 dynamic analysis package and will run on Apollo, Cray, and other computing platforms.

  11. Find a NCCAOM Certified Practitioner

    MedlinePlus

    ... NCCAOM Certification Get Certified Get Recertified PDA Search Engine Find A Practitioner State Licensing Helpful NCCAOM Links ... My Status State Licensure Diplomates Recertification PDA Search Engine State Licensure Consumers Diplomate of Acupuncture Diplomate of ...

  12. DebriSat Project Update and Planning

    NASA Technical Reports Server (NTRS)

    Sorge, M.; Krisko, P. H.

    2016-01-01

    DebriSat Reporting Topics: DebriSat Fragment Analysis Calendar; Near-term Fragment Extraction Strategy; Fragment Characterization and Database; HVI (High-Velocity Impact) Considerations; Requirements Document.

  13. EMC Test Report: StangSat - CubeSat Program

    NASA Technical Reports Server (NTRS)

    Carmody, Lynne M.; Aragona, Peter S.

    2013-01-01

    This report documents the Electromagnetic Interference E M I testing performed on the StangSat; the unit under test (UUT). Testing was per the requirements of MIL STD-461F. The UUT was characterized and passed the radiated emissions (RE102 limit for Spacecraft) testing.

  14. The SAT Gender Gap: Identifying the Causes.

    ERIC Educational Resources Information Center

    Rosser, Phyllis

    Questions on the Scholastic Aptitude Test (SAT) with the largest score differences between women and men of all racial and ethnic groups were identified. Patterns of difficulty that would explain the SAT's continuing underprediction of female first-year college performance were studied. An item analysis of one form of the June 1986 SAT for 1,112…

  15. What Have the Pilot SATs Taught Us?

    ERIC Educational Resources Information Center

    Pearson, Lea

    1990-01-01

    This paper describes pilot testing of Great Britain's standard assessment tasks (SATs), focusing on children with special educational needs. Two SATs were produced (Change and Movement) to assess three core subjects (English, mathematics, and science.) The need for SAT adaptations to allow children with disabilities equal access is stressed. (JDD)

  16. Independent Schools and the SAT

    ERIC Educational Resources Information Center

    Torres, Amada

    2016-01-01

    In September 2015, when the College Board released its average SAT scores for the 2015 graduating class, two details stood out for many educators: (1) the record participation and diversity numbers (close to 1.7 million students took the test, with 50 percent being students of color); and (2) the test's lower average scores compared with previous…

  17. The CloudSat Mission

    NASA Technical Reports Server (NTRS)

    Vane, D.; Stephens, G.

    2000-01-01

    CloudSat is an international mission, made possible by partnerships and contributions from the Canadian Space Agency, the U.S. Air Force, the Communications Research Laboratory of Japan, the U.S. Department of Energy, and research institutions in the USA, Japan, Canada and Europe.

  18. SAT Future: Alignment to Standards

    ERIC Educational Resources Information Center

    Gewertz, Catherine

    2012-01-01

    One of the chief architects of the Common Core State Standards was named the next president of the College Board and said one of his top priorities is to reshape the organization's influential college-admissions test, the SAT, to better reflect the new standards. David Coleman will assume his new duties on Oct. 15, replacing Gaston Caperton, who…

  19. Tensor Network Contractions for #SAT

    NASA Astrophysics Data System (ADS)

    Biamonte, Jacob D.; Morton, Jason; Turner, Jacob

    2015-09-01

    The computational cost of counting the number of solutions satisfying a Boolean formula, which is a problem instance of #SAT, has proven subtle to quantify. Even when finding individual satisfying solutions is computationally easy (e.g. 2-SAT, which is in ), determining the number of solutions can be #-hard. Recently, computational methods simulating quantum systems experienced advancements due to the development of tensor network algorithms and associated quantum physics-inspired techniques. By these methods, we give an algorithm using an axiomatic tensor contraction language for n-variable #SAT instances with complexity where c is the number of COPY-tensors, g is the number of gates, and d is the maximal degree of any COPY-tensor. Thus, n-variable counting problems can be solved efficiently when their tensor network expression has at most COPY-tensors and polynomial fan-out. This framework also admits an intuitive proof of a variant of the Tovey conjecture (the r,1-SAT instance of the Dubois-Tovey theorem). This study increases the theory, expressiveness and application of tensor based algorithmic tools and provides an alternative insight on these problems which have a long history in statistical physics and computer science.

  20. 12 CFR 327.2 - Certified statements.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... known as the quarterly certified statement invoice. Each insured depository institution shall file and certify its quarterly certified statement invoice in the manner and form set forth in this section. (2) The quarterly certified statement invoice shall reflect the institution's risk assignment,...

  1. 12 CFR 327.2 - Certified statements.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... known as the quarterly certified statement invoice. Each insured depository institution shall file and certify its quarterly certified statement invoice in the manner and form set forth in this section. (2) The quarterly certified statement invoice shall reflect the institution's risk assignment,...

  2. 12 CFR 327.2 - Certified statements.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... known as the quarterly certified statement invoice. Each insured depository institution shall file and certify its quarterly certified statement invoice in the manner and form set forth in this section. (2) The quarterly certified statement invoice shall reflect the institution's risk assignment,...

  3. 12 CFR 327.2 - Certified statements.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... known as the quarterly certified statement invoice. Each insured depository institution shall file and certify its quarterly certified statement invoice in the manner and form set forth in this section. (2) The quarterly certified statement invoice shall reflect the institution's risk assignment,...

  4. Seeking Coalitions between Certified and Non-Certified Art Educators

    ERIC Educational Resources Information Center

    Lackey, Lara M.; Chou, Chun-Ming; Hsu, Pei-Lan

    2010-01-01

    This article explores the following question, posed in the call for submissions to this special issue, dealing with significant 21st-century debates for art education: "How can art educators embrace non-certified individuals who teach art in various settings such as craft stores, after-school programs, and community centers?" While the question…

  5. CS2SAT Desktop Tool

    2006-03-15

    The Idaho National Laboratory (INL) has developed a Control System Cyber Security Self-Assessment Tool (CS2SAT) desktop tool that provides a repeatable and systematic approach for control system users to assess the cyber security posture of their control system networks. The tool assists users in identifying the cyber security parameters of their systems and then offers security objectives, in the form of requirements, for improving the security of their specific network. Each requirement is linked tomore » a series of associated recommendations for compliance dependent upon the desired level of security protection. Each requirement is supported by links to the original standards document and recommendations are supported by links to whitepapers and other help documents. Package also includes two back-end supporting codes: CS2SAT Requirements Matrix and Control System Security Information System.« less

  6. The COLD-SAT program

    NASA Technical Reports Server (NTRS)

    Bailey, William J.

    1990-01-01

    The Cryogenic On-Orbit Liquid Depot Storage, Acquisition and Transfer (COLD-SAT) satellite is an experimental spacecraft launched from an expendable launch vehicle which is designed to investigate the systems and technologies required for efficient and reliable management of cryogenic fluid in the reduced-gravity space environment. Future applications such as Space Station, Space Transportation Vehicle (STV), external tank (ET), aft cargo carrier (ACC) propellant scavenging, storage depots, and lunar and interplanetary missions, among others, have provided the impetus to pursue this technology in a timely manner to support the design efforts. A refined conceptual approach has been developed and an overview of the COLD-SAT program is described which includes the following: (1) a definition of the technology needs and the accompanying experimental six-month baseline mission; (2) a description of the experiment subsystem, major features, and rationale for satisfaction of primary and secondary experiment requirements using LH2 as the test fluid; and (3) a presentation of the conceptual design of the COLD-SAT spacecraft subsystems which support the on-orbit experiment with emphasis on those areas which posed the greatest technical challenge.

  7. The New SAT: The Future of Transition Assessment.

    ERIC Educational Resources Information Center

    Graff, A. Steven

    1993-01-01

    Describes changes being made in the Scholastic Aptitude Test (SAT) and other standardized tests. Highlights include a history of standardized college entrance testing; the change process of the SAT; descriptions of the new SAT I Reasoning Tests and SAT II Subject Tests; comparisons between the old and the new SAT; and future possibilities. (LRW)

  8. Improving Resource-Unaware SAT Solvers

    NASA Astrophysics Data System (ADS)

    Hölldobler, Steffen; Manthey, Norbert; Saptawijaya, Ari

    The paper discusses cache utilization in state-of-the-art SAT solvers. The aim of the study is to show how a resource-unaware SAT solver can be improved by utilizing the cache sensibly. The analysis is performed on a CDCL-based SAT solver using a subset of the industrial SAT Competition 2009 benchmark. For the analysis, the total cycles, the resource stall cycles, the L2 cache hits and the L2 cache misses are traced using sample based profiling. Based on the analysis, several techniques - some of which have not been used in SAT solvers so far - are proposed resulting in a combined speedup up to 83% without affecting the search path of the solver. The average speedup on the benchmark is 60%. The new techniques are also applied to MiniSAT2.0 improving its runtime by 20% on average.

  9. A Case for Not Going SAT-Optional: Students with Discrepant SAT and HSGPA Performance

    ERIC Educational Resources Information Center

    Mattern, Krista D.; Shaw, Emily J.; Kobrin, Jennifer L.

    2010-01-01

    Presented at the national conference for the American Educational Research Association (AERA) in 2010. This presentation describes an alternative way of presenting the unique information provided by the SAT over HSGPA, namely examining students with discrepant SAT-HSGPA performance.

  10. CryoSat-2 and the CryoSat Mission

    NASA Astrophysics Data System (ADS)

    Francis, R.; Cullen, R.

    2009-04-01

    CryoSat was chosen as the first of ESA's Earth Explorer Opportunity missions in late 1999, following a competitive selection process. Its goal is the measurement of secular change in the cryosphere, particularly in the elevation of the ice caps and the thickness of sea ice. The required accuracy corresponds to about half of the variation expected due to natural variability, over reasonable scales for the surfaces concerned. The selected technique is radar altimetry, although the instrument has been modified to provide the enhanced capabilities needed to significantly extend the spatial coverage of previous altimetry missions, particularly ERS and EnviSat. Thus the radar includes a synthetic aperture mode which enables the along- track resolution to be improved to about 250 m. This will enable detection of leads in sea-ice which are narrower than those detected hitherto, so that operation deeper into pack-ice can be achieved with a consequent reduction in errors due to omission. Altimetry over the steep edges of ice caps is hampered by the irregular topography which, since the radar ranging is performed to the closest reflector rather than the point directly below, introduces uncertainty into the exactitude of repeat measurements. CryoSat's radar includes a second antenna and receiver chain so that interferometry may be used to determine the arrival angle of the echo and so improve localisation of the reflection. The satellite payload, which includes a DORIS receiver for precise orbit determination and a set of star trackers to measure the orientation of the interferometer, is quite complex and demanding. The satellite was launched on 8 October 2005, just less than 6 years after the start of the programme. Unfortunately the launch vehicle, a Rockot launcher derived from the Russian SS-19 ICBM, suffered an anomaly at the end of its second-stage flight, with the result that the satellite was lost, the debris falling close to the North pole. Determination to rebuild

  11. 7 CFR 983.7 - Certified pistachios.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 8 2010-01-01 2010-01-01 false Certified pistachios. 983.7 Section 983.7 Agriculture... and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE PISTACHIOS GROWN IN CALIFORNIA, ARIZONA, AND NEW MEXICO Definitions § 983.7 Certified pistachios. Certified pistachios are those that...

  12. 31 CFR 306.45 - Certifying individuals.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Certifying individuals. 306.45.... SECURITIES Assignments of Registered Securities-General § 306.45 Certifying individuals. (a) General. The following individuals may certify assignments of, or forms with respect to, securities: (1) Officers...

  13. 40 CFR 161.175 - Certified limits.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... REQUIREMENTS FOR REGISTRATION OF ANTIMICROBIAL PESTICIDES Product Chemistry Data Requirements § 161.175 Certified limits. The applicant must propose certified limits for the ingredients in the product. Certified... product from the date of production to date of use, unless the product label bears a statement...

  14. 1 CFR 18.5 - Certified copies.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 1 General Provisions 1 2010-01-01 2010-01-01 false Certified copies. 18.5 Section 18.5 General... DOCUMENTS PREPARATION AND TRANSMITTAL OF DOCUMENTS GENERALLY § 18.5 Certified copies. The certified copies or duplicate originals of each document must be submitted with the original. Each copy or...

  15. 7 CFR 1280.103 - Certified organization.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 10 2010-01-01 2010-01-01 false Certified organization. 1280.103 Section 1280.103 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (MARKETING... organization. Certified organization means any organization which has been certified by the Secretary...

  16. 7 CFR 1280.103 - Certified organization.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 10 2011-01-01 2011-01-01 false Certified organization. 1280.103 Section 1280.103 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (MARKETING... organization. Certified organization means any organization which has been certified by the Secretary...

  17. 7 CFR 1280.103 - Certified organization.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 10 2013-01-01 2013-01-01 false Certified organization. 1280.103 Section 1280.103 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (MARKETING... organization. Certified organization means any organization which has been certified by the Secretary...

  18. 7 CFR 1280.103 - Certified organization.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 10 2014-01-01 2014-01-01 false Certified organization. 1280.103 Section 1280.103 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (MARKETING... organization. Certified organization means any organization which has been certified by the Secretary...

  19. 7 CFR 1280.103 - Certified organization.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 10 2012-01-01 2012-01-01 false Certified organization. 1280.103 Section 1280.103 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (MARKETING... organization. Certified organization means any organization which has been certified by the Secretary...

  20. 7 CFR 983.7 - Certified pistachios.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 8 2013-01-01 2013-01-01 false Certified pistachios. 983.7 Section 983.7 Agriculture... AND ORDERS; FRUITS, VEGETABLES, NUTS), DEPARTMENT OF AGRICULTURE PISTACHIOS GROWN IN CALIFORNIA, ARIZONA, AND NEW MEXICO Definitions § 983.7 Certified pistachios. Certified pistachios are those that...

  1. 7 CFR 983.7 - Certified pistachios.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 8 2011-01-01 2011-01-01 false Certified pistachios. 983.7 Section 983.7 Agriculture... and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE PISTACHIOS GROWN IN CALIFORNIA, ARIZONA, AND NEW MEXICO Definitions § 983.7 Certified pistachios. Certified pistachios are those that...

  2. 7 CFR 983.7 - Certified pistachios.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 8 2012-01-01 2012-01-01 false Certified pistachios. 983.7 Section 983.7 Agriculture... and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE PISTACHIOS GROWN IN CALIFORNIA, ARIZONA, AND NEW MEXICO Definitions § 983.7 Certified pistachios. Certified pistachios are those that...

  3. 7 CFR 983.7 - Certified pistachios.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 8 2014-01-01 2014-01-01 false Certified pistachios. 983.7 Section 983.7 Agriculture... AND ORDERS; FRUITS, VEGETABLES, NUTS), DEPARTMENT OF AGRICULTURE PISTACHIOS GROWN IN CALIFORNIA, ARIZONA, AND NEW MEXICO Definitions § 983.7 Certified pistachios. Certified pistachios are those that...

  4. 21 CFR 82.6 - Certifiable mixtures.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 21 Food and Drugs 1 2012-04-01 2012-04-01 false Certifiable mixtures. 82.6 Section 82.6 Food and... PROVISIONALLY LISTED COLORS AND SPECIFICATIONS General Provisions § 82.6 Certifiable mixtures. (a) A batch of a mixture which contains no straight color listed in subpart C or D may be certified for use in food,...

  5. 21 CFR 82.6 - Certifiable mixtures.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 21 Food and Drugs 1 2013-04-01 2013-04-01 false Certifiable mixtures. 82.6 Section 82.6 Food and... PROVISIONALLY LISTED COLORS AND SPECIFICATIONS General Provisions § 82.6 Certifiable mixtures. (a) A batch of a mixture which contains no straight color listed in subpart C or D may be certified for use in food,...

  6. 21 CFR 82.6 - Certifiable mixtures.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 21 Food and Drugs 1 2014-04-01 2014-04-01 false Certifiable mixtures. 82.6 Section 82.6 Food and... PROVISIONALLY LISTED COLORS AND SPECIFICATIONS General Provisions § 82.6 Certifiable mixtures. (a) A batch of a mixture which contains no straight color listed in subpart C or D may be certified for use in food,...

  7. The Iodine Satellite (iSat) Project Development Towards Critical Design Review (CDR)

    NASA Technical Reports Server (NTRS)

    Dankanich, John W.; Selby, Michael; Polzin, Kurt A.; Kamhawi, Hani; Hickman, Tyler; Byrne, Larry

    2016-01-01

    Despite the prevalence of Small Satellites in recent years, the systems flown to date have very limited propulsion capability. SmallSats are typically secondary payloads and have significant constraints for volume, mass, and power in addition to limitations on the use of hazardous propellants or stored energy (i.e. high pressure vessels). These constraints limit the options for SmallSat maneuverability. NASA's Space Technology Mission Directorate approved the iodine Satellite flight project for a rapid demonstration of iodine Hall thruster technology in a 12U configuration under the Small Spacecraft Technology Program. The project formally began in FY15 as a partnership between NASA MSFC, NASA GRC, and Busek Co, Inc., with the Air Force supporting the propulsion technology maturation. The team is in final preparation of the Critical Design Review prior to initiating the fabrication and integration phase of the project. The iSat project is on schedule for a launch opportunity in November 2017.

  8. A Small Aircraft Transportation System (SATS) Demand Model

    NASA Technical Reports Server (NTRS)

    Long, Dou; Lee, David; Johnson, Jesse; Kostiuk, Peter; Yackovetsky, Robert (Technical Monitor)

    2001-01-01

    The Small Aircraft Transportation System (SATS) demand modeling is a tool that will be useful for decision-makers to analyze SATS demands in both airport and airspace. We constructed a series of models following the general top-down, modular principles in systems engineering. There are three principal models, SATS Airport Demand Model (SATS-ADM), SATS Flight Demand Model (SATS-FDM), and LMINET-SATS. SATS-ADM models SATS operations, by aircraft type, from the forecasts in fleet, configuration and performance, utilization, and traffic mixture. Given the SATS airport operations such as the ones generated by SATS-ADM, SATS-FDM constructs the SATS origin and destination (O&D) traffic flow based on the solution of the gravity model, from which it then generates SATS flights using the Monte Carlo simulation based on the departure time-of-day profile. LMINET-SATS, an extension of LMINET, models SATS demands at airspace and airport by all aircraft operations in US The models use parameters to provide the user with flexibility and ease of use to generate SATS demand for different scenarios. Several case studies are included to illustrate the use of the models, which are useful to identify the need for a new air traffic management system to cope with SATS.

  9. Test anxiety and performance-avoidance goals explain gender differences in SAT-V, SAT-M, and overall SAT scores.

    PubMed

    Hannon, Brenda

    2012-11-01

    This study uses analysis of co-variance in order to determine which cognitive/learning (working memory, knowledge integration, epistemic belief of learning) or social/personality factors (test anxiety, performance-avoidance goals) might account for gender differences in SAT-V, SAT-M, and overall SAT scores. The results revealed that none of the cognitive/learning factors accounted for gender differences in SAT performance. However, the social/personality factors of test anxiety and performance-avoidance goals each separately accounted for all of the significant gender differences in SAT-V, SAT-M, and overall SAT performance. Furthermore, when the influences of both of these factors were statistically removed simultaneously, all non-significant gender differences reduced further to become trivial by Cohen's (1988) standards. Taken as a whole, these results suggest that gender differences in SAT-V, SAT-M, and overall SAT performance are a consequence of social/learning factors. PMID:23997382

  10. Test anxiety and performance-avoidance goals explain gender differences in SAT-V, SAT-M, and overall SAT scores

    PubMed Central

    Hannon, Brenda

    2013-01-01

    This study uses analysis of co-variance in order to determine which cognitive/learning (working memory, knowledge integration, epistemic belief of learning) or social/personality factors (test anxiety, performance-avoidance goals) might account for gender differences in SAT-V, SAT-M, and overall SAT scores. The results revealed that none of the cognitive/learning factors accounted for gender differences in SAT performance. However, the social/personality factors of test anxiety and performance-avoidance goals each separately accounted for all of the significant gender differences in SAT-V, SAT-M, and overall SAT performance. Furthermore, when the influences of both of these factors were statistically removed simultaneously, all non-significant gender differences reduced further to become trivial by Cohen's (1988) standards. Taken as a whole, these results suggest that gender differences in SAT-V, SAT-M, and overall SAT performance are a consequence of social/learning factors. PMID:23997382

  11. Lunar Reconnaissance Orbiter FlatSat

    NASA Technical Reports Server (NTRS)

    Wright, Michael

    2008-01-01

    This viewgraph presentation reviews the use of FlatSat as a platform for use during flight integration and testing (I&T) of the Lunar Reconnaissance Orbiter (LRO). Included in the presentations are requirements for the facility, a diagram of the LRO FlatSat lab, and discussion of the operational documentation, facility scheduling, and issues and lessons learned.

  12. Ace the Verbal on the SAT

    ERIC Educational Resources Information Center

    Meierding, Loren

    2005-01-01

    Many students are not accepted in to certain colleges and universities because of low SAT scores. Loren Meierding has written Ace the Verbal on the SAT to help students with minimal preparation do well by improving their vocabulary and use better techniques for finding the answers to the questions. This book provides strategies needed to score…

  13. Sat

    NASA Astrophysics Data System (ADS)

    Fischer, R. X.; Baur, W. H.

    This document is part of Subvolume E `Zeolite-Type Crystal Structures and their Chemistry. Framework Type Codes RON to STI' of Volume 14 `Microporous and other Framework Materials with Zeolite-Type Structures' of Landolt-Börnstein Group IV `Physical Chemistry'.

  14. Periodically Launched, Dedicated CubeSats/SmallSats for Space Situational Awareness Through NASA Communications Networks

    NASA Astrophysics Data System (ADS)

    Stromberg, E. M.; Shaw, H.; Estabrook, P.; Neilsen, T. L.; Gunther, J.; Swenson, C.; Fish, C. S.; Schaire, S. H.

    2014-12-01

    Space Situational Awareness (SSA) is an area where spaceflight activities and missions can directly influence the quality of life on earth. The combination of space weather, near earth orbiting objects, atmospheric conditions at the space boundary, and other phenomena can have significant short-term and long-term implications for the inhabitants of this planet. The importance of SSA has led to increased activity in this area from both space and ground based platforms. The emerging capability of CubeSats and SmallSats provides an opportunity for these low-cost, versatile platforms to augment the SSA infrastructure. The CubeSats and SmallSats can be launched opportunistically with shorter lead times than larger missions. They can be organized both as constellations or individual sensor elements. Combining CubeSats and SmallSats with the existing NASA communications networks (TDRS Space Network, Deep Space Network and the Near Earth Network) provide a backbone structure for SSA which can be tied to a SSA portal for data distribution and management. In this poster we will describe the instruments and sensors needed for CubeSat and SmallSat SSA missions. We will describe the architecture and concept of operations for a set of opportunistic, periodically launched, SSA CubeSats and SmallSats. We will also describe the integrated communications infrastructure to support end-to-end data delivery and management to a SSA portal.

  15. Stennis certified as Project Ready

    NASA Technical Reports Server (NTRS)

    2009-01-01

    Mississippi Power Co. Director of Economic Development Arnie Williams presents NASA's John C. Stennis Space Center Deputy Director Patrick Scheuermann with a commemorative plate designating the facility as a Project Ready technology park during a Nov. 6 ceremony. The designation certifies Stennis as a 'project ready' site for high-tech firms seeking a new location. Mississippi Power launched the Project Ready Certified Site Program to identify locations that are ready to go and relatively risk-free in an effort to attract companies into the region. Stennis is the first site to gain the technology park certification. Participants in the Nov. 6 ceremony included (l to r): Sue Wright, economic development director for the Hancock County Development Commission; Griff Salmon, director of the Global Business Division of the Mississippi Development Authority; Williams; Scheuermann; Mark Sweeney, senior principal of the McCallum Sweeney Consulting firm in Greenville, S.C., which is helping implement the Project Ready initiative; and Ron Magee, assistant to the director of Stennis' Center Operations Directorate.

  16. Reentry Experiment SAT-X

    NASA Astrophysics Data System (ADS)

    Woods, Maurice; Kuhns, Casey; Honda, Motoaki; Shiely, Robert; Adamson, Aaron; Aken, Jordan; Walch, Robert; Galovich, Cynthia; Semak, Matthew

    2011-10-01

    The challenge of reentering the Earth's atmosphere is not new. For years, NASA has successfully designed vessels that have endured the harsh process of reentry. However, in most cases, this is made possible only through the act of over-engineering; designing to withstand conditions far beyond what is expected to be encountered. Though this method has been effective, there would be benefit in knowing more precisely what to expect upon atmospheric reentry. The University of Northern Colorado Reentry Experiment SAT-X project, launched from Wallops Island, Virginia on July 21, 2011, was designed to shed light on the reentry process by collecting motion data for a capsule ejected from a rocket. Moreover, a secondary objective was to test the capability of the prototype capsule to serve as a platform for future reentry experiments. The mission and preliminary results from the launch will be described.

  17. PhoneSat - The Smartphone Nanosatellite

    NASA Technical Reports Server (NTRS)

    Cockrell, James J.; Yost, Bruce; Petro, Andrew

    2013-01-01

    NASA's PhoneSat project tests whether spacecraft can be built using smartphones to launch the lowest-cost satellites ever flown in space. Each PhoneSat nanosatellite is one cubesat unit - a satellite in a 10 cm (approx. 4 inches) cube or about the size of a tissue box - and weighs approximately 1 kg (2.2 pounds). Engineers believe PhoneSat technology will enable NASA to launch multiple new satellites capable of conducting science and exploration missions at a small fraction of the cost of conventional satellites.

  18. PhoneSat - The Smartphone Nanosatellite

    NASA Technical Reports Server (NTRS)

    Cockrell, James J.; Yost, Bruce; Petro, Andrew

    2013-01-01

    NASAs PhoneSat project will test whether spacecraft can be built using smartphones to launch the lowest-cost satellites ever flown in space. Each PhoneSat nanosatellite is one cubesat unit - a satellite in a 10 cm (approx. 4 inches) cube or about the size of a tissue box - and weighs approximately three pounds. Engineers believe PhoneSat technology will enable NASA to launch multiple new satellites capable of conducting science and exploration missions at a small fraction of the cost of conventional satellites.

  19. SAT-Solving Based on Boundary Point Elimination

    NASA Astrophysics Data System (ADS)

    Goldberg, Eugene; Manolios, Panagiotis

    We study the problem of building structure-aware SAT-solvers based on resolution. In this study, we use the idea of treating a resolution proof as a process of Boundary Point Elimination (BPE). We identify two problems of using SAT-algorithms with Conflict Driven Clause Learning (CDCL) for structure-aware SAT-solving. We introduce a template of resolution based SAT-solvers called BPE-SAT that is based on a few generic implications of the BPE concept. BPE-SAT can be viewed as a generalization of CDCL SAT-solvers and is meant for building new structure-aware SAT-algorithms. We give experimental results substantiating the ideas of the BPE approach. In particular, to show the importance of structural information we compare an implementation of BPE-SAT and state-of-the-art SAT-solvers on narrow CNF formulas.

  20. Certifying Domain-Specific Policies

    NASA Technical Reports Server (NTRS)

    Lowry, Michael; Pressburger, Thomas; Rosu, Grigore; Koga, Dennis (Technical Monitor)

    2001-01-01

    Proof-checking code for compliance to safety policies potentially enables a product-oriented approach to certain aspects of software certification. To date, previous research has focused on generic, low-level programming-language properties such as memory type safety. In this paper we consider proof-checking higher-level domain -specific properties for compliance to safety policies. The paper first describes a framework related to abstract interpretation in which compliance to a class of certification policies can be efficiently calculated Membership equational logic is shown to provide a rich logic for carrying out such calculations, including partiality, for certification. The architecture for a domain-specific certifier is described, followed by an implemented case study. The case study considers consistency of abstract variable attributes in code that performs geometric calculations in Aerospace systems.

  1. HaloSat- A CubeSat to Study the Hot Galactic Halo

    NASA Astrophysics Data System (ADS)

    Kaaret, Philip

    We propose to develop, build, and fly HaloSat, a CubeSat capable of measuring the oxygen line emission from the hot Galactic halo. A dedicated CubeSat enables an instrument design and observing strategy to maximize the halo signal while minimizing foregrounds from solar wind charge exchange interactions within the solar system. We will use HaloSat to map the distribution of hot gas in the Milky Way and determine whether it fills an extended, and thus massive halo, or whether the halo is compact, and thus does not contribute significantly to the total mass of the Milky Way. HaloSat can be accomplished at modest cost using a CubeSat, a novel platform for space astrophysics missions. We will use a commercially available CubeSat bus and commercially available X-ray detectors to reduce development risk and minimize overall mission cost. HaloSat builds on the initiatives of GSFC/Wallops Flight Facility (WFF) in the development of CubeSats for low cost access to space and relies on the technical expertise of WFF personnel for spacecraft and mission design and operations. The team, from University of Iowa (UI), GSFC, Johns Hopkins, and CNRS (France), contains experts in X-ray detector development and data analysis and the astrophysics of hot plasmas and Galactic structure. The UI team will include a number of junior researchers (undergraduates, graduate students, and a postdoc) and help train them for future leadership roles on NASA space flight missions.

  2. PhoneSat - The Smartphone Nanosatellite

    NASA Technical Reports Server (NTRS)

    Westley, Deborah; Yost, Bruce; Petro, Andrew

    2013-01-01

    PhoneSat 2.4, carried into space on November 19, 2013 aboard a Minotaur I rocket from the Mid-Atlantic Regional Spaceport at NASAs Wallops Flight Facility in Virginia, is the first of the PhoneSat family to use a two-way S-band radio to allow engineers to command the satellite from Earth. This mission also serves as a technology demonstration for a novel attitude determination and control system (ADCS) that establishes and stabilizes the satellites attitude relative to Earth. Unlike the earlier PhoneSats that used a Nexus One, PhoneSat 2.4 uses the Nexus S smartphone, which runs Googles Android operating system, and is made by Samsung Electronics Co., Suwon, So. Korea. The smartphone provides many of the functions needed by the satellite such as a central computer, data memory, ready-made interfaces for communications, navigation and power all pre-assembled in a rugged electronics package.

  3. Score Trends, SAT Validity and Subgroup Differences

    ERIC Educational Resources Information Center

    Camara, Wayne

    2008-01-01

    Presented at the Summer Institute on College Admissions at Harvard in June 2008. The presentation explores whether the SAT validity has changed with the test changes and if those changes affect specific subgroups.

  4. CloudSat View of Flossie

    NASA Video Gallery

    CloudSat passed directly over Tropical Storm Flossie on July 29 and showed cumulus and stratocumulus clouds in northern Hawaii and cumulonimbus clouds over the southern part. Large amounts of liqui...

  5. The SAT: An Essay in Uncertainty

    ERIC Educational Resources Information Center

    Mlodinow, Leonard

    2008-01-01

    In this article, the author talks about the release of the most comprehensive study of SAT exams. The headline on the Web site of the College Board, the maker of the test, was, "SAT Studies Show Test's Strength in Predicting College Success." At the same time, a headline on the Web site of the group FairTest, a 23-year-old, nonprofit watchdog…

  6. Joint SatOPS Compatibility Efforts

    NASA Technical Reports Server (NTRS)

    Smith, Danford

    2010-01-01

    This slide presentation reviews NASA Goddard Space Flight Center's (GSFC) participation in the interagency cooperation committee, the Joint SatOps Compatibility Committee (JSCC), and the compatible Sat 2 efforts. Part of GSFC's participation in the JSCC is to work with the Goddard Mission Systems Evolution Center (GMSEC) to provides a publish/subscribe framework to enable rapid integration of commercially available satellite control products.

  7. 24 CFR 1710.504 - Cooperation among certified states and between certified states and the Secretary.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... and consolidations filed with it by developers of land located within its borders for and as needed by developers required to submit certified copies to the Secretary and all other certified states. The... with the Secretary and other certified states by requiring that developers of land within its...

  8. 24 CFR 1710.504 - Cooperation among certified states and between certified states and the Secretary.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... and consolidations filed with it by developers of land located within its borders for and as needed by developers required to submit certified copies to the Secretary and all other certified states. The... with the Secretary and other certified states by requiring that developers of land within its...

  9. 24 CFR 1710.504 - Cooperation among certified states and between certified states and the Secretary.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... and consolidations filed with it by developers of land located within its borders for and as needed by developers required to submit certified copies to the Secretary and all other certified states. The... with the Secretary and other certified states by requiring that developers of land within its...

  10. 24 CFR 1710.504 - Cooperation among certified states and between certified states and the Secretary.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 24 Housing and Urban Development 5 2010-04-01 2010-04-01 false Cooperation among certified states....504 Cooperation among certified states and between certified states and the Secretary. (a) By filing... exceed the federal standard provided that such requirements are not in conflict with the Act or...

  11. 31 CFR 315.57 - When a certifying officer may not certify.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false When a certifying officer may not certify. 315.57 Section 315.57 Money and Finance: Treasury Regulations Relating to Money and Finance.... SAVINGS BONDS, SERIES A, B, C, D, E, F, G, H, J, AND K, AND U.S. SAVINGS NOTES Certifying Officers §...

  12. Certified Nurses' Aide Job-Related Curriculum.

    ERIC Educational Resources Information Center

    Massachusetts Career Development Inst., Springfield.

    This document, which is designed for students preparing to become a certified nurses' aide, contains instructional text and learning activities organized in nine sections. The following topics are covered: the role of the certified nurse's aide (job duties, personal health, professionalism, code of ethics); infection control (the infection…

  13. 40 CFR 141.28 - Certified laboratories.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 Protection of Environment 24 2013-07-01 2013-07-01 false Certified laboratories. 141.28 Section 141.28 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) WATER PROGRAMS (CONTINUED... certified by the State except that measurements of alkalinity, calcium, conductivity, disinfectant...

  14. 40 CFR 141.28 - Certified laboratories.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 24 2012-07-01 2012-07-01 false Certified laboratories. 141.28 Section 141.28 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) WATER PROGRAMS (CONTINUED... certified by the State except that measurements of alkalinity, calcium, conductivity, disinfectant...

  15. 40 CFR 141.28 - Certified laboratories.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 22 2010-07-01 2010-07-01 false Certified laboratories. 141.28 Section 141.28 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) WATER PROGRAMS (CONTINUED... certified by the State except that measurements of alkalinity, calcium, conductivity, disinfectant...

  16. 28 CFR 33.32 - Certified programs.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... problems of crime, such as drug trafficking, which have been certified by the Director, after a process of... enable citizens and police to undertake initiatives to prevent and control neighborhood crime. (ii) Certified program: Community crime prevention. This program aims to prevent crime and reduce the fear...

  17. 28 CFR 33.32 - Certified programs.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... problems of crime, such as drug trafficking, which have been certified by the Director, after a process of... enable citizens and police to undertake initiatives to prevent and control neighborhood crime. (ii) Certified program: Community crime prevention. This program aims to prevent crime and reduce the fear...

  18. 28 CFR 33.32 - Certified programs.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... problems of crime, such as drug trafficking, which have been certified by the Director, after a process of... enable citizens and police to undertake initiatives to prevent and control neighborhood crime. (ii) Certified program: Community crime prevention. This program aims to prevent crime and reduce the fear...

  19. 28 CFR 33.32 - Certified programs.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... problems of crime, such as drug trafficking, which have been certified by the Director, after a process of... enable citizens and police to undertake initiatives to prevent and control neighborhood crime. (ii) Certified program: Community crime prevention. This program aims to prevent crime and reduce the fear...

  20. 40 CFR 158.350 - Certified limits.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 24 2011-07-01 2011-07-01 false Certified limits. 158.350 Section 158.350 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) PESTICIDE PROGRAMS DATA REQUIREMENTS FOR PESTICIDES Product Chemistry § 158.350 Certified limits. The applicant must propose...

  1. 40 CFR 158.350 - Certified limits.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 Protection of Environment 25 2013-07-01 2013-07-01 false Certified limits. 158.350 Section 158.350 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) PESTICIDE PROGRAMS DATA REQUIREMENTS FOR PESTICIDES Product Chemistry § 158.350 Certified limits. The applicant must propose...

  2. 40 CFR 158.350 - Certified limits.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 25 2012-07-01 2012-07-01 false Certified limits. 158.350 Section 158.350 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) PESTICIDE PROGRAMS DATA REQUIREMENTS FOR PESTICIDES Product Chemistry § 158.350 Certified limits. The applicant must propose...

  3. 40 CFR 158.350 - Certified limits.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 23 2010-07-01 2010-07-01 false Certified limits. 158.350 Section 158.350 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) PESTICIDE PROGRAMS DATA REQUIREMENTS FOR PESTICIDES Product Chemistry § 158.350 Certified limits. The applicant must propose...

  4. Certifying Auto-Generated Flight Code

    NASA Technical Reports Server (NTRS)

    Denney, Ewen

    2008-01-01

    Model-based design and automated code generation are being used increasingly at NASA. Many NASA projects now use MathWorks Simulink and Real-Time Workshop for at least some of their modeling and code development. However, there are substantial obstacles to more widespread adoption of code generators in safety-critical domains. Since code generators are typically not qualified, there is no guarantee that their output is correct, and consequently the generated code still needs to be fully tested and certified. Moreover, the regeneration of code can require complete recertification, which offsets many of the advantages of using a generator. Indeed, manual review of autocode can be more challenging than for hand-written code. Since the direct V&V of code generators is too laborious and complicated due to their complex (and often proprietary) nature, we have developed a generator plug-in to support the certification of the auto-generated code. Specifically, the AutoCert tool supports certification by formally verifying that the generated code is free of different safety violations, by constructing an independently verifiable certificate, and by explaining its analysis in a textual form suitable for code reviews. The generated documentation also contains substantial tracing information, allowing users to trace between model, code, documentation, and V&V artifacts. This enables missions to obtain assurance about the safety and reliability of the code without excessive manual V&V effort and, as a consequence, eases the acceptance of code generators in safety-critical contexts. The generation of explicit certificates and textual reports is particularly well-suited to supporting independent V&V. The primary contribution of this approach is the combination of human-friendly documentation with formal analysis. The key technical idea is to exploit the idiomatic nature of auto-generated code in order to automatically infer logical annotations. The annotation inference algorithm

  5. The NASA CloudSat Education Network

    NASA Astrophysics Data System (ADS)

    Krumm, D. K.

    2006-05-01

    CloudSat, a NASA Earth System Science Pathfinder Mission, will launch into orbit the world's most advanced weather radar designed to measure properties of clouds that are essential for accurate understanding of Earth's weather and climate processes. Providing the first vertical profiles of global measurements of cloud thickness, height, water and ice content and a wide range of precipitation data linked to cloud development, CloudSat measurements will fill a critical gap in understanding how clouds affect climate. Any mission of this nature requires extensive ground-based reference data. The CloudSat Education Network provides the opportunity for schools around the world to partner with the CloudSat Science Team and the NASA-sponsored GLOBE Program. The Network will link together scientists, students, teachers, and their communities to give students meaningful, authentic and contemporary science education experiences. Student activities and learning outcomes are being developed to meet both general education outcomes and specific standards or objectives from school curricula. The main focus of the knowledge development component of the project is to help students better understand long-term climate change and the climatic processes that maintain the Earth's Energy balance. Student research with CloudSat/GLOBE data will be strongly encouraged. Scientists will receive research-quality data in support of the mission and in return will interact with teachers and their students to promote interest in science. Participation in the network throughout the duration of the project will be monitored and schools will be asked to maintain levels of participation in order to give CloudSat scientists a solid consistent base of data to support their research. The preferred base level of participation is the reporting of cloud, temperature and precipitation data according to modified GLOBE protocols approximately every 16 days coinciding with the CloudSat satellite overpass. The

  6. KidSat: Image User's Manual

    NASA Technical Reports Server (NTRS)

    Way, JoBea; Andres, Paul; Baker, John; Goodson, Greg; Marshall, William; McGuire, John; Rackley, Kathleen; Stork, Elizabeth Jones; Yiu, Lisa

    1999-01-01

    The goal of KidSat was to provide young students with the opportunity to participate directly in the NASA space program and to enhance learning in the process. The KidSat pilot project was focused on using a color digital camera, mounted on the space shuttle, to take pictures of the Earth. These could be used to enhance middle school curricula. The project not only benefited middle school students, who were essentially the Science Team, responsible for deciding where to take pictures, but it also benefited high school students and undergraduates, who were essentially the Project Team, responsible for the development and implementation of the project. KidSat flew on three missions as part of the pilot project: STS-76, STS-81, and STS-86. This document describes the goals, project elements, results, and data for the three KidSat missions that made up the pilot program. It serves as a record for this pilot project and may be used as a reference for similar projects. It can also be a too] in using the data to its fullest extent. The KidSat Web page remains on-line at http://kidsat.jpl.nasa.gov/kidsat, and the images may be downloaded in their full resolution.

  7. TemperSAT: A new efficient fair-sampling random k-SAT solver

    NASA Astrophysics Data System (ADS)

    Fang, Chao; Zhu, Zheng; Katzgraber, Helmut G.

    The set membership problem is of great importance to many applications and, in particular, database searches for target groups. Recently, an approach to speed up set membership searches based on the NP-hard constraint-satisfaction problem (random k-SAT) has been developed. However, the bottleneck of the approach lies in finding the solution to a large SAT formula efficiently and, in particular, a large number of independent solutions is needed to reduce the probability of false positives. Unfortunately, traditional random k-SAT solvers such as WalkSAT are biased when seeking solutions to the Boolean formulas. By porting parallel tempering Monte Carlo to the sampling of binary optimization problems, we introduce a new algorithm (TemperSAT) whose performance is comparable to current state-of-the-art SAT solvers for large k with the added benefit that theoretically it can find many independent solutions quickly. We illustrate our results by comparing to the currently fastest implementation of WalkSAT, WalkSATlm.

  8. 40 CFR 161.175 - Certified limits.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... REQUIREMENTS FOR REGISTRATION OF ANTIMICROBIAL PESTICIDES Product Chemistry Data Requirements § 161.175... how the certified limits were arrived at (e.g., sample analysis, quantitative estimate based...

  9. Certified organic vegetable production for market

    Technology Transfer Automated Retrieval System (TEKTRAN)

    Federal guidelines for organic certification in 2002 provided structure for producers and processors to market certified organic foods. The guidelines provide general provisions and processes for obtaining and maintaining organic certification, but did not specify best management practices for crop...

  10. Get Your Automotive Program Nationally Certified!

    ERIC Educational Resources Information Center

    Lundquist, Patricia A.

    2000-01-01

    Automotive programs that nationally certified enhance student recruitment and give students better employment opportunities. Technicians who earn the Automotive Service Excellence credential have joined the ranks of professionals in the automotive service industry. (Author/JOW)

  11. 40 CFR 141.28 - Certified laboratories.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 141.28 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) WATER PROGRAMS (CONTINUED) NATIONAL PRIMARY DRINKING WATER REGULATIONS Monitoring and Analytical Requirements § 141.28 Certified... supplier of water with the applicable requirements of this part....

  12. 40 CFR 141.28 - Certified laboratories.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 141.28 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) WATER PROGRAMS (CONTINUED) NATIONAL PRIMARY DRINKING WATER REGULATIONS Monitoring and Analytical Requirements § 141.28 Certified... supplier of water with the applicable requirements of this part....

  13. The Amma-Sat Database

    NASA Astrophysics Data System (ADS)

    Ramage, K.; Desbois, M.; Eymard, L.

    2004-12-01

    The African Monsoon Multidisciplinary Analysis project is a French initiative, which aims at identifying and analysing in details the multidisciplinary and multi-scales processes that lead to a better understanding of the physical mechanisms linked to the African Monsoon. The main components of the African Monsoon are: Atmospheric Dynamics, the Continental Water Cycle, Atmospheric Chemistry, Oceanic and Continental Surface Conditions. Satellites contribute to various objectives of the project both for process analysis and for large scale-long term studies: some series of satellites (METEOSAT, NOAA,.) have been flown for more than 20 years, ensuring a good quality monitoring of some of the West African atmosphere and surface characteristics. Moreover, several recent missions, and several projects will strongly improve and complement this survey. The AMMA project offers an opportunity to develop the exploitation of satellite data and to make collaboration between specialist and non-specialist users. In this purpose databases are being developed to collect all past and future satellite data related to the African Monsoon. It will then be possible to compare different types of data from different resolution, to validate satellite data with in situ measurements or numerical simulations. AMMA-SAT database main goal is to offer an easy access to satellite data to the AMMA scientific community. The database contains geophysical products estimated from operational or research algorithms and covering the different components of the AMMA project. Nevertheless, the choice has been made to group data within pertinent scales rather than within their thematic. In this purpose, five regions of interest where defined to extract the data: An area covering Tropical Atlantic and Africa for large scale studies, an area covering West Africa for mesoscale studies and three local areas surrounding sites of in situ observations. Within each of these regions satellite data are projected on

  14. Partitioning SAT Instances for Distributed Solving

    NASA Astrophysics Data System (ADS)

    Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka

    In this paper we study the problem of solving hard propositional satisfiability problem (SAT) instances in a computing grid or cloud, where run times and communication between parallel running computations are limited.We study analytically an approach where the instance is partitioned iteratively into a tree of subproblems and each node in the tree is solved in parallel.We present new methods for constructing partitions which combine clause learning and lookahead. The methods are incorporated into the iterative approach and its performance is demonstrated with an extensive comparison against the best sequential solvers in the SAT competition 2009 as well as against two efficient parallel solvers.

  15. Certified Nursing Assistants’ Explanatory Models of Nursing Home Resident Depression

    PubMed Central

    Piven, Mary Lynn; Anderson, Ruth A.; Colón-Emeric, Cathleen S.; Sandelowski, Margarete

    2008-01-01

    In this study, we explored how Certified Nursing Assistants (CNAs) understood resident depression. Interviews with 18 CNAs, working in two nursing homes were guided by Kleinman’s Explanatory Models of Illness framework. Interview data were content analyzed and CNAs’ descriptions of depression were compared to the MDS 2.0 Mood Screen and to DSM-IV-TR Depression Criteria. CNAs identified causes, signs, and symptoms of depression, but they were unsure about the duration and normalcy of depression in residents. Although they had no formal training, CNAs felt responsible for detecting depression and described verbal and non-verbal approaches that they used for emotional care of depressed residents. CNAs hold potential to improve the detection of depression and contribute to the emotional care of residents. Attention to knowledge deficits and facility barriers may enhance this capacity. PMID:18390825

  16. Overestimation Bias in Self-Reported SAT Scores

    ERIC Educational Resources Information Center

    Mayer, Richard E.; Stull, Andrew T.; Campbell, Julie; Almeroth, Kevin; Bimber, Bruce; Chun, Dorothy; Knight, Allan

    2007-01-01

    The authors analyzed self-reported SAT scores and actual SAT scores for five different samples of college students (N = 650). Students overestimated their actual SAT scores by an average of 25 points (SD = 81, d = 0.31), with 10% under-reporting, 51% reporting accurately, and 39% over-reporting, indicating a systematic bias towards over-reporting.…

  17. SAT Participation and Performance for the Class of 2014. Memorandum

    ERIC Educational Resources Information Center

    Sanderson, Geoffrey T.

    2014-01-01

    SAT participation and performance are milestones on the path to college and career readiness. This report provides the results for SAT participation and performance in Montgomery County (Maryland) Public Schools (MCPS) for the class of 2014. Analysis of postsecondary outcomes for MCPS graduates indicates that graduates who took the SAT were more…

  18. Issues of Validity of SAT Subject Test: Korean with Listening

    ERIC Educational Resources Information Center

    Lee, Saekyun H.; Han, Hyunjoo

    2007-01-01

    This study investigated some issues regarding the validity of the Scholastic Achievement Test (SAT) Subject Test: Korean with Listening. The SAT Korean has been administered just once a year since its inception in 1997. As of March 2006, it had been administered nine times. However, SAT foreign language tests are not as rigorously researched as…

  19. Two CubeSats Deployed from the International Space Station

    NASA Video Gallery

    This movie of a CubeSat deployment from the International Space Station shows a compilation of photos taken by astronauts on May 16, 2016. The bottom-most CubeSat is the NASA-funded MinXSS CubeSat,...

  20. Software Formal Inspections Guidebook

    NASA Technical Reports Server (NTRS)

    1993-01-01

    The Software Formal Inspections Guidebook is designed to support the inspection process of software developed by and for NASA. This document provides information on how to implement a recommended and proven method for conducting formal inspections of NASA software. This Guidebook is a companion document to NASA Standard 2202-93, Software Formal Inspections Standard, approved April 1993, which provides the rules, procedures, and specific requirements for conducting software formal inspections. Application of the Formal Inspections Standard is optional to NASA program or project management. In cases where program or project management decide to use the formal inspections method, this Guidebook provides additional information on how to establish and implement the process. The goal of the formal inspections process as documented in the above-mentioned Standard and this Guidebook is to provide a framework and model for an inspection process that will enable the detection and elimination of defects as early as possible in the software life cycle. An ancillary aspect of the formal inspection process incorporates the collection and analysis of inspection data to effect continual improvement in the inspection process and the quality of the software subjected to the process.

  1. Geometry and Formal Linguistics.

    ERIC Educational Resources Information Center

    Huff, George A.

    This paper presents a method of encoding geometric line-drawings in a way which allows sets of such drawings to be interpreted as formal languages. A characterization of certain geometric predicates in terms of their properties as languages is obtained, and techniques usually associated with generative grammars and formal automata are then applied…

  2. HaloSat - A CubeSat to Study the Hot Galactic Halo

    NASA Astrophysics Data System (ADS)

    Kaaret, Philip

    2016-04-01

    Observations of the nearby universe fail to locate about half of the normal matter (baryons) observed in the early universe. The missing baryons may be in hot galactic halos. HaloSat is a CubeSat designed to map oxygen line emission (O VII and O VIII) around the Milky Way in order to constrain the mass and spatial distribution of hot gas in the halo. HaloSat has a grasp competitive with current X-ray observatories. Its observing program will be optimized to minimize contributions from solar wind charge exchange (SWCX) emission that limit the accuracy of current measurements. We will describe the HaloSat mission concept, progress towards its implementation, and plans for archiving and distribution of the data.

  3. Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers

    NASA Astrophysics Data System (ADS)

    Banbara, Mutsunori; Matsunaka, Haruki; Tamura, Naoyuki; Inoue, Katsumi

    Generating test cases for combinatorial testing is to find a covering array in Combinatorial Designs. In this paper, we consider the problem of finding optimal covering arrays by SAT encoding. We present two encodings suitable for modern CDCL SAT solvers. One is based on the order encoding that is efficient in the sense that unit propagation achieves the bounds consistency in CSPs. Another one is based on a combination of the order encoding and Hnich's encoding. CDCL SAT solvers have an important role in the latest SAT technology. The effective use of them is essential for enhancing efficiency. In our experiments, we found solutions that can be competitive with the previously known results for the arrays of strength two to six with small to moderate size of components and symbols. Moreover, we succeeded either in proving the optimality of known bounds or in improving known lower bounds for some arrays.

  4. Pre- to Post- CubeSats

    NASA Astrophysics Data System (ADS)

    Cutler, J.

    2015-12-01

    CubeSats sprung from a formative picosatellite effort at a university in the heart of Silicon Valley, took root in a university-led university environment, and have grown into complex-shaped explorers in both near and soon-to-be deep space. Private citizens, businesses, government are building and launching a variety of science, technology demonstration, and service missions. A new generation of space explorers is gaining first hand experience in space missions at all educational levels. There is new life and new energy in the space program. However, space is still difficult. The environment is harsh. Funding is sparse. This talk explores this history and the future of CubeSats from the context of a university-centric laboratory that emphasizes teaching, research, and entrepreneurial impact. It will explore the following questions: What sparked the CubeSat innovation? What are longer lasting lessons of this community? Where are places we can go next? What does it take to get there? The talk will draw on lessons learned from building over six on-orbit CubeSat missions and training hundreds of space engineers.

  5. The RadioSat (sm) network

    NASA Technical Reports Server (NTRS)

    Noreen, Gary K.

    1991-01-01

    The RadioSat network under development by radio Satellite Corporation will use mobile satellite (MSAT) technology to provide diverse personal communications, broadcast, and navigation services. The network will support these services simultaneously for integrated mobile radios throughout Canada and the United States. The RadioSat network takes advantage of several technological breakthroughs, all coming to fruition by the time the first MSAT satellite is launched in 1994. The most important of these breakthroughs is the enormous radiated power of each MSAT spacecraft - orders of magnitude greater than the radiated power of previous L-band spacecraft. Another important breakthrough is the development of advanced digital audio compression algorithms, enabling the transmission of broadcast quality music at moderate data rates. Finally, continuing dramatic increases in VLSI capabilities permit the production of complex, multi-function mobile satellite radios in very large quantities at prices little more than those of conventional car radios. In addition to performance breakthroughs and their economic implications to RadioSat, the design of the RadioSat network is reviewed.

  6. Investigating SATS-36 for a Matriculation Sample

    ERIC Educational Resources Information Center

    Krishnan, Saras; Idris, Noraini

    2015-01-01

    Students' attitudes towards statistics have been more often negative due to many factors such as initial perception of the subject, low ability in mathematics and lack of motivation to study statistics. Studies involving SATS-36 included investigation of the different factors in relation to students' attitude towards statistics. Other studies have…

  7. The RadioSat (sm) network

    NASA Astrophysics Data System (ADS)

    Noreen, Gary K.

    1991-09-01

    The RadioSat network under development by radio Satellite Corporation will use mobile satellite (MSAT) technology to provide diverse personal communications, broadcast, and navigation services. The network will support these services simultaneously for integrated mobile radios throughout Canada and the United States. The RadioSat network takes advantage of several technological breakthroughs, all coming to fruition by the time the first MSAT satellite is launched in 1994. The most important of these breakthroughs is the enormous radiated power of each MSAT spacecraft - orders of magnitude greater than the radiated power of previous L-band spacecraft. Another important breakthrough is the development of advanced digital audio compression algorithms, enabling the transmission of broadcast quality music at moderate data rates. Finally, continuing dramatic increases in VLSI capabilities permit the production of complex, multi-function mobile satellite radios in very large quantities at prices little more than those of conventional car radios. In addition to performance breakthroughs and their economic implications to RadioSat, the design of the RadioSat network is reviewed.

  8. COLD-SAT Dynamic Model Computer Code

    NASA Technical Reports Server (NTRS)

    Bollenbacher, G.; Adams, N. S.

    1995-01-01

    COLD-SAT Dynamic Model (CSDM) computer code implements six-degree-of-freedom, rigid-body mathematical model for simulation of spacecraft in orbit around Earth. Investigates flow dynamics and thermodynamics of subcritical cryogenic fluids in microgravity. Consists of three parts: translation model, rotation model, and slosh model. Written in FORTRAN 77.

  9. Unflagged SATs: Who Benefits from Special Accommodations?

    ERIC Educational Resources Information Center

    Abrams, Samuel J.

    2005-01-01

    When the College Board announced, in the summer of 2002, that it would stop "flagging" the test scores of students who were given special accommodations for the SAT, the gold standard exam for college admission, disability advocates were thrilled. "A triumphant day for millions of people with dyslexia and other disabilities," exclaimed Thomas…

  10. SAT Scores at NAIS Member Schools

    ERIC Educational Resources Information Center

    Torres, Amada

    2015-01-01

    Between March and June 2014, more than 1.67 million students from the 2014 graduating class took the SAT, marking a new participation record for the test. At the request of the National Association of Independent Schools (NAIS), the College Board created a special report that allows the association to compare how independent school students fared…

  11. SAT's Next Chapter about to Be Written

    ERIC Educational Resources Information Center

    Honawar, Vaishali

    2005-01-01

    Starting in March 2005, the SAT, taken annually by more than 1.4 million college-bound students, will undergo its most significant change since 1994, when the College Board, which sponsors the test, first allowed calculators into test rooms, added open-ended math questions, and eliminated antonyms and added more critical-reading passages in the…

  12. 7 CFR 201.69 - Classes of certified seed.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 3 2013-01-01 2013-01-01 false Classes of certified seed. 201.69 Section 201.69..., Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.69 Classes of certified seed. (a) Classes of certified seed are as...

  13. 7 CFR 201.69 - Classes of certified seed.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false Classes of certified seed. 201.69 Section 201.69..., Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.69 Classes of certified seed. (a) Classes of certified seed are as...

  14. 7 CFR 201.69 - Classes of certified seed.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 3 2012-01-01 2012-01-01 false Classes of certified seed. 201.69 Section 201.69..., Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.69 Classes of certified seed. (a) Classes of certified seed are as...

  15. 7 CFR 201.69 - Classes of certified seed.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 3 2014-01-01 2014-01-01 false Classes of certified seed. 201.69 Section 201.69..., Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.69 Classes of certified seed. (a) Classes of certified seed are as...

  16. 7 CFR 201.69 - Classes of certified seed.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 3 2011-01-01 2011-01-01 false Classes of certified seed. 201.69 Section 201.69..., Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.69 Classes of certified seed. (a) Classes of certified seed are as...

  17. 31 CFR 360.58 - Forms to be certified.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 31 Money and Finance:Treasury 2 2013-07-01 2013-07-01 false Forms to be certified. 360.58 Section... STATES SAVINGS BONDS, SERIES I Certifying Officers § 360.58 Forms to be certified. When required in the instructions on a Public Debt transaction form, the form must be signed before an authorized certifying officer....

  18. 31 CFR 360.58 - Forms to be certified.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 31 Money and Finance:Treasury 2 2011-07-01 2011-07-01 false Forms to be certified. 360.58 Section... STATES SAVINGS BONDS, SERIES I Certifying Officers § 360.58 Forms to be certified. When required in the instructions on a Public Debt transaction form, the form must be signed before an authorized certifying officer....

  19. 31 CFR 360.58 - Forms to be certified.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Forms to be certified. 360.58 Section... STATES SAVINGS BONDS, SERIES I Certifying Officers § 360.58 Forms to be certified. When required in the instructions on a Public Debt transaction form, the form must be signed before an authorized certifying officer....

  20. 31 CFR 360.58 - Forms to be certified.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 31 Money and Finance:Treasury 2 2012-07-01 2012-07-01 false Forms to be certified. 360.58 Section... STATES SAVINGS BONDS, SERIES I Certifying Officers § 360.58 Forms to be certified. When required in the instructions on a Public Debt transaction form, the form must be signed before an authorized certifying officer....

  1. 7 CFR 205.661 - Investigation of certified operations.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 3 2013-01-01 2013-01-01 false Investigation of certified operations. 205.661 Section... certified operations. (a) A certifying agent may investigate complaints of noncompliance with the Act or regulations of this part concerning production and handling operations certified as organic by the...

  2. 37 CFR 2.201 - Copies and certified copies.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 37 Patents, Trademarks, and Copyrights 1 2010-07-01 2010-07-01 false Copies and certified copies... Trademark Office § 2.201 Copies and certified copies. (a) Non-certified copies of trademark registrations... appropriate fee required by § 2.6. (b) Certified copies of trademark registrations and of any...

  3. 7 CFR 945.7 - Certified seed potatoes.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 8 2011-01-01 2011-01-01 false Certified seed potatoes. 945.7 Section 945.7... Agreements and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE IRISH POTATOES GROWN IN CERTAIN... Certified seed potatoes. Certified seed potatoes means and includes all potatoes officially certified...

  4. 7 CFR 945.7 - Certified seed potatoes.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 8 2014-01-01 2014-01-01 false Certified seed potatoes. 945.7 Section 945.7... AGREEMENTS AND ORDERS; FRUITS, VEGETABLES, NUTS), DEPARTMENT OF AGRICULTURE IRISH POTATOES GROWN IN CERTAIN... Certified seed potatoes. Certified seed potatoes means and includes all potatoes officially certified...

  5. 7 CFR 945.7 - Certified seed potatoes.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 8 2013-01-01 2013-01-01 false Certified seed potatoes. 945.7 Section 945.7... AGREEMENTS AND ORDERS; FRUITS, VEGETABLES, NUTS), DEPARTMENT OF AGRICULTURE IRISH POTATOES GROWN IN CERTAIN... Certified seed potatoes. Certified seed potatoes means and includes all potatoes officially certified...

  6. 7 CFR 945.7 - Certified seed potatoes.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 8 2012-01-01 2012-01-01 false Certified seed potatoes. 945.7 Section 945.7... Agreements and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE IRISH POTATOES GROWN IN CERTAIN... Certified seed potatoes. Certified seed potatoes means and includes all potatoes officially certified...

  7. 7 CFR 945.7 - Certified seed potatoes.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 8 2010-01-01 2010-01-01 false Certified seed potatoes. 945.7 Section 945.7... Agreements and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE IRISH POTATOES GROWN IN CERTAIN... Certified seed potatoes. Certified seed potatoes means and includes all potatoes officially certified...

  8. A Comparison of the Ethical Beliefs of Certified Rehabilitation Counselors and National Certified Counselors

    ERIC Educational Resources Information Center

    Tarvydas, V. M.; Leahy, M. J.; Saunders, J. L.

    2004-01-01

    Results of a national survey of certified rehabilitation counselors (CRCs) are compared with those obtained by Gibson and Pope (1993) from a national sample of national certified counselors (NCCs) to determine their beliefs about whether particular behaviors are ethical, and the degree of consensus or controversy about these behaviors.…

  9. SAT: a Late NS Protein of Porcine Parvovirus

    PubMed Central

    Zádori, Zoltán; Szelei, József; Tijssen, Peter

    2005-01-01

    The genomes of all members of the Parvovirus genus were found to contain a small open reading frame (ORF), designated SAT, with a start codon four or seven nucleotides downstream of the VP2 initiation codon. Green fluorescent protein or FLAG fusion constructs of SAT demonstrated that these ORFs were expressed. Although the SAT proteins of the different parvoviruses are not particularly conserved, they were all predicted to contain a membrane-spanning helix, and mutations in this hydrophobic stretch affected the localization of the SAT protein. SAT colocalized with calreticulin in the membranes of the endoplasmic reticulum and the nucleus. A knockout mutant (SAT−), with an unmodified VP sequence, showed a “slow-spreading” phenotype. These knockout mutants could be complemented with VP2− SAT+ mutant. The SAT protein is a late nonstructural (NS) protein, in contrast to previously identified NS proteins, since it is expressed from the same mRNA as VP2. PMID:16189014

  10. An investigation of safety climate in OHSAS 18001-certified and non-certified organizations.

    PubMed

    Ghahramani, Abolfazl

    2016-09-01

    Many organizations worldwide have implemented Occupational Health and Safety Assessment Series (OHSAS) 18001 in their premises because of the assumed positive effects of this standard on safety. Few studies have analyzed the effect of the safety climate in OHSAS 18001-certified organizations. This case-control study used a new safety climate questionnaire to evaluate three OHSAS 18001-certified and three non-certified manufacturing companies in Iran. Hierarchical regression indicated that the safety climate was influenced by OHSAS implementation and by safety training. Employees who received safety training had better perceptions of the safety climate and its dimensions than other respondents within the certified companies. This study found that the implementation of OHSAS 18001 does not guarantee improvement of the safety climate. This study also emphasizes the need for high-quality safety training for employees of the certified companies to improve the safety climate.

  11. Achievements and Future Plan of Interplanetary CubeSats and Micro-Sats in Japan

    NASA Astrophysics Data System (ADS)

    Funase, Ryu

    2016-07-01

    This paper introduces Japanese achievements and future plans of CubeSats and Micro-Sats for deep space exploration. As the first step toward deep space mission by such tiny spacecraft, University of Tokyo and Japan Aerospace Exploration Agency (JAXA) developed the world's first deep space micro-spacecraft PROCYON (Proximate Object Close flYby with Optical Navigation). Its mission objective is to demonstrate a micro-spacecraft bus technology for deep space exploration and proximity flyby to asteroids performing optical measurements. PROCYON was launched into the Earth departure trajectory on December 3, 2014 together with Japanese asteroid sample return mission Hayabusa-2. PROCYON successfully completed the bus system demonstration mission in its interplanetary flight. Currently, Japan is not only pursuing the improvement and utilization of the demonstrated micro-sat deep space bus system with a weight of tens of kg or more for more practical scientific deep space missions, but also trying to develop smaller spacecraft with a weight of less than tens of kg, namely CubeSats, for deep space exploration. We are proposing a self-contained 6U CubeSat mission for the rideshare opportunity on the USA's SLS EM-1 mission, which will fly to a libration orbit around Earth-Moon L2 point and perform scientific observations of the Earth and the Moon. We are also seeking the possibility of CubeSats which is carried by a larger spacecraft to the destination and supports the mission by taking advantage of its low-cost and risk-tolerable feature. As an example of such style of CubeSat missions, we are studying a CubeSat for close observations of an asteroid, which will be carried to the target asteroid by a larger mother spacecraft. This CubeSat is released from the mother spacecraft to make a close flyby for scientific observations, which is difficult to be performed by the mother spacecraft if we consider the risk of the collision to the target asteroid or dust particles ejected

  12. 13 CFR 121.303 - What size procedures are used by SBA before it makes a formal size determination?

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... SBA before it makes a formal size determination? 121.303 Section 121.303 Business Credit and... by SBA before it makes a formal size determination? (a) A concern that submits an application for financial assistance is deemed to have certified that it is small under the applicable size standard....

  13. 13 CFR 121.303 - What size procedures are used by SBA before it makes a formal size determination?

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... SBA before it makes a formal size determination? 121.303 Section 121.303 Business Credit and... by SBA before it makes a formal size determination? (a) A concern that submits an application for financial assistance is deemed to have certified that it is small under the applicable size standard....

  14. Integrated formal operations plan

    SciTech Connect

    Cort, G.; Dearholt, W.; Donahue, S.; Frank, J.; Perkins, B.; Tyler, R.; Wrye, J.

    1994-01-05

    The concept of formal operations (that is, a collection of business practices to assure effective, accountable operations) has vexed the Laboratory for many years. To date most attempts at developing such programs have been based upon rigid, compliance-based interpretations of a veritable mountain of Department of Energy (DOE) orders, directives, notices, and standards. These DOE dictates seldom take the broad view but focus on highly specialized programs isolated from the overall context of formal operations. The result is a confusing array of specific, and often contradictory, requirements that produce a patchwork of overlapping niche programs. This unnecessary duplication wastes precious resources, dramatically increases the complexity of our work processes, and communicates a sense of confusion to our customers and regulators. Coupled with the artificial divisions that have historically existed among the Laboratory`s formal operations organizations (quality assurance, configuration management, records management, training, etc.), this approach has produced layers of increasingly vague and complex formal operations plans, each of which interprets its parent and adds additional requirements of its own. Organizational gridlock ensues whenever an activity attempts to implement these bureaucratic monstrosities. The integrated formal operations plan presented is to establish a set of requirements that must be met by an integrated formal operations program, assign responsibilities for implementation and operation of the program, and specify criteria against which the performance of the program will be measured. The accountable line manager specifies the items, processes, and information (the controlled elements) to which the formal operations program specified applies. The formal operations program is implemented using a graded approach based on the level of importance of the various controlled elements and the scope of the activities in which they are involved.

  15. NASA's Participation in Joint SatOPS Compatibility Efforts 2009-2010

    NASA Technical Reports Server (NTRS)

    Smith, Danford

    2010-01-01

    Many U.S. government organizations build or fly space systems: a) NASA, NOAA, Navy, Air Force, NRO, ORS. Others? b) Through the Joint SatOps Compatibility Committee (JSCC) we have increased the grass-roots interaction between many of these organizations. c) We all deal with many of the same challenges: More rapid deployments, lower budgets; Advancing technologies - frameworks, clouds, virtualization; Evolving concepts - automation, situational awareness, enterprise mngt. Standardization - formal or by common use. There is an inherently governmental role in creating the business case for contractors and commercial product vendors to move in directions beneficial to multiple government space organizations.

  16. SAT Encoding of Unification in EL

    NASA Astrophysics Data System (ADS)

    Baader, Franz; Morawska, Barbara

    Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have shown that unification in EL is NP-complete, and thus of a complexity that is considerably lower than in other Description Logics of comparably restricted expressive power. In this paper, we introduce a new NP-algorithm for solving unification problems in EL, which is based on a reduction to satisfiability in propositional logic (SAT). The advantage of this new algorithm is, on the one hand, that it allows us to employ highly optimized state-of-the-art SAT solvers when implementing an EL-unification algorithm. On the other hand, this reduction provides us with a proof of the fact that EL-unification is in NP that is much simpler than the one given in our previous paper on EL-unification.

  17. COLD-SAT feasibility study safety analysis

    NASA Technical Reports Server (NTRS)

    Mchenry, Steven T.; Yost, James M.

    1991-01-01

    The Cryogenic On-orbit Liquid Depot-Storage, Acquisition, and Transfer (COLD-SAT) satellite presents some unique safety issues. The feasibility study conducted at NASA-Lewis desired a systems safety program that would be involved from the initial design in order to eliminate and/or control the inherent hazards. Because of this, a hazards analysis method was needed that: (1) identified issues that needed to be addressed for a feasibility assessment; and (2) identified all potential hazards that would need to be controlled and/or eliminated during the detailed design phases. The developed analysis method is presented as well as the results generated for the COLD-SAT system.

  18. Big Software for SmallSats: Adapting CFS to CubeSat Missions

    NASA Technical Reports Server (NTRS)

    Cudmore, Alan P.; Crum, Gary; Sheikh, Salman; Marshall, James

    2015-01-01

    Expanding capabilities and mission objectives for SmallSats and CubeSats is driving the need for reliable, reusable, and robust flight software. While missions are becoming more complicated and the scientific goals more ambitious, the level of acceptable risk has decreased. Design challenges are further compounded by budget and schedule constraints that have not kept pace. NASA's Core Flight Software System (cFS) is an open source solution which enables teams to build flagship satellite level flight software within a CubeSat schedule and budget. NASA originally developed cFS to reduce mission and schedule risk for flagship satellite missions by increasing code reuse and reliability. The Lunar Reconnaissance Orbiter, which launched in 2009, was the first of a growing list of Class B rated missions to use cFS. Large parts of cFS are now open source, which has spurred adoption outside of NASA. This paper reports on the experiences of two teams using cFS for current CubeSat missions. The performance overheads of cFS are quantified, and the reusability of code between missions is discussed. The analysis shows that cFS is well suited to use on CubeSats and demonstrates the portability and modularity of cFS code.

  19. LifeSat - A new research vehicle

    NASA Technical Reports Server (NTRS)

    Gilbreath, William P.; Dunning, Robert W.

    1990-01-01

    LifeSat is a reusable recoverable satellite that will support research in the gravitation and radiation biology fields. It can provide sustained lower gravitational levels than manned vehicles and can access orbits where specimens can be exposed to cosmic radiation. The satellite design encompasses environmental support for vertebrate, invertebrate and plant specimens ranging from cells and tissues up to small mammals. The first launch, in a series of 7 satellite flights, is planned for late 1995.

  20. 12 CFR 327.2 - Certified statements.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... the FDIC's e-business Web site FDICconnect a quarterly certified statement invoice each assessment... of the Assessments Section. (4) Each assessment period, the FDIC will provide courtesy e-mail... available and may be accessed on FDICconnect. E-mail notification will be sent to all individuals...

  1. 31 CFR 346.14 - Certifying officers.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Certifying officers. 346.14 Section 346.14 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL... imprint of the corporate seal, or, where the institution is an authorized issuing agent for United...

  2. 31 CFR 341.14 - Certifying officers.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Certifying officers. 341.14 Section 341.14 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL... imprint of the corporate seal, or, where the institution is an authorized issuing agent for United...

  3. 40 CFR 161.175 - Certified limits.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 Protection of Environment 25 2013-07-01 2013-07-01 false Certified limits. 161.175 Section 161.175 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) PESTICIDE PROGRAMS DATA REQUIREMENTS FOR REGISTRATION OF ANTIMICROBIAL PESTICIDES Product Chemistry Data Requirements §...

  4. 40 CFR 161.175 - Certified limits.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 24 2011-07-01 2011-07-01 false Certified limits. 161.175 Section 161.175 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) PESTICIDE PROGRAMS DATA REQUIREMENTS FOR REGISTRATION OF ANTIMICROBIAL PESTICIDES Product Chemistry Data Requirements §...

  5. Physics First: Impact on SAT Math Scores

    NASA Astrophysics Data System (ADS)

    Bouma, Craig E.

    Improving science, technology, engineering, and mathematics (STEM) education has become a national priority and the call to modernize secondary science has been heard. A Physics First (PF) program with the curriculum sequence of physics, chemistry, and biology (PCB) driven by inquiry- and project-based learning offers a viable alternative to the traditional curricular sequence (BCP) and methods of teaching, but requires more empirical evidence. This study determined impact of a PF program (PF-PCB) on math achievement (SAT math scores) after the first two cohorts of students completed the PF-PCB program at Matteo Ricci High School (MRHS) and provided more quantitative data to inform the PF debate and advance secondary science education. Statistical analysis (ANCOVA) determined the influence of covariates and revealed that PF-PCB program had a significant (p < .05) impact on SAT math scores in the second cohort at MRHS. Statistically adjusted, the SAT math means for PF students were 21.4 points higher than their non-PF counterparts when controlling for prior math achievement (HSTP math), socioeconomic status (SES), and ethnicity/race.

  6. Satisfiability Threshold for Random Regular nae-sat

    NASA Astrophysics Data System (ADS)

    Ding, Jian; Sly, Allan; Sun, Nike

    2016-01-01

    We consider the random regular k- nae- sat problem with n variables, each appearing in exactly d clauses. For all k exceeding an absolute constant {{k}_0}, we establish explicitly the satisfiability threshold {{{d_star} equiv {d_star(k)}}}. We prove that for {{d < d_star}} the problem is satisfiable with high probability, while for {{d > d_star}} the problem is unsatisfiable with high probability. If the threshold {{d_star}} lands exactly on an integer, we show that the problem is satisfiable with probability bounded away from both zero and one. This is the first result to locate the exact satisfiability threshold in a random constraint satisfaction problem exhibiting the condensation phenomenon identified by Krzakała et al. [Proc Natl Acad Sci 104(25):10318-10323, 2007]. Our proof verifies the one-step replica symmetry breaking formalism for this model. We expect our methods to be applicable to a broad range of random constraint satisfaction problems and combinatorial problems on random graphs.

  7. Advances in Ka-Band Communication System for CubeSats and SmallSats

    NASA Technical Reports Server (NTRS)

    Kegege, Obadiah; Wong, Yen F.; Altunc, Serhat

    2016-01-01

    A study was performed that evaluated the feasibility of Ka-band communication system to provide CubeSat/SmallSat high rate science data downlink with ground antennas ranging from the small portable 1.2m/2.4m to apertures 5.4M, 7.3M, 11M, and 18M, for Low Earth Orbit (LEO) to Lunar CubeSat missions. This study included link analysis to determine the data rate requirement, based on the current TRL of Ka-band flight hardware and ground support infrastructure. Recent advances in Ka-band transceivers and antennas, options of portable ground stations, and various coverage distances were included in the analysis. The link/coverage analysis results show that Cubesat/Smallsat missions communication requirements including frequencies and data rates can be met by utilizing Near Earth Network (NEN) Ka-band support with 2 W and high gain (>6 dBi) antennas.

  8. Big Software for SmallSats: Adapting cFS to CubeSat Missions

    NASA Technical Reports Server (NTRS)

    Cudmore, Alan P.; Crum, Gary Alex; Sheikh, Salman; Marshall, James

    2015-01-01

    Expanding capabilities and mission objectives for SmallSats and CubeSats is driving the need for reliable, reusable, and robust flight software. While missions are becoming more complicated and the scientific goals more ambitious, the level of acceptable risk has decreased. Design challenges are further compounded by budget and schedule constraints that have not kept pace. NASA's Core Flight Software System (cFS) is an open source solution which enables teams to build flagship satellite level flight software within a CubeSat schedule and budget. NASA originally developed cFS to reduce mission and schedule risk for flagship satellite missions by increasing code reuse and reliability. The Lunar Reconnaissance Orbiter, which launched in 2009, was the first of a growing list of Class B rated missions to use cFS.

  9. Formalizing Probabilistic Safety Claims

    NASA Technical Reports Server (NTRS)

    Herencia-Zapana, Heber; Hagen, George E.; Narkawicz, Anthony J.

    2011-01-01

    A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Littlewood, this paper presents a mathematical framework that can be used to state and formally prove probabilistic safety claims. It also enables hazardous conditions, their uncertainties, and their interactions to be integrated into the safety claim. This framework provides a formal description of the probabilistic composition of an arbitrary number of hazardous conditions and their effects on system behavior. An example is given of a probabilistic safety claim for a conflict detection algorithm for aircraft in a 2D airspace. The motivation for developing this mathematical framework is that it can be used in an automated theorem prover to formally verify safety claims.

  10. TechEdSat Nano-Satellite Series Fact Sheet

    NASA Technical Reports Server (NTRS)

    Murbach, Marcus; Martinez, Andres; Guarneros Luna, Ali

    2014-01-01

    TechEdSat-3p is the second generation in the TechEdSat-X series. The TechEdSat Series uses the CubeSat standards established by the California Polytechnic State University Cal Poly), San Luis Obispo. With typical blocks being constructed from 1-unit (1U 10x10x10 cm) increments, the TechEdSat-3p has a 3U volume with a 30 cm length. The project uniquely pairs advanced university students with NASA researchers in a rapid design-to-flight experience lasting 1-2 semesters.The TechEdSat Nano-Satellite Series provides a rapid platform for testing technologies for future NASA Earth and planetary missions, as well as providing students with an early exposure to flight hardware development and management.

  11. Software Formal Inspections Standard

    NASA Technical Reports Server (NTRS)

    1993-01-01

    This Software Formal Inspections Standard (hereinafter referred to as Standard) is applicable to NASA software. This Standard defines the requirements that shall be fulfilled by the software formal inspections process whenever this process is specified for NASA software. The objective of this Standard is to define the requirements for a process that inspects software products to detect and eliminate defects as early as possible in the software life cycle. The process also provides for the collection and analysis of inspection data to improve the inspection process as well as the quality of the software.

  12. Finite-Size Scaling in Random K-SAT Problems

    NASA Astrophysics Data System (ADS)

    Ha, Meesoon; Lee, Sang Hoon; Jeon, Chanil; Jeong, Hawoong

    2010-03-01

    We propose a comprehensive view of threshold behaviors in random K-satisfiability (K-SAT) problems, in the context of the finite-size scaling (FSS) concept of nonequilibrium absorbing phase transitions using the average SAT (ASAT) algorithm. In particular, we focus on the value of the FSS exponent to characterize the SAT/UNSAT phase transition, which is still debatable. We also discuss the role of the noise (temperature-like) parameter in stochastic local heuristic search algorithms.

  13. Development of Novel Integrated Antennas for CubeSats

    NASA Technical Reports Server (NTRS)

    Jackson, David; Fink, Patrick W.; Martinez, Andres; Petro, Andrew

    2015-01-01

    The Development of Novel Integrated Antennas for CubeSats project is directed at the development of novel antennas for CubeSats to replace the bulky and obtrusive antennas (e.g., whip antennas) that are typically used. The integrated antennas will not require mechanical deployment and thus will allow future CubeSats to avoid potential mechanical problems and therefore improve mission reliability. Furthermore, the integrated antennas will have improved functionality and performance, such as circular polarization for improved link performance, compared with the conventional antennas currently used on CubeSats.

  14. 7 CFR 205.662 - Noncompliance procedure for certified operations.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... MARKETING SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) ORGANIC FOODS PRODUCTION ACT PROVISIONS NATIONAL ORGANIC PROGRAM Administrative Compliance § 205.662... of a certified operation by a certifying agent or a State organic program's governing State...

  15. 76 FR 19310 - Information Collection; Certified State Mediation Program

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-04-07

    ... Farm Service Agency Information Collection; Certified State Mediation Program AGENCY: Farm Service... Mediation Program. The information collection is necessary to ensure the grant program is being administered... following methods: Mail: Carol Wagner, Certified State Mediation Program Manager, USDA, FSA, Appeals...

  16. Correlates of Formal Reasoning.

    ERIC Educational Resources Information Center

    Linn, Marcia C.; Pulos, Steven

    This study of Piagetian formal reasoning in seventh grade students reports the relationships between four aspects of the ability to control variables in an experiment and the relationships between those four aspects and other constructs. The four aspects of the ability to control variables identified are: (1) set up a controlled experiment, (2)…

  17. Formal synthesis of (+)-discodermolide.

    PubMed

    Francavilla, Charles; Chen, Weichun; Kinder, Frederick R

    2003-04-17

    [structure: see text] Herein we report the formal total synthesis of (+)-discodermolide in 21 steps (longest linear sequence) from commercially available Roche ester. This synthesis features the assembly of C(9-18) and C(19-24) fragments via a metal-chelated aldol coupling reaction.

  18. Adolescence and Formal Operations

    ERIC Educational Resources Information Center

    Blasi, A.; Hoeffel, E. C.

    1974-01-01

    Analyzes the relationship between the development of formal operations and the development of the adolescent personality, as hypothesized by Inhelder and Piaget. It is suggested that the concepts of possibility and reflectivity have a variety of meanings, and that once these meanings are examined, the logical foundation for the…

  19. Validity of the SAT for Predicting First-Year Grades: 2008 SAT Validity Sample. Statistical Report No. 2011-5

    ERIC Educational Resources Information Center

    Patterson, Brian F.; Mattern, Krista D.

    2011-01-01

    The findings for the 2008 sample are largely consistent with the previous reports. SAT scores were found to be correlated with FYGPA (r = 0.54), with a magnitude similar to HSGPA (r = 0.56). The best set of predictors of FYGPA remains SAT scores and HSGPA (r = 0.63), as the addition of the SAT sections to the correlation of HSGPA alone with FYGPA…

  20. Certified pediatric nurses' perceptions of job satisfaction.

    PubMed

    Wyatt, Janet; Harrison, Margaret

    2010-01-01

    The Pediatric Nursing Certification Board surveyed a national sample of 1354 hospital-based certified pediatric nurses (CPNs) to determine their perceptions of certification on job satisfaction and other factors. There is a substantial body of literature that demonstrates job satisfaction among nurses positively increases retention and reduces absenteeism and burnout. CPNs seek certification for a personal sense of achievement, professional recognition, and validation of clinical competency. The certified nurse survey respondents had self-reported high levels of job satisfaction and indicated that relationships with colleagues and a supportive work environment were very important to their levels of job satisfaction. The results of this study highlight important factors for hospitals to consider as they plan strategies and cost-effective ways to positively affect patient care and retain qualified pediatric nurses at the bedside.

  1. Selecting Students with a General Reasoning Test (SAT I) or Tests in Academic Subjects (SAT II): Does It Matter for Non-Native Speakers of English?

    ERIC Educational Resources Information Center

    Bridgeman, Brent; Burton, Nancy; Cline, Frederick

    Using data from a sample of 10 colleges at which most students had taken both the SAT I: Reasoning Test and SAT II: Subject Tests researchers simulated the effects of making selection decisions using SAT II scores in place of SAT I scores. Students in each college were treated as forming the applicant pool for a more select college, and the top…

  2. 19 CFR 159.36 - Multiple certified rates.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... Federal Reserve Bank of New York certifies two or more rates of exchange for the currency of any country... 19 Customs Duties 2 2011-04-01 2011-04-01 false Multiple certified rates. 159.36 Section 159.36... TREASURY (CONTINUED) LIQUIDATION OF DUTIES Conversion of Foreign Currency § 159.36 Multiple certified...

  3. 30 CFR 71.202 - Certified person; sampling.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Certified person; sampling. 71.202 Section 71... Sampling Procedures § 71.202 Certified person; sampling. (a) The respirable dust sampling required by this... on sampling of respirable coal mine dust. (c) A person may be temporarily certified by MSHA to...

  4. 30 CFR 70.202 - Certified person; sampling.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 30 Mineral Resources 1 2014-07-01 2014-07-01 false Certified person; sampling. 70.202 Section 70... HEALTH MANDATORY HEALTH STANDARDS-UNDERGROUND COAL MINES Sampling Procedures § 70.202 Certified person; sampling. (a) The respirable dust sampling required by this part shall be done by a certified person....

  5. 30 CFR 70.202 - Certified person; sampling.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Certified person; sampling. 70.202 Section 70... HEALTH MANDATORY HEALTH STANDARDS-UNDERGROUND COAL MINES Sampling Procedures § 70.202 Certified person; sampling. (a) The respirable dust sampling required by this part shall be done by a certified person....

  6. 30 CFR 71.202 - Certified person; sampling.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 30 Mineral Resources 1 2012-07-01 2012-07-01 false Certified person; sampling. 71.202 Section 71... Sampling Procedures § 71.202 Certified person; sampling. (a) The respirable dust sampling required by this... on sampling of respirable coal mine dust. (c) A person may be temporarily certified by MSHA to...

  7. 30 CFR 71.202 - Certified person; sampling.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 30 Mineral Resources 1 2013-07-01 2013-07-01 false Certified person; sampling. 71.202 Section 71... Sampling Procedures § 71.202 Certified person; sampling. (a) The respirable dust sampling required by this... on sampling of respirable coal mine dust. (c) A person may be temporarily certified by MSHA to...

  8. 30 CFR 70.202 - Certified person; sampling.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 30 Mineral Resources 1 2012-07-01 2012-07-01 false Certified person; sampling. 70.202 Section 70... HEALTH MANDATORY HEALTH STANDARDS-UNDERGROUND COAL MINES Sampling Procedures § 70.202 Certified person; sampling. (a) The respirable dust sampling required by this part shall be done by a certified person....

  9. 30 CFR 71.202 - Certified person; sampling.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Certified person; sampling. 71.202 Section 71... Sampling Procedures § 71.202 Certified person; sampling. (a) The respirable dust sampling required by this... on sampling of respirable coal mine dust. (c) A person may be temporarily certified by MSHA to...

  10. 30 CFR 70.202 - Certified person; sampling.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 30 Mineral Resources 1 2013-07-01 2013-07-01 false Certified person; sampling. 70.202 Section 70... HEALTH MANDATORY HEALTH STANDARDS-UNDERGROUND COAL MINES Sampling Procedures § 70.202 Certified person; sampling. (a) The respirable dust sampling required by this part shall be done by a certified person....

  11. 30 CFR 71.202 - Certified person; sampling.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 30 Mineral Resources 1 2014-07-01 2014-07-01 false Certified person; sampling. 71.202 Section 71... Sampling Procedures § 71.202 Certified person; sampling. (a) The respirable dust sampling required by this... on sampling of respirable coal mine dust. (c) A person may be temporarily certified by MSHA to...

  12. 30 CFR 70.202 - Certified person; sampling.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Certified person; sampling. 70.202 Section 70... HEALTH MANDATORY HEALTH STANDARDS-UNDERGROUND COAL MINES Sampling Procedures § 70.202 Certified person; sampling. (a) The respirable dust sampling required by this part shall be done by a certified person....

  13. 25 CFR 81.23 - Posting and certifying election results.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 25 Indians 1 2012-04-01 2011-04-01 true Posting and certifying election results. 81.23 Section 81... REORGANIZATION UNDER A FEDERAL STATUTE § 81.23 Posting and certifying election results. (a) The results of the... appropriate public places determined by the election board. (b) The election board shall certify the...

  14. 25 CFR 81.23 - Posting and certifying election results.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 25 Indians 1 2011-04-01 2011-04-01 false Posting and certifying election results. 81.23 Section 81... REORGANIZATION UNDER A FEDERAL STATUTE § 81.23 Posting and certifying election results. (a) The results of the... appropriate public places determined by the election board. (b) The election board shall certify the...

  15. 25 CFR 81.23 - Posting and certifying election results.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 25 Indians 1 2014-04-01 2014-04-01 false Posting and certifying election results. 81.23 Section 81... REORGANIZATION UNDER A FEDERAL STATUTE § 81.23 Posting and certifying election results. (a) The results of the... appropriate public places determined by the election board. (b) The election board shall certify the...

  16. 25 CFR 81.23 - Posting and certifying election results.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 25 Indians 1 2010-04-01 2010-04-01 false Posting and certifying election results. 81.23 Section 81... REORGANIZATION UNDER A FEDERAL STATUTE § 81.23 Posting and certifying election results. (a) The results of the... appropriate public places determined by the election board. (b) The election board shall certify the...

  17. 25 CFR 81.23 - Posting and certifying election results.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 25 Indians 1 2013-04-01 2013-04-01 false Posting and certifying election results. 81.23 Section 81... REORGANIZATION UNDER A FEDERAL STATUTE § 81.23 Posting and certifying election results. (a) The results of the... appropriate public places determined by the election board. (b) The election board shall certify the...

  18. 33 CFR 159.17 - Changes to certified devices.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 33 Navigation and Navigable Waters 2 2010-07-01 2010-07-01 false Changes to certified devices. 159... (CONTINUED) POLLUTION MARINE SANITATION DEVICES Certification Procedures § 159.17 Changes to certified devices. (a) The manufacturer of a device that is certified under this part shall notify the...

  19. 10 CFR 504.9 - Environmental requirements for certifying powerplants.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... use of natural gas or petroleum, or both, as a primary energy source in any certifying powerplant... fuel as a primary energy source in a certifying powerplant. (a) NEPA compliance. Except as provided in... 10 Energy 4 2010-01-01 2010-01-01 false Environmental requirements for certifying powerplants....

  20. 10 CFR 504.9 - Environmental requirements for certifying powerplants.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... use of natural gas or petroleum, or both, as a primary energy source in any certifying powerplant... fuel as a primary energy source in a certifying powerplant. (a) NEPA compliance. Except as provided in... 10 Energy 4 2012-01-01 2012-01-01 false Environmental requirements for certifying powerplants....

  1. 19 CFR 159.36 - Multiple certified rates.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 19 Customs Duties 2 2010-04-01 2010-04-01 false Multiple certified rates. 159.36 Section 159.36... TREASURY (CONTINUED) LIQUIDATION OF DUTIES Conversion of Foreign Currency § 159.36 Multiple certified rates... multiple rates have been certified for a foreign currency, the rate to be used for Customs purposes...

  2. 19 CFR 159.35 - Certified daily rate.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... TREASURY (CONTINUED) LIQUIDATION OF DUTIES Conversion of Foreign Currency § 159.35 Certified daily rate... the conversion of foreign currency whenever a proclaimed rate or certified quarterly rate is not... 19 Customs Duties 2 2010-04-01 2010-04-01 false Certified daily rate. 159.35 Section...

  3. 25 CFR 700.49 - Certified eligible head of household.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 25 Indians 2 2014-04-01 2014-04-01 false Certified eligible head of household. 700.49 Section 700... PROCEDURES General Policies and Instructions Definitions § 700.49 Certified eligible head of household. A certified eligible head of household is a person who has received notice from the Commission that he/she...

  4. 25 CFR 700.49 - Certified eligible head of household.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 25 Indians 2 2011-04-01 2011-04-01 false Certified eligible head of household. 700.49 Section 700... PROCEDURES General Policies and Instructions Definitions § 700.49 Certified eligible head of household. A certified eligible head of household is a person who has received notice from the Commission that he/she...

  5. 25 CFR 700.49 - Certified eligible head of household.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 25 Indians 2 2013-04-01 2013-04-01 false Certified eligible head of household. 700.49 Section 700... PROCEDURES General Policies and Instructions Definitions § 700.49 Certified eligible head of household. A certified eligible head of household is a person who has received notice from the Commission that he/she...

  6. 25 CFR 700.49 - Certified eligible head of household.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 25 Indians 2 2012-04-01 2012-04-01 false Certified eligible head of household. 700.49 Section 700... PROCEDURES General Policies and Instructions Definitions § 700.49 Certified eligible head of household. A certified eligible head of household is a person who has received notice from the Commission that he/she...

  7. 25 CFR 700.49 - Certified eligible head of household.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 25 Indians 2 2010-04-01 2010-04-01 false Certified eligible head of household. 700.49 Section 700... PROCEDURES General Policies and Instructions Definitions § 700.49 Certified eligible head of household. A certified eligible head of household is a person who has received notice from the Commission that he/she...

  8. 7 CFR 97.122 - Certified seed only election.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 3 2014-01-01 2014-01-01 false Certified seed only election. 97.122 Section 97.122... PLANT VARIETY AND PROTECTION Reissuance of Certificate § 97.122 Certified seed only election. When an... of certified seed, a new certificate may be issued upon return of the original certificate to...

  9. 7 CFR 97.122 - Certified seed only election.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 3 2013-01-01 2013-01-01 false Certified seed only election. 97.122 Section 97.122... PLANT VARIETY AND PROTECTION Reissuance of Certificate § 97.122 Certified seed only election. When an... of certified seed, a new certificate may be issued upon return of the original certificate to...

  10. 7 CFR 205.662 - Noncompliance procedure for certified operations.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ...) ORGANIC FOODS PRODUCTION ACT PROVISIONS NATIONAL ORGANIC PROGRAM Administrative Compliance § 205.662... of a certified operation by a certifying agent or a State organic program's governing State official... demonstrates that each noncompliance has been resolved, the certifying agent or the State organic...

  11. 31 CFR 353.58 - Forms to be certified.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 31 Money and Finance:Treasury 2 2013-07-01 2013-07-01 false Forms to be certified. 353.58 Section... STATES SAVINGS BONDS, SERIES EE AND HH Certifying Officers § 353.58 Forms to be certified. When required in the instructions on a Public Debt transaction form, the form must be signed before an...

  12. 31 CFR 353.58 - Forms to be certified.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 31 Money and Finance:Treasury 2 2012-07-01 2012-07-01 false Forms to be certified. 353.58 Section... STATES SAVINGS BONDS, SERIES EE AND HH Certifying Officers § 353.58 Forms to be certified. When required in the instructions on a Public Debt transaction form, the form must be signed before an...

  13. 31 CFR 353.58 - Forms to be certified.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Forms to be certified. 353.58 Section... STATES SAVINGS BONDS, SERIES EE AND HH Certifying Officers § 353.58 Forms to be certified. When required in the instructions on a Public Debt transaction form, the form must be signed before an...

  14. 31 CFR 353.58 - Forms to be certified.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 31 Money and Finance:Treasury 2 2011-07-01 2011-07-01 false Forms to be certified. 353.58 Section... STATES SAVINGS BONDS, SERIES EE AND HH Certifying Officers § 353.58 Forms to be certified. When required in the instructions on a Public Debt transaction form, the form must be signed before an...

  15. 31 CFR 353.58 - Forms to be certified.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 31 Money and Finance: Treasury 2 2014-07-01 2014-07-01 false Forms to be certified. 353.58 Section... STATES SAVINGS BONDS, SERIES EE AND HH Certifying Officers § 353.58 Forms to be certified. When required in the instructions on a Fiscal Service transaction form, the form must be signed before...

  16. 31 CFR 360.58 - Forms to be certified.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 31 Money and Finance: Treasury 2 2014-07-01 2014-07-01 false Forms to be certified. 360.58 Section... STATES SAVINGS BONDS, SERIES I Certifying Officers § 360.58 Forms to be certified. When required in the instructions on a Fiscal Service transaction form, the form must be signed before an authorized...

  17. 24 CFR 200.218 - Who must certify and sign.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 24 Housing and Urban Development 2 2010-04-01 2010-04-01 false Who must certify and sign. 200.218... Previous Participation Review and Clearance Procedure § 200.218 Who must certify and sign. All principals must certify and sign the certificate personally as to their individual record and are responsible...

  18. 24 CFR 200.218 - Who must certify and sign.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 24 Housing and Urban Development 2 2012-04-01 2012-04-01 false Who must certify and sign. 200.218... Previous Participation Review and Clearance Procedure § 200.218 Who must certify and sign. All principals must certify and sign the certificate personally as to their individual record and are responsible...

  19. 24 CFR 200.218 - Who must certify and sign.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 24 Housing and Urban Development 2 2011-04-01 2011-04-01 false Who must certify and sign. 200.218... Previous Participation Review and Clearance Procedure § 200.218 Who must certify and sign. All principals must certify and sign the certificate personally as to their individual record and are responsible...

  20. 24 CFR 200.218 - Who must certify and sign.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 24 Housing and Urban Development 2 2014-04-01 2014-04-01 false Who must certify and sign. 200.218... Previous Participation Review and Clearance Procedure § 200.218 Who must certify and sign. All principals must certify and sign the certificate personally as to their individual record and are responsible...

  1. 24 CFR 200.218 - Who must certify and sign.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 24 Housing and Urban Development 2 2013-04-01 2013-04-01 false Who must certify and sign. 200.218... Previous Participation Review and Clearance Procedure § 200.218 Who must certify and sign. All principals must certify and sign the certificate personally as to their individual record and are responsible...

  2. 37 CFR 1.13 - Copies and certified copies.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 37 Patents, Trademarks, and Copyrights 1 2010-07-01 2010-07-01 false Copies and certified copies... Patent and Trademark Office § 1.13 Copies and certified copies. (a) Non-certified copies of patents, and... States Patent and Trademark Office to any person, and copies of other records or papers will be...

  3. 49 CFR 1001.2 - Certified copies of records.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 49 Transportation 8 2010-10-01 2010-10-01 false Certified copies of records. 1001.2 Section 1001.2... OF TRANSPORTATION GENERAL RULES AND REGULATIONS INSPECTION OF RECORDS § 1001.2 Certified copies of records. Copies of and extracts from public records will be certified by the Records Officer....

  4. Comparability of Scores on the New and Prior Versions of the SAT Reasoning Test™. Research Notes. RN-31

    ERIC Educational Resources Information Center

    Kobrin, Jennifer L.; Melican, Gerald J.

    2007-01-01

    This report synthesizes the research to date addressing the construct comparability of the SAT Reasoning Test and prior SAT I: Reasoning Test and the series of research studies addressing the equatability and subpopulation invariance of the SAT and SAT I.

  5. A Certified Stamp of Approval: How Important Are IT Certifications?

    ERIC Educational Resources Information Center

    Raths, David

    2010-01-01

    In the world of campus IT hiring, think of certifications as the equivalent of the SATs. They're just one component of the overall application, along with the interview, past performance, and references. If the candidate is accomplished and well rounded, the SATs--or certifications--can be more of a checklist item. Otherwise, they may make the…

  6. SAT-Based Model Checking without Unrolling

    NASA Astrophysics Data System (ADS)

    Bradley, Aaron R.

    A new form of SAT-based symbolic model checking is described. Instead of unrolling the transition relation, it incrementally generates clauses that are inductive relative to (and augment) stepwise approximate reachability information. In this way, the algorithm gradually refines the property, eventually producing either an inductive strengthening of the property or a counterexample trace. Our experimental studies show that induction is a powerful tool for generalizing the unreachability of given error states: it can refine away many states at once, and it is effective at focusing the proof search on aspects of the transition system relevant to the property. Furthermore, the incremental structure of the algorithm lends itself to a parallel implementation.

  7. MarsSat: assured communication with Mars.

    PubMed

    Gangale, Thomas

    2005-12-01

    The author developed the MarsSat concept during the 1990s. For this task, he designed a class of orbits to solve the problem of communicating with crews on Mars when the planet is in solar conjunction as seen from Earth, a planetary configuration that occurs near the midpoint of a conjunction class mission to Mars. This type of orbit minimizes the distance between Mars and the communications satellite; thus, minimizing the size, weight, and power requirements, while providing a simultaneous line-of-sight to both Earth and Mars. The MarsSat orbits are solar orbits that have the same period as Mars, but are inclined a few degrees out of the plane of the Mars orbit and also differ in eccentricity from the orbit of Mars. These differences cause a spacecraft in this orbit to rise North of Mars, then fall behind Mars, then drop South of Mars, and then pull ahead of Mars, by some desired distance in each case-typically about 20 million kilometers-in order to maintain an angular separation of a couple of degrees as seen from a point in the orbit of Earth on the opposite side of the Sun. A satellite in this type of orbit would relay communications between Earth and Mars during the period of up to several weeks, when direct communication is blocked by the Sun. These orbits are far superior for this purpose when compared to stationing a satellite at one of the Sun-Mars equilateral Lagrangian points, L(4) or L(5), for two reasons. First, L(4) and L(5) are 228 million kilometers from Mars, about 10 times the distance of a spacecraft in one of the MarsSat orbits, and by virtue of the inverse-square law, all other things being equal, the signal strength received at L(4) or L(5) would be one percent of the signal strength received by a spacecraft in one of the MarsSat orbits. Thus, a relay satellite stationed at L(4) or L(5) would have to be that much more powerful to receive data at the same rate, with concomitant increases in spacecraft size and weight. Second, a number of

  8. Proceedings of the First NASA Formal Methods Symposium

    NASA Technical Reports Server (NTRS)

    Denney, Ewen (Editor); Giannakopoulou, Dimitra (Editor); Pasareanu, Corina S. (Editor)

    2009-01-01

    Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.

  9. Semisymmetric systems: Hermitian formalism

    NASA Astrophysics Data System (ADS)

    Buchdahl, H. A.

    1995-04-01

    The power series representing the characteristic function of a regular semisymmetric system involves four linearly independent rotational invariants XA (A=1,.. .,4) that jointly satisfy a quadratic identity. When the X A are appropriately chosen, this takes the form -(X1)2-(X2 )2-(X3)2+( X4)2=0 . The XA are thus the components of a null vector in a four-dimensional Euclidean space whose metric is gAB: =diag(-1,-1 ,-1,1) . Such a vector is equivalent to a simple 2-spinor xi alpha . The intrinsic presence of a spin vector in the formalism used hitherto suggests that it might be of advantage to replace the latter with an explicit 2-spinor formalism. A way of doing this is examined.

  10. Causes of fatal accidents for instrument-certified and non-certified private pilots.

    PubMed

    Shao, Bob Siyuan; Guindani, Michele; Boyd, Douglas D

    2014-11-01

    Instrument certification (IFR) enhances a pilot's skills in precisely controlling the aircraft and requires a higher level of standards in maintaining heading and altitude compared with the less stringent private pilot certificate. However, there have been no prior studies to compare fatal accident causes for airmen with, and without, this rating, The NTSB accident database was queried for general aviation fatal accidents for private pilots with, and without IFR certification. Exact Poisson tests were used to calculate whether two rate parameters were equal (ratio of 1), normalized to the number of IFR-rated pilots and flight hours in the given time period. Proportion tests were used to determine whether there were significant differences in fatal accident causes between IFR-certified and non-certified pilots. A logistic regression for log-odds success was used in determining the trend and effect of age on fatal accident rates. IFR certification was associated with a reduced risk of accidents due to failure to maintain obstacle/terrain clearance and spatial disorientation for day and night operations respectively. In contrast, the likelihood of fatal accident due to equipment malfunction during day operations was higher for IFR-certified pilots. The fatal accident rate decreased over the last decade for IFR-certified but not for non-IFR-certified private pilots. However, the overall accident rate for IFR-certified private pilots was more than double that of the cohort lacking this certification. Finally, we found a trend for an increased fatality rate with advancing age for both group of pilots. Our findings informs on where training and/or technology should be focused. Both training for aerodynamic stalls, which causes over a quarter of all fatal accidents, should be intensified for both IFR-certified and non-certified private pilots. Similarly, adherence to minimum safe altitudes for both groups of pilots should be encouraged toward reducing the fatal accidents

  11. Causes of fatal accidents for instrument-certified and non-certified private pilots.

    PubMed

    Shao, Bob Siyuan; Guindani, Michele; Boyd, Douglas D

    2014-11-01

    Instrument certification (IFR) enhances a pilot's skills in precisely controlling the aircraft and requires a higher level of standards in maintaining heading and altitude compared with the less stringent private pilot certificate. However, there have been no prior studies to compare fatal accident causes for airmen with, and without, this rating, The NTSB accident database was queried for general aviation fatal accidents for private pilots with, and without IFR certification. Exact Poisson tests were used to calculate whether two rate parameters were equal (ratio of 1), normalized to the number of IFR-rated pilots and flight hours in the given time period. Proportion tests were used to determine whether there were significant differences in fatal accident causes between IFR-certified and non-certified pilots. A logistic regression for log-odds success was used in determining the trend and effect of age on fatal accident rates. IFR certification was associated with a reduced risk of accidents due to failure to maintain obstacle/terrain clearance and spatial disorientation for day and night operations respectively. In contrast, the likelihood of fatal accident due to equipment malfunction during day operations was higher for IFR-certified pilots. The fatal accident rate decreased over the last decade for IFR-certified but not for non-IFR-certified private pilots. However, the overall accident rate for IFR-certified private pilots was more than double that of the cohort lacking this certification. Finally, we found a trend for an increased fatality rate with advancing age for both group of pilots. Our findings informs on where training and/or technology should be focused. Both training for aerodynamic stalls, which causes over a quarter of all fatal accidents, should be intensified for both IFR-certified and non-certified private pilots. Similarly, adherence to minimum safe altitudes for both groups of pilots should be encouraged toward reducing the fatal accidents

  12. CloudSat Anomaly Recovery and Operational Lessons Learned

    NASA Technical Reports Server (NTRS)

    Nayak, Michael; Witkowski, Mona

    2012-01-01

    Nov 2011: NASA/JPL declared CloudSat fully operational in DO ]OP Mode . CloudSat collects science data during sunlit portion of orbit, stable spin hibernation in eclipse . New CONOPS requires constant monitoring of thermal and power profiles, while allowing collection of 54 mins of science data per sunlit orbit

  13. Foreign Language Study and SAT-Verbal Scores.

    ERIC Educational Resources Information Center

    Cooper, Thomas C.

    1987-01-01

    Comparison of verbal Scholastic Aptitude Test (SAT) and California Achievement Test (CAT) scores of high school students who had (N=1,333) or had not (N=445) taken at least one year of foreign language study supported the conclusion that length of foreign language study was positively related to high SAT verbal scores. (CB)

  14. Comparing State SAT Scores Using a Mixture Modeling Approach

    ERIC Educational Resources Information Center

    Kim, YoungKoung Rachel

    2009-01-01

    Presented at the national conference for AERA (American Educational Research Association) in April 2009. The large variability of SAT taker population across states makes state-by-state comparisons of the SAT scores challenging. Using a mixture modeling approach, therefore, the current study presents a method of identifying subpopulations in terms…

  15. The Revised SAT: No Better, No Worse at Its Job

    ERIC Educational Resources Information Center

    Hoover, Eric

    2008-01-01

    The latest word about the new SAT is this: It gives colleges about the same information as the old one did. Last week, the College Board announced that the recent changes in the SAT had not substantially altered how accurately it predicts first-year grades. The news prompted applause from the test's proponents, scorn from its critics, and little…

  16. SAT and ACT Predict College GPA after Removing "g"

    ERIC Educational Resources Information Center

    Coyle, Thomas R.; Pillow, David R.

    2008-01-01

    This research examined whether the SAT and ACT would predict college grade point average (GPA) after removing g from the tests. SAT and ACT scores and freshman GPAs were obtained from a university sample (N=161) and the 1997 National Longitudinal Study of Youth (N=8984). Structural equation modeling was used to examine relationships among g, GPA,…

  17. The SAT Score Decline: A Summary of Related Research.

    ERIC Educational Resources Information Center

    Breland, Hunter M.

    The available evidence pertaining to the decline in scores on the Scholastic Aptitude Test (SAT) and the American College Testing Program (ACT) is reviewed in terms of: the test, the test-taking population, the college bound population, the schools, and societal factors. The SAT score decline is described in both graphic and tabular form, and…

  18. Development of the TopSat camera

    NASA Astrophysics Data System (ADS)

    Greenway, Paul; Tosh, Ian; Morris, Nigel

    2004-06-01

    The TopSat camera is a low cost remote sensing imager capable of producing 2.5 metre resolution panchromatic imagery, funded by the British National Space Centre's Mosaic programme. An engineering model development programme verified optical alignment techniques and crucially, demonstrated structural stability through vibration tests. As a result of this, the flight model camera has been assembled at the Space Science & Technology Department of CCLRC's Rutherford Appleton Laboratory in the UK, in preparation for launch in 2005. The camera has been designed to be compact and lightweight so that it may be flown on a low cost mini-satellite (~120kg launch mass). To achieve this, the camera utilises an off-axis three mirror anastigmatic (TMA) system, which has the advantages of excellent image quality over a wide field of view, combined with a compactness that makes its overall dimensions smaller than its focal length. Keeping the costs to a minimum has been a major design driver in the development of this camera. The camera is part of the TopSat mission, which is a collaboration between four UK organisations; RAL (Rutherford Appleton Laboratory), SSTL (Surrey Satellite Technology Ltd.), QinetiQ and Infoterra. Its objective is to demonstrate provision of rapid response high-resolution imagery to fixed and mobile ground stations using a low cost mini-satellite. This paper describes the opto-mechanical design, assembly and alignment techniques implemented and reports on the test results obtained to date.

  19. CubeSat Integration into the Space Situational Awareness Architecture

    NASA Astrophysics Data System (ADS)

    Morris, K.; Wolfson, M.; Brown, J.

    2013-09-01

    Lockheed Martin Space Systems Company has recently been involved in developing GEO Space Situational Awareness architectures, which allows insights into how cubesats can augment the current national systems. One hole that was identified in the current architecture is the need for timelier metric track observations to aid in the chain of custody. Obtaining observations of objects at GEO can be supported by CubeSats. These types of small satellites are increasing being built and flown by government agencies like NASA and SMDC. CubeSats are generally mass and power constrained allowing for only small payloads that cannot typically mimic traditional flight capability. CubeSats do not have a high reliability and care must be taken when choosing mission orbits to prevent creating more debris. However, due to the low costs, short development timelines, and available hardware, CubeSats can supply very valuable benefits to these complex missions, affordably. For example, utilizing CubeSats for advanced focal plane demonstrations to support technology insertion into the next generation situational awareness sensors can help to lower risks before the complex sensors are developed. CubeSats can augment the planned ground and space based assets by creating larger constellations with more access to areas of interest. To aid in maintaining custody of objects, a CubeSat constellation at 500 km above GEO would provide increased point of light tracking that can augment the ground SSA assets. Key features of the Cubesat include a small visible camera looking along the GEO belt, a small propulsion system that allows phasing between CubeSats, and an image processor to reduce the data sent to the ground. An elegant communications network will also be used to provide commands to and data from multiple CubeSats. Additional CubeSats can be deployed on GSO launches or through ride shares to GEO, replenishing or adding to the constellation with each launch. Each CubeSat would take images of

  20. An examination of the integration of certified peer specialists into community mental health centers.

    PubMed

    Grant, Emily A; Reinhart, Chrystal; Wituk, Scott; Meissen, Greg

    2012-08-01

    The formal role of Certified Peer Specialist (CPS) is a recent addition to the mental health field. CPSs are people in recovery employed within the mental health system, mostly by community mental health centers, to provide support through sharing life experiences with those working toward recovery from mental illness. This brief report examines participant's experiences being a CPS, responsibilities and activities as a CPS, and integration into community mental health centers. Findings suggest that CPSs demonstrate high levels of communal orientation, job satisfaction, workplace integration and organizational support and are well received in mental health centers. PMID:22806435

  1. Massively Clustered CubeSats NCPS Demo Mission

    NASA Technical Reports Server (NTRS)

    Robertson, Glen A.; Young, David; Kim, Tony; Houts, Mike

    2013-01-01

    Technologies under development for the proposed Nuclear Cryogenic Propulsion Stage (NCPS) will require an un-crewed demonstration mission before they can be flight qualified over distances and time frames representative of a crewed Mars mission. In this paper, we describe a Massively Clustered CubeSats platform, possibly comprising hundreds of CubeSats, as the main payload of the NCPS demo mission. This platform would enable a mechanism for cost savings for the demo mission through shared support between NASA and other government agencies as well as leveraged commercial aerospace and academic community involvement. We believe a Massively Clustered CubeSats platform should be an obvious first choice for the NCPS demo mission when one considers that cost and risk of the payload can be spread across many CubeSat customers and that the NCPS demo mission can capitalize on using CubeSats developed by others for its own instrumentation needs. Moreover, a demo mission of the NCPS offers an unprecedented opportunity to invigorate the public on a global scale through direct individual participation coordinated through a web-based collaboration engine. The platform we describe would be capable of delivering CubeSats at various locations along a trajectory toward the primary mission destination, in this case Mars, permitting a variety of potential CubeSat-specific missions. Cameras on various CubeSats can also be used to provide multiple views of the space environment and the NCPS vehicle for video monitoring as well as allow the public to "ride along" as virtual passengers on the mission. This collaborative approach could even initiate a brand new Science, Technology, Engineering and Math (STEM) program for launching student developed CubeSat payloads beyond Low Earth Orbit (LEO) on future deep space technology qualification missions. Keywords: Nuclear Propulsion, NCPS, SLS, Mars, CubeSat.

  2. Substituting SAT II: Subject Tests for SAT I: Reasoning Tests: Impact on Admitted Class Composition and Quality.

    ERIC Educational Resources Information Center

    Bridgeman, Brent; Burton, Nancy; Cline, Frederick

    2003-01-01

    Simulated the effects of making admission decisions using SAT II subject scores in place of SAT I reasoning scores. Found that success rates, in terms of first-year grade point averages, were virtually identical for students selected by the different models. The percentage of African American, Asian American, and White students selected varied…

  3. An Application of Score Equity Assessment: Invariance of Linkage of New SAT[R] to Old SAT across Gender Groups

    ERIC Educational Resources Information Center

    Liu, Jinghua; Cahn, Miriam F.; Dorans, Neil J.

    2006-01-01

    The College Board's SAT[R] data are used to illustrate how the score equity assessment (SEA) can help inform the program about equatability. SEA is used to examine whether the content change(s) to the revised new SAT result in differential linking functions across gender groups. Results of population sensitivity analyses are reported on the…

  4. Formal Safety Certification of Aerospace Software

    NASA Technical Reports Server (NTRS)

    Denney, Ewen; Fischer, Bernd

    2005-01-01

    integrated with other code generators such as RealTime Workshop or even applied to legacy code. Our approach circumvents the historical problems with formal methods by increasing the degree of automation on all levels. The restriction to safety policies (as opposed to arbitrary functional behavior) results in simpler proof problems that can generally be solved by fully automatic theorem proves. An automated linking mechanism between the safety conditions and the code provides some of the traceability mandated by process standards such as DO-178B. An automated explanation mechanism uses semantic markup added by the verification condition generator to produce natural-language explanations of the safety conditions and thus supports their interpretation in relation to the code. It shows an automatically generated certification browser that lets users inspect the (generated) code along with the safety conditions (including textual explanations), and uses hyperlinks to automate tracing between the two levels. Here, the explanations reflect the logical structure of the safety obligation but the mechanism can in principle be customized using different sets of domain concepts. The interface also provides some limited control over the certification process itself. Our long-term goal is a seamless integration of certification, code generation, and manual coding that results in a "certified pipeline" in which specifications are automatically transformed into executable code, together with the supporting artifacts necessary for achieving and demonstrating the high level of assurance needed in the aerospace domain.

  5. Formalizing the concept of sound.

    SciTech Connect

    Kaper, H. G.; Tipei, S.

    1999-08-03

    The notion of formalized music implies that a musical composition can be described in mathematical terms. In this article we explore some formal aspects of music and propose a framework for an abstract approach.

  6. Formalizing Space Shuttle Software Requirements

    NASA Technical Reports Server (NTRS)

    Crow, Judith; DiVito, Ben L.

    1996-01-01

    This paper describes two case studies in which requirements for new flight-software subsystems on NASA's Space Shuttle were analyzed, one using standard formal specification techniques, the other using state exploration. These applications serve to illustrate three main theses: (1) formal methods can complement conventional requirements analysis processes effectively, (2) formal methods confer benefits regardless of how extensively they are adopted and applied, and (3) formal methods are most effective when they are judiciously tailored to the application.

  7. 48 CFR 15.403-5 - Instructions for submission of certified cost or pricing data and data other than certified cost...

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... officer may require submission of certified cost or pricing data in the format indicated in Table 15-2 of... submission of certified cost or pricing data and data other than certified cost or pricing data. 15.403-5... certified cost or pricing data and data other than certified cost or pricing data. (a) Taking...

  8. Practical Issues with Formal Specifications

    NASA Astrophysics Data System (ADS)

    Altenhofen, Michael; Brucker, Achim D.

    Many software companies still seem to be reluctant to use formal specifications in their development processes. Nevertheless, the trend towards implementing critical business applications in distributed environments makes such applications an attractive target for formal methods. Additionally, the rising complexity also increases the willingness of the development teams to apply formal techniques.

  9. Covariant Bardeen perturbation formalism

    NASA Astrophysics Data System (ADS)

    Vitenti, S. D. P.; Falciano, F. T.; Pinto-Neto, N.

    2014-05-01

    In a previous work we obtained a set of necessary conditions for the linear approximation in cosmology. Here we discuss the relations of this approach with the so-called covariant perturbations. It is often argued in the literature that one of the main advantages of the covariant approach to describe cosmological perturbations is that the Bardeen formalism is coordinate dependent. In this paper we will reformulate the Bardeen approach in a completely covariant manner. For that, we introduce the notion of pure and mixed tensors, which yields an adequate language to treat both perturbative approaches in a common framework. We then stress that in the referred covariant approach, one necessarily introduces an additional hypersurface choice to the problem. Using our mixed and pure tensors approach, we are able to construct a one-to-one map relating the usual gauge dependence of the Bardeen formalism with the hypersurface dependence inherent to the covariant approach. Finally, through the use of this map, we define full nonlinear tensors that at first order correspond to the three known gauge invariant variables Φ, Ψ and Ξ, which are simultaneously foliation and gauge invariant. We then stress that the use of the proposed mixed tensors allows one to construct simultaneously gauge and hypersurface invariant variables at any order.

  10. Random numbers certified by Bell's theorem.

    PubMed

    Pironio, S; Acín, A; Massar, S; de la Giroday, A Boyer; Matsukevich, D N; Maunz, P; Olmschenk, S; Hayes, D; Luo, L; Manning, T A; Monroe, C

    2010-04-15

    Randomness is a fundamental feature of nature and a valuable resource for applications ranging from cryptography and gambling to numerical simulation of physical and biological systems. Random numbers, however, are difficult to characterize mathematically, and their generation must rely on an unpredictable physical process. Inaccuracies in the theoretical modelling of such processes or failures of the devices, possibly due to adversarial attacks, limit the reliability of random number generators in ways that are difficult to control and detect. Here, inspired by earlier work on non-locality-based and device-independent quantum information processing, we show that the non-local correlations of entangled quantum particles can be used to certify the presence of genuine randomness. It is thereby possible to design a cryptographically secure random number generator that does not require any assumption about the internal working of the device. Such a strong form of randomness generation is impossible classically and possible in quantum systems only if certified by a Bell inequality violation. We carry out a proof-of-concept demonstration of this proposal in a system of two entangled atoms separated by approximately one metre. The observed Bell inequality violation, featuring near perfect detection efficiency, guarantees that 42 new random numbers are generated with 99 per cent confidence. Our results lay the groundwork for future device-independent quantum information experiments and for addressing fundamental issues raised by the intrinsic randomness of quantum theory. PMID:20393558

  11. 12 CFR 1010.504 - Cooperation among certified states and between certified states and the Director.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... it by developers of land located within its borders for and as needed by developers required to... cooperate with the Director and other certified states by requiring that developers of land within its... be stated in the disclosure documents, including a change resulting from the developer's...

  12. 12 CFR 1010.504 - Cooperation among certified states and between certified states and the Director.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... it by developers of land located within its borders for and as needed by developers required to... cooperate with the Director and other certified states by requiring that developers of land within its... be stated in the disclosure documents, including a change resulting from the developer's...

  13. 12 CFR 1010.504 - Cooperation among certified states and between certified states and the Director.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... it by developers of land located within its borders for and as needed by developers required to... cooperate with the Director and other certified states by requiring that developers of land within its... be stated in the disclosure documents, including a change resulting from the developer's...

  14. Training and Certification Program for Certified Energy Auditors (CEA) and Certified Building Commissioning Professionals (CBCP)

    SciTech Connect

    Kent, Bill

    2012-08-24

    The Association of Energy Engineers (AEE) has offered energy efficiency training and certification programs for over 30 years. During that time AEE has certified more than 22,000 professionals. All of our certification programs are the result of extensive industry research and program development and oversight by certification boards. For this project award, AEE proposed to work with the Department of Energy to utilize and extend existing industry recognized Certified Energy Auditor (CEA) and Certified Building Commissioning Professional (CBCP) programs under this Training Program Development Announcement. These expanded training programs will have significant impact in training professionals for building commissioning and energy auditing to achieve the goal of bringing existing buildings up to their optimal energy performance potential and ensuring that new buildings maintain their expected optimal level of performance. The goals and objectives of the training development project were achieved with the development of new training programs that are now being offered as self-sustaining commercial training and certification programs. These new programs are training and certifying professionals who are accomplishing the goal of increasing building energy performance in both existing and new buildings.

  15. 77 FR 5415 - National Organic Program: Notice of Draft Guidance for Accredited Certifying Agents, Certified...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-02-03

    ... Budget (OMB) Bulletin on Agency Good Guidance Practices (GGPs) (January 25, 2007, 72 FR 3432-3440). The...; ] DEPARTMENT OF AGRICULTURE Agricultural Marketing Service 7 CFR Part 205 National Organic Program: Notice of... Certified Organic Products AGENCY: Agricultural Marketing Service, USDA. ACTION: Notice of availability...

  16. 76 FR 26177 - National Organic Program: Notice of Final Guidance for Accredited Certifying Agents and Certified...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-05-06

    ... on five draft guidance documents (75 FR 62693). The topics covered in the draft documents addressed... Guidance Practices (GGPs) (January 25, 2007, 72 FR 3432-3440). The purpose of GGPs is to ensure that... Service 7 CFR Part 205 National Organic Program: Notice of Final Guidance for Accredited Certifying...

  17. Approximate Solutions in Planted 3-SAT

    NASA Astrophysics Data System (ADS)

    Hsu, Benjamin; Laumann, Christopher; Moessner, Roderich; Sondhi, Shivaji

    2013-03-01

    In many computational settings, there exists many instances where finding a solution requires a computing time that grows exponentially in the number of variables. Concrete examples occur in combinatorial optimization problems and cryptography in computer science or glassy systems in physics. However, while exact solutions are often known to require exponential time, a related and important question is the running time required to find approximate solutions. Treating this problem as a problem in statistical physics at finite temperature, we examine the computational running time in finding approximate solutions in 3-satisfiability for randomly generated 3-SAT instances which are guaranteed to have a solution. Analytic predictions are corroborated by numerical evidence using stochastic local search algorithms. A first order transition is found in the running time of these algorithms.

  18. SpinSat Mission Preliminary Results

    NASA Astrophysics Data System (ADS)

    Nicholas, A.; Sawka, W.; Finne, T.; Thomas, L.; Healey, L.; Galysh, I.; Barjatya, A.; Cowardin, H.; Ransdell, J.; Williams, S.

    2014-09-01

    The SpinSat flight is a small satellite mission proposed by the Naval Research Laboratory and Digital Solid State Propulsion (DSSP) LLC to demonstrate and characterize the on-orbit performance of electrically controlled solid propellant technology in space. Launch is expected in summer of 2014. This is an enabling technology for the small satellite community that will allow small satellites to perform maneuvers. The mission consists of a spherical spacecraft fitted with Electrically Controlled Solid Propellant thrusters and retro-reflectors for satellite laser ranging (SLR). The spacecraft will be deployed from the International Space Station. This paper presents a mission overview, ground truth characterization, preliminary results and unique SSA observation opportunities of the mission.

  19. Space radiation incident on SATS missions

    NASA Technical Reports Server (NTRS)

    Stassinopoulos, E. G.

    1973-01-01

    A special orbital radiation study was conducted in order to evaluate mission encountered energetic particle fluxes. This information is to be supplied to the project subsystem engineers for their guidance in designing flight hardware to withstand the expected radiation levels. Flux calculations were performed for a set of 20 nominal trajectories placed at several altitudes and inclinations. Temporal variations in the ambient electron environment were considered and partially accounted for. Magnetic field calculations were performed with a current field model, extrapolated to the tentative SATS launch epoch with linear time terms. Orbital flux integrations ware performed with the latest proton and electron environment models, using new computational methods. The results are presented in graphical and tabular form. Estimates of energetic solar proton fluxes are given for a one year mission at selected integral energies ranging from 10 to 100 Mev, calculated for a year of maximum solar activity during the next solar cycle.

  20. Solving SAT Problem Based on Hybrid Differential Evolution Algorithm

    NASA Astrophysics Data System (ADS)

    Liu, Kunqi; Zhang, Jingmin; Liu, Gang; Kang, Lishan

    Satisfiability (SAT) problem is an NP-complete problem. Based on the analysis about it, SAT problem is translated equally into an optimization problem on the minimum of objective function. A hybrid differential evolution algorithm is proposed to solve the Satisfiability problem. It makes full use of strong local search capacity of hill-climbing algorithm and strong global search capability of differential evolution algorithm, which makes up their disadvantages, improves the efficiency of algorithm and avoids the stagnation phenomenon. The experiment results show that the hybrid algorithm is efficient in solving SAT problem.

  1. 3D Printing the Complete CubeSat

    NASA Technical Reports Server (NTRS)

    Kief, Craig

    2015-01-01

    The 3D Printing the Complete CubeSat project is designed to advance the state-of-the-art in 3D printing for CubeSat applications. Printing in 3D has the potential to increase reliability, reduce design iteration time and provide greater design flexibility in the areas of radiation mitigation, communications, propulsion, and wiring, among others. This project is investigating the possibility of including propulsion systems into the design of printed CubeSat components. One such concept, an embedded micro pulsed plasma thruster (mPPT), could provide auxiliary reaction control propulsion for a spacecraft as a means to desaturate momentum wheels.

  2. Function analysis of a new type I PKS-SAT domain by SAT-EAT domain replacement.

    PubMed

    Jiao, Y L; Wang, L H; Jiao, B H; Wang, S J; Fang, Y W; Liu, S

    2010-01-01

    The function of a new starter unit acyltransferase (SAT) domain SAT-EF080951 (GenBank accession number) encoded in a new type I polyketide synthase (PKS) gene cluster EF568935 (GenBank accession number) isolated for this study was analyzed by domain replacement with an extender unit AT (EAT) domain of avermectin PKS. It was shown that the SAT-EF080951 incorporated malonyl-CoA specifically in vivo, which contradicted the specificity that we had previously determined by substrate binding test in vitro. The result of this study indicates that type I PKS-SAT can alter its specificity in vivo and functions well in extender units and proved the feasibility of the SAT-EAT domain replacement in type I PKS. We propose that SAT-EAT replacement strategy could be a novel route for increasing the diversity of new polyketides combinatorially biosynthesized. The new type I PKS-SAT-EF080951 studied herein may be further employed for related studies on enzymology or combinatorial biosynthesis of polyketides. PMID:20391758

  3. 31 CFR 315.58 - Forms to be certified.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 31 Money and Finance:Treasury 2 2011-07-01 2011-07-01 false Forms to be certified. 315.58 Section..., SERIES A, B, C, D, E, F, G, H, J, AND K, AND U.S. SAVINGS NOTES Certifying Officers § 315.58 Forms to be certified. When required in the instructions on a Public Debt form, the form must be signed before...

  4. 31 CFR 315.58 - Forms to be certified.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 31 Money and Finance:Treasury 2 2013-07-01 2013-07-01 false Forms to be certified. 315.58 Section..., SERIES A, B, C, D, E, F, G, H, J, AND K, AND U.S. SAVINGS NOTES Certifying Officers § 315.58 Forms to be certified. When required in the instructions on a Public Debt form, the form must be signed before...

  5. 31 CFR 315.58 - Forms to be certified.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 31 Money and Finance:Treasury 2 2012-07-01 2012-07-01 false Forms to be certified. 315.58 Section..., SERIES A, B, C, D, E, F, G, H, J, AND K, AND U.S. SAVINGS NOTES Certifying Officers § 315.58 Forms to be certified. When required in the instructions on a Public Debt form, the form must be signed before...

  6. 31 CFR 315.58 - Forms to be certified.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 31 Money and Finance: Treasury 2 2014-07-01 2014-07-01 false Forms to be certified. 315.58 Section..., SERIES A, B, C, D, E, F, G, H, J, AND K, AND U.S. SAVINGS NOTES Certifying Officers § 315.58 Forms to be certified. When required in the instructions on a Fiscal Service form, the form must be signed before...

  7. Communication: Certifying the potential energy landscape

    NASA Astrophysics Data System (ADS)

    Mehta, Dhagash; Hauenstein, Jonathan D.; Wales, David J.

    2013-05-01

    It is highly desirable for numerical approximations to stationary points for a potential energy landscape to lie in the corresponding quadratic convergence basin. However, it is possible that an approximation may lie only in the linear convergence basin, or even in a chaotic region, and hence not converge to the actual stationary point when further optimization is attempted. Proving that a numerical approximation will quadratically converge to the associated stationary point is termed certification. Here, we apply Smale's α-theory to stationary points, providing a certification serving as a mathematical proof that the numerical approximation does indeed correspond to an actual stationary point, independent of the precision employed. As a practical example, employing recently developed certification algorithms, we show how the α-theory can be used to certify all the known minima and transition states of Lennard-Jones LJN atomic clusters for N = 7, …, 14.

  8. Certifying Unpredictable Randomness from Quantum Nonlocality

    NASA Astrophysics Data System (ADS)

    Bierhorst, Peter

    2015-03-01

    A device-independent quantum randomness protocol takes an initial random seed as input and then expands it in to a longer random string. It has been proven that if the initial random seed is trusted to be unpredictable, then the longer output string can also be certified to be unpredictable by an experimental violation of Bell's inequality. It has furthermore been argued that the initial random seed may not need to be truly unpredictable, but only uncorrelated to specific parts of the Bell experiment. In this work, we demonstrate rigorously that this is indeed true, under assumptions related to ``no superdeterminism/no conspiracy'' concepts along with the no-signaling assumption. So if we assume that superluminal signaling is impossible, then a loophole-free test of Bell's inequality would be able to generate provably unpredictable randomness from an input source of (potentially predictable) classical randomness.

  9. Skunk Works type approach for F-SAT

    NASA Technical Reports Server (NTRS)

    Turner, Gary F.

    1992-01-01

    The topics are presented in viewgraph form and include the following: the F-SAT Program, the classic program organization, design/configuration management, procurement/material, manufacturing, quality assurance, the facility, and personnel management.

  10. Onboard autonomy on the Three Corner Sat Mission

    NASA Technical Reports Server (NTRS)

    Chien, S.; Engelhardt, B.; Knight, R.; Rabideau, G.; Sherwood, R.

    2001-01-01

    Three Corner Sat (3CS) is a mission of three university nanosatellites scheduled for launch on September 2002. The 3CS misison will utilize significan onboard autonomy to perform onboard science data validation and replanning.

  11. FalconSAT-7: a membrane space telescope

    NASA Astrophysics Data System (ADS)

    Andersen, Geoff; Asmolova, Olha; Dickinson, Thomas

    2014-06-01

    The USAF Academy Department of Physics is building FalconSAT-7, a membrane solar telescope to be deployed from a 3U CubeSat in LEO. The primary optic is a 0.2m photon sieve.—a diffractive element consisting of billions of tiny holes in an otherwise opaque polymer sheet. The membrane, its support structure, secondary optics, two imaging cameras and associated control/recording electronics are all packaged within half the CubeSat volume. Once in space the supporting pantograph structure is deployed, pulling the membrane flat under tension. The telescope will then be steered towards the Sun to gather images at H-alpha for transmission to the ground. Due for launch in 2016, FalconSAT-7 will serve as a pathfinder for future surveillance missions.

  12. Skunk Works type approach for F-SAT

    NASA Astrophysics Data System (ADS)

    Turner, Gary F.

    The topics are presented in viewgraph form and include the following: the F-SAT Program, the classic program organization, design/configuration management, procurement/material, manufacturing, quality assurance, the facility, and personnel management.

  13. A SAT Encoding for Multi-dimensional Packing Problems

    NASA Astrophysics Data System (ADS)

    Grandcolas, Stéphane; Pinto, Cédric

    The Orthogonal Packing Problem (OPP) consists in determining if a set of items can be packed into a given container. This decision problem is NP-complete. Fekete et al. modelled the problem in which the overlaps between the objects in each dimension are represented by interval graphs. In this paper we propose a SAT encoding of Fekete et al. characterization. Some results are presented, and the efficiency of this approach is compared with other SAT encodings.

  14. SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints

    NASA Astrophysics Data System (ADS)

    Lardeux, Frederic; Monfroy, Eric; Saubion, Frederic; Crawford, Broderick; Castro, Carlos

    Constraint satisfaction problems (CSP) or Boolean satisfiability problem (SAT) are two well known paradigm to model and solve combinatorial problems. Modeling and resolution of CSP is often strengthened by global constraints (e.g., Alldiff constraint). This paper highlights two different ways of handling specific structural information: a uniform propagation framework to handle (interleaved) Alldiff constraints with some CSP reduction rules; and a SAT encoding of these rules that preserves the reduction properties of CSP.

  15. PhoneSat In-flight Experience Results

    NASA Technical Reports Server (NTRS)

    Salas, Alberto Guillen; Attai, Watson; Oyadomari, Ken Y.; Priscal, Cedric; Schimmin, Rogan S.; Gazulla, Oriol Tintore; Wolfe, Jasper L.

    2014-01-01

    Over the last decade, consumer technology has vastly improved its performances, become more affordable and reduced its size. Modern day smartphones offer capabilities that enable us to figure out where we are, which way we are pointing, observe the world around us, and store and transmit this information to wherever we want. These capabilities are remarkably similar to those required for multi-million dollar satellites. The PhoneSat project at NASA Ames Research Center is building a series of CubeSat-size spacecrafts using an off-the-shelf smartphone as its on-board computer with the goal of showing just how simple and cheap space can be. Since the PhoneSat project started, different suborbital and orbital flight activities have proven the viability of this revolutionary approach. In early 2013, the PhoneSat project launched the first triage of PhoneSats into LEO. In the five day orbital life time, the nano-satellites flew the first functioning smartphone-based satellites (using the Nexus One and Nexus S phones), the cheapest satellite (a total parts cost below $3,500) and one of the fastest on-board processors (CPU speed of 1GHz). In this paper, an overview of the PhoneSat project as well as a summary of the in-flight experimental results is presented.

  16. Evolution of subterminal satellite (StSat) repeats in hominids.

    PubMed

    Koga, Akihiko; Notohara, Morihiro; Hirai, Hirohisa

    2011-02-01

    Subterminal satellite (StSat) repeats, consisting of 32-bp-long AT-rich units (GATATTTCCATGTT(T/C)ATACAGATAGCGGTGTA), were first found in chimpanzee and gorilla (African great apes) as one of the major components of heterochromatic regions located proximal to telomeres of chromosomes. StSat repeats have not been found in orangutan (Asian great ape) or human. This patchy distribution among species suggested that the StSat repeats were present in the common ancestor of African great apes and subsequently lost in the lineage leading to human. An alternative explanation is that the StSat repeats in chimpanzee and gorilla have different origins and the repeats did not occur in human. The purpose of the present study was quantitative evaluation of the above alternative possibilities by analyzing the nucleotide variation contained in the repeats. We collected large numbers of sequences of repeat units from genome sequence databases of chimpanzee and gorilla, and also bonobo (an African great ape phylogenetically closer to chimpanzee). We then compared the base composition of the repeat units among the 3 species, and found statistically significant similarities in the base composition. These results support the view that the StSat repeats had already formed multiple arrays in the common ancestor of African great apes. It is thus suggested that humans lost StSat repeats which had once grown to multiple arrays.

  17. Miniature scientific-grade magnetic sensors for CubeSats

    NASA Astrophysics Data System (ADS)

    Pronenko, Vira; Belyayev, Serhiy

    2016-07-01

    Micro- and nanosatellites have become more attractive due to their low development and launch cost. A class of nanosatellites defined by the CubeSat standard allows standardizing CubeSat preparation and launch, thus making the projects more affordable. Because of the complexity of sensors miniaturization to install them onboard CubeSat, the majority of CubeSat launches are aimed the technology demonstration or education missions. The scientific success of CubeSat mission depends on the sensors quality. In spite that the sensitivity of the magnetic sensors strongly depends on their size, the recent development in this branch allows us to propose tiny but sensitive both AC and DC magnetometers. The goal of the present report is to introduce the new design of miniature three-component sensors for measurement of vector magnetic fields - for quasi-stationary and slowly fluctuating - flux-gate magnetometer (FGM) - and for alternative ones - search-coil magnetometer (SCM). In order to create magnetometers with the really highest possible level of parameters, a set of scientific and technological problems, mostly aimed at the sensor construction improvement, was solved. The most important parameter characterizing magnetometer quality is its own magnetic noise level (NL). The analysis of the NL influencing factors is made and the ways to decrease it are discussed in the report. Construction details and technical specifications of miniature but sensitive FGM and SCM for the CubeSat mission are presented. This work is supported by EC Framework 7 funded project 607197.

  18. Formal verification of AI software

    NASA Technical Reports Server (NTRS)

    Rushby, John; Whitehurst, R. Alan

    1989-01-01

    The application of formal verification techniques to Artificial Intelligence (AI) software, particularly expert systems, is investigated. Constraint satisfaction and model inversion are identified as two formal specification paradigms for different classes of expert systems. A formal definition of consistency is developed, and the notion of approximate semantics is introduced. Examples are given of how these ideas can be applied in both declarative and imperative forms.

  19. Formalized Epistemology, Logic, and Grammar

    NASA Astrophysics Data System (ADS)

    Bitbol, Michel

    The task of a formal epistemology is defined. It appears that a formal epistemology must be a generalization of "logic" in the sense of Wittgenstein's Tractatus. The generalization is required because, whereas logic presupposes a strict relation between activity and language, this relation may be broken in some domains of experimental enquiry (e.g., in microscopic physics). However, a formal epistemology should also retain a major feature of Wittgenstein's "logic": It must not be a discourse about scientific knowledge, but rather a way of making manifest the structures usually implicit in knowledge-gaining activity. This strategy is applied to the formalism of quantum mechanics.

  20. 40 CFR 85.1407 - Notification of intent to certify.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... certifier that use of its certified equipment will not cause a substantial increase to urban bus engine... following equation: en30au93.029 (ii) The emission testing results for hydrocarbons, carbon monoxide, and oxides of nitrogen. The results must show that use of the clean diesel fuel does not lead to increases...

  1. 77 FR 43535 - Grantee Codes for Certified Radiofrequency Equipment

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-07-25

    ... COMMISSION 47 CFR Part 2 Grantee Codes for Certified Radiofrequency Equipment AGENCY: Federal Communications... continue to have new ones to assign to parties that wish to certify new equipment. DATES: Effective August....gov . Summary of the Order 1. The Commission operates an equipment authorization program...

  2. 19 CFR 159.35 - Certified daily rate.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... TREASURY (CONTINUED) LIQUIDATION OF DUTIES Conversion of Foreign Currency § 159.35 Certified daily rate. The daily buying rate of foreign currency which is determined by the Federal Reserve Bank of New York... 19 Customs Duties 2 2011-04-01 2011-04-01 false Certified daily rate. 159.35 Section...

  3. 7 CFR 4279.43 - Certified Lender Program.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... performance of the lender as a Small Business Administration (SBA) certified or preferred lender. A certified... 80 percent. (4) If the lender is a bank or savings and loan, it must have a financial strength rating... branches or suboffices may submit loans as regular lenders or apply for their own CLP status. Any...

  4. 76 FR 28403 - National Registry of Certified Medical Examiners

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-05-17

    ... of a National Registry of Certified Medical Examiners (National Registry), 73 FR 73129. The National... medical examiners about FMCSA's physical qualification standards. See 73 FR 73132-33. However, the Agency... Certified Medical Examiners ACTION: Notice of availability of draft guidance; request for comments....

  5. 42 CFR 441.153 - Team certifying need for services.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 42 Public Health 4 2010-10-01 2010-10-01 false Team certifying need for services. 441.153 Section... § 441.153 Team certifying need for services. Certification under § 441.152 must be made by terms..., certification must be made by an independent team that— (1) Includes a physician; (2) Has competence...

  6. Teacher Efficacy of Alternative and Traditionally Certified Special Education Teachers

    ERIC Educational Resources Information Center

    Green, Sean Michael

    2012-01-01

    A teacher shortage in the area of special education has led to an increase in the number of alternatively certified special education teachers. Many alternative certification programs focus on content knowledge rather than pedagogical training, allowing many alternatively certified teachers into the classroom with little pedagogical training.…

  7. 76 FR 80741 - TRICARE: Certified Mental Health Counselors

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-12-27

    ... of the Secretary 32 CFR Part 199 TRICARE: Certified Mental Health Counselors AGENCY: Office of the... accordance with Section 717 of the NDAA 2008, that would allow licensed or certified mental health counselors... services. Under current TRICARE requirements, mental health counselors (MHCs) are authorized to...

  8. 7 CFR 762.106 - Preferred and certified lender programs.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 7 2011-01-01 2011-01-01 false Preferred and certified lender programs. 762.106 Section 762.106 Agriculture Regulations of the Department of Agriculture (Continued) FARM SERVICE AGENCY, DEPARTMENT OF AGRICULTURE SPECIAL PROGRAMS GUARANTEED FARM LOANS § 762.106 Preferred and certified lender programs. (a) General. (1) Lenders...

  9. 38 CFR 3.200 - Testimony certified or under oath.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 38 Pensions, Bonuses, and Veterans' Relief 1 2010-07-01 2010-07-01 false Testimony certified or... Testimony certified or under oath. (a) All oral testimony presented by claimants and witnesses on their...) All written testimony submitted by the claimant or in his or her behalf for the purpose...

  10. Teaching Efficacy Beliefs of National Board Certified Physical Educators

    ERIC Educational Resources Information Center

    Woods, Amelia Mays; Rhoades, Jesse

    2013-01-01

    The National Board of Professional Teaching Standards offers a voluntary advanced certification for K-12 teachers. The majority of teachers who pursue this professional development program live in the USA, although there are National Board Certified teachers across the globe. This study examined National Board Certified Physical Education…

  11. 40 CFR 85.2115 - Notification of intent to certify.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... “M” St. SW., Washington, DC 20460. (5) A copy of the notification submitted under paragraph (a)(4) of...) Identification of each part to be certified; and. (ii) Identification of all vehicle or engine configurations for which the part is being certified including make(s), model(s), year(s), engine size(s) and all...

  12. 40 CFR 85.2115 - Notification of intent to certify.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... “M” St. SW., Washington, DC 20460. (5) A copy of the notification submitted under paragraph (a)(4) of...) Identification of each part to be certified; and. (ii) Identification of all vehicle or engine configurations for which the part is being certified including make(s), model(s), year(s), engine size(s) and all...

  13. 40 CFR 85.2115 - Notification of intent to certify.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... “M” St. SW., Washington, DC 20460. (5) A copy of the notification submitted under paragraph (a)(4) of...) Identification of each part to be certified; and. (ii) Identification of all vehicle or engine configurations for which the part is being certified including make(s), model(s), year(s), engine size(s) and all...

  14. 40 CFR 85.2115 - Notification of intent to certify.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... “M” St. SW., Washington, DC 20460. (5) A copy of the notification submitted under paragraph (a)(4) of...) Identification of each part to be certified; and. (ii) Identification of all vehicle or engine configurations for which the part is being certified including make(s), model(s), year(s), engine size(s) and all...

  15. 40 CFR 85.2115 - Notification of intent to certify.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... “M” St. SW., Washington, DC 20460. (5) A copy of the notification submitted under paragraph (a)(4) of...) Identification of each part to be certified; and. (ii) Identification of all vehicle or engine configurations for which the part is being certified including make(s), model(s), year(s), engine size(s) and all...

  16. 7 CFR 97.122 - Certified seed only election.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false Certified seed only election. 97.122 Section 97.122 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... PLANT VARIETY AND PROTECTION Reissuance of Certificate § 97.122 Certified seed only election. When...

  17. 7 CFR 97.122 - Certified seed only election.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 3 2011-01-01 2011-01-01 false Certified seed only election. 97.122 Section 97.122 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... PLANT VARIETY AND PROTECTION Reissuance of Certificate § 97.122 Certified seed only election. When...

  18. 7 CFR 97.122 - Certified seed only election.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 3 2012-01-01 2012-01-01 false Certified seed only election. 97.122 Section 97.122 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... PLANT VARIETY AND PROTECTION Reissuance of Certificate § 97.122 Certified seed only election. When...

  19. 47 CFR 15.202 - Certified operating frequency range.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 47 Telecommunication 1 2013-10-01 2013-10-01 false Certified operating frequency range. 15.202 Section 15.202 Telecommunication FEDERAL COMMUNICATIONS COMMISSION GENERAL RADIO FREQUENCY DEVICES Intentional Radiators § 15.202 Certified operating frequency range. Client devices that operate in a...

  20. 47 CFR 15.202 - Certified operating frequency range.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 47 Telecommunication 1 2011-10-01 2011-10-01 false Certified operating frequency range. 15.202 Section 15.202 Telecommunication FEDERAL COMMUNICATIONS COMMISSION GENERAL RADIO FREQUENCY DEVICES Intentional Radiators § 15.202 Certified operating frequency range. Client devices that operate in a...

  1. 47 CFR 15.202 - Certified operating frequency range.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 47 Telecommunication 1 2012-10-01 2012-10-01 false Certified operating frequency range. 15.202 Section 15.202 Telecommunication FEDERAL COMMUNICATIONS COMMISSION GENERAL RADIO FREQUENCY DEVICES Intentional Radiators § 15.202 Certified operating frequency range. Client devices that operate in a...

  2. 47 CFR 15.202 - Certified operating frequency range.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 47 Telecommunication 1 2014-10-01 2014-10-01 false Certified operating frequency range. 15.202 Section 15.202 Telecommunication FEDERAL COMMUNICATIONS COMMISSION GENERAL RADIO FREQUENCY DEVICES Intentional Radiators § 15.202 Certified operating frequency range. Client devices that operate in a...

  3. 36 CFR 61.7 - Subgrants to certified local governments.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... INTERIOR PROCEDURES FOR STATE, TRIBAL, AND LOCAL GOVERNMENT HISTORIC PRESERVATION PROGRAMS § 61.7 Subgrants to certified local governments. (a) Each SHPO must transfer at least 10 percent of its annual... 36 Parks, Forests, and Public Property 1 2010-07-01 2010-07-01 false Subgrants to certified...

  4. 45 CFR 155.225 - Certified application counselors.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 155.225 Public Welfare DEPARTMENT OF HEALTH AND HUMAN SERVICES REQUIREMENTS RELATING TO HEALTH CARE ACCESS EXCHANGE ESTABLISHMENT STANDARDS AND OTHER RELATED STANDARDS UNDER THE AFFORDABLE CARE ACT General... agency, to certify its staff members or volunteers to act as certified application counselors who...

  5. 31 CFR 315.58 - Forms to be certified.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Forms to be certified. 315.58 Section 315.58 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL..., SERIES A, B, C, D, E, F, G, H, J, AND K, AND U.S. SAVINGS NOTES Certifying Officers § 315.58 Forms to...

  6. 31 CFR 315.55 - Individuals authorized to certify.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Individuals authorized to certify. 315.55 Section 315.55 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued... BONDS, SERIES A, B, C, D, E, F, G, H, J, AND K, AND U.S. SAVINGS NOTES Certifying Officers §...

  7. 7 CFR 762.106 - Preferred and certified lender programs.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 7 2010-01-01 2010-01-01 false Preferred and certified lender programs. 762.106 Section 762.106 Agriculture Regulations of the Department of Agriculture (Continued) FARM SERVICE AGENCY, DEPARTMENT OF AGRICULTURE SPECIAL PROGRAMS GUARANTEED FARM LOANS § 762.106 Preferred and certified...

  8. 19 CFR 159.34 - Certified quarterly rate.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... TREASURY (CONTINUED) LIQUIDATION OF DUTIES Conversion of Foreign Currency § 159.34 Certified quarterly rate. (a) Countries for which quarterly rate is certified. For the currency of each of the following... York for such foreign currency for a day in that quarter: Australia, Austria, Belgium, Brazil,...

  9. 36 CFR 61.6 - Certified local government programs.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 36 Parks, Forests, and Public Property 1 2012-07-01 2012-07-01 false Certified local government programs. 61.6 Section 61.6 Parks, Forests, and Public Property NATIONAL PARK SERVICE, DEPARTMENT OF THE INTERIOR PROCEDURES FOR STATE, TRIBAL, AND LOCAL GOVERNMENT HISTORIC PRESERVATION PROGRAMS § 61.6 Certified local government programs. (a)...

  10. 36 CFR 61.7 - Subgrants to certified local governments.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 36 Parks, Forests, and Public Property 1 2012-07-01 2012-07-01 false Subgrants to certified local governments. 61.7 Section 61.7 Parks, Forests, and Public Property NATIONAL PARK SERVICE, DEPARTMENT OF THE INTERIOR PROCEDURES FOR STATE, TRIBAL, AND LOCAL GOVERNMENT HISTORIC PRESERVATION PROGRAMS § 61.7 Subgrants to certified local governments....

  11. 36 CFR 61.7 - Subgrants to certified local governments.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 36 Parks, Forests, and Public Property 1 2011-07-01 2011-07-01 false Subgrants to certified local governments. 61.7 Section 61.7 Parks, Forests, and Public Property NATIONAL PARK SERVICE, DEPARTMENT OF THE INTERIOR PROCEDURES FOR STATE, TRIBAL, AND LOCAL GOVERNMENT HISTORIC PRESERVATION PROGRAMS § 61.7 Subgrants to certified local governments....

  12. 7 CFR 97.143 - Certified seed only.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 3 2011-01-01 2011-01-01 false Certified seed only. 97.143 Section 97.143 Agriculture... PLANT VARIETY AND PROTECTION Marking Or Labeling Provisions § 97.143 Certified seed only. (a) Upon filing an application, or amendment thereto, specifying seed of the variety is to be sold by variety...

  13. 7 CFR 97.143 - Certified seed only.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false Certified seed only. 97.143 Section 97.143 Agriculture... PLANT VARIETY AND PROTECTION Marking Or Labeling Provisions § 97.143 Certified seed only. (a) Upon filing an application, or amendment thereto, specifying seed of the variety is to be sold by variety...

  14. 7 CFR 97.143 - Certified seed only.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 3 2012-01-01 2012-01-01 false Certified seed only. 97.143 Section 97.143 Agriculture... PLANT VARIETY AND PROTECTION Marking Or Labeling Provisions § 97.143 Certified seed only. (a) Upon filing an application, or amendment thereto, specifying seed of the variety is to be sold by variety...

  15. 7 CFR 97.143 - Certified seed only.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 3 2014-01-01 2014-01-01 false Certified seed only. 97.143 Section 97.143 Agriculture... PLANT VARIETY AND PROTECTION Marking Or Labeling Provisions § 97.143 Certified seed only. (a) Upon filing an application, or amendment thereto, specifying seed of the variety is to be sold by variety...

  16. 7 CFR 97.143 - Certified seed only.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 3 2013-01-01 2013-01-01 false Certified seed only. 97.143 Section 97.143 Agriculture... PLANT VARIETY AND PROTECTION Marking Or Labeling Provisions § 97.143 Certified seed only. (a) Upon filing an application, or amendment thereto, specifying seed of the variety is to be sold by variety...

  17. 40 CFR 85.1407 - Notification of intent to certify.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... (CONTINUED) CONTROL OF AIR POLLUTION FROM MOBILE SOURCES Urban Bus Rebuild Requirements § 85.1407... certifier that use of its certified equipment will not cause a substantial increase to urban bus engine... § 85.1403(b) for all affected urban bus operators as specified in § 85.1401, the notification...

  18. 78 FR 58567 - Criteria to Certify Coal Mine Rescue Teams

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-09-24

    ... Safety and Health Administration Criteria to Certify Coal Mine Rescue Teams AGENCY: Mine Safety and... Safety and Health Administration (MSHA) is requesting comments on revised instruction guides for coal... guides. Existing standards for coal mine rescue teams include criteria for mine operators to certify...

  19. 7 CFR 205.100 - What has to be certified.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ..., Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) ORGANIC FOODS PRODUCTION ACT PROVISIONS NATIONAL ORGANIC PROGRAM Applicability § 205.100 What has to be certified. (a) Except for...,” or “made with organic (specified ingredients or food group(s))” must be certified according to...

  20. 42 CFR 438.604 - Data that must be certified.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 42 Public Health 4 2010-10-01 2010-10-01 false Data that must be certified. 438.604 Section 438.604 Public Health CENTERS FOR MEDICARE & MEDICAID SERVICES, DEPARTMENT OF HEALTH AND HUMAN SERVICES (CONTINUED) MEDICAL ASSISTANCE PROGRAMS MANAGED CARE Certifications and Program Integrity § 438.604 Data that must be certified. (a) Data...

  1. 7 CFR 762.106 - Preferred and certified lender programs.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 7 2012-01-01 2012-01-01 false Preferred and certified lender programs. 762.106 Section 762.106 Agriculture Regulations of the Department of Agriculture (Continued) FARM SERVICE AGENCY, DEPARTMENT OF AGRICULTURE SPECIAL PROGRAMS GUARANTEED FARM LOANS § 762.106 Preferred and certified...

  2. 7 CFR 762.106 - Preferred and certified lender programs.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 7 2014-01-01 2014-01-01 false Preferred and certified lender programs. 762.106 Section 762.106 Agriculture Regulations of the Department of Agriculture (Continued) FARM SERVICE AGENCY, DEPARTMENT OF AGRICULTURE SPECIAL PROGRAMS GUARANTEED FARM LOANS § 762.106 Preferred and certified...

  3. 12 CFR 1253.6 - Certifying and nullifying an approval.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... Section 1253.6 Banks and Banking FEDERAL HOUSING FINANCE AGENCY ENTERPRISES PRIOR APPROVAL FOR ENTERPRISE PRODUCTS § 1253.6 Certifying and nullifying an approval. (a) An Enterprise shall certify, through an... this paragraph, an Enterprise's authority to offer a new product or engage in a new activity by...

  4. 12 CFR 1253.6 - Certifying and nullifying an approval.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... Section 1253.6 Banks and Banking FEDERAL HOUSING FINANCE AGENCY ENTERPRISES PRIOR APPROVAL FOR ENTERPRISE PRODUCTS § 1253.6 Certifying and nullifying an approval. (a) An Enterprise shall certify, through an... this paragraph, an Enterprise's authority to offer a new product or engage in a new activity by...

  5. 12 CFR 1253.6 - Certifying and nullifying an approval.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... Section 1253.6 Banks and Banking FEDERAL HOUSING FINANCE AGENCY ENTERPRISES PRIOR APPROVAL FOR ENTERPRISE PRODUCTS § 1253.6 Certifying and nullifying an approval. (a) An Enterprise shall certify, through an... this paragraph, an Enterprise's authority to offer a new product or engage in a new activity by...

  6. 27 CFR 478.95 - Certified copy of license.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 3 2010-04-01 2010-04-01 false Certified copy of license... Conduct of Business § 478.95 Certified copy of license. The license furnished to each person licensed... the licensee desires an additional copy of the license for certification (instead of making...

  7. 7 CFR 97.179 - Copies and certified copies.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false Copies and certified copies. 97.179 Section 97.179... PLANT VARIETY AND PROTECTION Fees and Charges § 97.179 Copies and certified copies. (a) Upon request, copies of applications, certificates, or of any records, books, papers, drawings, or photographs in...

  8. The Ethics of Counseling: A National Survey of Certified Counselors.

    ERIC Educational Resources Information Center

    Gibson, William T.; Pope, Kenneth S.

    1993-01-01

    Collected national survey data from 579 counselors certified by National Board for Certified Counselors concerning their beliefs about whether each of 88 behaviors was ethical and how confident they were of their judgment. Systematic patterns in responding emerged in regard to age, sex, primary work setting, and degree. Participants indicated…

  9. 30 CFR 90.203 - Certified person; maintenance and calibration.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Certified person; maintenance and calibration... OF PNEUMOCONIOSIS Sampling Procedures § 90.203 Certified person; maintenance and calibration. (a... person shall pass the MSHA examination on maintenance and calibration procedures for respirable...

  10. 30 CFR 70.203 - Certified person; maintenance and calibration.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Certified person; maintenance and calibration....203 Certified person; maintenance and calibration. (a) Approved sampling devices shall be maintained... maintenance and calibration procedures for respirable dust sampling equipment. (c) A person may be...

  11. 30 CFR 90.203 - Certified person; maintenance and calibration.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 30 Mineral Resources 1 2014-07-01 2014-07-01 false Certified person; maintenance and calibration... OF PNEUMOCONIOSIS Sampling Procedures § 90.203 Certified person; maintenance and calibration. (a... person shall pass the MSHA examination on maintenance and calibration procedures for respirable...

  12. 30 CFR 90.203 - Certified person; maintenance and calibration.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Certified person; maintenance and calibration... OF PNEUMOCONIOSIS Sampling Procedures § 90.203 Certified person; maintenance and calibration. (a... person shall pass the MSHA examination on maintenance and calibration procedures for respirable...

  13. 30 CFR 71.203 - Certified person; maintenance and calibration.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 30 Mineral Resources 1 2014-07-01 2014-07-01 false Certified person; maintenance and calibration... UNDERGROUND COAL MINES Sampling Procedures § 71.203 Certified person; maintenance and calibration. (a... person shall pass the MSHA examination on maintenance and calibration procedures for respirable...

  14. 30 CFR 70.203 - Certified person; maintenance and calibration.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Certified person; maintenance and calibration....203 Certified person; maintenance and calibration. (a) Approved sampling devices shall be maintained... maintenance and calibration procedures for respirable dust sampling equipment. (c) A person may be...

  15. 30 CFR 71.203 - Certified person; maintenance and calibration.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Certified person; maintenance and calibration... UNDERGROUND COAL MINES Sampling Procedures § 71.203 Certified person; maintenance and calibration. (a... person shall pass the MSHA examination on maintenance and calibration procedures for respirable...

  16. 30 CFR 70.203 - Certified person; maintenance and calibration.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 30 Mineral Resources 1 2014-07-01 2014-07-01 false Certified person; maintenance and calibration....203 Certified person; maintenance and calibration. (a) Approved sampling devices shall be maintained... maintenance and calibration procedures for respirable dust sampling equipment. (c) A person may be...

  17. 30 CFR 70.203 - Certified person; maintenance and calibration.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... maintenance and calibration procedures for respirable dust sampling equipment. (c) A person may be temporarily... 30 Mineral Resources 1 2012-07-01 2012-07-01 false Certified person; maintenance and calibration....203 Certified person; maintenance and calibration. (a) Approved sampling devices shall be...

  18. 30 CFR 90.203 - Certified person; maintenance and calibration.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... the maintenance and calibration procedures for respirable dust sampling equipment under this rule. The... 30 Mineral Resources 1 2012-07-01 2012-07-01 false Certified person; maintenance and calibration... OF PNEUMOCONIOSIS Sampling Procedures § 90.203 Certified person; maintenance and calibration....

  19. 30 CFR 71.203 - Certified person; maintenance and calibration.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... the maintenance and calibration procedures for respirable dust sampling equipment under this rule. The... 30 Mineral Resources 1 2012-07-01 2012-07-01 false Certified person; maintenance and calibration... UNDERGROUND COAL MINES Sampling Procedures § 71.203 Certified person; maintenance and calibration....

  20. 30 CFR 70.203 - Certified person; maintenance and calibration.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... maintenance and calibration procedures for respirable dust sampling equipment. (c) A person may be temporarily... 30 Mineral Resources 1 2013-07-01 2013-07-01 false Certified person; maintenance and calibration....203 Certified person; maintenance and calibration. (a) Approved sampling devices shall be...

  1. 30 CFR 71.203 - Certified person; maintenance and calibration.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... the maintenance and calibration procedures for respirable dust sampling equipment under this rule. The... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Certified person; maintenance and calibration... UNDERGROUND COAL MINES Sampling Procedures § 71.203 Certified person; maintenance and calibration....

  2. Validity of the SAT for Predicting Second-Year Grades: 2006 SAT Validity Sample. Statistical Report No. 2011-1

    ERIC Educational Resources Information Center

    Mattern, Krista D.; Patterson, Brian F.

    2011-01-01

    This report presents the validity of the SAT for predicting two second-year outcomes: (1) second-year cumulative GPA (2nd Yr Cum GPA), and (2) second-year grade point average (2nd Yr GPA). Similar to the results for first-year grade point average (1st Yr GPA), the SAT is strongly correlated with second year outcomes. For many significant…

  3. Formal, Non-Formal and Informal Learning in the Sciences

    ERIC Educational Resources Information Center

    Ainsworth, Heather L.; Eaton, Sarah Elaine

    2010-01-01

    This research report investigates the links between formal, non-formal and informal learning and the differences between them. In particular, the report aims to link these notions of learning to the field of sciences and engineering in Canada and the United States, including professional development of adults working in these fields. It offers…

  4. Memorial consequences of answering SAT II questions.

    PubMed

    Marsh, Elizabeth J; Agarwal, Pooja K; Roediger, Henry L

    2009-03-01

    Many thousands of students take standardized tests every year. In the current research, we asked whether answering standardized test questions affects students' later test performance. Prior research has shown both positive and negative effects of multiple-choice testing on later tests, with negative effects arising from students selecting incorrect alternatives on multiple-choice tests and then believing they were correct (Roediger & Marsh, 2005). In the current experiments, undergraduates and high school students answered multiple-choice questions retired from SAT II tests (that are no longer in the testing pool) on biology, chemistry, U.S. history, and world history, and later answered cued-recall questions about these subjects. In 3 experiments, we observed positive testing effects: More final cued-recall questions were answered correctly if the items had appeared on the initial multiple-choice test. We also sometimes observed negative testing effects: intrusions of multiple-choice distractors as answers on the final cued-recall test. Students who scored well on the initial test benefited from taking the test, but lower achieving students showed either less benefit (undergraduates) or costs from the testing (high school students). PMID:19309212

  5. Science-Driven NanoSats Design for Deep Space

    NASA Astrophysics Data System (ADS)

    Klesh, A. T.; Castillo, J. C.

    2012-12-01

    CubeSat-based exploration of Earth has driven the development of miniaturized systems and research-grade instruments. The current performance of CubeSats raises the question of their potential contribution to planetary exploration. Two possible applications can be foreseen. One would take advantage of the readily availability of the CubeSat deployer Poly Picosatellite Orbital Deployer (P-POD) for planetary-related observations around Earth (e.g., O/OREOS mission, ExoPlanetSat), and, when propulsion systems develop, for interplanetary exploration. However, the CubeSat formfactor restricts payloads to be in an undeployed volume of 10x10x10 (1U) to 10x20x30 (6U) cm, based on the qualified and accepted P-POD. As a possible alternative, one may leverage the CubeSat-tailored subsystems to operate that platform as a secondary payload on a deep space mission. Whether the CubeSat formfactor constraint might be adjusted to accommodate a broader range of science applications or specific tailoring is required remains to be quantified. Through consultation with a wide range of scientists and engineers, we have examined the possible applications of secondary deep space NanoSats, and what derived requirements stem from these missions. Applications and requirements, together with existing technology, inform on common formfactors that could be useful for future planetary missions. By examining these formfactors, we have identified different categories of NanoSat explorer (additionally imposing discrete requirements on the mothership) that directly support scientific endeavors. In this paper, we outline some of the scientific applications that would drive the NanoSat formfactor design, as well as describe how the requirements affect programmatic issues. Several mission types are considered: passive deployment, active propulsion, targeted landing, and sample return. Each scenario changes the risk posture, and can impose additional considerations. Our goal has been to identify

  6. 48 CFR 239.7406 - Certified cost or pricing data and data other than certified cost or pricing data.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 48 Federal Acquisition Regulations System 3 2014-10-01 2014-10-01 false Certified cost or pricing data and data other than certified cost or pricing data. 239.7406 Section 239.7406 Federal Acquisition Regulations System DEFENSE ACQUISITION REGULATIONS SYSTEM, DEPARTMENT OF DEFENSE SPECIAL CATEGORIES OF CONTRACTING ACQUISITION OF...

  7. CloudSat as a Global Radar Calibrator

    SciTech Connect

    Protat, Alain; Bouniol, Dominique; O'Connor, E. J.; Baltink, Henk K.; Verlinde, J.; Widener, Kevin B.

    2011-03-01

    The calibration of the CloudSat spaceborne cloud radar has been thoroughly assessed using very accurate internal link budgets before launch, comparisons with predicted ocean surface backscatter at 94 GHz, direct comparisons with airborne cloud radars, and statistical comparisons with ground-based cloud radars at different locations of the world. It is believed that the calibration of CloudSat is accurate to within 0.5 to 1 dB. In the present paper it is shown that an approach similar to that used for the statistical comparisons with ground-based radars can now be adopted the other way around to calibrate other ground-based or airborne radars against CloudSat and / or detect anomalies in long time series of ground-based radar measurements, provided that the calibration of CloudSat is followed up closely (which is the case). The power of using CloudSat as a Global Radar Calibrator is demonstrated using the Atmospheric Radiation Measurement cloud radar data taken at Barrow, Alaska, the cloud radar data from the Cabauw site, The Netherlands, and airborne Doppler cloud radar measurements taken along the CloudSat track in the Arctic by the RASTA (Radar SysTem Airborne) cloud radar installed in the French ATR-42 aircraft for the first time. It is found that the Barrow radar data in 2008 are calibrated too high by 9.8 dB, while the Cabauw radar data in 2008 are calibrated too low by 8.0 dB. The calibration of the RASTA airborne cloud radar using direct comparisons with CloudSat agrees well with the expected gains and losses due to the change in configuration which required verification of the RASTA calibration.

  8. Solar neutron observations with ChubuSat-2 satellite

    NASA Astrophysics Data System (ADS)

    Yamaoka, Kazutaka

    2016-07-01

    Solar neutron observation is a key in understanding of ion accerelation mechanism in the Sun surface since neutrons are hardly affected by magnetic field around the Sun and intersteller mediums unlike charged particles. However, there was only a few tenth detections so far since its discovery in 1982. Actually SEDA-AP Fiber detector (FIB) onboard the International Space Station (ISS) was suffered from a high neutron background produced by the ISS itself. ChubuSat is a series of 50-kg class microsatellite jointly depeloped by universities (Nagoya university and Daido university) and aerospace companies at the Chubu area of central Japan. The ChubuSat-2 is the second ChubuSat following the ChubuSat-1 which was launched by Russian DNEPR rocket on November 6, 2014. It was selected as one of four piggyback payloads of the X-ray astronomy satellite ASTRO-H in 2014 summer, and will be launched by the H-IIA launch vehcles from from JAXA Tanegashima Space Center (TNSC) in February 2016. The ChubuSat-2 carries a mission instrument, radiation detector (RD). The main mission of ChubuSat-2 is devoted for monitoring neutrons and gamma-rays which can be background source for ASTRO-H celestrial observations with the RD. The mission also involves a function of solar neutron observations which were originally proposed by graduate students who join the leadership development program for space exploration and research, program for leading graduate schools at Nagoya University. The RD has a similar detection area and efficiency to those of the SEDA-AP FIB, but is expected to have lower backgrounthan the ISS thanks to much smaller mass of the micro-satellite. In this paper, we will describe details of ChubuSat-2 satellite and RD, and in-orbit performance of RD.

  9. Expanding CubeSat Capabilities with a Low Cost Transceiver

    NASA Technical Reports Server (NTRS)

    Palo, Scott; O'Connor, Darren; DeVito, Elizabeth; Kohnert, Rick; Schaire, Scott H.; Bundick, Steve; Crum, Gary; Altunc, Serhat; Winkert, Thomas

    2014-01-01

    CubeSats have developed rapidly over the past decade with the advent of a containerized deployer system and ever increasing launch opportunities. These satellites have moved from an educational tool to teach students about engineering challenges associated with satellite design, to systems that are conducting cutting edge earth, space and solar science. Early variants of the CubeSat had limited functionality and lacked sophisticated attitude control, deployable solar arrays and propulsion. This is no longer the case and as CubeSats mature, such systems are becoming commercially available. The result is a small satellite with sufficient power and pointing capabilities to support a high rate communication system. Communications systems have matured along with other CubeSat subsystems. Originally developed from amateur radio systems, CubeSats have generally operated in the VHF and UHF bands at data rates below 10 kbps (kilobits per second). More recently higher rate UHF systems have been developed, however these systems require a large collecting area on the ground to close the communications link at 3 Mbps (megabits per second). Efforts to develop systems that operate with similar throughput at S-Band (2-4 GHz (gigaherz)) and C-Band (4-8 GHz (gigaherz)) have also recently evolved. In this paper we outline an effort to develop a high rate CubeSat communication system that is compatible with the NASA Near Earth Network and can be accommodated by a CubeSat. The system will include a 200 kbps (kilobits per second) S-Band receiver and a 12.5 Mbps (megabits per second).X-Band transmitter. This paper will focus on our design approach and initial results associated with the 12.5 Mbps (megabits per second) X-band transmitter.

  10. CubeSat Material Limits For Design for Demise

    NASA Technical Reports Server (NTRS)

    Kelley, R. L.; Jarkey, D. R.

    2014-01-01

    The CubeSat form factor of nano-satellite (a satellite with a mass between one and ten kilograms) has grown in popularity due to their ease of construction and low development and launch costs. In particular, their use as student led payload design projects has increased due to the growing number of launch opportunities. CubeSats are often deployed as secondary or tertiary payloads on most US launch vehicles or they may be deployed from the ISS. The focus of this study will be on CubeSats launched from the ISS. From a space safety standpoint, the development and deployment processes for CubeSats differ significantly from that of most satellites. For large satellites, extensive design reviews and documentation are completed, including assessing requirements associated with reentry survivability. Typical CubeSat missions selected for ISS deployment have a less rigorous review process that may not evaluate aspects beyond overall design feasibility. CubeSat design teams often do not have the resources to ensure their design is compliant with reentry risk requirements. A study was conducted to examine methods to easily identify the maximum amount of a given material that can be used in the construction of a CubeSats without posing harm to persons on the ground. The results demonstrate that there is not a general equation or relationship that can be used for all materials; instead a limiting value must be defined for each unique material. In addition, the specific limits found for a number of generic materials that have been previously used as benchmarking materials for reentry survivability analysis tool comparison will be discussed.

  11. CubeSat Material Limits for Design for Demise

    NASA Technical Reports Server (NTRS)

    Kelley, R. L.; Jarkey, D. R.

    2014-01-01

    The CubeSat form factor of nano-satellite (a satellite with a mass between one and ten kilograms) has grown in popularity due to their ease of construction and low development and launch costs. In particular, their use as student led payload design projects has increased due to the growing number of launch opportunities. CubeSats are often deployed as secondary or tertiary payloads on most US launch vehicles or they may be deployed from the ISS. The focus of this study will be on CubeSats launched from the ISS. From a space safety standpoint, the development and deployment processes for CubeSats differ significantly from that of most satellites. For large satellites, extensive design reviews and documentation are completed, including assessing requirements associated with re-entry survivability. Typical CubeSat missions selected for ISS deployment have a less rigorous review process that may not evaluate aspects beyond overall design feasibility. CubeSat design teams often do not have the resources to ensure their design is compliant with re-entry risk requirements. A study was conducted to examine methods to easily identify the maximum amount of a given material that can be used in the construction of a CubeSats without posing harm to persons on the ground. The results demonstrate that there is not a general equation or relationship that can be used for all materials; instead a limiting value must be defined for each unique material. In addition, the specific limits found for a number of generic materials that have been previously used as benchmarking materials for re-entry survivability analysis tool comparison will be discussed.

  12. Teacher quality: a comparison of National Board-certified and non-Board-certified teachers of deaf students.

    PubMed

    Scheetz, Nanci A; Martin, David S

    2006-01-01

    THE STUDY was designed to identify specific components of teacher excellence, focusing initially on the characteristics of the small number of teachers of the deaf who are certified by the National Board for Professional Teaching Standards (NBPTS), then comparing those with the characteristics of other teachers identified as master teachers by university faculty in teacher preparation in deafness. Classroom observation, written lesson plans, teacher questionnaires on beliefs, and content analysis of interactive electronic focus groups were used to compare the two groups of teachers. Results indicated similarities between Board-certified and non-Board-certified master teachers in regard to teacher behaviors and commitment to well-founded pedagogical principles. Differences were found in classroom priorities and in the greater level of interconnectivity expressed by Board-certified teachers as the result of becoming Board certified. Recommendations are made for preparing teachers of deaf students. PMID:16856648

  13. High concentration aqueous sodium fluoride certified reference materials for forensic use certified by complexometric titration.

    PubMed

    Archer, Marcellé; Brits, Martin; Prevoo-Franzsen, Désirée; Quinn, Laura

    2015-04-01

    Sodium fluoride in concentrations of 1 to 2 % is used to prevent the formation of ethanol in blood and urine samples that are to be analysed for ethanol content. The majority of such samples form part of forensic investigations into alleged drunken driving. In South Africa, the laboratory performing the tests is required to prove that the sodium fluoride concentration in the blood samples is above 1 g/100 ml on receipt. This is done by using a fluoride ion-selective electrode calibrated with external aqueous solutions of sodium fluoride. The National Metrology Institute of South Africa (NMISA) prepares sodium fluoride solutions in concentrations from 0.3 to 3.0 g/100 ml. No other certified sodium fluoride reference solutions in these concentrations are available commercially. The sodium fluoride is certified by precipitation of the fluoride as lead chlorofluoride (PbClF) through the addition of a known excess of lead nitrate. The excess lead is back-titrated with ethylenediamine tetraacetic acid (EDTA) using a photometric electrode to detect the endpoint. Aqueous sodium fluoride solutions are prepared and the concentrations verified by the precipitation/back-titration method. This paper shows the application of a classical complexometric method to the certification of reference materials and describes the procedures for the preparation of the sodium fluoride solutions, verification of the concentrations, homogeneity and stability by primary titrimetry. It also briefly covers the calculation of uncertainty, the establishment of traceability and the quality control measures applied to ensure the quality of the certified reference materials (CRMs). PMID:25326884

  14. High concentration aqueous sodium fluoride certified reference materials for forensic use certified by complexometric titration.

    PubMed

    Archer, Marcellé; Brits, Martin; Prevoo-Franzsen, Désirée; Quinn, Laura

    2015-04-01

    Sodium fluoride in concentrations of 1 to 2 % is used to prevent the formation of ethanol in blood and urine samples that are to be analysed for ethanol content. The majority of such samples form part of forensic investigations into alleged drunken driving. In South Africa, the laboratory performing the tests is required to prove that the sodium fluoride concentration in the blood samples is above 1 g/100 ml on receipt. This is done by using a fluoride ion-selective electrode calibrated with external aqueous solutions of sodium fluoride. The National Metrology Institute of South Africa (NMISA) prepares sodium fluoride solutions in concentrations from 0.3 to 3.0 g/100 ml. No other certified sodium fluoride reference solutions in these concentrations are available commercially. The sodium fluoride is certified by precipitation of the fluoride as lead chlorofluoride (PbClF) through the addition of a known excess of lead nitrate. The excess lead is back-titrated with ethylenediamine tetraacetic acid (EDTA) using a photometric electrode to detect the endpoint. Aqueous sodium fluoride solutions are prepared and the concentrations verified by the precipitation/back-titration method. This paper shows the application of a classical complexometric method to the certification of reference materials and describes the procedures for the preparation of the sodium fluoride solutions, verification of the concentrations, homogeneity and stability by primary titrimetry. It also briefly covers the calculation of uncertainty, the establishment of traceability and the quality control measures applied to ensure the quality of the certified reference materials (CRMs).

  15. A novel solid-angle tomosynthesis (SAT) scanning scheme

    PubMed Central

    Zhang, Jin; Yu, Cedric

    2010-01-01

    Purpose: Digital tomosynthesis (DTS) recently gained extensive research interests in both diagnostic and radiation therapy fields. Conventional DTS images are generated by scanning an x-ray source and flat-panel detector pair on opposite sides of an object, with the scanning trajectory on a one-dimensional curve. A novel tomosynthesis method named solid-angle tomosynthesis (SAT) is proposed, where the x-ray source scans on an arbitrary shaped two-dimensional surface. Methods: An iterative algorithm in the form of total variation regulated expectation maximization is developed for SAT image reconstruction. The feasibility and effectiveness of SAT is corroborated by computer simulation studies using three-dimensional (3D) numerical phantoms including a 3D Shepp–Logan phantom and a volumetric CT image set of a human breast. Results: SAT is able to cover more space in Fourier domain more uniformly than conventional DTS. Greater coverage and more isotropy in the frequency domain translate to fewer artifacts and more accurately restored features in the in-plane reconstruction. Conclusions: Comparing with conventional DTS, SAT allows cone-shaped x-ray beams to project from more solid angles, thus provides more coverage in the spatial-frequency domain, resulting in better quality of reconstructed image. PMID:20879579

  16. Extravehicular Activity System Sizing Analysis Tool (EVAS_SAT)

    NASA Technical Reports Server (NTRS)

    Brown, Cheryl B.; Conger, Bruce C.; Miranda, Bruno M.; Bue, Grant C.; Rouen, Michael N.

    2007-01-01

    An effort was initiated by NASA/JSC in 2001 to develop an Extravehicular Activity System Sizing Analysis Tool (EVAS_SAT) for the sizing of Extravehicular Activity System (EVAS) architecture and studies. Its intent was to support space suit development efforts and to aid in conceptual designs for future human exploration missions. Its basis was the Life Support Options Performance Program (LSOPP), a spacesuit and portable life support system (PLSS) sizing program developed for NASA/JSC circa 1990. EVAS_SAT estimates the mass, power, and volume characteristics for user-defined EVAS architectures, including Suit Systems, Airlock Systems, Tools and Translation Aids, and Vehicle Support equipment. The tool has undergone annual changes and has been updated as new data have become available. Certain sizing algorithms have been developed based on industry standards, while others are based on the LSOPP sizing routines. The sizing algorithms used by EVAS_SAT are preliminary. Because EVAS_SAT was designed for use by members of the EVA community, subsystem familiarity on the part of the intended user group and in the analysis of results is assumed. The current EVAS_SAT is operated within Microsoft Excel 2003 using a Visual Basic interface system.

  17. A novel solid-angle tomosynthesis (SAT) scanning scheme

    SciTech Connect

    Zhang Jin; Yu, Cedric

    2010-08-15

    Purpose: Digital tomosynthesis (DTS) recently gained extensive research interests in both diagnostic and radiation therapy fields. Conventional DTS images are generated by scanning an x-ray source and flat-panel detector pair on opposite sides of an object, with the scanning trajectory on a one-dimensional curve. A novel tomosynthesis method named solid-angle tomosynthesis (SAT) is proposed, where the x-ray source scans on an arbitrary shaped two-dimensional surface. Methods: An iterative algorithm in the form of total variation regulated expectation maximization is developed for SAT image reconstruction. The feasibility and effectiveness of SAT is corroborated by computer simulation studies using three-dimensional (3D) numerical phantoms including a 3D Shepp-Logan phantom and a volumetric CT image set of a human breast. Results: SAT is able to cover more space in Fourier domain more uniformly than conventional DTS. Greater coverage and more isotropy in the frequency domain translate to fewer artifacts and more accurately restored features in the in-plane reconstruction. Conclusions: Comparing with conventional DTS, SAT allows cone-shaped x-ray beams to project from more solid angles, thus provides more coverage in the spatial-frequency domain, resulting in better quality of reconstructed image.

  18. Forecasting Evaluation of WindSat in the Coastal Environment

    NASA Technical Reports Server (NTRS)

    Lee, Thomas F.; Bettenhausen, Mike H.; Hawkins, Jeffrey D.; Richardson, Kim; Jedlovec, Gary; Smith, Matt

    2012-01-01

    WindSat has demonstrated that measurements from polarimetric space-based microwave radiometers can be used to retrieve global ocean surface vector winds. Since the date of launch in 2003, substantial incremental improvements have been made to WindSat data processing, calibration, and retrieval algorithms. The retrievals now have higher resolution, improved wind vector ambiguity removal, and enhanced capability to represent high winds. Utilization of WindSat retrievals (wind vectors, total precipitable water, rainrate and sea surface temperature) will be demonstrated in the context of operational weather forecasting applications, especially the monitoring of topographically-forced winds. Examples will be presented from various parts of the world, including inland seas, midlatitude oceans, the tropics, and the United States. We will illustrate retrievals in extreme high- and extreme low-wind regimes, both of which can be problematic. Rain contamination will be addressed. We will include a comparison of WindSat vector maps to corresponding maps from the QuikScat scatterometer. We will discuss how near-realtime data from WindSat is being transitioned to specific offices within the National Weather Service.

  19. Characterizations of a Quality Certified Athletic Trainer

    PubMed Central

    Raab, Scot; Wolfe, Brent D.; Gould, Trenton E.; Piland, Scott G.

    2011-01-01

    Context: Didactic proficiency does not ensure clinical aptitude. Quality athletic health care requires clinical knowledge and affective traits. Objective: To develop a grounded theory explaining the constructs of a quality certified athletic trainer (AT). Design: Delphi study. Setting: Interviews in conference rooms or business offices and by telephone. Patients or Other Participants: Thirteen ATs (men = 8, women = 5) stratified across the largest employment settings (high school, college, clinical) in the 4 largest districts of the National Athletic Trainers' Association (2, 3, 4, 9). Data Collection and Analysis: Open-ended interview questions were audio recorded, transcribed, and reviewed before condensing. Two member checks ensured trustworthiness. Open coding reduced text to descriptive adjectives. Results: We grouped adjectives into 5 constructs (care, communication, commitment, integrity, knowledge) and grouped these constructs into 2 higher-order constructs (affective traits, effective traits). Conclusions: According to participants, ATs who demonstrate the ability to care, show commitment and integrity, value professional knowledge, and communicate effectively with others can be identified as quality ATs. These abilities facilitate the creation of positive relationships. These relationships allow the quality AT to interact with patients and other health care professionals on a knowledgeable basis that ultimately improves health care delivery. Our resulting theory supported the examination of characteristics not traditionally assessed in an athletic training education program. If researchers can show that these characteristics develop ATs into quality ATs (eg, those who work better with others, relate meaningfully with patients, and improve the standard of health care), they must be cultivated in the educational setting. PMID:22488194

  20. Experimental infection of giraffe (Giraffa camelopardalis) with SAT-1 and SAT-2 foot-and-mouth disease virus.

    PubMed

    Vosloo, W; Swanepoel, S P; Bauman, M; Botha, B; Esterhuysen, J J; Boshoff, C I; Keet, D F; Dekker, A

    2011-04-01

    The potential role of giraffe (Giraffa camelopardalis) in the epidemiology and spread of foot-and-mouth disease (FMD) SAT types was investigated by experimental infection and detection of virus in excretions using virus isolation on primary pig kidney cell cultures. In two experiments separated by a period of 24 months, groups of four animals were needle infected with a SAT-1 or SAT-2 virus, respectively and two in-contact controls were kept with each group. Viraemia was detected 3-9 days post-infection and virus isolated from mouth washes and faeces only occasionally up to day 13. The SAT-1 virus was transmitted to only one in-contact control animal, probably via saliva that contained virus from vesicles in the mouth of a needle-infected animal. None of the animals infected with the SAT-2 virus had any vesicles in the mouth, and there was no evidence of transmission to the in-contact controls. No virus was detected in probang samples for the duration of the experiments (60 days post-infection), indicating that persistent infection probably did not establish with either of these isolates. Giraffe most likely do not play an important role in FMD dissemination. Transmission of infection would possibly occur only during close contact with other animals when mouth vesicles are evident.

  1. HaloSat: A CubeSat to Map the Distribution of Baryonic Matter in the Galactic Halo

    NASA Astrophysics Data System (ADS)

    Miles, Drew M.

    2016-04-01

    Approximately half of predicted baryonic matter in the Milky Way remains unidentified. One possible explanation for the location of this missing matter is in an extended Galactic halo. HaloSat is a CubeSat that aims to constrain the mass and distribution of the halo’s baryonic matter by obtaining an all-sky map of O VII and O VIII emission in the hot gas associated with the halo of the Milky Way. HaloSat offers an improvement in the quality of measurements of oxygen line emission over existing X-ray observatories and an observation plan dedicated to mapping the hot gas in the Galactic halo. In addition to the missing baryon problem, HaloSat will assign a portion of its observations to the solar wind charge exchange (SWCX) in order to calibrate models of SCWX emission. We present here the current status of HaloSat and the progression of instrument development in anticipation of a 2018 launch.

  2. Experimental infection of giraffe (Giraffa camelopardalis) with SAT-1 and SAT-2 foot-and-mouth disease virus.

    PubMed

    Vosloo, W; Swanepoel, S P; Bauman, M; Botha, B; Esterhuysen, J J; Boshoff, C I; Keet, D F; Dekker, A

    2011-04-01

    The potential role of giraffe (Giraffa camelopardalis) in the epidemiology and spread of foot-and-mouth disease (FMD) SAT types was investigated by experimental infection and detection of virus in excretions using virus isolation on primary pig kidney cell cultures. In two experiments separated by a period of 24 months, groups of four animals were needle infected with a SAT-1 or SAT-2 virus, respectively and two in-contact controls were kept with each group. Viraemia was detected 3-9 days post-infection and virus isolated from mouth washes and faeces only occasionally up to day 13. The SAT-1 virus was transmitted to only one in-contact control animal, probably via saliva that contained virus from vesicles in the mouth of a needle-infected animal. None of the animals infected with the SAT-2 virus had any vesicles in the mouth, and there was no evidence of transmission to the in-contact controls. No virus was detected in probang samples for the duration of the experiments (60 days post-infection), indicating that persistent infection probably did not establish with either of these isolates. Giraffe most likely do not play an important role in FMD dissemination. Transmission of infection would possibly occur only during close contact with other animals when mouth vesicles are evident. PMID:26353052

  3. Space Weather Mission of SmartSat Program

    NASA Astrophysics Data System (ADS)

    Akioka, M.; Miyake, W.; Nagatsuma, T.; Ohtaka, K.; Kimura, S.; Goka, T.; Matsumoto, H.; Koshiishi, H.

    2009-06-01

    The SmartSat Program is a collaborative program of government agency (NICT,JAXA) and private sector (MHI) in Japan to develop small satellite about 200 Kg. The space weather experiment of the SmartSat consists of Wide Field CME Imager (WCI), Space Environment Data Acquisition Equipment (SEDA), and mission processor (MP). Both of the instruments will be principal components of the L5 mission. WCI is a imager to track CME as far as earth orbit. CME brightness near earth orbit is expected 1E-15 solar brightness or 1/200 of zodiacal light brightness. To observe such a extreme faint target, we are developing wide field of view camera with very high sensitivity and large dynamic range. These highly challenging experiment and demonstration will be implemented in SmartSat program.

  4. COLD-SAT orbital experiment configured for Atlas launch

    NASA Technical Reports Server (NTRS)

    Shuster, J. R.; Bennett, F. O.; Wachter, J. P.

    1989-01-01

    The design and requirements for the proposed cryogenic on-orbit liquid depot storage, acquisition, and transfer (COLD-SAT) satellite experiment, which is to be launched by Atlas I, are examined. The COLD-SAT experiments are categorized as class I and II; class I involves technology related to space transportation missions and class II represents alternative fluid management operations and data. The hardware for the COLD-SAT experiments consists of three hydrogen tanks contained in the experimental module; the experimental module is connected to a three-axis-controlled spacecraft bus, and thrusters are positioned on the forward and aft ends of the spacecraft and on the cylindrical portion of the experimental module. The components and systems of the experiment module and the types of experiments that can be conducted in each tank are described. Diagrams of the spacecraft configuration are provided.

  5. Solving SAT and Hamiltonian Cycle Problem Using Asynchronous P Systems

    NASA Astrophysics Data System (ADS)

    Tagawa, Hirofumi; Fujiwara, Akihiro

    In the present paper, we consider fully asynchronous parallelism in membrane computing, and propose two asynchronous P systems for the satisfiability (SAT) and Hamiltonian cycle problem. We first propose an asynchronous P system that solves SAT with n variables and m clauses, and show that the proposed P system computes SAT in O(mn2n) sequential steps or O(mn) parallel steps using O(mn) kinds of objects. We next propose an asynchronous P system that solves the Hamiltonian cycle problem with n nodes, and show that the proposed P system computes the problem in O(n!) sequential steps or O(n2) parallel steps using O(n2) kinds of objects.

  6. FalconSAT-7: a membrane space solar telescope

    NASA Astrophysics Data System (ADS)

    Andersen, Geoff; Asmolova, Olha; McHarg, Matthew G.; Quiller, Trey; Maldonado, Carlos

    2016-07-01

    The US Air Force Academy of Physics has built FalconSAT-7, a membrane solar telescope to be deployed from a 3U CubeSat in LEO. The primary optic is a 0.2m photon sieve - a diffractive element consisting of billions of tiny circular dimples etched into a Kapton sheet. The membrane its support structure, secondary optics, two imaging cameras and associated control, recording electronics are packaged within half the CubeSat volume. Once in space the supporting pantograph structure is deployed, extending out and pulling the membrane flat under tension. The telescope will then be directed at the Sun to gather images at H-alpha for transmission to the ground. We will present details of the optical configuration, operation and performance of the flight telescope which has been made ready for launch in early 2017.

  7. Phased array antenna investigation for CubeSat size satellites

    NASA Astrophysics Data System (ADS)

    Dang, Kien

    Increasing bandwidth of the communication link has been a challenge for CubeSat class satellite. Traditional satellites usually utilizes high gain antennas for this purpose, but these antenna are rarely seen in CubeSat because of its power, volume and weight constraints. To solve these issues, this dissertation presents a phased array antenna system prototyped at 2.45 GHz with 17.7 dBi gain at broadside, 14.2 dBi at +/-40°, 50 MHz bandwidth, and fits on a side of a 3U CubeSat. The gain can be increased by adding more antenna elements into the array as needed. Testing for electronic beam steering has been completed and detailed results will be presented.

  8. iSat Surface Charging and Thruster Plume Interactions Analysis

    NASA Technical Reports Server (NTRS)

    Parker, L. Neergaard; Willis, E.; Minow, J.

    2016-01-01

    NASA is designing the Iodine Satellite (iSAT) cubesat mission to demonstrate operations of an iodine electric thruster system. The spacecraft will be deployed as a secondary payload from a launch vehicle which has not yet been identified so the program must plan for the worst case environments over a range of orbital inclinations. We present results from a NASA and Air Force Charging Analyzer Program (NASCAP-2K) surface charging calculation used to evaluate the effects of charging on the spacecraft and to provide the charging levels at other locations in orbit for a thruster plume interaction analysis for the iSAT mission. We will then discuss results from the thruster interactions analysis using the Electric Propulsion Interactions Code (EPIC). The results of these analyses are being used by the iSAT program for a range of environments that could be encountered when the final mission orbit is selected.

  9. NASA Formal Methods Workshop, 1990

    NASA Technical Reports Server (NTRS)

    Butler, Ricky W. (Compiler)

    1990-01-01

    The workshop brought together researchers involved in the NASA formal methods research effort for detailed technical interchange and provided a mechanism for interaction with representatives from the FAA and the aerospace industry. The workshop also included speakers from industry to debrief the formal methods researchers on the current state of practice in flight critical system design, verification, and certification. The goals were: define and characterize the verification problem for ultra-reliable life critical flight control systems and the current state of practice in industry today; determine the proper role of formal methods in addressing these problems, and assess the state of the art and recent progress toward applying formal methods to this area.

  10. 7 CFR 205.100 - What has to be certified.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) ORGANIC FOODS PRODUCTION ACT PROVISIONS NATIONAL ORGANIC PROGRAM Applicability § 205.100 What has to be certified. (a) Except...

  11. A Missed Opportunity: Master's Education for Certified Nurse Practitioners.

    ERIC Educational Resources Information Center

    Vessey, Judith A.; Morrison, Candis

    1997-01-01

    Describes Johns Hopkins's Nurse Practitioner Certificate to Master's Program for certified nurse practitioners who lacked master's-level credentials. the program features challenge mechanisms whereby students can acquire credits by examination or portfolio development. (SK)

  12. Integrated pest management for certified organic production in Oklahoma

    Technology Transfer Automated Retrieval System (TEKTRAN)

    Integrated pest management (IPM) and sustainable agriculture are basic precepts within the organic crop production philosophy. The establishment of federal guidelines for organic certification in 2002 provided a structure for producers and processors to market certified organic foods. The guidelin...

  13. 45 CFR 153.320 - Federally certified risk adjustment methodology.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... TO HEALTH CARE ACCESS STANDARDS RELATED TO REINSURANCE, RISK CORRIDORS, AND RISK ADJUSTMENT UNDER THE AFFORDABLE CARE ACT State Standards Related to the Risk Adjustment Program § 153.320 Federally certified...

  14. 45 CFR 153.320 - Federally certified risk adjustment methodology.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... TO HEALTH CARE ACCESS STANDARDS RELATED TO REINSURANCE, RISK CORRIDORS, AND RISK ADJUSTMENT UNDER THE AFFORDABLE CARE ACT State Standards Related to the Risk Adjustment Program § 153.320 Federally certified...

  15. 7 CFR 205.661 - Investigation of certified operations.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) ORGANIC FOODS PRODUCTION ACT PROVISIONS NATIONAL ORGANIC PROGRAM Administrative Compliance § 205.661 Investigation of... regulations of this part concerning production and handling operations certified as organic by the...

  16. Formalism and functionalism in linguistics.

    PubMed

    Newmeyer, Frederick J

    2010-05-01

    Formalism and functionalism in linguistics are often taken to be diametrically opposed approaches. However, close examination of the relevant phenomena reveals that the two are complementary, rather than being irrevocably in opposition to each other. One can be a formal linguist and a functional linguist at the same time, without there being any contradiction. Copyright © 2010 John Wiley & Sons, Ltd. For further resources related to this article, please visit the WIREs website.

  17. Mars Moons Prospector Mission with CubeSats

    NASA Astrophysics Data System (ADS)

    Udrea, Bogdan; Nayak, Mikey; Allen, Brett; Bourke, Justin; Casariego, Gabriela; Gosselin, Steven; Hiester, Evan; Maier, Margaret; Melchert, Jeanmarie; Patel, Chitrang; Reis, Leslie; Smith, Gregory; Snow, Travis; Williams, Sarah; Franquiz, Francsico

    2015-04-01

    The preliminary design of a low-cost Discovery class mission for prospecting Mars moons Phobos and Deimos is undertaken as capstone senior design class in spacecraft design. The mission design is centred on a mothership that carries a dozen of 12U CubeSats, each of 22x22x34cm in size and 24kg in mass. The mothership is equipped with a set of instruments for the investigation of regolith samples, similar to those with identical functions on the Curiosity and the Mars 2020 rovers. The mothership also serves as a telecommunication hub with Earth. Six of the CubeSats have the role of touching down and picking up soil samples for delivery to the mothership for analysis and the six have the role of visually inspecting the moon at close proximity in visible and near and mid infrared light and deploying instruments on the surface of the moons. A suite of miniaturized instruments are investigated for deployment on the CubeSats. The CubeSats are designed to dock with the mothership to be refueled and they heavily leverage the design of the ARAPAIMA (www.eraucubesat.org) proximity operations 6U CubeSat currently in development at ERAU for the Air Force University Nanosatellite Program. The concept of operations envisions the launch of the mothership as a primary payload on a Mars transfer trajectory. After performing a Mars capture maneuver the mothership undertakes autonomous aerobraking to achieve a highly elliptic orbit with the apoapsis at Deimos altitude of 23,460km. Further maneuvering places the mothership in a relative orbit about Deimos from which the CubeSats are deployed. Once the investigation of Deimos is completed the mothership retrieves its CubeSats and maneuver to achieve a relative orbit about Phobos. An investigation similar to that of Deimos is performed. If the mass margins allow it then an extended mission will attempt to confirm the presence of a dust ring between Phobos and Deimos and conduct multi-point atmospheric investigations with supplemental 3U

  18. Radiation Tolerant, FPGA-Based SmallSat Computer System

    NASA Technical Reports Server (NTRS)

    LaMeres, Brock J.; Crum, Gary A.; Martinez, Andres; Petro, Andrew

    2015-01-01

    The Radiation Tolerant, FPGA-based SmallSat Computer System (RadSat) computing platform exploits a commercial off-the-shelf (COTS) Field Programmable Gate Array (FPGA) with real-time partial reconfiguration to provide increased performance, power efficiency and radiation tolerance at a fraction of the cost of existing radiation hardened computing solutions. This technology is ideal for small spacecraft that require state-of-the-art on-board processing in harsh radiation environments but where using radiation hardened processors is cost prohibitive.

  19. Some results for k-SAT on trees

    NASA Astrophysics Data System (ADS)

    Sumedha; Krishnamurthy, Supriya

    2015-09-01

    Phase transitions in random k-SAT problems are connected to their computational complexity. While polynomical time algorithms are known to solve the problem for k = 2, for k ≥ 3 the problem is known to be NP-complete. Recently we have studied random k-SAT and many of its variants on regular infinite trees. We find that the solvability threshold for k = 2 matches the exact value of the threshold on regular random graphs. For higher k, the values are very close to those predicted using other techniques like cavity method.

  20. LifeSat - A satellite for space biological research

    NASA Technical Reports Server (NTRS)

    Halstead, Thora W.; Morey-Holton, Emily R.

    1990-01-01

    The LifeSat Program addresses the need for continuing access by biological scientists to space experimentation by accommodating a wide range of experiments involving animals and plants for durations up to 60 days in an unmanned satellite. The program will encourage interdisciplinary and international cooperation at both the agency and scientist levels, and will provide a recoverable, reusable facility for low-cost missions addressing key scientific issues that can only be answered by space experimentation. It will provide opportunities for research in gravitational biology and on the effects of cosmic radiation on life systems. The scientific aspects of LifeSat are addressed here.

  1. Integrated Solar-Panel Antenna Array for CubeSats

    NASA Technical Reports Server (NTRS)

    Baktur, Reyhan

    2016-01-01

    The goal of the Integrated Solar-Panel Antenna Array for CubeSats (ISAAC) project is to design and demonstrate an effective and efficien toptically transparent, high-gain, lightweight, conformal X-band antenna array that is integrated with the solar panels of a CubeSat. The targeted demonstration is for a Near Earth Network (NEN)radio at X-band, but the design can be easilyscaled to other network radios for higher frequencies. ISAAC is a less expensive and more flexible design for communication systemscompared to a deployed dish antenna or the existing integrated solar panel antenna design.

  2. Clinical Biospecimens: Reference Materials, Certified for Nominal Properties?

    PubMed Central

    2014-01-01

    This report makes the case for clinical biospecimens to be certified for nominal properties, in particular the diagnosis, and to attain the level of Reference Materials. Clinical certified biospecimens that are collected, processed, characterized, stored, and distributed by biobanks are urgently needed to facilitate diagnostic test development, evaluation, and quality assurance. Four examples are provided to illustrate this purpose and the certification approaches that could be applied are proposed. PMID:24749878

  3. A New Assay for Determining Ganglioside Sialyltransferase Activities Lactosylceramide-2,3-Sialyltransferase (SAT I) and Monosialylganglioside-2,3-Sialyltransferase (SAT IV)

    PubMed Central

    Sun, Cynthia Q.; Hubl, Ulrike; Hoefakker, Petra; Vasudevamurthy, Madhusudan K.; Johnson, Keryn D.

    2014-01-01

    A new assay for the determination of lactosylceramide-2,3-sialyltransferase (SAT I, EC 2.4.99.9) and monosialoganglioside sialyltransferase (SAT IV, EC 2.4.99.2) is described. The assay utilised the commercially available fluorophore labelled sphingolipids, boron dipyrromethene difluoride (BODIPY) lactosylceramide (LacCer), and BODIPY-monosialotetrahexosylganglioside (GM1) as the acceptor substrates, for SAT I and SAT IV, respectively. HPLC coupled with fluorescence detection was used to analyse product formation. The analysis was performed in a quick and automated fashion. The assay showed good linearity for both BODIPY sphingolipids with a quantitative detection limit of 0.05 pmol. The high sensitivity enabled the detection of SAT I and SAT IV activities as low as 0.001 μU, at least 200 fold lower than that of most radiometric assays. This new assay was applied to the screening of SAT I and SAT IV activities in ovine and bovine organs (liver, heart, kidney, and spleen). The results provided evidence that young animals, such as calves, start to produce ganglioside sialyltransferases as early as 7 days after parturition and that levels change during maturation. Among the organs tested from a bovine source, spleen had the highest specific ganglioside sialyltransferase activity. Due to the organ size, the greatest total ganglioside sialyltransferase activities (SAT I and SAT IV) were detected in the liver of both bovine and ovine origin. PMID:24718572

  4. A new assay for determining ganglioside sialyltransferase activities lactosylceramide-2,3-sialyltransferase (SAT I) and monosialylganglioside-2,3-sialyltransferase (SAT IV).

    PubMed

    Sun, Cynthia Q; Hubl, Ulrike; Hoefakker, Petra; Vasudevamurthy, Madhusudan K; Johnson, Keryn D

    2014-01-01

    A new assay for the determination of lactosylceramide-2,3-sialyltransferase (SAT I, EC 2.4.99.9) and monosialoganglioside sialyltransferase (SAT IV, EC 2.4.99.2) is described. The assay utilised the commercially available fluorophore labelled sphingolipids, boron dipyrromethene difluoride (BODIPY) lactosylceramide (LacCer), and BODIPY-monosialotetrahexosylganglioside (GM1) as the acceptor substrates, for SAT I and SAT IV, respectively. HPLC coupled with fluorescence detection was used to analyse product formation. The analysis was performed in a quick and automated fashion. The assay showed good linearity for both BODIPY sphingolipids with a quantitative detection limit of 0.05 pmol. The high sensitivity enabled the detection of SAT I and SAT IV activities as low as 0.001 μU, at least 200 fold lower than that of most radiometric assays. This new assay was applied to the screening of SAT I and SAT IV activities in ovine and bovine organs (liver, heart, kidney, and spleen). The results provided evidence that young animals, such as calves, start to produce ganglioside sialyltransferases as early as 7 days after parturition and that levels change during maturation. Among the organs tested from a bovine source, spleen had the highest specific ganglioside sialyltransferase activity. Due to the organ size, the greatest total ganglioside sialyltransferase activities (SAT I and SAT IV) were detected in the liver of both bovine and ovine origin. PMID:24718572

  5. CryoSat Plus For Oceans: an ESA Project for CryoSat-2 Data Exploitation Over Ocean

    NASA Astrophysics Data System (ADS)

    Benveniste, J.; Cotton, D.; Clarizia, M.; Roca, M.; Gommenginger, C. P.; Naeije, M. C.; Labroue, S.; Picot, N.; Fernandes, J.; Andersen, O. B.; Cancet, M.; Dinardo, S.; Lucas, B. M.

    2012-12-01

    The ESA CryoSat-2 mission is the first space mission to carry a space-borne radar altimeter that is able to operate in the conventional pulsewidth-limited (LRM) mode and in the novel Synthetic Aperture Radar (SAR) mode. Although the prime objective of the Cryosat-2 mission is dedicated to monitoring land and marine ice, the SAR mode capability of the Cryosat-2 SIRAL altimeter also presents the possibility of demonstrating significant potential benefits of SAR altimetry for ocean applications, based on expected performance enhancements which include improved range precision and finer along track spatial resolution. With this scope in mind, the "CryoSat Plus for Oceans" (CP4O) Project, dedicated to the exploitation of CryoSat-2 Data over ocean, supported by the ESA STSE (Support To Science Element) programme, brings together an expert European consortium comprising: DTU Space, isardSAT, National Oceanography Centre , Noveltis, SatOC, Starlab, TU Delft, the University of Porto and CLS (supported by CNES),. The objectives of CP4O are: - to build a sound scientific basis for new scientific and operational applications of Cryosat-2 data over the open ocean, polar ocean, coastal seas and for sea-floor mapping. - to generate and evaluate new methods and products that will enable the full exploitation of the capabilities of the Cryosat-2 SIRAL altimeter , and extend their application beyond the initial mission objectives. - to ensure that the scientific return of the Cryosat-2 mission is maximised. In particular four themes will be addressed: -Open Ocean Altimetry: Combining GOCE Geoid Model with CryoSat Oceanographic LRM Products for the retrieval of CryoSat MSS/MDT model over open ocean surfaces and for analysis of mesoscale and large scale prominent open ocean features. Under this priority the project will also foster the exploitation of the finer resolution and higher SNR of novel CryoSat SAR Data to detect short spatial scale open ocean features. -High Resolution Polar

  6. A CubeSat for Calibrating Ground-Based and Sub-Orbital Millimeter-Wave Polarimeters (CalSat)

    NASA Astrophysics Data System (ADS)

    Johnson, Bradley R.; Vourch, Clement J.; Drysdale, Timothy D.; Kalman, Andrew; Fujikawa, Steve; Keating, Brian; Kaufman, Jon

    2015-10-01

    We describe a low-cost, open-access, CubeSat-based calibration instrument that is designed to support ground-based and sub-orbital experiments searching for various polarization signals in the cosmic microwave background (CMB). All modern CMB polarization experiments require a robust calibration program that will allow the effects of instrument-induced signals to be mitigated during data analysis. A bright, compact and linearly polarized astrophysical source with polarization properties known to adequate precision does not exist. Therefore, we designed a space-based millimeter-wave calibration instrument, called CalSat, to serve as an open-access calibrator, and this paper describes the results of our design study. The calibration source on board CalSat is composed of five “tones” with one each at 47.1, 80.0, 140, 249 and 309GHz. The five tones we chose are well matched to (i) the observation windows in the atmospheric transmittance spectra, (ii) the spectral bands commonly used in polarimeters by the CMB community and (iii) the Amateur Satellite Service bands in the Table of Frequency Allocations used by the Federal Communications Commission. CalSat would be placed in a polar orbit allowing visibility from observatories in the Northern Hemisphere, such as Mauna Kea in Hawaii and Summit Station in Greenland, and the Southern Hemisphere, such as the Atacama Desert in Chile and the South Pole. CalSat also would be observable by balloon-borne instruments launched from a range of locations around the world. This global visibility makes CalSat the only source that can be observed by all terrestrial and sub-orbital observatories, thereby providing a universal standard that permits comparison between experiments using appreciably different measurement approaches.

  7. The Rise and Demise of the SAT: The University of California Generates Change for College Admissions

    ERIC Educational Resources Information Center

    Berger, Susan J.

    2012-01-01

    Over the past few months, news about the Scholastic Assessment Test (SAT) has made national headlines and not in a good way: "Large SAT Score Decline Shows Failure of No Child Left Behind and State High-Stakes Testing Strategy" (FairTest 2011); "Eshaghoff, Emory University Student, Allegedly Took SAT For Other Students" (Huffington Post 2011); and…

  8. The Shrinking Black-White Gap on SAT II Achievement Tests.

    ERIC Educational Resources Information Center

    Journal of Blacks in Higher Education, 2002

    2002-01-01

    Recent research shows that the SAT II test is a much better predictor of college success than the standard SAT. In recent years, black students appear to be making progress in closing the racial scoring gap on the wide variety of academic subjects (particularly chemistry, world history, and biology) that are measured by the SAT II test. (SM)

  9. The Effect of Personality Preferences on the 2005 Version of the SAT

    ERIC Educational Resources Information Center

    Burrs, Ashley

    2013-01-01

    Some researchers suggest the Scholastic Aptitude Test (SAT) is biased toward certain personality types. Extant literature lacked examination of personality constructs and their relationship with SAT scores of the newly revised SAT. The purpose of this study was two-fold. First, this study examined the relationship between the Sensing and Intuition…

  10. An Alternative Presentation of Incremental Validity: Discrepant SAT and HSGPA Performance

    ERIC Educational Resources Information Center

    Mattern, Krista D.; Shaw, Emily J.; Kobrin, Jennifer L.

    2011-01-01

    This study examined discrepant high school grade point average (HSGPA) and SAT performance as measured by the difference between a student's standardized SAT composite score and standardized HSGPA. The SAT-HSGPA discrepancy measure was used to examine whether certain students are more likely to exhibit discrepant performance and in what direction.…

  11. Formalization of an environmental model using formal concept analysis - FCA

    NASA Astrophysics Data System (ADS)

    Bourdon-García, Rubén D.; Burgos-Salcedo, Javier D.

    2016-08-01

    Nowadays, there is a huge necessity to generate novel strategies for social-ecological systems analyses for resolving global sustainability problems. This paper has as main purpose the application of the formal concept analysis to formalize the theory of Augusto Ángel Maya, who without a doubt, was one of the most important environmental philosophers in South America; Ángel Maya proposed and established that Ecosystem-Culture relations, instead Human-Nature ones, are determinants in our understanding and management of natural resources. Based on this, a concept lattice, formal concepts, subconcept-superconcept relations, partially ordered sets, supremum and infimum of the lattice and implications between attributes (Duquenne-Guigues base), were determined for the ecosystem-culture relations.

  12. To Be or Not to Be Certified.

    PubMed

    Suskie, Kelley

    2016-01-01

    The pathway to professional development does not require a start or end date. Professional development is a perpetual process that is set into motion the day you first ask "why?" or "how?" Anyone who has spent time with a toddler knows that the endless pursuit of knowledge and, therefore, intellectual growth starts at a very young age. As we mature, we refine our questions beyond the whys and hows and start the professional development journey. Throughout each academic pursuit, we accomplish another rung on the ladder of our achievements. As we graduate from kindergarten, grade school, high school, and college, we easily point to the parchment most of these ceremonious events yield. Once we start our careers, though, what do we have to show for our professional development efforts? The mountains of literature provide a constant reminder of what you have left to learn. Most professions provide a formal pathway to aid in professional development, and medical practice management is no exception. The certification and fellowship program and process available from the Medical Group Management Association provides a system to map your journey of professional development--complete with its own version of parchment. This article explains why you would want to pursue professional development in the form of certification and Fellowship. PMID:27443056

  13. To Be or Not to Be Certified.

    PubMed

    Suskie, Kelley

    2016-01-01

    The pathway to professional development does not require a start or end date. Professional development is a perpetual process that is set into motion the day you first ask "why?" or "how?" Anyone who has spent time with a toddler knows that the endless pursuit of knowledge and, therefore, intellectual growth starts at a very young age. As we mature, we refine our questions beyond the whys and hows and start the professional development journey. Throughout each academic pursuit, we accomplish another rung on the ladder of our achievements. As we graduate from kindergarten, grade school, high school, and college, we easily point to the parchment most of these ceremonious events yield. Once we start our careers, though, what do we have to show for our professional development efforts? The mountains of literature provide a constant reminder of what you have left to learn. Most professions provide a formal pathway to aid in professional development, and medical practice management is no exception. The certification and fellowship program and process available from the Medical Group Management Association provides a system to map your journey of professional development--complete with its own version of parchment. This article explains why you would want to pursue professional development in the form of certification and Fellowship.

  14. WindSat Soil Moisture Algorithm and Validation

    Technology Transfer Automated Retrieval System (TEKTRAN)

    A WindSat land algorithm that retrieves global soil moisture and vegetation water content simultaneously using the physically-based multi-channel maximum-likelihood estimation was developed and evaluated. The retrievals agree well with soil moisture climatology, and in-situ data collected from a ser...

  15. Two Professors Retake the SAT: Is It a Good Test?

    ERIC Educational Resources Information Center

    Harper, Christopher; Vanderbei, Robert J.

    2009-01-01

    In this article, two professors retake the college-entrance exam and arrive at very different conclusions about its performance. Even though Christopher Harper has worked as a college professor for 15 years, he decided last winter to take the SAT and ACT examinations that his students needed to enter the institution where he teaches, Temple…

  16. AG*SAT: An International Distance Education Alternative.

    ERIC Educational Resources Information Center

    Bowen, Blannie E.; Thomson, Joan S.

    1995-01-01

    Responses from affiliates and nonaffiliates of AG*SAT, a consortium of land-grant universities, indicated a desire to deliver more instruction via satellite; satellite courses focus primarily on emerging topics for which there is presently limited capacity. Results suggest that distance education technologies may exceed the current land-grant…

  17. WindSat Passive Microwave Soil Moisture Retrievals

    Technology Transfer Automated Retrieval System (TEKTRAN)

    Technical Abstract: WindSat is a spaceborne fully polarimetric conical scanning microwave radiometer. It operates at frequencies and polarizations that match other radiometers such as the Advanced Microwave Scanning Radiometer (AMSR-E) and in addition it acquires additional polarimetric measurements...

  18. Analysis of WindSat Data over Arctic Sea Ice

    Technology Transfer Automated Retrieval System (TEKTRAN)

    The radiation of the 3rd and 4th Stokes components emitted by Arctic sea ice and observed by the spaceborne fully polarimetric radiometer WindSat is investigated. Two types of analysis are carried out, spatial (maps of different quadrants of azimuth look angles) and temporal (time series of daily av...

  19. Smart Sat experiment for the L5 mission

    NASA Astrophysics Data System (ADS)

    Akioka, M.; Ohtaka, K.; Nagatsuma, T.; Miyake, W.; Goka, T.; Matsumoto, H.; Koshiishi, H.

    We have proposed the L5 mission for space weather research and operational forecasting experiment. The spacecraft will be deployed at the L5 Point of the Sun - Earth system for remote sensing of the Sun and the interplanetary space and for in situ measurement of the solar wind plasma and high energy solar particle event. For the L5 mission, CRL and JAXA develop wide field imager for CME tracking and advanced high energy particle sensor. We plan orbital demonstration in near earth orbit before the L5 mission as the Smart Sat program. The Smart Sat is a pair of small satellites about 150Kg, which will be a collaborative program of government agency (CRL,JAXA) and private sector (MHI) in Japan. The space weather experiment of the Smart Sat consists of Wide field imager for CME tracking (WCI) and Space Environment Data Acquisition equipment (SEDA). Both of the instruments will be principal components of the L5 mission. In this article, we report an overview of the space weather experiment of Smart Sat program.

  20. SmartSat Experiment for the L5 Mission

    NASA Astrophysics Data System (ADS)

    Nagatsuma, T.; Akioka, M.; Ohtaka, K.; Miyake, W.; Goka, T.; Matsumoto, H.; Koshiishi, H.

    2004-12-01

    We have planned the L5 mission for space weather research and operational forecasting experiment. In this mission, a spacecraft will be deployed at the L5 point of the Sun - Earth system for remote sensing of the Sun and the interplanetary space, and for in-situ measurements of the solar wind plasma and high energy particles. For this mission, NICT and JAXA develop wide field imager for tracking CME propagation from the Sun to the Earth and advanced high-energy particle sensor for monitoring of solar particle events, respectively. Before proceeding the L5 mission, we are planning orbital demonstration in GTO using a platform of small satellite, called "SmartSat". The SmartSat program is a collaborative program of government agencies (NICT and JAXA), and a private company (Mitsubishi Heavy Industry) in Japan. The wide field coronal imager (WCI) and space environment data acquisition experiment (SEDA) will be tested by this program as the space weather experiment, since both of the instruments will be principal components of the L5 mission. The SmartSat is planned to be launched by 2007, about 1 year after the launch of STEREO spacecrafts. Therefore, we are expecting the coordinated observation with STEREO mission. In this paper, we will report an overview of the space weather experiment in SmartSat program.

  1. Patterns of SAT Scores, Choice of STEM Major, and Gender

    ERIC Educational Resources Information Center

    Davison, Mark L.; Jew, Gilbert B.; Davenport, Ernest C., Jr.

    2014-01-01

    Using Baccalaureate and Beyond 2001 data, we found that STEM major was associated with an SAT pattern less common among females than males, in which the student's quantitative score exceeded the verbal score. Verbal ability was negatively associated with STEM major. Implications for career theory and test interpretation are discussed.

  2. CubeSats failures caused by space environment

    NASA Astrophysics Data System (ADS)

    Lourencena Caldas Franke, Lucas; Schuch, Nelson Jorge; Santos Cupertino Durao, Otavio; Lopes Costa, Lucas; Escobar Burger, Eduardo; Zolar Gehlen Bohrer, Rubens; Ronan Coelho Stekel, Tardelli

    When a satellite is in orbit, it remains in direct contact with a hostile environment. An analyzes of possible failures that have occurred with CubeSat class satellites due to this exposure is presented. These small satellites have 10cm cubic form and about 1.33 kilograms, they have all subsystems integrated on a single module that fits in the available intern volume, using high technology of miniaturization. Generally, this satellites are launched at a 650km (LEO) altitude orbits. At this range, one of the biggest problems that may affect satellites is the precipitation of charged particles, and this may cause the failure of subsystems and magnetic interference in equipments, with emphasis to natural causes as the impact of solar activity (the solar cycle, solar flares, coronal mass ejection, etc.) and the interference of the South Atlantic Magnetic Anomaly, knowing that the majority of CubeSat's orbits intersect at some point the acting anomaly region. The analysis consist of a statistical survey of thirty nine CubeSats already launched, taking into account their actual conditions, giving results of the most common causes and issues that have occurred with them, including the relationship with larger satellites of all kinds, thus contributing for the success and optimization of future CubeSats missions.

  3. The COLD-SAT experiment for cryogenic fluid management technology

    NASA Technical Reports Server (NTRS)

    Schuster, J. R.; Wachter, J. P.; Vento, D. M.

    1990-01-01

    The COLD-SAT spacecraft design experiments are described. COLD-SAT will be placed into an initial 1300 km circular orbit by an Atlas commercial launch vehicle. Electric power, experiment control and data management, attitude control, and propulsive accelarations for the experiments will be provided by the three-axis-controlled spacecraft bus. To provide data on the effects that low gravity levels might have on the heat and mass transfer processes involved, low levels of accelaration will be created. The COLD-SAT experiment will be configured into a module. The spacecraft experiment module will include three liquid hydrogen tanks; fluid transfer, pressurization and venting equipment; and instrumentation. Since the largest tank has helium-purged MLI to prevent ingress and freezing of air on the launchpad, it will contain all the liquid hydrogen at the point of launching. The hydrogen tanking system used for the Centaur upper stage of the Atlas will load and top off this tank. Atlas, with its liquid hydrogen upper stage, large payload fairing, and large launch margin, simplifies COLD-SAT design and integration.

  4. Improving Plan Quality in SAT-Based Planning

    NASA Astrophysics Data System (ADS)

    Giunchiglia, Enrico; Maratea, Marco

    Planning as Satisfiability (SAT) is the best approach for optimally (wrt makespan) solving classical planning problems. SAT-based planners, like SATPLAN, can thus return plans having minimal makespan guaranteed. However, the returned plan does not take into account plan quality issues introduced in the last two International Planning Competitions (IPCs): such issues include minimal-actions plans and plans with "soft" goals, where a metric has to be optimized over actions/goals. Recently, an approach to address such issues has been presented, in the framework of planning as satisfiability with preferences: by modifying the heuristic of the underlying SAT solver, the related system (called SATPLAN(P)) is guaranteed to return plans with minimal number of actions, or with maximal number of soft goals satisfied. But, besides such feature, it is well-known that introducing ordering in SAT heuristics can lead to significant degradation in performances. In this paper, we present a generate-and-test approach to tackle the problem of dealing with such optimization issues: without imposing any ordering, a (candidate optimal) plan is first generated, and then a constraint is added imposing that the new plan (if any) has to be "better" than the last computed, i.e., the plan quality is increased at each iteration. We implemented this idea in SATPLAN, and compared the resulting systems wrt SATPLAN(P) and SGPlan on planning problems coming from IPCs. The analysis shows performance benefits for the new approach, in particular on planning problems with many preferences.

  5. Interpreting Force Concept Inventory Scores: Normalized Gain and SAT Scores

    ERIC Educational Resources Information Center

    Coletta, Vincent P.; Phillips, Jeffrey A.; Steinert, Jeffrey J.

    2007-01-01

    Preinstruction SAT scores and normalized gains (G) on the force concept inventory (FCI) were examined for individual students in interactive engagement (IE) courses in introductory mechanics at one high school (N=335) and one university (N=292), and strong, positive correlations were found for both populations (r=0.57 and r=0.46, respectively).…

  6. CloudSat Reflectivity Data Visualization Inside Hurricanes

    NASA Technical Reports Server (NTRS)

    Suzuki, Shigeru; Wright, John R.; Falcon, Pedro C.

    2011-01-01

    We have presented methods to rapidly produce visualization and outreach products from CloudSat data for science and the media These methods combine data from several sources in the product generation process In general, the process can be completely automatic, producing products and notifying potential users

  7. S.A.T. Drop: Let's Ban the Bomb Theory.

    ERIC Educational Resources Information Center

    American School Board Journal, 1983

    1983-01-01

    Questions radiological physicist Ernest J. Sternglass's theory that links falling Scholastic Aptitude Test (SAT) scores in the 1960s and '70s to nuclear weapons testing in the late '40s, the '50s, and early '60s. Notes other scientists' contention that Sternglass's theory only establishes a correlation, not a cause and effect relationship. (JBM)

  8. A Better SAT Starts with a Better College Board

    ERIC Educational Resources Information Center

    Katzman, John

    2014-01-01

    It is so easy to criticize the SAT that most observers overlook the weaknesses of its architect, the College Board. This author contents that, until the latter is replaced, however, the former will never be fixed. The College Board has every incentive to create a complex, stressful, expensive college admissions system. Because it is accountable to…

  9. Project ELaNa and NASA's CubeSat Initiative

    NASA Technical Reports Server (NTRS)

    Skrobot, Garrett Lee

    2010-01-01

    This slide presentation reviews the NASA program to use expendable lift vehicles (ELVs) to launch nanosatellites for the purpose of enhancing educational research. The Education Launch of Nanosatellite (ELaNa) project, run out of the Launch Services Program is requesting proposals for CubeSat type payload to provide information that will aid or verify NASA Projects designs while providing higher educational research

  10. Malaria Early Warning: The MalarSat project

    NASA Astrophysics Data System (ADS)

    Roca, M.; Escorihuela, M. J.; Martínez, D.; Torrent, M.; Aponte, J.; Nunez, F.; Garcia, J.

    2009-04-01

    Malaria is one of the major public health challenges undermining development in the world. The aim of MalarSat Project is to provide a malaria risks infection maps at global scale using Earth Observation data to support and prevent epidemic episodes. The proposed service for creating malaria risk maps would be critically useful to improve the efficiency in insecticide programs, vaccine campaigns and the logistics epidemic treatment. Different teams have already carried out studies in order to exploit the use of Earth Observation (EO) data with epidemiology purposes. In the case of malaria risk maps, it has been shown that meteorological data is not sufficient to fulfill this objective. In particular being able to map the malaria mosquito habitat would increase the accuracy of risk maps. The malaria mosquitoes mainly reproduce in new water puddles of very reduced dimensions (about 1 meter wide). There is no instrument that could detect such small patches of water unless there are many of them spread in an area of several hundreds of meters. MalarSat aims at using the radar altimeter data from the EnviSat, RA-2, to try and build indicators of mosquitoes existence. This presentation will show the scientific objectives and principles of the MalarSat project.

  11. Validation Experiments supporting the CryoSat-2 mission

    NASA Astrophysics Data System (ADS)

    Cullen, R.; Davidson, M.; Wingham, D.

    2009-12-01

    The primary goals of CryoSat are to derive improved estimates of the rates of change concerning land ice elevation and sea ice thickness and freeboard of the Earth’s land and marine ice fields. Validating such retrievals derived from a phase coherent pulse-width limited polar observing radar altimeter such as SIRAL, the primary payload of CryoSat, is not a simple one. In order to understand all the respective error co-variances it is necessary to acquire many different types of in-situ measurements (GPR, neutron probe density profiles, drilled and electromagnetic derived sea-ice thicknesses, for example) in highly inhospitable regions of the cryosphere at times of the year to detect relevant signals. In order to correlate retrievals from CryoSat with the in-situ data it was decided early in the CryoSat development that an aircraft borne radar altimeter with similar functionality to SIRAL would provide the necessary link, albeit on the smaller scale, and provide pre-launch incite into expected performances. In 2001 ESA commenced the development of its own prototype radar altimeter that mimics the functionality of SIRAL to be operated along-side an airborne laser scanner. Similar to SIRAL, but with subtle functional differences, the airborne SAR/Interferometric Radar Altimeter System (ASIRAS) has now been the centre piece instrument for a number of large scale land and sea ice field campaigns in the Arctic during spring and autumn 2004 and 2006 and 2008. Additional smaller science/test campaigns have taken place in March 2003 (Svalbard), March 2005 (Bay of Bothnia), March 2006 (Western Greenland) and April 2007 (CryoVEx 2007 in Svalbard). It is a credit to all parties that constitute the CryoSat Validation and Retrieval Team (CVRT) for the coordination, planning, acquisition of in-situ and airborne measurements and the subsequent processing and distributing of its data for analysis. CVRT has a robust infrastructure in place for validating and providing measures of

  12. X-Band CubeSat Communication System Demonstration

    NASA Technical Reports Server (NTRS)

    Altunc, Serhat; Kegege, Obadiah; Bundick, Steve; Shaw, Harry; Schaire, Scott; Bussey, George; Crum, Gary; Burke, Jacob C.; Palo, Scott; O'Conor, Darren

    2015-01-01

    Today's CubeSats mostly operate their communications at UHF- and S-band frequencies. UHF band is presently crowded, thus downlink communications are at lower data rates due to bandwidth limitations and are unreliable due to interference. This research presents an end-to-end robust, innovative, compact, efficient and low cost S-band uplink and X-band downlink CubeSat communication system demonstration between a balloon and a Near Earth Network (NEN) ground system. Since communication systems serve as umbilical cords for space missions, demonstration of this X-band communication system is critical for successfully supporting current and future CubeSat communication needs. This research has three main objectives. The first objective is to design, simulate, and test a CubeSat S- and X-band communication system. Satellite Tool Kit (STK) dynamic link budget calculations and HFSS Simulations and modeling results have been used to trade the merit of various designs for small satellite applications. S- and X-band antennas have been tested in the compact antenna test range at Goddard Space Flight Center (GSFC) to gather radiation pattern data. The second objective is simulate and test a CubeSat compatible X-band communication system at 12.5Mbps including S-band antennas, X-band antennas, Laboratory for Atmospheric and Space Physics (LASP) /GSFC transmitter and an S-band receiver from TRL-5 to TRL-8 by the end of this effort. Different X-band communication system components (antennas, diplexers, etc.) from GSFC, other NASA centers, universities, and private companies have been investigated and traded, and a complete component list for the communication system baseline has been developed by performing analytical and numerical analysis. This objective also includes running simulations and performing trades between different X-band antenna systems to optimize communication system performance. The final objective is to perform an end-to-end X-band CubeSat communication system

  13. Modeling formalisms in Systems Biology

    PubMed Central

    2011-01-01

    Systems Biology has taken advantage of computational tools and high-throughput experimental data to model several biological processes. These include signaling, gene regulatory, and metabolic networks. However, most of these models are specific to each kind of network. Their interconnection demands a whole-cell modeling framework for a complete understanding of cellular systems. We describe the features required by an integrated framework for modeling, analyzing and simulating biological processes, and review several modeling formalisms that have been used in Systems Biology including Boolean networks, Bayesian networks, Petri nets, process algebras, constraint-based models, differential equations, rule-based models, interacting state machines, cellular automata, and agent-based models. We compare the features provided by different formalisms, and discuss recent approaches in the integration of these formalisms, as well as possible directions for the future. PMID:22141422

  14. The Formal Semantics of PVS

    NASA Technical Reports Server (NTRS)

    Owre, Sam; Shankar, Natarajan

    1999-01-01

    A specification language is a medium for expressing what is computed rather than how it is computed. Specification languages share some features with programming languages but are also different in several important ways. For our purpose, a specification language is a logic within which the behavior of computational systems can be formalized. Although a specification can be used to simulate the behavior of such systems, we mainly use specifications to state and prove system properties with mechanical assistance. We present the formal semantics of the specification language of SRI's Prototype Verification System (PVS). This specification language is based on the simply typed lambda calculus. The novelty in PVS is that it contains very expressive language features whose static analysis (e.g., typechecking) requires the assistance of a theorem prover. The formal semantics illuminates several of the design considerations underlying PVS, the interaction between theorem proving and typechecking.

  15. Modeling formalisms in Systems Biology.

    PubMed

    Machado, Daniel; Costa, Rafael S; Rocha, Miguel; Ferreira, Eugénio C; Tidor, Bruce; Rocha, Isabel

    2011-01-01

    Systems Biology has taken advantage of computational tools and high-throughput experimental data to model several biological processes. These include signaling, gene regulatory, and metabolic networks. However, most of these models are specific to each kind of network. Their interconnection demands a whole-cell modeling framework for a complete understanding of cellular systems. We describe the features required by an integrated framework for modeling, analyzing and simulating biological processes, and review several modeling formalisms that have been used in Systems Biology including Boolean networks, Bayesian networks, Petri nets, process algebras, constraint-based models, differential equations, rule-based models, interacting state machines, cellular automata, and agent-based models. We compare the features provided by different formalisms, and discuss recent approaches in the integration of these formalisms, as well as possible directions for the future. PMID:22141422

  16. 7 CFR 201.67 - Seed certifying agency standards and procedures.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false Seed certifying agency standards and procedures. 201...) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.67 Seed certifying agency standards and procedures. In order to qualify as a seed certifying agency for purposes of section 101(a)(25) of the...

  17. 7 CFR 201.67 - Seed certifying agency standards and procedures.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 3 2014-01-01 2014-01-01 false Seed certifying agency standards and procedures. 201...) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.67 Seed certifying agency standards and procedures. In order to qualify as a seed certifying agency for purposes of section 101(a)(25) of the...

  18. 7 CFR 201.67 - Seed certifying agency standards and procedures.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 3 2013-01-01 2013-01-01 false Seed certifying agency standards and procedures. 201...) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.67 Seed certifying agency standards and procedures. In order to qualify as a seed certifying agency for purposes of section 101(a)(25) of the...

  19. 7 CFR 201.67 - Seed certifying agency standards and procedures.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 3 2011-01-01 2011-01-01 false Seed certifying agency standards and procedures. 201...) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.67 Seed certifying agency standards and procedures. In order to qualify as a seed certifying agency for purposes of section 101(a)(25) of the...

  20. 7 CFR 201.67 - Seed certifying agency standards and procedures.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 3 2012-01-01 2012-01-01 false Seed certifying agency standards and procedures. 201...) FEDERAL SEED ACT FEDERAL SEED ACT REGULATIONS Certified Seed § 201.67 Seed certifying agency standards and procedures. In order to qualify as a seed certifying agency for purposes of section 101(a)(25) of the...

  1. Pass It On: Alternatively Certified Teachers' Advice to Prospective Alternate Route Educators

    ERIC Educational Resources Information Center

    Brown, Casey

    2009-01-01

    Ten alternatively certified teachers provide advice to other non-traditionally certified teachers via in-depth interviews. The alternatively certified teachers interviewed had retained their teaching positions and achieved longevity in the teaching profession. Data collection and analysis resulted in alternatively certified teachers' advice to…

  2. Shields-1, A SmallSat Radiation Shielding Technology Demonstration

    NASA Technical Reports Server (NTRS)

    Thomsen, D. Laurence, III; Kim, Wousik; Cutler, James W.

    2015-01-01

    The NASA Langley Research Center Shields CubeSat initiative is to develop a configurable platform that would allow lower cost access to Space for materials durability experiments, and to foster a pathway for both emerging and commercial-off-the-shelf (COTS) radiation shielding technologies to gain spaceflight heritage in a relevant environment. The Shields-1 will be Langleys' first CubeSat platform to carry out this mission. Radiation shielding tests on Shields-1 are planned for the expected severe radiation environment in a geotransfer orbit (GTO), where advertised commercial rideshare opportunities and CubeSat missions exist, such as Exploration Mission 1 (EM-1). To meet this objective, atomic number (Z) graded radiation shields (Zshields) have been developed. The Z-shield properties have been estimated, using the Space Environment Information System (SPENVIS) radiation shielding computational modeling, to have 30% increased shielding effectiveness of electrons, at half the thickness of a corresponding single layer of aluminum. The Shields-1 research payload will be made with the Z-graded radiation shields of varying thicknesses to create dose-depth curves to be compared with baseline materials. Additionally, Shields-1 demonstrates an engineered Z-grade radiation shielding vault protecting the systems' electronic boards. The radiation shielding materials' performances will be characterized using total ionizing dose sensors. Completion of these experiments is expected to raise the technology readiness levels (TRLs) of the tested atomic number (Z) graded materials. The most significant contribution of the Z-shields for the SmallSat community will be that it enables cost effective shielding for small satellite systems, with significant volume constraints, while increasing the operational lifetime of ionizing radiation sensitive components. These results are anticipated to increase the development of CubeSat hardware design for increased mission lifetimes, and enable

  3. Interpreting force concept inventory scores: Normalized gain and SAT scores

    NASA Astrophysics Data System (ADS)

    Coletta, Vincent P.; Phillips, Jeffrey A.; Steinert, Jeffrey J.

    2007-06-01

    Preinstruction SAT scores and normalized gains (G) on the force concept inventory (FCI) were examined for individual students in interactive engagement (IE) courses in introductory mechanics at one high school (N=335) and one university (N=292) , and strong, positive correlations were found for both populations ( r=0.57 and r=0.46 , respectively). These correlations are likely due to the importance of cognitive skills and abstract reasoning in learning physics. The larger correlation coefficient for the high school population may be a result of the much shorter time interval between taking the SAT and studying mechanics, because the SAT may provide a more current measure of abilities when high school students begin the study of mechanics than it does for college students, who begin mechanics years after the test is taken. In prior research a strong correlation between FCI G and scores on Lawson’s Classroom Test of Scientific Reasoning for students from the same two schools was observed. Our results suggest that, when interpreting class average normalized FCI gains and comparing different classes, it is important to take into account the variation of students’ cognitive skills, as measured either by the SAT or by Lawson’s test. While Lawson’s test is not commonly given to students in most introductory mechanics courses, SAT scores provide a readily available alternative means of taking account of students’ reasoning abilities. Knowing the students’ cognitive level before instruction also allows one to alter instruction or to use an intervention designed to improve students’ cognitive level.

  4. CloudSat Anomaly Recovery and Operational Lessons Learned

    NASA Technical Reports Server (NTRS)

    Witkowski, Mona; Vane, Deborah; Livermore, Thomas; Rokey, Mark; Barthuli, Marda; Gravseth, Ian J.; Pieper, Brian; Rodzinak, Aaron; Silva, Steve; Woznick, Paul; Nayak, Michael

    2012-01-01

    In April 2011, NASA's pioneering cloud profiling radar satellite, CloudSat, experienced a battery anomaly that placed it into emergency mode and rendered it operations incapable. All initial attempts to recover the spacecraft failed as the resultant power limitations could not support even the lowest power mode. Originally part of a six-satellite constellation known as the "A-Train", CloudSat was unable to stay within its assigned control box, posing a threat to other A-Train satellites. CloudSat needed to exit the constellation, but with the tenuous power profile, conducting maneuvers was very risky. The team was able to execute a complex sequence of operations which recovered control, conducted an orbit lower maneuver, and returned the satellite to safe mode, within one 65 minute sunlit period. During the course of the anomaly recovery, the team developed several bold, innovative operational strategies. Details of the investigation into the root-cause and the multiple approaches to revive CloudSat are examined. Satellite communication and commanding during the anomaly are presented. A radical new system of "Daylight Only Operations" (DO-OP) was developed, which cycles the payload and subsystem components off in tune with earth eclipse entry and exit in order to maintain positive power and thermal profiles. The scientific methodology and operational results behind the graduated testing and ramp-up to DO-OP are analyzed. In November 2011, the CloudSat team successfully restored the vehicle to consistent operational collection of cloud radar data during sunlit portions of the orbit. Lessons learned throughout the six-month return-to-operations recovery effort are discussed and offered for application to other R&D satellites, in the context of on-orbit anomaly resolution efforts.

  5. Spacecraft Charging Analysis of a CubeSat

    NASA Technical Reports Server (NTRS)

    Willis, Emily M.; Minow, Joseph I.; Parker, Linda Neergaard

    2014-01-01

    Spacecraft charging occurs when charged particles from the surrounding space plasma environment contact a spacecraft and unequal charging currents result in a net charge density accumulation on or in spacecraft materials. Charging becomes a threat when differential potentials between two points on the spacecraft or between the spacecraft and the ambient space environment build to the level that electric fields associated with the potentials exceed the electric breakdown strength of the spacecraft materials and electrostatic discharge arcs are generated. Electrostatic discharges resulting from spacecraft charging can adversely affect telemetry and cause irreparable damage to electronics. Other spacecraft charging effects include damage of solar arrays and thermal protection, enhancement of contamination of surfaces, and degradation of optics. Typically, the large government and commercial space programs include spacecraft charging analysis as part of the design process. CubeSat projects, however, usually do not have the time or funding to include a spacecraft charging analysis due to their low budget and quick-turnaround requirements. CubeSat projects also tend to rely heavily on commercial "off-the-shelf" products, many of which are not qualified for use in space, and are particularly vulnerable to the effects of the space environment. As the demand for longer and more complex CubeSat missions increases, it is becoming more and more important to consider the effects of spacecraft charging in the design process. Results of surface charging analysis using Nascap-2k on a typical CubeSat design for a polar orbit scenario are illustrated. These results show that for a polar orbiting CubeSat, spacecraft charging could be an issue and steps should be taken to mitigate the effects for these small satellites.

  6. Formal and informal spiritual assessment.

    PubMed

    Puchalski, Christina Maria

    2010-01-01

    Spirituality is increasingly recognized as an essential element of health. A novel model of interprofessional spiritual care was developed by a national consensus conference of experts in spiritual care and palliative care. Integral to this model is a spiritual screening, history or assessment as part of the routine history of patients. Spiritual screening can be done by a clinician on an intake into a hospital setting. Clinicians who make diagnosis and assessments and plans, and make referrals to appropriate experts do spiritual histories. In spiritual care, board certified chaplains, spiritual directors and pastoral counselors are the typical spiritual care referrals. Board certified chaplain do a spiritual assessment that is a more detailed assessment of religious and spiritual beliefs and how those impact care or patient's healthcare decision-making. There are several screening and history tools. One history tool named FICA, was developed by a group of primary care physicians and recently validated at study at the City of Hope. This tool is widely used in a variety of clinical settings in the US and Canada. The spiritual history tools allow the clinician the opportunity to diagnose spiritual distress or identify patients' spiritual resources of strength and then integrate that information into the clinical treatment or care plan.

  7. Formal verification of mathematical software

    NASA Technical Reports Server (NTRS)

    Sutherland, D.

    1984-01-01

    Methods are investigated for formally specifying and verifying the correctness of mathematical software (software which uses floating point numbers and arithmetic). Previous work in the field was reviewed. A new model of floating point arithmetic called the asymptotic paradigm was developed and formalized. Two different conceptual approaches to program verification, the classical Verification Condition approach and the more recently developed Programming Logic approach, were adapted to use the asymptotic paradigm. These approaches were then used to verify several programs; the programs chosen were simplified versions of actual mathematical software.

  8. SAT predicts GPA better for high ability subjects: Implications for Spearman's Law of Diminishing Returns.

    PubMed

    Coyle, Thomas; Snyder, Anissa; Pillow, David; Kochunov, Peter

    2011-04-01

    This research examined the predictive validity of the SAT (formerly, the Scholastic Aptitude Test) for high and low ability groups. SAT scores and college GPAs were obtained from the 1997 National Longitudinal Survey of Youth. Subjects were classified as high or low ability by g factor scores from the Armed Services Vocational Aptitude Battery. SAT correlations with GPA were higher for high than low ability subjects. SAT g loadings (i.e., SAT correlations with g) were equivalent for both groups. This is the first study to show that the predictive validity of the SAT varies for ability groups that differ in g. The results contradict a presumption, based on Spearman's Law of Diminishing Returns, that a test's predictive validity should be lower for high ability subjects. Further research is needed to identify factors that contribute to the predictive validity of the SAT for groups that differ in g. PMID:21562615

  9. Scholastic Assessment Test (SAT) Results, 1997-98. Measuring Up: E&R Report No. 99.11.

    ERIC Educational Resources Information Center

    Fejoku, Caroline Gay

    The Scholastic Assessment Tests (SAT) are national examinations designed to assess a student's chances of success at the college level. There are two SAT examinations, the SAT I, a reasoning assessment of students' verbal and mathematics skills, and the SAT II, in which students are tested in specific subject areas. In Wake County (North…

  10. California and the SAT: A Reanalysis of University of California Admissions Data. Research & Occasional Paper Series: CSHE.8.04

    ERIC Educational Resources Information Center

    Zwick, Rebecca; Brown, Terran; Sklar, Jeffrey C.

    2004-01-01

    As part of the University of California's recent reconsideration of the role of the SAT in admissions, the UC Office of the President published an extensive report, "UC and the SAT" (2001), which examined the value of SAT I Reasoning Test scores, SAT II Subject Test scores, and high school grades in predicting the grade-point averages of UC…

  11. The Revised SAT Score and Its Potential Benefits for the Admission of Minority Students to Higher Education

    ERIC Educational Resources Information Center

    Santelices, Maria Veronica; Wilson, Mark

    2015-01-01

    This paper investigates the predictive validity of the Revised SAT (R-SAT) score, proposed by Freedle (2003) as an alternative to compensate minority students for the potential harm caused by the relationship between item difficulty and ethnic DIF observed in the SAT. The R-SAT score is the score minority students would have received if only the…

  12. Secreted autotransporter toxin (Sat) triggers autophagy in epithelial cells that relies on cell detachment.

    PubMed

    Liévin-Le Moal, Vanessa; Comenge, Yannick; Ruby, Vincent; Amsellem, Raymonde; Nicolas, Valérie; Servin, Alain L

    2011-07-01

    The secreted autotransporter toxin, Sat, which belongs to the subfamily of serine protease autotransporters of Enterobacteriaceae, acts as a virulence factor in extraintestinal and intestinal pathogenic strains of Escherichia coli. We observed that HeLa cells exposed to the cell-free culture supernatant of recombinant strain AAEC185p(Sat-IH11128) producing the Sat toxin (CFCS(Sat) ), displayed dramatic disorganization of the F-actin cytoskeleton before loosening cell-to-cell junctions and detachment. Examination of the effect of Sat on GFP-microtubule-associated protein light chain 3 (LC3) HeLa cells revealed that CFCS(Sat) -induced autophagy follows CFCS(Sat) -induced F-actin cytoskeleton rearrangement. The induced autophagy shows an acceleration of the autophagy flux soon after Sat treatment, followed later by a blockade of the flux leading to the accumulation of large GFP-LC3-positive vacuoles in the cell cytoplasm. CFCS(Sat) did not induce cell detachment in autophagy-deficient mouse embryonic fibroblasts in contrast with wild-type mouse embryonic fibroblasts. The CFCS(Sat) -induced large GFP-LC3 dots do not display the characteristics of autophagolysosomes including expression of cathepsin D and Lamp-1 and 2 proteins, and Lysotracker Red- and DQ-BSA-positive labelling. We provide evidences that CFCS(Sat) -induced autophagy is not a cell response intended to get rid of the intracellular toxin. By a pharmacological blockers approach, we found that the blockade of Erk1/2 and p38 MAPKs, but not JNK, inhibited the CFCS(Sat) -induced autophagy and cell detachment whereas phosphatidylinositol-3 kinase blockers inhibiting canonical autophagy were inactive. When attached CFCS(Sat) -treated cells start to detach they showed caspase-independent cell death and rearrangements of the focal adhesion-associated vinculin and paxillin. Collectively, our results support that Sat triggers autophagy in epithelial cells that relies on its cell-detachment effect. PMID:21501364

  13. Improved Oceanographic Measurements with CryoSat SAR Altimetry

    NASA Astrophysics Data System (ADS)

    Cotton, David; Benveniste, Jérôme; Cipollini, Paolo; Andersen, Ole; Cancet, Mathilde; Ambrózio, Américo; Restano, Marco; Nilo Garcia, Pablo; Martin, Francisco

    2016-07-01

    The ESA CryoSat mission is the first space mission to carry a radar altimeter that can operate in Synthetic Aperture Radar "SAR" (or delay-Doppler) and interferometric SAR (SARin) modes. Studies on CryoSat data have analysed and confirmed the improved ocean measuring capability offered by SAR mode altimetry, through increased resolution and precision in sea surface height and wave height measurements, and have also added significantly to our understanding of the issues around the processing and interpretation of SAR altimeter echoes. We present work in four themes, building on work initiated in the CryoSat Plus for Oceans project (CP4O), each investigating different aspects of the opportunities offered by this new technology. The first two studies address the coastal zone, a critical region for providing a link between open-ocean and shelf sea measurements with those from coastal in-situ measurements, in particular tide gauges. Although much has been achieved in recent years through the Coastal Altimetry community, (http://www.coastalt.eu/community) there is a limit to the capabilities of pulse-limited altimetry, which often leaves an un-measured "white strip" right at the coastline. Firstly, a thorough analysis was made of the performance of "SAR" altimeter data (delay-Doppler processed) in the coastal zone. This quantified the performance, confirming the significant improvement over "conventional" pulse-limited altimetry. In the second study a processing scheme was developed with CryoSat SARin mode data to enable the retrieval of valid oceanographic measurements in coastal areas with complex topography. Thanks to further development of the algorithms, a new approach was achieved that can also be applied to SAR and conventional altimetry data (e.g., Sentinel-3, Jason series, Envisat). The third part of the project developed and evaluated improvements to the SAMOSA altimeter re-tracker that is implemented in the Sentinel-3 processing chain. The modifications to the

  14. The Traps of Formal Correspondence.

    ERIC Educational Resources Information Center

    Albert, Sandor

    The dangers of translation are discussed when the translator does not try to create textual equivalence, but settles for formal correspondence (i.e., with simple transcoding at a linguistic level) during the process of translating. Difficulties of explaining, commenting, or summarizing rather than translating are also discussed. Pedagogical and…

  15. 48 CFR 52.215-20 - Requirements for Certified Cost or Pricing Data and Data Other Than Certified Cost or Pricing Data.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... Certificate of Current Cost or Pricing Data, as prescribed by FAR 15.406-2. (End of provision) Alternate I... Cost or Pricing Data and Data Other Than Certified Cost or Pricing Data. 52.215-20 Section 52.215-20... Certified Cost or Pricing Data and Data Other Than Certified Cost or Pricing Data. As prescribed in...

  16. 48 CFR 52.215-21 - Requirements for Certified Cost or Pricing Data and Data Other Than Certified Cost or Pricing...

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... Contractor shall submit a Certificate of Current Cost or Pricing Data, as prescribed by FAR 15.406-2. (End of... Cost or Pricing Data and Data Other Than Certified Cost or Pricing Data-Modifications. 52.215-21... Requirements for Certified Cost or Pricing Data and Data Other Than Certified Cost or Pricing...

  17. [Study on certified reference material of iodine in kelp].

    PubMed

    Lu, Longgen; Qian, Yaling; Lu, Xiujing

    2004-09-01

    Analytical reference material of iodine in kelp was designed and prepared for accurate analysis, monitor and evaluation of iodine in trade of farming, forestry, medicine and food hygiene can be used in technical training, technical assessing, monitoring, date arbitrating and analytic method verifying for professional supervisors. This reference material was certified by neutron activation, ICP-MS, PA, GC, IC, COL method. According to Gurbb's law to judge the date of each group, it was confirmed that all of six groups certified curde date were normal distribution by checking normality D. The arithmetic mean value of all data on certified reference material of low and moderate amount was 9.3 microg/g and 85.7 microg/g respectively and, standard deviation was 0.9 microg/g and 4.9 microg/g respectively.

  18. Uncooled emissive infrared imagers for CubeSats

    NASA Astrophysics Data System (ADS)

    Puschell, Jeffery J.; Masini, Paolo

    2014-09-01

    Raytheon's fourth generation uncooled microbolometer array technology with digital output, High Definition (HD) 1920 × 1200 format and 12 μm cell size enables uncooled thermal infrared (TIR) multispectral imagers with the sensitivity and spatial sampling needed for a variety of Earth observation missions in LEO, GEO and HEO. A powerful combination of small detector cell size, fast optics and high sensitivity achieved without cryogenic cooling leads to instruments that are much smaller than current TIR systems, while still offering the capability to meet challenging measurement requirements for Earth observation missions. To consider how this technology could be implemented for Earth observation missions, we extend our previous studies with visible wavelength CubeSat imagers for environmental observations from LEO and examine whether small thermal infrared imagers based on fourth generation uncooled technology could be made small enough to fit onboard a 3U CubeSat and still meet challenging requirements for legacy missions. We found that moderate spatial resolution (~200 m) high sensitivity cloud and surface temperature observations meeting legacy MODIS/VIIRS requirements could be collected successfully with CubeSat-sized imagers but that multiple imagers are needed to cover the full swath for these missions. Higher spatial resolution land imagers are more challenging to fit into the CubeSat form factor, but it may be possible to do so for systems that require roughly 100 m spatial resolution. Regardless of whether it can fit into a CubeSat or not, uncooled land imagers meeting candidate TIR requirements can be implemented with a much smaller instrument than previous imagers. Even though this technology appears to be very promising, more work is needed to qualify this newly available uncooled infrared technology for use in space. If these new devices prove to be as space worthy as the first generation arrays that Raytheon qualified and built into the THEMIS imager

  19. Final Report - Certifying the Performance of Small Wind Turbines

    SciTech Connect

    Sherwood, Larry

    2015-08-28

    The Small Wind Certification Council (SWCC) created a successful accredited certification program for small and medium wind turbines using the funding from this grant. SWCC certifies small turbines (200 square meters of swept area or less) to the American Wind Energy Association (AWEA) Small Wind Turbine Performance and Safety Standard (AWEA Standard 9.1 – 2009). SWCC also certifies medium wind turbines to the International Electrical Commission (IEC) Power Performance Standard (IEC 61400-12-1) and Acoustic Performance Standard (IEC 61400-11).

  20. Science Case for Planetary Exploration with Planetary CubeSats and SmallSats

    NASA Astrophysics Data System (ADS)

    Castillo-Rogez, Julie; Raymond, Carol; Jaumann, Ralf; Vane, Gregg; Baker, John

    2016-07-01

    Nano-spacecraft and especially CubeSats are emerging as viable low cost platforms for planetary exploration. Increasing miniaturization of instruments and processing performance enable smart and small packages capable of performing full investigations. While these platforms are limited in terms of payload and lifetime, their form factor and agility enable novel mission architectures and a refreshed relationship to risk. Leveraging a ride with a mothership to access far away destinations can significantly augment the mission science return at relatively low cost. Depending on resources, the mothership may carry several platforms and act as telecom relay for a distributed network or other forms of fractionated architectures. In Summer 2014 an international group of scientists, engineers, and technologists started a study to define investigations to be carried out by nano-spacecrafts. These applications flow down from key science priorities of interest across space agencies: understanding the origin and organization of the Solar system; characterization of planetary processes; assessment of the astrobiological significance of planetary bodies across the Solar system; and retirement of strategic knowledge gaps (SKGs) for Human exploration. This presentation will highlight applications that make the most of the novel architectures introduced by nano-spacecraft. Examples include the low cost reconnaissance of NEOs for science, planetary defense, resource assessment, and SKGs; in situ chemistry measurements (e.g., airless bodies and planetary atmospheres), geophysical network (e.g., magnetic field measurements), coordinated physical and chemical characterization of multiple icy satellites in a giant planet system; and scouting, i.e., risk assessment and site reconnaissance to prepare for close proximity observations of a mothership (e.g., prior to sampling). Acknowledgements: This study is sponsored by the International Academy of Astronautics (IAA). Part of this work is

  1. The Relationship between SAT Scores and Retention to the Second Year: Replication with 2009 SAT Validity Sample. Statistical Report 2011-3

    ERIC Educational Resources Information Center

    Mattern, Krista D.; Patterson, Brian F.

    2012-01-01

    The College Board formed a research consortium with four-year colleges and universities to build a national higher education database with the primary goal of validating the revised SAT for use in college admission. A study by Mattern and Patterson (2009) examined the relationship between SAT scores and retention to the second year of college. The…

  2. The Relationship between SAT Scores and Retention to the Second Year: 2007 SAT Validity Sample. Statistical Report No. 2011-4

    ERIC Educational Resources Information Center

    Mattern, Krista D.; Patterson, Brian F.

    2011-01-01

    This report presents the findings from a replication of the analyses from the report, "Is Performance on the SAT Related to College Retention?" (Mattern & Patterson, 2009). The tables presented herein are based on the 2007 sample and the findings are largely the same as those presented in the original report, and show SAT scores are…

  3. Comparative Validity of the Descriptive Tests of Mathematical Skills (DTMS) and SAT-Mathematics (SAT-M) for Predicting Performance in Freshman College Mathematics Courses: Prefatory Report

    ERIC Educational Resources Information Center

    McLoughlin, M. Padraig M. M.; Bluford, Dontrell A.

    2004-01-01

    This study investigated the predictive validity of the Descriptive Tests of Mathematical Skills (DTMS) and the SAT-Mathematics (SAT-M) tests as placement tools for entering students in a small, liberal arts, historically black institution (HBI) using regression analysis. The placement schema is four-tiered: for a remedial algebra course, college…

  4. NASA SMD/STMD Joint Study on Science Measurements and Technology Capability Potential of SmallSats

    NASA Astrophysics Data System (ADS)

    Norton, C. D.; Seablom, M. S.; Petro, A. J.; Bonniksen, C. K.; Ruf, C. S.; Klumpar, D. M.; Van Sant, J. T.

    2015-12-01

    NASA's Science Mission Directorate (SMD) and Space Technology Directorate (STMD) initiated a joint study to explore strategic approaches to the development of platform technologies and new measurement approaches in Earth, Planetary, Heliophysics, and Astrophysics science enabled by small satellites (including CubeSat class systems). The agency has made investments though various solicitations within SMD and STMD, but as system capabilities continue to grow and as exploration concepts become more ambitious there was a need to formally asses the role Smallsats could play from technology maturation through Decadal Survey science in a coordinated fashion within the parameters of reliability, cost, design time and measurement requirement assessment among other topics. This talk will review the activities of the study team as well as its findings in the context of the benefits a small satellite program could contribute to multiple aspects of NASA's scientific and technology development objectives.

  5. CloudSat Reflectivity Data Visualization Inside Hurricanes

    NASA Technical Reports Server (NTRS)

    Suzuki, Shigeru; Wright, John R.; Falcon, Pedro C.

    2011-01-01

    Animations and other outreach products have been created and released to the public quickly after the CloudSat spacecraft flew over hurricanes. The automated script scans through the CloudSat quicklook data to find significant atmospheric moisture content. Once such a region is found, data from multiple sources is combined to produce the data products and the animations. KMZ products are quickly generated from the quicklook data for viewing in Google Earth and other tools. Animations are also generated to show the atmospheric moisture data in context with the storm cloud imagery. Global images from GOES satellites are shown to give context. The visualization provides better understanding of the interior of the hurricane storm clouds, which is difficult to observe directly. The automated process creates the finished animation in the High Definition (HD) video format for quick release to the media and public.

  6. Rotary Percussive Sample Acquisition Tool (SAT): Hardware Development and Testing

    NASA Technical Reports Server (NTRS)

    Klein, Kerry; Badescu, Mircea; Haddad, Nicolas; Shiraishi, Lori; Walkemeyer, Phillip

    2012-01-01

    In support of a potential Mars Sample Return (MSR) mission an Integrated Mars Sample Acquisition and Handling (IMSAH) architecture has been proposed to provide a means for Rover-based end-to-end sample capture and caching. A key enabling feature of the architecture is the use of a low mass sample Acquisition Tool (SAT) that is capable of drilling and capturing rock cores directly within a sample tube in order to maintain sample integrity and prevent contamination across the sample chain. As such, this paper will describe the development and testing of a low mass rotary percussive SAT that has been shown to provide a means for core generation, fracture, and capture.

  7. Max 2-SAT with up to 108 qubits

    NASA Astrophysics Data System (ADS)

    Santra, Siddhartha; Quiroz, Gregory; Ver Steeg, Greg; Lidar, Daniel A.

    2014-04-01

    We experimentally study the performance of a programmable quantum annealing processor, the D-Wave One (DW1) with up to 108 qubits, on maximum SAT problem with 2 variables per clause (MAX 2-SAT) problems. We consider ensembles of random problems characterized by a fixed clause density, an external parameter which we tune through its critical value in our experiments. We demonstrate that the DW1 is sensitive to the critical value of the clause density. The DW1 results are verified and compared with akmaxsat, an exact, state-of-the-art algorithm. We study the relative performance of the two solvers and how they correlate in terms of problem hardness. We find that the DW1 performance scales more favorably with problem size and that problem hardness correlation is essentially non-existent. We discuss the relevance and limitations of such a comparison.

  8. Soft X-Ray Polarimetry with a CubeSat

    NASA Astrophysics Data System (ADS)

    Kaaret, Philip

    2016-07-01

    We describe an instrument capable of measuring the polarization of astrophysical sources in soft X-rays that can be accomplished at modest cost by exploiting CubeSats as novel vehicles for high energy astrophysics. The instrument would re-use technologies that will be demonstrated on the HaloSat cubesat that is currently under construction. Potential target include thermally-emitting isolated neutron stars and blazars. Measurement of the polarization of X-rays emitted from the surface of a highly magnetized neutron star provides a means to test a unique signature of strong-field quantum electrodynamics and probe the neutron star magnetic field and X-ray emission geometry. Polarization measurements of blazars should strongly constrain jet emission models.

  9. CubeSats to Explore Volatiles in Comets

    NASA Astrophysics Data System (ADS)

    Hewagama, T.; Aslam, S.; Châteauneuf, F.; Clark, P.; Folta, D.; Feaga, L.; Gorius, N.; Hurford, T.; Keidar, M.; Livengood, T.; Malphrus, B.; Mumma, M.; Nixon, C.; Villanueva, G.

    2015-10-01

    Close approach comets (<0.4 AU to Earth) are accessible to CubeSat and NanoSat missions that can return unique data not obtainable from ground-based telescopes. Primitive bodies such as comets are key to understanding Solar System formation. A low-risk, versatile, multispectral camera with integrated filters in a 6U spacecraft bus is capable of high spatial resolution mapping of the four primary volatile species CO2, H2O, CO, and organics. Simultaneous mmapping of these bands and two thermal channels will enable studying the dynamical activity of the nucleus. Assuming deployment from a launch platform above the Earth's gravity well, we find intercept trajectories using current propulsion systems.

  10. CloudSat Image of Tropical Thunderstorms Over Africa

    NASA Technical Reports Server (NTRS)

    2006-01-01

    [figure removed for brevity, see original site] Figure 1

    CloudSat image of a horizontal cross-section of tropical clouds and thunderstorms over east Africa. The red colors are indicative of highly reflective particles such as water (rain) or ice crystals, which the blue indicates thinner clouds (such as cirrus). The flat green/blue lines across the bottom represent the ground signal. The vertical scale on the CloudS at Cloud Profiling Radar image is approximately 30 kilometers (19 miles). The brown line below the image indicates the relative elevation of the land surface. The inset image shows the CloudSat track relative to a Moderate Resolution Imaging Spectroradiometer (MODIS) visible image taken at nearly the same time.

  11. SAT Performance: Understanding the Contributions of Cognitive/Learning and Social/Personality Factors

    PubMed Central

    HANNON, BRENDA; MCNAUGHTON-CASSILL, MARY

    2011-01-01

    SUMMARY This study identifies a number of sources of individual differences in SAT performance by examining the simultaneous contributions of factors from two otherwise disparate research areas, namely cognition/learning and social/personality. Preliminary analysis revealed that just the cognitive/learning measures accounted for 37.8, 41.4 and 21.9% of the variance in SAT, V-SAT and Q-SAT performance, respectively while just the social/personality measures accounted for 21.4, 18.2 and 17.3% of the variance. When combined, cognitive/learning and social/personality factors accounted for even larger amounts of variance in performance; specifically 43.4, 44.6 and 28% for the SAT, V-SAT and Q-SAT, respectively. Finally, the results revealed that three measures consistently predicted performance on the SAT, V-SAT and Q-SAT; two measures were the learning/cognitive factors of working memory and integration of new text-based information with information from long-term memory and one measure was the social/personality factor, test anxiety. PMID:21804694

  12. SAT Performance: Understanding the Contributions of Cognitive/Learning and Social/Personality Factors.

    PubMed

    Hannon, Brenda; McNaughton-Cassill, Mary

    2011-07-01

    This study identifies a number of sources of individual differences in SAT performance by examining the simultaneous contributions of factors from two otherwise disparate research areas, namely cognition/learning and social/personality. Preliminary analysis revealed that just the cognitive/learning measures accounted for 37.8, 41.4 and 21.9% of the variance in SAT, V-SAT and Q-SAT performance, respectively while just the social/personality measures accounted for 21.4, 18.2 and 17.3% of the variance. When combined, cognitive/learning and social/personality factors accounted for even larger amounts of variance in performance; specifically 43.4, 44.6 and 28% for the SAT, V-SAT and Q-SAT, respectively. Finally, the results revealed that three measures consistently predicted performance on the SAT, V-SAT and Q-SAT; two measures were the learning/cognitive factors of working memory and integration of new text-based information with information from long-term memory and one measure was the social/personality factor, test anxiety. PMID:21804694

  13. Onboard autonomy on the Three Corner Sat mission

    NASA Technical Reports Server (NTRS)

    Chien, S. A.; Sherwood, R.

    2002-01-01

    In 2003, the student-built three satellite constellation Three Corner Sat (3CS) Mission will demonstrate onboard autonomy including: science data validation and prioritization, mission re-planning, and robust execution. Future observations will be planned onboard based on the quality of aquired science, available memory and power, and anticipated downlinks. These capabilities will allow 3CS to aquire additional science data if resources are available and to return only the highest quality science data.

  14. Maker of SAT Aims New Test at 8th Graders

    ERIC Educational Resources Information Center

    Cech, Scott J.

    2008-01-01

    Officials at the New York City-based College Board last week rolled out their newest product: ReadiStep. No, it is not a new piece of exercise equipment or a whipped dessert topping--it is a test for 8th graders that some critics are calling a pre-PSAT, referring to the Preliminary SAT assessment taken by 9th and 10th graders and owned by the…

  15. A quantum differentiation of k-SAT instances

    NASA Astrophysics Data System (ADS)

    Tamir, B.; Ortiz, G.

    2010-07-01

    We present a quantum adiabatic algorithm to differentiate between k-SAT instances, those with no solutions and those that have many solutions. The time complexity of the algorithm is a function of the energy gap between the subspace of all 0-eigenvectors (ground states) and the first excited states manifold, and scales polynomially with the number of resources. The idea of gaps between subspaces suggests a new tool to analyze time complexity in adiabatic quantum machines.

  16. Quantum algorithm for SAT problem andquantum mutual entropy

    NASA Astrophysics Data System (ADS)

    Ohya, Masanori

    2005-02-01

    It is von Neumann who opened the window for today's information epoch. He definedquantum entropy including Shannon's information more than 20 years ahead of Shannon, and he explained what computation means mathematically. In this paper I discuss two problems studied recently by me and my coworkers. One of them concerns a quantum algorithm in a generalized sense solving the SAT problem (one of NP complete problems) and another concerns quantum mutual entropy properly describing quantum communication processes.

  17. Formal Analysis of Message Passing

    NASA Astrophysics Data System (ADS)

    Siegel, Stephen F.; Gopalakrishnan, Ganesh

    The message passing paradigm underlies many important families of programs - for instance programs in the area of high performance computing that support science and engineering research. Unfortunately, very few formal methods researchers are involved in developing formal analysis tools and techniques for message passing programs. This paper summarizes research being done in our groups in support of this area, specifically with respect to the Message Passing Interface. We emphasize the need for specialized varieties of many familiar notions such as deadlock detection, race analysis, symmetry analysis, partial order reduction, static analysis and symbolic reasoning support. Since these issues are harbingers of those being faced in multicore programming, the time is ripe to build a critical mass of researchers working in this area.

  18. MitoSatPlant: mitochondrial microsatellites database of viridiplantae.

    PubMed

    Kumar, Manjeet; Kapil, Aditi; Shanker, Asheesh

    2014-11-01

    Microsatellites also known as simple sequence repeats (SSRs) consist of 1-6 nucleotide long repeating units. The importance of mitochondrial SSRs (mtSSRs) in fields like population genetics, plant phylogenetics and genome mapping motivated us to develop MitoSatPlant, a repository of plant mtSSRs. It contains information for perfect, imperfect and compound SSRs mined from 92 mitochondrial genomes of green plants, available at NCBI (as of 1 Feb 2014). A total of 72,798 SSRs were found, of which PCR primers were designed for 72,495 SSRs. Among all sequences, tetranucleotide repeats (26,802) were found to be most abundant whereas hexanucleotide repeats (2751) were detected with least frequency. MitoSatPlant was developed using SQL server 2008 and can be accessed through a front end designed in ASP.Net. It is an easy to use, user-friendly database and will prove to be a useful resource for plant scientists. To the best of our knowledge MitoSatPlant is the only database available for plant mtSSRs and can be freely accessed at http://compubio.in/mitosatplant/.

  19. The natural satellites ephemerides facility MULTI-SAT

    NASA Astrophysics Data System (ADS)

    Emel'Yanov, N. V.; Arlot, J.-E.

    2008-08-01

    Context: There is a need in some research facilities for deriving ephemerides, controlling observations, verifying various models of motion, and calculating the coordinates in space of natural planetary satellites. Aims: The goal of our work is to elaborate the ephemerides of all natural satellites based upon all observations available to date and readily accessible for any user via the Internet. Methods: For all outer planetary satellites, original numerical models of motion are used that are based on all published observations. For other satellites, the theoretical models of the motion are taken from publications that are as recent as possible. Complete collection of the theories and models of motion is realized as a software for the ephemerides of natural satellites available on the web pages of the so-called server MULTI-SAT. Results: A new facility for producing ephemerides of all natural satellites of planets (except the Moon) has been created at IMCCE and SAI. Special features of the ephemerides are realized, such as predicting the phenomena and providing configurations useful for the observers. The server MULTI-SAT is accessible through the Internet. The URL addresses are http://www.imcce.fr/sat (English and French versions at IMCCE) and http://www.sai.msu.ru/neb/nss/index.htm (English, French, and Russian versions at SAI). This paper includes a complete review of the most precise theories of motion of all natural satellites that we used and an analysis of the precision of the proposed ephemerides.

  20. Generation of Minimum-Consistent DFA Using SAT Solver

    NASA Astrophysics Data System (ADS)

    Inui, Nobuo; Aizawa, Akiko

    The purpose of this study is to develop efficient methods for the minimum-consistent DFA (deterministic finite state automaton) problem. The graph-coloring based SAT (satisfiability) approach proposed by Heule is a state of the art method for this problem. It specially achieves high performance computing in dense problems such as in a popular benchmark problem where rich information about labels is included. In contrast, to solve sparse problems is a challenge for the minimum-consistent DFA problem. To solve sparse problems, we propose three approaches to the SAT formulation: a) the binary color representation, b) the dynamic symmetry breaking and c) the hyper-graph coloring constraint. We organized an experiment using the existing benchmark problems and sparse problems made from them. We observed that our symmetry breaking constraints made the speed up the running time of SAT solver. In addition with this, our other proposed methods were showing the possibility to improve the performance. Then we simulated the perfomance of our methods under the condition that we executed the several program set-ups in parallel. Compared with the previous research results, we finally could reduce the average relative time by 66.5% and the total relative time by 7.6% for sparse problems and by 79.7% and 38.5% for dense problems, respectively. These results showed that our proposed methods were effective for difficult problems.

  1. iSat Surface Charging and Thruster Plume Interactions Analysis

    NASA Technical Reports Server (NTRS)

    Parker, L. Neergaard; Willis, E. M.; Minow, J. I.

    2016-01-01

    Characterizing the electromagnetic interaction of a satellite in low Earth, high inclination orbit with the space plasma environment and identifying viable charging mitigation strategies is a critical mission design task. High inclination orbits expose the vehicle to auroral charging environments that can potentially charge surfaces to kilovolt potentials and electric thruster propulsion systems will interact with the ambient plasma environment throughout the orbit. NASA is designing the Iodine Satellite (iSAT) cubesat mission to demonstrate operations of an iodine electric thruster system. The spacecraft will be deployed as a secondary payload from a launch vehicle which has not yet been identified so the program must plan for the worst case environments over a range of orbital inclinations. We will first present results from a NASA and Air Force Charging Analyzer Program (Nascap) -2k surface charging calculation used to evaluate the effects of auroral charging on the spacecraft and to provide the charging levels at other locations in orbit for a thruster plume interaction analysis for the iSAT mission. We will then discuss results from the thruster interactions analysis using the Electric Propulsion Interactions Code (EPIC) with inputs from Nascap-2k. The results of these analyses are being used by the iSAT program to better understand how their spacecraft will interact with the space plasma environment in the range of environments that could be encountered when the final mission orbit is selected.

  2. Formalizing narratives using nested circumscription

    SciTech Connect

    Baral, C.; Gabaldon, A.; Provetti, A.

    1996-12-31

    The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall short. To address narratives, Pinto and Reiter have extended Situation Calculus axioms, Kowalski and Sergot have introduced the Event Calculus in Logic Programming, and Baral et al. have defined the specification language L which allows to express actual and hypothetical situations in a uniform setting. The L entailment relation can formalize several forms of reasoning about actions and change. In this paper we illustrate a translation of L theories into Nested Abnormality Theories, a novel form of circumscription. The proof of soundness and completeness of the translation is the main technical result of the paper, but attention is also devoted to the features of Nested Abnormality Theories to capture commonsense reasoning in general and to clarify which assumptions a logical formalization forces upon a domain. These results also help clarifying the relationship between L and other recent circumscriptive formalization for narratives, such as Miller and Shanahan`s.

  3. 44 CFR 204.53 - Certifying costs and payments.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... U.S. Department of Health and Human Services SMARTLINK system; and (2) In compliance with 44 CFR 13.21 and U. S. Treasury 31 CFR part 205, Cash Management Improvement Act. ... Procedures § 204.53 Certifying costs and payments. (a) By submitting applicants' Project Worksheets to...

  4. 44 CFR 204.53 - Certifying costs and payments.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... U.S. Department of Health and Human Services SMARTLINK system; and (2) In compliance with 44 CFR 13.21 and U. S. Treasury 31 CFR part 205, Cash Management Improvement Act. ... Procedures § 204.53 Certifying costs and payments. (a) By submitting applicants' Project Worksheets to...

  5. 44 CFR 204.53 - Certifying costs and payments.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... U.S. Department of Health and Human Services SMARTLINK system; and (2) In compliance with 44 CFR 13.21 and U. S. Treasury 31 CFR part 205, Cash Management Improvement Act. ... Procedures § 204.53 Certifying costs and payments. (a) By submitting applicants' Project Worksheets to...

  6. 44 CFR 204.53 - Certifying costs and payments.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... U.S. Department of Health and Human Services SMARTLINK system; and (2) In compliance with 44 CFR 13.21 and U. S. Treasury 31 CFR part 205, Cash Management Improvement Act. ... Procedures § 204.53 Certifying costs and payments. (a) By submitting applicants' Project Worksheets to...

  7. 44 CFR 204.53 - Certifying costs and payments.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... U.S. Department of Health and Human Services SMARTLINK system; and (2) In compliance with 44 CFR 13.21 and U. S. Treasury 31 CFR part 205, Cash Management Improvement Act. ... Procedures § 204.53 Certifying costs and payments. (a) By submitting applicants' Project Worksheets to...

  8. 40 CFR 85.1505 - Final admission of certified vehicles.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 Protection of Environment 19 2013-07-01 2013-07-01 false Final admission of certified vehicles. 85.1505 Section 85.1505 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) CONTROL OF AIR POLLUTION FROM MOBILE SOURCES Importation of Motor Vehicles and...

  9. 40 CFR 85.1505 - Final admission of certified vehicles.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 40 Protection of Environment 19 2014-07-01 2014-07-01 false Final admission of certified vehicles. 85.1505 Section 85.1505 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) CONTROL OF AIR POLLUTION FROM MOBILE SOURCES Importation of Motor Vehicles and...

  10. 40 CFR 85.1505 - Final admission of certified vehicles.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 19 2012-07-01 2012-07-01 false Final admission of certified vehicles. 85.1505 Section 85.1505 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) CONTROL OF AIR POLLUTION FROM MOBILE SOURCES Importation of Motor Vehicles and...

  11. 40 CFR 85.1505 - Final admission of certified vehicles.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 18 2011-07-01 2011-07-01 false Final admission of certified vehicles. 85.1505 Section 85.1505 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) CONTROL OF AIR POLLUTION FROM MOBILE SOURCES Importation of Motor Vehicles and...

  12. 40 CFR 85.1505 - Final admission of certified vehicles.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 18 2010-07-01 2010-07-01 false Final admission of certified vehicles. 85.1505 Section 85.1505 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) CONTROL OF AIR POLLUTION FROM MOBILE SOURCES Importation of Motor Vehicles and...

  13. 19 CFR 115.12 - Records maintained by Certifying Authority.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 19 Customs Duties 1 2010-04-01 2010-04-01 false Records maintained by Certifying Authority. 115.12 Section 115.12 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY... the plans and the application to which the approval refers, along with any information submitted...

  14. Injury and Illness Costs in the Certified Safe Farm Study

    ERIC Educational Resources Information Center

    Donham, Kelley J.; Rautiainen, Risto H.; Lange, Jeffrey L.; Schneiders, Sara

    2007-01-01

    Context: The Certified Safe Farm (CSF) intervention program aims to reduce occupational injuries and illnesses, and promote wellness to reduce health care and related costs to farmers, insurers, and other stakeholders. Purpose: To evaluate the cost effectiveness of CSF. Methods: Farms (316) located in a 9-county area of northwestern Iowa were…

  15. 13 CFR 120.845 - Premier Certified Lenders Program (PCLP).

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... Certified Lenders Program (PCLP). (a) General. Under the PCLP, SBA designates qualified CDCs as PCLP CDCs... also may give PCLP CDCs increased authority to litigate 504 loans. (b) Application. A CDC must apply... Delegations of Authority for final determination. (c) Eligibility. In order for a CDC to be eligible...

  16. 13 CFR 120.845 - Premier Certified Lenders Program (PCLP).

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... Certified Lenders Program (PCLP). (a) General. Under the PCLP, SBA designates qualified CDCs as PCLP CDCs... also may give PCLP CDCs increased authority to litigate 504 loans. (b) Application. A CDC must apply... Delegations of Authority for final determination. (c) Eligibility. In order for a CDC to be eligible...

  17. 13 CFR 120.845 - Premier Certified Lenders Program (PCLP).

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... Certified Lenders Program (PCLP). (a) General. Under the PCLP, SBA designates qualified CDCs as PCLP CDCs... also may give PCLP CDCs increased authority to litigate 504 loans. (b) Application. A CDC must apply... Delegations of Authority for final determination. (c) Eligibility. In order for a CDC to be eligible...

  18. 13 CFR 120.845 - Premier Certified Lenders Program (PCLP).

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... Certified Lenders Program (PCLP). (a) General. Under the PCLP, SBA designates qualified CDCs as PCLP CDCs... also may give PCLP CDCs increased authority to litigate 504 loans. (b) Application. A CDC must apply... Delegations of Authority for final determination. (c) Eligibility. In order for a CDC to be eligible...

  19. 13 CFR 120.845 - Premier Certified Lenders Program (PCLP).

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... Certified Lenders Program (PCLP). (a) General. Under the PCLP, SBA designates qualified CDCs as PCLP CDCs... also may give PCLP CDCs increased authority to litigate 504 loans. (b) Application. A CDC must apply... Delegations of Authority for final determination. (c) Eligibility. In order for a CDC to be eligible...

  20. 13 CFR 120.440 - The Certified Lenders Program.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 13 Business Credit and Assistance 1 2010-01-01 2010-01-01 false The Certified Lenders Program. 120.440 Section 120.440 Business Credit and Assistance SMALL BUSINESS ADMINISTRATION BUSINESS LOANS... loans in accordance with subpart E of this part. SBA gives priority to applications and...

  1. 36 CFR 1254.64 - Will NARA certify copies?

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 36 Parks, Forests, and Public Property 3 2010-07-01 2010-07-01 false Will NARA certify copies? 1254.64 Section 1254.64 Parks, Forests, and Public Property NATIONAL ARCHIVES AND RECORDS ADMINISTRATION PUBLIC AVAILABILITY AND USE USING RECORDS AND DONATED HISTORICAL MATERIALS Copying...

  2. 49 CFR 655.83 - Requirement to certify compliance.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... noncompliance by FTA may lead to the suspension of eligibility for Federal public transportation funding. ... 49 Transportation 7 2010-10-01 2010-10-01 false Requirement to certify compliance. 655.83 Section 655.83 Transportation Other Regulations Relating to Transportation (Continued) FEDERAL...

  3. Integrating Graduate Coursework to Prepare Alternatively Certified Teachers

    ERIC Educational Resources Information Center

    Heineke, Amy J.; Preach, Deborah

    2013-01-01

    In this article, we describe our innovative work as teacher educators to integrate coursework for alternatively certified teachers. Rather than maintain boundaries among individual courses for new elementary teachers, explicit connections support first-year teachers professional learning and aid in the immediate application to classroom practice.…

  4. 42 CFR 600.315 - Certified application counselors.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 42 Public Health 5 2014-10-01 2014-10-01 false Certified application counselors. 600.315 Section 600.315 Public Health CENTERS FOR MEDICARE & MEDICAID SERVICES, DEPARTMENT OF HEALTH AND HUMAN SERVICES (CONTINUED) BASIC HEALTH PROGRAM ADMINISTRATION, ELIGIBILITY, ESSENTIAL HEALTH...

  5. National Board to Certify Schoolteachers to Be Chartered This Summer.

    ERIC Educational Resources Information Center

    Evangelauf, Jean

    1987-01-01

    A national board to certify teachers is expected to be chartered by late this summer and begin issuing certificates within five years. The objective is to establish high standards for teacher competence with voluntary certification, not replacement of state licensing. The plan has received widespread support. (MSE)

  6. 30 CFR 90.202 - Certified person; sampling.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 30 Mineral Resources 1 2014-07-01 2014-07-01 false Certified person; sampling. 90.202 Section 90.202 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE SAFETY AND HEALTH MANDATORY HEALTH STANDARDS-COAL MINERS WHO HAVE EVIDENCE OF THE DEVELOPMENT OF...

  7. 30 CFR 90.202 - Certified person; sampling.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 30 Mineral Resources 1 2013-07-01 2013-07-01 false Certified person; sampling. 90.202 Section 90.202 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE SAFETY AND HEALTH MANDATORY HEALTH STANDARDS-COAL MINERS WHO HAVE EVIDENCE OF THE DEVELOPMENT OF...

  8. 30 CFR 90.202 - Certified person; sampling.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Certified person; sampling. 90.202 Section 90.202 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE SAFETY AND HEALTH MANDATORY HEALTH STANDARDS-COAL MINERS WHO HAVE EVIDENCE OF THE DEVELOPMENT OF...

  9. 30 CFR 90.202 - Certified person; sampling.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 30 Mineral Resources 1 2012-07-01 2012-07-01 false Certified person; sampling. 90.202 Section 90.202 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE SAFETY AND HEALTH MANDATORY HEALTH STANDARDS-COAL MINERS WHO HAVE EVIDENCE OF THE DEVELOPMENT OF...

  10. 30 CFR 90.202 - Certified person; sampling.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Certified person; sampling. 90.202 Section 90.202 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE SAFETY AND HEALTH MANDATORY HEALTH STANDARDS-COAL MINERS WHO HAVE EVIDENCE OF THE DEVELOPMENT OF...

  11. 33 CFR 159.17 - Changes to certified devices.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 33 Navigation and Navigable Waters 2 2011-07-01 2011-07-01 false Changes to certified devices. 159.17 Section 159.17 Navigation and Navigable Waters COAST GUARD, DEPARTMENT OF HOMELAND SECURITY (CONTINUED) POLLUTION MARINE SANITATION DEVICES Certification Procedures § 159.17 Changes to...

  12. Barriers to Research Utilization by Certified Registered Nurse Anesthetists

    ERIC Educational Resources Information Center

    Palmer, Timothy J.

    2013-01-01

    At present, no documentation pertaining to the factors influencing utilization of research into clinical practice by Certified Registered Nurse Anesthetists (CRNAs) exists. An investigation was undertaken to determine perceptions of CRNAs regarding factors within the context of the work setting, which may serve to influence their utilization of…

  13. Job Satisfaction of Certified Nurse Midwives: An Examination

    ERIC Educational Resources Information Center

    Hampton, Gerald M.; Peterson, Robin T.

    2012-01-01

    Health care providers face pressure to reduce costs and enhance patient satisfaction. One approach is to employ primary care providers such as nurse practitioners, physician assistants, and certified nurse midwives. Since there is a positive relationship between job satisfaction and patient satisfaction, positive job satisfaction on the part of…

  14. Importance of Addressing Sexuality in Certified Rehabilitation Counselor Practice

    ERIC Educational Resources Information Center

    Kazukauskas, Kelly A.; Lam, Chow S.

    2009-01-01

    This study investigated Certified Rehabilitation Counselors' (CRCs) beliefs about the importance of addressing sexuality issues during rehabilitation. A modified version of the Family Life Sex Education Goals Questionnaire (FLSEGQ) was completed by 199 CRCs to determine which issues CRCs believe are most important to address. Six sexuality-related…

  15. 19 CFR 159.34 - Certified quarterly rate.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 19 Customs Duties 2 2011-04-01 2011-04-01 false Certified quarterly rate. 159.34 Section 159.34 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE..., Denmark, Finland, France, Germany, Hong Kong, India, Iran, Ireland, Italy, Japan, Malaysia,...

  16. Nurse Practitioners, Physician Assistants and Certified Nurse Midwives in California.

    ERIC Educational Resources Information Center

    California Univ., San Francisco. Center for California Health Workforce Studies.

    Surveys were mailed to all nurse practitioners (NPs), physician assistants (PAs) and certified nurse midwives (CNMs) registered in California, asking questions about education, labor force participation, specialty, and location and type of practice site, as well as the demographic characteristics of these professionals and their patients. Response…

  17. 31 CFR 360.55 - Individuals authorized to certify.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Individuals authorized to certify. 360.55 Section 360.55 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued... imprint of either the corporate seal of the institution or of the issuing or paying agent's stamp....

  18. 20 CFR 410.563 - Liability of a certifying officer.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 20 Employees' Benefits 2 2011-04-01 2011-04-01 false Liability of a certifying officer. 410.563 Section 410.563 Employees' Benefits SOCIAL SECURITY ADMINISTRATION FEDERAL COAL MINE HEALTH AND SAFETY ACT OF 1969, TITLE IV-BLACK LUNG BENEFITS (1969- ) Payment of Benefits § 410.563 Liability of...

  19. 20 CFR 410.563 - Liability of a certifying officer.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 20 Employees' Benefits 2 2010-04-01 2010-04-01 false Liability of a certifying officer. 410.563 Section 410.563 Employees' Benefits SOCIAL SECURITY ADMINISTRATION FEDERAL COAL MINE HEALTH AND SAFETY ACT OF 1969, TITLE IV-BLACK LUNG BENEFITS (1969- ) Payment of Benefits § 410.563 Liability of...

  20. 36 CFR 61.6 - Certified local government programs.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... processing National Register nominations as specified in 36 CFR part 60 (see also § 61.4(b)(3)), except for... 36 Parks, Forests, and Public Property 1 2014-07-01 2014-07-01 false Certified local government... INTERIOR PROCEDURES FOR STATE, TRIBAL, AND LOCAL GOVERNMENT HISTORIC PRESERVATION PROGRAMS § 61.6...