Correct behavior identification system in a Tagged World

This paper presents a system that is able to process the information provided by a Tagged World to identify user’s behavior and to produce alarms in dangerous situations. The system inputs are signals from sensors, which are used to recognize correct behavior (action sequences) by Inductive Learning, using Data Mining techniques. The inference engine is a reasoning device that is implemented by means of Regular Grammars. It permits us to control user’s behavior. As output, the system produces and sends alarms when a user action sequence is wrong, indicating the erroneous actions, forgotten future, and so on. To test our system, the Tagged World is supposed to be at a house, where we have used RFID technology to control the objects inside it.     

Robust probabilistic planning with ilao

In probabilistic planning problems which are usually modeled as Markov Decision Processes (MDPs), it is often difficult, or impossible, to obtain an accurate estimate of the state transition probabilities. This limitation can be overcome by modeling these problems as Markov Decision Processes with imprecise probabilities (MDP-IPs). Robust LAO* and Robust LRTDP are efficient algorithms for solving a special class of MDP-IPs where the probabilities lie in a given interval, known as Bounded-Parameter Stochastic-Shortest Path MDP (BSSP-MDP). However, they do not make clear what assumptions must be made to find a robust solution (the best policy under the worst model). In this paper, we propose a new efficient algorithm for BSSP-MDPs, called Robust ILAO* which has a better performance than Robust LAO* and Robust LRTDP, considered the-state-of-the art of robust probabilistic planning. We also define the assumptions required to ensure a robust solution and prove that Robust ILAO* algorithm converges to optimal values if the initial value of all states is admissible.     

DynaMICs: Comprehensive Support for Run-Time Monitoring

Software engineering strives to enable the economic construction of software systems that behave reliably, predictably, and safely. In other engineering disciplines, safety is assured in part by detailed monitoring of processes. In software, we may achieve some level of confidence in the operation of programs by monitoring their execution. DynaMICs is a software tool that facilitates the collection and use of constraints for software systems. In addition, it supports traceability by mapping constraints to system artifacts. Constraint specifications are stored separately from code; constraint-monitoring code is automatically generated from the specifications and inserted into the program at appropriate places; and constraints are verified at execution time. These constraint checks are triggered by changes made to variable values. We describe the architecture of DynaMICs, discuss alternative verification techniques, and outline research directions for the DynaMICs project.     

Worm algorithms for the 3-state Potts model with magnetic field and chemical potential

We discuss worm algorithms for the 3-state Potts model with external field and chemical potential. The complex phase problem of this system can be overcome by using a flux representation where the new degrees of freedom are dimer and monomer variables. Working with this representation we discuss two different generalizations of the conventional Prokof’ev–Svistunov algorithm suitable for Monte Carlo simulations of the model at arbitrary chemical potential and evaluate their performance.     

Use of synchrotron radiation for the measurement of fluorescence lifetimes with subpicosecond resolution

A method for the measurement of fluorescence lifetimes with subpicosecond resolution is described. The temporal resolution is achieved by using the high harmonic content of the synchrotron radiation produced by an electron storage ring.     

Biofabrication of Collagen Tissue-Engineered Blood Vessels with Direct Co-Axial Extrusion

Cardiovascular diseases are considered one of the worldwide causes of death, with atherosclerosis being the most predominant. Nowadays, the gold standard treatment is blood vessel replacement by bypass surgery; however, autologous source is not always possible. Thereby, tissue-engineered blood vessels (TEBVs) are emerging as a potential alternative source. In terms of composition, collagen has been selected in many occasions to develop TEBVs as it is one of the main extracellular matrix components of arteries. However, it requires specific support or additional processing to maintain the tubular structure and appropriate mechanical properties. Here, we present a method to develop support-free collagen TEBVs with co-axial extrusion in a one-step procedure with high concentrated collagen. The highest concentration of collagen of 20 mg/mL presented a burst pressure of 619.55 ± 48.77 mmHg, being able to withstand perfusion of 10 dynes/cm². Viability results showed a high percentage of viability (86.1 and 85.8% with 10 and 20 mg/mL, respectively) of human aortic smooth muscle cells (HASMCs) and human umbilical vein endothelial cells (HUVEC) after 24 h extrusion. Additionally, HUVEC and HASMCs were mainly localized in their respective layers, mimicking the native distribution. All in all, this approach allows the direct extrusion of collagen TEBVs in a one-step procedure with enough mechanical properties to be perfused.     

