Gustavo Lacerda

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 3

Top Topics

Smart Environments

Branch And Bound Algorithm

Top Venues

Distributed Ledger Technol. Res. Pract.

Publications

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