Results | IDEALS

↑ ↓

Showing 1–30 of 32 items

Sketching: A Cognitively inspired Compositional Theorem Prover that Learns to Prove

Brando Miranda

Uniform Stability and Generalization in Learning Theory - a tutorial with Tikhonov Regularization

Brando Miranda

Establishing the foundations of Meta-learning - a Proposal

Brando Miranda

An empirical study of the properties of meta-learning - presentation

Brando Miranda

DiMO: Differentiable Model Optimization

Brando Miranda

DiMO: Differentiable Model Optimization and metaDiMO

Brando Miranda

Evaluating sublinear estimators for big data

Brando Miranda

Sketching: a Cognitively inspired Compositional Theorem Prover that Learns to Prove - a Proposal

Brando Miranda

An Empirical Study of Meta-Learning: a step towards rigorously understanding meta-learning algorithms

Brando Miranda

Nvidia fellowship proposal - Sketching: a Cognitively inspired Compositional Theorem Prover that Learns

Brando Miranda

Ultimate Utils - the Ultimate Utils library for Machine Learning and Artificial Intelligence

Brando Miranda

Reducing Training Time with More Data - a Review

Brando Miranda, Michael Wu and He Sun

DiMO: Differentiable Model Optimization and metaDiMO - Code

Brando Miranda

Ultimate Anatome, the ultimate PyTorch library to analyze internal representation of neural networks

Brando Miranda

Predicting Performance and Generalization in Deep Networks

Brando Miranda

Automated theorem proving agent with memory

Zhang, Heling

The Filmgoing Imagination: Filmmaking and Filmgoing as the Subjects of Modern American Literature

Seidman, Barbara Ann

Anti-inflammatory and anti-colon cancer potential of yerba mate (Ilex paraguariensis St. Hilaire) bioactive constituents

Puangpraphant, Sirima

A non-convex framework for structured non-stationary covariance recovery theory and application

Tsai, Katherine

Blowing Warhol's cool: Decoding the sixties work

Schuweiler-Daab, Suzanne

Vigilantes, incorporated: an ideological economy of the superhero blockbuster

Claverie, Stephen Ezra

"""Painting with faces"": The casting director in American theatre, cinema, and television"

Jaher, Diana

Native Americans in Picture Books Recommended for Early Childhood Classrooms, 1945--1999

Reese, Debbie Ann

Milton Nascimento and the Clube da Esquina: popular music, politics, and fraternity during Brazil’s military dictatorship (1964-85)

Holmes, Holly L

Machado De Assis: Preto De Alma Branca? Questoes Etnico-Raciais No Conto Machadiano

Vital, Selma

Motorcars and magic highways: the automobile and communication in twentieth-century American literature and film

Vredenburg, Jason

Jose Lins Do Rego: 'Ciclo Da Cana De Acucar E Fogo Morto.'

Breidenbach, Flora Maria Losacco

Toward communication-efficient and secure distributed machine learning

Xie, Cong

Judicial rhetoric and radical politics: sexuality, race, and the fourteenth amendment

Campbell, Peter

"Character Types In Sir Philip Sidney's ""new Arcadia"" And In Italian Romance Epic"

Jeny, Neda

Academic Unit

Collection

Author(s)

Keyword(s)

Type of Resource

Sketching: A Cognitively inspired Compositional Theorem Prover that Learns to Prove

Uniform Stability and Generalization in Learning Theory - a tutorial with Tikhonov Regularization

Establishing the foundations of Meta-learning - a Proposal

An empirical study of the properties of meta-learning - presentation

DiMO: Differentiable Model Optimization

DiMO: Differentiable Model Optimization and metaDiMO

Evaluating sublinear estimators for big data

Sketching: a Cognitively inspired Compositional Theorem Prover that Learns to Prove - a Proposal

An Empirical Study of Meta-Learning: a step towards rigorously understanding meta-learning algorithms

Nvidia fellowship proposal - Sketching: a Cognitively inspired Compositional Theorem Prover that Learns

Ultimate Utils - the Ultimate Utils library for Machine Learning and Artificial Intelligence

Reducing Training Time with More Data - a Review

DiMO: Differentiable Model Optimization and metaDiMO - Code

Ultimate Anatome, the ultimate PyTorch library to analyze internal representation of neural networks

Predicting Performance and Generalization in Deep Networks

Automated theorem proving agent with memory

The Filmgoing Imagination: Filmmaking and Filmgoing as the Subjects of Modern American Literature

Anti-inflammatory and anti-colon cancer potential of yerba mate (Ilex paraguariensis St. Hilaire) bioactive constituents

A non-convex framework for structured non-stationary covariance recovery theory and application

Blowing Warhol's cool: Decoding the sixties work

Vigilantes, incorporated: an ideological economy of the superhero blockbuster

"""Painting with faces"": The casting director in American theatre, cinema, and television"

Native Americans in Picture Books Recommended for Early Childhood Classrooms, 1945--1999

Milton Nascimento and the Clube da Esquina: popular music, politics, and fraternity during Brazil’s military dictatorship (1964-85)

Machado De Assis: Preto De Alma Branca? Questoes Etnico-Raciais No Conto Machadiano

Motorcars and magic highways: the automobile and communication in twentieth-century American literature and film

Jose Lins Do Rego: 'Ciclo Da Cana De Acucar E Fogo Morto.'

Toward communication-efficient and secure distributed machine learning

Judicial rhetoric and radical politics: sexuality, race, and the fourteenth amendment

"Character Types In Sir Philip Sidney's ""new Arcadia"" And In Italian Romance Epic"

Academic Unit

Collection

Author(s)

Keyword(s)

Type of Resource

Log In