Estimation of concentration-dependent diffusion coefficient in drying process from the space-averaged concentration versus time with experimental data

The estimation of a concentration-dependent diffusion coefficient in a drying process is known as an inverse coefficient problem. The solution is sought wherein the space-average concentration is known as function of time (mass loss monitoring). The problem is stated as the minimization of a functional and gradient-based algorithms are used to solve it. Many numerical and experimental examples that demonstrate the effectiveness of the proposed approach are presented. Thin slab drying was carried out in an isothermal drying chamber built in our laboratory. The diffusion coefficients of fructose obtained with the present method are compared with existing literature results.

The real-time refinement calculus: A foundation for machine-independent real-time programming

The real-time refinement calculus is an extension of the standard refinement calculus in which programs are developed from a precondition plus post-condition style of specification. In addition to adapting standard refinement rules to be valid in the real-time context, specific rules are required for the timing constructs such as delays and deadlines. Because many real-time programs may be nonterminating, a further extension is to allow nonterminating repetitions. A real-time specification constrains not only what values should be output, but when they should be output. Hence for a program to implement such a specification, it must guarantee to output values by the specified times. With standard programming languages such guarantees cannot be made without taking into account the timing characteristics of the implementation of the program on a particular machine. To avoid having to consider such details during the refinement process, we have extended our real-time programming language with a deadline command. The deadline command takes no time to execute and always guarantees to meet the specified time; if the deadline has already passed the deadline command is infeasible (miraculous in Dijkstra's terminology). When such a realtime program is compiled for a particular machine, one needs to ensure that all execution paths leading to a deadline are guaranteed to reach it by the specified time. We consider this checking as part of an extended compilation phase. The addition of the deadline command restores for the real-time language the advantage of machine independence enjoyed by non-real-time programming languages.

Uniqueness criteria for continuous-time Markov chains with general transition structures

We derive necessary and sufficient conditions for the existence of bounded or summable solutions to systems of linear equations associated with Markov chains. This substantially extends a famous result of G. E. H. Reuter, which provides a convenient means of checking various uniqueness criteria for birth-death processes. Our result allows chains with much more general transition structures to be accommodated. One application is to give a new proof of an important result of M. F. Chen concerning upwardly skip-free processes. We then use our generalization of Reuter's lemma to prove new results for downwardly skip-free chains, such as the Markov branching process and several of its many generalizations. This permits us to establish uniqueness criteria for several models, including the general birth, death, and catastrophe process, extended branching processes, and asymptotic birth-death processes, the latter being neither upwardly skip-free nor downwardly skip-free.

Faciltating the transition into motherhood through lullaby singing: A pilot study

This study explored how singing lullabies to babies impacts on first-time mothers' perceived coping and experience of mothering. Eighteen first-time mothers participated in a six-week lullaby intervention program. Data comprised of detailed diaries kept by the mothers over the six weeks in addition to semi-structured interviews with the mothers, pre and post-intervention. Results suggest that lullabies benefit mothers by relaxing and calming them, distracting them from other stressful thoughts, enhancing their experience of the bedtime task and enhancing their perception that they are good mothers. Results indicate that mothers' experience of the bedtime task and her transition to motherhood may be enhanced through singing lullabies to their babies at bedtime.

Engineering mRNA translation initiation to enhance transient gene expression in Chinese hamster ovary cells

To increase transient expression of recombinant proteins in Chinese hamster ovary cells, we have engineered their protein synthetic capacity by directed manipulation of mRNA translation initiation. To control this process we constructed a nonphosphorylatable Ser51Ala site-directed mutant of eIF2, a subunit of the trimeric eIF2 complex that is implicated in regulation of the global rate of mRNA translation initiation in eukaryotic cells. Phosphorylation of eIF2 by protein kinases inhibits eIF2 activity and is known to increase as cells perceive a range of stress conditions. Using single-and dual-gene plasmids introduced into CHO cells by electroporation, we found that transient expression of the eIF2 Ser51Ala mutant with firefly luciferase resulted in a 3-fold increase in reporter activity, relative to cells transfected with reporter only. This effect was maintained in transfected cells for at least 48 h after transfection. Expression of the wild-type eIF2 protein had no such effect. Elevated luciferase activity was associated with a reduction in the level of eIF2 phosphorylation in cells transfected with the mutant eIF2 construct. Transfection of CHO cells with the luciferase-only construct resulted in a marked decrease in the global rate of protein synthesis in the whole cell population 6 h post-transfection. However, expression of the mutant Ser51Ala or wild-type eIF2 proteins restored the rate of protein synthesis in transfected cells to a level equivalent to or exceeding that of control cells. Associated with this, entry of plasmid DNA into cells during electroporation was visualized by confocal microscopy using a rhodamine-labeled plasmid construct expressing green fluorescent protein. Six hours after transfection, plasmid DNA was present in all cells, albeit to a variable extent. These data suggest that entry of naked DNA into the cell itself functions to inhibit protein synthesis by signaling mechanisms affecting control of mRNA translation by eIF2. This work therefore forms the basis of a rational strategy to generically up-regulate transient expression of recombinant proteins by simultaneous host cell engineering.

Dynamic binary translation using run-time feedbacks

Dynamic binary translation is the process of translating, modifying and rewriting executable (binary) code from one machine to another at run-time. This process of low-level re-engineering consists of a reverse engineering phase followed by a forward engineering phase. UQDBT, the University of Queensland Dynamic Binary Translator, is a machine-adaptable translator. Adaptability is provided through the specification of properties of machines and their instruction sets, allowing the support of different pairs of source and target machines. Most binary translators are closely bound to a pair of machines, making analyses and code hard to reuse. Like most virtual machines, UQDBT performs generic optimizations that apply to a variety of machines. Frequently executed code is translated to native code by the use of edge weight instrumentation, which makes UQDBT converge more quickly than systems based on instruction speculation. In this paper, we describe the architecture and run-time feedback optimizations performed by the UQDBT system, and provide results obtained in the x86 and SPARC® platforms.

The natural jurisprudence of Jean Barbeyrac: translation as an art of political adjustment

The article makes the case for redescribing Jean Barbeyrac [1674-1744], the great French translator and influential glossator of seventeenth-century Latin natural-law texts, as something quite other than a neutral mediator of Samuel Pufendorf. To consider the specific religious and political charge of his strategies as translator is to recognize the independence of Barbeyrac's Huguenot stance on natura; jurisprudence. This stance is provoked by the profound challenge that Pufendorf's radical post-Wespthalian secularizing of civil authority posed for a Huguenot: how to grant that the state had legitimate authority to regulate all external conduct, but at the same time preserve an inviolable moral space for the exercise of individual conscience. The argument--pointing to Barbeyrac's construction of a 'Lockeanized' Pufendorf--rests both on his famous presentation of Leibniz's critique of Pufendorf's De officio hominis et civis and on more neglected elements of Barbeyrac's corpus.

Intra-abdominal pressure response to multidirectional support-surface translation

A complex response of the trunk muscles occurs to restore equilibrium in response to movement of the support surface. Intra-abdominal pressure (IAP) is considered to contribute to control of the trunk. This study investigated the contribution of IAP to the postural response to multidirection support-surface translation. IAP was recorded with a thin-film pressure transducer inserted via the nose into the stomach and trunk motion was recorded with an optoelectronic system with markers over the spinous process of L1. A pattern of trunk movement was recorded in response to the support-surface translations that was consistent with a 'hip' strategy of postural control. The trunk moved in a manner appropriate to move the centre of gravity over the new base of support. IAP was increased with movement in each direction, but varied in timing and amplitude between translation directions. In general, the IAP was greater with translations in the sagittal plane compared to the frontal plane and was initiated earlier for translations in the backward direction. These data indicate that IAP contributes to the postural response associated with support-surface translation and suggest that this is consistent with stiffening the spine. (C) 2003 Elsevier B.V. All rights reserved.