Robust region detection via consensus segmentation of deformable shapes

We consider the problem of stable region detection and segmentation of deformable shapes. We pursue this goal by determining a consensus segmentation from a heterogeneous ensemble of putative segmentations, which are generated by a clustering process on an intrinsic embedding of the shape. The intuition is that the consensus segmentation, which relies on aggregate statistics gathered from the segmentations in the ensemble, can reveal components in the shape that are more stable to deformations than the single baseline segmentations. Compared to the existing approaches, our solution exhibits higher robustness and repeatability throughout a wide spectrum of non-rigid transformations. It is computationally efficient, naturally extendible to point clouds, and remains semantically stable even across different object classes. A quantitative evaluation on standard datasets confirms the potentiality of our method as a valid tool for deformable shape analysis

Release of proteins via ion exchange from albumin-heparin microspheres

Albumin-heparin and albumin microspheres were prepared as ion exchange gels for the controlled release of positively charged polypeptides and proteins. The adsorption isotherms of chicken egg and human lysozyme, as model proteins, on microspheres were obtained. An adsorption isotherm of chicken egg lysozyme on albumin-heparin microspheres was linear until saturation was abruptly reached,\ud \ud The adsorption isotherms of human lysozyme at low and high ionic strength were typical of adsorption isotherms of proteins on ion exchange gels. The adsorption of human lysozyme on albumin-heparin and albumin microspheres fit the Freundlich equation suggesting heterogeneous binding sites. This was consistent with the proposed multivalent, electrostatic interactions between human lysozyme and negatively charged microspheres. Scatchard plots of the adsorption processes of human lysozyme on albumin-heparin and albumin microspheres suggested negative cooperativity, while positive cooperativity was observed for chicken egg lysozyme adsorption on albumin-heparin microspheres.\ud \ud Human lysozyme loading of albumin-heparin microspheres was 3 times higher than with albumin microspheres, with long term release occurring via an ion exchange mechanism. Apparent diffusion coefficients of 2.1 × 10-1 and 3.9 × 10-11cm2/sec were obtained for the release of human lysozyme from albumin-heparin and albumin microspheres, respectively. The release was found to be independent of diffusion, since the rate determining step was likely an adsorption/desorption processes. An apparent diffusion coefficient of 4.1 × 10-12 cm2/sec was determined for the release of chicken egg lysozyme from albumin-heparin microspheres.\ud \ud Low release of the lysozymes from albumin-heparin microspheres was observed in deionized water, consistent with the proposed ion exchange release mechanism. Overall, albumin-heparin microspheres demonstrated enhanced ion exchange characteristics over albumin microspheres

Release of macromolecules from albumin-heparin microspheres

Hydrophilic microspheres based on albumin-heparin conjugates have been prepared as a macromolecular delivery system. The soluble albumin-heparin conjugate was synthesized and crosslinked in a water-in-oil emulsion with glutaraldehyde to form microspheres in the same manner as for albumin microsphere preparation. The microspheres were characterized in terms of their size and swelling properties. The loading of macromolecules into albumin-heparin microspheres was carried out concurrently and after microsphere preparation. FITC-dextran was applied as a model macromolecule. A higher loading content was achieved when loading was carried out concurrently with microsphere preparation than when loaded subsequently. Prolonged release of FITC-dextran from albumin-heparin microspheres was achieved and attributed to the high molecular weight of the macromolecule. The release of FITC-dextran was modulated by crosslinking density, loading content and the method of drug incorporation. Apparently, the mechanism of FITC-dextran release from albumin-heparin microspheres was dependent on the method of drug incorporation. For release of FITC-dextran from the microspheres, assuming negligible interactions, a diffusion coefficient of 1.7 × 10¿9 cm2/s was determined

Iterative graph cuts for image segmentation with a nonlinear statistical shape prior

