BRACHYDACTYLY, TYPE D

Known as: STUB THUMB, Type D brachydactyly, Brachydactyly type D 
This type of brachydactyly is characterized by short and broad terminal phalanges of the thumbs and big toes. [HPO:probinson]
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
This study for the first time investigated resting state corticolimbic connectivity abnormalities in unmedicated bipolar disorder… (More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
FETI and BDD are two widely used substructuring methods for the solution of large sparse systems of linear algebraic equations… (More)
  • table 1
  • figure 1
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Binary Decision Diagrams (BDDs) have dominated the area of symbolic model checking for the past decade. Recently, the use of… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
In this paper, a new algorithm based on Binary Decision Diagram (BDD) for reliability graph analysis is proposed. The reliability… (More)
  • figure 3
  • figure 6
Is this relevant?
Highly Cited
2000
Highly Cited
2000
In this report we present an implementation of a symbolic reachability analyze r, FIXIT, based on SAT-methods. The problem of… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
The authors developed the Yale Brown Obsessive Compulsive Scale Modified for Body Dysmorphic Disorder (BDD-YBOCS), a 12-item… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Gender differences in body dysmorphic disorder (BDD) have received little investigation. This study assessed gender differences… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
This study compared the weight losses of 49 obese women randomly assigned to a 52-week behavioral program combined with either… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
This paper presents a novel analysis approach for bounded Petri nets. The net behavior is modeled by boolean functions, thus… (More)
Is this relevant?