Computer Science

Works Published in 2014

search works

Displaying works 141 - 160 of 221 in total

Sorted by most recent date added to the index first, which may not be the same as publication date order.

2014 conference paper

Determining team hierarchy from broadcast communications

Social informatics, socinfo 2014, 8851, 493–507.

By: A. Kalia, N. Buchler, D. Ungvarsky, R. Govindan & M. Singh 

Source: NC State University Libraries
Added: August 6, 2018

2014 book

VBR video traffic models

Hoboken, NJ: John Wiley & Sons, Inc.

By: S. Tanwir

Source: NC State University Libraries
Added: August 6, 2018

2014 conference paper

The thing itself speaks: Accountability as a foundation for requirements in sociotechnical systems

2014 IEEE 7th International Workshop on Requirements Engineering and Law, RELAW 2014 - Proceedings, 22–24.

By: A. Chopra * & M. Singh n 

Contributors: A. Chopra * & M. Singh n 

UN Sustainable Development Goal Categories
10. Reduced Inequalities (OpenAlex)
Sources: ORCID, NC State University Libraries, NC State University Libraries
Added: August 6, 2018

2014 conference paper

Identifying malicious metering data in advanced metering infrastructure

2014 IEEE 8th International Symposium on Service Oriented System Engineering (SOSE), 490–495.

By: E. Choo, Y. Park & H. Siyamwala

Source: NC State University Libraries
Added: August 6, 2018

2014 book

A first course in probability

[Place of publication not identified]: [CreateSpace Independent Publishing Platform].

By: W. Stewart

Source: NC State University Libraries
Added: August 6, 2018

2014 journal article

Solving the maximum duo-preservation string mapping problem with linear programming

THEORETICAL COMPUTER SCIENCE, 530, 1–11.

By: W. Chen *, Z. Chen n, N. Samatova n, L. Peng*, J. Wang* & M. Tang*

author keywords: Approximation algorithm; Constrained maximum induced subgraph problem; Duo-preservation string mapping; Linear programming; Integer programming; Randomized rounding
TL;DR: The maximum duo-preservation string mapping problem (MPSM), which is complementary to the minimum common string partition problem (MCSP), is introduced and it is shown that both CMIS and CNIS are NP-complete. (via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018

2014 article

Bliss: Specifying Declarative Service Protocols

2014 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2014), pp. 235–242.

By: M. Singh n 

Contributors: M. Singh n 

author keywords: Business process modeling; Business protocols
TL;DR: Bliss is a conceptual model for interaction that is based on information flow that increments the information needed to complete the social object that a protocol computes and yields simple steps to help ensure that the resulting protocol adequately captures the given requirements with respect to thesocial object. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018

2014 conference paper

A real-time distributed storage system for multi-resolution virtual synchrophasor

2014 ieee pes general meeting - conference & exposition.

By: T. Qian*, A. Chakrabortty  n, F. Mueller* & Y. Xin*

TL;DR: This work designs and implements a real-time distributed storage system to support the virtual PMU data communication, and extends the Chord algorithm so that the response time of data communication can be bounded by the storage system. (via Semantic Scholar)
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure (OpenAlex)
Source: NC State University Libraries
Added: August 6, 2018

2014 conference paper

A model based fault locating method for distribution systems

2014 ieee pes general meeting - conference & exposition.

By: M. Baran n , A. Padmanabhan n, S. Chouhan, X. Yuan n, J. Smith n & H. Mayfield

Source: NC State University Libraries
Added: August 6, 2018

2014 journal article

Toward Cyber-Enhanced Working Dogs for Search and Rescue

IEEE INTELLIGENT SYSTEMS, 29(6), 32–39.

By: A. Bozkurt n, D. Roberts n, B. Sherman n, R. Brugarolas n, S. Mealin n, J. Majikes n, P. Yang n, R. Loftin n

TL;DR: The authors introduce the fundamental building blocks for a cyber-enabled, computer-mediated communication platform to connect human and canine intelligence to achieve a new generation of Cyber-Enhanced Working Dog (CEWD). (via Semantic Scholar)
UN Sustainable Development Goal Categories
Source: Web Of Science
Added: August 6, 2018

2014 journal article

Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations

ACM SIGPLAN Notices, 49(10), 763–776.

By: M. Zhou*, X. Shen n , Y. Gao * & G. Yiu*

TL;DR: This study proves selecting the best set of versions under a space constraint is NP-complete and proposes a heuristic algorithm named CHoGS which yields near optimal results in quadratic time. (via Semantic Scholar)
Sources: NC State University Libraries, NC State University Libraries
Added: August 6, 2018

2014 article

Call Sequence Prediction through Probabilistic Calling Automata

Zhao, Z., Wu, B., Zhou, M., Ding, Y., Sun, J., Shen, X., & Wu, Y. (2014, October). ACM SIGPLAN NOTICES, Vol. 49, pp. 745–762.

By: Z. Zhao *, B. Wu *, M. Zhou*, Y. Ding n, J. Sun *, X. Shen n , Y. Wu *

