Computer Science

Engineering socially intelligent personal agents via norms

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 3, 1822–1823. http://www.scopus.com/inward/record.url?eid=2-s2.0-85046418467&partnerID=MN8TOARS

Kont: Computing Tradeoffs in Normative Multiagent Systems

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 3006–3012. http://www.scopus.com/inward/record.url?eid=2-s2.0-85027718735&partnerID=MN8TOARS

Aragorn: Eliciting and Maintaining Secure Service Policies

Computer, 50(12), 50–58.

Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '17. Presented at the the 2017 ACM.

Early Termination in Parametric Linear System Solving and Rational Function Vector Recovery with Error Correction

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '17. Presented at the the 2017 ACM.

The effect of visualization on students' miscalibration in the context of online peer assessment

Proceedings of Western Decision Sciences Institute 2017 Annual Meeting. Presented at the Western Decision Sciences Institute 2017 Annual Meeting, Vancouver, BC. http://wdsinet.org/Annual_Meetings/2017_Proceedings/CR%20PDF/cr60.pdf

Verifying Concurrency in an Adaptive Ocean Circulation Model

Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17.

Exact Detection of Information Leakage: Decidability and Complexity

TRANSACTIONS ON LARGE-SCALE DATA- AND KNOWLEDGE-CENTERED SYSTEMS XXXII, 10420, 1–23.

An intelligent weighted fuzzy time series model based on a sine-cosine adaptive human learning optimization algorithm and its application to financial markets forecasting

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 595–607).

No (Privacy) News is Good News: An Analysis of New York Times and Guardian Privacy News from 2010–2016

2017 15th Annual Conference on Privacy, Security and Trust (PST), 159–168.

Sampling Density Criterion for Circular Structured Light 3D Imaging

PROCEEDINGS OF THE 12TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS (VISIGRAPP 2017), VOL 6, 478–483.

Real time utility-based recommendation for revenue optimization via an adaptive online top-K high utility itemsets mining model

2017 13th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD).

“Thanks Alisha, keep in touch”: Gender effects and engagement with virtual learning companions

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 299–310).

Trilogy: data placement to improve performance and robustness of cloud computing

2017 IEEE International Conference on Big Data (Big Data), 2442–2451.

Rectangular hash table: Bloom filter and bitmap assisted hash table with high speed

2017 IEEE International Conference on Big Data (Big Data), 837–846.

Leveraging External Knowledge for Phrase-based Topic Modeling

2017 conference on technologies and applications of artificial intelligence (taai), 29–32.

LSTM for septic shock: Adding unreliable labels to reliable predictions

2017 IEEE International Conference on Big Data (Big Data), 1233–1242.

Inducing stealth assessors from game interaction data

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 212–223).

Hint generation under uncertainty: The effect of hint quality on help-seeking behavior

Artificial intelligence in education, aied 2017, 10331, 311–322.

Enabling query processing across heterogeneous data models: A survey

2017 IEEE International Conference on Big Data (Big Data), 3211–3220.