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.     

State-of-the-Art on Wound Vitality Evaluation: A Systematic Review

The vitality demonstration refers to determining if an injury has been caused ante- or post-mortem, while wound age means to evaluate how long a subject has survived after the infliction of an injury. Histology alone is not enough to prove the vitality of a lesion. Recently, immunohistochemistry, biochemistry, and molecular biology have been introduced in the field of lesions vitality and age demonstration. The study was conducted according to the preferred reporting items for systematic review (PRISMA) protocol. The search terms were “wound”, “lesion”, “vitality”, “evaluation”, “immunohistochemistry”, “proteins”, “electrolytes”, “mRNAs”, and “miRNAs” in the title, abstract, and keywords. This evaluation left 137 scientific papers. This review aimed to collect all the knowledge on vital wound demonstration and provide a temporal distribution of the methods currently available, in order to determine the age of lesions, thus helping forensic pathologists in finding a way through the tangled jungle of wound vitality evaluation.     

Human Stem Cell and Organoid Models to Advance Acute Kidney Injury Diagnostics and Therapeutics

Acute kidney injury (AKI) is an increasingly common problem afflicting all ages, occurring in over 20% of non-critically ill hospitalized patients and >30% of children and >50% of adults in critical care units. AKI is associated with serious short-term and long-term consequences, and current therapeutic options are unsatisfactory. Large gaps remain in our understanding of human AKI pathobiology, which have hindered the discovery of novel diagnostics and therapeutics. Although animal models of AKI have been extensively studied, these differ significantly from human AKI in terms of molecular and cellular responses. In addition, animal models suffer from interspecies differences, high costs and ethical considerations. Static two-dimensional cell culture models of AKI also have limited utility since they have focused almost exclusively on hypoxic or cytotoxic injury to proximal tubules alone. An optimal AKI model would encompass several of the diverse specific cell types in the kidney that could be targets of injury. Second, it would resemble the human physiological milieu as closely as possible. Third, it would yield sensitive and measurable readouts that are directly applicable to the human condition. In this regard, the past two decades have seen a dramatic shift towards newer personalized human-based models to study human AKI. In this review, we provide recent developments using human stem cells, organoids, and in silico approaches to advance personalized AKI diagnostics and therapeutics.     

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.