Efficient computation of min and max sensor values in multihop networks

Consider a wireless sensor network (WSN) where a broadcast from a sensor node does not reach all sensor nodes in the network; such networks are often called multihop networks. Sensor nodes take individual sensor readings, however, in many cases, it is relevant to compute aggregated quantities of these readings. In fact, the minimum and maximum of all sensor readings at an instant are often interesting because they indicate abnormal behavior, for example if the maximum temperature is very high then it may be that a fire has broken out. In this context, we propose an algorithm for computing the min or max of sensor readings in a multihop network. This algorithm has the particularly interesting property of having a time complexity that does not depend on the number of sensor nodes; only the network diameter and the range of the value domain of sensor readings matter.

Music and evolutionary computation

This paper presents a brief history of the western music: from its genesis to serialism and the Darmstadt school. Also some mathematical aspects of music are then presented and confronted with music as a form of art. The question is, are these two distinct aspects compatible? Can computers be of real help in automatic composition? The more appealing algorithmic approach is evolutionary computation as it offers creativity potential. Therefore, the Evolutionary Algorithms are then introduced and some results of GAs and GPs application to music generation are analysed.

A smart layer for remote laboratories

Commonly, when a weblab is developed to support remote experiments in sciences and engineering courses, a particular hardware/software architecture is implemented. However, the existence of several technological solutions to implement those architectures difficults the emergence of a standard, both at hardware and software levels. While particular solutions are adopted assuming that only qualified people may implement a weblab, the control of the physical space and the power consumption are often forgotten. Since controlling these two previous aspects may increase the quality of the weblab hosting the remote experiments, this paper proposes the useof a new layer implemented by a domotic system bus with several devices (e.g. lights, power sockets, temperature sensors, and others) able to be controlled through the Internet. We also provide a brief proof-of-concept in the form of a weblab equipped with a simple domotic system usually implemented in smart houses. The added value to the remote experiment hosted at the weblab is also identified in terms of power savings and environment conditions.

A mobile robot platform for open learning based on serious games and remote laboratories

Within the pedagogical community, Serious Games have arisen as a viable alternative to traditional course-based learning materials. Until now, they have been based strictly on software solutions. Meanwhile, research into Remote Laboratories has shown that they are a viable, low-cost solution for experimentation in an engineering context, providing uninterrupted access, low-maintenance requirements, and a heightened sense of reality when compared to simulations. This paper will propose a solution where both approaches are combined to deliver a Remote Laboratory-based Serious Game for use in engineering and school education. The platform for this system is the WebLab-Deusto Framework, already well-tested within the remote laboratory context, and based on open standards. The laboratory allows users to control a mobile robot in a labyrinth environment and take part in an interactive game where they must locate and correctly answer several questions, the subject of which can be adapted to educators' needs. It also integrates the Google Blockly graphical programming language, allowing students to learn basic programming and logic principles without needing to understand complex syntax.

Addressing software impact in the design of remote laboratories

Remote Laboratories or WebLabs constitute a first-order didactic resource in engineering faculties. However, in many cases, they lack a proper software design, both in the client and server side, which degrades their quality and academic usefulness. This paper presents the main characteristics of a Remote Laboratory, analyzes the software technologies to implement the client and server sides in a WebLab, and correlates these technologies with the characteristics to facilitate the selection of a technology to implement a WebLab. The results obtained suggest the adoption of a Service Oriented Laboratory Architecture-based approach for the design of future Remote Laboratories so that client-agnostic Remote Laboratories and Remote Laboratory composition are enabled. The experience with the real Remote Laboratory, WebLab-Deusto, is also presented.

On the numerical computation of the Mittag-Leffler function

Recently simple limiting functions establishing upper and lower bounds on the Mittag-Leffler function were found. This paper follows those expressions to design an efficient algorithm for the approximate calculation of expressions usual in fractional-order control systems. The numerical experiments demonstrate the superior efficiency of the proposed method.

Hyperimmune antirabies sera titration by standard mouse neutralization and counterimmunoelectrophoresis tests, comparing results of different laboratories

To determine the rabies antibody level of twenty-four hyperimmune equine sera, Standard Mouse Neutralization (SMN) and Couterimmunoelectrophoresis (CIE) tests were carried out, both at the Instituto Butantan (IB) and Instituto Panamericano de Protección de Alimentos y Zoonosis (INPPAZ). Statistical analysis has shown a correlation (r) of 0.9317 between the SMN and CIE performed at the IB, while at the INPPAZ it scored 0.974. Comparison of CIE data of both laboratories yielded a correlation of 0.845. The CIE technique has shown to be as sensitive and efficient as the SMN in titrating antirabies hyperimmune equine sera. Based on CIE results, a simple, rapid and inexpensive technique, tilers of sera antibody can be reliably estimated in SMN test.

Genotoxic effects in occupational exposure to formaldehyde: A study in anatomy and pathology laboratories and formaldehyde-resins production

