Mobility-Induced Service Migration in Mobile Micro-Clouds

Mobile micro-cloud is an emerging technology in distributed computing, which is aimed at providing seamless computing/data access to the edge of the network when a centralized service may suffer from poor connectivity and long latency. Different from the traditional cloud, a mobile micro-cloud is smaller and deployed closer to users, typically attached to a cellular basestation or wireless network access point. Due to the relatively small coverage area of each basestation or access point, when a user moves across areas covered by different basestations or access points which are attached to different micro-clouds, issues of service performance and service migration become important. In this paper, we consider such migration issues. We model the general problem as a Markov decision process (MDP), and show that, in the special case where the mobile user follows a one-dimensional asymmetric random walk mobility model, the optimal policy for service migration is a threshold policy. We obtain the analytical solution for the cost resulting from arbitrary thresholds, and then propose an algorithm for finding the optimal thresholds. The proposed algorithm is more efficient than standard mechanisms for solving MDPs.Comment: in Proc. of IEEE MILCOM 2014, Oct. 201

Correcting for serial dependence in studies of respiratory dynamics

Understanding the physiological impact of drug treatments on patients is important in assessing their performance and determining possible side effects. While this effect might be best determined in individual subjects, conventional methods assess treatment performance by averaging a physiological measure of interest before and after drug administration for n subjects. Summarizing large numbers of time-series observations in two means for each subject in this way results in significant information loss. Treatment effect can instead be analyzed in individual subjects. Because serial dependence of observations from the same animal must then be considered, methods that assume independence of observations, such as the t-test and z-test, cannot be used. We address this issue in the case of respiratory data collected from anesthetized rats that were injected with a dopamine agonist. In order to accurately assess treatment effect in time-series data, we begin by formulating a method of conditional likelihood maximization to estimate the parameters of a first-order autoregressive (AR) process. We show that treatment effect of a dopamine agonist can be determined while incorporating serial effect into the analysis. In addition, while maximum likelihood estimators of a large sample with independent observations may converge to an asymptotically normal distribution, this result of large sample theory may not hold when observations are serially dependent. In this case, a parametric bootstrap comparison can be used to approximate an appropriate measure of uncertainty.National Institutes of Health (U.S.) (Grant DP1-OD003646)National Institutes of Health (U.S.) (Grant K08-GM094394)National Institutes of Health (U.S.) (Grant K08-GM083216

Designettes: An Approach to Multidisciplinary Engineering Design Education

Design and other fundamental topics in engineering are often isolated to dedicated courses. An opportunity exists to foster a culture of engineering design and multidisciplinary problem solving throughout the curriculum. Designettes, charettelike design challenges, are rapid and creative learning tools that enable educators to integrate design learning in a single class, across courses, across terms, and across disciplines. When two or more courses join together in a designette, a multidisciplinary learning activity occurs; multiple subjects are integrated and applied to open-ended problems and grand challenges. This practice helps foster a culture of design, and enables the introduction of multidisciplinary design challenges. Studies at the Singapore University of Technology and Design (SUTD) demonstrate learning of engineering subject matter in a bio-inspired robotics designette (MechAnimal), an interactive musical circuit designette, and an automated milk delivery (AutoMilk) designette. Each challenge combines problem clarification, concept generation, and prototyping with subject content such as circuits, biology, thermodynamics, differential equations, or software with controls. From pre- and postsurveys of students, designettes are found to increase students' understanding of engineering concepts. From 321 third-semester students, designettes were found to increase students' perceptions of their ability to solve multidisciplinary problems

Efficiently Manifesting Asynchronous Programming Errors in Android Apps

Android, the #1 mobile app framework, enforces the single-GUI-thread model, in which a single UI thread manages GUI rendering and event dispatching. Due to this model, it is vital to avoid blocking the UI thread for responsiveness. One common practice is to offload long-running tasks into async threads. To achieve this, Android provides various async programming constructs, and leaves developers themselves to obey the rules implied by the model. However, as our study reveals, more than 25% apps violate these rules and introduce hard-to-detect, fail-stop errors, which we term as aysnc programming errors (APEs). To this end, this paper introduces APEChecker, a technique to automatically and efficiently manifest APEs. The key idea is to characterize APEs as specific fault patterns, and synergistically combine static analysis and dynamic UI exploration to detect and verify such errors. Among the 40 real-world Android apps, APEChecker unveils and processes 61 APEs, of which 51 are confirmed (83.6% hit rate). Specifically, APEChecker detects 3X more APEs than the state-of-art testing tools (Monkey, Sapienz and Stoat), and reduces testing time from half an hour to a few minutes. On a specific type of APEs, APEChecker confirms 5X more errors than the data race detection tool, EventRacer, with very few false alarms

Interacting models for twisted bilayer graphene: a quantum chemistry approach

The nature of correlated states in twisted bilayer graphene (TBG) at the magic angle has received intense attention in recent years. We present a numerical study of an interacting Bistritzer-MacDonald (IBM) model of TBG using a suite of methods in quantum chemistry, including Hartree-Fock, coupled cluster singles, doubles (CCSD), and perturbative triples (CCSD(T)), as well as a quantum chemistry formulation of the density matrix renormalization group method (DMRG). Our treatment of TBG is agnostic to gauge choices, and hence we present a new gauge-invariant formulation to detect the spontaneous symmetry breaking in interacting models. To benchmark our approach, we focus on a simplified spinless, valleyless IBM model. At integer filling ($\nu=0$), all numerical methods agree in terms of energy and $C_{2z} \mathcal{T}$ symmetry breaking. Additionally, as part of our benchmarking, we explore the impact of different schemes for removing ``double-counting'' in the IBM model. Our results at integer filling suggest that cross-validation of different IBM models may be needed for future studies of the TBG system. After benchmarking our approach at integer filling, we perform the first systematic study of the IBM model near integer filling (for $|\nu|< 0.2$). In this regime, we find that the ground state can be in a metallic and $C_{2z} \mathcal{T}$ symmetry breaking phase. The ground state appears to have low entropy, and therefore can be relatively well approximated by a single Slater determinant. Furthermore, we observe many low entropy states with energies very close to the ground state energy in the near integer filling regime

Robust time-varying multivariate coherence estimation: Application to electroencephalogram recordings during general anesthesia

Coherence analysis characterizes frequency-dependent covariance between signals, and is useful for multivariate oscillatory data often encountered in neuroscience. The global coherence provides a summary of coherent behavior in high-dimensional multivariate data by quantifying the concentration of variance in the first mode of an eigenvalue decomposition of the cross-spectral matrix. Practical application of this useful method is sensitive to noise, and can confound coherent activity in disparate neural populations or spatial locations that have a similar frequency structure. In this paper we describe two methodological enhancements to the global coherence procedure that increase robustness of the technique to noise, and that allow characterization of how power within specific coherent modes change through time.National Institutes of Health (U.S.) (Grant DP2-OD006454)National Institutes of Health (U.S.) (Grant K25-NS057580)National Institutes of Health (U.S.) (Grant DP1-OD003646)National Institutes of Health (U.S.) (Grant R01-EB006385)National Institutes of Health (U.S.) (Grant R01-MH071847

Snow algae communities in Antarctica: metabolic and taxonomic composition.

Snow algae are found in snowfields across cold regions of the planet, forming highly visible red and green patches below and on the snow surface. In Antarctica, they contribute significantly to terrestrial net primary productivity due to the paucity of land plants, but our knowledge of these communities is limited. Here we provide the first description of the metabolic and species diversity of green and red snow algae communities from four locations in Ryder Bay (Adelaide Island, 68°S), Antarctic Peninsula. During the 2015 austral summer season, we collected samples to measure the metabolic composition of snow algae communities and determined the species composition of these communities using metabarcoding. Green communities were protein-rich, had a high chlorophyll content and contained many metabolites associated with nitrogen and amino acid metabolism. Red communities had a higher carotenoid content and contained more metabolites associated with carbohydrate and fatty acid metabolism. Chloromonas, Chlamydomonas and Chlorella were found in green blooms but only Chloromonas was detected in red blooms. Both communities also contained bacteria, protists and fungi. These data show the complexity and variation within snow algae communities in Antarctica and provide initial insights into the contribution they make to ecosystem functioning.European Union (project no. 215G) INTERREG IVB ‘Energetic Algae’ (EnAlgae) program and a Leverhulme Trust Research Grant (RPG-2017-077

Bayesian analysis of trinomial data in behavioral experiments and its application to human studies of general anesthesia

Accurate quantification of loss of response to external stimuli is essential for understanding the mechanisms of loss of consciousness under general anesthesia. We present a new approach for quantifying three possible outcomes that are encountered in behavioral experiments during general anesthesia: correct responses, incorrect responses and no response. We use a state-space model with two state variables representing a probability of response and a conditional probability of correct response. We show applications of this approach to an example of responses to auditory stimuli at varying levels of propofol anesthesia ranging from light sedation to deep anesthesia in human subjects. The posterior probability densities of model parameters and the response probability are computed within a Bayesian framework using Markov Chain Monte Carlo methods.National Institutes of Health (U.S.) (Grant DP2-OD006454)National Institutes of Health (U.S.) (Grant K25-NS057580)National Institutes of Health (U.S.) (Grant DP1-OD003646)National Institutes of Health (U.S.) (Grant R01-EB006385)National Institutes of Health (U.S.) (Grant R01-MH071847