Body mass index of Vietnamese children ages 6--15 years old

Childhood overweight can increase the risk of chronic diseases later in life. To determine the prevalence, trends and determinants of overweight among children ages 6-15 years old in Vietnam, we assessed data on body mass index (BMI) and demographic and socio-economic characteristics obtained from the 1992 Vietnam Living Standard Survey (1992 VLSS), the 1997 Vietnam Living Standard Survey (1997 VLSS), and the 2000 General Nutrition Survey (2000 GNS). These surveys used multi-stage cluster sample designs to produce nationally representative samples of Vietnamese children ages 6-15 years in 1992-1993, 1997-1998 and 2000. BMI classification was determined using cut-off values set by the International Obesity Task Force (IOTF). The mean prevalence of at risk of overweight and overweight among Vietnamese children rapidly increased from 0.4% in 1992 to 2.0% in 2000, along with a high prevalence of underweight (33.4% in 2000). Increases in weight, height and BMI varied according to gender, area of residence and socioeconomic status. Age, areas of residence and education of the household head are statistically significant predictors of at risk of overweight and overweight. This study identified the prevalence and trends of weight among children crucial to understanding the prevention of child overweight in Vietnam. ^

Statistical and methodological challenges for disaster preparedness and medical needs assessment in Rio Grande Valley of Texas

In recent years, disaster preparedness through assessment of medical and special needs persons (MSNP) has taken a center place in public eye in effect of frequent natural disasters such as hurricanes, storm surge or tsunami due to climate change and increased human activity on our planet. Statistical methods complex survey design and analysis have equally gained significance as a consequence. However, there exist many challenges still, to infer such assessments over the target population for policy level advocacy and implementation. ^ Objective. This study discusses the use of some of the statistical methods for disaster preparedness and medical needs assessment to facilitate local and state governments for its policy level decision making and logistic support to avoid any loss of life and property in future calamities. ^ Methods. In order to obtain precise and unbiased estimates for Medical Special Needs Persons (MSNP) and disaster preparedness for evacuation in Rio Grande Valley (RGV) of Texas, a stratified and cluster-randomized multi-stage sampling design was implemented. US School of Public Health, Brownsville surveyed 3088 households in three counties namely Cameron, Hidalgo, and Willacy. Multiple statistical methods were implemented and estimates were obtained taking into count probability of selection and clustering effects. Statistical methods for data analysis discussed were Multivariate Linear Regression (MLR), Survey Linear Regression (Svy-Reg), Generalized Estimation Equation (GEE) and Multilevel Mixed Models (MLM) all with and without sampling weights. ^ Results. Estimated population for RGV was 1,146,796. There were 51.5% female, 90% Hispanic, 73% married, 56% unemployed and 37% with their personal transport. 40% people attained education up to elementary school, another 42% reaching high school and only 18% went to college. Median household income is less than $15,000/year. MSNP estimated to be 44,196 (3.98%) [95% CI: 39,029; 51,123]. All statistical models are in concordance with MSNP estimates ranging from 44,000 to 48,000. MSNP estimates for statistical methods are: MLR (47,707; 95% CI: 42,462; 52,999), MLR with weights (45,882; 95% CI: 39,792; 51,972), Bootstrap Regression (47,730; 95% CI: 41,629; 53,785), GEE (47,649; 95% CI: 41,629; 53,670), GEE with weights (45,076; 95% CI: 39,029; 51,123), Svy-Reg (44,196; 95% CI: 40,004; 48,390) and MLM (46,513; 95% CI: 39,869; 53,157). ^ Conclusion. RGV is a flood zone, most susceptible to hurricanes and other natural disasters. People in the region are mostly Hispanic, under-educated with least income levels in the U.S. In case of any disaster people in large are incapacitated with only 37% have their personal transport to take care of MSNP. Local and state government’s intervention in terms of planning, preparation and support for evacuation is necessary in any such disaster to avoid loss of precious human life. ^ Key words: Complex Surveys, statistical methods, multilevel models, cluster randomized, sampling weights, raking, survey regression, generalized estimation equations (GEE), random effects, Intracluster correlation coefficient (ICC).^

Proceedings of the 24th Annual Biochemical Engineering Symposium

