Machine learning techniques for implicit interaction using mobile sensors

Interactions in mobile devices normally happen in an explicit manner, which means that they are initiated by the users. Yet, users are typically unaware that they also interact implicitly with their devices. For instance, our hand pose changes naturally when we type text messages. Whilst the touchscreen captures finger touches, hand movements during this interaction however are unused. If this implicit hand movement is observed, it can be used as additional information to support or to enhance the users’ text entry experience. This thesis investigates how implicit sensing can be used to improve existing, standard interaction technique qualities. In particular, this thesis looks into enhancing front-of-device interaction through back-of-device and hand movement implicit sensing. We propose the investigation through machine learning techniques. We look into problems on how sensor data via implicit sensing can be used to predict a certain aspect of an interaction. For instance, one of the questions that this thesis attempts to answer is whether hand movement during a touch targeting task correlates with the touch position. This is a complex relationship to understand but can be best explained through machine learning. Using machine learning as a tool, such correlation can be measured, quantified, understood and used to make predictions on future touch position. Furthermore, this thesis also evaluates the predictive power of the sensor data. We show this through a number of studies. In Chapter 5 we show that probabilistic modelling of sensor inputs and recorded touch locations can be used to predict the general area of future touches on touchscreen. In Chapter 7, using SVM classifiers, we show that data from implicit sensing from general mobile interactions is user-specific. This can be used to identify users implicitly. In Chapter 6, we also show that touch interaction errors can be detected from sensor data. In our experiment, we show that there are sufficient distinguishable patterns between normal interaction signals and signals that are strongly correlated with interaction error. In all studies, we show that performance gain can be achieved by combining sensor inputs.

Caracterización nutricional mediante antropometría de los niños sanos menores de 5 años asistentes a una institución de salud en Puerto Inírida 2014

Introducción: Siendo la desnutrición infantil, un indicador trazador en el perfil de salud de una población y prioridad establecida por los objetivos de desarrollo del milenio y el plan decenal de salud pública en Colombia - PDSP en su dimensión de seguridad alimentaria y nutricional, mantiene gran prevalencia a nivel nacional a pesar de presentar subregistro en la información reportada, por ende, es prioridad la medición, notificación y tratamiento de la misma. La OMS estandarizó los parámetros de medición y el gobierno nacional los adoptó mediante la resolución 2121 de 2010. Sin embargo, para disminuir el indicador de desnutrición que al año 2015 debería estar reducido en un 50% según el PDSP, es necesario identificar el sub registro que hay en el diagnóstico de la misma. Metodología: Se realizó un estudio poblacional, descriptivo y transversal, en el cual se analizó la base de datos de los niños menores de 5 años asistentes a consulta de crecimiento y desarrollo en una institución de salud del municipio de Puerto Inírida, con el fin de realizar una caracterización nutricional basados en mediciones antropométricas y contrastándolas realizadas por los profesionales de salud con las encontradas utilizando los patrones establecidos por la OMS. La información se analizó con el Software WHO Anthro propiedad de la OMS. Resultados: Se encontró que el 33,6% de los menores de 5 años registrados presentan desnutrición crónica, el 7,6% desnutrición aguda, el 13,2% de desnutrición global y el 13,9% tiene obesidad. Al discriminarlo por edad se encontró mayor prevalencia de desnutrición crónica en ambos sexos, siendo mayor en población de sexo masculino (40,1% masculino – 27,6% femenino); al igual que al realizar la comparación por pertenencia puesto que se encuentra la misma prevalencia en desnutrición crónica (29,1% en población indígena y 29% en población no indígena). Según los estándares de la OMS, en la población estudiada 12 se identificaron 243 casos de malnutrición, mientras que en la consulta de crecimiento y desarrollo fueron diagnosticados como casos de malnutrición por los profesionales de salud solo 99. Discusión: La malnutrición es un problema estructural, por ende, se deben tener en cuenta factores tanto intrínsecos como extrínsecos de la persona. Las medidas antropométricas son sólo una manera de medir, que se debe contextualizar con el entorno y las condiciones socioeconómicas, patológicas y culturales en las que se encuentre la población. El estado nutricional de los menores asistentes a los controles de crecimiento y desarrollo de la población estudiada, se encuentra mal registrado, de la misma manera se encontró una gran prevalencia de desnutrición crónica que es un determinante en la calidad de vida. Es imperante la implementación de políticas públicas adecuadas que permitan profundizar en las causas de este flagelo y así mismo en su tratamiento.

Sufficient conditions for the existence of heteroclinic solutions for Phi-Laplacian differential equations

In this paper we consider the second order discontinuous equation in the real line, (a(t)φ(u′(t)))′ = f(t,u(t),u′(t)), a.e.t∈R, u(-∞) = ν⁻, u(+∞)=ν⁺, with φ an increasing homeomorphism such that φ(0)=0 and φ(R)=R, a∈C(R,R\{0})∩C¹(R,R) with a(t)>0, or a(t)<0, for t∈R, f:R³→R a L¹-Carathéodory function and ν⁻,ν⁺∈R such that ν⁻<ν⁺. We point out that the existence of heteroclinic solutions is obtained without asymptotic or growth assumptions on the nonlinearities φ and f. Moreover, as far as we know, this result is even new when φ(y)=y, that is, for equation (a(t)u′(t))′=f(t,u(t),u′(t)), a.e.t∈R.

