preparation of chitosan (cs) microspheres as a novel drug delivery vehicle for intranasal immunization using high, medium and low cs molecular weight (mw) was investigated in this study. diphtheria toxoid (dt) was used as a model antigen. the emulsion-solidification method was adopted for microencapsulation of dt.  in the first step, following the purification of semi-crude dt by the ion-exchan...

Up until now, we have been introducing mathematical notation to capture concepts such as propositions, implications, predicates, and sets. We need this machinery in order to be able to argue properties of discrete structures in a rigorous manner. As we were introducing new concepts, we stated various facts and gave proofs of some of them, but we were not explicit about what a correct proof shou...

1 University of Colorado, Interdisciplinary Telecommunications Prog., Boulder, USA, [email protected], 2 Carnegie Mellon University, Dept. of ICT, Kigali, Rwanda, [email protected] 3 International Centre for Theoretical Physics, ICT4D Laboratory, Trieste, Italy. [email protected],[email protected] 4 University of the Western Cape, ISAT Lab, Dept. of CS, Bellville, South Africa, [email protected]....

A dynamic model Whole-Arm Dexterous Manipulation In The Plane S.L. Yeap J.C. Trinkle Dept. of CS syeap@cs. tamu.edu Dept. of CS trink@cs . t amu.edu Texas A&M University, College Station, TX 77843-31 12 ' of a dexterous manipulation system can be used for predicting the feasibility of a manipulation plan generated under the quasistatic assumption but executed under dynamic conditions. Contact f...

This paper presents the SafeCap Platform approach to the verification of railway safety properties. We discuss how the hierarchy of formal theories is used to capture the railway domain and interface with verification tools; we explain the contribution of each individual theory to the overall task of safety verification and capacity assessment. Finally, we briefly relate our experience of using...

The TREC 2016 Contextual Suggestion task aims at providing recommendations on points of attraction for different kind of users and a varying context. Our group DPLAB IITBHU tries to recommend relevant point-of-interests to a user based on the information provided on the candidate attractions and her past preferences. We employ open-web information in a novel way to capture the best possible set...