Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 5 of 5
Full-Text Articles in Physical Sciences and Mathematics
Smt-Based Constraint Answer Set Solver Ezsmt (System Description), Benjamin Susman, Yuliya Lierler
Smt-Based Constraint Answer Set Solver Ezsmt (System Description), Benjamin Susman, Yuliya Lierler
Computer Science Faculty Proceedings & Presentations
Constraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. Recently, the formal link between this research area and satisfiability modulo theories (or SMT) was established. This link allows the cross-fertilization between traditionally different solving technologies. The paper presents the system EZSMT, one of the first SMT-based solvers for constraint answer set programming. It also presents the comparative analysis of the performance of EZSMT in relation to its peers including solvers EZCSP and CLINGCON that rely on the hybrid solving approach based on the combination of answer set solvers and constraint solvers. Experimental …
Learning Loops: A Replication Study Illuminates Impact Of Hs Courses, Briana B. Morrison, Adrienne Decker, Lauren E. Margulieux
Learning Loops: A Replication Study Illuminates Impact Of Hs Courses, Briana B. Morrison, Adrienne Decker, Lauren E. Margulieux
Computer Science Faculty Proceedings & Presentations
A recent study about the effectiveness of subgoal labeling in an introductory computer science programming course both supported previous research and produced some puzzling results. In this study, we replicate the experiment with a different student population to determine if the results are repeatable. We also gave the experimental task to students in a follow-on course to explore if they had indeed mastered the programming concept. We found that the previous puzzling results were repeated. In addition, for the novice programmers, we found a statistically significant difference in performance based on whether the student had previous programming courses in high …
Constraint Answer Set Programming Versus Satisfiability Modulo Theories, Yuliya Lierler, Benjamin Susman
Constraint Answer Set Programming Versus Satisfiability Modulo Theories, Yuliya Lierler, Benjamin Susman
Computer Science Faculty Proceedings & Presentations
Constraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. It is often informally related to the field of Satisfiability Modulo Theories. Yet, the exact formal link is obscured as the terminology and concepts used in these two research areas differ. In this paper, we make the link between these two areas precise.
A Dynamic Run-Profile Energy-Aware Approach For Scheduling Computationally Intensive Bioinformatics Applications, Sachin Pawaskar, Hesham Ali
A Dynamic Run-Profile Energy-Aware Approach For Scheduling Computationally Intensive Bioinformatics Applications, Sachin Pawaskar, Hesham Ali
Computer Science Faculty Proceedings & Presentations
High Performance Computing (HPC) resources are housed in large datacenters, which consume exorbitant amounts of energy and are quickly demanding attention from businesses as they result in high operating costs. On the other hand HPC environments have been very useful to researchers in many emerging areas in life sciences such as Bioinformatics and Medical Informatics. In an earlier work, we introduced a dynamic model for energy aware scheduling (EAS) in a HPC environment; the model is domain agnostic and incorporates both the deadline parameter as well as energy parameters for computationally intensive applications. Our proposed EAS model incorporates 2-phases. In …
Information Seeking Practices Of Parents: Exploring Skills, Face Threats And Social Networks, Betsy Disalvo, Parisa Khanipour Roshan, Briana B. Morrison
Information Seeking Practices Of Parents: Exploring Skills, Face Threats And Social Networks, Betsy Disalvo, Parisa Khanipour Roshan, Briana B. Morrison
Computer Science Faculty Proceedings & Presentations
Parents are often responsible for finding, selecting, and facilitating their children's out-of-school learning experiences. One might expect that the recent surge in online educational tools and the vast online network of information about informal learning would make this easier for all parents. Instead, the increase in these free, accessible resources is contributing to an inequality of use between children from lower and higher socio-economic status (SES). Through over 60 interviews with a diverse group of parents, we explored parents' ability to find learning opportunities and their role in facilitating educational experiences for their children. We identified differences in the use …