Implementación de un algoritmo genético para la asignación de aulas en un centro de estudio (ING)

The genetic algorithm is a very efficient tool to solve optimization problems. On the other hand, the classroom assignation in any education center, particularly those that does not have enough quantity of classrooms for the courseʼs demand converts it in an optimization problem. In the Department of Computer Science (Universidad de Costa Rica) this work is carried out manually every six months. Besides, at least two persons of the department are dedicated full time to this labor for one week or more. The present article describes an automatic solution that not only reduces the response time to seconds but it also finds an optimal solution in the majority of the cases. In addition gives flexibility in using the program when the information involved with classroom assignation has to be updated. The interface is simple an easy to use.

Studio delle risposte comportamentali, produttive e sanitarie di bovine in lattazione esposte a diversi regimi dietetici

L'unifeed a secco è il più diffuso nell'areale del Parmigiano Reggiano. In questa situazione, la peNDF deve essere ridotta per evitare selezione. Di conseguenza spesso presenta valori sotto la soglia minima. In più, spesso i fieni utilizzati sono di scarso valore nutritivo e si rendono necessari elevati livelli di concentrati nella razione. Tutto questo può portare alla diminuzione del tempo di ruminazione e produzione di saliva, aumentando il rischio di SARA. Dopo queste brevi premesse, due prove sono state effettuate presso la stalla sperimentale dell'università di Bologna. La prima con lo scopo di studiare il comportamento alimentare di vacche in lattazione sottoposte a regimi ad libitum/razionato con assenza/presenza di fieno lungo. La seconda si svolse con un improvviso cambio di stabulazione, dalla libera alla fissa, e quota di concentrati nell'unifeed. Da queste prove un grande mole di dati è stata registrata, grazie ai collari della ruminazione, boli reticolari e mangiatoie automatiche. I risultati ottenuti ci hanno permesso di confermare le interconnessioni tra comportamento alimentare, ruminazione e pH. Abbiamo anche verificato l'importanza di costanza di preparazione dell'unifeed e la grande capacità di adattamento delle bovine. Infatti la variabilità nelle gestione della mandria può provocare importanti sanitari. Quindi suggeriamo la supplementazione di fieno lungo in mangiatoia e lo sviluppo di tecnologia NIR in linea sul carro miscelatore. Infine sono state registrate importanti differenze individuali nel far fronte agli stati di stress alimentare. Uno studio più approfondito di questi aspetti sicuramente avrebbe risvolti positivi nella gestione della mandria e aprile la possibilità all'introduzione di nuovi indici di selezione.

Evaluation of a 2D multileader training system for improving sustainability and precision orchard management applications in italian apple orchards

The presented study aimed to evaluate the productive and physiological behavior of a 2D multileader apple training systems in the Italian environment both investigating the possibility to increase yield and precision crop load management resolution. Another objective was to find valuable thinning thresholds guaranteeing high yields and matching fruit market requirements. The thesis consists in three studies carried out in a Pink Lady®- Rosy Glow apple orchard trained as a planar multileader training system (double guyot). Fruiting leaders (uprights) dimension, crop load, fruit quality, flower and physiological (leaf gas exchanges and fruit growth rate) data were collected and analysed. The obtained results found that uprights present dependence among each other and as well as a mutual support during fruit development. However, individual upright fruit load and upright’s fruit load distribution on the tree (~ plant crop load) seems to define both upright independence from the other, and single upright crop load effects on the final fruit quality production. Correlations between fruit load and harvest fruit size were found and thanks to that valuable thinning thresholds, based on different vegetative parameters, were obtained. Moreover, it comes out that an upright’s fruit load random distribution presents a widening of those thinning thresholds, keeping un-altered fruit quality. For this reason, uprights resulted a partially physiologically-dependent plant unit. Therefore, if considered and managed as independent, then no major problems on final fruit quality and production occurred. This partly confirmed the possibility to shift crop load management to single upright. The finding of the presented studies together with the benefits coming from multileader planar training systems suggest a high potentiality of the 2D multileader training systems to increase apple production sustainability and profitability for Italian apple orchard, while easing the advent of automation in fruit production.

On the stability of the optimal value and the optimal set in optimization problems

The paper develops a stability theory for the optimal value and the optimal set mapping of optimization problems posed in a Banach space. The problems considered in this paper have an arbitrary number of inequality constraints involving lower semicontinuous (not necessarily convex) functions and one closed abstract constraint set. The considered perturbations lead to problems of the same type as the nominal one (with the same space of variables and the same number of constraints), where the abstract constraint set can also be perturbed. The spaces of functions involved in the problems (objective and constraints) are equipped with the metric of the uniform convergence on the bounded sets, meanwhile in the space of closed sets we consider, coherently, the Attouch-Wets topology. The paper examines, in a unified way, the lower and upper semicontinuity of the optimal value function, and the closedness, lower and upper semicontinuity (in the sense of Berge) of the optimal set mapping. This paper can be seen as a second part of the stability theory presented in [17], where we studied the stability of the feasible set mapping (completed here with the analysis of the Lipschitz-like property).

