Permanent program, rules and regulations : 62 Ill. Adm. Code 1700-1850 (1987) : surface coal mining and reclamation operations.

Cover title.

The relationship between a retention program and the persistence and graduation rates of first-generation low-income students at an urban, public university

The purpose of this study was to examine the relationship between participation in a retention program designed to promote academic and social integration and the persistence rates of first generation, low-income college students at an urban, public multiethnic university. Archival data were collected from the university’s Office of Institutional Research and the retention program office and included SAT/ACT scores, GPA, gender, ethnicity, and program participation data. A total of 292 first-generation, low-income students who were admitted to the university in the summer of 1999 were identified for the study. A group of 166 students were selected for the comparison group because they had not participated in the retention program; 126 students had participated in the retention program. ^ Three major research questions guided this study: (a) Are there differences in persistence rates and other academic characteristics of underprepared, low-income, first generation college students who participate and do not participate in the retention program?; (b) Does involvement in the retention program predict student persistence of first generation low-income, underprepared students?, and (c) Can predictors of GPA be identified for students in the retention program using program and descriptive variables? ^ A series of logistic regression analyses were conducted to assess the relationship between various retention services and the persistence and graduation rates of participants. The results showed that there were statistically significant relationships between participation and non-participation in the retention program and having higher GPAs and higher graduation and persistence rates. Of the four program features, participation in tutoring, workshops, and social events were found to be predictors of graduation. College GPA was also found to be a predictor of graduation for all students. The results also showed that women were more likely to graduate than men.^

Spin-Induced Optical Second Harmonic Generation in the Centrosymmetric Magnetic Semiconductors EuTe and EuSe

Spectroscopy of the centrosymmetric magnetic semiconductors EuTe and EuSe reveals spin-induced optical second harmonic generation (SHG) in the band gap vicinity at 2.1-2.4 eV. The magnetic field and temperature dependence demonstrates that the SHG arises from the bulk of the materials due to a novel type of nonlinear optical susceptibility caused by the magnetic dipole contribution combined with spontaneous or induced magnetization. This spin-induced susceptibility opens access to a wide class of centrosymmetric systems by harmonics generation spectroscopy.

An approach of optimal sensitivity applied in the tertiary loop of the automatic generation control

This paper proposes an approach of optimal sensitivity applied in the tertiary loop of the automatic generation control. The approach is based on the theorem of non-linear perturbation. From an optimal operation point obtained by an optimal power flow a new optimal operation point is directly determined after a perturbation, i.e., without the necessity of an iterative process. This new optimal operation point satisfies the constraints of the problem for small perturbation in the loads. The participation factors and the voltage set point of the automatic voltage regulators (AVR) of the generators are determined by the technique of optimal sensitivity, considering the effects of the active power losses minimization and the network constraints. The participation factors and voltage set point of the generators are supplied directly to a computational program of dynamic simulation of the automatic generation control, named by power sensitivity mode. Test results are presented to show the good performance of this approach. (C) 2008 Elsevier B.V. All rights reserved.

Methane generation in tropical landfills: Simplified methods and field results

This paper deals with the use of simplified methods to predict methane generation in tropical landfills. Methane recovery data obtained on site as part of a research program being carried Out at the Metropolitan Landfill, Salvador, Brazil, is analyzed and used to obtain field methane generation over time. Laboratory data from MSW samples of different ages are presented and discussed: and simplified procedures to estimate the methane generation potential, L(o), and the constant related to the biodegradation rate, k are applied. The first order decay method is used to fit field and laboratory results. It is demonstrated that despite the assumptions and the simplicity of the adopted laboratory procedures, the values L(o) and k obtained are very close to those measured in the field, thus making this kind of analysis very attractive for first approach purposes. (C) 2008 Elsevier Ltd. All rights reserved.

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Electron beam induced second-harmonic generation in Er(3+) doped PbO-GeO(2) glasses containing silver nanoparticles

Electron beam induced second harmonic generation (SHG) is studied in Er(3+) doped PbO-GeO(2) glasses containing silver nanoparticles with concentrations that are controlled by the heat-treatment of the samples. The SHG is observed at T = 4.2 K using a p-polarized laser beam at 1064 nm. Enhancement of the SHG is observed in the samples that are submitted to electron beam incidence. The highest value of the nonlinear susceptibility, 2.08 pm/V, is achieved for the sample heat-treated during 72 h and submitted to an electron beam current of 15 nA. The samples that were not exposed to the electron beam present a susceptibility of a parts per thousand 0.5 pm/V.

Generation and Analysis of Interaction Energy Maps of p-Substituted Benzoic Acid [(5-Nitro-thiophen-2-yl)-methylene]-Hydrazides Active against MRSA

In this preliminary study eighteen p-substituted benzoic acid [(5-nitro-thiophen-2-yl)-methylene]-hydrazides with antimicrobial activity were evaluated against multidrug-resistant Staphylococcus aureus, correlating the three-dimensional characteristics of the ligands with their respective bioactivities. The computer programs Sybyl and CORINA were used, respectively, for the design and three-dimensional conversion of the ligands. Molecular interaction fields were calculated using GRID program. Calculations using Volsurf resulted in a statistically consistent model with 48 structural descriptors showing that hydrophobicity is a fundamental property in the analyzed biological response.

