Works Published in 2012
Displaying works 41 - 60 of 202 in total
Sorted by most recent date added to the index first, which may not be the same as publication date order.
2012 chapter
On Round-Optimal Zero Knowledge in the Bare Public-Key Model
In Advances in Cryptology – EUROCRYPT 2012 (pp. 153–171).
TL;DR:
This paper revisits previous work in the BPK model and points out subtle problems concerning security proofs of concurrent and resettable zero knowledge (cƵƘ and r-protocol, for short) and shows a protocol ΠrƵxt� that is round-optimal and concurrently sound r-Protocol for NP under standard complexity-theoretic assumptions.
(via Semantic Scholar)
link.springer.com (publisher PDF)
Source: Crossref
Added: August 28, 2020
2012 chapter
Simultaneously Resettable Arguments of Knowledge
In Theory of Cryptography (pp. 530–547).
TL;DR:
This work shows a construction of a constant-round simultaneously resettable witness-indistinguishable argument of knowledge (simresWIAoK, for short) for any NP language and shows two applications of simresWIoK: the first constant- round simultaneously resetable zero-knowledge argument ofknowledge in the Bare Public-Key Model; and the first simultaneously Resettable identification scheme which follows the knowledge extraction paradigm.
(via Semantic Scholar)
Source: Crossref
Added: August 28, 2020
2012 journal article
Special issue on repeatable results in software engineering prediction
Empirical Software Engineering, 17(1-2), 1–17.
Sources: Crossref, NC State University Libraries
Added: August 28, 2020
2012 chapter
Crowd-Sourced Knowledge Bases
In Knowledge Management and Acquisition for Intelligent Systems (pp. 258–271).
TL;DR:
Although people vary in document classification, simple merging may produce reasonable consensus knowledge bases, according to the results of experiments with 27 students to classify the same set of 1000 documents.
(via Semantic Scholar)
Sources: Crossref, NC State University Libraries
Added: August 28, 2020
2012 chapter
Four Quantitative Metrics Describing Narrative Conflict
In Interactive Storytelling (pp. 18–29).
TL;DR:
An experiment designed to measure how well these metrics predict the responses of human readers when asked to measure these same values in a set of four stories concludes that these metrics are able to rank stories similarly to human readers for each of these four dimensions.
(via Semantic Scholar)
Source: Crossref
Added: August 28, 2020
2012 chapter
Achieving the Illusion of Agency
In Interactive Storytelling (pp. 114–125).
TL;DR:
A non-branching game that simulates branching choices by providing players with choices followed by immediate textual feedback and hypothesize that this game, where player decisions do not significantly change the course of the game, will maintain the player's sense of agency.
(via Semantic Scholar)
Source: Crossref
Added: August 28, 2020
2012 chapter
Analytics-Driven Lossless Data Compression for Rapid In-situ Indexing, Storing, and Querying
In Lecture Notes in Computer Science (pp. 16–30).
TL;DR:
This paper proposes a co-designed double-precision compression and indexing methodology for range queries by performing unique-value-based binning on the most significant bytes of double precision data, and inverting the resulting metadata to produce an inverted index over a reduced data representation.
(via Semantic Scholar)
Source: Crossref
Added: August 28, 2020
2012 chapter
A Tunable, Software-Based DRAM Error Detection and Correction Library for HPC
In Euro-Par 2011: Parallel Processing Workshops (pp. 251–261).
TL;DR:
LIBSDC is introduced, a tunable, transparent silent data corruption detection and correction library for HPC applications that provides comprehensive SDC protection for program memory by implementing on-demand page integrity verification.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions
(OpenAlex)
Source: Crossref
Added: August 28, 2020
2012 chapter
ScalaTrace: Tracing, Analysis and Modeling of HPC Codes at Scale
In Applied Parallel and Scientific Computing (pp. 410–418).
TL;DR:
This work introduces intra- and inter-node compression techniques of MPI events, develops a scheme to preserve time and causality of communication events, and presents results of the implementation for BlueGene/L.
(via Semantic Scholar)
Source: Crossref
Added: August 28, 2020
2012 chapter
Rich Computational Model of Conflict for Virtual Characters
In Intelligent Virtual Agents (pp. 502–504).
TL;DR:
A model of conflict that includes mechanics, context, and dynamics of conflict scenarios is proposed that complements task-oriented conflicts that are implemented in current agent architectures and seeks to motivate exploration to a new design space of possible conflict situations.
(via Semantic Scholar)
Sources: Crossref, NC State University Libraries
Added: August 28, 2020
2012 journal article
Enhancing 5th graders’ science content knowledge and self-efficacy through game-based learning
Computers & Education, 59(2), 497–504.
author keywords: Collaborative learning; Interactive learning environments; Media and education; Simulation; Pedagogical issues
TL;DR:
There were no differences between the two playing conditions; however, when conditions were collapsed, science content learning and self-efficacy significantly increased and future research should focus on the composition of collaboration interaction among game players to assess what types of collaborative tasks may yield positive learning gains.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
4. Quality Education
(Web of Science; OpenAlex)
Source: Crossref
Added: August 28, 2020
2012 chapter
Toward a Machine Learning Framework for Understanding Affective Tutorial Interaction
In Intelligent Tutoring Systems (pp. 52–58).
TL;DR:
The results show that hidden Markov modeling holds potential for the semi-automated understanding of affective interaction, which may contribute to the development of affect-informed intelligent tutoring systems.
(via Semantic Scholar)
Source: Crossref
Added: August 28, 2020
2012 chapter
Real-Time Narrative-Centered Tutorial Planning for Story-Based Learning
In Intelligent Tutoring Systems (pp. 476–481).
TL;DR:
An empirical evaluation of machine-learned models of narrative-centered tutorial planning for story-based learning environments suggests that machine- Learns can improve learning outcomes and in-game efficiency.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
4. Quality Education
(OpenAlex)
Source: Crossref
Added: August 28, 2020
2012 chapter
Exploring Inquiry-Based Problem-Solving Strategies in Game-Based Learning Environments
In Intelligent Tutoring Systems (pp. 470–475).
TL;DR:
Analysis of the role of inquiry behaviors in an open-ended, game-based learning environment for middle grade microbiology indicates that students' quantity of information-gathering behaviors has a greater impact on content learning gains than adherence to a particular sequence of problem-solving steps.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
4. Quality Education
(OpenAlex)
Source: Crossref
Added: August 28, 2020
2012 chapter
The Role of Sub-problems: Supporting Problem Solving in Narrative-Centered Learning Environments
In Intelligent Tutoring Systems (pp. 464–469).
TL;DR:
Investigation of the role of quests as a means for supporting situational interest and content-knowledge acquisition during interactions with a narrative-centered learning environment found that students who completed more quests exhibited significant increases in content learning and had higher levels of situational interest.
(via Semantic Scholar)
Source: Crossref
Added: August 28, 2020
2012 chapter
Predicting Student Self-regulation Strategies in Game-Based Learning Environments
In Intelligent Tutoring Systems (pp. 141–150).
TL;DR:
The methodology used to classify students and initial analyses demonstrating the different learning and gameplay behaviors across students in different SRL-use categories are described and machine learning models capable of predicting these categories early into the student's interaction are presented.
(via Semantic Scholar)
Source: Crossref
Added: August 28, 2020
2012 journal article
Analysis and mitigation of vulnerabilities in short-range wireless communications for industrial control systems
International Journal of Critical Infrastructure Protection, 5(3-4), 154–174.
author keywords: Industrial control systems; Wireless communications; Vulnerabilities; Mitigation
TL;DR:
Vulnerabilities and mitigations related to multiple industrial radio technologies deployed in control systems including IEEE 802.15.4, WirelessHART, ZigBee, Bluetooth, and IEEE802.11.4 are focused on.
(via Semantic Scholar)
Source: Crossref
Added: June 6, 2020
2012 journal article
An open virtual testbed for industrial control system security research
International Journal of Information Security, 11(4), 215–229.
author keywords: Virtual testbed; Industrial control system; SCADA; Cybersecurity
TL;DR:
A virtual testbed framework using Python to create discrete testbed components including virtual devices and process simulators is described, designed such that the testbeds are inter-operable with real industrial control system devices and such that they can provide comparableindustrial control system network behavior to a laboratory testbed.
(via Semantic Scholar)
Source: Crossref
Added: June 6, 2020
2012 conference paper
Scan-Sharing for Optimizing RDF Graph Pattern Matching on MapReduce
2012 IEEE Fifth International Conference on Cloud Computing.
TL;DR:
This work presents a scan-sharing technique that is used to optimize the processing of graph patterns with repeated properties that eliminates the need for repeated scanning of input relations when properties are used repeatedly in graph patterns.
(via Semantic Scholar)
Source: ORCID
Added: May 10, 2020
2012 conference paper
To nest or not to nest, when and how much
Proceedings of the 4th International Workshop on Semantic Web Information Management - SWIM '12.
TL;DR:
This short paper presents some on-going research into the use of a nested TripleGroup data model and Algebra (NTGA) for MapReduce based RDF graph processing and a preliminary evaluation of these strategies for efficient management of multi-valued properties while processing graph pattern queries in Apache Pig.
(via Semantic Scholar)
Source: ORCID
Added: May 10, 2020
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.
