Works Published in 2018
Displaying works 201 - 220 of 275 in total
Sorted by most recent date added to the index first, which may not be the same as publication date order.
2018 journal article
Fusing Heterogeneous Data: A Case for Remote Sensing and Social Media
IEEE TRANSACTIONS ON GEOSCIENCE AND REMOTE SENSING, 56(12), 6956–6968.
author keywords: Least effort principle; maximum entropy models; optimal transport; remote sensing; social media; volunteering labels
TL;DR:
A new methodology is introduced for the fusion of measured data for detecting and predicting weather-driven natural hazards, and it is shown that by fusing remote sensing and social media data, it can develop well founded and actionable flood maps.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science)
Source: Web Of Science
Added: December 17, 2018
2018 journal article
Finding better active learners for faster literature reviews
EMPIRICAL SOFTWARE ENGINEERING, 23(6), 3161–3186.
author keywords: Active learning; Systematic literature review; Software engineering; Primary study selection
TL;DR:
This paper finds and implements FASTREAD, a faster technique for studying a large corpus of documents, combining and parametrizing the most efficient active learning algorithms.
(via Semantic Scholar)
arxiv.org (repository)
UN Sustainable Development Goal Categories
3. Good Health and Well-being
(Web of Science)
4. Quality Education
(OpenAlex)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: December 17, 2018
2018 article
Gistable: Evaluating the Executability of Python Code Snippets on GitHub
PROCEEDINGS 2018 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME), pp. 217–227.
TL;DR:
This paper presents an empirical analysis of the executable status of Python code snippets shared through the GitHub gist system, and the ability of developers familiar with software configuration to correctly configure and run them, and presents Gistable, a database and extensible framework built on GitHub's gist system.
(via Semantic Scholar)
Source: Web Of Science
Added: December 17, 2018
2018 article
Hybrid theorem proving as a lightweight method for verifying numerical software
PROCEEDINGS OF CORRECTNESS 2018: 2ND IEEE/ACM INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS, pp. 1–8.
author keywords: hybrid systems; formal methods; scientific computation; KeYmaera X
TL;DR:
This study applies hybrid theorem proving from the field of cyber-physical systems to problems in scientific computation, and shows how to verify the correctness of discrete updates that appear in the simulation of continuous physical systems.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science)
13. Climate Action
(OpenAlex)
Sources: ORCID, Web Of Science
Added: December 12, 2018
2018 conference paper
State-based formal methods in scientific computation
In M. Butler, A. Raschke, T. S. Hoang, & K. Reichl (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z (pp. 392–396).
Ed(s): M. Butler, A. Raschke, T. Hoang & K. Reichl
Event: at Cham
TL;DR:
The challenges faced by developers of scientific software are surveyed, the nature of the programs they write are characterized, and some perspective is offered on the role that state-based methods can play in scientific domains.
(via Semantic Scholar)
Source: ORCID
Added: December 6, 2018
2018 journal article
Numerical study on factors influencing typhoon-induced storm surge distribution in Zhanjiang Harbor
Estuarine, Coastal and Shelf Science, 215, 39–51.
UN Sustainable Development Goal Categories
13. Climate Action
(Web of Science)
14. Life Below Water
(Web of Science; OpenAlex)
Source: ORCID
Added: December 6, 2018
2018 article
Poster: Automated Program Repair with Canonical Constraints
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, pp. 339–341.
author keywords: Symbolic Execution; SPF; Program Repair; Semantic Repair
TL;DR:
Canonical Search And Repair (CSAR), a program repair technique based on semantic search which uses a canonical form of the path conditions to characterize buggy and patch code and allows for easy storage and retrieval of software patches, without the need for expensive constraint solving is proposed.
(via Semantic Scholar)
Source: Web Of Science
Added: December 3, 2018
2018 article
Dazed: Measuring the Cognitive Load of Solving Technical Interview Problems at the Whiteboard
2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING TECHNOLOGIES RESULTS (ICSE-NIER), pp. 93–96.
Contributors: M. Behroozi n , A. Lui*, I. Moore n, D. Ford n & C. Parnin n
author keywords: technical interviews; cognitive load; eyetracking
TL;DR:
An approach where a head-mounted eye-tracker and computer vision algorithms are used to collect robust metrics of cognitive state to create a vision for creating a more inclusive technical interview process through future studies of interventions that lower cognitive load and stress.
(via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: December 3, 2018
2018 article
Poster: Improving Formation of Student Teams: A Clustering Approach
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, pp. 147–148.
author keywords: student team formation; bidding; clustering; peer assessment system; MOOCs
TL;DR:
This work proposes an approach to meeting criteria for team formation by mining student preferences for topics with a clustering approach and then matching them in groups to topics that suit their shared interests.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
1. No Poverty
(Web of Science)
9. Industry, Innovation and Infrastructure
(Web of Science)
Sources: Web Of Science, NC State University Libraries
Added: December 3, 2018
2018 article
Identifying Security Issues in Software Development: Are Keywords Enough?
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, pp. 426–427.
author keywords: Security; vocabulary; classification model; CVE; Prediction
TL;DR:
The goal of this research is to support researchers and practitioners in identifying security issues in software development project artifacts by defining and evaluating a systematic scheme for identifying project-specific security vocabularies that can be used for keyword-based classification.
(via Semantic Scholar)
Source: Web Of Science
Added: December 3, 2018
2018 journal article
BUR-GEN: A Bursty Packet Generator for Vehicular Communication Channels
IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, 67(11), 10232–10242.
author keywords: Channel models; connected vehicles; vehicle safety; vehicular ad hoc networks; wireless networks
TL;DR:
A bursty packet generation algorithm called BUR-GEN is proposed, which is evaluated through simulation and, along with several common VCMs, compared to the PRR, inter-packet gap (IPG), and consecutive reception run length (CRRL) of the safety pilot model deployment, a large-scale DSRC-based measurement campaign.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science)
Source: Web Of Science
Added: December 3, 2018
2018 journal article
LCD: A Fast Contrastive Divergence Based Algorithm for Restricted Boltzmann Machine
NEURAL NETWORKS, 108, 399–410.
author keywords: RBM; Contrastive Divergence; Acceleration
MeSH headings : Algorithms; Databases, Factual; Deep Learning / trends; Machine Learning / trends; Neural Networks, Computer; Time Factors
UN Sustainable Development Goal Categories
3. Good Health and Well-being
(Web of Science)
Sources: Web Of Science, NC State University Libraries
Added: December 3, 2018
2018 article
Characteristics of Defective Infrastructure as Code Scripts in DevOps
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, pp. 476–479.
author keywords: defects; devops; infrastructure as code; metrics
TL;DR:
Methods to help practitioners increase the quality of IaC scripts are proposed to identify structural characteristics that correlate with defects, and identify characteristics that violate security and privacy objectives.
(via Semantic Scholar)
Source: Web Of Science
Added: December 3, 2018
2018 article
Poster: Defect Prediction Metrics for Infrastructure as Code Scripts in DevOps
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, pp. 414–415.
author keywords: Continuous Deployment; DevOps; Infrastructure as Code; Metrics
TL;DR:
The goal of this paper is to help software practitioners in prioritizing their inspection efforts for infrastructure as code (IaC) scripts by proposing defect prediction model-related metrics, and applies Constructivist Grounded Theory on defect-related commits mined from version control systems to identify metrics suitable for IaC scripts.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure
(OpenAlex)
Source: Web Of Science
Added: December 3, 2018
2018 article
TScope: Automatic Timeout Bug Identification for Server Systems
15TH IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING (ICAC 2018), pp. 1–10.
TL;DR:
TScope leverages kernel-level system call tracing and machine learning based anomaly detection and feature extraction schemes to achieve timeout bug identification and introduces a unique system call selection scheme to achieve higher accuracy than existing generic performance bug detection tools.
(via Semantic Scholar)
Source: Web Of Science
Added: December 3, 2018
2018 conference paper
Identifying How Metacognitive Judgments Influence Student Performance During Learning with MetaTutorIVH
INTELLIGENT TUTORING SYSTEMS, ITS 2018, 10858, 140–149.
TL;DR:
This paper reports on a study investigating how students’ EOL judgments can influence their performance and significantly predict their learning outcomes during learning with MetaTutorIVH, an ITS for human physiology.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
4. Quality Education
(OpenAlex)
Source: NC State University Libraries
Added: November 26, 2018
2018 journal article
Choice Poetics by Example
ARTS, 7(3).
author keywords: choice poetics; poetics; narrative games; choices; player goals; roleplay; complicity
TL;DR:
This work illustrates the non-computational application of choice poetics to the analysis of two different games to further develop the theory and make it more accessible to others.
(via Semantic Scholar)
Sources: Web Of Science, NC State University Libraries
Added: November 19, 2018
2018 review
Attack surface definitions: A systematic literature review
[Review of ]. INFORMATION AND SOFTWARE TECHNOLOGY, 104, 94–103.
author keywords: Attack surface; Vulnerabilities; Software engineering; Systematic literature review
TL;DR:
This systematic literature review reviewed 644 works from prior literature that use the phrase attack surface and categorized them into those that provided their own definition; cited another definition; or expected the reader to intuitively understand the phrase.
(via Semantic Scholar)
Source: Web Of Science
Added: November 19, 2018
2018 article
Guest Editorial for the Special Section from the 9th International Symposium on Search Based Software Engineering
Petke, J., & Menzies, T. (2018, December). INFORMATION AND SOFTWARE TECHNOLOGY, Vol. 104, pp. 194–194.
TL;DR:
Looking forward, to the forthcoming age of autonomous cars and flying drones, it is clear that software will be the key that determines what the authors can do, when, where, and how.
(via Semantic Scholar)
Sources: Web Of Science, NC State University Libraries
Added: November 19, 2018
2018 article
Co-Scheduling on Fused CPU-GPU Architectures With Shared Last Level Caches
Damschen, M., Mueller, F., & Henkel, J. (2018, November). IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, Vol. 37, pp. 2337–2347.
author keywords: Heterogeneous computing; integrated architecture; performance tuning; scheduling
TL;DR:
It is shown, however, that in most cases it is not beneficial to split the work of a kernel between CPU and GPU compared to exclusively running it on the most suitable single compute device.
(via Semantic Scholar)
Source: Web Of Science
Added: November 12, 2018
Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.
Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.
