Plastic buckling of a rectangular plate under edge thrusts

The fundamental equations for the plastic buckling of a rectangular plate under edge thrusts are developed on the basis of a new set of stress-strain relations for the behavior of a metal in the plastic range. These relations are derived for buckling from a state of uniform compression. The fundamental equation for the buckling of a simply compressed plate together with typical boundary conditions is then developed and the results are applied to calculating the buckling loads of a thin strip, a simply supported plate, and a cruciform section. Comparisons with the theories of Timoshenko and Ilyushin are made. Finally, an energy method is given which can be used for finding approximate values of the critical load

Non-polynomial Worst-Case Analysis of Recursive Programs

We study the problem of developing efficient approaches for proving worst-case bounds of non-deterministic recursive programs. Ranking functions are sound and complete for proving termination and worst-case bounds of nonrecursive programs. First, we apply ranking functions to recursion, resulting in measure functions. We show that measure functions provide a sound and complete approach to prove worst-case bounds of non-deterministic recursive programs. Our second contribution is the synthesis of measure functions in nonpolynomial forms. We show that non-polynomial measure functions with logarithm and exponentiation can be synthesized through abstraction of logarithmic or exponentiation terms, Farkas' Lemma, and Handelman's Theorem using linear programming. While previous methods obtain worst-case polynomial bounds, our approach can synthesize bounds of the form $\mathcal{O}(n\log n)$ as well as $\mathcal{O}(n^r)$ where $r$ is not an integer. We present experimental results to demonstrate that our approach can obtain efficiently worst-case bounds of classical recursive algorithms such as (i) Merge-Sort, the divide-and-conquer algorithm for the Closest-Pair problem, where we obtain $\mathcal{O}(n \log n)$ worst-case bound, and (ii) Karatsuba's algorithm for polynomial multiplication and Strassen's algorithm for matrix multiplication, where we obtain $\mathcal{O}(n^r)$ bound such that $r$ is not an integer and close to the best-known bounds for the respective algorithms.Comment: 54 Pages, Full Version to CAV 201

Planning and Leveraging Event Portfolios: Towards a Holistic Theory

This conceptual paper seeks to advance the discourse on the leveraging and legacies of events by examining the planning, management, and leveraging of event portfolios. This examination shifts the common focus from analyzing single events towards multiple events and purposes that can enable cross-leveraging among different events in pursuit of attainment and magnification of specific ends. The following frameworks are proposed: (1) event portfolio planning and leveraging, and (2) analyzing events networks and inter-organizational linkages. These frameworks are intended to provide, at this infancy stage of event portfolios research, a solid ground for building theory on the management of different types and scales of events within the context of a portfolio aimed to obtain, optimize and sustain tourism, as well as broader community benefits

Large-scale experimental studies show unexpected amino acid effects on protein expression and solubility in vivo in E. coli

The biochemical and physical factors controlling protein expression level and solubility in vivo remain incompletely characterized. To gain insight into the primary sequence features influencing these outcomes, we performed statistical analyses of results from the high-throughput protein-production pipeline of the Northeast Structural Genomics Consortium. Proteins expressed in E. coli and consistently purified were scored independently for expression and solubility levels. These parameters nonetheless show a very strong positive correlation. We used logistic regressions to determine whether they are systematically influenced by fractional amino acid composition or several bulk sequence parameters including hydrophobicity, sidechain entropy, electrostatic charge, and predicted backbone disorder. Decreasing hydrophobicity correlates with higher expression and solubility levels, but this correlation apparently derives solely from the beneficial effect of three charged amino acids, at least for bacterial proteins. In fact, the three most hydrophobic residues showed very different correlations with solubility level. Leu showed the strongest negative correlation among amino acids, while Ile showed a slightly positive correlation in most data segments. Several other amino acids also had unexpected effects. Notably, Arg correlated with decreased expression and, most surprisingly, solubility of bacterial proteins, an effect only partially attributable to rare codons. However, rare codons did significantly reduce expression despite use of a codon-enhanced strain. Additional analyses suggest that positively but not negatively charged amino acids may reduce translation efficiency in E. coli irrespective of codon usage. While some observed effects may reflect indirect evolutionary correlations, others may reflect basic physicochemical phenomena. We used these results to construct and validate predictors of expression and solubility levels and overall protein usability, and we propose new strategies to be explored for engineering improved protein expression and solubility

Orthodontics in the era of big data analytics

Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/149344/1/ocr12279_am.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/149344/2/ocr12279.pd

Oxidative Stress and Inflammation in Renal Patients and Healthy Subjects

The first goal of this study was to measure the oxidative stress (OS) and relate it to lipoprotein variables in 35 renal patients before dialysis (CKD), 37 on hemodialysis (HD) and 63 healthy subjects. The method for OS was based on the ratio of cholesteryl esters (CE) containing C18/C16 fatty acids (R2) measured by gas chromatography (GC) which is a simple, direct, rapid and reliable procedure. The second goal was to investigate and identify a triacylglycerol peak on GC, referred to as TG48 (48 represents the sum of the three fatty acids carbon chain lengths) which was markedly increased in renal patients compared to healthy controls. We measured TG48 in patients and controls. Mass spectrometry (MS) and MS twice in tandem were used to analyze the fatty acid composition of TG48. MS showed that TG48 was abundant in saturated fatty acids (SFAs) that were known for their pro-inflammatory property. TG48 was significantly and inversely correlated with OS. Renal patients were characterized by higher OS and inflammation than healthy subjects. Inflammation correlated strongly with TG, VLDL-cholesterol, apolipoprotein (apo) C-III and apoC-III bound to apoB-containing lipoproteins, but not with either total cholesterol or LDL-cholesterol

Elevated Incidence of Dental Caries in a Mouse Model of Cystic Fibrosis

Saliva bicarbonate constitutes the main buffering system which neutralizes the pH fall generated by the plaque bacteria during sugar metabolism. We found that the saliva pH is severely decreased in a mouse model of cystic fibrosis disease (CF). Given the close relationship between pH and caries development, we hypothesized that caries incidence might be elevated in the mouse CF model.). are enhanced at low pH values, we speculate that the decrease in the bicarbonate content and pH buffering of the saliva is at least partially responsible for the increased severity of lesions observed in the CF mouse