نتایج جستجو برای: tromp curve
تعداد نتایج: 128374 فیلتر نتایج به سال:
Dynamic programming [1] has full sensitivity, but too slow for large scale homology search. FASTA / BLAST type of heuristics [2] trade sensitivity for speed. Can we have both sensitivity and speed? We present the mathematical theory of optimized spaced seeds which allows modern homology search to achieve high sensitivity and high speed simultaneously. The spaced seed methodology is implemented ...
We survey recent work in the seeding of alignments, particularly the follow-ups from the 2002 work of Ma, Tromp and Li that brought the concept of spaced seeds into the bioinformatics literature [25]. Our focus is on the extensions of this work to increasingly complicated models of alignments, coming up to the most recent efforts in this area.
John H Lillvis ([email protected]) Yoshiki Kyo ([email protected]) Gerard Tromp ([email protected]) Guy M Lenk ([email protected]) Ming Li ([email protected]) Qing Lu ([email protected]) Robert P Igo Jr ([email protected]) Natzi Sakalihasan ([email protected]) Robert E Ferrell ([email protected]) Charles M Schworer ([email protected]) Zoran Gatalica ([email protected]) ...
In a paper entitled Binary lambda calculus and combinatory logic, John Tromp presents a simple way of encoding lambda calculus terms as binary sequences. In what follows, we study the numbers of binary strings of a given size that represent lambda terms and derive results from their generating functions, especially that the number of terms of size n grows roughly like 1.963447954n.
Osmanlı mimarisi literatüründe camiler sıklıkla üst örtü kurgusuna göre sınıflandırılmaktadır. Özellikle Mimar Sinan dönemi gibi başından sonuna takip edilebilen dönemlerde bu sınıflandırmalar ana kubbenin taşıyıcı ayak sayısı, kubbe desteklerinin yönleri ve kubbeye geçiş elemanlarına çeşitlendirilmektedir. Erken mimarisinde tercih edilmiş bir elemanı olan trompun, literatür genelinde sözlü tas...
John Tromp introduced the so-called ’binary lambda calculus’ as a way to encode lambda terms in terms of binary words. Later, Grygiel and Lescanne conjectured that the number of binary lambda terms with m free indices and of size n (encoded as binary words of length n) is o ( n−3/2τ−n ) for τ ≈ 1.963448 . . .. We generalize the proposed notion of size and show that for several classes of lambda...
In a paper entitled Binary lambda calculus and combinatory logic, John Tromp presents a simple way of encoding lambda calculus terms as binary sequences. In what follows, we study the numbers of binary strings of a given size that represent lambda terms and derive results from their generating functions, especially that the number of terms of size n grows roughly like 1.963447954 . . .. In a se...
The reaction rate theory of Miller, Schwartz and Tromp is reformulated using a complex Bloch boundary value operator to enforce the scattering boundary conditions. This Bloch operator requires a knowledge of the log derivative of the outgoing wave function on the boundary of the interaction region, and this in turn can be approximated semiclassically from a knowledge of the interaction potentia...
Cite this article as: Ned H Kalin, Andrew S Fox, Rothem Kovner, Marissa K Riedel, Eva M Fekete, Patrick H Roseboom, Do P M Tromp, Benjamin P Grabow, Miles E Olsen, Ethan K Brodsky, Daniel R. McFarlin, Andrew L Alexander, Marina E Emborg, Walter F Block, Julie L Fudge, Jonathan A Oler, Overexpressing corticotropin-releasing hormone (CRH) in the primate amygdala increases anxious temperament and ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید