If you made any changes in Pure these will be visible here soon.

Research Output 1985 2019

2019

A Smartphone-based Infrastructure for Decentralized Partnership Formation

Bozdog, N. V., 2019, 132 p.

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

User acceptance of real-life personalized coaching in social fitness apps

Simoski, B., Klein, M. C. A., Van Halteren, A. T. & Bal, H., 20 May 2019, Proceedings of the 13th EAI International Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth 2019. Association for Computing Machinery, p. 198-207 10 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Application programs
Smartphones
Experiments
2018

A Jungle Computing approach to common image source identification in large collections of images

van Werkhoven, B., Hijma, P., Jacobs, C. J. H., Maassen, J., Geradts, Z. J. M. H. & Bal, H. E., Dec 2018, In : Digital Investigation. 27, p. 3-16 14 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Crime
Smartphones
Personal computers
Cameras
offense

Integrating person-to-person social support in smartphone apps for promoting physical activity

Simoski, B., Klein, M., Van Halteren, A. T. & Bal, H., 2018, HEALTHINF 2018 - 11th International Conference on Health Informatics, Proceedings; Part of 11th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2018. SciTePress, Vol. 5. p. 497-504 8 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Smartphones
Application programs
Social Support
Health hazards
Telemedicine

Large scale stream analytics using a resource-constrained edge

Bharath Das, R., Di Bernardo, G. & Bal, H., 26 Sep 2018, Proceedings - 2018 IEEE International Conference on Edge Computing, EDGE 2018 - Part of the 2018 IEEE World Congress on Services. Institute of Electrical and Electronics Engineers Inc., p. 135-139 5 p. 8473389

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Resources
Processing
Throughput
Sensor
Sensors

On optimising cost and value in escience: Case studies in radio astronom

Chris Broekema, P., Allan, V. L. & Bal, H. E., 24 Dec 2018, Proceedings - IEEE 14th International Conference on eScience, e-Science 2018. Institute of Electrical and Electronics Engineers Inc., 1 p. 8588737

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

E-Science
hardware
Hardware
radio
Costs

RideMatcher: Peer-to-peer matching of passengers for efficient ridesharing

Bozdog, N. V., Makkes, M. X., Van Halteren, A. & Bal, H., 13 Jul 2018, Proceedings - 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGRID 2018. Institute of Electrical and Electronics Engineers Inc., p. 263-272 10 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Railroad cars
Noise pollution
Fog
Travel time
Air quality

SenseLE: Exploiting spatial locality in decentralized sensing environments

Bozdog, N. V., Makkes, M. X., Uta, A., Bharath Das, R., Van Halteren, A. & Bal, H., 25 May 2018, Proceedings - 15th IEEE International Symposium on Parallel and Distributed Processing with Applications and 16th IEEE International Conference on Ubiquitous Computing and Communications, ISPA/IUCC 2017. Institute of Electrical and Electronics Engineers Inc., p. 1356-1363 8 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Locality
Decentralized
Sensing
Sensors
Energy
2017

Accelerating Radio Astronomy with Auto-Tuning

Sclocco, A., 2017, 161 p.

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

An empirical study on how the distribution of ontologies affects reasoning on the web

Bazoobandi, H. R., Urbani, J., van Harmelen, F. & Bal, H., 2017, The Semantic Web – ISWC 2017 - 16th International Semantic Web Conference, Proceedings. Springer/Verlag, Vol. 10587 LNCS. p. 69-86 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10587 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Empirical Study
Ontology
Reasoning
Inclusion
HTML

Changes in extreme regional sea level under global warming

Brunnabend, S-E., Dijkstra, H. A., Kliphuis, M. A., Bal, H. E., Seinstra, F., van Werkhoven, B. J. C., Maassen, J. & van Meersbergen, M., 20 Jan 2017, In : Ocean Science. 13, 1, p. 47-60 14 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
global warming
sea level
ocean
eddy
climate modeling

Cowbird: A Flexible Cloud-based Framework for Combining Smartphone Sensors and IoT

Bharath Das, R., Bozdog, N. V. & Bal, H. E., Apr 2017.

Research output: Contribution to ConferencePaperOther research output

Crowd Textures: From Sensing Proximity to Understanding Crowd Behavior

Martella, C., 2017, 222 p.

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

Kea: A Computation Offloading System for Smartphone Sensor Data

Bharath Das, R., Bozdog, N. V., Makkes, M. & Bal, H., Dec 2017, 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2017). IEEE CS

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

On the complexities of utilizing large-scale lightpath-connected distributed cyberinfrastructure

Maassen, J., van Werkhoven, B., van Meersbergen, M., Bal, H. E., Kliphuis, M., Brunnabend, S. E., Dijkstra, H. A., van Malenstein, G., de Vos, M., Kuijpers, S., Boele, S., Wolfrat, J., Hill, N., Wallom, D., Grimm, C., Kranzlmüller, D., Ganpathi, D., Jha, S., Jha, S., Bryan, F. O. & 2 othersKirtman, B. & Seinstra, F. J., 25 Jan 2017, In : Concurrency and Computation: Practice and Experience. 29, 2, e3853.

