sign in · help · news · about ·

BibSonomy :: author :: Blanchette ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(87)

<< < 1 | 2 | 3 > >>

Monotonicity Inference for Higher-Order Formulas.
Jasmin Christian Blanchette, and Alexander Krauss J. Autom. Reasoning 47(4):369-398 (2011)
to dblp by dblp on Dec 2, 2011, 12:00 AM
URL | BibTeX
Substring Parsimony.
Mathieu Blanchette Encyclopedia of Algorithms, Springer, (2008)
to dblp by dblp on Nov 25, 2011, 12:00 AM
URL | BibTeX
The digital signature dilemma.
Jean-François Blanchette Annales des Télécommunications 61(7-8):908-923 (2006)
to dblp by dblp on Nov 3, 2011, 12:00 AM
URL | BibTeX
A probabilistic approach for SNP discovery in high-throughput human resequencing data
Rose Hoberman, Joana Dias, Bing Ge, Eef Harmsen, Michael Mayhew, Dominique J. Verlaan, Tony Kwan, Ken Dewar, Mathieu Blanchette, and Tomi Pastinen Genome Research (2009)
to imported by lran022 on Nov 2, 2011, 3:50 AM
BibTeX
Three-dimensional modeling of chromatin structure from interaction frequency data using Markov chain Monte Carlo sampling.
Mathieu Rousseau, James Fraser, Maria A. Ferraiuolo, Josee Dostie, and Mathieu Blanchette BMC Bioinformatics (2011)
to dblp by dblp on Nov 2, 2011, 12:00 AM
URL | BibTeX
Nitpicking c++ concurrency.
Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, and Susmit Sarkar PPDP, page 113-124. ACM, (2011)
to dblp by dblp on Oct 18, 2011, 12:00 AM
URL | BibTeX
Automatic Proof and Disproof in Isabelle/HOL.
Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow FroCos, volume 6989 of Lecture Notes in Computer Science, page 12-27. Springer, (2011)
to dblp by dblp on Oct 14, 2011, 12:00 AM
URL | BibTeX
Extending Sledgehammer with SMT Solvers.
Jasmin Christian Blanchette, Sascha Böhme, and Lawrence C. Paulson CADE, volume 6803 of Lecture Notes in Computer Science, page 116-130. Springer, (2011)
to dblp by dblp on Aug 16, 2011, 12:00 AM
URL | BibTeX
Data Retention and the Panoptic Society: The Social Benefits of Forgetfulness.
Jean-François Blanchette, and Deborah G. Johnson Inf. Soc. 18(1):33-45 (2002)
to dblp by dblp on Aug 15, 2011, 12:00 AM
URL | BibTeX
Reconstructing Ancestral Gene Orders Using Conserved Intervals.
Anne Bergeron, Mathieu Blanchette, Annie Chateau, and Cedric Chauve WABI, volume 3240 of Lecture Notes in Computer Science, page 14-25. Springer, (2004)
to dblp by dblp and 1 other user on Aug 10, 2011, 12:00 AM
URL | BibTeX
Real-time monitoring of gadolinium diethylenetriamine penta-acetic acid during osmotic blood-brain barrier disruption using magnetic resonance imaging in normal wistar rats.
Marie Blanchette, Martin Pellerin, Luc Tremblay, Martin Lepage, and David Fortin Neurosurgery 65(2):344--50; discussion 350-1 (August 2009)
to bloodsupply/physiopathology;CapillaryPermeability Wistar;TimeFactors drugeffects/physiology;ContrastMedia methods;Monitoring pharmacokinetics/therapeuticuse;Glioma drugeffects/pathology/physiopathology;BrainNeoplasms Physiologic drugeffects/pathology/physiopathology;CerebrovascularCirculation Animals;Blood-BrainBarrier drugeffects/physiology;CerebralArteries drugtherapy;MagneticResonanceImaging drugeffects/physiology;PredictiveValueofTests;Rats;Rats methods;OsmoticPressure drugtherapy;Brain pharmacokinetics/therapeuticuse;GadoliniumDTPA by crc_chus on Aug 1, 2011, 6:02 PM
URL | DOI | BibTeX
FootPrinter: a program designed for phylogenetic footprinting.
Mathieu Blanchette, and Martin Tompa Nucleic Acids Research 31(13):3840-3842 (2003)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Evolutionary Puzzles: An Introduction to Genome Rearrangement.
Mathieu Blanchette International Conference on Computational Science 2, volume 2074 of Lecture Notes in Computer Science, page 1003-1011. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Predicting site-specific human selective pressure using evolutionary signatures.
Javad Sadri, Abdoulaye Baniré Diallo, and Mathieu Blanchette Bioinformatics ISMB/ECCB 27(13):266-274 (2011)
to dblp by dblp on Jun 23, 2011, 12:00 AM
URL | BibTeX
A material history of bits.
Jean-François Blanchette JASIST 62(6):1042-1057 (2011)
to dblp by dblp on Jun 7, 2011, 12:00 AM
URL | BibTeX
Potential Benefits and Problems With Computerized Prescriber Order Entry
C. Zhan, R. Hicks, C. Blanchette, M. Keyes, and D. Cousins American Journal of Health-System Pharmacy 63(4):353-358 (2006)
to imported by wyswilson and 1 other user on Apr 14, 2011, 7:06 AM
URL | BibTeX
A Probabilistic Model for Sequence Alignment with Context-Sensitive Indels.
Glenn Hickey, and Mathieu Blanchette RECOMB, volume 6577 of Lecture Notes in Computer Science, page 85-103. Springer, (2011)
to dblp by dblp on Mar 30, 2011, 12:00 AM
URL | BibTeX
A whole genome study and identification of specific carcinogenic regions of the human papilloma viruses
A.B. Diallo, D. Badescu, M. Blanchette, and V. Makarenkov Journal of Computational Biology 16(10):1461--1473 (2009)
to imported by dunarel on Mar 28, 2011, 7:20 PM
BibTeX
An Approximation Algorithm for the Noah's Ark Problem with Random Feature Loss.
Glenn Hickey, Mathieu Blanchette, Paz Carmi, Anil Maheshwari, and Norbert Zeh IEEE/ACM Trans. Comput. Biology Bioinform. 8(2):551-556 (2011)
to dblp by dblp on Mar 22, 2011, 12:00 AM
URL | BibTeX
Energy Considerations for Multiphase Fluids with Variable Density and Surface Tension.
François Blanchette, and Yue Lei SIAM Review 51(2):423-431 (2009)
to dblp by dblp on Mar 22, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100