Fuzzy logic-based implicit authentication for mobile access control

In order to address the increasing compromise of user privacy on mobile devices, a Fuzzy Logic based implicit authentication scheme is proposed in this paper. The proposed scheme computes an aggregate score based on selected features and a threshold in real-time based on current and historic data depicting user routine. The tuned fuzzy system is then applied to the aggregated score and the threshold to determine the trust level of the current user. The proposed fuzzy-integrated implicit authentication scheme is designed to: operate adaptively and completely in the background, require minimal training period, enable high system accuracy while provide timely detection of abnormal activity. In this paper, we explore Fuzzy Logic based authentication in depth. Gaussian and triangle-based membership functions are investigated and compared using real data over several weeks from different Android phone users. The presented results show that our proposed Fuzzy Logic approach is a highly effective, and viable scheme for lightweight real-time implicit authentication on mobile devices.

Genetic algorithms for design of liquid retaining structure

In this paper, genetic algorithm (GA) is applied to the optimum design of reinforced concrete liquid retaining structures, which comprise three discrete design variables, including slab thickness, reinforcement diameter and reinforcement spacing. GA, being a search technique based on the mechanics of natural genetics, couples a Darwinian survival-of-the-fittest principle with a random yet structured information exchange amongst a population of artificial chromosomes. As a first step, a penalty-based strategy is entailed to transform the constrained design problem into an unconstrained problem, which is appropriate for GA application. A numerical example is then used to demonstrate strength and capability of the GA in this domain problem. It is shown that, only after the exploration of a minute portion of the search space, near-optimal solutions are obtained at an extremely converging speed. The method can be extended to application of even more complex optimization problems in other domains.

Penalizing Cartels: The Case for Basing Penalties on Price Overcharge

In this paper we set out the welfare economics based case for imposing cartel penalties on the cartel overcharge rather than on the more conventional bases of revenue or profits (illegal gains). To do this we undertake a systematic comparison of a penalty based on the cartel overcharge with three other penalty regimes: fixed penalties; penalties based on revenue, and penalties based on profits. Our analysis is the first to compare these regimes in terms of their impact on both (i) the prices charged by those cartels that do form; and (ii) the number of stable cartels that form (deterrence). We show that the class of penalties based on profits is identical to the class of fixed penalties in all welfare-relevant respects. For the other three types of penalty we show that, for those cartels that do form, penalties based on the overcharge produce lower prices than those based on profit) while penalties based on revenue produce the highest prices. Further, in conjunction with the above result, our analysis of cartel stability (and thus deterrence), shows that penalties based on the overcharge out-perform those based on profits, which in turn out-perform those based on revenue in terms of their impact on each of the following welfare criteria: (a) average overcharge; (b) average consumer surplus; (c) average total welfare.

Liderança Organizacional – Os Atributos do perfil dos Líder Cabo - Verdiano

A liderança tem sido um tema central na literatura organizacional sendo definida e operacionalizada de variadíssimas formas, tendo por base funções desempenhadas e/ou comportamentos apresentados, agrupados em diversos conceitos, surgindo muitas vezes sob formas de categorias bipolares apresentadas como contraditórias. Decorrendo da complexidade do ambiente, do desempenho de competências inovadores, do desenvolvimento das sociedades, do desenvolvimento das novas tecnologias, no quadro da globalização que conquista o mundo actual, novas competências são requeridas para conduta das organizações ao contorno da crise e da condução ao sucesso. Surge a necessidade em conceptualizar a liderança tendo por base este novo paradigma. Torna-se necessário utilizar instrumentos fiáveis e adaptados ao contexto cultural e organizacional de cada país. O objectivo deste trabalho é identificar os perfis de liderança existentes em Cabo Verde, identificando ainda os atributos/valores culturais que influenciam as práticas organizacionais e os tipos de comportamentos dos líderes de Cabo Verde. Leadership has been a strong core subject on the organizational literature being defined and operationalized in several ways, and based on functions performed and/or on presented behaviours, gathered according to numerous concepts, and often emerging as bipolar categories presented as contradictory. Due to the environmental complexities, to the innovating skills performance, to the society’s development and the new technologies evolution, in the context of globalization sweeping today’s world, new competencies are required for the organizations to overcome the present crisis situation and consequently achieve success. There’s a need to create a leadership concept based on this new paradigm. It becomes necessary to use trustworthy and adapted tools to each country’s cultural and organizational context. This paper goal is to identify the Capeverdian existing leadership profile, recognizing the cultural attributes/values that may influence the organizational practices and the behaviour types found amongst the Capeverdian leaders.

Experimental design and model construction algorithms for radial basis function networks

