-
The Schwarzschild-de Sitter Metric of Nonlocal $\sqrt{dS}$ Gravity
Authors:
Ivan Dimitrijevic,
Branko Dragovich,
Zoran Rakic,
Jelena Stankovic
Abstract:
It is already known that a simple nonlocal de Sitter gravity model, which we denote as $\sqrt{dS}$ gravity, contains an exact vacuum cosmological solution which mimics dark energy and dark matter and is in very good agreement with the standard model of cosmology. This success of $\sqrt{dS}$ gravity motivated us to investigate how it works at lower than cosmic scale -- galactic and the solar system…
▽ More
It is already known that a simple nonlocal de Sitter gravity model, which we denote as $\sqrt{dS}$ gravity, contains an exact vacuum cosmological solution which mimics dark energy and dark matter and is in very good agreement with the standard model of cosmology. This success of $\sqrt{dS}$ gravity motivated us to investigate how it works at lower than cosmic scale -- galactic and the solar system. This paper contains our investigation of the corresponding Schwarzschild-de Sitter metric of the $\sqrt{dS}$ gravity model. To get exact solution, it is necessary to solve the corresponding nonlinear differential equation, what is a very complicated and difficult problem. What we obtained is a solution of linearized equation, which is related to space metric far from the massive body, where gravitational field is weak. The obtained approximate solution is of particular interest for examining the possible role of non-local de Sitter gravity $\sqrt{dS}$ in describing the effects in galactic dynamics that are usually attributed to dark matter. The solution has been tested on the Milky Way and the spiral galaxy M33 and is in good agreement with observational measurements.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
Real-Time Multimodal Cognitive Assistant for Emergency Medical Services
Authors:
Keshara Weerasinghe,
Saahith Janapati,
Xueren Ge,
Sion Kim,
Sneha Iyer,
John A. Stankovic,
Homa Alemzadeh
Abstract:
Emergency Medical Services (EMS) responders often operate under time-sensitive conditions, facing cognitive overload and inherent risks, requiring essential skills in critical thinking and rapid decision-making. This paper presents CognitiveEMS, an end-to-end wearable cognitive assistant system that can act as a collaborative virtual partner engaging in the real-time acquisition and analysis of mu…
▽ More
Emergency Medical Services (EMS) responders often operate under time-sensitive conditions, facing cognitive overload and inherent risks, requiring essential skills in critical thinking and rapid decision-making. This paper presents CognitiveEMS, an end-to-end wearable cognitive assistant system that can act as a collaborative virtual partner engaging in the real-time acquisition and analysis of multimodal data from an emergency scene and interacting with EMS responders through Augmented Reality (AR) smart glasses. CognitiveEMS processes the continuous streams of data in real-time and leverages edge computing to provide assistance in EMS protocol selection and intervention recognition. We address key technical challenges in real-time cognitive assistance by introducing three novel components: (i) a Speech Recognition model that is fine-tuned for real-world medical emergency conversations using simulated EMS audio recordings, augmented with synthetic data generated by large language models (LLMs); (ii) an EMS Protocol Prediction model that combines state-of-the-art (SOTA) tiny language models with EMS domain knowledge using graph-based attention mechanisms; (iii) an EMS Action Recognition module which leverages multimodal audio and video data and protocol predictions to infer the intervention/treatment actions taken by the responders at the incident scene. Our results show that for speech recognition we achieve superior performance compared to SOTA (WER of 0.290 vs. 0.618) on conversational data. Our protocol prediction component also significantly outperforms SOTA (top-3 accuracy of 0.800 vs. 0.200) and the action recognition achieves an accuracy of 0.727, while maintaining an end-to-end latency of 3.78s for protocol prediction on the edge and 0.31s on the server.
△ Less
Submitted 11 March, 2024;
originally announced March 2024.
-
On a nonlocal de Sitter gravity
Authors:
Ivan Dimitrijevic,
Branko Dragovich,
Zoran Rakic,
Jelena Stankovic
Abstract:
In this paper, we briefly review highlights of nonlocal de Sitter gravity based on the nonlocal term $ \sqrt{R - 2Λ}\ \mathcal{F}(\Box)\ \sqrt{R - 2Λ}$ in the Einstein-Hilbert action without matter sector. This nonlocal de Sitter gravity model has several exact cosmological FLRW solutions and one of these solutions contains some effects that are usually assigned to dark matter and dark energy. The…
▽ More
In this paper, we briefly review highlights of nonlocal de Sitter gravity based on the nonlocal term $ \sqrt{R - 2Λ}\ \mathcal{F}(\Box)\ \sqrt{R - 2Λ}$ in the Einstein-Hilbert action without matter sector. This nonlocal de Sitter gravity model has several exact cosmological FLRW solutions and one of these solutions contains some effects that are usually assigned to dark matter and dark energy. There are also some other interesting and promising properties of this kind of gravity nonlocality. We also review some anisotropic cosmological solutions, and mention the corresponding nonlocal Schwarzschild-de Sitter metric.
△ Less
Submitted 27 December, 2023;
originally announced December 2023.
-
Camera-Independent Single Image Depth Estimation from Defocus Blur
Authors:
Lahiru Wijayasingha,
Homa Alemzadeh,
John A. Stankovic
Abstract:
Monocular depth estimation is an important step in many downstream tasks in machine vision. We address the topic of estimating monocular depth from defocus blur which can yield more accurate results than the semantic based depth estimation methods. The existing monocular depth from defocus techniques are sensitive to the particular camera that the images are taken from. We show how several camera-…
▽ More
Monocular depth estimation is an important step in many downstream tasks in machine vision. We address the topic of estimating monocular depth from defocus blur which can yield more accurate results than the semantic based depth estimation methods. The existing monocular depth from defocus techniques are sensitive to the particular camera that the images are taken from. We show how several camera-related parameters affect the defocus blur using optical physics equations and how they make the defocus blur depend on these parameters. The simple correction procedure we propose can alleviate this problem which does not require any retraining of the original model. We created a synthetic dataset which can be used to test the camera independent performance of depth from defocus blur models. We evaluate our model on both synthetic and real datasets (DDFF12 and NYU depth V2) obtained with different cameras and show that our methods are significantly more robust to the changes of cameras. Code: https://github.com/sleekEagle/defocus_camind.git
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
DKEC: Domain Knowledge Enhanced Multi-Label Classification for Diagnosis Prediction
Authors:
Xueren Ge,
Satpathy Abhishek,
Ronald Dean Williams,
John A. Stankovic,
Homa Alemzadeh
Abstract:
Multi-label text classification (MLTC) tasks in the medical domain often face the long-tail label distribution problem. Prior works have explored hierarchical label structures to find relevant information for few-shot classes, but mostly neglected to incorporate external knowledge from medical guidelines. This paper presents DKEC, Domain Knowledge Enhanced Classification for diagnosis prediction w…
▽ More
Multi-label text classification (MLTC) tasks in the medical domain often face the long-tail label distribution problem. Prior works have explored hierarchical label structures to find relevant information for few-shot classes, but mostly neglected to incorporate external knowledge from medical guidelines. This paper presents DKEC, Domain Knowledge Enhanced Classification for diagnosis prediction with two innovations: (1) automated construction of heterogeneous knowledge graphs from external sources to capture semantic relations among diverse medical entities, (2) incorporating the heterogeneous knowledge graphs in few-shot classification using a label-wise attention mechanism. We construct DKEC using three online medical knowledge sources and evaluate it on a real-world Emergency Medical Services (EMS) dataset and a public electronic health record (EHR) dataset. Results show that DKEC outperforms the state-of-the-art label-wise attention networks and transformer models of different sizes, particularly for the few-shot classes. More importantly, it helps the smaller language models achieve comparable performance to large language models.
△ Less
Submitted 19 June, 2024; v1 submitted 10 October, 2023;
originally announced October 2023.
-
Robust Human Detection under Visual Degradation via Thermal and mmWave Radar Fusion
Authors:
Kaiwen Cai,
Qiyue Xia,
Peize Li,
John Stankovic,
Chris Xiaoxuan Lu
Abstract:
The majority of human detection methods rely on the sensor using visible lights (e.g., RGB cameras) but such sensors are limited in scenarios with degraded vision conditions. In this paper, we present a multimodal human detection system that combines portable thermal cameras and single-chip mmWave radars. To mitigate the noisy detection features caused by the low contrast of thermal cameras and th…
▽ More
The majority of human detection methods rely on the sensor using visible lights (e.g., RGB cameras) but such sensors are limited in scenarios with degraded vision conditions. In this paper, we present a multimodal human detection system that combines portable thermal cameras and single-chip mmWave radars. To mitigate the noisy detection features caused by the low contrast of thermal cameras and the multi-path noise of radar point clouds, we propose a Bayesian feature extractor and a novel uncertainty-guided fusion method that surpasses a variety of competing methods, either single-modal or multi-modal. We evaluate the proposed method on real-world data collection and demonstrate that our approach outperforms the state-of-the-art methods by a large margin.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
The Scope of In-Context Learning for the Extraction of Medical Temporal Constraints
Authors:
Parker Seegmiller,
Joseph Gatto,
Madhusudan Basak,
Diane Cook,
Hassan Ghasemzadeh,
John Stankovic,
Sarah Preum
Abstract:
Medications often impose temporal constraints on everyday patient activity. Violations of such medical temporal constraints (MTCs) lead to a lack of treatment adherence, in addition to poor health outcomes and increased healthcare expenses. These MTCs are found in drug usage guidelines (DUGs) in both patient education materials and clinical texts. Computationally representing MTCs in DUGs will adv…
▽ More
Medications often impose temporal constraints on everyday patient activity. Violations of such medical temporal constraints (MTCs) lead to a lack of treatment adherence, in addition to poor health outcomes and increased healthcare expenses. These MTCs are found in drug usage guidelines (DUGs) in both patient education materials and clinical texts. Computationally representing MTCs in DUGs will advance patient-centric healthcare applications by hel** to define safe patient activity patterns. We define a novel taxonomy of MTCs found in DUGs and develop a novel context-free grammar (CFG) based model to computationally represent MTCs from unstructured DUGs. Additionally, we release three new datasets with a combined total of N = 836 DUGs labeled with normalized MTCs. We develop an in-context learning (ICL) solution for automatically extracting and normalizing MTCs found in DUGs, achieving an average F1 score of 0.62 across all datasets. Finally, we rigorously investigate ICL model performance against a baseline model, across datasets and MTC types, and through in-depth error analysis.
△ Less
Submitted 16 October, 2023; v1 submitted 16 March, 2023;
originally announced March 2023.
-
CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization
Authors:
Zirong Chen,
Issa Li,
Haoxiang Zhang,
Sarah Preum,
John A. Stankovic,
Meiyi Ma
Abstract:
An increasing number of monitoring systems have been developed in smart cities to ensure that the real-time operations of a city satisfy safety and performance requirements. However, many existing city requirements are written in English with missing, inaccurate, or ambiguous information. There is a high demand for assisting city policymakers in converting human-specified requirements to machine-u…
▽ More
An increasing number of monitoring systems have been developed in smart cities to ensure that the real-time operations of a city satisfy safety and performance requirements. However, many existing city requirements are written in English with missing, inaccurate, or ambiguous information. There is a high demand for assisting city policymakers in converting human-specified requirements to machine-understandable formal specifications for monitoring systems. To tackle this limitation, we build CitySpec, the first intelligent assistant system for requirement specification in smart cities. To create CitySpec, we first collect over 1,500 real-world city requirements across different domains (e.g., transportation and energy) from over 100 cities and extract city-specific knowledge to generate a dataset of city vocabulary with 3,061 words. We also build a translation model and enhance it through requirement synthesis and develop a novel online learning framework with shielded validation. The evaluation results on real-world city requirements show that CitySpec increases the sentence-level accuracy of requirement specification from 59.02% to 86.64%, and has strong adaptability to a new city and a new domain (e.g., the F1 score for requirements in Seattle increases from 77.6% to 93.75% with online learning). After the enhancement from the shield function, CitySpec is now immune to most known textual adversarial inputs (e.g., the attack success rate of DeepWordBug after the shield function is reduced to 0% from 82.73%). We test the CitySpec with 18 participants from different domains. CitySpec shows its strong usability and adaptability to different domains, and also its robustness to malicious inputs.
△ Less
Submitted 30 March, 2023; v1 submitted 19 February, 2023;
originally announced February 2023.
-
ActSafe: Predicting Violations of Medical Temporal Constraints for Medication Adherence
Authors:
Parker Seegmiller,
Joseph Gatto,
Abdullah Mamun,
Hassan Ghasemzadeh,
Diane Cook,
John Stankovic,
Sarah Masud Preum
Abstract:
Prescription medications often impose temporal constraints on regular health behaviors (RHBs) of patients, e.g., eating before taking medication. Violations of such medical temporal constraints (MTCs) can result in adverse effects. Detecting and predicting such violations before they occur can help alert the patient. We formulate the problem of modeling MTCs and develop a proof-of-concept solution…
▽ More
Prescription medications often impose temporal constraints on regular health behaviors (RHBs) of patients, e.g., eating before taking medication. Violations of such medical temporal constraints (MTCs) can result in adverse effects. Detecting and predicting such violations before they occur can help alert the patient. We formulate the problem of modeling MTCs and develop a proof-of-concept solution, ActSafe, to predict violations of MTCs well ahead of time. ActSafe utilizes a context-free grammar based approach for extracting and map** MTCs from patient education materials. It also addresses the challenges of accurately predicting RHBs central to MTCs (e.g., medication intake). Our novel behavior prediction model, HERBERT , utilizes a basis vectorization of time series that is generalizable across temporal scale and duration of behaviors, explicitly capturing the dependency between temporally collocated behaviors. Based on evaluation using a real-world RHB dataset collected from 28 patients in uncontrolled environments, HERBERT outperforms baseline models with an average of 51% reduction in root mean square error. Based on an evaluation involving patients with chronic conditions, ActSafe can predict MTC violations a day ahead of time with an average F1 score of 0.86.
△ Less
Submitted 17 January, 2023;
originally announced January 2023.
-
On the Schwarzschild-de Sitter metric of nonlocal de Sitter gravity
Authors:
I. Dimitrijevic,
B. Dragovich,
Z. Rakic,
J. Stankovic
Abstract:
Earlier constructed a simple nonlocal de Sitter gravity model has a cosmological solution in a very good agreement with astronomical observations. In this paper, we continue the investigation of the nonlocal de Sitter model of gravity, focusing on finding an appropriate solution for the Schwarzschild-de Sitter metric. We succeeded to solve the equations of motion in a certain approximation. The ob…
▽ More
Earlier constructed a simple nonlocal de Sitter gravity model has a cosmological solution in a very good agreement with astronomical observations. In this paper, we continue the investigation of the nonlocal de Sitter model of gravity, focusing on finding an appropriate solution for the Schwarzschild-de Sitter metric. We succeeded to solve the equations of motion in a certain approximation. The obtained approximate solution is of particular interest for examining the possible role of non-local de Sitter gravity in describing the effects in galactic dynamics that are usually attributed to dark matter.
△ Less
Submitted 26 December, 2022;
originally announced December 2022.
-
Data-Driven Distributionally Robust Electric Vehicle Balancing for Autonomous Mobility-on-Demand Systems under Demand and Supply Uncertainties
Authors:
Sihong He,
Zhili Zhang,
Shuo Han,
Lynn Pepin,
Guang Wang,
Desheng Zhang,
John Stankovic,
Fei Miao
Abstract:
Electric vehicles (EVs) are being rapidly adopted due to their economic and societal benefits. Autonomous mobility-on-demand (AMoD) systems also embrace this trend. However, the long charging time and high recharging frequency of EVs pose challenges to efficiently managing EV AMoD systems. The complicated dynamic charging and mobility process of EV AMoD systems makes the demand and supply uncertai…
▽ More
Electric vehicles (EVs) are being rapidly adopted due to their economic and societal benefits. Autonomous mobility-on-demand (AMoD) systems also embrace this trend. However, the long charging time and high recharging frequency of EVs pose challenges to efficiently managing EV AMoD systems. The complicated dynamic charging and mobility process of EV AMoD systems makes the demand and supply uncertainties significant when designing vehicle balancing algorithms. In this work, we design a data-driven distributionally robust optimization (DRO) approach to balance EVs for both the mobility service and the charging process. The optimization goal is to minimize the worst-case expected cost under both passenger mobility demand uncertainties and EV supply uncertainties. We then propose a novel distributional uncertainty sets construction algorithm that guarantees the produced parameters are contained in desired confidence regions with a given probability. To solve the proposed DRO AMoD EV balancing problem, we derive an equivalent computationally tractable convex optimization problem. Based on real-world EV data of a taxi system, we show that with our solution the average total balancing cost is reduced by 14.49%, and the average mobility fairness and charging fairness are improved by 15.78% and 34.51%, respectively, compared to solutions that do not consider uncertainties.
△ Less
Submitted 24 November, 2022;
originally announced November 2022.
-
Integrating Voice-Based Machine Learning Technology into Complex Home Environments
Authors:
Ye Gao,
Jason Jabbour,
Eunjung Ko,
Lahiru Nuwan Wijayasingha,
Sooyoung Kim,
Zetao Wang,
Meiyi Ma,
Karen Rose,
Kristina Gordon,
Hongning Wang,
John Stankovic
Abstract:
To demonstrate the value of machine learning based smart health technologies, researchers have to deploy their solutions into complex real-world environments with real participants. This gives rise to many, oftentimes unexpected, challenges for creating technology in a lab environment that will work when deployed in real home environments. In other words, like more mature disciplines, we need solu…
▽ More
To demonstrate the value of machine learning based smart health technologies, researchers have to deploy their solutions into complex real-world environments with real participants. This gives rise to many, oftentimes unexpected, challenges for creating technology in a lab environment that will work when deployed in real home environments. In other words, like more mature disciplines, we need solutions for what can be done at development time to increase success at deployment time. To illustrate an approach and solutions, we use an example of an ongoing project that is a pipeline of voice based machine learning solutions that detects the anger and verbal conflicts of the participants. For anonymity, we call it the XYZ system. XYZ is a smart health technology because by notifying the participants of their anger, it encourages the participants to better manage their emotions. This is important because being able to recognize one's emotions is the first step to better managing one's anger. XYZ was deployed in 6 homes for 4 months each and monitors the emotion of the caregiver of a dementia patient. In this paper we demonstrate some of the necessary steps to be accomplished during the development stage to increase deployment time success, and show where continued work is still necessary. Note that the complex environments arise both from the physical world and from complex human behavior.
△ Less
Submitted 6 November, 2022;
originally announced November 2022.
-
MiddleGAN: Generate Domain Agnostic Samples for Unsupervised Domain Adaptation
Authors:
Ye Gao,
Zhendong Chu,
Hongning Wang,
John Stankovic
Abstract:
In recent years, machine learning has achieved impressive results across different application areas. However, machine learning algorithms do not necessarily perform well on a new domain with a different distribution than its training set. Domain Adaptation (DA) is used to mitigate this problem. One approach of existing DA algorithms is to find domain invariant features whose distributions in the…
▽ More
In recent years, machine learning has achieved impressive results across different application areas. However, machine learning algorithms do not necessarily perform well on a new domain with a different distribution than its training set. Domain Adaptation (DA) is used to mitigate this problem. One approach of existing DA algorithms is to find domain invariant features whose distributions in the source domain are the same as their distribution in the target domain. In this paper, we propose to let the classifier that performs the final classification task on the target domain learn implicitly the invariant features to perform classification. It is achieved via feeding the classifier during training generated fake samples that are similar to samples from both the source and target domains. We call these generated samples domain-agnostic samples. To accomplish this we propose a novel variation of generative adversarial networks (GAN), called the MiddleGAN, that generates fake samples that are similar to samples from both the source and target domains, using two discriminators and one generator. We extend the theory of GAN to show that there exist optimal solutions for the parameters of the two discriminators and one generator in MiddleGAN, and empirically show that the samples generated by the MiddleGAN are similar to both samples from the source domain and samples from the target domain. We conducted extensive evaluations using 24 benchmarks; on the 24 benchmarks, we compare MiddleGAN against various state-of-the-art algorithms and outperform the state-of-the-art by up to 20.1\% on certain benchmarks.
△ Less
Submitted 6 November, 2022;
originally announced November 2022.
-
Nonlocal de Sitter gravity and its exact cosmological solutions
Authors:
Ivan Dimitrijevic,
Branko Dragovich,
Zoran Rakic,
Jelena Stankovic
Abstract:
This paper is devoted to a simple nonlocal de Sitter gravity model and its exact vacuum cosmological solutions. In the Einstein-Hilbert action with $Λ$ term, we introduce nonlocality by the following way: $R - 2 Λ= \sqrt{R-2Λ}\ \sqrt{R-2Λ} \to \sqrt{R-2Λ}\ F(\Box)\ \sqrt{R-2Λ} ,$ where ${F} (\Box) = 1 + \sum_{n= 1}^{+\infty} \big( f_n \Box^n + f_{-n} \Box^{-n} \big) $ is an analytic function of th…
▽ More
This paper is devoted to a simple nonlocal de Sitter gravity model and its exact vacuum cosmological solutions. In the Einstein-Hilbert action with $Λ$ term, we introduce nonlocality by the following way: $R - 2 Λ= \sqrt{R-2Λ}\ \sqrt{R-2Λ} \to \sqrt{R-2Λ}\ F(\Box)\ \sqrt{R-2Λ} ,$ where ${F} (\Box) = 1 + \sum_{n= 1}^{+\infty} \big( f_n \Box^n + f_{-n} \Box^{-n} \big) $ is an analytic function of the d'Alembert-Beltrami operator $\Box$ and its inverse $\Box^{-1}$. By this way, $R$ and $Λ$ enter with the same form into nonlocal version as they are in the local one, and nonlocal operator $F(\Box)$ is dimensionless. The corresponding equations of motion for gravitational field $g_{μν}$ are presented. The first step in finding some exact cosmological solutions is solving the equation $\Box \sqrt{R-2Λ} = q \sqrt{R-2Λ} , $ where $ q =ζΛ\quad (ζ\in \mathbb{R})$ is an eigenvalue and $\sqrt{R-2Λ}$ is an eigenfunction of the operator $\Box .$ We presented and discussed several exact cosmological solutions for homogeneous and isotropic universe. One of these solutions mimics effects that are usually assigned to dark matter and dark energy. Some other solutions are examples of the nonsingular bounce ones in flat, closed and open universe. There are also singular and cyclic solutions. All these cosmological solutions are a result of nonlocality and do not exist in the local de Sitter case.
△ Less
Submitted 27 June, 2022;
originally announced June 2022.
-
An Intelligent Assistant for Converting City Requirements to Formal Specification
Authors:
Zirong Chen,
Isaac Li,
Haoxiang Zhang,
Sarah Preum,
John Stankovic,
Meiyi Ma
Abstract:
As more and more monitoring systems have been deployed to smart cities, there comes a higher demand for converting new human-specified requirements to machine-understandable formal specifications automatically. However, these human-specific requirements are often written in English and bring missing, inaccurate, or ambiguous information. In this paper, we present CitySpec, an intelligent assistant…
▽ More
As more and more monitoring systems have been deployed to smart cities, there comes a higher demand for converting new human-specified requirements to machine-understandable formal specifications automatically. However, these human-specific requirements are often written in English and bring missing, inaccurate, or ambiguous information. In this paper, we present CitySpec, an intelligent assistant system for requirement specification in smart cities. CitySpec not only helps overcome the language differences brought by English requirements and formal specifications, but also offers solutions to those missing, inaccurate, or ambiguous information. The goal of this paper is to demonstrate how CitySpec works. Specifically, we present three demos: (1) interactive completion of requirements in CitySpec; (2) human-in-the-loop correction while CitySepc encounters exceptions; (3) online learning in CitySpec.
△ Less
Submitted 14 June, 2022;
originally announced June 2022.
-
CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities
Authors:
Zirong Chen,
Isaac Li,
Haoxiang Zhang,
Sarah Preum,
John A. Stankovic,
Meiyi Ma
Abstract:
An increasing number of monitoring systems have been developed in smart cities to ensure that real-time operations of a city satisfy safety and performance requirements. However, many existing city requirements are written in English with missing, inaccurate, or ambiguous information. There is a high demand for assisting city policy makers in converting human-specified requirements to machine-unde…
▽ More
An increasing number of monitoring systems have been developed in smart cities to ensure that real-time operations of a city satisfy safety and performance requirements. However, many existing city requirements are written in English with missing, inaccurate, or ambiguous information. There is a high demand for assisting city policy makers in converting human-specified requirements to machine-understandable formal specifications for monitoring systems. To tackle this limitation, we build CitySpec, the first intelligent assistant system for requirement specification in smart cities. To create CitySpec, we first collect over 1,500 real-world city requirements across different domains from over 100 cities and extract city-specific knowledge to generate a dataset of city vocabulary with 3,061 words. We also build a translation model and enhance it through requirement synthesis and develop a novel online learning framework with validation under uncertainty. The evaluation results on real-world city requirements show that CitySpec increases the sentence-level accuracy of requirement specification from 59.02% to 86.64%, and has strong adaptability to a new city and a new domain (e.g., F1 score for requirements in Seattle increases from 77.6% to 93.75% with online learning).
△ Less
Submitted 14 June, 2022; v1 submitted 7 June, 2022;
originally announced June 2022.
-
E-ADDA: Unsupervised Adversarial Domain Adaptation Enhanced by a New Mahalanobis Distance Loss for Smart Computing
Authors:
Ye Gao,
Brian Baucom,
Karen Rose,
Kristina Gordon,
Hongning Wang,
John Stankovic
Abstract:
In smart computing, the labels of training samples for a specific task are not always abundant. However, the labels of samples in a relevant but different dataset are available. As a result, researchers have relied on unsupervised domain adaptation to leverage the labels in a dataset (the source domain) to perform better classification in a different, unlabeled dataset (target domain). Existing no…
▽ More
In smart computing, the labels of training samples for a specific task are not always abundant. However, the labels of samples in a relevant but different dataset are available. As a result, researchers have relied on unsupervised domain adaptation to leverage the labels in a dataset (the source domain) to perform better classification in a different, unlabeled dataset (target domain). Existing non-generative adversarial solutions for UDA aim at achieving domain confusion through adversarial training. The ideal scenario is that perfect domain confusion is achieved, but this is not guaranteed to be true. To further enforce domain confusion on top of the adversarial training, we propose a novel UDA algorithm, \textit{E-ADDA}, which uses both a novel variation of the Mahalanobis distance loss and an out-of-distribution detection subroutine. The Mahalanobis distance loss minimizes the distribution-wise distance between the encoded target samples and the distribution of the source domain, thus enforcing additional domain confusion on top of adversarial training. Then, the OOD subroutine further eliminates samples on which the domain confusion is unsuccessful. We have performed extensive and comprehensive evaluations of E-ADDA in the acoustic and computer vision modalities. In the acoustic modality, E-ADDA outperforms several state-of-the-art UDA algorithms by up to 29.8%, measured in the f1 score. In the computer vision modality, the evaluation results suggest that we achieve new state-of-the-art performance on popular UDA benchmarks such as Office-31 and Office-Home, outperforming the second best-performing algorithms by up to 17.9%.
△ Less
Submitted 21 April, 2023; v1 submitted 24 January, 2022;
originally announced January 2022.
-
New Cosmological Solutions of a Nonlocal Gravity Model
Authors:
Ivan Dimitrijevic,
Branko Dragovich,
Zoran Rakic,
Jelena Stankovic
Abstract:
A nonlocal gravity model (2.1) was introduced and considered recently [49], and two exact cosmological solutions in flat space were presented. The first solution is related to some radiation effects generated by nonlocal dynamics on dark energy background, while the second one is a nonsingular time symmetric bounce. In the present paper we investigate other possible exact cosmological solutions an…
▽ More
A nonlocal gravity model (2.1) was introduced and considered recently [49], and two exact cosmological solutions in flat space were presented. The first solution is related to some radiation effects generated by nonlocal dynamics on dark energy background, while the second one is a nonsingular time symmetric bounce. In the present paper we investigate other possible exact cosmological solutions and find some the new ones in nonflat space. Used nonlocal gravity dynamics can change background topology. To solve the corresponding eqations of motion, we first look for a solution of the eigenvalue problem $\Box (R -4Λ) = q\ (R - 4Λ) .$ We also discuss possible extension of this model with nonlocal operator symmetric under $\Box \longleftrightarrow \Box^{-1}$ and its connection with another interesting nonlocal gravity model.
△ Less
Submitted 12 December, 2021;
originally announced December 2021.
-
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities
Authors:
Meiyi Ma,
Ezio Bartocci,
Eli Lifland,
John Stankovic,
Lu Feng
Abstract:
With the development of the Internet of Things, millions of sensors are being deployed in cities to collect real-time data. This leads to a need for checking city states against city requirements at runtime. In this paper, we develop a novel spatial-temporal specification-based monitoring system for smart cities. We first describe a study of over 1,000 smart city requirements, some of which cannot…
▽ More
With the development of the Internet of Things, millions of sensors are being deployed in cities to collect real-time data. This leads to a need for checking city states against city requirements at runtime. In this paper, we develop a novel spatial-temporal specification-based monitoring system for smart cities. We first describe a study of over 1,000 smart city requirements, some of which cannot be specified using existing logic such as Signal Temporal Logic (STL) and its variants. To tackle this limitation, we develop SaSTL -- a novel Spatial Aggregation Signal Temporal Logic -- for the efficient runtime monitoring of safety and performance requirements in smart cities. We develop two new logical operators in SaSTL to augment STL for expressing spatial aggregation and spatial counting characteristics that are commonly found in real city requirements. We define Boolean and \newcontent{quantitative semantics}~for SaSTL in support of the analysis of city performance across different periods and locations. We also develop efficient monitoring algorithms that can check a SaSTL requirement in parallel over multiple data streams (e.g., generated by multiple sensors distributed spatially in a city). Additionally, we build a SaSTL-based monitoring tool to support decision making of different stakeholders to specify and runtime monitor their requirements in smart cities. We evaluate our SaSTL monitor by applying it to three case studies with large-scale real city sensing data (e.g., up to 10,000 sensors in one study). The results show that SaSTL has a much higher coverage expressiveness than other spatial-temporal logic, and with a significant reduction of computation time for monitoring requirements. We also demonstrate that the SaSTL monitor improves the safety and performance of smart cities via simulated experiments.
△ Less
Submitted 10 April, 2021;
originally announced April 2021.
-
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems
Authors:
Meiyi Ma,
John Stankovic,
Ezio Bartocci,
Lu Feng
Abstract:
Predictive monitoring -- making predictions about future states and monitoring if the predicted states satisfy requirements -- offers a promising paradigm in supporting the decision making of Cyber-Physical Systems (CPS). Existing works of predictive monitoring mostly focus on monitoring individual predictions rather than sequential predictions. We develop a novel approach for monitoring sequentia…
▽ More
Predictive monitoring -- making predictions about future states and monitoring if the predicted states satisfy requirements -- offers a promising paradigm in supporting the decision making of Cyber-Physical Systems (CPS). Existing works of predictive monitoring mostly focus on monitoring individual predictions rather than sequential predictions. We develop a novel approach for monitoring sequential predictions generated from Bayesian Recurrent Neural Networks (RNNs) that can capture the inherent uncertainty in CPS, drawing on insights from our study of real-world CPS datasets. We propose a new logic named \emph{Signal Temporal Logic with Uncertainty} (STL-U) to monitor a flowpipe containing an infinite set of uncertain sequences predicted by Bayesian RNNs. We define STL-U strong and weak satisfaction semantics based on if all or some sequences contained in a flowpipe satisfy the requirement. We also develop methods to compute the range of confidence levels under which a flowpipe is guaranteed to strongly (weakly) satisfy an STL-U formula. Furthermore, we develop novel criteria that leverage STL-U monitoring results to calibrate the uncertainty estimation in Bayesian RNNs. Finally, we evaluate the proposed approach via experiments with real-world datasets and a simulated smart city case study, which show very encouraging results of STL-U based predictive monitoring approach outperforming baselines.
△ Less
Submitted 24 July, 2021; v1 submitted 31 October, 2020;
originally announced November 2020.
-
iWash: A Smartwatch Handwashing Quality Assessment and Reminder System with Real-time Feedback in the Context of Infectious Disease
Authors:
Sirat Samyoun,
Sudipta Saha Shubha,
Md Abu Sayeed Mondol,
John A. Stankovic
Abstract:
Washing hands properly and frequently is the simplest and most cost-effective interventions to prevent the spread of infectious diseases. People are often ignorant about proper handwashing in different situations and do not know if they wash hands properly. Smartwatches are found to be effective for assessing the quality of handwashing. However, the existing smartwatch based systems are not compre…
▽ More
Washing hands properly and frequently is the simplest and most cost-effective interventions to prevent the spread of infectious diseases. People are often ignorant about proper handwashing in different situations and do not know if they wash hands properly. Smartwatches are found to be effective for assessing the quality of handwashing. However, the existing smartwatch based systems are not comprehensive enough in terms of achieving accuracy as well as reminding people to handwash and providing feedback to the user about the quality of handwashing. On-device processing is often required to provide real-time feedback to the user, and so it is important to develop a system that runs efficiently on low-resource devices like smartwatches. However, none of the existing systems for handwashing quality assessment are optimized for on-device processing. We present iWash, a comprehensive system for quality assessment and context-aware reminder for handwashing with real-time feedback using smartwatches. iWash is a hybrid deep neural network based system that is optimized for on-device processing to ensure high accuracy with minimal processing time and battery usage. Additionally, it is a context-aware system that detects when the user is entering home using a Bluetooth beacon and provides reminders to wash hands. iWash also offers touch-free interaction between the user and the smartwatch that minimizes the risk of germ transmission. We collected a real-life dataset and conducted extensive evaluations to demonstrate the performance of iWash. Compared to the existing handwashing quality assessment systems, we achieve around 12% higher accuracy for quality assessment, as well as we reduce the processing time and battery usage by around 37% and 10%, respectively.
△ Less
Submitted 18 November, 2021; v1 submitted 22 September, 2020;
originally announced September 2020.
-
MFED: A System for Monitoring Family Eating Dynamics
Authors:
Md Abu Sayeed Mondol,
Brooke Bell,
Meiyi Ma,
Ridwan Alam,
Ifat Emi,
Sarah Masud Preum,
Kayla de la Haye,
Donna Spruijt-Metz,
John C. Lach,
John A. Stankovic
Abstract:
Obesity is a risk factor for many health issues, including heart disease, diabetes, osteoarthritis, and certain cancers. One of the primary behavioral causes, dietary intake, has proven particularly challenging to measure and track. Current behavioral science suggests that family eating dynamics (FED) have high potential to impact child and parent dietary intake, and ultimately the risk of obesity…
▽ More
Obesity is a risk factor for many health issues, including heart disease, diabetes, osteoarthritis, and certain cancers. One of the primary behavioral causes, dietary intake, has proven particularly challenging to measure and track. Current behavioral science suggests that family eating dynamics (FED) have high potential to impact child and parent dietary intake, and ultimately the risk of obesity. Monitoring FED requires information about when and where eating events are occurring, the presence or absence of family members during eating events, and some person-level states such as stress, mood, and hunger. To date, there exists no system for real-time monitoring of FED. This paper presents MFED, the first of its kind of system for monitoring FED in the wild in real-time. Smart wearables and Bluetooth beacons are used to monitor and detect eating activities and the location of the users at home. A smartphone is used for the Ecological Momentary Assessment (EMA) of a number of behaviors, states, and situations. While the system itself is novel, we also present a novel and efficient algorithm for detecting eating events from wrist-worn accelerometer data. The algorithm improves eating gesture detection F1-score by 19% with less than 20% computation compared to the state-of-the-art methods. To date, the MFED system has been deployed in 20 homes with a total of 74 participants, and responses from 4750 EMA surveys have been collected. This paper describes the system components, reports on the eating detection results from the deployments, proposes two techniques for improving ground truth collection after the system is deployed, and provides an overview of the FED data, generated from the multi-component system, that can be used to model and more comprehensively understand insights into the monitoring of family eating dynamics.
△ Less
Submitted 11 July, 2020;
originally announced July 2020.
-
Some Cosmological Solutions of a New Nonlocal Gravity Model
Authors:
I. Dimitrijevic,
B. Dragovich,
A. S. Koshelev,
Z. Rakic,
J. Stankovic
Abstract:
In this paper, we investigate a nonlocal modification of general relativity (GR) with action $S = \frac{1}{16πG} \int [ R- 2Λ+ (R-4Λ) \, \mathcal{F}(\Box) \, (R-4Λ) ] \, \sqrt{-g}\; d^4x ,$ where $\mathcal{F} (\Box) = \sum_{n=1}^{+\infty} f_n \Box^n$ is an analytic function of the d'Alembertian $\Box$. We found a few exact cosmological solutions of the corresponding equations of motion. There are…
▽ More
In this paper, we investigate a nonlocal modification of general relativity (GR) with action $S = \frac{1}{16πG} \int [ R- 2Λ+ (R-4Λ) \, \mathcal{F}(\Box) \, (R-4Λ) ] \, \sqrt{-g}\; d^4x ,$ where $\mathcal{F} (\Box) = \sum_{n=1}^{+\infty} f_n \Box^n$ is an analytic function of the d'Alembertian $\Box$. We found a few exact cosmological solutions of the corresponding equations of motion. There are two solutions which are valid only if $Λ\neq 0, \, k = 0,$ and they have not analogs in Einsten's gravity with cosmological constant $Λ$. One of these two solutions is $ a (t) = A \, \sqrt{t} \, e^{\fracΛ{4} t^2} ,$ that mimics properties similar to an interference between the radiation and the dark energy. Another solution is a nonsingular bounce one -- $ a (t) = A \, e^{Λt^2}$. For these two solutions, some cosmological aspects are discussed. We also found explicit form of the nonlocal operator $\mathcal{F}(\Box)$, which satisfies obtained necessary conditions.
△ Less
Submitted 26 June, 2020;
originally announced June 2020.
-
Trans-NIH/Interagency Workshop on the Use and Development of Assistive Technology for the Aging Population and People with Chronic Disabilities
Authors:
Elizabeth Mynatt,
Alice Borrelli,
Sara Czaja,
Erin Iturriaga,
Jeff Kaye,
Wendy Nilsen,
Dan Siewiorek,
John Stankovic
Abstract:
The first baby boomer born in 1946 turned 65 in 2011 and the last baby boomer will turn 65 in 2029. By then, the total U.S. population over 65 is projected to be 71.5 million (compared with 44.6 million in 2013). The current (2014) median cost of a nursing home is $226 a day ($82,490 per year), while assisted living is $3500 a month ($42,000 per year). While the elderly population continues to get…
▽ More
The first baby boomer born in 1946 turned 65 in 2011 and the last baby boomer will turn 65 in 2029. By then, the total U.S. population over 65 is projected to be 71.5 million (compared with 44.6 million in 2013). The current (2014) median cost of a nursing home is $226 a day ($82,490 per year), while assisted living is $3500 a month ($42,000 per year). While the elderly population continues to get larger and costs will continue to rise, nearly ninety percent (90%) of people want to grow old in their own home and community and remain out of the hospital, nursing home or other institutional setting. New technologies could potentially allow older adults and people with disabilities to remain in their homes longer, reduce health care costs and enhance the quality of life.
In summary, there is a need for a new generation of research that addresses the complexity of supporting the quality of life and independence of a vast, diverse, and aging population. While there are common themes and needs in this research that we describe shortly, we must start by recognizing that there is more than one needed path and approach to meet these diverse needs. One path includes the tight integration of chronic disease management in the home with existing acute healthcare systems. Another path embraces comprehensive home health for improving nutrition and social connectedness while combating physical, cognitive and psychological ailments. Yet another path emphasizes wellness, consumer technologies and removing basic barriers to meaningful community participation. These paths will intersect in interesting ways for individuals, families, healthcare providers, and communities. However research is critically needed to illuminate these paths and to make measurable strides in our care and support for over 15% of our nation's citizens.
△ Less
Submitted 27 April, 2020;
originally announced April 2020.
-
See Through Smoke: Robust Indoor Map** with Low-cost mmWave Radar
Authors:
Chris Xiaoxuan Lu,
Stefano Rosa,
Peijun Zhao,
Bing Wang,
Changhao Chen,
John A. Stankovic,
Niki Trigoni,
Andrew Markham
Abstract:
This paper presents the design, implementation and evaluation of milliMap, a single-chip millimetre wave (mmWave) radar based indoor map** system targetted towards low-visibility environments to assist in emergency response. A unique feature of milliMap is that it only leverages a low-cost, off-the-shelf mmWave radar, but can reconstruct a dense grid map with accuracy comparable to lidar, as wel…
▽ More
This paper presents the design, implementation and evaluation of milliMap, a single-chip millimetre wave (mmWave) radar based indoor map** system targetted towards low-visibility environments to assist in emergency response. A unique feature of milliMap is that it only leverages a low-cost, off-the-shelf mmWave radar, but can reconstruct a dense grid map with accuracy comparable to lidar, as well as providing semantic annotations of objects on the map. milliMap makes two key technical contributions. First, it autonomously overcomes the sparsity and multi-path noise of mmWave signals by combining cross-modal supervision from a co-located lidar during training and the strong geometric priors of indoor spaces. Second, it takes the spectral response of mmWave reflections as features to robustly identify different types of objects e.g. doors, walls etc. Extensive experiments in different indoor environments show that milliMap can achieve a map reconstruction error less than 0.2m and classify key semantics with an accuracy around 90%, whilst operating through dense smoke.
△ Less
Submitted 5 May, 2020; v1 submitted 1 November, 2019;
originally announced November 2019.
-
Autonomous Learning for Face Recognition in the Wild via Ambient Wireless Cues
Authors:
Chris Xiaoxuan Lu,
Xuan Kan,
Bowen Du,
Changhao Chen,
Hongkai Wen,
Andrew Markham,
Niki Trigoni,
John Stankovic
Abstract:
Facial recognition is a key enabling component for emerging Internet of Things (IoT) services such as smart homes or responsive offices. Through the use of deep neural networks, facial recognition has achieved excellent performance. However, this is only possibly when trained with hundreds of images of each user in different viewing and lighting conditions. Clearly, this level of effort in enrolme…
▽ More
Facial recognition is a key enabling component for emerging Internet of Things (IoT) services such as smart homes or responsive offices. Through the use of deep neural networks, facial recognition has achieved excellent performance. However, this is only possibly when trained with hundreds of images of each user in different viewing and lighting conditions. Clearly, this level of effort in enrolment and labelling is impossible for wide-spread deployment and adoption. Inspired by the fact that most people carry smart wireless devices with them, e.g. smartphones, we propose to use this wireless identifier as a supervisory label. This allows us to curate a dataset of facial images that are unique to a certain domain e.g. a set of people in a particular office. This custom corpus can then be used to finetune existing pre-trained models e.g. FaceNet. However, due to the vagaries of wireless propagation in buildings, the supervisory labels are noisy and weak.We propose a novel technique, AutoTune, which learns and refines the association between a face and wireless identifier over time, by increasing the inter-cluster separation and minimizing the intra-cluster distance. Through extensive experiments with multiple users on two sites, we demonstrate the ability of AutoTune to design an environment-specific, continually evolving facial recognition system with entirely no user effort.
△ Less
Submitted 14 August, 2019;
originally announced August 2019.
-
SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities
Authors:
Meiyi Ma,
Ezio Bartocci,
Eli Lifland,
John Stankovic,
Lu Feng
Abstract:
We present SaSTL -- a novel Spatial Aggregation Signal Temporal Logic -- for the efficient runtime monitoring of safety and performance requirements in smart cities. We first describe a study of over 1,000 smart city requirements, some of which can not be specified using existing logic such as Signal Temporal Logic (STL) and its variants. To tackle this limitation, we develop two new logical opera…
▽ More
We present SaSTL -- a novel Spatial Aggregation Signal Temporal Logic -- for the efficient runtime monitoring of safety and performance requirements in smart cities. We first describe a study of over 1,000 smart city requirements, some of which can not be specified using existing logic such as Signal Temporal Logic (STL) and its variants. To tackle this limitation, we develop two new logical operators in SaSTL to augment STL for expressing spatial aggregation and spatial counting characteristics that are commonly found in real city requirements. We also develop efficient monitoring algorithms that can check a SaSTL requirement in parallel over multiple data streams (e.g., generated by multiple sensors distributed spatially in a city). We evaluate our SaSTL monitor by applying to two case studies with large-scale real city sensing data (e.g., up to 10,000 sensors in one requirement). The results show that SaSTL has a much higher coverage expressiveness than other spatial-temporal logics, and with a significant reduction of computation time for monitoring requirements. We also demonstrate that the SaSTL monitor can help improve the safety and performance of smart cities via simulated experiments.
△ Less
Submitted 14 December, 2021; v1 submitted 6 August, 2019;
originally announced August 2019.
-
Cosmological Solutions of a Nonlocal Square Root Gravity
Authors:
I. Dimitrijevic,
B. Dragovich,
A. S. Koshelev,
Z. Rakic,
J. Stankovic
Abstract:
In this paper we consider modification of general relativity extending $R - 2 Λ$ by nonlocal term of the form $\sqrt{R-2Λ}\, \mathcal{F}(\Box)\, \sqrt{R-2Λ} ,$ where $\mathcal{F}(\Box)$ is an analytic function of the d'Alembert operator $\Box$. We have found some exact cosmological solutions of the corresponding equations of motion without matter and with $Λ\neq 0$. One of these solutions is…
▽ More
In this paper we consider modification of general relativity extending $R - 2 Λ$ by nonlocal term of the form $\sqrt{R-2Λ}\, \mathcal{F}(\Box)\, \sqrt{R-2Λ} ,$ where $\mathcal{F}(\Box)$ is an analytic function of the d'Alembert operator $\Box$. We have found some exact cosmological solutions of the corresponding equations of motion without matter and with $Λ\neq 0$. One of these solutions is $ a (t) = A \, t^{\frac{2}{3}} \, e^{\fracΛ{14} t^2} ,$ which imitates properties similar to an interplay of the dark matter and the dark energy. For this solution we calculated some cosmological parameters which are in a good agreement with observations. This nonlocal gravity model has not the Minkowski space solution. We also found several conditions which function $\mathcal{F}(\Box)$ has to satisfy.
△ Less
Submitted 31 August, 2019; v1 submitted 16 June, 2019;
originally announced June 2019.
-
Hardware/Software Security Patches for Internet of Trillions of Things
Authors:
John A. Stankovic,
Tu Le,
Abdeltawab Hendawi,
Yuan Tian
Abstract:
With the rapid development of the Internet of Things, there are many interacting devices and applications. One crucial challenge is how to provide security. Our proposal for a new direction is to create "smart buttons" and collections of them called "smart blankets" as hardware/software security patches rather than software-only patches.
With the rapid development of the Internet of Things, there are many interacting devices and applications. One crucial challenge is how to provide security. Our proposal for a new direction is to create "smart buttons" and collections of them called "smart blankets" as hardware/software security patches rather than software-only patches.
△ Less
Submitted 12 March, 2019;
originally announced March 2019.
-
Variations of Infinite Derivative Modified Gravity
Authors:
Ivan Dimitrijevic,
Branko Dragovich,
Zoran Rakic,
Jelena Stankovic
Abstract:
We consider nonlocal modified Einstein gravity without matter, where nonlocal term has the form $P(R) F(\Box) Q(R)$. For this model, in this paper we give the derivation of the equations of motion in detail. This is not an easy task and presented derivation should be useful to a researcher who wants to investigate nonlocal gravity. Also, we present the second variation of the related Einstein-Hilb…
▽ More
We consider nonlocal modified Einstein gravity without matter, where nonlocal term has the form $P(R) F(\Box) Q(R)$. For this model, in this paper we give the derivation of the equations of motion in detail. This is not an easy task and presented derivation should be useful to a researcher who wants to investigate nonlocal gravity. Also, we present the second variation of the related Einstein-Hilbert modified action and basics of gravity perturbations.
△ Less
Submitted 23 February, 2019;
originally announced February 2019.
-
Research Opportunities and Visions for Smart and Pervasive Health
Authors:
Elizabeth Mynatt,
Gregory D. Hager,
Santosh Kumar,
Ming Lin,
Shwetak Patel,
Jack Stankovic,
Helen Wright
Abstract:
Improving the health of the nation's population and increasing the capabilities of the US healthcare system to support diagnosis, treatment, and prevention of disease is a critical national and societal priority. In the past decade, tremendous advances in expanding computing capabilities--sensors, data analytics, networks, advanced imaging, and cyber-physical systems--have, and will continue to, e…
▽ More
Improving the health of the nation's population and increasing the capabilities of the US healthcare system to support diagnosis, treatment, and prevention of disease is a critical national and societal priority. In the past decade, tremendous advances in expanding computing capabilities--sensors, data analytics, networks, advanced imaging, and cyber-physical systems--have, and will continue to, enhance healthcare and health research, with resulting improvements in health and wellness. However, the cost and complexity of healthcare continues to rise alongside the impact of poor health on productivity and quality of life. What is lacking are transformative capabilities that address significant health and healthcare trends: the growing demands and costs of chronic disease, the greater responsibility placed on patients and informal caregivers, and the increasing complexity of health challenges in the US, including mental health, that are deeply rooted in a person's social and environmental context.
△ Less
Submitted 28 June, 2017;
originally announced June 2017.
-
On Nonlocal Modified Gravity and its Cosmological Solutions
Authors:
Ivan Dimitrijevic,
Branko Dragovich,
Jelena Stankovic,
Alexey S. Koshelev,
Zoran Rakic
Abstract:
During hundred years of General Relativity (GR), many significant gravitational phenomena have been predicted and discovered. General Relativity is still the best theory of gravity. Nevertheless, some (quantum) theoretical and (astrophysical and cosmological) phenomenological difficulties of modern gravity have been motivation to search more general theory of gravity than GR. As a result, many mod…
▽ More
During hundred years of General Relativity (GR), many significant gravitational phenomena have been predicted and discovered. General Relativity is still the best theory of gravity. Nevertheless, some (quantum) theoretical and (astrophysical and cosmological) phenomenological difficulties of modern gravity have been motivation to search more general theory of gravity than GR. As a result, many modifications of GR have been considered. One of promising recent investigations is Nonlocal Modified Gravity. In this article we present a brief review of some nonlocal gravity models with their cosmological solutions, in which nonlocality is expressed by an analytic function of the d'Alembert-Beltrami operator $\Box$. Some new results are also presented.
△ Less
Submitted 9 January, 2017;
originally announced January 2017.
-
Systems Computing Challenges in the Internet of Things
Authors:
Rajeev Alur,
Emery Berger,
Ann W. Drobnis,
Limor Fix,
Kevin Fu,
Gregory D. Hager,
Daniel Lopresti,
Klara Nahrstedt,
Elizabeth Mynatt,
Shwetak Patel,
Jennifer Rexford,
John A. Stankovic,
Benjamin Zorn
Abstract:
A recent McKinsey report estimates the economic impact of the Internet of Things (IoT) to be between $3.9 to $11 trillion dollars by 20251 . IoT has the potential to have a profound impact on our daily lives, including technologies for the home, for health, for transportation, and for managing our natural resources. The Internet was largely driven by information and ideas generated by people, but…
▽ More
A recent McKinsey report estimates the economic impact of the Internet of Things (IoT) to be between $3.9 to $11 trillion dollars by 20251 . IoT has the potential to have a profound impact on our daily lives, including technologies for the home, for health, for transportation, and for managing our natural resources. The Internet was largely driven by information and ideas generated by people, but advances in sensing and hardware have enabled computers to more easily observe the physical world. Coupling this additional layer of information with advances in machine learning brings dramatic new capabilities including the ability to capture and process tremendous amounts of data; to predict behaviors, activities, and the future in uncanny ways; and to manipulate the physical world in response. This trend will fundamentally change how people interact with physical objects and the environment. Success in develo** value-added capabilities around IoT requires a broad approach that includes expertise in sensing and hardware, machine learning, networked systems, human-computer interaction, security, and privacy. Strategies for making IoT practical and spurring its ultimate adoption also require a multifaceted approach that often transcends technology, such as with concerns over data security, privacy, public policy, and regulatory issues. In this paper we argue that existing best practices in building robust and secure systems are insufficient to address the new challenges that IoT systems will present. We provide recommendations regarding investments in research areas that will help address inadequacies in existing systems, practices, tools, and policies.
△ Less
Submitted 11 April, 2016;
originally announced April 2016.
-
Data-Driven Robust Taxi Dispatch under Demand Uncertainties
Authors:
Fei Miao,
Shuo Han,
Shan Lin,
Qian Wang,
John Stankovic,
Abdeltawab Hendawi,
Desheng Zhang,
Tian He,
George J. Pappas
Abstract:
In modern taxi networks, large amounts of taxi occupancy status and location data are collected from networked in-vehicle sensors in real-time. They provide knowledge of system models on passenger demand and mobility patterns for efficient taxi dispatch and coordination strategies. Such approaches face new challenges: how to deal with uncertainties of predicted customer demand while fulfilling the…
▽ More
In modern taxi networks, large amounts of taxi occupancy status and location data are collected from networked in-vehicle sensors in real-time. They provide knowledge of system models on passenger demand and mobility patterns for efficient taxi dispatch and coordination strategies. Such approaches face new challenges: how to deal with uncertainties of predicted customer demand while fulfilling the system's performance requirements, including minimizing taxis' total idle mileage and maintaining service fairness across the whole city; how to formulate a computationally tractable problem. To address this problem, we develop a data-driven robust taxi dispatch framework to consider spatial-temporally correlated demand uncertainties. The robust vehicle dispatch problem we formulate is concave in the uncertain demand and convex in the decision variables. Uncertainty sets of random demand vectors are constructed from data based on theories in hypothesis testing, and provide a desired probabilistic guarantee level for the performance of robust taxi dispatch solutions. We prove equivalent computationally tractable forms of the robust dispatch problem using the minimax theorem and strong duality. Evaluations on four years of taxi trip data for New York City show that by selecting a probabilistic guarantee level at 75%, the average demand-supply ratio error is reduced by 31.7%, and the average total idle driving distance is reduced by 10.13% or about 20 million miles annually, compared with non-robust dispatch solutions.
△ Less
Submitted 20 October, 2017; v1 submitted 20 March, 2016;
originally announced March 2016.
-
Taxi Dispatch with Real-Time Sensing Data in Metropolitan Areas: A Receding Horizon Control Approach
Authors:
Fei Miao,
Shuo Han,
Shan Lin,
John A. Stankovic,
Hua Huang,
Desheng Zhang,
Sirajum Munir,
Tian He,
George J. Pappas
Abstract:
Traditional taxi systems in metropolitan areas often suffer from inefficiencies due to uncoordinated actions as system capacity and customer demand change. With the pervasive deployment of networked sensors in modern vehicles, large amounts of information regarding customer demand and system status can be collected in real time. This information provides opportunities to perform various types of c…
▽ More
Traditional taxi systems in metropolitan areas often suffer from inefficiencies due to uncoordinated actions as system capacity and customer demand change. With the pervasive deployment of networked sensors in modern vehicles, large amounts of information regarding customer demand and system status can be collected in real time. This information provides opportunities to perform various types of control and coordination for large-scale intelligent transportation systems. In this paper, we present a receding horizon control (RHC) framework to dispatch taxis, which incorporates highly spatiotemporally correlated demand/supply models and real-time GPS location and occupancy information. The objectives include matching spatiotemporal ratio between demand and supply for service quality with minimum current and anticipated future taxi idle driving distance. Extensive trace-driven analysis with a data set containing taxi operational records in San Francisco shows that our solution reduces the average total idle distance by 52%, and reduces the supply demand ratio error across the city during one experimental time slot by 45%. Moreover, our RHC framework is compatible with a wide variety of predictive models and optimization problem formulations. This compatibility property allows us to solve robust optimization problems with corresponding demand uncertainty models that provide disruptive event information.
△ Less
Submitted 14 March, 2016;
originally announced March 2016.
-
Cosmology of non-local f(R) gravity
Authors:
I. Dimitrijevic,
B. Dragovich,
A. S. Koshelev,
Z. Rakic,
J. Stankovic
Abstract:
We consider a modification of GR with a special type of a non-local f(R). The structure of the non-local operators is motivated by the string field theory and p-adic string theory. The spectrum is derived explicitly and the ghost-free condition for the model is formulated. We pay special attention to the classical stability of the de Sitter solution in our model and formulate the conditions on the…
▽ More
We consider a modification of GR with a special type of a non-local f(R). The structure of the non-local operators is motivated by the string field theory and p-adic string theory. The spectrum is derived explicitly and the ghost-free condition for the model is formulated. We pay special attention to the classical stability of the de Sitter solution in our model and formulate the conditions on the model parameters to have a stable configuration. Relevance of unstable configurations for the description of the de Sitter phase during inflation is specifically discussed.
△ Less
Submitted 2 August, 2019; v1 submitted 14 September, 2015;
originally announced September 2015.
-
Evaluation of High School Programme for Gifted Pupils in Physics and Sciences in Serbia - Experience in Regional Cooperation -- SEENET-MTP Network
Authors:
Goran S. Djordjevic,
Dragica Pavlovic-Babic,
Jelena Stankovic
Abstract:
The "High school class for students with special abilities in physics" was founded in Nis, Serbia (http://tesla.pmf.ni.ac.rs/f_odeljenje/) in 2003. The basic aim of this project has been introducing a broadened curriculum of physics, mathematics, computer science, as well as chemistry and biology. Now, eight years after establishing of this specialized class, we present analyses of the pupils' ski…
▽ More
The "High school class for students with special abilities in physics" was founded in Nis, Serbia (http://tesla.pmf.ni.ac.rs/f_odeljenje/) in 2003. The basic aim of this project has been introducing a broadened curriculum of physics, mathematics, computer science, as well as chemistry and biology. Now, eight years after establishing of this specialized class, we present analyses of the pupils' skills in solving rather problem oriented test, as PISA test, and compare their results with the results of pupils who study under standard curricula. Also, an external evaluation conducted more recently, shows that Special physics class students performed higher on science knowledge test in comparison with students from control groups (grammar school and special math class students). Establishing of the Special physics class as an interesting educational experiment and its development has been connected, in a sense, with activities of the Southeastern European Network in Mathematical and Theoretical Physics. We present the main achievements of the Network and their possible impact to the students. We make conclusions and remarks that may be useful for the future work that aims to increase pupils' intrinsic and instrumental motivation for physics and sciences, as well as to increase the efficacy of teaching physics and science.
△ Less
Submitted 23 October, 2011;
originally announced October 2011.