Abstract
Between 1989 and 2011 the aviation traffic has been growing 4.6% per year. The increase on aviation traffic had consequences in terms of greenhouse gases (GHGs) and local pollutant emissions (e.g. carbon monoxide - CO, hydrocarbons - HC, nitrogen oxides - NOx). In order to minimize this problem, the evaluation of sustainable alternatives to current fuel (jet fuel A) has been discussed but their impact on emissions is still unclear. The main research goals of this paper are: (i) to evaluate if the well-to-wake energy consumption in aviation can be reduced with alternative fuels as liquid natural gas (LNG) and/or liquid hydrogen (LH2) and (ii) to assess if alternative fuels can be used in aviation to minimize carbon dioxide emissions and local pollutants. In this analysis two types of flights were evaluated: short flights (<5000 km) and long flights (>5000 km) for six typical aircrafts. We verified that LH2 from SMR can provide between 13% and 21% less environmental and social impacts than jet fuel A, in the same aircraft. Copyright

Abstract
The emergence of real temporal applications under non-stationary scenarios has drastically altered the ability to generate and gather information. Nowadays, under dynamic scenarios, potentially unbounded and massive amounts of information are generated at high-speed rate, known as data streams. Dealing with evolving data streams imposes the online monitoring of data in order to detect changes. The contribution of this paper is to present the advantage of using fading histograms to compare data distribution for change detection purposes. In an windowing scheme, data distributions provided by the fading histograms are compared using the Kullback-Leibler divergence. The experimental results support that the detection delay time is smaller when using fading histograms to represent data instead of standard histograms.

Abstract
Electrical power quality (PQ) is a crucial competitive and developing factor to all economic activities. The economic impact resulting from a bad PQ would be drastic on all consumers. Computers, uninterruptible and switched power supplies (UPS), and fluorescent lamps/tubes are examples of nonlinear loads that have the consumption of a nonsinusoidal current, which cause disturbances in the power supply system (that may be severe or not). This study discusses residential generic power circuitry analysis and simulation, under nonlinear loads, in connection with undergraduate electrical engineering education. It briefly reviews some of the basic techniques, and presents a software tool that has been found to be very useful in the context. The tool has an easy-to-use, friendly interface, and can be used to teach design techniques or as a laboratory support to study the applicability of known methods to real situations. The students can perform simulations with their own data on Microsoft (TM) Windows (R)-based platforms. (c) 2011 Wiley Periodicals, Inc. Comput Appl Eng Educ 22:340-348, 2014; View this article online at ; DOI

Abstract

Abstract
This paper addresses the development of an underwater visual navigation system for a Remotely Operated Vehicle (ROV) based on Real-Time Simultaneous Localization and Mapping method using natural landmarks. Our proposed approach was tested in an indoor tank, where field experiments were performed to obtain 3D vehicle (VIDEORAY Pro3 ROV) trajectory, and results validated using an external stereo vision " ground-truth" system.

Abstract
Bidirectional transformations, in particular lenses, are programs with a forward get transformation and a backward putback transformation that keep source and view data types synchronized. Several bidirectional programming languages exist to aid programmers in writing a (sort of) forward transformation, and deriving a backward transformation for free. However, the maintainability offered by such languages comes at the cost of expressiveness and (more importantly) predictability because the ambiguity of synchronization -handled by the putback transformation- is solved by default strategies over which programmers have little control. In this paper, we argue that controlling such ambiguity is essential for bidirectional transformations and propose a novel language in which programmers write a (sort of) putback transformation, and get the unique get transformation for free. Like traditional bidirectional languages, our put-oriented language allows reasoning about the correctness of defined transformations from the properties of their building blocks. But it allows programmers to describe the behavior of a bidirectional transformation much more precisely, while retaining the maintainability of writing a single program. We demonstrate the practical power of the new approach through a series of examples, ranging from simple ones that illustrate traditional lenses to complex ones for which our putback-based approach is central to specifying nontrivial update strategies. Categories and Subject Descriptors D.1.1 [Programming Techniques]: Applicative (Functional) Programming; D.3.1 [Programming Languages]: Formal Definitions and Theory; F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages-Algebraic approaches to semantics.