New construction algorithms for radial basis function (RBF) network modelling are introduced based on the A-optimality and D-optimality experimental design criteria respectively. We utilize new cost functions, based on experimental design criteria, for model selection that simultaneously optimizes model approximation, parameter variance (A-optimality) or model robustness (D-optimality). The proposed approaches are based on the forward orthogonal least-squares (OLS) algorithm, such that the new A-optimality- and D-optimality-based cost functions are constructed on the basis of an orthogonalization process that gains computational advantages and hence maintains the inherent computational efficiency associated with the conventional forward OLS approach. The proposed approach enhances the very popular forward OLS-algorithm-based RBF model construction method since the resultant RBF models are constructed in a manner that the system dynamics approximation capability, model adequacy and robustness are optimized simultaneously. The numerical examples provided show significant improvement based on the D-optimality design criterion, demonstrating that there is significant room for improvement in modelling via the popular RBF neural network.

Fractal geometry of aggregate snowflakes revealed by triple wavelength radar measurements

Radar reflectivity measurements from three different wavelengths are used to retrieve information about the shape of aggregate snowflakes in deep stratiform ice clouds. Dual-wavelength ratios are calculated for different shape models and compared to observations at 3, 35 and 94 GHz. It is demonstrated that many scattering models, including spherical and spheroidal models, do not adequately describe the aggregate snowflakes that are observed. The observations are consistent with fractal aggregate geometries generated by a physically-based aggregation model. It is demonstrated that the fractal dimension of large aggregates can be inferred directly from the radar data. Fractal dimensions close to 2 are retrieved, consistent with previous theoretical models and in-situ observations.

Induction of neutralizing antibodies in mice immunized with an amino-terminal polypeptide of Streptococcus mutans P1 protein produced by a recombinant Bacillus subtilis strain

The oral pathogen Streptococcus mutans expresses a surface protein, P1, which interacts with the salivary pellicle on the tooth surface or with fluid-phase saliva, resulting in bacterial adhesion or aggregation, respectively. P1 is a target of protective immunity. Its N-terminal region has been associated with adhesion and aggregation functions and contains epitopes recognized by efficacious antibodies. In this study, we used Bacillus subtilis, a gram-positive expression host, to produce a recombinant N-terminal polypeptide of P1 (P1(39-512)) derived from the S. mutans strain UA159. Purified P1(39-512) reacted with an anti-full-length P1 antiserum as well as one raised against intact S. mutans cells, indicating preserved antigenicity. Immunization of mice with soluble and heat-denatured P1(39-512) induced antibodies that reacted specifically with native P1 on the surface of S. mutans cells. The anti-P1(39-512) antiserum was as effective at blocking saliva-mediated aggregation of S. mutans cells and better at blocking bacterial adhesion to saliva-coated plastic surfaces compared with the anti-full-length P1 antiserum. In addition, adsorption of the anti-P1 antiserum with P1(39-512) eliminated its ability to block the adhesion of S. mutans cells to abiotic surfaces. The present results indicate that P1(39-512), expressed and purified from a recombinant B. subtilis strain, maintains important immunological features of the native protein and represents an additional tool for the development of anticaries vaccines.

Utilização da geoestatística na quantificação do risco de contaminação por metais pesados, na área portuária de Santana-Amapá

Pós-graduação em Geociências e Meio Ambiente - IGCE

MOLECULAR DYNAMICS STUDIES OF SIMPLE MODEL FLUIDS AND WATER CONFINED IN CARBON NANOTUBE

Molecular Dynamics (MD) simulation is one of the most important computational techniques with broad applications in physics, chemistry, chemical engineering, materials design and biological science. Traditional computational chemistry refers to quantum calculations based on solving Schrodinger equations. Later developed Density Functional Theory (DFT) based on solving Kohn-Sham equations became the more popular ab initio calculation technique which could deal with ~1000 atoms by explicitly considering electron interactions. In contrast, MD simulation based on solving classical mechanics equations of motion is a totally different technique in the field of computational chemistry. Electron interactions were implicitly included in the empirical atom-based potential functions and the system size to be investigated can be extended to ~106 atoms. The thermodynamic properties of model fluids are mainly determined by macroscopic quantities, like temperature, pressure, density. The quantum effects on thermodynamic properties like melting point, surface tension are not dominant. In this work, we mainly investigated the melting point, surface tension (liquid-vapor and liquid-solid) of model fluids including Lennard-Jones model, Stockmayer model and a couple of water models (TIP4P/Ew, TIP5P/Ew) by means of MD simulation. In addition, some new structures of water confined in carbon nanotube were discovered and transport behaviors of water and ions through nano-channels were also revealed.

