Continuous authentication on relational streams

According to the database outsourcing model, a data owner delegates database functionality to a third-party service provider, which answers queries received from clients. Authenticated query processing enables the clients to verify the correctness of query results. Despite the abundance of methods for authenticated processing in conventional databases, there is limited work on outsourced data streams. Stream environments pose new challenges such as the need for fast structure updating, support for continuous query processing and authentication, and provision for temporal completeness. Specifically, in addition to the correctness of individual results, the client must be able to verify that there are no missing results in between data updates. This paper presents a comprehensive set of methods covering relational streams. We first describe REF, a technique that achieves correctness and temporal completeness but incurs false transmissions, i.e., the provider has to inform the clients whenever there is a data update, even if their results are not affected. Then, we propose CADS, which minimizes the processing and transmission overhead through an elaborate indexing scheme and a virtual caching mechanism. In addition, we present an analytical study to determine the optimal indexing granularity, and extend CADS for the case that the data distribution changes over time. Finally, we evaluate the effectiveness of our techniques through extensive experiments.     

Structure–properties investigations in hydrophilic nanocomposites based on polyurethane/poly(2–hydroxyethyl methacrylate) semi‐interpenetrating polymer networks and nanofiller densil for biomedical application

Nanocomposites based on sequential semi–interpenetrating polymer networks (semi–IPNs) of crosslinked polyurethane and linear poly(2‐hydroxyethyl methacrylate) filled with 1–15 wt % of nanofiller densil were prepared and investigated. Nanofiller densil used in an attempt to control the microphase separation of the polymer matrix by polymer–filler interactions. The morphology (SAXS, AFM), mechanical properties (stress–strain), thermal transitions (DSC) and polymer dynamics (DRS, TSDC) of the nanocomposites were investigated. Special attention has been paid to the raising of the hydration properties and the dynamics of water molecules in the nanocomposites in the perspective of biomedical applications. Nanoparticles were found to aggregate partially for higher than 3 and 5 wt % filler loading in semi–IPNs with 17 and 37 wt % PHEMA, respectively. The results show that the good hydration properties of the semi–IPN matrix are preserved in the nanocomposites, which in combination with results of thermal and dielectric techniques revealed also the existence of polymer–polymer and polymer–filler interactions. These interactions results also in the improvement of physical and mechanical properties of the nanocomposites in compare with the neat matrix. The improvement of mechanical properties in combination with hydrophilicity and biocompatibility of nanocomposites are promising for use these materials for biomedical application namely as surgical films for wound treatment and as material for producing the medical devises. © 2015 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2016 , 133, 43122.     

Impact of Functionalized Polystyrenes as the Electron Injection Layer on Gold and Aluminum Surfaces: A Combined Theoretical and Experimental Study

At metal/organic interfaces, the insertion of an organic monolayer can significantly modify the surface properties of the substrate, especially in terms of charge injection across the interface. Herein, we study the formation of an insulating monolayer of morpholine or amine-functionalized polystyrene on Al(111) and Au(111) surfaces and its impact on surface work-function and charge injection. First-principles calculations based on Density Functional Theory have been carried out and point to a significant decrease in the work-function of modified metal surfaces; this is in very good agreement with ultraviolet photoemission spectroscopy measurements performed on the Au(111) surface. In addition, a bilayer cathode, consisting of a thin film of high-work-function metal, such as Al and Au, and a layer of amine-functionalized polystyrene, was also fabricated and tested in organic light-emitting diodes. Such bilayer structures exhibit substantially enhanced efficiency when compared with controls without the functionalized polymers. Our combined theoretical and experimental investigation gives insight into how a thin layer of a commodity polymer can be used to transform rather high-work-function metals into high-performance cathodes to provide efficient electron injection.     

Benchmark results on the linearized equations of motion of an uncontrolled bicycle

