Search results for "Alessandra Carbone"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Juliana S. Bernardes, Alessandra Carbone, Gerson Zaverucha	A discriminative method for family-based protein remote homology detection that combines inductive logic programming and propositional models.	BMC Bioinformatics	2011	DBLP DOI BibTeX RDF
1	Alessandra Carbone, Lynda Dib	Co-evolution and information signals in biological sequences.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Alessandra Carbone	A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
1	Anthony Mathelier, Alessandra Carbone	MIReNA: finding microRNAs with high accuracy and no learning at genome scale and from deep sequencing data.	Bioinformatics	2010	DBLP DOI BibTeX RDF
1	Julie Baussand, Alessandra Carbone	A Combinatorial Approach to Detect Coevolved Amino Acid Networks in Protein Families of Variable Divergence.	PLoS Computational Biology	2009	DBLP DOI BibTeX RDF
1	Stefan Engelen, Ladislas A. Trojan, Sophie Sacquin-Mora, Richard Lavery, Alessandra Carbone	Joint Evolutionary Trees: A Large-Scale Method To Predict Protein Interfaces Based on Sequence Sampling.	PLoS Computational Biology	2009	DBLP DOI BibTeX RDF
1	Alessandra Carbone	Logical structures and genus of proofs.	Ann. Pure Appl. Logic	2009	DBLP DOI BibTeX RDF
1	Alessandra Carbone, Lynda Dib	Co-evolution and Information Signals in Biological Sequences.	TAMC	2009	DBLP DOI BibTeX RDF
1	Julie Baussand, Alessandra Carbone	Chronique : Métagénomique bactérienne et virale.	Technique et Science Informatiques	2007	DBLP BibTeX RDF
1	Alessandra Carbone	Group Cancellation and Resolution.	Studia Logica	2006	DBLP DOI BibTeX RDF	theory of small cancellation, groups, Resolution
1	Alessandra Carbone, Niles A. Pierce (eds.)	DNA Computing, 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers.	DNA	2006	DBLP BibTeX RDF
1	Alessandra Carbone, Chengde Mao, Pamela E. Constantinou, Baoquan Ding, Jens Kopatsch, William B. Sherman, Nadrian C. Seeman	3D Fractal DNA Assembly from Coding, Geometry and Protection.	Natural Computing	2004	DBLP DOI BibTeX RDF	coding of times, DNA 3D assembly, DNA protection, geometry of tiles, Sierpinski cube, tiling, DNA nanotechnology, DNA molecules
1	Alessandra Carbone, Nadrian C. Seeman	Molecular Tiling and DNA Self-assembly.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
1	Alessandra Carbone, Nadrian C. Seeman	Coding and geometrical shapes in nanostructures: A fractal DNA-assembly.	Natural Computing	2003	DBLP DOI BibTeX RDF	coding of tiles, DNA assembly, geometry of tiles, Sierpinski fractals, tiling, DNA nanotechnology, DNA molecules
1	Alessandra Carbone, Misha Gromov	Functional labels and syntactic entropy on DNA strings and proteins.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Alessandra Carbone, Andrey Zinovyev, François Képès	Codon adaptation index as a measure of dominating codon bias.	Bioinformatics	2003	DBLP DOI BibTeX RDF
1	Alessandra Carbone	Streams and strings in formal proofs.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Alessandra Carbone	The Cost of A Cycle Is A Square.	J. Symb. Log.	2002	DBLP BibTeX RDF
1	Alessandra Carbone	Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs.	Studia Logica	2000	DBLP DOI BibTeX RDF
1	Alessandra Carbone	Turning Cycles into Spirals.	Ann. Pure Appl. Logic	1999	DBLP DOI BibTeX RDF
1	Alessandra Carbone	Duplication of Directed Graphs and Exponential Blow Up of Proofs.	Ann. Pure Appl. Logic	1999	DBLP DOI BibTeX RDF
1	Alessandra Carbone	Interpolants, Cut Elimination and Flow Graphs for the Propositional Calculus.	Ann. Pure Appl. Logic	1997	DBLP DOI BibTeX RDF
1	Alessandra Carbone	Provable Fixed Points in I Delta0 + Omega1.	Notre Dame Journal of Formal Logic	1991	DBLP BibTeX RDF

Publications of "Alessandra Carbone" ( http://dblp.L3S.de/Authors/Alessandra_Carbone )