Marco H. Benedetti

MaRDI QIDQ2080735zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Training neural networks with structured noise improves classification and generalization Journal of Physics A: Mathematical and Theoretical	2024-10-25	Paper
Eigenvector dreaming Journal of Statistical Mechanics: Theory and Experiment	2024-10-16	Paper
Identifying regions of inhomogeneities in spatial processes via an M‐RA and mixture priors Biometrics	2023-10-30	Paper
Accounting for survey design in Bayesian disaggregation of survey-based areal estimates of proportions: an application to the American Community Survey The Annals of Applied Statistics	2022-10-10	Paper
Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test IEEE Transactions on Computers	2017-07-27	Paper
scientific article; zbMATH DE number 5542982 (Why is no real title available?)	2009-04-14	Paper
Reusing CSP Propagators for QCSPs Lecture Notes in Computer Science	2009-03-05	Paper
Automated Deduction – CADE-20 Lecture Notes in Computer Science	2006-11-01	Paper
Mechanizing Mathematical Reasoning Lecture Notes in Computer Science	2006-01-10	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2005-12-16	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2005-12-15	Paper
Logic for Programming, Artificial Intelligence, and Reasoning Lecture Notes in Computer Science	2005-11-10	Paper
scientific article; zbMATH DE number 1956570 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1769207 (Why is no real title available?)	2002-07-22	Paper

Research outcomes over time

This page was built for person: Marco H. Benedetti