Research output: Contribution to JournalArticleAcademicpeer-review

Infrastructure
E-Science
Climate Models
Human Resources
Supercomputer

Optimizing the execution of many-task computing applications using in-memory distributed file systems

Uta, A., 2017, 144 p.

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

P-SWAN: Real-time Privacy Preserving Computation for IoT Ecosystems

Makkes, M. X., Uta, A., Bharath Das, R., Bozdog, N. V. & Bal, H., May 2017, IEEE International Conference on Fog and Edge Computing (ICFEC 2017).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

2016

A Medium-Scale Distributed System for Computer Science Research: Infrastructure for the Long Term

Bal, H. E., Epema, D., de Laat, C., van Nieuwpoort, R. V., Romein, J., Seinstra, F. J., Snoek, C. & Wijshoff, H., 1 May 2016, In : Computer. 49, 5, p. 54-63 10 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Computer science
Imaging techniques

A real-time radio transient pipeline for ARTS

Sclocco, A., Leeuwen, J. V., Bal, H. E. & Van Nieuwpoort, R. V., 23 Feb 2016, 2015 IEEE Global Conference on Signal and Information Processing, GlobalSIP 2015. Institute of Electrical and Electronics Engineers, Inc., p. 468-472 5 p. 7418239

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Pipelines
Processing
Particle accelerators
Scalability
Electric power utilization

Bringing Model Checking Closer To Practical Software Engineering

Remenska, D., 2016

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File
Model checking
Software engineering

Real-time dedispersion for fast radio transient surveys, using auto tuning on many-core accelerators

Sclocco, A., Leeuwen, J. V., Bal, H. & van Nieuwpoort, R. V., 1 Jun 2016, In : Astronomy and Computing. 14, p. 1-7 7 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Particle accelerators
accelerators
Tuning
tuning
radio

Scalable overlapping community detection

Elhelw, I., Hofman, R., Li, W., Ahn, S., Welling, M. & Bal, H., 2 Aug 2016, Proceedings - 2016 IEEE 30th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2016. ACM, IEEE Computer Society, Vol. 2016-August. p. 1463-1472 10 p. 7530037

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Markov processes
Learning algorithms
Learning systems

SWAN-Fly : A flexible cloud-enabled framework for context-aware applications in smartphones

Bharath Das, R., van Halteren, A. T. & Bal, H. E., 13 Mar 2016, Sensors to Cloud Architectures Workshop (SCAW-2016). IEEE CS

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Smartphones
Sensors
Processing
Middleware
Application programs

SWAN-Lake: Opportunistic Distributed Sensing for Android Smartphones

Bozdog, N. V., Bharath Das, R., van Halteren, A. T. & Bal, H. E., Dec 2016.

Research output: Contribution to ConferencePaperOther research output

Towards Fast Overlapping Community Detection

Elhelw, I., Hofman, R. F. H. & Bal, H. E., 18 Jul 2016, Proceedings - 2016 16th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, CCGrid 2016. Institute of Electrical and Electronics Engineers, Inc., p. 175-178 4 p. 7515685

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Learning algorithms
Learning systems
Data storage equipment
Graphics processing unit
Code generation
2015

A Compact In-Memory Dictionary for RDF data

Bazoubandi, H. R., de Rooij, S., Urbani, J., ten Teije, A., van Harmelen, F. & Bal, H., 2015, The Semantic Web: Latest Advances and New Domains - 12th European Semantic Web Conference, ESWC 2015, Proceedings. Springer/Verlag, Vol. 9088. p. 205-220 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9088).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Glossaries
Data storage equipment
Prefix
Data structures
Data Structures

Bonsai: Cutting models down to size

Vijzelaar, S. J. J., Verstoep, K., Bal, H. E. & Fokkink, W. J., 2015, Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, Revised Selected Papers. Virbitskaite, I., Voronkov, A. & Virbitskaite, I. (eds.). Springer - Verlag, p. 361-375 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8974).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Model checking
Model Checking
Concurrent
Model
Concretes

Cashmere: Heterogeneous Many-Core Computing

Hijma, P., Jacobs, C. J. H., van Nieuwpoort, R. V. & Bal, H. E., 17 Jul 2015, Proceedings - 2015 IEEE 29th International Parallel and Distributed Processing Symposium, IPDPS 2015. Hyderabad, India: Institute of Electrical and Electronics Engineers, Inc., p. 135-145 11 p. 7161503

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Computer systems programming
Hardware
Core levels
Supercomputers
Computer programming

Fast and scalable virtual machine deployment

Razavi, K., 2015

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File
Virtual machine

Finding Pulsars in Real-Time

Sclocco, A., Bal, H. E. & van Nieuwpoort, R. V., 2015.

Research output: Contribution to ConferencePaperOther research output

Pipelines
Particle accelerators
Radio telescopes
Telescopes
Electric power utilization

