Successful intracellular delivery of nucleic acid therapeutics relies on multiaspect optimization, one of which is formulation. While there has been ample innovation on chemical design of polymeric gene carriers, the same cannot be said for physical processing of polymer-DNA nanocomplexes (polyplexes). Conventional synthesis of polyplexes by bulk mixing depends on the operators' experience. The...

In this paper, we describe a proof-theoretic foundation for bottom-up logic programming based on uniform proofs in the setting of the logical framework LF. We present a forward uniform proofs calculus which is a suitable foundation for the inverse method for LF and prove its correctness. We also present some preliminary results of an implementation for the Horn Fragment as part of the logical f...

In this paper we describe Imogen, a theorem prover for intuitionistic propositional logic using the focused inverse method. We represent fine-grained control of the search behavior by polarizing the input formula. In manipulating the polarity of atoms and subformulas, we can often improve the search time by several orders of magnitude. We tested our method against seven other systems on the pro...

A message passing interface (MPI) based parallel simulation algorithm is developed to simulate protein behavior in non-linear isoelectric focusing (IEF). The mathematical model of IEF is formulated based on mass conservation, charge conservation, ionic dissociation-association relations of amphoteric molecules and the electroneutrality condition. First, the concept of parallelism is described f...

Thermal ablation induced by high intensity focused ultrasound has produced promising clinical results to treat hepatocarcinoma and other liver tumors. However skin burns have been reported due to the high absorption of ultrasonic energy by the ribs. This study proposes a method to produce an acoustic field focusing on a chosen target while sparing the ribs using the decomposition of the time-re...