The 24th Biochemical Engineering Symposium was held 9-10 September 1994 at the YMCA of the Rockies conference center in Estes Park, Colorado, under the sponsorship of the Department of Chemical Engineering at the University of Colorado. Previous symposia in this series have been hosted by Kansas State University (1st, 3rd, 5th, 9th, 12th, 16th, 20th), University of Nebraska-Lincoln (2nd, 4th), Iowa State University (6th, 7th, 10th, 13th, 17th, 22nd), University of Missouri-Columbia (8th, 14th, 19th), Colorado State University (11th, 15th, 21st), University of Colorado (18th), and the University of Oklahoma (23rd). The next symposium is scheduled to be held at the University of Missouri-Columbia. The symposia are devoted to talks by students about their ongoing research. Because final publication usually takes place elsewhere, the papers included in the proceedings are brief, and often cover work in progress. ContentsIn-Well Aeration: An Innovative Subsurface Remediation TechnologyPrashant Gandhi, X. Yang, L.E. Erickson, and L. T. Fan; Kansas State University Expression of an Antimicrobial Peptide Analog in Eacherlchill coliChris Haught and Roger G. Harrison; University of Oklahoma Using High-frequency Backpulaing to Maximize Croasflow Filtration PerformanceSanjeev G. Redkar and Robert H. Davis; University of Colorado Low Molecular Weight Organic Compositions of Acid Waters from Vegetable Oil SoapstocksSteven L. Johansen, Arunthathi Sivasothy, Peter J. Reilly, and Earl G. Hammond; Iowa State University; Michael K. Dowd; U.S. Department of Agriculture Gas Phase Composition Effects on Suspension Cultures of Taxus cuspidata Noushin Mirjalili and James C. Linden; Colorado State University Cybernetic Modeling of Spontaneous Oscillations in Continuous Cultures of Ssccharomyces cerevisiaeKenneth D. Jones and Dhinakar S. Kompala; University of Colorado The Effect of Turbulent Shear on Calcium Mobilization in Mammalian CellsChristopher M. Cannizzaro, Pradyumna K. Namdev, and Eric H. Dunlop; Colorado State University Experimental Studies of Droplet Ejection at the Free Surface In Sparged ReactorsT. Y. Yiin, L A. Glasgow, and L. E. Erickson; Kansas State University The Role of Domain E (Starch-Binding Region) on the Activity of a Bacillus macersns Cyclodextrln GlucanotransferaseHai-yin Chang, Trang Le, and Zivko L. Nikolov; Iowa State University Use of the Rotating Wall Vessel for Study of Plant Cell Suspension CulturesXinzhi Sun and James C. Linden; Colorado State University A Novel Counter-Current Distribution Apparatus for the Study of Multi-Stage Aqueous Two-Phase Extraction of Biomolecules and Cell ParticlesMartin R. Guinn and Paul Todd; University of Colorado The Dynamics of Unhooking and Contraction of a Polyelectrolyte Chain Around an Isolated PostLin Zhang and Edith M. Sevick; University of Colorado A Laboratory Study of the Fate of Trichloroathylene and 1,1,1-Trlchloroathane In the Presence of Alfalfa PlantsMuralidharan Narayanan, Ryan M. Green, Lawrence C. Davis, and Larry E. Erickson; Kansas State University Modeling the Fate of Pyrene In the RhIzosphereS.K. Santharam, LE. Erickson, and L. T. Fan; Kansas State University Derivatization of MaltooligosaccharidesDaniela Prinz, Peter J. Reilly, and Zivko L. Nikolov; Iowa State University Probing Surfactant-Protein Binding by EPA SpectroscopyNarendra B. Bam, Yale University; Theodore W. Randolph; University of Colorado Optimization of a Stir-Cell Bioreactor for In Vitro Production of RNANeal T. Williams, Kim A. Wicklund, and Robert H. Davis; University of Colorado

(Table 4) Seasonal variation of sea spray sodium concentrations during 2004-2007 at Concordia Station, Antarctica

From November 2004 to December 2007, size-segregated aerosol samples were collected all-year-round at Dome C (East Antarctica) by using PM10 and PM2.5 samplers, and multi-stage impactors. The data set obtained from the chemical analysis provided the longest and the most time-resolved record of sea spray aerosol (sea salt Na+) in inner Antarctica. Sea spray showed a sharp seasonal pattern. The highest values measured in winter (Apr-Nov) were about ten times larger than in summer (Dec-Mar). For the first time, a size-distribution seasonal pattern was also shown: in winter, sea spray particles are mainly submicrometric, while their summer size-mode is around 1-2 µm. Meteorological analysis on a synoptic scale allowed the definition of atmospheric conditions leading sea spray to Dome C. An extreme-value approach along with specific environmental based criteria was taken to yield stronger fingerprints linking atmospheric circulation (means and anomalies) to extreme sea spray events. Air mass back-trajectory analyses for some high sea spray events allowed the identification of two major air mass pathways, reflecting different size distributions: micrometric fractions for transport from the closer Indian-Pacific sector, and sub-micrometric particles for longer trajectories over the Antarctic Plateau. The seasonal pattern of the SO4**2- /Na+ ratio enabled the identification of few events depleted in sulphate, with respect to the seawater composition. By using methanesulphonic acid (MSA) profile to evaluate the biogenic SO4**2- contribution, a more reliable sea salt sulphate was calculated. In this way, few events (mainly in April and in September) were identified originating probably from the "frost flower" source. A comparison with daily-collected superficial snow samples revealed that there is a temporal shift between aerosol and snow sea spray trends. This feature could imply a more complex deposition processes of sea spray, involving significant contribution of wet and diamond dust deposition, but further work has to be carried out to rule out the effect of wind re-distribution and to have more statistic significance.

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system libraries), to generate and simplify run-time tests, and to perform high-level program transformations such as multiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, nonfailure, and bounds on resource consumption (time or space cost). CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements the described functionality, will be used to illustrate the fundamental ideas.

