Gustavo Lacerda

According to our database¹, Gustavo Lacerda authored at least 9 papers between 2007 and 2024.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Smart Proofs via Recursive Information Gathering: Decentralized Refereeing by Smart Contracts.

[BibT_eX]

[DOI]

Distributed Ledger Technol. Res. Pract., March, 2024

2021

Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets.

[BibT_eX]

[DOI]

CoRR, 2021

2018

A Proactive Restoration Strategy for Optical Cloud Networks Based on Failure Predictions.

[BibT_eX]

[DOI]

Proceedings of the 2018 20th International Conference on Transparent Optical Networks (ICTON), 2018

2014

Upper-Bounding Proof Length with the Busy Beaver.

[BibT_eX]

[DOI]

Gustavo Lacerda

CoRR, 2014

2008

Discovering Cyclic Causal Models by Independent Components Analysis.

[BibT_eX]

[DOI]

Proceedings of the UAI 2008, 2008

Causal discovery of linear acyclic models with arbitrary distributions.

[BibT_eX]

[DOI]

Proceedings of the UAI 2008, 2008

Why Tutored Problem Solving May be Better Than Example Study: Theoretical Implications from a Simulated-Student Study.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Tutoring Systems, 9th International Conference, 2008

2007

Evaluating a Simulated Student Using Real Students Data for Training and Testing.

[BibT_eX]

[DOI]

Proceedings of the User Modeling 2007, 11th International Conference, 2007

Predicting Students' Performance with SimStudent: Learning Cognitive Skills from Observation.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Education, 2007

Gustavo Lacerda

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...