Alessandra Carbone

From MaRDI portal
Person:702484

Available identifiers

zbMath Open carbone.alessandraDBLPc/ACarboneWikidataQ27559542 ScholiaQ27559542MaRDI QIDQ702484

List of research outcomes





PublicationDate of PublicationType
ESCOTT results on ProteinGym DMS Substitutions dataset2024-10-17Dataset
iGEMME Missense Mutational Effect Predictions for Entire Human Proteome2024-02-16Dataset
ESCOTT Missense Mutational Effect Predictions for Entire Human Proteome2024-02-16Dataset
ESCOTT mutational effect predictions for ProteinGym Substitutions Dataset with Colabfold MSAs2024-02-06Dataset
PRESCOTT/ESCOTT/iGEMME mutational effect predictions of all single point mutations for ~3000 proteins2024-01-05Dataset
PRESCOTT/ESCOTT/iGEMME mutational effect predictions of all single point mutations for about 3000 proteins2023-07-05Dataset
ESCOTT mutational effect predictions for ProteinGym Substitutions Dataset2023-07-05Dataset
Extracting Coevolving Characters from a Tree of Species2014-06-23Paper
Combinatorics of chromosomal rearrangements based on synteny blocks and synteny packs2013-08-27Paper
Co-evolution and information signals in biological sequences2011-05-18Paper
A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs2010-04-22Paper
Logical structures and genus of proofs2009-11-04Paper
Co-evolution and Information Signals in Biological Sequences2009-06-03Paper
Aspects of Molecular Computing2009-05-14Paper
Group cancellation and resolution2006-03-17Paper
3D fractal DNA assembly from coding, geometry and protection2005-01-17Paper
Coding and geometrical shapes in nanostructures: a fractal DNA-assembly2004-03-15Paper
Functional labels and syntactic entropy on DNA strings and proteins.2003-08-17Paper
A route to fractal DNA-assembly2003-05-04Paper
Looking from the inside and from the outside2001-07-18Paper
Mathematical slices of molecular biology2001-05-28Paper
Quantified propositional logic and the number of lines of tree-like proofs2001-03-07Paper
https://portal.mardi4nfdi.de/entity/Q44968512000-08-20Paper
Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination1997-05-27Paper
Provable fixed points in \(I \Delta{}_ 0+\Omega{}_ 1\)1992-06-28Paper
Much shorter proofs: A bimodal investigation1990-01-01Paper
Rosser Orderings in Bimodal Logics1989-01-01Paper
Some Combinatorics behind ProofsN/APaper

Research outcomes over time

This page was built for person: Alessandra Carbone