Experiments in abstract interpretation-based code certification for pervasive systems

Proof carrying code (PCC) is a general is originally a roof in ñrst-order logic of certain vermethodology for certifying that the execution of an un- ification onditions and the checking process involves trusted mobile code is safe. The baste idea is that the ensuring that the certifícate is indeed a valid ñrst-order code supplier attaches a certifícate to the mobile code proof. which the consumer checks in order to ensure that the The main practical difñculty of PCC techniques is in code is indeed safe. The potential benefit is that the generating safety certiñeates which at the same time: i) consumer's task is reduced from the level of proving to allow expressing interesting safety properties, ii) can be the level of checking. Recently, the abstract interpre- generated automatically and, iii) are easy and efficient tation techniques developed, in logic programming have to check. In [1], the abstract interpretation techniques been proposed as a basis for PCC. This extended ab- [5] developed in logic programming1 are proposed as stract reports on experiments which illustrate several is- a basis for PCC. They offer a number of advantages sues involved in abstract interpretation-based certifica- for dealing with the aforementioned issues. In particution. First, we describe the implementation of our sys- lar, the xpressiveness of existing abstract domains will tem in the context of CiaoPP: the preprocessor of the be implicitly available in abstract interpretation-based Ciao multi-paradigm programming system. Then, by code certification to deñne a wide range of safety propermeans of some experiments, we show how code certifi- ties. Furthermore, the approach inherits the automation catión is aided in the implementation of the framework. and inference power of the abstract interpretation en- Finally, we discuss the application of our method within gines used in (Constraint) Logic Programming, (C)LP. the área, of pervasive systems

An overview of the ciao system

Ciao is a logic-based, multi-paradigm programming system. One of its most distinguishing features is that it supports a large number of semantic and syntactic language features which can be selectively activated or deactivated for each program module. As a result, a module can be written in, for example, ISO-Prolog plus constraints and higher order, while another can be a puré logic module with a different control rule such as iterative deepening and/or tabling, and perhaps using constructive negation. A powerful and modular extensión mechanism allows user-level design and implementation of such features and sub-languages. Another distinguishing feature of Ciao is its powerful assertion language, which allows expressing many kinds of program properties (ranging from, e.g., moded types to resource consumption), as well as tests and documentation. The compiler is capable of statically ñnding violations of these properties or verifying that programs comply with them, and issuing certiñcates of this compliance. The compiler also performs many types of optimizations, including automatic parallelization. It offers very competitive performance, while retaining the flexibility and interactive development of a dynamic language. We will present a hands-on overview of the system, through small examples which emphasize the novel aspects and the motivations which lie behind Ciao's design and implementation.

Program development using abstract interpretation (and the ciao system preprocessor)

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system librarles), to genérate and simplify run-time tests, and to perform high-level program transformations such as múltiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, non-failure, and bounds on resource consumption (time or space cost). CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements the described functionality, will be used to illustrate the fundamental ideas.

A tutorial on program development and optimization using the Ciao preprocessor

We present in a tutorial fashion CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system libraries), to generate and simplify run-time tests, and to perform high-level program transformations such as multiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, non-failure, and bounds on resource consumption (time or space cost).

The ciao prolog system

