Reusable Polyacrylonitrile-Sulfur Extractor of Heavy Metal Ions from Wastewater

Mercury, lead, and cadmium are among the most toxic and carcinogenic heavy metal ions (HMIs), posing serious threats to the sustainability of aquatic ecosystems and public health. There is an urgent need to remove these ions from water by a cheap but green process. Traditional methods have insufficient removal efficiency and reusability. Structurally robust, large surface-area adsorbents functionalized with high-selectivity affinity to HMIs are attractive filter materials. Here, an adsorbent prepared by vulcanization of polyacrylonitrile (PAN), a nitrogen-rich polymer, is reported, giving rise to PAN-S nanoparticles with cyclic π-conjugated backbone and electronic conductivity. PAN-S can be coated on ultra-robust melamine (ML) foam by simple dipping and drying. In agreement with hard/soft acid/base theory, N- and S-containing soft Lewis bases have strong binding to Hg²⁺, Pb²⁺, Cu²⁺, and Cd²⁺, with extraordinary capture efficiency and performance stability. Furthermore, the used filters, when collected and electrochemically biased in a recycling bath, can release the HMIs into the bath and electrodeposit on the counter-electrode as metallic Hg⁰, Pb⁰, Cu⁰, and Cd⁰, and the PAN-S@ML filter can then be reused at least 6 times as new. The electronically conductive PAN-S@ML filter can be fabricated cheaply and holds promise for scale-up applications.     

Determination of the solubility parameter of poly(ethylene oxide) at 25°C by gas-liquid chromatography

The solubility parameter of poly(ethylene oxide) at 25°C has been determined using the method developed by DiPaola-Baranyi and Guillet, by the extrapolation of the values of the interaction parameter χ, at high temperatures, ranging from 70°–90°, 90°–110° and 110°–130°C down to 25°C. The values of the solubility parameter obtained, depending on the temperature ranges employed, are 9.8, 9.9 and 10.1, respectively.     

Low-cost sensor to detect overtaking based on optical flow

The automotive industry invests substantial amounts of money in driver-security and driver-assistance systems. We propose an overtaking detection system based on visual motion cues that combines feature extraction, optical flow, solid-objects segmentation and geometry filtering, working with a low-cost compact architecture based on one focal plane and an on-chip embedded processor. The processing is divided into two stages: firstly analog processing on the focal plane processor dedicated to image conditioning and relevant image-structure selection, and secondly, vehicle tracking and warning-signal generation by optical flow, using a simple digital microcontroller. Our model can detect an approaching vehicle (multiple-lane overtaking scenarios) and warn the driver about the risk of changing lanes. Thanks to the use of tightly coupled analog and digital processors, the system is able to perform this complex task in real time with very constrained computing resources. The proposed method has been validated with a sequence of more than 15,000 frames (90 overtaking maneuvers) and is effective under different traffic situations, as well as weather and illumination conditions.     

An approach to reduce energy consumption and performance losses on heterogeneous servers using power capping

Journal of Scheduling - Rapid growth of demand for remote computational power, along with high energy costs and infrastructure limits, has led to treating power usage as a primary constraint in...     

Gossip-based aggregation of trust in decentralized reputation systems

Decentralized Reputation Systems have recently emerged as a prominent method of establishing trust among self-interested agents in online environments. A key issue is the efficient aggregation of data in the system; several approaches have been proposed, but they are plagued by major shortcomings. We put forward a novel, decentralized data management scheme grounded in gossip-based algorithms. Rumor mongering is known to possess algorithmic advantages, and indeed, our framework inherits many of their salient features: scalability, robustness, a global perspective, and simplicity. We demonstrate that our scheme motivates agents to maintain a very high reputation, by showing that the higher an agent’s reputation is above the threshold set by its peers, the more transactions it would be able to complete within a certain time unit. We analyze the relation between the amount by which an agent’s average reputation exceeds the threshold and the time required to close a deal. This analysis is carried out both theoretically, and empirically through a simulation system called GossipTrustSim. Finally, we show that our approach is inherently impervious to certain kinds of attacks. A preliminary version of this article appeared in the proceedings of IJCAI 2007.     

