Five Strategies to Support all Teachers: Suggestions to Get Off the Slippery Slope of Cookbook Science Teaching

Many teachers shudder at the thought of implementing an inquiry curriculum. Perhaps they envision a rowdy classroom with little learning. Maybe they wonder, How will this connect to all the standards? Fortunately, these legitimate concerns can be addressed, and all students can engage in thoughtfully constructed inquiry science experiences. In this article, we outline five strategies that we have used with elementary school teachers as they moved from a cookbook approach in science to an approach that is inquiry-based. Having presented these five strategies in a linear format, we know that on the surface this may seem close to the slippery slope of cookbook science teaching, but we also know that thoughtful practitioners working in classrooms across the country will see these strategies as interactive, overlapping, and nonsequential

Fluent temporal logic for discrete-time event-based models

Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-based and state-based formalisms is defined through fluents which are state predicates whose value are determined by the occurrences of initiating and terminating events that make the fluents values become true or false, respectively. The existing fluent temporal logic is convenient for reasoning about untimed event-based models but difficult to use for timed models. The paper extends fluent temporal logic with temporal operators for modelling timed properties of discrete-time event-based models. It presents two approaches that differ on whether the properties model the system state after the occurrence of each event or at a fixed time rate. Model checking of timed properties is made possible by translating them into the existing untimed framework. Copyright 2005 ACM

Conceptual design study of a 1985 commercial STOL tilt rotor transport

Results of conceptual engineering design studies of a STOL tilt rotor commercial aircraft for the 1985 time frame are presented. The details of aircraft size, performance, flying qualities, noise, and cost are included. The savings in terms of fuel economy resulting from STOL operations compared with VTOL vehicles are determined

Flame Spreading over the Surface of Double Base Propellants at High Pressure Annual Report

Flame spreading over igniting surface of double base propellants in high pressure quiescent environmen

Detecting the signatures of helium in type Iax supernovae

Recent studies have argued that the progenitor system of type Iax supernovae must consist of a carbon-oxygen white dwarf accreting from a helium star companion. Based on existing explosion models invoking the pure deflagration of carbon-oxygen white dwarfs, we investigate the likelihood of producing spectral features due to helium in type Iax supernovae. From this scenario, we select those explosion models producing ejecta and $^{56}$Ni masses that are broadly consistent with those estimated for type Iax supernovae (0.014 - 0.478~$M_{\odot}$ and $\sim0.003$ - 0.183~$M_{\odot}$, respectively). To this end, we present a series of models of varying luminosities ($-18.4 \lesssim M_{\rm{V}} \lesssim -14.5$~mag) with helium abundances accounting for up to $\sim$36\% of the ejecta mass, and covering a range of epochs beginning a few days before B$-$band maximum to approximately two weeks after maximum. We find that the best opportunity for detecting \ion{He}{i} features is at near-infrared wavelengths, and in the post-maximum spectra of the fainter members of this class. We show that the optical spectrum of SN~2007J is potentially consistent with a large helium content (a few 10$^{-2}~M_{\odot}$), but argue that current models of accretion and material stripping from a companion struggle to produce compatible scenarios. We also investigate the presence of helium in all objects with near-infrared spectra. We show that SNe~2005hk, 2012Z, and 2015H contain either no helium or their helium abundances are constrained to much lower values ($\lesssim$10$^{-3}~M_{\odot}$). Our results demonstrate the differences in helium content among type Iax supernovae, perhaps pointing to different progenitor channels. Either SN~2007J is an outlier in terms of its progenitor system, or it is not a true member of the type Iax supernova class.Comment: 15 pages, 12 figures, 2 tables. Accepted for publication in Astronomy and Astrophysic

The Volatile Composition of the Split Ecliptic comet 73P/Schwassmann-Wachmann 3: A Comparison of Fragments C and B

The composition of fragments C and B of the Jupiter-family comet 73P/Schwassmann-Wachmann 3 (SW3) was investigated in early April of 2006 at IR wavelengths using high-dispersion echelle spectroscopy. Both fragments were depleted in ethane, and C was depleted in most forms of volatile carbon. In particular, fragment C shows a severe depletion of CH_(3)OH but a "normal" abundance of HCN (which has a similar volatility). Thermal processing is a possible explanation, but since fragment B is perhaps sublimating fresher material because of the frequent outbursts and fragmentation, the observed depletions might have cosmogonic implications. The chemistry of the volatile ices in SW3, like in the Oort Cloud comet C/1999 S4 (LINEAR), may be associated with sublimation of icy mantles from precometary grains followed by subsequent gas-phase chemistry and recondensation

Cohort, Year and Age Effects in Canadian Wage Data

We use Canadian Surveys of Consumer Finances 1971-1993 to study the wages of full-time, full-year male and female workers. Median real wages of 24-year-old males without a university degree fell by 25% between 1978 and 1993. For 24-year-old females the decline was more modest and reversed in 1987, but real wages in 1993 were still significantly lower than they were in 1978. We investigate whether these changes are permanent "cohort" effects or more temporary "year" effects. Graphs of median wages against year and age indicate some periods where year effects are more prominent than cohort effects and other periods where the reverse is true. We then compare the results from two models, one assigning the trends to year effects, the other assigning them to cohort effects, and use these models to produce real wage projections.SCF; wages; cohort