Using ambients to control resources

Current software and hardware systems, being parallel and reconfigurable, raise new safety and reliability problems, and the resolution of these problems requires new methods. Numerous proposals aim at reducing the threat of bugs and preventing several kinds of attacks. In this paper, we develop an extension of the calculus of mobile ambients, named controlled ambients, that is suited for expressing such issues, specifically denial of service attacks. We present a type system for controlled ambients, which makes static resource control possible in our setting, and enhance it with a rich notion of resources .     

Isotropic Energies, Filters and Splines for Vector Field Regularization

The aim of this paper is to propose new regularization and filtering techniques for dense and sparse vector fields, and to focus on their application to non-rigid registration. Indeed, most of the regularization energies used in non-rigid registration operate independently on each coordinate of the transformation. The only common exception is the linear elastic energy, which enables cross-effects between coordinates. Cross-effects are yet essential to give realistic deformations in the uniform parts of the image, where displacements are interpolated.In this paper, we propose to find isotropic quadratic differential forms operating on a vector field, using a known theorem on isotropic tensors, and we give results for differentials of order 1 and 2. The quadratic approximation induced by these energies yields a new class of vectorial filters, applied numerically in the Fourier domain. We also propose a class of separable isotropic filters generalizing Gaussian filtering to vector fields, which enables fast smoothing in the spatial domain. Then we deduce splines in the context of interpolation or approximation of sparse displacements. These splines generalize scalar Laplacian splines, such as thin-plate splines, to vector interpolation. Finally, we propose to solve the problem of approximating a dense and a sparse displacement field at the same time. This last formulation enables us to introduce sparse geometrical constraints in intensity based non-rigid registration algorithms, illustrated here on intersubject brain registration.     

Histone Deacetylases Function in the Control of Early Hematopoiesis and Erythropoiesis

Numerous studies have highlighted the role of post-translational modifications in the regulation of cell proliferation, differentiation and death. Among these modifications, acetylation modifies the physicochemical properties of proteins and modulates their activity, stability, localization and affinity for partner proteins. Through the deacetylation of a wide variety of functional and structural, nuclear and cytoplasmic proteins, histone deacetylases (HDACs) modulate important cellular processes, including hematopoiesis, during which different HDACs, by controlling gene expression or by regulating non-histone protein functions, act sequentially to provide a fine regulation of the differentiation process both in early hematopoietic stem cells and in more mature progenitors. Considering that HDAC inhibitors represent promising targets in cancer treatment, it is necessary to decipher the role of HDACs during hematopoiesis which could be impacted by these therapies. This review will highlight the main mechanisms by which HDACs control the hematopoietic stem cell fate, particularly in the erythroid lineage.     

Mining conjunctive sequential patterns

In this paper we aim at extending the non-derivable condensed representation in frequent itemset mining to sequential pattern mining. We start by showing a negative example: in the context of frequent sequences, the notion of non-derivability is meaningless. Therefore, we extend our focus to the mining of conjunctions of sequences. Besides of being of practical importance, this class of patterns has some nice theoretical properties. Based on a new unexploited theoretical definition of equivalence classes for sequential patterns, we are able to extend the notion of a non-derivable itemset to the sequence domain. We present a new depth-first approach to mine non-derivable conjunctive sequential patterns and show its use in mining association rules for sequences. This approach is based on a well known combinatorial theorem: the Möbius inversion. A performance study using both synthetic and real datasets illustrates the efficiency of our mining algorithm. These new introduced patterns have a high-potential for real-life applications, especially for network monitoring and biomedical fields with the ability to get sequential association rules with all the classical statistical metrics such as confidence, conviction, lift etc.     

Properties of laboratory made yellow poplar (Liriodendron tulipifera) laminated veneer lumber: effect of the adhesives

Four different commercial resin formulations namely cross-linked polyvinyl acetate (XPVAc), melamine urea formaldehyde (MUF), urea formaldehyde (UF) and melamine formaldehyde (MF) were used to produce laminated veneer lumber (LVL) from yellow poplar veneers in the laboratory. Physical and mechanical properties were evaluated using ASTM (D 1037, D 906, D 5456) standards and compared. Internal bond, tensile shear and block shear strengths of specimens subjected to accelerated (boiled water) and cyclic (repeated cold water) conditions were also determined. Strength properties of yellow poplar LVL were improved compared with the solid wood. The properties of XPVAc bonded LVL were superior or comparable to the thermosetting adhesives. This study clearly indicated that cross-linked PVAc can be used to manufacture LVL with acceptable properties.     

车载视觉武装司机

使车载视觉变成现实的大部分必要技术已经问世。未来,我们将看到具有视觉功能、为司机提建议、甚至自动对道路、交通状况以及天气变化做出响应的汽车。其中两种关键技术,即能够把原始图像转换成可用信息的数码     

Antimicrobial Activity of Nisin and Natamycin Incorporated Sodium Caseinate Extrusion‐Blown Films: A Comparative Study with Heat‐Pressed/Solution Cast Films

Antimicrobial edible films based on sodium caseinate, glycerol, and 2 food preservatives (nisin or natamycin) were prepared by classical thermomechanical processes. Food preservatives were compounded (at 65 °C for 2.5 min) with sodium caseinate in a twin‐screw extruder. Anti‐Listeria activity assays revealed a partial inactivation of nisin following compounding. Thermoplastic pellets containing food preservatives were then used to manufacture films either by blown‐film extrusion process or by heat‐press. After 24 h of incubation on agar plates, the diameters of K. rhizophila growth inhibition zones around nisin‐incorporated films prepared by solution casting (control), extrusion blowing or heat pressing at 80 °C for 7 min of nisin‐containing pellets were 15.5 ± 0.9, 9.8 ± 0.2, and 8.6 ± 1.0 mm, respectively. Since heat‐pressing for 7 min at 80 °C of nisin‐incorporated pellets did not further inactivate nisin, this indicates that nisin inactivation during extrusion‐blowing was limited. Moreover, the lower diameter of the K. rhizophila growth inhibition zone around films prepared with nisin‐containing pellets compared to that observed around films directly prepared by solution casting confirms that nisin inactivation mainly occurred during the compounding step. Natamycin‐containing thermoplastic films inhibited Aspergillus niger growth; however, by contrast with nisin‐containing films, heat‐pressed films had higher inhibition zone diameters than blown films, therefore suggesting a partial inactivation of natamycin during extrusion‐blowing.