Search results for "Rsat"

Found 11 publication records. Showing 11 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
37	Walter Santana-Garcia, Jaime Abraham Castro-Mondragón, Mónica Padilla-Gálvez, Nga Thi Thuy Nguyen, Ana Elizondo-Salas, Najla Ksouri, François Gerbes, Denis Thieffry, Pierre Vincens, Bruno Contreras-Moreira, Jacques van Helden, Morgane Thomas-Chollier, Alejandra Medina-Rivera	RSAT 2022: regulatory sequence analysis tools.	Nucleic Acids Res.	2022	DBLP DOI BibTeX RDF
37	Nga Thi Thuy Nguyen, Bruno Contreras-Moreira, Jaime Abraham Castro-Mondragón, Walter Santana-Garcia, Raul Ossio, Carla Daniela Robles-Espinoza, Mathieu Bahin, Samuel Collombet, Pierre Vincens, Denis Thieffry, Jacques van Helden, Alejandra Medina-Rivera, Morgane Thomas-Chollier	RSAT 2018: regulatory sequence analysis tools 20th anniversary.	Nucleic Acids Res.	2018	DBLP DOI BibTeX RDF
37	Alejandra Medina-Rivera, Matthieu Defrance, Olivier Sand, Carl Herrmann, Jaime Abraham Castro-Mondragón, Jeremy Delerce, Sébastien Jaeger, Christophe Blanchet, Pierre Vincens, Christophe Caron, Daniel M. Staines, Bruno Contreras-Moreira, Marie Artufel, Lucie Charbonnier-Khamvongsa, Céline Hernandez, Denis Thieffry, Morgane Thomas-Chollier, Jacques van Helden	RSAT 2015: Regulatory Sequence Analysis Tools.	Nucleic Acids Res.	2015	DBLP DOI BibTeX RDF
37	Morgane Thomas-Chollier, Matthieu Defrance, Alejandra Medina-Rivera, Olivier Sand, Carl Herrmann, Denis Thieffry, Jacques van Helden	RSAT 2011: regulatory sequence analysis tools.	Nucleic Acids Res.	2011	DBLP DOI BibTeX RDF
37	Morgane Thomas-Chollier, Olivier Sand, Jean-Valéry Turatsinze, Rekin's Janky, Matthieu Defrance, Eric Vervisch, Sylvain Brohée, Jacques van Helden	RSAT: regulatory sequence analysis tools.	Nucleic Acids Res.	2008	DBLP DOI BibTeX RDF
36	Tobias Eibach, Enrico Pilz, Gunnar Völkel	Attacking Bivium Using SAT Solvers.	SAT	2008	DBLP DOI BibTeX RDF	Rsat, Bivium, Gröbner Base, Cryptography, Application, Stream Cipher, BDD, SAT Solver, eSTREAM, Trivium
25	Jingchao Chen	Building a Hybrid SAT Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques.	SAT	2009	DBLP DOI BibTeX RDF	Conflict-driven, XOR reasoning, Hybrid solving technique, search pruning technique, Look-ahead, Boolean satisfiability (SAT)
25	Richard Ostrowski, Lionel Paris	From XSAT to SAT by Exhibiting Equivalencies.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
25	Bin Kuang, Nini Rao	A Two - Block Motif Discovery Method with Improved Accuracy.	ICIC (1)	2007	DBLP DOI BibTeX RDF	Motif Base, Accuracy, Gibbs Sampling, Motif Discovery, Pwm
25	Jayashree Sridharan, Tom Chen 0001	Modeling multiple input switching of CMOS gates in DSM technology using HDMR.	DATE	2006	DBLP DOI BibTeX RDF
25	Jayashree Sridharan, Tom Chen 0001	Gate Delay Modeling with Multiple Input Switching for Static (Statistical) Timing Analysis.	VLSI Design	2006	DBLP DOI BibTeX RDF