This site uses cookies

By using this site, you consent to our use of cookies. You can view our terms and conditions for more information.

Formal analysis

You must be logged in and registered to see live session information.
Flexible cdf-quantile distributions on the closed unit interval
Michael Smithson
Dr. Yiyun Shou
Constructing an unobservable critical path network from observable slacks
Richard Schweickert
rolog: Querying Prolog from R
Prof. Matthias Gondan
Modeling pilot flight performance on take-off task with QN-ACTR
Robin Xu
Using sampling algorithms to explain human random generation
Lucas Castillo
Pablo Leon Villagra
Nick Chater
Prof. Adam Sanborn
Estimating parameter confidence intervals in possibly misspecified parameter redundant models
Prof. Richard Golden
Attacker behavior detection in critical infrastructure
Ayca Altay
Melike Baykal-Gursoy