Increasing Heavy Metal Tolerance by the Exogenous Application of Organic Acids

Several metals belong to a group of non-biodegradable inorganic constituents that, at low concentrations, play fundamental roles as essential micronutrients for the growth and development of plants. However, in high concentrations they can have toxic and/or mutagenic effects, which can be counteracted by natural chemical compounds called chelators. Chelators have a diversity of chemical structures; many are organic acids, including carboxylic acids and cyclic phenolic acids. The exogenous application of such compounds is a non-genetic approach, which is proving to be a successful strategy to reduce damage caused by heavy metal toxicity. In this review, we will present the latest literature on the exogenous addition of both carboxylic acids, including the Kreb’s Cycle intermediates citric and malic acid, as well as oxalic acid, lipoic acid, and phenolic acids (gallic and caffeic acid). The use of two non-traditional organic acids, the phytohormones jasmonic and salicylic acids, is also discussed. We place particular emphasis on physiological and molecular responses, and their impact in increasing heavy metal tolerance, especially in crop species.     

Ecological Compensation Estimation of Soil and Water Conservation Based on Cost-Benefit Analysis

Soil and water conservation ecological compensation can be simply defined as a monetary payment to offset the environmental loss. An illustration is given in this study describing the payment compensation to water resource conservation and soil losses in Erlongshan reservoir catchment, China. A semi-distributed hydrological SWAT model was applied to establish compensation standard considering six scenarios of land use changes by combined application of remote sensing and geographic information systems. Cost-benefit analysis (CBA) method is applied to evaluate the function of soil and water conservation, of which marginal opportunity cost and market value methods have been explored calculate the cost and benefit of water and soil conservation ecological function from provider and beneficiaries. Finally the ecological compensation of soil and water conservation for different land-use scenarios is calculated incorporating benefit apportion coefficient. The results provide an economically evaluated and market-oriented standard for the study of eco-compensation of environmental services and will be of great benefit to the implementation of soil and water conservation at a mesoscale catchment scale.     

Retrofit of RC hollow piers with CFRP sheets

Hollow bridge piers, particularly those built before the seventies, often have insufficient shear capacity due to inadequate transverse reinforcement details. Therefore, special attention must be given to this very important aspect when reinforced concrete (RC) piers with hollow sections are analysed and retrofitted. This paper covers the experimental analysis of retrofit solutions using CFRP sheets along the piers’ entire height to prevent shear failure. Experimental cyclic tests were carried out to evaluate the shear retrofit strategy efficiency on a set of RC piers with square hollow sections. This work also covers the study of design procedures for CFRP shear retrofitting and the evaluation of the associated ductility capacity improvement. The various transverse reinforcement detailing scenarios were assessed to determine their shear-failure prevention efficiency. The corresponding cyclic response behavior was also evaluated. The most relevant experimental information is presented in the paper, such as the evolution of the outer damage pattern. Finally, shear retrofit solutions, with a 40% increase over the maximum flexural force, show that this strategy is adequate to allow satisfactory ductility behavior.     

Evaluation of alternatives for the broadcast operation in Kademlia under churn

During recent years, considerable effort has been devoted to the enhancement of Distributed Hash Table (DHT) systems with broadcasting capabilities. Such systems typically provide individual node routing but a broadcast primitive is required for functionalities such as information dissemination or data aggregation. Broadcasting can also be used as the basis for partial keyword searches. Little work has however specifically addressed Kademlia, a well known DHT, used in real applications. Our work exposes the particularities of this system, notably its XOR-based distance metrics, and analytically studies what broadcasting techniques can be applied to it. A model that estimates node coverage as a function of the probability that individual messages reach their destination has been also developed. For validation, several broadcasting algorithms have been implemented and comprehensively evaluated, considering node coverage, messages to nodes ratio, latency and imbalance factor. Moreover, several techniques are proposed to enhance the bare protocols when adverse circumstances such as churn and failure rate conditions are present. These include redundancy, resubmissions or flooding, and also combinations of those. All have been implemented and fully tested. An analysis of the strengths and weaknesses of algorithms and additional techniques, and a discussion on the choices and compromises to make, depending on system characteristics or application priorities, is finally presented.