Shape-based regularization has proven to be a useful method for delineating objects within noisy images where one has prior knowledge of the shape of the targeted object. When a collection of possible shapes is available, the specification of a shape prior using kernel density estimation is a natural technique. Unfortunately, energy functionals arising from kernel density estimation are of a form that makes them impossible to directly minimize using efficient optimization algorithms such as graph cuts. Our main contribution is to show how one may recast the energy functional into a form that is minimizable iteratively and efficiently using graph cuts.Comment: Revision submitted to JMIV (02/24/13

Preparation and characterization of microspheres of albumin-heparin conjugates

Albumin-heparin microspheres have been prepared as a new drug carrier. A soluble albumin-heparin conjugate was synthesized by forming amide bonds between human serum albumin and heparin. After purification the albumin-heparin conjugate was crosslinked in a water-in-oil emulsion to form albumin-heparin microspheres. The composition of the conjugate was determined by amino acid analysis. The swelling properties of albumin-heparin microspheres were investigated as a function of pH and ionic strength and compared with albumin microspheres. Albumin-heparin and albumin microspheres exhibited stimuli-sensitive swelling. Both microsphere systems exhibited low swelling at low pH and high swelling at higher pH caused by ionization of amino acids of serum albumin. The swelling of albumin-heparin microspheres was more sensitive toward ionic strength than that of albumin microspheres. This was due to the greater negative charge of the albumin-heparin microspheres. Surfaces of albumin-heparin and albumin microspheres were characterized by ESCA, contact angle measurements, electrophoresis, and scanning electron microscopy. Surface analysis indicated the presence of heparin at the albumin-heparin microsphere/water interface

A reduced semantics for deciding trace equivalence using constraint systems

Many privacy-type properties of security protocols can be modelled using trace equivalence properties in suitable process algebras. It has been shown that such properties can be decided for interesting classes of finite processes (i.e., without replication) by means of symbolic execution and constraint solving. However, this does not suffice to obtain practical tools. Current prototypes suffer from a classical combinatorial explosion problem caused by the exploration of many interleavings in the behaviour of processes. M\"odersheim et al. have tackled this problem for reachability properties using partial order reduction techniques. We revisit their work, generalize it and adapt it for equivalence checking. We obtain an optimization in the form of a reduced symbolic semantics that eliminates redundant interleavings on the fly.Comment: Accepted for publication at POST'1

Formal Analysis of V2X Revocation Protocols

Research on vehicular networking (V2X) security has produced a range of security mechanisms and protocols tailored for this domain, addressing both security and privacy. Typically, the security analysis of these proposals has largely been informal. However, formal analysis can be used to expose flaws and ultimately provide a higher level of assurance in the protocols. This paper focusses on the formal analysis of a particular element of security mechanisms for V2X found in many proposals: the revocation of malicious or misbehaving vehicles from the V2X system by invalidating their credentials. This revocation needs to be performed in an unlinkable way for vehicle privacy even in the context of vehicles regularly changing their pseudonyms. The REWIRE scheme by Forster et al. and its subschemes BASIC and RTOKEN aim to solve this challenge by means of cryptographic solutions and trusted hardware. Formal analysis using the TAMARIN prover identifies two flaws with some of the functional correctness and authentication properties in these schemes. We then propose Obscure Token (OTOKEN), an extension of REWIRE to enable revocation in a privacy preserving manner. Our approach addresses the functional and authentication properties by introducing an additional key-pair, which offers a stronger and verifiable guarantee of successful revocation of vehicles without resolving the long-term identity. Moreover OTOKEN is the first V2X revocation protocol to be co-designed with a formal model.Comment: 16 pages, 4 figure

Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version)

Security protocols are often found to be flawed after their deployment. We present an approach that aims at the neutralization or mitigation of the attacks to flawed protocols: it avoids the complete dismissal of the interested protocol and allows honest agents to continue to use it until a corrected version is released. Our approach is based on the knowledge of the network topology, which we model as a graph, and on the consequent possibility of creating an interference to an ongoing attack of a Dolev-Yao attacker, by means of non-collaboration actuated by ad-hoc benign attackers that play the role of network guardians. Such guardians, positioned in strategical points of the network, have the task of monitoring the messages in transit and discovering at runtime, through particular types of inference, whether an attack is ongoing, interrupting the run of the protocol in the positive case. We study not only how but also where we can attempt to defend flawed security protocols: we investigate the different network topologies that make security protocol defense feasible and illustrate our approach by means of concrete examples.Comment: 29 page

Missense mutations at homologous positions in the fourth and fifth laminin A G-like domains of eyes shut homolog cause autosomal recessive retinitis pigmentosa

Purpose: To describe two novel mutations in the eyes shut homolog (EYS) gene in two families with autosomal recessive retinitis pigmentosa (arRP) from Pakistan and Indonesia. Methods: Genome-wide linkage and homozygosity mapping were performed using single nucleotide polymorphism microarray analysis in affected members of the two arRP families. Sequence analysis was performed to identify genetic changes in protein coding exons of EYS. Results: In the Indonesian and Pakistani families, homozygous regions encompassing the EYS gene at 6q12 were identified, with maximum LOD scores of 1.8 and 3.6, respectively. Novel missense variants in the EYS gene (p.D2767Y and p.D3028Y) were found in the Pakistani and Indonesian families, respectively, that co-segregate with the disease phenotype. Interestingly, the missense variants are located at the same homologous position within the fourth and fifth laminin A G-like domains of EYS. Conclusions: To date, mostly protein-truncating mutations have been described in EYS, while only few patients have been described with pathogenic compound heterozygous missense mutations. The mutations p.D2767Y and p.D3028Y described in this study affect highly conserved residues at homologous positions in laminin A G-like domains and support the notion that missense mutations in EYS can cause arRP