Global climate change

Most of the last 100,000 years or longer has been characterized by large, abrupt, regional-to-global climate changes. Agriculture and industry have developed during anomalously stable climatic conditions. New, high-resolution analyses of sediment cores using multiproxy and physically based transfer functions allow increasingly confident interpretation of these past changes as having been caused by “band jumps” between modes of operation of the climate system. Recurrence of such band jumps is possible and might be affected by human activities.

The mating system of the true fruit flyBactrocera tryoniand its sister-species, Bactrocera neohumeralis

The frugivorous “true” fruit fly, Bactrocera tryoni (Queensland fruit fly), is presumed to have a nonresourced-based lek mating system. This is largely untested, and contrary data exists to suggest Bactrocera tryoni may have a resource-based mating system focused on fruiting host plants. We tested the mating system of Bactrocera tryoni, and its close sibling Bactrocera neohumeralis, in large field cages using laboratory reared flies. We used observational experiments that allowed us to determine if: (i) mating pairs were aggregated or nonaggregated; (ii) mating system was resource or nonresource based; (iii) flies utilized possible landmarks (tall trees over short) as mate-rendezvous sites; and (iv) males called females from male-dominated leks. We recorded nearly 250 Bactrocera tryoni mating pairs across all experiments, revealing that: (i) mating pairs were aggregated; (ii) mating nearly always occurred in tall trees over short; (iii) mating was nonresource based; and (iv) that males and females arrived at the mate-rendezvous site together with no evidence that males preceded females. Bactrocera neohumeralis copulations were much more infrequent (only 30 mating pairs in total), but for those pairs there was a similar preference for tall trees and no evidence of a resource-based mating system. Some aspects of Bactrocera tryoni mating behavior align with theoretical expectations of a lekking system, but others do not. Until evidence for unequivocal female choice can be provided (as predicted under a true lek), the mating system of Bactrocera tryoni is best described as a nonresource based, aggregation system for which we also have evidence that land-marking may be involved.

Fuzzy pole placement based on piecewise Lyapunov functions

This paper presents a controller design method for fuzzy dynamic systems based on piecewise Lyapunov functions with constraints on the closed-loop pole location. The main idea is to use switched controllers to locate the poles of the system to obtain a satisfactory transient response. It is shown that the global fuzzy system satisfies the requirements for the design and that the control law can be obtained by solving a set of linear matrix inequalities, which can be efficiently solved with commercially available softwares. An example is given to illustrate the application of the proposed method. Copyright (C) 2009 John Wiley & Sons, Ltd.

A method for the design of MRI radiofrequency coils based on triangular and pulse basis functions

This paper presents a numerical technique for the design of an RF coil for asymmetric magnetic resonance imaging (MRI) systems. The formulation is based on an inverse approach where the cylindrical surface currents are expressed in terms of a combination of sub-domain basis functions: triangular and pulse functions. With the homogeneous transverse magnetic field specified in a spherical region, a functional method is applied to obtain the unknown current coefficients. The current distribution is then transformed to a conductor pattern by use of a stream function technique. Preliminary MR images acquired using a prototype RF coil are presented and validate the design method. (C) 2002 Elsevier Science B.V. All rights reserved.

A new wavelet-based method for the solution of the population balance equation

A new wavelet-based method for solving population balance equations with simultaneous nucleation, growth and agglomeration is proposed, which uses wavelets to express the functions. The technique is very general, powerful and overcomes the crucial problems of numerical diffusion and stability that often characterize previous techniques in this area. It is also applicable to an arbitrary grid to control resolution and computational efficiency. The proposed technique has been tested for pure agglomeration, simultaneous nucleation and growth, and simultaneous growth and agglomeration. In all cases, the predicted and analytical particle size distributions are in excellent agreement. The presence of moving sharp fronts can be addressed without the prior investigation of the characteristics of the processes. (C) 2001 Published by Elsevier Science Ltd.

A monolithic smoothing-gap algorithm for contact-impact based on the signed distance function

A new algorithm has been developed for smoothing the surfaces in finite element formulations of contact-impact. A key feature of this method is that the smoothing is done implicitly by constructing smooth signed distance functions for the bodies. These functions are then employed for the computation of the gap and other variables needed for implementation of contact-impact. The smoothed signed distance functions are constructed by a moving least-squares approximation with a polynomial basis. Results show that when nodes are placed on a surface, the surface can be reproduced with an error of about one per cent or less with either a quadratic or a linear basis. With a quadratic basis, the method exactly reproduces a circle or a sphere even for coarse meshes. Results are presented for contact problems involving the contact of circular bodies. Copyright (C) 2002 John Wiley Sons, Ltd.