2-Transitivity is Insufficient for Local Testability

A basic goal in property testing is to identify a minimal set of features that make a property testable. For the case when the property to be tested is membership in a binary linear error-correcting code, Alon et al. (Trans Inf Theory, 51(11):4032–4039, 2005) had conjectured that the presence of a single low-weight codeword in the dual, and “2-transitivity” of the code (i.e., the code being invariant under a 2-transitive group of permutations on the coordinates of the code) suffice to get local testability. We refute this conjecture by giving a family of error-correcting codes where the coordinates of the codewords form a large field of characteristic two, and the code is invariant under affine transformations of the domain. This class of properties was introduced by Kaufman & Sudan (STOC, 2008) as a setting where many results in algebraic property testing generalize. Our result shows a complementary virtue: This family also can be useful in producing counterexamples to natural conjectures.     

NetCluster: A clustering-based framework to analyze internet passive measurements data

Internet measured data collected via passive measurement are analyzed to obtain localization information on nodes by clustering (i.e., grouping together) nodes that exhibit similar network path properties. Since traditional clustering algorithms fail to correctly identify clusters of homogeneous nodes, we propose the NetCluster novel framework, suited to analyze Internet measurement datasets. We show that the proposed framework correctly analyzes synthetically generated traces. Finally, we apply it to real traces collected at the access link of Politecnico di Torino campus LAN and discuss the network characteristics as seen at the vantage point.     

A tabu search heuristic for a sequence-dependent and time-dependent scheduling problem on a single machine

This paper introduces a tabu search heuristic for a production scheduling problem with sequence-dependent and time-dependent setup times on a single machine. The problem consists in scheduling a set of dependent jobs, where the transition between two jobs comprises an unrestricted setup that can be performed at any time, and a restricted setup that must be performed outside of a given time interval which repeats daily in the same position. The setup time between two jobs is thus a function of the completion time of the first job. The tabu search heuristic relies on shift and swap moves, and a surrogate objective function is used to speed-up the neighborhood evaluation. Computational experiments show that the proposed heuristic consistently finds better solutions in less computation time than a recent branch-and-cut algorithm. Furthermore, on instances where the branch-and-cut algorithm cannot find the optimal solution, the heuristic always identifies a better solution.     

GLSV: Graphics library stereo vision for OpenGL

This work proposes the development of an auxiliary library for use with OpenGL, to facilitate the creation of graphic applications incorporating stereoscopic representation. This library, christened graphics library stereo vision (GLSV), is designed to remove all calculations involving knowledge of stereo vision theory from the task performed by the programmer without the latter having to change the way he/she has been working with the OpenGL library. The GLSV is distributed under the terms of the GNU Library General Public License agreement.     

Thymosin β4 is differentially expressed in the cerebrospinal fluid of Creutzfeldt‐Jakob disease patients: a MALDI‐TOF MS protein profiling study

MALDI‐TOF protein profiling analysis permits the detection of peptides and small proteins in complex protein mixtures with great accuracy. We applied this analysis to cerebrospinal fluid (CSF) from 15 patients affected by Creutzfeldt‐Jakob disease (CJD). We compared the levels of the normalized ion signals of 11 sporadic and 4 genetic CJD forms with those from ten healthy control subjects and eight non‐CJD relapsing‐remitting multiple sclerosis patients. In so doing, we detected 61 differentially expressed ion signals in CJD samples compared to controls. Among the 61 signals, 3 signals had significantly increased levels with high statistical significance (p <0.0001) and were located at 3238.3 m/z, 4963.7 m/z, and 8565.3 m/z. We characterized the 5.0 and 8.6 kDa proteins as thymosin β4 N‐acetylated and free ubiquitin, respectively, while the 3.2‐kDa peptide remained uncharacterized. Although elevated ubiquitin levels have previously been described in CJD, we have demonstrated for the first time the involvement of thymosin β4 in a neurodegenerative disease. To support the validity of thymosin β4 levels obtained by MALDI‐TOF analysis, an independent enzyme immunoassay analysis was performed. Moreover, a validation cohort consisting of CSF from three CJD patients, five healthy subjects, and six non‐CJD relapsing‐remitting multiple sclerosis patients was analyzed in a similar way, yielding superimposable results. We propose that thymosin β4 is a potential new candidate marker for the ante mortem diagnosis of CJD disease.     