In this paper we present the linearized equations of motion for a bicycle as, a benchmark The results obtained by pencil-and-paper and two programs are compaied The bicycle model we consider here consists of four rigid bodies, viz a rear frame, a front frame being the front fork and handlebar assembly, a rear wheel and a fiont wheel, which are connected by revolute joints The contact between the knife-edge wheels and the flat level surface is modelled by holonomic constiaints in the normal direction and by non-holonomic constraints in the longitudinal and lateral direction The rider is rigidly attached to the rear frame with hands free from the handlebar This system has three degrees of freedom, the roll, the steer, and the forward speed For the benchmark we consider the linearized equations for small perturbations of the upright steady forward motion The entries of the matrices of these equations form the basis for comparison Three diffrent kinds of methods to obtain the results are compared pencil-and-paper, the numeric multibody dynamics program SPACAR, and the symbolic software system AutoSim Because the results of the three methods are the same within the machine round-off error, we assume that the results are correct and can be used as a bicycle dynamics benchmark     

Stochastic model for BOD and DO in streams when the velocity is random and distance‐dependent

The stochastic model studied in this paper is a random differential equation of the form X(t) = A(t) X(t) = Y(t), t ≥ 0, with initial conditions X₀ = X(0). X(t) is a vector with biochemical oxygen demand (BOD) and dissolved oxygen (DO) at a distance t downstream from the pollution source for components. The velocity of the stream is incorporated into the vector A(t) and is random and distance dependent. The inhomogeneous term Y(t) and the initial conditions are random vectors. Therefore, this model contains random initial conditions, random coefficients and random inhomogeneous terms. Simulated trajectories of the BOD and DO are computed.     

Durability of particleboards made from wood particles chemically modified with propionic anhydride: results after six years in ground stake-test

Propionylated particleboard stakes with 12.2% propionyl content were tested in ground contact in Western Greece. The stakes showed severe attack after five years of testing and total decay after six years, whereas the unmodified boards showed total decay during the fourth year of testing.     

Implementation of a high speed frequency synthesizer employing a dual input phase accumulator

We present a new PLL based frequency synthesizer, in which we have replaced the conventional phase frequency detector and the dividers (programmable counters) with a sequential dual input phase accumulator (DIPA), consisting of a digital circuit employing adders, registers and a ladder. The main feature of the DIPA is that the two input frequencies are not required to be normalized (divided down) to the step frequency of the synthesizer. Instead, the two different high frequencies, that is the reference and the output frequency of the synthesizer, are applied directly. The DIPA samples and normalizes their phases at very high rates, calculates their phase difference, producing an output that consists of a dc component proportional to the phase difference and harmonics of the two input high frequencies. These harmonics are high frequencies and can easily be rejected by a wide bandwidth filter of the loop, without affecting the high convergence speed of the loop. Moreover, these harmonics do not generate spurs near the output frequency. The resolution of the DIPA based synthesizer depends only on the length of the digital word of the DIPA, and its convergence speed depends on the lower of the two input frequencies. The output of the DIPA is a linear function of the phase difference of the two input frequencies and its dynamic range exceeds the limit of ±2π that governs the conventional phase detectors. Thus, the proposed frequency synthesizer based on the DIPA has low phase noise, no spurs nearby the output frequency, high resolution and fast convergence rate. Additionally, the output frequency can be digitally modulated under the control of the closed loop, either by phase or frequency modulation.     

Optimization methodology of dynamic data structures based on genetic algorithms for multimedia embedded systems

Modern multimedia application exhibit high resource utilization. In order to efficiently run this kind of applications in embedded systems, the dynamic memory subsystem needs to be optimized. A key role in this optimization is played by the dynamic data structures that reside in every real-life application. This paper presents a novel and automated way to optimize dynamic data structures. The search space is pruned using genetic algorithms that converge to the best multilayered data structure implementation for the targeted applications.     

Evaluation of an attached sunspace without sun protection: How feasible is this approach in mediterranean summer conditions?

The use of attached sunspaces has become popular throughout Europe both for energy and for architectural reasons. This applies particularly in Southern Europe and in the Mediterranean, where sunspaces are habitable over long periods of the year. The danger of overheating during summer is, however, not to be underestimated, as the results of a long-term measurement of such a sunspace shows. The indoor climate conditions monitored seem to confirm that, without a sun-protection scheme, satisfactory comfort conditions are difficult to establish. Still, with appropriate ventilation the resulting cooling loads can be reduced to acceptable levels, which, when considering the heating period, can lead to an overall positive result.