STANDARDS FOR USER-DRIVEN APPLICATIONS DEVELOPMENT

Users may now be more proficient in developing their own applications, but they aren't equally knowledgeable about the importance of using and following computer standards. Creating these standards is still the job of IS staff members, who should keep in mind that users are willing to use standards if they meet the particular needs of the various user departments.     

Solving #SAT using vertex covers

We propose an exact algorithm for counting the models of propositional formulas in conjunctive normal form. Our algorithm is based on the detection of strong backdoor sets of bounded size; each instantiation of the variables of a strong backdoor set puts the given formula into a class of formulas for which models can be counted in polynomial time. For the backdoor set detection we utilize an efficient vertex cover algorithm applied to a certain “obstruction graph” that we associate with the given formula. This approach gives rise to a new hardness index for formulas, the clustering-width. Our algorithm runs in uniform polynomial time on formulas with bounded clustering-width. It is known that the number of models of formulas with bounded clique-width, bounded treewidth, or bounded branchwidth can be computed in polynomial time; these graph parameters are applied to formulas via certain (hyper)graphs associated with formulas. We show that clustering-width and the other parameters mentioned are incomparable: there are formulas with bounded clustering-width and arbitrarily large clique-width, treewidth, and branchwidth. Conversely, there are formulas with arbitrarily large clustering-width and bounded clique-width, treewidth, and branchwidth.     

Integrating IS Disciplines into End-User Training

Abstract

In addition to software training, users need to learn systems analysis concepts and development techniques that will enable them to develop better and more reliable end-user applications. IS managers should realize that this type of IS-sponsored training not only improves the users’ productivity but the IS staffs as well.     

Stabilization of symmetric formations to motion around convex loops

We provide a cooperative control algorithm to stabilize symmetric formations to motion around closed curves suitable for mobile sensor networks. This work extends previous results for stabilization of symmetric circular formations. We study a planar particle model with decentralized steering control subject to limited communication. Because of their unique spectral properties, the Laplacian matrices of circulant graphs play a key role. We illustrate the result for a skewed superellipse, which is a type of curve that includes circles, ellipses, and rounded parallelograms.     

Synaptic proteome changes in the superior frontal gyrus and occipital cortex of the alcoholic brain

Cognitive deficits and behavioral changes that result from chronic alcohol abuse are a consequence of neuropathological changes that alter signal transmission through the neural network. To focus on the changes that occur at the point of connection between the neural network cells, synaptosomal preparations from post‐mortem human brain of six chronic alcoholics and six non‐alcoholic controls were compared using 2‐D differential in‐gel electrophoresis (DIGE). Functionally affected and spared regions (superior frontal gyrus, SFG, and occipital cortex, OC, respectively) were analyzed from both groups to further investigate the specific pathological response that alcoholism has on the brain. Forty‐nine proteins were differentially regulated between the SFG of alcoholics and the SFG of controls and 94 proteins were regulated in the OC with an overlap of 23 proteins. Additionally, the SFG was compared to the OC within each group (alcoholics or controls) to identify region‐specific differences. A selection was identified by MALDI‐TOF mass spectrometry revealing proteins involved in vesicle transport, metabolism, folding and trafficking, and signal transduction, all of which have the potential to influence synaptic activity. A number of proteins identified in this study have been previously related to alcoholism; however, the focus on synaptic proteins has also uncovered novel alcoholism‐affected proteins. Further exploration of these proteins will illuminate the mechanisms altering synaptic plasticity, and thus neuronal signaling and response, in the alcoholic brain.     

Nonlinear gliding stability and control for vehicles with hydrodynamic forcing