Improving the accuracy of heat balance integral methods applied to thermal problems with time dependent boundary conditions

In this paper the two main drawbacks of the heat balance integral methods are examined. Firstly we investigate the choice of approximating function. For a standard polynomial form it is shown that combining the Heat Balance and Refined Integral methods to determine the power of the highest order term will either lead to the same, or more often, greatly improved accuracy on standard methods. Secondly we examine thermal problems with a time-dependent boundary condition. In doing so we develop a logarithmic approximating function. This new function allows us to model moving peaks in the temperature profile, a feature that previous heat balance methods cannot capture. If the boundary temperature varies so that at some time t & 0 it equals the far-field temperature, then standard methods predict that the temperature is everywhere at this constant value. The new method predicts the correct behaviour. It is also shown that this function provides even more accurate results, when coupled with the new CIM, than the polynomial profile. Analysis primarily focuses on a specified constant boundary temperature and is then extended to constant flux, Newton cooling and time dependent boundary conditions.

Bernoulli free-boundary problems in strip-like domains and a property of permanent waves on water of finite depth

We study weak solutions for a class of free-boundary problems which includes as a special case the classical problem of travelling gravity waves on water of finite depth. We show that such problems are equivalent to problems in fixed domains and study the regularity of their solutions. We also prove that in very general situations the free boundary is necessarily the graph of a function.

Existence of orthogonal geodesic chords on Riemannian manifolds with concave boundary and homeomorphic to the N-dimensional disk

In this paper we give a proof of the existence of an orthogonal geodesic chord on a Riemannian manifold homeomorphic to a closed disk and with concave boundary. This kind of study is motivated by the link (proved in Giambo et al. (2005) [8]) of the multiplicity problem with the famous Seifert conjecture (formulated in Seifert (1948) [1]) about multiple brake orbits for a class of Hamiltonian systems at a fixed energy level. (C) 2010 Elsevier Ltd. All rights reserved.

Charges and fluxes in Maxwell theory on compact manifolds with boundary

We investigate the charges and fluxes that can occur in higher-order Abelian gauge theories defined on compact space-time manifolds with boundary. The boundary is necessary to supply a destination to the electric lines of force emanating from brane sources, thus allowing non-zero net electric charges, but it also introduces new types of electric and magnetic flux. The resulting structure of currents, charges, and fluxes is studied and expressed in the language of relative homology and de Rham cohomology and the corresponding abelian groups. These can be organised in terms of a pair of exact sequences related by the Poincare-Lefschetz isomorphism and by a weaker flip symmetry exchanging the ends of the sequences. It is shown how all this structure is brought into play by the imposition of the appropriately generalised Maxwell's equations. The requirement that these equations be integrable restricts the world-volume of a permitted brane (assumed closed) to be homologous to a cycle on the boundary of space-time. All electric charges and magnetic fluxes are quantised and satisfy the Dirac quantisation condition. But through some boundary cycles there may be unquantised electric fluxes associated with quantised magnetic fluxes and so dyonic in nature.

On the value function for nonautonomous optimal control problems with infinite horizon

In this paper we consider nonautonomous optimal control problems of infinite horizon type, whose control actions are given by L-1-functions. We verify that the value function is locally Lipschitz. The equivalence between dynamic programming inequalities and Hamilton-Jacobi-Bellman (HJB) inequalities for proximal sub (super) gradients is proven. Using this result we show that the value function is a Dini solution of the HJB equation. We obtain a verification result for the class of Dini sub-solutions of the HJB equation and also prove a minimax property of the value function with respect to the sets of Dini semi-solutions of the HJB equation. We introduce the concept of viscosity solutions of the HJB equation in infinite horizon and prove the equivalence between this and the concept of Dini solutions. In the Appendix we provide an existence theorem. (c) 2006 Elsevier B.V. All rights reserved.

Patterns in parabolic problems with nonlinear boundary conditions

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

A coupled boundary element/differential equation method formulation for plate-beam interaction analysis

In this work, a new boundary element formulation for the analysis of plate-beam interaction is presented. This formulation uses a three nodal value boundary elements and each beam element is replaced by its actions on the plate, i.e., a distributed load and end of element forces. From the solution of the differential equation of a beam with linearly distributed load the plate-beam interaction tractions can be written as a function of the nodal values of the beam. With this transformation a final system of equation in the nodal values of displacements of plate boundary and beam nodes is obtained and from it, all unknowns of the plate-beam system are obtained. Many examples are analyzed and the results show an excellent agreement with those from the analytical solution and other numerical methods. (C) 2009 Elsevier Ltd. All rights reserved.