GazeDrone: Mobile Eye-Based Interaction in Public Space Without Augmenting the User

Gaze interaction holds a lot of promise for seamless human-computer interaction. At the same time, current wearable mobile eye trackers require user augmentation that negatively impacts natural user behavior while remote trackers require users to position themselves within a confined tracking range. We present GazeDrone, the first system that combines a camera-equipped aerial drone with a computational method to detect sidelong glances for spontaneous (calibration-free) gaze-based interaction with surrounding pervasive systems (e.g., public displays). GazeDrone does not require augmenting each user with on-body sensors and allows interaction from arbitrary positions, even while moving. We demonstrate that drone-supported gaze interaction is feasible and accurate for certain movement types. It is well-perceived by users, in particular while interacting from a fixed position as well as while moving orthogonally or diagonally to a display. We present design implications and discuss opportunities and challenges for drone-supported gaze interaction in public

Extended Formulations in Mixed-integer Convex Programming

We present a unifying framework for generating extended formulations for the polyhedral outer approximations used in algorithms for mixed-integer convex programming (MICP). Extended formulations lead to fewer iterations of outer approximation algorithms and generally faster solution times. First, we observe that all MICP instances from the MINLPLIB2 benchmark library are conic representable with standard symmetric and nonsymmetric cones. Conic reformulations are shown to be effective extended formulations themselves because they encode separability structure. For mixed-integer conic-representable problems, we provide the first outer approximation algorithm with finite-time convergence guarantees, opening a path for the use of conic solvers for continuous relaxations. We then connect the popular modeling framework of disciplined convex programming (DCP) to the existence of extended formulations independent of conic representability. We present evidence that our approach can yield significant gains in practice, with the solution of a number of open instances from the MINLPLIB2 benchmark library.Comment: To be presented at IPCO 201

Hydrologic and Water Quality Monitoring on Turkey Creek Watershed, Francis Marion National Forest, SC

2008 S.C. Water Resources Conference - Addressing Water Challenges Facing the State and Regio

Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations

We introduce a new class of graph transformation systems in which rewrite rules can be guarded by universally quantified conditions on the neighbourhood of nodes. These conditions are defined via special graph patterns which may be transformed by the rule as well. For the new class for graph rewrite rules, we provide a symbolic procedure working on minimal representations of upward closed sets of configurations. We prove correctness and effectiveness of the procedure by a categorical presentation of rewrite rules as well as the involved order, and using results for well-structured transition systems. We apply the resulting procedure to the analysis of the Distributed Dining Philosophers protocol on an arbitrary network structure.Comment: Extended version of a submittion accepted at RP'14 Worksho

Harvesting the wisdom of the crowd: using online ratings to explore care experiences in regions.

Regional population health management (PHM) initiatives need an understanding of regional patient experiences to improve their services. Websites that gather patient ratings have become common and could be a helpful tool in this effort. Therefore, this study explores whether unsolicited online ratings can provide insight into (differences in) patient's experiences at a (regional) population level

Needs and barriers to improve the collaboration in oral anticoagulant therapy: a qualitative study

Contains fulltext : 96138.pdf (publisher's version ) (Open Access

Hard-Thermal-Loop Corrections in Leptogenesis II: Solving the Boltzmann Equations

We investigate hard-thermal-loop (HTL) corrections to the final lepton asymmetry in leptogenesis. To this end we solve the Boltzmann equations with HTL-corrected rates and CP asymmetries, which we calculated in paper I of this series. We pay special attention to the influence of the two leptonic quasiparticles that arise at non-zero temperature. We include only decays and inverse decays and allow for the lepton modes to be either decoupled from each other, or to be in chemical equilibrium by some strong interaction, simulating the interaction with gauge bosons. In two additional cases, we approximate the full HTL lepton propagators with zero-temperature propagators, where we replace the zero-temperature mass by the thermal mass of the leptons $m_\ell(T)$ or the asymptotic mass $\sqrt{2} \, m_\ell(T)$. We compare the final lepton asymmetries of the four thermal cases and the zero-temperature case for zero, thermal and dominant initial neutrino abundance. The final lepton asymmetries of the thermal cases differ considerably from the vacuum case and from each other in the weak washout regime for zero initial neutrino abundance and in the intermediate regime for dominant initial neutrino abundance. In the strong washout regime, the final lepton asymmetry can be enhanced by a factor of two in the case of strongly interacting lepton modes.Comment: 51 pages, 27 figure

Magnetic phase evolution in the spinel compounds Zn1−x_{1-x}Cox_xCr2_2O4_4

We present the magnetic properties of complete solid solutions of ZnCr$_2$O$_4$ and CoCr$_2$O$_4$: two well-studied oxide spinels with very different magnetic ground states. ZnCr$_2$O$_4$, with non-magnetic $d^{10}$ cations occupying the A site and magnetic $d^3$ cations on the B site, is a highly frustrated antiferromagnet. CoCr$_2$O$_4$, with magnetic $d^7$ cations (three unpaired electrons) on the A site as well, exhibits both N\'eel ferrimagnetism as well as commensurate and incommensurate non-collinear magnetic order. More recently, CoCr$_2$O$_4$ has been studied extensively for its polar behavior which arises from conical magnetic ordering. Gradually introducing magnetism on the A site of ZnCr$_2$O$_4$ results in a transition from frustrated antiferromagnetism to glassy magnetism at low concentrations of Co, and eventually to ferrimagnetic and conical ground states at higher concentrations. Real-space Monte-Carlo simulations of the magnetic susceptibility suggest that the first magnetic ordering transition and features of the susceptibility across $x$ are captured by near-neighbor self- and cross-couplings between the magnetic A and B atoms. We present as a part of this study, a method for displaying the temperature dependence of magnetic susceptibility in a manner which helps distinguish between compounds possessing purely antiferromagnetic interactions from compounds where other kinds of ordering are present.Comment: 10 pages, 5 figures, 1 tabl

High-quality chronic care delivery improves experiences of chronically ill patients receiving care

__Abstract__ Objective. Investigate whether high-quality chronic care delivery improved the experiences of patients. Design. This study had a longitudinal design. Setting and Participants. We surveyed professionals and patients in 17 disease management programs targeting patients with cardiovascular diseases, chronic obstructive pulmonary disease, heart failure, stroke, comorbidity and eatin