A structural linearization principle for processes

In [11], an induction principle for processes was given which allows one to apply model-checking techniques to parameterized families of processes. A limitation of the induction principle is that it does not apply to the case in which one process depends directly upon a parameterized number of processes, which grows without bound. This would seem to preclude its application to families ofN processes interconnected in a star topology. Nonetheless, we show that if the dependency can be computed incrementally, then the direct dependency upon the parameterized number of processes may be re-expressed recursively in terms of a linear cascade of processes, yielding in effect a linearization of the inter-process dependencies and allowing the induction principle to apply.A previous version of this paper appears in the Proceedings of CAV 1993 (LNCS 697).     

Detection of IgM against the dengue++ virus in whole blood absorbed on filter paper]

Thirty-four sheep were submitted to surgery substituting the native ACL with the central third of the patellar tendon, ten enter this study. The purpose was to find a possible relationship between tissue pO2 and healing processes considering also the biomechanical and histomorphological aspects of the grafts. Four of them were sacrificed under general anaesthesia after 6 months, and six after 1 year in order to perform tissue pO2 measurement and an analysis of microvessel density on specimens of the normal ACL and the graft. Our data showed higher pO2 values of the autografts after 6 months. After 1 year the data was comparable to those of native ACL. This was confirmed by a microvessel count of the histological specimens and the data was in relationship to biomechanical and histomorphological analysis. Tissue pO2 can be observed and recorded in "in vivo" ACL, and patellar tendon used as graft, with no injury to their integrity. The monitoring system might be considered as an experimental tool for indirect controls of the anterior cruciate substitutes.     

Context‐Dependent Crowd Evaluation

Many times, even if a crowd simulation looks good in general, there could be some specific individual behaviors which do not seem correct. Spotting such problems manually can become tedious, but ignoring them may harm the simulation's credibility. In this paper we present a data‐driven approach for evaluating the behaviors of individuals within a simulated crowd. Based on video‐footage of a real crowd, a database of behavior examples is generated. Given a simulation of a crowd, an analog analysis is performed on it, defining a set of queries, which are matched by a similarity function to the database examples. The results offer a possible objective answer to the question of how similar are the simulated individual behaviors to real observed behaviors. Moreover, by changing the video input one can change the context of evaluation. We show several examples of evaluating simulated crowds produced using different techniques and comprising of dense crowds, sparse crowds and flocks.     

Semi-formal transformation of secure business processes into analysis class and use case models: An MDA approach

ContextModel-Driven Development (MDD) is an alternative approach for information systems development. The basic underlying concept of this approach is the definition of abstract models that can be transformed to obtain models near implementation. One fairly widespread proposal in this sphere is that of Model Driven Architecture (MDA). Business process models are abstract models which additionally contain key information about the tasks that are being carried out to achieve the company’s goals, and two notations currently exist for modelling business processes: the Unified Modelling Language (UML), through activity diagrams, and the Business Process Modelling Notation (BPMN).ObjectiveOur research is particularly focused on security requirements, in such a way that security is modelled along with the other aspects that are included in a business process. To this end, in earlier works we have defined a metamodel called secure business process (SBP), which may assist in the process of developing software as a source of highly valuable requirements (including very abstract security requirements), which are transformed into models with a lower abstraction level, such as analysis class diagrams and use case diagrams through the approach presented in this paper.MethodWe have defined all the transformation rules necessary to obtain analysis class diagrams and use case diagrams from SBP, and refined them through the characteristic iterative process of the action-research method.ResultsWe have obtained a set of rules and a checklist that make it possible to automatically obtain a set of UML analysis classes and use cases, starting from SBP models. Our approach has additionally been applied in a real environment in the area of the payment of electrical energy consumption.ConclusionsThe application of our proposal shows that our semi-automatic process can be used to obtain a set of useful artifacts for software development processes.