CXTANNEAL: an improved program for estimating solute transport parameters

CXTANNEAL is a program for analysing contaminant transport in soils. The code, written in Fortran 77, is a modified version of CXTFIT, a commonly used package for estimating solute transport parameters in soils. The improvement of the present code is that it includes simulated annealing as the optimization technique for curve fitting. Tests with hypothetical data show that CXTANNEAL performs better than the original code in searching for optimal parameter estimates. To reduce the computational time, a parallel version of CXTANNEAL (CXTANNEAL_P) was also developed. (C) 1999 Elsevier Science Ltd. All rights reserved.

Heart failure disease management program experience in 4,545 heart failure admissions to a community hospital

Background Disease management programs (DMPs) are developed to address the high morbi-mortality and costs of congestive heart failure (CHF). Most studies have focused on intensive programs in academic centers. Washington County Hospital (WCH) in Hagerstown, MD, the primary reference to a semirural county, established a CHF DMP in 2001 with standardized documentation of screening and participation. Linkage to electronic records and state vital statistics enabled examination of the CHF population including individuals participating and those ineligible for the program. Methods All WCH inpatients with CHF International Classification of Diseases, Ninth Revision code in any position of the hospital list discharged alive. Results Of 4,545 consecutive CHF admissions, only 10% enrolled and of those only 52.2% made a call. Enrollment in the program was related to: age (OR 0.64 per decade older, 95% CI 0.58-0.70), CHF as the main reason for admission (OR 3.58, 95% CI 2.4-4.8), previous admission for CHF (OR 1.14, 95% CI 1.09-1.2), and shorter hospital stay (OR 0.94 per day longer, 95% CI 0.87-0.99). Among DMP participants mortality rates were lowest in the first month (80/1000 person-years) and increased subsequently. The opposite mortality trend occurred in nonenrolled groups with mortality in the first month of 814 per 1000 person-years in refusers and even higher in ineligible (1569/1000 person-years). This difference remained significant after adjustment. Re-admission rates were lower among participants who called consistently (adjusted incidence rate ratio 0.62, 95% CI 0.52-0.77). Conclusion Only a small and highly select group participated in a low-intensity DMP for CHF in a community-based hospital. Design of DMPs should incorporate these strong selective factors to maximize program impact. (Am Heart J 2009; 15 8:459-66.)

Genes that code for T cell signaling proteins establish transcriptional regulatory networks during thymus ontogeny

Gene expression profiling by cDNA microarrays during murine thymus ontogeny has contributed to dissecting the large-scale molecular genetics of T cell maturation. Gene profiling, although useful for characterizing the thymus developmental phases and identifying the differentially expressed genes, does not permit the determination of possible interactions between genes. In order to reconstruct genetic interactions, on RNA level, within thymocyte differentiation, a pair of microarrays containing a total of 1,576 cDNA sequences derived from the IMAGE MTB library was applied on samples of developing thymuses (14-17 days of gestation). The data were analyzed using the GeneNetwork program. Genes that were previously identified as differentially expressed during thymus ontogeny showed their relationships with several other genes. The present method provided the detection of gene nodes coding for proteins implicated in the calcium signaling pathway, such as Prrg2 and Stxbp3, and in protein transport toward the cell membrane, such as Gosr2. The results demonstrate the feasibility of reconstructing networks based on cDNA microarray gene expression determinations, contributing to a clearer understanding of the complex interactions between genes involved in thymus/thymocyte development.

A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

API documentation with executable examples

The rise of component-based software development has created an urgent need for effective application program interface (API) documentation. Experience has shown that it is hard to create precise and readable documentation. Prose documentation can provide a good overview but lacks precision. Formal methods offer precision but the resulting documentation is expensive to develop. Worse, few developers have the skill or inclination to read formal documentation. We present a pragmatic solution to the problem of API documentation. We augment the prose documentation with executable test cases, including expected outputs, and use the prose plus the test cases as the documentation. With appropriate tool support, the test cases are easy to develop and read. Such test cases constitute a completely formal, albeit partial, specification of input/output behavior. Equally important, consistency between code and documentation is demonstrated by running the test cases. This approach provides an attractive bridge between formal and informal documentation. We also present a tool that supports compact and readable test cases; and generation of test drivers and documentation, and illustrate the approach with detailed case studies. (C) 2002 Elsevier Science Inc. All rights reserved.

A practical framework for the generation and selection of strategic plans of action, The relevance of timeframe considerations and a systems thinking approach

The paper proposes a methodology especially focused on the generation of strategic plans of action, emphasizing the relevance of having a structured timeframe classification for the actions. The methodology explicitly recognizes the relevance of long-term goals as strategic drivers, which must insure that the complex system is capable to effectively respond to changes in the environment. In addition, the methodology employs engineering systems techniques in order to understand the inner working of the system and to build up alternative plans of action. Due to these different aspects, the proposed approach features higher flexibility compared to traditional methods. The validity and effectiveness of the methodology has been demonstrated by analyzing an airline company composed by 5 subsystems with the aim of defining a plan of action for the next 5 years, which can either: improve efficiency, redefine mission or increase revenues.