This paper presents Lyapunov functions for proving the stability of steady gliding motions for vehicles with hydrodynamic or aerodynamic forces and moments. Because of lifting forces and moments, system energy cannot be used as a Lyapunov function candidate. A Lyapunov function is constructed using a conservation law discovered by Lanchester in his classical work on phugoid-mode dynamics of an airplane. The phugoid-mode dynamics, which are cast here as Hamiltonian dynamics, correspond to the slow dynamics in a multi-time-scale model of a hydro/aerodynamically-forced vehicle in the longitudinal plane. Singular perturbation theory is used in the proof of stability of gliding motions. As an intermediate step, the simplifying assumptions of Lanchester are made rigorous. It is further shown how to design stabilizing control laws for gliding motions using the derived function as a control Lyapunov function and how to compute the corresponding regions of attraction.     

Determination of total dietary fibre and available carbohydrates: A rapid integrated procedure that simulates in vivo digestion

The new definition of dietary fibre introduced by Codex Alimentarius in 2008 includes resistant starch and the option to include non‐digestible oligosaccharides. Implementation of this definition required new methodology. An integrated total dietary fibre method was evaluated and accepted by AOAC International and AACC International (AOAC Methods 2009.01 and 2011.25; AACC Method 32–45.01 and 32–50.01, and recently adopted by Codex Alimentarius as a Type I Method. However, in application of the method to a diverse range of food samples and particularly food ingredients, some limitations have been identified. One of the ongoing criticisms of this method was that the time of incubation with pancreatic α‐amylase/amyloglucosidase mixture was 16 h, whereas the time for food to transit through the human small intestine was likely to be approximately 4 h. In the current work, we use an incubation time of 4 h, and have evaluated incubation conditions that yield resistant starch and dietary values in line with ileostomy results within this time frame. Problems associated with production, hydrolysis and chromatography of various oligosaccharides have been addressed resulting in a more rapid procedure that is directly applicable to all foods and food ingredients currently available.

     

Aerosol Particle Collection Efficiency of Holey Carbon Film-Coated TEM Grids

A simple sampling method to collect aerosol particles for transmission electron microscope (TEM) analysis was developed by R’mili and others in 2013. The method involves passing air through a holey carbon film-coated copper mesh TEM grid (holey carbon grid) and sampling particles by filtration. In this study, we proposed a modified calculation method to represent the collection efficiencies of holey carbon grids, taking into consideration the porosity of the copper mesh. We then evaluated the particle collection efficiencies of holey carbon grids both theoretically and experimentally. We tested the collection efficiency of two types of holey carbon grids, with nominal pore sizes of 1.2 and 0.6 μm, using particles of monodispersed polystyrene latex (PSL) and potassium chloride. The overall collection efficiency of each grid (E_grid) was determined by the downstream/upstream concentration ratio measured by condensation particle counters (CPCs). In addition, for PSL particles, the collection efficiency of the holey carbon film (E_film) was determined by the ratio of the number of particles on the film (counted on a scanning electron microscope) to the number of inflow particles (counted by a CPC). We compared model calculations against the experimental results obtained in this study and those reported by R’mili and others in 2013. These data showed that the calculated E_grid values were in reasonably good agreement with the experimental E_grid values. However, although the model calculation indicated that E_film ≈ E_grid, there was an inconsistency between the experimental E_film and E_grid, which requires further investigation in order to determine its cause.

Copyright 2014 American Association for Aerosol Research     

Intact and impaired mechanisms of action understanding in autism.

Typically developing children understand and predict others' behavior by extracting and processing relevant information such as the logic of their actions within the situational constraints and the intentions conveyed by their gaze direction and emotional expressions. Children with autism have difficulties understanding and predicting others' actions. With the use of eye tracking and behavioral measures, we investigated action understanding mechanisms used by 18 children with autism and a well-matched group of 18 typically developing children. Results showed that children with autism (a) consider situational constraints in order to understand the logic of an agent's action and (b) show typical usage of the agent's emotional expressions to infer his or her intentions. We found (c) subtle atypicalities in the way children with autism respond to an agent's direct gaze and (d) marked impairments in their ability to attend to and interpret referential cues such as a head turn for understanding an agent's intentions. (PsycINFO Database Record (c) 2011 APA, all rights reserved)