ABSTRACT – Background: According to the Report on Carcinogens, formaldehyde ranks 25th in the overall U.S. chemical production, with more than 5 million tons produced each year. Given its economic importance and widespread use, many people are exposed to formaldehyde environmentally and/or occupationally. Presently, the International Agency for Research on Cancer classifies formaldehyde as carcinogenic to humans (Group 1), based on sufficient evidence in humans and in experimental animals. Manyfold in vitro studies clearly indicated that formaldehyde can induce genotoxic effects in proliferating cultured mammalian cells. Furthermore, some in vivo studies have found changes in epithelial cells and in peripheral blood lymphocytes related to formaldehyde exposure. Methods: A study was carried out in Portugal, using 80 workers occupationally exposed to formaldehyde vapours: 30 workers from formaldehyde and formaldehyde-based resins production factory and 50 from 10 pathology and anatomy laboratories. A control group of 85 non-exposed subjects was considered. Exposure assessment was performed by applying simultaneously two techniques of air monitoring: NIOSH Method 2541 and Photo Ionization Detection equipment with simultaneously video recording. Evaluation of genotoxic effects was performed by application of micronucleus test in exfoliated epithelial cells from buccal mucosa and peripheral blood lymphocytes. Results: Time-weighted average concentrations not exceeded the reference value (0.75 ppm) in the two occupational settings studied. Ceiling concentrations, on the other hand, were higher than reference value (0.3 ppm) in both. The frequency of micronucleus in peripheral blood lymphocytes and in epithelial cells was significantly higher in both exposed groups than in the control group (p < 0.001). Moreover, the frequency of micronucleus in peripheral blood lymphocytes was significantly higher in the laboratories group than in the factory workers (p < 0.05). A moderate positive correlation was found between duration of occupational exposure to formaldehyde (years of exposure) and micronucleus frequency in peripheral blood lymphocytes (r = 0.401; p < 0.001) and in epithelial cells (r = 0.209; p < 0.01). Conclusions: The population studied is exposed to high peak concentrations of formaldehyde with a long-term exposure. These two aspects, cumulatively, can be the cause of the observed genotoxic endpoint effects. The association of these cytogenetic effects with formaldehyde exposure gives important information to risk assessment process and may also be used to assess health risks for exposed worker

On the numerical computation of the Mittag-Leffler function

Recently simple limiting functions establishing upper and lower bounds on the Mittag-Leffler function were found. This paper follows those expressions to design an efficient algorithm for the approximate calculation of expressions usual in fractional-order control systems. The numerical experiments demonstrate the superior efficiency of the proposed method.

Spatial neighborhood matrix computation: Inverse distance weighted versus binary contiguity

Paper presented at Geo-Spatial Crossroad GI_Forum, Salzburg, Austria.

Evaluation of dengue NS1 antigen detection for diagnosis in public health laboratories, São Paulo State, 2009

The present work evaluated the diagnostic accuracy of detection of Dengue NS1 antigen employing two NS1 assays, an immunochromatographic assay and ELISA, in the diagnostic routine of Public Health laboratories. The results obtained with NS1 assay were compared with virus isolation and, in a subpopulation of cases, they were compared with the IgM-ELISA results obtained with convalescent samples. A total of 2,321 sera samples were analyzed by one of two NS1 techniques from March to October 2009. The samples were divided into five groups: groups I, II and III included samples tested by NS1 and virus isolation, and groups IV and V included patients with a first sample tested by NS1 and a second sample tested by IgM-ELISA. Sensitivity, specificity, positive and negative predictive values, Kappa Index and Kappa Concordance were calculated. The results showed that NS1 testing in groups I, II and III had high sensitivity (98.0%, 99.5% and 99.3%), and predictive values and Kappa index between 0.9 - 1.0. Groups IV and V only had Kappa Concordance calculated, since the samples were analyzed according to the presence of NS1 antigen or IgM antibody. Concordance of 92.1% was observed when comparing the results of NS1-negative samples with IgM-ELISA. Based on the findings, it is possible to suggest that the tests for NS1 detection may be important tools for monitoring the introduction and spread of Dengue serotypes.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Minimal computation structures for visual information applications based on printed electronics

In the early nineties, Mark Weiser wrote a series of seminal papers that introduced the concept of Ubiquitous Computing. According to Weiser, computers require too much attention from the user, drawing his focus from the tasks at hand. Instead of being the centre of attention, computers should be so natural that they would vanish into the human environment. Computers become not only truly pervasive but also effectively invisible and unobtrusive to the user. This requires not only for smaller, cheaper and low power consumption computers, but also for equally convenient display solutions that can be harmoniously integrated into our surroundings. With the advent of Printed Electronics, new ways to link the physical and the digital worlds became available. By combining common printing techniques such as inkjet printing with electro-optical functional inks, it is starting to be possible not only to mass-produce extremely thin, flexible and cost effective electronic circuits but also to introduce electronic functionalities into products where it was previously unavailable. Indeed, Printed Electronics is enabling the creation of novel sensing and display elements for interactive devices, free of form factor. At the same time, the rise in the availability and affordability of digital fabrication technologies, namely of 3D printers, to the average consumer is fostering a new industrial (digital) revolution and the democratisation of innovation. Nowadays, end-users are already able to custom design and manufacture on demand their own physical products, according to their own needs. In the future, they will be able to fabricate interactive digital devices with user-specific form and functionality from the comfort of their homes. This thesis explores how task-specific, low computation, interactive devices capable of presenting dynamic visual information can be created using Printed Electronics technologies, whilst following an approach based on the ideals behind Personal Fabrication. Focus is given on the use of printed electrochromic displays as a medium for delivering dynamic digital information. According to the architecture of the displays, several approaches are highlighted and categorised. Furthermore, a pictorial computation model based on extended cellular automata principles is used to programme dynamic simulation models into matrix-based electrochromic displays. Envisaged applications include the modelling of physical, chemical, biological, and environmental phenomena.