Peer Matcher: Decentralized Partnership Formation

Bozdog, N. V., Voulgaris, S., Bal, H. & van Halteren, A., 23 Oct 2015, Proceedings - 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2015. ACM, IEEE Computer Society, Vol. 2015-October. p. 31-40 10 p. 7306593

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Scalability
Computational complexity
Communication

PeerMatcher: Decentralized Partnership Formation

Bozdog, N. V., Voulgaris, S., Bal, H. E. & van Halteren, A., 2015, IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Scalability
Computational complexity
Communication

Programming Many-Cores on Multiple Levels of Abstraction

Hijma, H. P., 2015

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File
Many-core
Refinement
Machine oriented languages
Programming
Hardware

The Square Kilometre Array Science Data Processor Preliminary Compute Platform Design

Broekema, P. C., van Nieuwpoort, R. V. & Bal, H. E., 1 Jul 2015, In : Journal of Instrumentation. 10, 7, C07004.

Research output: Contribution to JournalArticleAcademicpeer-review

data processing equipment
platforms
site data processors
Radio Telescope
procurement
2014

A Detailed GPU Cache Model Based on Reuse Distance Theory

Nugteren, C., van den Braak, G-J., Corporaal, H. & Bal, H. E., 2014, 20th IEEE Int. Symp. on High Performance Computer Architecture (HPCA-2014). IEEE CS

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

A distributed computing approach to improve the performance of the Parallel Ocean Program (v2.1)

van Werkhoven, B. J. C., Kliphuis, M., Dijkstra, H. A., Brunnabend, S. A., van Meersbergen, M. A. J., Seinstra, F. J. & Bal, H. E., 2014, In : Geoscientific Model Development Discussions. 7, p. 267-281

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Distributed computer systems
Resource allocation
Innovation
Graphics processing unit

Ajira: a Lightweight Distributed Middleware for MapReduce and Stream Processing

Urbani, J., Margara, A., Jacobs, C. J. H., Voulgaris, S. & Bal, H. E., 2014, 34th Int. Conference on Distributed Computing Systems (ICDCS 2014).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Auto-Tuning Dedispersion for Many-Core Accelerators

Sclocco, A., Bal, H. E., van Nieuwpoort, R. V., Hessels, J. & van Leeuwen, J., 2014, 28th IEEE International Parallel & Distributed Processing Symposium (IPDPS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Changes in extreme regional sea surface height due to an abrupt weakening of the Atlantic meridional overturning circulation

Brunnabend, S-E., Dijkstra, H. A., Kliphuis, M. A., van Werkhoven, B. J. C., Bal, H. E., Seinstra, F., Maassen, J. & van Meersbergen, M., 2014, In : Ocean Science. 10, 6, p. 881-891 11 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
sea surface height
meridional circulation
eddy
ocean
sea level change

Glasswing: Accelerating MapReduce on multi-core and many-core clusters

Elhelw, I., Hofman, R. F. H. & Bal, H. E., 2014, HPDC 2014 - Proceedings of the 23rd International Symposium on High-Performance Parallel and Distributed Computing. Association for Computer Machinery, p. 295-298 4 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Program processors
Parallel processing systems
Graphics processing unit
Big data

Optimizing convolution operations on GPUs using adaptive tiling

van Werkhoven, B., Maassen, J., Bal, H. E. & Seinstra, F. J., 2014, In : Future Generation Computer Systems. 30, 1, p. 14-26

Research output: Contribution to JournalArticleAcademicpeer-review

Convolution
Parallel programming
Graphics processing unit

Performance models for CPU-GPU data transfers

van Werkhoven, B., Maassen, J., Seinstra, F. J. & Bal, H. E., 2014, 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid2014).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Programming Frameworks for Distributed Smartphone Computing

Kemp, R., 2014

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

Property Specification Made Easy: Harnessing the Power of Model Checking in UML designs

Remenska, D., Bal, H. E., Templon, J. A., Verstoep, K. & Willemse, T., 2014, 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Scaling MapReduce Vertically and Horizontally

Elhelw, I., Hofman, R. F. H. & Bal, H. E., 2014, SC'14.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Scientific Supercomputing with Graphics Processing Units

Werkhoven, B. J. C., 2014

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

Streaming the Web: Reasoning over dynamic data

Margara, A., Urbani, J., Van Harmelen, F. & Bal, H., 2014, In : Journal of Web Semantics. 25, p. 24-44 21 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Processing
2013

DynamiTE: Parallel Materialization of Dynamic RDF Data

Urbani, J., Margara, A., Jacobs, C. J. H., van Harmelen, F. A. H. & Bal, H. E., 2013, 12th Int. Semantic Web Conference (ISWC 2013). Springer, p. 657-672

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems

Remenska, D., Bal, H. E., Templon, J. A., Verstoep, K., Willemse, T., Homburg, P. C. & Casajus, A., 2013, 5th NASA Formal Methods Symposium (NFM) 2013.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review