Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

CAPSL gene

Known as: CAPSL, MGC26610, calcyphosine like 
 
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Advanced many-core CPU chips already have few hundreds of processing cores (e.g. 160 cores in an IBM Cyclops-64 chip) and as… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
In recent years the pace of discovery of genetic associations with type I diabetes (T1D) has accelerated, with the total number… Expand
  • table 1
  • table 2
  • figure 1
  • table 3
  • table 4
Is this relevant?
2009
2009
We present a technique for automatically verifying cryptographic protocols specified in the mainstream specification language… Expand
  • table 1
Is this relevant?
2008
2008
Aims/hypothesisIn the past few years, several genes outside the MHC region have been described as new susceptibility genetic… Expand
  • table 1
  • table 2
  • table 3
Is this relevant?
2005
2005
Thanks I would like to take the time to thank Professor Gao and Professor Clauss, both of them made this trip possible. I learnt… Expand
  • figure 2.1
  • table 2.1
  • figure 2.3
  • figure 2.2
  • table 2.2
Is this relevant?
2004
2004
Formal methods such as model checking can be applied to gain design assurance in the security of cryptographic group management… Expand
Is this relevant?
2002
2002
Secure communication generally begins with a connection establishment phase in which messages are exchanged by client and server… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2001
1999
1999
The Common Authentication Protocol Speci cation Language (CAPSL) is a high-level language for applying formal methods to the… Expand
Is this relevant?
1997
1997
In the last year or so, research in the formal analysis of cryptographic protocols has matured to the point where researchers are… Expand
Is this relevant?