Ciao is a public domain, next generation multi-paradigm programming environment with a unique set of features: Ciao offers a complete Prolog system, supporting ISO-Prolog, but its novel modular design allows both restricting and extending the language. As a result, it allows working with fully declarative subsets of Prolog and also to extend these subsets (or ISO-Prolog) both syntactically and semantically. Most importantly, these restrictions and extensions can be activated separately on each program module so that several extensions can coexist in the same application for different modules. Ciao also supports (through such extensions) programming with functions, higher-order (with predicate abstractions), constraints, and objects, as well as feature terms (records), persistence, several control rules (breadth-first search, iterative deepening, ...), concurrency (threads/engines), a good base for distributed execution (agents), and parallel execution. Libraries also support WWW programming, sockets, external interfaces (C, Java, TclTk, relational databases, etc.), etc. Ciao offers support for programming in the large with a robust module/object system, module-based separate/incremental compilation (automatically -no need for makefiles), an assertion language for declaring (optional) program properties (including types and modes, but also determinacy, non-failure, cost, etc.), automatic static inference and static/dynamic checking of such assertions, etc. Ciao also offers support for programming in the small producing small executables (including only those builtins used by the program) and support for writing scripts in Prolog. The Ciao programming environment includes a classical top-level and a rich emacs interface with an embeddable source-level debugger and a number of execution visualization tools. The Ciao compiler (which can be run outside the top level shell) generates several forms of architecture-independent and stand-alone executables, which run with speed, efficiency and executable size which are very competive with other commercial and academic Prolog/CLP systems. Library modules can be compiled into compact bytecode or C source files, and linked statically, dynamically, or autoloaded. The novel modular design of Ciao enables, in addition to modular program development, effective global program analysis and static debugging and optimization via source to source program transformation. These tasks are performed by the Ciao preprocessor ( ciaopp, distributed separately). The Ciao programming environment also includes lpdoc, an automatic documentation generator for LP/CLP programs. It processes Prolog files adorned with (Ciao) assertions and machine-readable comments and generates manuals in many formats including postscript, pdf, texinfo, info, HTML, man, etc. , as well as on-line help, ascii README files, entries for indices of manuals (info, WWW, ...), and maintains WWW distribution sites.

RESSIST: a research object-based recommender system

The scientific method is a methodological approach to the process of inquiry { in which empirically grounded theory of nature is constructed and verified [14]. It is a hard, exhaustive and dedicated multi-stage procedure that a researcher must perform to achieve valuable knowledge. Trying to help researchers during this process, a recommender system, intended as a researcher assistant, is designed to provide them useful tools and information for each stage of the procedure. A new similarity measure between research objects and a representational model, based on domain spaces, to handle them in dif ferent levels are created as well as a system to build them from OAI-PMH (and RSS) resources. It tries to represents a sound balance between scientific insight into individual scientific creative processes and technical implementation using innovative technologies in information extraction, document summarization and semantic analysis at a large scale.

Contribution of individual to collective brands

Traditionally, literature estimates the equity of a brand or its extension but it pays little attention to collective brand equity even though collective branding is increasingly used to differentiate the homogenous products of different firms or organizations. We propose an approach that estimates the incremental effect of individual brands (or the contribution of individual brands) on collective brand equity through the various stages of a consumer hierarchical buying choice process in which decisions are nested: “whether to buy”, “what collective brand to buy” and “what individual brand to buy”. This proposal follows the approach of the Random Utility Theory, and it is theoretically argued through the Associative Networks Theory and the cybernetic model of decision making. The empirical analysis carried out in the area of collective brands in Spanish tourism finds a three-stage hierarchical sequence, and estimates the contribution of individual brands to the equity of the collective brands of “Sun, Sea and Sand” and of “World Heritage Cities”.

The comparative effectiveness of rodents and dung beetles as local seed dispersers in Mediterranean oak forests

The process of seed dispersal of many animal-dispersed plants is frequently mediated by a small set of biotic agents. However, the contribution that each of these dispersers makes to the overall recruitment may differ largely, with important ecological and management implications for the population viability and dynamics of the species implied in these interactions. In this paper, we compared the relative contribution of two local guilds of scatter-hoarding animals with contrasting metabolic requirements and foraging behaviours (rodents and dung beetles) to the overall recruitment of two Quercus species co-occurring in the forests of southern Spain. For this purpose, we considered not only the quantity of dispersed seeds but also the quality of the seed dispersal process. The suitability for recruitment of the microhabitats where the seeds were deposited was evaluated in a multi-stage demographic approach. The highest rates of seed handling and predation occurred in those microhabitats located under shrubs, mostly due to the foraging activity of rodents. However, the probability of a seed being successfully cached was higher in microhabitats located beneath a tree canopy as a result of the feeding behaviour of beetles. Rodents and beetles showed remarkable differences in their effectiveness as local acorn dispersers. Quantitatively, rodents were much more important than beetles because they dispersed the vast majority of acorns. However, they were qualitatively less effective because they consumed a high proportion of them (over 95%), and seeds were mostly dispersed under shrubs, a less suitable microhabitat for short-term recruitment of the two oak species. Our findings demonstrate that certain species of dung beetles (such as Thorectes lusitanicus), despite being quantitatively less important than rodents, can act as effective local seed dispersers of Mediterranean oak species. Changes in the abundance of beetle populations could thus have profound implications for oak recruitment and community dynamics.

Safety belt usage in Illinois : observational survey results /

Report provides a descriptive analysis of safety belt usage in Illinois. The survey was a statistical (multi-stage random) observational survey conducted statewide during ... on both high volume state highways and low volume local roads and residential streets. The survey provided a statistically representative sample of the state as a whole.

Mode Localization in a Nearly Cyclic Symmetric System

Thesis (Ph.D.)--University of Washington, 2016-06