Submissions from 2024
Locally Tight Programs, Jorge Fandinno, Vladimir Lifschitz, and Nathan Temple
Locally Tight Programs, Jorge Fandinno, Vladimir Lifschitz, and Nathan Temple
Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL’88, GL’91, GK’14, D-V’12, Yuliya Lierler
Submissions from 2023
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics, Daniel Bresnahan, Nicholas Hippen, and Yuliya Lierler
External Behavior of a Logic Program and Verification of Refactoring, Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, and Nathan temple
Submissions from 2022
Factors affecting student educational choices regarding OER material in Computer Science, Anastasia Angelopoulou, Rania Hodhod, and Alfredo J. Perez
Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic, Jorge Fandinno and LUIS FARIÑAS DEL CERRO
Positive Dependency Graphs Revisited, Jorge Fandinno and Vladimir Lifschitz
On the Security of Bluetooth Low Energy in Two Consumer Wearable Heart Rate Monitors/Sensing Devices, Yesem Kurt Peker, Gabriel Bello, and Alfredo J. Perez
Submissions from 2021
Recent Advances in Wearable Sensing Technologies, Alfredo J. Perez and Sherali Zeadally
Secure and privacy-preserving crowdsensing using smart contracts: Issues and solutions, Alfredo J. Perez and Sherali Zeadally
Submissions from 2020
A Semi-Automated Technique for Transcribing Accurate Crowd Motions, Alexander Fuchsberger, Brian Ricks, and Zhicheng Chen
Effect of Implementing Subgoals in Code.org's Intro to Programming Unit in Computer Science Principles, Lauren E. Margulieux, Briana Baker Morrison, Baker Franke, and Hari Ramilison
Reducing withdrawal and failure rates in introductory programming with subgoal labeled worked examples, Lauren E. Margulieux, Briana B. Morrison, and Adrienne Decker
ICedge: When Edge Computing Meets Information-Centric Networking, Spyridon Mastorakis, Abderrahmen Mtibaa, Jonathan Lee, and Satyajayant Misra
The curious case of loops, Briana B. Morrison, Lauren E. Margulieux, and Adrienne Decker
A Cost Analysis of Internet of Things Sensor Data Storage on Blockchain via Smart Contracts, Yesem Kurt Peker, Xavier Rodriguez, James Ericsson, Suk Jin Lee, and Alfredo J. Perez
A User Study of a Wearable System to Enhance Bystanders’ Facial Privacy, Alfredo J. Perez, Sherali Zeadally, Scott Griffith, Luis Y. Matos Garcia, and Jason A. Mouloud
Submissions from 2019
Design and Pilot Testing of Subgoal Labeled Worked Examples for Five Core Concepts in CS1, Lauren E. Margulieux, Briana B. Morrison, and Adrienne Decker
Computational Thinking Bins: Outreach and More, Briana B. Morrison, Brian Dorn, and Michelle Friend
A Communication Architecture for Crowd Management in Emergency and Disruptive Scenarios, Alfredo J. Perez and Sherali Zeadally
Generation of crowd arrival and destination locations/times in complex transit facilities, Brian Ricks, Andrew Dobson, Athanasios Krontiris, Kostas Bekris, Mubbasir Kapadia, and Fred Roberts
Submissions from 2018
Design and evaluation of a privacy architecture for crowdsensing applications, Alfredo J. Perez and Sherali Zeadally
https://onlinelibrary.wiley.com/doi/10.1002/spy2.15#:~:text=A%20review%20and%20an%20empirical%20analysis%20of%20privacy%20policy%20and%20notices%20for%20consumer%20Internet%20of%20things, Alfredo J. Perez, Sherali Zeadally, and Jonathan Cochran
Security and Privacy in Ubiquitous Sensor Networks, Alfredo J. Perez, Sherali Zeadally, and Nafaa Jabeur
FacePET: Enhancing Bystanders’ Facial Privacy with Smart Wearables/Internet of Things, Alfredo J. Perez, Sherali Zeadally, Luis Y. Matos Garcia, Jason A. Mouloud, and Scott Griffith
Submissions from 2017
Privacy Issues and Solutions for Consumer Wearables, Alfredo J. Perez and Sherali Zeadally
Bystanders' Privacy, Alfredo J. Perez, Sherali Zeadally, and Scott Griffith
Systematic adaptation of dynamically generated source code via domain-specific examples, Myoungkyu Song and Eli Tilevich
Submissions from 2016
Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter, Marcello Balduccini and Yuliya Lierler
A newly discovered ubiquitin-conjugating enzyme E2 correlated with the cryogenic autolysis of Volvariella volvacea, Ming Gong, Hong Wang, Mingjie Chen, Dapeng Bao, Qiuming Zhu, and Qi Tan
What is answer set programming to propositional satisfiability, Yuliya Lierler
Systems, Engineering Environments, and Competitions, Yuliya Lierler, Marco Maratea, and Francesco Ricca
Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report, Yuliya Lierler and Peter Schüller
On Relation between Constraint Answer Set Programming and Satisfiability Modulo Theories, Yuliya Lierler and Benjamin Susman
On Abstract Modular Inference Systems and Solvers, Yuliya Lierler and Miroslaw Truszczyński
Training Learnings to Self-Explains: Designing Instructions and Examples to Improve Problem Solving, Lauren E. Margulieux, Briana B. Morrison, and Richard Catrambone
Identification of the Emergent Leaders within a CSE Professional Development Program, Tracie Evans Reding, Brian Dorn, Neal Grandgenett, Harvey Siy, Jon Youn, Qiuming Zhu, and Carol A. Engelmann
Graph mining for next generation sequencing: leveraging the assembly graph for biological insights, Julia Warnke-Sommer and Hesham Ali
Submissions from 2015
Disjunctive Answer Set Solvers via Templates, Remi Brochenin, Yuliya Lierler, and Marco Maratea
Community Chairs as a Catalyst for Campus Collaboration in STEM, Neal Grandgenett, David Boocker, Hesham Ali, Angela M. Hodge, Brian Dorn, and Christine E. Cutucache
What is Answer Set Programming to Propositional Satisfiability, Yuliya Lierler
Near-Duplicate Image Retrieval Based on Contextual Descriptor, Jinliang Yao, Bing Yang, and Qiuming Zhu
Submissions from 2014
A specific type of cyclin-like F-box domain gene is involved in the cryogenic autolysis of Volvariella volvacea, Ming Gong, Mingjie Chen, Hong Wang, Qiuming Zhu, and Qi Tan
The Intelligent Data Brokerage: A Utility-Enhancing Architecture for Algorithmic Anonymity Measures, Nolan Hemmatazad, Robin A. Gandhi, Qiuming Zhu, and Sanjukta Bhowmick
Relating Constraint Answer Set Programming Languages and Algorithms, Yuliya Lierler
AspCcgTk: Towards Syntactic Parsing with Semantic Disambiguation, Yuliya Lierler and Peter Schueller
Deliberate Barriers to User Participation on MetaFilter, Hannah Pileggi, Briana B. Morrison, and Amy Bruckman
Optimal acceleration thresholds for non-holonomic agents, Brian Ricks and Parris K. Egbert
Submissions from 2013
Integration Schemas for Constraint Answer Set Programming: a Case Study, Marcello Balduccini and Yuliya Lierler
A Social Dimensional Cyber Threat Model with Formal Concept Analysis and Fact-Proposition Inference, Anup Sharma, Robin Gandhi, Qiuming Zhu, William Mahoney, and William Sousan
Submissions from 2012
Performance and Use Evaluation of an Electronic Book for Introductory Python Programming, Christine Alvarado, Briana B. Morrison, Barbara Ericson, Mark Guzdial, Brad Miller, and David L. Ranum
Representing First-Order Causal Theories by Logic Programs, Paolo Ferrarris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, and Fangkai Yang
Constraint Answer Set Programming, Yuliya Lierler
Using Non-Additive Measure for Optimization-Based Nonlinear Classification, Nian Yan, Zhengxin Chen, Yong Shi, Zhenyuan Wang, and Guimin Huang
Submissions from 2011
Applications of Hidden Markov Models in Microarray Gene Expression Data, Huimin Geng, Xutao Deng, and Hesham Ali
On Elementary Loops of Logic Programs, Martin Gerber, Joohyung Lee, and Yuliya Lierler
Centinela: A human activity recognition system based on acceleration and vital sign data, Óscar D. lara, Alfredo J. Perez, Miguel A. Labrador, and José D. Posada
Abstract Answer Set Solvers with Backjumping and Learning, Yuliya Lierler
Transition Systems for Model Generators — A Unifying Approach, Yuliya Lierler and Miroslaw Truszczyński
An Architecture for Global Ubiquitous Sensing, Alfredo J. Perez
Submissions from 2010
A location-aware framework for intelligent real-time mobile applications, Sean J. Barbeau, Rafael A. Perez, Miguel A. Labrador, Alfredo J. Perez, Nevine Labib Georggi, and Philip L. Winters
The Social, Political, Economic, and Cultural Dimensions of Cyber Attacks, Robin Gandhi, Anup Sharma, William Mahoney, William Sousan, and Qiuming Zhu
SAT-based Answer Set Programming, Yuliya Lierler
A Genetic Algorithm for Multiobjective Hard Scheduling Optimization, Elías Niño, Carlos Ardila, Alfredo J. Perez, and Yexid Donoso
G-Sense: a scalable architecture for global sensing and monitoring, Alfredo J. Perez, Miguel A. Labrador, and Sean J. Barbeau
Submissions from 2009
A Coherent Measurement of Web-Search Relevance, William Mahoney, Peter Hospodka, William Sousan, Ryan Nickell, and Qiuming Zhu
Submissions from 2008
Collecting Open Source Intelligence via Tailored Information Delivery Systems, William Sousan, Qiuming Zhu, Ryan Nickell, William Mahoney, and Peter Hospodka
Submissions from 2007
Quantifying Position Accuracy of Multimodal Data from Global Positioning System–Enabled Cell Phones, David P. Aguilar, Sean J. Barbeau, Miguel A. Labrador, Alfredo J. Perez, and Rafael A. Perez
A trend pattern assessment approach to microarray gene expression profiling data analysis, Kahai Cao, Qiuming Zhu, Javeed Iqbal, and John W.C. Chan
A three-tier knowledge management scheme for software engineering support and innovation, Richard Corbin, Christopher B. Dunbar, and Qiuming Zhu
Incremental procedures for partitioning highly intermixed multi-class datasets into hyper-spherical and hyper-ellipsoidal clusters, Qinglu Kong and Qiuming Zhu
Cmodels: SAT-based Answer Set Programming System, Yuliya Lierler and Marco Maratea
Hierarchical Collective Agent Network (HCAN) for efficient 3 fusion and management of multiple networked sensors, Qiuming Zhu, Stuart L. Aldridge, and Tomas N. Resha
Submissions from 2006
An Approach to the Optimization of Convergent Networks on IP/MPLS with an Optical GMPLS Backbone in Multicast, Yezid Donoso, Carolina Alvarado, Alfredo J. Perez, and Ivan Herazo
Answer Set Programming based on Propositional Satisfiability, Enrico Giunchiglia, Yuliya Lierler, and Marco Maratea
Min–Max Hyperellipsoidal Clustering for Anomaly Detection in Network Security, Suseela T. Sarasamma and Qiuming Zhu
Topologies of agents interactions in knowledge intensive multi-agentsystems for networked information services, Qiuming Zhu
Submissions from 2005
Hierarchical Kohonenen Net for Anomaly Detection in Network Security, Suseela T. Sarasamma, Qiuming Zhu, and Julie Huff
Submissions from 2004
BCL2 Translocation Defines a Unique Tumor Subset within the Germinal Center B-Cell-Like Diffuse Large B-Cell Lymphoma, Javeed Iqbal, Warren G. Sanger, Andreas Rosenwald, Diane L. Pickering, Barbara Dave, Sandeep Dave, Li Xiao, Kahai Cao, Qiuming Zhu, Simon Sherman, Christine P. Hans, Dennis D. Weisenburger, Timothy C. Greiner, Randy D. Gascoyne, German Ott, H. Konrad Müller-Hermelink, Jan Delabie, Rita M. Braziel, Elaine S. Jaffe, Elias Campo, James C. Lynch, Joseph M. Conners, Julie M. Vose, James O. Armitage, Thomas M. Grogan, Louis M. Staudt, and Wing C. Chan
Algorithmic Fusion of Gene Expression Profiling for Diffuse Large B-Cell Lymphoma Outcome Prediction, Qiuming Zhu, Hongmei Cui, Kahai Cao, and Wing C. Chan
Submissions from 2002
A Pseudo Nearest-Neighbor Approach for Missing Data Recovery on Gaussian Random Data Sets, Xiaolu Huang and Qiuming Zhu
An iterative initial-points refinement algorithm for categorical data clustering, Ying Sun, Qiuming Zhu, and Zhengxin Chen
Submissions from 2001
An integrated interactive environment for knowledge discovery from heterogeneous data resources, Miao Chen, Qiuming Zhu, and Zhengxin Chen
A Multiple Hyper-ellipsoidal Subclass Model for an Evolutionary Classifier, Qiuming Zhu, Yao Cai, and Luzheng Liu
Submissions from 1999
Using Omissive Faults to Obtain Local Convergence in Partially Connected Networks, M. H. Azadmanesh and A. W. Krings
On the Geometries of Conic Section Representation of Noisy Object Boundaries, Qiuming Zhu
A Global Learning Algorithm for a RBF Network, Qiuming Zhu, Yao Cai, and Luzheng Liu
A new approach to conic section approximation of object boundaries, Qiuming Zhu and Lu Peng
Submissions from 1998
Query construction for user-guided knowledge discovery in databases, Zhengxin Chen and Qiuming Zhu
Minimum Cross-Entropy Approximation for Modeling of Highly Intertwining Data Sets at Subclass Levels, Qiuming Zhu
A Subclass Model for Nonlinear Pattern Classification, Qiuming Zhu and Yao Cai
Submissions from 1996
Edge Linking by a Directional Potential Function (DPF), Qiuming Zhu, Matt Payne, and Victorian Riordan
Submissions from 1995
Quantitative object motion prediction by an ART2 and Madaline combined neural network: Concepts and experiments, Qiuming Zhu and Ahmed Y. Tawfik
Submissions from 1994
Probabilistic Reasoning in an Augmented Fact-Proposition Space and its Applications, Qiuming Zhu
Submissions from 1992
Skill Augmentation Via Interactive Learning for Visual Guidance of Mobile Robots, Qiuming Zhu and Dahuan Shi
Submissions from 1991
Hidden Markov Model for Visual Guidance of Robot Motion in Dynamic Environment, Qiuming Zhu
Virtual edges, viewing faces, and boundary traversal in line drawing representation of objects with curved surfaces, Qiuming Zhu
Submissions from 1990
On the Minimum Probability of Error of Classification with Incomplete Patterns, Qiuming Zhu
Submissions from 1989
Pattern Classification in Dynamic Environments: Tagged Feature-Class Representation and the Classifiers, Qiuming Zhu