author keywords: Languages; Performance; Function call; Call sequence prediction; Probabilistic calling automata; Dynamic optimizations; Just-in-time compilation; Parallel compilation
TL;DR: A new way to enable call sequence prediction is presented, which exploits program structures through Probabilistic Calling Automata (PCA), a new program representation that captures both the inherent ensuing relations among function calls, and the probabilistic nature of execution paths. (via Semantic Scholar)
UN Sustainable Development Goal Categories
Sources: Web Of Science, NC State University Libraries
Added: August 6, 2018

2014 conference paper

Generalizability of goal recognition models in narrative-centered learning environments

User modeling, adaptation, and personalization, umap 2014, 8538, 278–289.

By: A. Baikadi n, J. Rowe n, B. Mott n & J. Lester n

TL;DR: An approach to goal recognition that leverages Markov Logic Networks (MLNs)—a machine learning framework that combines probabilistic inference with first-order logical reasoning—to encode relations between problem-solving goals and discovery events, domain-specific representations of user progress in narrative-centered learning environments is described. (via Semantic Scholar)
UN Sustainable Development Goal Categories
4. Quality Education (OpenAlex)
Source: NC State University Libraries
Added: August 6, 2018

2014 journal article

Cognitive models of discourse comprehension for narrative generation

Literary and Linguistic Computing, 29(4), 561–582.

By: J. Niehaus n & R. Young*

TL;DR: This dissertation employs cognitive models of narrative discourse comprehension to define an explicit computational model of a reader’s comprehension process during reading, predicting aspects of narrative focus and inferencing with precision. (via Semantic Scholar)
UN Sustainable Development Goal Categories
4. Quality Education (Web of Science; OpenAlex)
Sources: Crossref, NC State University Libraries
Added: August 6, 2018

2014 journal article

Bayesian neural networks for detecting epistasis in genetic association studies

BMC Bioinformatics, 15(1), 368.

By: A. Beam *, A. Motsinger-Reif n & J. Doyle n 

Contributors: A. Beam *, A. Motsinger-Reif n & J. Doyle n 

MeSH headings : Bayes Theorem; Case-Control Studies; Computational Biology / methods; Epistasis, Genetic; Genetic Association Studies; Humans; Models, Genetic; Mycobacterium / pathogenicity; Neural Networks, Computer; Polymorphism, Single Nucleotide / genetics; Tuberculosis / genetics; Tuberculosis / microbiology
TL;DR: The proposed framework for a non-parametric Bayesian approach in the form of a Bayesian neural network is shown to be a powerful method for detecting causal SNPs while being computationally efficient enough to handle large datasets. (via Semantic Scholar)
UN Sustainable Development Goal Categories
Sources: ORCID, NC State University Libraries, NC State University Libraries
Added: August 6, 2018

2014 article

A GENI Meso-Scale Experiment of a Verification Service

2014 THIRD GENI RESEARCH AND EDUCATIONAL EXPERIMENT WORKSHOP (GREE), pp. 65–68.

By: A. Babaoglu n & R. Dutta n 

TL;DR: The real world results of a verification service that verifies the performance of a set of network providers by measuring the user flows, using GENI experimental facility are demonstrated. (via Semantic Scholar)
UN Sustainable Development Goal Categories
Sources: Web Of Science, NC State University Libraries
Added: August 6, 2018

2014 journal article

Nesting Strategies for Enabling Nimble MapReduce Dataflows for Large RDF Data

INTERNATIONAL JOURNAL ON SEMANTIC WEB AND INFORMATION SYSTEMS, 10(1), 1–26.

By: P. Ravindra n & K. Anyanwu n

author keywords: Hadoop; MapReduce; Multi-Valued Properties; RDF Graph Pattern Queries; Semantic Web; SPARQL; Unnesting Strategies
TL;DR: This paper argues for the use of a nested data model for representing intermediate data concisely using nesting-aware dataflow operators that allow for lazy and partial unnesting strategies and confirms their superiority over relational-style MapReduce systems such as Apache Pig and Hive. (via Semantic Scholar)
Sources: Web Of Science, NC State University Libraries
Added: August 6, 2018

2014 conference paper

How the Sando search tool recommends queries

2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE), 425–428.

By: X. Ge n, D. Shepherd *, K. Damevski * & E. Murphy-Hill n

TL;DR: This paper demonstrates the recommendation techniques integrated in Sando, a state-of-the-art local code search tool, which suggests that developers are sometimes unacquainted with their local codebase. (via Semantic Scholar)
Source: NC State University Libraries
Added: August 6, 2018

2014 article

Evaluating the Impact of SDC on the GMRES Iterative Solver

2014 IEEE 28TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM.

By: J. Elliott n, M. Hoemmen* & F. Mueller n

TL;DR: This work derives inexpensive checks to detect the effects of an SDC in GMRES that work for a more general SDC model than presuming a bit flip, and shows that when GMRES is used as the inner solver of an inner-outer iteration, it can "run through" SDC of almost any magnitude in the computationally intensive orthogonalization phase. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: Web Of Science
Added: August 6, 2018

2014 conference paper

Estimating trust from agents' interactions via commitments

21st european conference on artificial intelligence (ecai 2014), 263, 1043–1044.

By: A. Kalia, Z. Zhang & M. Singh 

Source: NC State University Libraries
Added: August 6, 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.