Tuning recombinant protein expression is an approach which can be successfully employed for increasing the yield of recombinant protein production in high cell density cultures. On the other hand, most of the previous results reported the optimization induction conditions during batch and continuous culture of recombinant E. coli, and consequently fed-batch culture have received less attention....

Microbial fuel cell (MFC) mathematical model was established with suspended microorganisms, biomass on the electrode material, soluble chemical substrates and intermediary. By simulating the process of the substrate degradation, biomass growth and the electric current production process, With different initial biomass concentration, suspended microbial biomass and biomass attaching on electrode...

We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and apply it to a case study. We extend a pure Duration Calculus specification for the controller by spatial assumptions to reason about spatial system properties. We prove that the formalism is undecidable in general for ...

In this paper we present the main achievements of UNU/IIST during the project “Design Techniques for Real-time Systems” carried out since 1993 by its staff and fellows. Duration Calculus was originally introduced in 1991 as a powerful logic for specifying the safety of realtime systems. During the project, it has evolved to a set of calculi that can capture many important aspects in real-time s...

The reduction of electrode wear is very important for high finish and high accuracy machining in microEDM. Electrically conductive CVD diamond has shown almost zero electrode wear, even at short pulse duration of 3μs, which is extremely important for maintaining the desired shape. This research involves an investigation into the EDM performance of the electrically conductive CVD diamond with re...

K. W. Madison, P. K. Patel, M. Allen, D. Price, R. Fitzpatrick, and T. Ditmire Department of Physics, The University of Texas at Austin, Austin, Texas 78712, USA Physics and Advanced Technology Directorate, Lawrence Livermore National Laboratory, Livermore, California 94550, USA Department of Nuclear Engineering, University of California at Berkeley, Berkeley, California 94720, USA (Received 14...

In this paper, we first investigate the power spectral densities (PSD) of bipolar modulated Direct Sequence Ultra Wide Band (DS-UWB) signals using various pulse shapes under the FCC UWB emission mask. Considered pulse shapes are the first five derivatives of the Gauss pulse (p1, p2, p3, p4 and p5), the first four orthogonal modified Hermite waveforms, and Daubechies wavelets (db-q). It is obser...

The paper gives a systematic way for the development of hybrid control systems, i.e. to reene speciications written in DC (Duration Calculus) into automata models. Firstly, DC formulas are extended with iteration form and a technique for deriving plant automata from DC formulas is presented. Then, a speciication of control automata can be synthesized from plant automata with respect to requirem...

With their short nanosecond pulse durations, Qswitched lasers have revolutionized the treatment of tattoos [1-3]. Nevertheless, the mechanisms for clinically observed tattoo clearance are still not well understood. Two mechanisms have been proposed: a) a thermal effect where tattoo particles are heated to sufficiently high temperatures to cause chemical changes within the particles and the surr...