Gustavo Lacerda

11 papers A 3B 1Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Smart Proofs via Recursive Information Gathering: Decentralized Refereeing by Smart Contracts.
Distributed Ledger Technol. Res. Pract.
Sylvain Carré, Franck Gabriel, Clément Hongler, Gustavo Lacerda, Gloria Capano
2021 J jnl
Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets.
CoRR
Sylvain Carré, Franck Gabriel, Clément Hongler, Gustavo Lacerda, Gloria Capano
2018 — conf
A Proactive Restoration Strategy for Optical Cloud Networks Based on Failure Predictions.
ICTON
Carlos Natalino, Frederico Coelho, Gustavo Lacerda, Antônio P. Braga, Lena Wosinska, Paolo Monti
2014 J jnl
Upper-Bounding Proof Length with the Busy Beaver.
CoRR
Gustavo Lacerda
2012 J jnl
Causal discovery of linear acyclic models with arbitrary distributions
CoRR
Patrik O. Hoyer, Aapo Hyvärinen, Richard Scheines, Peter Spirtes, Joseph D. Ramsey, Gustavo Lacerda, Shohei Shimizu
2012 J jnl
Discovering Cyclic Causal Models by Independent Components Analysis
CoRR
Gustavo Lacerda, Peter Spirtes, Joseph D. Ramsey, Patrik O. Hoyer
2008 A conf
Causal discovery of linear acyclic models with arbitrary distributions.
UAI
Patrik O. Hoyer, Aapo Hyvärinen, Richard Scheines, Peter Spirtes, Joseph D. Ramsey, Gustavo Lacerda, Shohei Shimizu
2008 A conf
Discovering Cyclic Causal Models by Independent Components Analysis.
UAI
Gustavo Lacerda, Peter Spirtes, Joseph D. Ramsey, Patrik O. Hoyer
2008 B conf
Why Tutored Problem Solving May be Better Than Example Study: Theoretical Implications from a Simulated-Student Study.
Intelligent Tutoring Systems
Noboru Matsuda, William W. Cohen, Jonathan Sewall, Gustavo Lacerda, Kenneth R. Koedinger
2007 — conf
Evaluating a Simulated Student Using Real Students Data for Training and Testing.
User Modeling
Noboru Matsuda, William W. Cohen, Jonathan Sewall, Gustavo Lacerda, Kenneth R. Koedinger
2007 A conf
Predicting Students' Performance with SimStudent: Learning Cognitive Skills from Observation.
AIED
Noboru Matsuda, William W. Cohen, Jonathan Sewall, Gustavo Lacerda, Kenneth R. Koedinger