Now showing items 31-40 of 126
Automatic knowledge extraction from EHRs
(2016-07-10) - Conference item,
Increasing efforts in the collection, standardization, and maintenance of large scale longitudinal elec- tronic health care records (EHRs) across the world provide a promising source of real world medical data with the ...
Self-reflection and personal physicalization construction
(ACM, 2018-04-21) - Conference item,
Self-reflection is a central goal of personal informatics systems, and constructing visualizations from physical tokens has been found to help people reflect on data. However, so far, constructive physicalization has only ...
Elaborator reflection : extending Idris in Idris
(ACM, 2016-09-04) - Conference item,
Many programming languages and proof assistants are defined by elaboration from a high-level language with a great deal of implicit information to a highly explicit core language. In many advanced languages, these elaboration ...
A robust reputation-based location-privacy recommender system using opportunistic networks
(ACM, 2016-12-01) - Conference item,
Location-sharing services have grown in use commensurately with the increasing popularity of smart phones. As location data can be sensitive, it is important to preserve people’s privacy while using such services, and so ...
Towards sophisticated learning from EHRs : increasing prediction specificity and accuracy using clinically meaningful risk criteria
(IEEE, 2016-08-16) - Conference item,
Computer based analysis of Electronic Health Records (EHRs) has the potential to provide major novel insights of benefit both to specific individuals in the context of personalized medicine, as well as on the level of ...
Simplifying ARM concurrency : multicopy-atomic axiomatic and operational models for ARMv8
(ACM, 2018-01) - Conference item,
SLearn : shared learning human activity labels across multiple datasets
(IEEE Computer Society, 2018-03-19) - Conference item,
The research of sensor-based human activity recognition has been attracting increasing attention over years as it is playing an important role in various human-beneficiary applications such as ambient assistive living, ...
Plug and Play Bench : simplifying big data benchmarking using containers
(IEEE Computer Society, 2017-12-11) - Conference item,
The recent boom of big data, coupled with the challenges of its processing and storage gave rise to the development of distributed data processing and storage paradigms like MapReduce, Spark, and NoSQL databases. With the ...
MAMoC: Multisite Adaptive offloading framework for Mobile Cloud applications
(IEEE, 2017-12-11) - Conference item,
This paper presents MAMoC, a framework which brings together a diverse range of infrastructure types including mobile devices, cloudlets, and remote cloud resources under one unified API. MAMoC allows mobile applications ...
POSIX lexing with derivatives of regular expressions (proof pearl)
(Springer, 2016) - Conference item,
Brzozowski introduced the notion of derivatives for regular expressions. They can be used for a very simple regular expression matching algorithm. Sulzmann and Lu cleverly extended this algorithm in order to deal with POSIX ...