Login / Signup
Adam Carlson
ORCID
Publication Activity (10 Years)
Years Active: 1993-2024
Publications (10 Years): 1
Top Topics
Formal Methods
High Performance Computing
Computational Science
Higher Education
Top Venues
PEARC
</>
Publications
</>
Cody Stevens
,
Sean Anderson
,
Adam Carlson
Integrating High Performance Computing into Higher Education and the Pedagogy of Cluster Computing.
PEARC
(2024)
Jingmin Zhou
,
Mark R. Heckman
,
Brennen Reynolds
,
Adam Carlson
,
Matt Bishop
Modeling network intrusion detection alerts for correlation.
ACM Trans. Inf. Syst. Secur.
10 (1) (2007)
Steven L. Tanimoto
,
Nathan Evans
,
Adam Carlson
Sequential Input Graphical Model Assessment Diagrams for Analysis of Student Activity Data.
ICALT
(2007)
Steven L. Tanimoto
,
Nathan Evans
,
Adam Carlson
Using Graphical Models to Unobtrusively Assess Student Performance in Educational Image Processing Activities.
ICALT
(2007)
Adam Carlson
Tools for ubiquitous assessment in discussion-based pedagogy.
HCC
(2003)
Steven L. Tanimoto
,
Adam Carlson
,
Justin Husted
,
Earl B. Hunt
,
Josef Larsson
,
David Madigan
,
Jim Minstrell
Text forum features for small group discussions with facet-based pedagogy.
CSCL
(2002)
Scott D. Anderson
,
Adam Carlson
,
David L. Westbrook
,
David M. Hart
,
Paul R. Cohen
Tols for Experiments in Planning.
ICTAI
(1994)
Paul R. Cohen
,
Adam Carlson
,
Lisa Ballesteros
,
Adam St. Amant
Automating Path Analysis for Building Causal Models from Data.
ICML
(1993)