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. 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.

  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. Surviving Without the SAT

    ERIC Educational Resources Information Center

    McDermott, Ann

    2008-01-01

    Scholastic Aptitude Test (SAT) scores still wield a mighty force in American culture and in the psyches of teenagers, even though 760 American colleges and universities have made standardized testing an optional part of the admissions process. Three years ago, after the new writing portion of the SAT was unveiled, the author's college, the College…

  8. 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…

  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. FDA Certified Mammography Facilities

    MedlinePlus

    ... Products Radiation-Emitting Products Home Radiation-Emitting Products Mammography Quality Standards Act and Program Consumer Information (MQSA) ... it Email Print This list of FDA Certified Mammography Facilities is updated weekly. If you click on ...

  11. The SAT Trap. Why Do We Make So Much of One 3-Hour Test?

    ERIC Educational Resources Information Center

    Adelman, Clifford

    1999-01-01

    The Scholastic Assessment Tests (SAT) measures students' general learned abilities, but student test performance is influenced as much by family environment as it is by formal education. Many colleges use SAT scores in admissions decisions. Students would be far better served if there was a concentration on other ways of predicting success in…

  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. 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…

  14. 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.

  15. 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.

  16. 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

  17. 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…

  18. 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.

  19. 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.

  20. 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…

  1. 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…

  2. 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.

  3. 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.

  4. 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.

  5. 12 CFR 327.2 - Certified statements.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... ASSESSMENTS In General § 327.2 Certified statements. (a) Required. (1) The certified statement shall also be 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....

  6. 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 ...

  7. 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…

  8. 12 CFR 327.2 - Certified statements.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 12 Banks and Banking 4 2010-01-01 2010-01-01 false Certified statements. 327.2 Section 327.2 Banks and Banking FEDERAL DEPOSIT INSURANCE CORPORATION REGULATIONS AND STATEMENTS OF GENERAL POLICY ASSESSMENTS In General § 327.2 Certified statements. (a) Required. (1) The certified statement shall also be known as the quarterly certified...

  9. 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.

  10. COLD-SAT dynamic model

    NASA Astrophysics Data System (ADS)

    Adams, Neil S.; Bollenbacher, Gary

    1992-12-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. 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.

  12. 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…

  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. 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)

  15. 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.

  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. 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…

  18. 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...

  19. 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...

  20. 7 CFR 1221.4 - Certified organization.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

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

  1. CS2SAT Desktop Tool

    Energy Science and Technology Software Center (ESTSC)

    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

  2. 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 and between certified states and the Secretary. 1710.504 Section 1710.504 Housing and Urban....504 Cooperation among certified states and between certified states and the Secretary. (a) By...

  3. 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.

  4. 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)

  5. 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.

  6. 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.

  7. Different Tests, Same Flaws: Examining the SAT I, SAT II, and ACT

    ERIC Educational Resources Information Center

    Perez, Christina

    2002-01-01

    Spurred in part by University of California (UC) President Richard Atkinson's February 2001 proposal to drop the SAT I for UC applicants, more attention is being paid to other tests such as the SAT II and ACT. Proponents of these alternative exams argue that the SAT I is primarily an aptitude test measuring some vague concept of "inherent…

  8. 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.

  9. 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.

  10. 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.

  11. 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

  12. 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

  13. Computer as a Tool in SAT Preparation.

    ERIC Educational Resources Information Center

    Coffin, Gregory C.

    Two experimental programs, designed to increase Scholastic Aptitude Test (SAT) scores of inner city, low achieving students by using computer-assisted SAT preparation, produced differing results. Forty volunteers from a nearby high school were assigned to two groups of 20 each--one experimental and one control group. The first program provided six…

  14. Colleges Making SAT Optional as Admissions Requirement

    ERIC Educational Resources Information Center

    Gilroy, Marilyn

    2007-01-01

    This article reports that more colleges are dropping the SAT as a requirement for admission and, in many cases, these institutions are attracting a larger and more diverse pool of applicants. According to the National Center for Fair & Open Testing (FairTest), 740 schools have made the SATs optional. The list includes some of the nation's most…

  15. Space Environmental NanoSat Experiment (SENSE)

    NASA Astrophysics Data System (ADS)

    Kalamaroff, K. I.; Thompson, D. C.; Gentile, L. C.; Cooke, D. L.; Bonito, N.; La Tour, P.

    2012-12-01

    The Space Environmental NanoSat Experiment (SENSE) program is a rapid development effort of the USAF Space and Missiles Center Development Planning Directorate (SMC/XR) which will demonstrate the capability of NanoSats to perform space missions in an affordable and resilient manner. The three primary objectives for the SENSE mission are: 1) to develop best practices for operational CubeSat/NanoSat procurement, development, test, and operations; 2) to mature CubeSat bus and sensor component technology readiness levels; and 3) to demonstrate the operational utility of CubeSat measurements by flowing validated, low-latency data into operational space weather models. SENSE consists of two 3-U CubeSats scheduled for launch in summer 2013. Both satellites are 3-axis stabilized with star cameras for attitude determination and are equipped with a Compact Total Electron Density Sensor (CTECS) to provide radio occultation measurements of total electron content and L-band scintillation. One satellite has a Cubesat Tiny Ionospheric Photometer (CTIP) monitoring 135.6 nm photons produced by the recombination of O+ ions and electrons. The other satellite has a Wind Ion Neutral Composite Suite (WINCS) to acquire simultaneous co-located, in situ measurements of atmospheric and ionospheric density, composition, temperature and winds/drifts. Mission data will be used to improve current and future space weather models and demonstrate the utility of data from CubeSats for operational weather requirements.

  16. 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…

  17. 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.

  18. Certifying nonlocality from separable marginals

    NASA Astrophysics Data System (ADS)

    Vértesi, Tamás; Laskowski, Wiesław; Pál, Károly F.

    2014-01-01

    Imagine three parties, Alice, Bob, and Charlie, who share a state of three qubits such that all two-party reduced states A-B, A-C, and B-C are separable. Suppose that they have information only about these marginals but not about the global state. According to recent results, there exists an example for a set of three separable two-party reduced states that is only compatible with an entangled global state. In this paper, we show a stronger result by exhibiting separable two-party reduced states A-B, A-C, and B-C, such that any global state compatible with these marginals is nonlocal. Hence, we obtain that nonlocality of multipartite states can be certified from information only about separable marginals.

  19. Formal descriptions for formulation.

    PubMed

    This, Hervé

    2007-11-01

    Two formalisms used to describe the physical microstructure and the organization of formulated products are given. The first, called "complex disperse systems formalism" (CDS formalism) is useful for the description of the physical nature of disperse matter. The second, called "non periodical organizational space formalism" (NPOS formalism) has the same operators as the CDS formalism, but different elements; it is useful to describe the arrangement of any objects in space. Both formalisms can be viewed as the same, applied to different orders of magnitude for spatial size. PMID:17875375

  20. (abstract) Formal Inspection Technology Transfer Program

    NASA Technical Reports Server (NTRS)

    Welz, Linda A.; Kelly, John C.

    1993-01-01

    A Formal Inspection Technology Transfer Program, based on the inspection process developed by Michael Fagan at IBM, has been developed at JPL. The goal of this program is to support organizations wishing to use Formal Inspections to improve the quality of software and system level engineering products. The Technology Transfer Program provides start-up materials and assistance to help organizations establish their own Formal Inspection program. The course materials and certified instructors associated with the Technology Transfer Program have proven to be effective in classes taught at other NASA centers as well as at JPL. Formal Inspections (NASA tailored Fagan Inspections) are a set of technical reviews whose objective is to increase quality and reduce the cost of software development by detecting and correcting errors early. A primary feature of inspections is the removal of engineering errors before they amplify into larger and more costly problems downstream in the development process. Note that the word 'inspection' is used differently in software than in a manufacturing context. A Formal Inspection is a front-end quality enhancement technique, rather than a task conducted just prior to product shipment for the purpose of sorting defective systems (manufacturing usage). Formal Inspections are supporting and in agreement with the 'total quality' approach being adopted by many NASA centers.

  1. 40 CFR 158.350 - Certified limits.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 40 Protection of Environment 24 2014-07-01 2014-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, 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...

  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. 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...

  5. 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...

  6. 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…

  7. 21 CFR 82.6 - Certifiable mixtures.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... PROVISIONALLY LISTED COLORS AND SPECIFICATIONS General Provisions § 82.6 Certifiable mixtures. (a) A batch of a... and cosmetics, if: (1) Each coal-tar color used as an ingredient in mixing such batch is from a previously certified batch and such color has not changed in composition in any manner whatever since...

  8. 40 CFR 161.175 - Certified limits.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... nominal concentration of the ingredient in the product, according to the table in paragraph (b)(2) of this section. (2) Table of standard certified limits. If the nominal concentration (N) for the ingredient is... how the certified limits were arrived at (e.g., sample analysis, quantitative estimate based...

  9. NextSat on-orbit experiences

    NASA Astrophysics Data System (ADS)

    Randall, Christopher R.; Porter, Bradley S.; Stokley, Catherine; Epstein, Kenneth; Kaufman, David

    2008-04-01

    The NextSat spacecraft was designed and built by Ball Aerospace & Technologies Corp. as part of the DARPA-funded Orbital Express mission. Orbital Express, launched in March of 2007, was a highly successful demonstration mission proving the feasibility of autonomous on-orbit refueling and servicing of spacecraft. The Orbital Express mission consisted of the Ball-built NextSat/CSC satellite and the Boeing-built ASTRO satellite. Both satellites launched mated into a 492km circular orbit on board a Lockheed-Martin Atlas V 401 launch vehicle from Cape Canaveral. The NextSat satellite acted as both the next generation "serviceable" satellite and the commodities satellite. This paper discusses the on-orbit mission experiences of the NextSat satellite. Key experiences include: launch and early orbit operations in which the NextSat satellite was called on to perform critical attitude control functions for the mated stack, functionality which was never tested or planned for; autonomous fluid transfers between ASTRO and NextSat; autonomous ORU transfers between ASTRO and NextSat; autonomous separation, free-flying and rendezvous operations; and end-of-life operations.

  10. 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.

  11. 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.

  12. 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.

  13. Certifiable database generation for SVS

    NASA Astrophysics Data System (ADS)

    Schiefele, Jens; Damjanovic, Dejan; Kubbat, Wolfgang

    2000-06-01

    In future aircraft cockpits SVS will be used to display 3D physical and virtual information to pilots. A review of prototype and production Synthetic Vision Displays (SVD) from Euro Telematic, UPS Advanced Technologies, Universal Avionics, VDO-Luftfahrtgeratewerk, and NASA, are discussed. As data sources terrain, obstacle, navigation, and airport data is needed, Jeppesen-Sanderson, Inc. and Darmstadt Univ. of Technology currently develop certifiable methods for acquisition, validation, and processing methods for terrain, obstacle, and airport databases. The acquired data will be integrated into a High-Quality Database (HQ-DB). This database is the master repository. It contains all information relevant for all types of aviation applications. From the HQ-DB SVS relevant data is retried, converted, decimated, and adapted into a SVS Real-Time Onboard Database (RTO-DB). The process of data acquisition, verification, and data processing will be defined in a way that allows certication within DO-200a and new RTCA/EUROCAE standards for airport and terrain data. The open formats proposed will be established and evaluated for industrial usability. Finally, a NASA-industry cooperation to develop industrial SVS products under the umbrella of the NASA Aviation Safety Program (ASP) is introduced. A key element of the SVS NASA-ASP is the Jeppesen lead task to develop methods for world-wide database generation and certification. Jeppesen will build three airport databases that will be used in flight trials with NASA aircraft.

  14. 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.

  15. 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

  16. 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.

  17. Interdependence of Formal Reasoning

    ERIC Educational Resources Information Center

    Berzonsky, Michael D.; And Others

    1975-01-01

    Investigated the intercorrelations among tasks that appear to require Piagetian formal reasoning to determine whether formal reasoning is used selectively or all-pervasively. Subjects were 60 undergraduate females. (SDH)

  18. 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.

  19. 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...

  20. 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.

  1. 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…

  2. 40 CFR 141.28 - Certified laboratories.

    Code of Federal Regulations, 2012 CFR

    2012-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....

  3. 40 CFR 141.28 - Certified laboratories.

    Code of Federal Regulations, 2010 CFR

    2010-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....

  4. 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....

  5. 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...

  6. 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)

  7. 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

  8. 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.

  9. 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...

  10. 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...

  11. 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...

  12. 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...

  13. 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...

  14. 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...

  15. 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...

  16. 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...

  17. 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...

  18. 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...

  19. 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.

  20. Test and On-Orbit Experiences of FalconSAT-3

    NASA Astrophysics Data System (ADS)

    Saylor, W. W.; France, M. E. B.

    2008-08-01

    The fundamental objectives of the capstone design project in the Department of Astronautics at the United States Air Force Academy (USAFA) are for cadets to learn important engineering lessons by executing a real space mission on a Department of Defense-funded satellite project. FalconSAT-3 is a 50 kg, gravity gradient-stabilized designed and built by cadets and launched March 2007 on the first ESPA (Enhanced extended launch vehicle Satellite Payload Adapter) mission. FalconSAT-3 was one of six satellites integrated onto the launch vehicle and the nature of the mission made it that the satellite was subject to the full formality of testing requirements. Two successive gravity gradient booms failed either design requirements or environmental testing; design requirements grew dramatically during the design phase; ambiguous thermal vacuum test results led to uncertainty at launch; and after launch it was not possible to contact the satellite for several weeks.

  1. 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

  2. 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. PMID:27108658

  3. More than Formal Proof.

    ERIC Educational Resources Information Center

    Hanna, Gila

    1989-01-01

    The origins of the emphasis on formal proof are discussed as well as more recent views. Factors in acceptance of a proof and the social process of acceptance by mathematicians are included. The impact of formal proof on the curriculum and implications for teaching are given. (DC)

  4. 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…

  5. 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.

  6. 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.

  7. 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…

  8. 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…

  9. 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,...

  10. 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.…

  11. 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.

  12. 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.

  13. 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....

  14. 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....

  15. 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.

  16. 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…

  17. 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.

  18. 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…

  19. 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.

  20. 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…

  1. 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…

  2. 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 §...

  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. 28 CFR 33.32 - Certified programs.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ...) Certified program: Property Crime (STING) Program. This program targets the apprehension and prosecution of..., programs have employed techniques to infiltrate organizations in order to obtain evidence for prosecution... fraudulent burning of property. It attempts to reduce the incidence of arson and increase arrest,...

  5. 31 CFR 357.31 - Certifying individuals.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 31 Money and Finance: Treasury 2 2014-07-01 2014-07-01 false Certifying individuals. 357.31 Section 357.31 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL... DIRECT Legacy Treasury Direct Book-Entry Securities System (Legacy Treasury Direct) § 357.31...

  6. 31 CFR 357.31 - Certifying individuals.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 31 Money and Finance:Treasury 2 2011-07-01 2011-07-01 false Certifying individuals. 357.31 Section 357.31 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY BUREAU OF THE PUBLIC DEBT REGULATIONS GOVERNING BOOK-ENTRY TREASURY BONDS, NOTES AND BILLS HELD IN...

  7. 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...

  8. 31 CFR 357.31 - 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. 357.31 Section 357.31 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL... institutions, corporate central credit unions, and institutions that are members of...

  9. 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 Section 306.45 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL... employees of depository institutions, corporate central credit unions, and institutions that are members...

  10. 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...

  11. 40 CFR 161.175 - 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. 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 §...

  12. 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 Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Marketing Agreements and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE PISTACHIOS GROWN IN...

  13. 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

  14. 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

  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. 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.

  17. 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.

  18. CubeSat deformable mirror demonstration

    NASA Astrophysics Data System (ADS)

    Cahoy, Kerri; Marinan, Anne; Kerr, Caitlin; Cheng, Kezi; Jamil, Sara

    2012-09-01

    The goal of the CubeSat Deformable Mirror Demonstration (DeMi) is to characterize the performance of a small deformable mirror over a year in low-Earth orbit. Small form factor deformable mirrors are a key technology needed to correct optical system aberrations in high contrast, high dynamic range space telescope applications such as space-based coronagraphic direct imaging of exoplanets. They can also improve distortions and reduce bit error rates for space-based laser communication systems. While follow-on missions can take advantage of this general 3U CubeSat platform to test the on-orbit performance of several different types of deformable mirrors, this first design accommodates a 32-actuator Boston Micromachines MEMS deformable mirror.

  19. 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.

  20. 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.

  1. ExoplanetSat: detecting transiting exoplanets using a low-cost CubeSat platform

    NASA Astrophysics Data System (ADS)

    Smith, Matthew W.; Seager, Sara; Pong, Christopher M.; Villaseñor, Jesus S.; Ricker, George R.; Miller, David W.; Knapp, Mary E.; Farmer, Grant T.; Jensen-Clem, Rebecca

    2010-07-01

    Nanosatellites, i.e. spacecraft that weigh between 1 and 10 kg, are drawing increasing interest as platforms for conducting on-orbit science. This trend is primarily driven by the ability to piggyback nanosatellites on the launch of large spacecraft and hence achieve orbit at greatly reduced cost. The CubeSat platform is a standardized nanosatellite configuration, consisting of one, two, or three 10 cm x 10 cm x 10 cm units (1, 2, or 3 "U"s) arranged in a row. We present a CubeSat-based concept for the discovery of transiting exoplanets around the nearest and brightest Sun-like stars. The spacecraft prototype - termed ExoplanetSat - is a 3U space telescope capable of monitoring a single target star from low Earth orbit. Given the volume limitations of the CubeSat form factor, designing a capable spacecraft requires overcoming significant challenges. This work presents the initial satellite configuration along with several subsystem-specific solutions to the aforementioned constraints. An optical design based on a modified commercial off-the-shelf camera lens is given. We also describe a novel two-stage attitude control architecture that combines 3-axis reaction wheels for coarse pointing with a piezoelectric translation stage at the focal plane for fine pointing. Modeling and simulation results are used to demonstrate feasibility by quantifying ExoplanetSat pointing precision, signal-to-noise ratio, guide star magnitude, and additional design parameters which determine system performance.

  2. 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.

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

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ..., notification of the intent to certify must be approved by the MOD Director. (1) All notifications shall include... any such notification shall be submitted by the equipment certifier to: MOD Director, MOD (6405J... whether retrofit/rebuild equipment may be certified, may submit comments to the MOD Director on any...

  4. 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...

  5. 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...

  6. 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...

  7. 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...

  8. 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...

  9. 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... 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. 30 CFR 71.202 - Certified person; sampling.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... part shall be done by a certified person. (b) To be certified, a person shall pass the MSHA examination on sampling of respirable coal mine dust. (c) A person may be temporarily certified by MSHA to take... shall be withdrawn if the person does not successfully complete the examination conducted by MSHA...

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

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... and calibrated by a certified person. (b) To be certified, a person shall pass the MSHA examination on... certified by MSHA to maintain and calibrate approved sampling devices if the person receives instruction... person does not successfully complete the examination conducted by MSHA on maintenance and...

  12. 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...

  13. 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...

  14. 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...

  15. 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...

  16. 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...

  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... 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...

  18. 20 CFR 403.155 - Does SSA certify records?

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 20 Employees' Benefits 2 2010-04-01 2010-04-01 false Does SSA certify records? 403.155 Section 403.155 Employees' Benefits SOCIAL SECURITY ADMINISTRATION TESTIMONY BY EMPLOYEES AND THE PRODUCTION OF RECORDS AND INFORMATION IN LEGAL PROCEEDINGS § 403.155 Does SSA certify records? We can certify the authenticity of copies of records we...

  19. 18 CFR 385.714 - Certified questions (Rule 714).

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 18 Conservation of Power and Water Resources 1 2010-04-01 2010-04-01 false Certified questions... Certified questions (Rule 714). (a) General rule. During any proceeding, a presiding officer may certify or... question arising in the proceeding, including any question of law, policy, or procedure. (b) Notice....

  20. 18 CFR 385.714 - Certified questions (Rule 714).

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 18 Conservation of Power and Water Resources 1 2011-04-01 2011-04-01 false Certified questions... Certified questions (Rule 714). (a) General rule. During any proceeding, a presiding officer may certify or... question arising in the proceeding, including any question of law, policy, or procedure. (b) Notice....

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

    Code of Federal Regulations, 2010 CFR

    2010-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...

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

    Code of Federal Regulations, 2014 CFR

    2014-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...

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

    Code of Federal Regulations, 2013 CFR

    2013-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...

  4. 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...

  5. 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...

  6. 19 CFR 159.36 - Multiple certified rates.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... multiple rates have been certified for a foreign currency, the rate to be used for Customs purposes shall be the type of certified rate which the port director is satisfied, from information in his own files... applicable on a percentage bases, each type of certified rate shall be used for the percentage of value...

  7. Job satisfaction among multiple sclerosis certified nurses.

    PubMed

    Gulick, Elsie E; Halper, June; Costello, Kathleen

    2007-08-01

    Several studies document high levels of job satisfaction among certified nurses, but no study has examined job satisfaction and factors influencing job satisfaction of certified multiple sclerosis (MS) nurses. This study tested a theoretical model proposing that two organizational factors, colleague relationships and benefits, will predict job satisfaction. Job satisfaction was represented by four factors: autonomy, professional status, professional growth, and time efficiency. Participants included MS nurses certified for 6 months or more practicing mostly in three countries (Canada, Great Britain, and the United States) who anonymously completed the Misener Nurse Practitioner Job Satisfaction Scale, an overall job satisfaction rating, and demographic information. Findings indicate that colleague relationships and benefits significantly estimated organization structure and that autonomy, professional status, professional growth, and time efficiency significantly estimated job satisfaction; furthermore, organization factors such as colleague relationships and benefits significantly predict job satisfaction. Among the countries, several statistically significant differences were observed between job satisfaction factors as well as items in both organization and job satisfaction subscales. Average factor scores among the countries were mostly rated satisfactory. The International Organization of Multiple Sclerosis Nurses Executive Board plans to use the study findings to see how it needs to focus efforts as an organization toward enhancing and standardizing MS care and develop MS nurse professionalism worldwide. PMID:17847673

  8. 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.

  9. A second order parameter for 3SAT

    SciTech Connect

    Sandholm, T.W.

    1996-12-31

    The 3-satisfiability problem (3SAT) has had a central role in the study of complexity. It was recently found that 3SAT instances transition sharply from satisfiable to nonsatisfiable as the ratio of clauses to variables increases. Because this phase transition is so sharp, the ratio - an order parameter - can be used to predict satisfiability. This paper describes a second order parameter for 3SAT. Like the classical order parameter, it can be computed in linear time, but it analyzes the structure of the problem instance more deeply. We present an analytical method for using this new order parameter in conjunction with the classical one to enhance satisfiability prediction accuracy. The assumptions of the method are verified by rigorous statistical testing. The method significantly increases the satisfiability prediction accuracy over using the classical order parameter alone. Hardness - i.e. how long it takes to determine satisfiability - results for one complete and one incomplete algorithm from the literature are also presented as a function of the two order parameters. The importance of new order parameters lies in the fact that they refine the locating of satisfiable vs. nonsatisfiable and hard vs. easy formulas in the space of all problem instances by adding a new dimension in the analysis.

  10. 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.

  11. SAT Monitor Program. High School Students View the SAT and College Admissions Process. Report on Wave of Completed Questionnaires Associated with December 1977 SAT Administration.

    ERIC Educational Resources Information Center

    Response Analysis Corp., Princeton, NJ.

    College applicants taking the Scholastic Aptitude Test (SAT) and the Test of Standard Written English (TSWE) were surveyed regarding the tests, college admission in general, and the communications received concerning the test and their scores. Separate questionnaires were administered before taking the SAT or TSWE, after taking the test, and after…

  12. 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.

  13. 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…

  14. 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.

  15. 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.

  16. 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

  17. 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.

  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. 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)…

  20. 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.

  1. 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.

  2. 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.

  3. 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…

  4. 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…

  5. 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.

  6. 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.

  7. 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.

  8. The FedSat Microsatellite Mission

    NASA Astrophysics Data System (ADS)

    Fraser, B. J.

    2003-04-01

    An Australian research microsatellite, FedSat with a complement of four payloads was launched from Tanegashima, Japan on 14 December 2002 into a near-circular sun synchronous 10:30 LT polar orbit at an inclination of 98.7° and altitude 800 km. Scientific experiments include a triaxial fluxgate magnetometer with a frequency response up to 100 Hz and a GPS receiver to monitor total electron content (TEC) and provide a precise orbit determination. Communications experiments include a Ka-band transponder and a UHF packet data service. A high performance computer payload will test reconfigurable computing technology.

  9. 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

  10. Certified Athletic Trainers as Certified Teachers: A Model for Making It Happen

    ERIC Educational Resources Information Center

    Unruh, Nita; Unruh, Scott; Scantling, Ed

    2008-01-01

    School administrators don't usually consider hiring a certified athletic trainer for managing the medical issues that arise from students' participation in athletics, perhaps because they believe it would be too expensive to hire someone solely to manage injury and illness for just a portion of the students. Since it is important to provide…

  11. 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.

  12. 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...

  13. 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.

  14. Mathematical SAT Test Scores and College Chemistry Grades.

    ERIC Educational Resources Information Center

    Spencer, Harry E.

    1996-01-01

    Explores the comparative performance of various segments of the student sample in general chemistry courses relative to their scores on the mathematical SAT test. Results indicate that mathematical skill measured by the SAT scores is an important factor in determining grades while factors that are not important in determining grades are gender…

  15. First-Year Chemistry Grades and SAT Math Scores.

    ERIC Educational Resources Information Center

    Andrews, Marjorie H.; Andrews, Lester

    1979-01-01

    Comparison of SAT math scores, high school grade point averages (GPAs), and final chemistry grades for both the 1972 and 1976 fall semester classes of the first-year chemistry course at the University of Virginia showed that SAT math scores were a much better predictor of final chemistry grades than were high school GPAs. (BB)

  16. Appraising the Implications of the SAT for Educational Policy.

    ERIC Educational Resources Information Center

    Steelman, Lala Carr; Powell, Brian

    1985-01-01

    Differences in the corrected state rankings on Scholastic Aptitude Test (SAT) scores are explained by the percentage of students taking the test and by student composition by sex, race, and average family income. Higher state per capita educational expenditures are significantly related to higher average SAT scores. Policy implications are…

  17. Money Improves Test Scores--Even State-Level SATs.

    ERIC Educational Resources Information Center

    Bracey, Gerald W.

    1996-01-01

    Three former secretaries of education--William Bennett, Lauro Cavazos, and Terrel Bell--have touted state-level SAT scores as proof that educational financing does not matter. Recently, Brian Powell and Lala Carr Steelman adjusted scores for participation rate and detected a very strong relationship between expenditures and SAT scores. Bigger…

  18. Variations in State SAT Performance: Meaningful or Misleading?

    ERIC Educational Resources Information Center

    Powell, Brian; Steelman, Lala Carr

    1984-01-01

    The authors attempt to show how the dissemination of uncorrected state Scholastic Aptitude Test (SAT) scores may have created an inaccurate public and governmental perception of the variation in educational quality. Their research demonstrates that comparing state SAT averages is ill-advised unless these ratings are corrected for compositional and…

  19. 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…

  20. 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…

  1. 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

  2. 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

  3. ProSAT+: visualizing sequence annotations on 3D structure.

    PubMed

    Stank, Antonia; Richter, Stefan; Wade, Rebecca C

    2016-08-01

    PRO: tein S: tructure A: nnotation T: ool-plus (ProSAT(+)) is a new web server for mapping protein sequence annotations onto a protein structure and visualizing them simultaneously with the structure. ProSAT(+) incorporates many of the features of the preceding ProSAT and ProSAT2 tools but also provides new options for the visualization and sharing of protein annotations. Data are extracted from the UniProt KnowledgeBase, the RCSB PDB and the PDBe SIFTS resource, and visualization is performed using JSmol. User-defined sequence annotations can be added directly to the URL, thus enabling visualization and easy data sharing. ProSAT(+) is available at http://prosat.h-its.org. PMID:27284084

  4. 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.

  5. 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.

  6. 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.

  7. 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…

  8. 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…

  9. 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.

  10. 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.

  11. 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.

  12. 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...

  13. 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...

  14. 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...

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

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... approved before OFP will issue a final prohibition order based on the certification. (b) Environmental... 10 Energy 4 2012-01-01 2012-01-01 false Environmental requirements for certifying powerplants. 504... Environmental requirements for certifying powerplants. Under §§ 501.52, 504.5 and 504.6 of these...

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

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... approved before OFP will issue a final prohibition order based on the certification. (b) Environmental... 10 Energy 4 2014-01-01 2014-01-01 false Environmental requirements for certifying powerplants. 504... Environmental requirements for certifying powerplants. Under §§ 501.52, 504.5 and 504.6 of these...

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... approved before OFP will issue a final prohibition order based on the certification. (b) Environmental... 10 Energy 4 2010-01-01 2010-01-01 false Environmental requirements for certifying powerplants. 504... Environmental requirements for certifying powerplants. Under §§ 501.52, 504.5 and 504.6 of these...

  18. 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 Transportation Other Regulations Relating to Transportation (Continued) SURFACE TRANSPORTATION BOARD, DEPARTMENT OF TRANSPORTATION GENERAL RULES AND REGULATIONS INSPECTION OF RECORDS § 1001.2 Certified copies...

  19. 49 CFR 1001.2 - Certified copies of records.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 49 Transportation 8 2011-10-01 2011-10-01 false Certified copies of records. 1001.2 Section 1001.2 Transportation Other Regulations Relating to Transportation (Continued) SURFACE TRANSPORTATION BOARD, DEPARTMENT OF TRANSPORTATION GENERAL RULES AND REGULATIONS INSPECTION OF RECORDS § 1001.2 Certified copies...

  20. 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...

  1. 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...

  2. 30 CFR 70.202 - Certified person; sampling.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ...) To be certified, a person shall pass the MSHA examination on sampling of respirable coal mine dust. (c) A person may be temporarily certified by MSHA to take respirable dust samples if the person... successfully complete the examination conducted by MSHA on sampling of respirable coal mine dust within...

  3. Career ladder development for certified occupational therapy assistants.

    PubMed

    Strickland, L R

    1988-01-01

    Practice models which depict the interactions of Certified Occupational Therapy Assistants and Registered Occupational Therapists are described. These models portray career ladder development for the Certified Occupational Therapy Assistant. Job enrichment for the assistant facilitates the provision of qualitative and cost effective occupational therapy sessions. PMID:23944877

  4. 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…

  5. 40 CFR 121.21 - When Administrator certifies.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 22 2011-07-01 2011-07-01 false When Administrator certifies. 121.21... CERTIFICATION OF ACTIVITIES REQUIRING A FEDERAL LICENSE OR PERMIT Certification by the Administrator § 121.21 When Administrator certifies. Certification by the Administrator that the discharge resulting from...

  6. 40 CFR 121.21 - When Administrator certifies.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 40 Protection of Environment 22 2014-07-01 2013-07-01 true When Administrator certifies. 121.21... CERTIFICATION OF ACTIVITIES REQUIRING A FEDERAL LICENSE OR PERMIT Certification by the Administrator § 121.21 When Administrator certifies. Certification by the Administrator that the discharge resulting from...

  7. 40 CFR 121.21 - When Administrator certifies.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 Protection of Environment 23 2013-07-01 2013-07-01 false When Administrator certifies. 121.21... CERTIFICATION OF ACTIVITIES REQUIRING A FEDERAL LICENSE OR PERMIT Certification by the Administrator § 121.21 When Administrator certifies. Certification by the Administrator that the discharge resulting from...

  8. 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...

  9. 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.…

  10. 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...

  11. 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...

  12. 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...

  13. 19 CFR 159.34 - Certified quarterly rate.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 19 Customs Duties 2 2010-04-01 2010-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 TREASURY (CONTINUED) LIQUIDATION OF DUTIES Conversion of Foreign Currency § 159.34 Certified quarterly rate. (a) Countries for which quarterly rate...

  14. 31 CFR 360.55 - Individuals authorized to certify.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... the Commonwealth of Puerto Rico. (ii) Any officer of a trust company incorporated in the United States... employee expressly authorized to certify by an institution must sign his or her name over the title... posts, bases, or stations. The certifying officer must indicate his or her rank and state that...

  15. 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...

  16. 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...

  17. 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...

  18. 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...

  19. 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...

  20. 47 CFR 15.202 - Certified operating frequency range.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 47 Telecommunication 1 2010-10-01 2010-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, 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...

  2. 40 CFR 121.21 - When Administrator certifies.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 21 2010-07-01 2010-07-01 false When Administrator certifies. 121.21... CERTIFICATION OF ACTIVITIES REQUIRING A FEDERAL LICENSE OR PERMIT Certification by the Administrator § 121.21 When Administrator certifies. Certification by the Administrator that the discharge resulting from...

  3. 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...

  4. 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...

  5. 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...

  6. 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...

  7. 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...

  8. 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...

  9. 45 CFR 155.225 - Certified application counselors.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 45 Public Welfare 1 2013-10-01 2013-10-01 false Certified application counselors. 155.225 Section 155.225 Public Welfare DEPARTMENT OF HEALTH AND HUMAN SERVICES REQUIREMENTS RELATING TO HEALTH CARE... organization designated as a Medicaid certified application counselor organization by a state Medicaid or...

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

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 10 Energy 4 2013-01-01 2013-01-01 false Environmental requirements for certifying powerplants. 504.9 Section 504.9 Energy DEPARTMENT OF ENERGY (CONTINUED) ALTERNATE FUELS EXISTING POWERPLANTS § 504.9... use of natural gas or petroleum, or both, as a primary energy source in any certifying...