Prediction of the percentages of cows'', goats'' and ewes'' milk in “Iberico” cheese by electrophoretic analysis of whey proteins

Stepwise multiple linear regression (SMLR) and principal components regression (PCR) have been used to predict the percentages of cows', goats' and ewes' milk in Iberico cheese, using the results obtained by electrophoretic analysis (PAGE and IEF) of whey proteins, using standard cheeses. Similar predictions of the percentages of milks from the three species were obtained when either SMLR or PCR were applied to the electrophoretic data, i.e. the optical intensity of the electrophoretic bands (PAGE or IEF) of the whey proteins. The root mean square error of prediction in cross-validation (RMSEPCV) was lower than 4% in all cases.     

Fuzzy Adaptive Control Law for Trajectory Tracking Based on a Fuzzy Adaptive Neural PID Controller of a Multi-rotor Unmanned Aerial Vehicle

International Journal of Control, Automation and Systems - This article presents a fuzzy adaptive control law (FACL) designed for tracking the trajectory of a low-scale unmanned aerial vehicle...     

Flow modeling of linear and nonlinear fluids in two scale fibrous fabrics

The fundamental macroscopic material property needed to quantify the flow in a fibrous medium viewed as a porous medium is the permeability. Composite processing models require the permeability as input data to predict flow patterns and pressure fields. As permeability reflects both the magnitude and anisotropy of the fluid/fiber resistance, efficient numerical techniques are needed to solve linear and nonlinear homogenization problems online during the flow simulation. In a previous work the expressions of macroscopic permeability were derived in a double-scale porosity medium for both Newtonian and rheo-thinning resins. In the linear case only a microscopic calculation on a representative volume is required, implying as many microscopic calculations as representative microscopic volumes exist in the whole fibrous structure. In the non-linear case, and even when the porous microstructure can be described by a unique representative volume, microscopic calculation must be carried out many times because the microscale resin viscosity depends on the macroscopic velocity, which in turn depends on the permeability that results from a microscopic calculation. Thus, a nonlinear multi-scale problem results. In this paper an original and efficient offline-online procedure is proposed for the efficient solution of nonlinear flow problems in porous media.     

GraftFast Surface Engineering to Improve MOF Nanoparticles Furtiveness

Controlling the outer surface of nanometric metal–organic frameworks (nanoMOFs) and further understanding the in vivo effect of the coated material are crucial for the convenient biomedical applications of MOFs. However, in most studies, the surface modification protocol is often associated with significant toxicity and/or lack of selectivity. As an alternative, how the highly selective and general grafting GraftFast method leads, through a green and simple process, to the successful attachment of multifunctional biopolymers (polyethylene glycol (PEG) and hyaluronic acid) on the external surface of nanoMOFs is reported. In particular, effectively PEGylated iron trimesate MIL‐100(Fe) nanoparticles (NPs) exhibit suitable grafting stability and superior chemical and colloidal stability in different biofluids, while conserving full porosity and allowing the adsorption of bioactive molecules (cosmetic and antitumor agents). Furthermore, the nature of the MOF–PEG interaction is deeply investigated using high‐resolution soft X‐ray spectroscopy. Finally, a cell penetration study using the radio‐labeled antitumor agent gemcitabine monophosphate (³H‐GMP)‐loaded MIL‐100(Fe)@PEG NPs shows reduced macrophage phagocytosis, confirming a significant in vitro PEG furtiveness.     

Support environment for active rule design

The lack of tools for rule generation, analysis, and run-time monitoring appears one of the main obstacles to the widespreading of active database applications. This paper describes a complete tool environment for assisting the design of active rules applications; the tools were developed at Politecnico di Milano in the context of the IDEA Project, a 4-years Esprit project sponsored by the European Commission which was launched in June 1992. We describe tools for active rule generation, analysis, debugging, and browsing; rules are defined in Chimera, a conceptual design model and language for the specification of active rules applications. We also introduce a tool for mapping from Chimera into Oracle, a relational product supporting triggers.Most of the tools described in this paper are fully implemented and currently in operation (beta-testing) within the companies participating to the IDEA Project, with the exception of two of them (called Argonaut-V and Pandora), which will be completed by the end of 1996.Research presented in this paper is supported by Esprit project P6333 IDEA, and by ENEL contract VDS 1/94: Integrity Constraint Management