Tools of the Trade: Investigations into Design Strategies of Small Molecules to Target Components in Alzheimer's Disease

The growing prevalence of Alzheimer's disease (AD) has warranted the development of effective therapeutic methods. Current available drugs for AD (i.e., acetylcholinesterase (AChE) inhibitors and N‐methyl‐D ‐aspartate (NMDA) receptor antagonists) have only offered brief symptomatic relief. Considering that the numbers affected by AD are projected to substantially rise, long‐term strategies are urgently needed. The multiple series of small molecules to combat AD have been expanded, with current methods taking aim at factors, such as misfolded protein accumulation, metal ion dyshomeostasis, and oxidative stress. This concept article focuses on describing the design of compounds to target various components of AD and underlining recent advances that have been made.     

Prediction of turbulent gas‐solid flow in a duct with a 90° bend using an Eulerian‐Lagrangian approach

A dilute, particle‐laden turbulent flow in a square cross‐sectioned duct with a 90° bend is modeled using a three‐dimensional Eulerian‐Lagrangian approach. Predictions are based on a second‐moment turbulence closure, with particles simulated using a Lagrangian particle tracking technique, coupled to a particle‐wall interaction algorithm and a random Fourier series method used to model particle dispersion. The performance of the model is tested for a gas‐solid flow in a horizontal‐to‐vertical duct, with predictions showing good agreement with experimental data. In particular, the consistent use of anisotropic and fully three‐dimensional approaches throughout yields predictions that result in fluctuating particle velocities in acceptable agreement with data. © 2011 American Institute of Chemical Engineers AIChE J, 2012     

Estimating a minimum set of physically based dynamic parameters to enhance statistical inference in block-oriented modeling

In process identification (i.e., dynamic model development) information on the precision and reliability of a parameter estimate is conveyed by a confidence interval. The best confidence interval is the one with the shortest width for a given level of confidence. Confidence intervals widen as the standard error increases or as the number of estimated parameters increases. When the value of a parameter is needed for physical understanding of process characteristics, its precision and reliability, i.e., certainty, is crucial. Parameter certainty increases as the number of estimated parameters decreases because this causes confidence intervals to shorten and confidence levels to increase. Hence, this article focuses on maximizing parameter certainty of physically interpretable dynamic parameters under block-oriented modeling by obtaining accurate values for all the dynamic parameters from a minimum set of estimated parameters. This objective is accomplished by the development of a procedure that identifies equivalent sets of parameters and estimates one parameter for each set. For a seven (7) input, five (5) output, simulated CSTR, its 84 physically based dynamic parameters were accurately determined from 23 estimated parameters that resulted in an increase in confidence level from 50% to 99.9% for a fixed interval width.     

Frozen herring as raw material for spice‐salting

One batch of herring (Clupea harengus) was spice‐salted fresh and as thawed after 32 days of frozen storage at −24 °C. After salting, samples of both groups were sent to participating laboratories in Iceland, Denmark, Norway, Germany and England. The herring was kept at 5 ± 1 °C and sampled three times during a 26 week storage period. The development of taste and texture characteristics (determined by sensory evaluation and instrumental texture measurements), formation of low‐molecular‐weight nitrogen compounds and changes in proteolytic activity were followed in both groups. The sensory evaluation results showed that thawed salted herring ripened in a similar manner to herring salted fresh, but at a faster rate. Instrumental texture analysis showed a faster rate of tenderising in thawed salted herring. Proteolytic activity measured as general activity and with specific synthetic substrates was higher in the thawed salted herring. The formation of trichloroacetic acid‐soluble nitrogen and free amino acids was faster in the previously frozen herring. The results show an accelerated but similar rate of ripening in thawed spice‐salted herring in comparison with fresh salted herring. © 2000 Society of Chemical Industry     

Transparent conductive carbon‐nanotube films directly coated onto flexible and rigid polycarbonate

Abstract— Carbon nanotubes have quickly emerged over the last several years as a potential candidate material to replace metal oxides in devices which require transparent and conductive electrodes. Typically, these materials are coated onto substrates such as PET and PEN for flexible electrodes and glass for rigid electrodes. Recently, there has been interest in more durable and lightweight substrates to replace glass, one such substrate being polycarbonate. Sputter coating of indium tin oxide onto polycarbonate leads to low conductivity and inconsistent results, due to out‐gassing and materials mismatch issues. In this work, it is shown that direct coating of carbon nanotubes onto polycarbonate leads to high‐performance films with facile manufacturing.     

Temporal-logic property preservation under Z refinement

Formal specification languages such as Z, B and VDM are used in the incremental development of abstract specifications (suitable for establishing required properties) to more concrete specifications (resembling the final implementation). This incremental development process, known as refinement, preserves all observable properties of the original abstract specification. Recent research has looked at applying temporal-logic model checking to such specification languages. While this assists in the establishment of properties of the abstract specification, temporal-logic properties typically refer to state variables which are regarded as non-observable. Hence, such properties are not guaranteed to be preserved by refinement. This paper investigates the classes of temporal-logic properties which are preserved by refinement, and for some of those properties that are not preserved in general, the restrictions on the refinement process under which they are preserved. Results are presented for the temporal logics LTL, CTL and the μ-calculus and the formal specification language Z. They apply equally, however, to related formal specification languages such as B and VDM.