Extending the power of datalog recursion

Supporting aggregates in recursive logic rules represents a very important problem for Datalog. To solve this problem, we propose a simple extension, called Datalog $^{FS}\,$ (Datalog extended with frequency support goals), that supports queries and reasoning about the number of distinct variable assignments satisfying given goals, or conjunctions of goals, in rules. This monotonic extension greatly enhances the power of Datalog, while preserving (i) its declarative semantics and  (ii) its amenability to efficient implementation via differential fixpoint and other optimization techniques presented in the paper. Thus, Datalog $^{FS}\,$ enables the efficient formulation of queries that could not be expressed efficiently or could not be expressed at all in Datalog with stratified negation and aggregates. In fact, using a generalized notion of multiplicity called frequency, we show that diffusion models and page rank computations can be easily expressed and efficiently implemented using Datalog $^{FS}\,$ .     

Stabilizability of switched linear systems does not imply the existence of convex Lyapunov functions

Counterexamples are given which show that a linear switched system (with controlled switching) that can be stabilized by means of a suitable switching law does not necessarily admit a convex Lyapunov function. Both continuous- and discrete-time cases are considered. This fact contributes in focusing the difficulties encountered so far in the theory of stabilization of switched system. In particular the result is in contrast with the case of uncontrolled switching in which it is known that if a system is stable under arbitrary switching then admits a polyhedral norm as a Lyapunov function.     

Test Technology Newsletter

Journal of Electronic Testing -     

Construction of Asymmetrical Hexameric Biomimetic Motors with Continuous Single‐Directional Motion by Sequential Coordination

The significance of bionanomotors in nanotechnology is analogous to mechanical motors in daily life. Here the principle and approach for designing and constructing biomimetic nanomotors with continuous single‐directional motion are reported. This bionanomotor is composed of a dodecameric protein channel, a six‐pRNA ring, and an ATPase hexamer. Based on recent elucidations of the one‐way revolving mechanisms of the phi29 double‐stranded DNA (dsDNA) motor, various RNA and protein elements are designed and tested by single‐molecule imaging and biochemical assays, with which the motor with active components has been constructed. The motor motion direction is controlled by three operation elements: (1) Asymmetrical ATPase with ATP‐interacting domains for alternative DNA binding/pushing regulated by an arginine finger in a sequential action manner. The arginine finger bridges two adjacent ATPase subunits into a non‐covalent dimer, resulting in an asymmetrical hexameric complex containing one dimer and four monomers. (2) The dsDNA translocation channel as a one‐way valve. (3) The hexameric pRNA ring geared with left‐/right‐handed loops. Assessments of these constructs reveal that one inactive subunit of pRNA/ATPase is sufficient to completely block motor function (defined as K = 1), implying that these components work sequentially based on the principle of binomial distribution and Yang Hui's triangle.     

Recommendation of RILEM Technical Committee 250-CSM: Test method for Textile Reinforced Mortar to substrate bond characterization

Textile Reinforced Mortar (TRM), also known as Fabric Reinforced Mortar or Fabric Reinforced Cementitious Matrix, composites are an emerging technology for the external repair and strengthening of existing structures. For most applications, the effectiveness of the TRM reinforcement relies on its bond performance. This recommendation identifies the best practice to characterize the bond behaviour of TRM. A shear bond test method is proposed to determine the peak axial stress (associated with the maximum load that can be transferred from the structural member to the externally bonded TRM reinforcement), the stress–slip relationship and the failure mode that controls the TRM-to-substrate load transfer capacity. Guidelines on specimen manufacturing, experimental setup, test execution, and determination of test results are provided.     

Microalbuminuria, arterial hypertension and the cardiovascular risk

Both the Entamoeba histolytica lectin, a virulence factor for the causative agent of amebiasis, and the mammalian hepatic lectin bind to N-acetylgalactosamine (GalNAc) and galactose (Gal) nonreducing termini on oligosaccharides, with preference for GalNAc. Polyvalent GalNAc-derivatized neoglycoproteins have >1000-fold enhanced binding affinity for both lectins (Adler,P., Wood,S.J., Lee,Y.C., Lee,R.T., Petri,W.A.,Jr. and Schnaar,R.L.,1995, J. Biol. Chem ., 270, 5164-5171). Substructural specificity studies revealed that the 3-OH and 4-OH groups of GalNAc were required for binding to both lectins, whereas only the E.histolytica lectin required the 6-OH group. Whereas GalNAc binds with 4-fold lower affinity to the E.histolytica lectin than to the mammalian hepatic lectin, galactosamine and N-benzoyl galactosamine bind with higher affinity to the E. histolytica lectin. Therefore, a synthetic scheme for converting polyamine carriers to poly-N-acyl galactosamine derivatives (linked through the galactosamine primary amino group) was developed to test whether such ligands would bind the E.histolytica lectin with high specificity and high affinity. Contrary to expectations, polyvalent derivatives including GalN6lys5, GalN4desmosine, GalN4StarburstTMdendrimer, and GalN8StarburstTMdendrimer demonstrated highly enhanced binding to the mammalian hepatic lectin but little or no enhancement of binding to the E.histolytica lectin. We propose that the mammalian hepatic lectin binds with greatest affinity to GalNAc "miniclusters," which mimic branched termini of N-linked oligosaccharides, whereas the E.histolytica lectin binds most effectively to "maxiclusters," which may mimic more widely spaced GalNAc residues on intestinal mucins.     

Finite-time control of discrete-time linear systems: Analysis and design conditions

In this paper we deal with some finite-time control problems for discrete-time, time-varying linear systems. First we provide necessary and sufficient conditions for finite-time stability; these conditions require either the computation of the state transition matrix of the system or the solution of a certain difference Lyapunov inequality. Then we address the design problem. The proposed conditions allow us to find output feedback controllers which stabilize the closed loop system in the finite-time sense; all these conditions can be expressed in terms of LMIs and therefore are numerically tractable, as shown in the example included in the paper.     

Proteomic profile of differentially expressed plasma proteins from dystrophic mice and following suberoylanilide hydroxamic acid treatment

Purpose: Histone Deacetylase Inhibitors (DI) ameliorates dystrophic muscle regeneration restoring muscular strength in the mdx mouse model of Duchenne muscular dystrophy (DMD). The further development of these compounds as drugs for DMD treatment is currently hampered by the lack of knowledge about DIs effect in large dystrophic animal models and that of suitable biomarkers to monitor their efficacy. Experimental design: In this study we applied proteomic analysis to identify differentially expressed proteins present in plasma samples from mdx mice treated with the Suberoylanilide hydroxamic acid (SAHA) and relative normal controls (WT). Results: Several differentially expressed proteins were identified between untreated wild type and mdx mice. Among these, fibrinogen, epidermal growth factor 2 receptor, major urinary protein and glutathione peroxidase 3 (GPX3) were constitutively up‐regulated in mdx, while complement C3, complement C6, gelsolin, leukaemia inhibitory factor receptor (LIFr), and alpha 2 macroglobulin were down‐regulated compared to WT mice. SAHA determined the normalization of LIFr and GPX3 protein level while apoliprotein E was de novo up‐regulated in comparison to vehicle‐treated mdx mice. Conclusions and clinical relevance: Collectively, these data unravel potential serological disease biomarkers of mdx that could be useful to monitor muscular dystrophy response to DI treatment.