专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US08825572B2 Program synthesis with existentially and universally quantified belief propagation using probabilistic inference 有权
标题翻译：使用概率推理的存在和普遍量化的信念传播的程序综合
公开(公告)号：US08825572B2
公开(公告)日：2014-09-02
申请号：US13018643
申请日：2011-02-01
申请人： Aditya Nori , Sriram Rajamani , Rahul Srinivasan , Sumit Gulwani
发明人： Aditya Nori , Sriram Rajamani , Rahul Srinivasan , Sumit Gulwani
IPC分类号： G06F19/28 , G06N7/00
CPC分类号： G06N7/005
摘要： A quantified belief propagation (QBP) algorithm receives as input an existentially quantified boolean formula (QBF) of existentially quantified boolean variables, universally quantified variables, and boolean operators. A tripartite graph is constructed, and includes (i) there-exists nodes that correspond to and represent the existentially quantified variables, (ii) for-all nodes that correspond to and represent the universally quantified variables, and (iii) sub-formula nodes that correspond to and represent sub-formulas of the QBF. A set of boolean values of the existentially quantified variables is found by (i) passing a first message from an arbitrary sub-formula node to an arbitrary for-all node, and (ii) in response, passing a second message from the arbitrary for-all node to the arbitrary sub-formula node.
摘要翻译：量化信念传播（QBP）算法接收存在量化的布尔变量，通用量化变量和布尔运算符的存在量化布尔公式（QBF）作为输入。构建三方图，并且包括（i）存在对应于并表示存在量化变量的节点，（ii）对应于并表示通用量化变量的所有节点，以及（iii）子公式节点它们对应于并表示QBF的子公式。通过（i）将第一个消息从任意子公式节点传递到任意的全部所有节点，找到存在量化变量的一组布尔值，并且（ii）作为响应，将任意的第二个消息从任意的 - 所有节点到任意子公式节点。

2. 发明申请

US20120197829A1 QUANTIFIED BELIEF PROPAGATION 有权
标题翻译：量化推荐
公开(公告)号：US20120197829A1
公开(公告)日：2012-08-02
申请号：US13018643
申请日：2011-02-01
申请人： Aditya V. Nori , Sriram K. Rajamani , Rahul Srinivasan , Sumit Gulwani
发明人： Aditya V. Nori , Sriram K. Rajamani , Rahul Srinivasan , Sumit Gulwani
IPC分类号： G06F15/18
CPC分类号： G06N7/005
摘要： A quantified belief propagation (QBP) algorithm receives as input an existentially quantified boolean formula (QBF) of existentially quantified boolean variables, universally quantified variables, and boolean operators. A tripartite graph is constructed, and includes (i) there-exists nodes that correspond to and represent the existentially quantified variables, (ii) for-all nodes that correspond to and represent the universally quantified variables, and (iii) sub-formula nodes that correspond to and represent sub-formulas of the QBF. A set of boolean values of the existentially quantified variables is found by (i) passing a first message from an arbitrary sub-formula node to an arbitrary for-all node, and (ii) in response, passing a second message from the arbitrary for-all node to the arbitrary sub-formula node.
摘要翻译：量化信念传播（QBP）算法接收存在量化的布尔变量，通用量化变量和布尔运算符的存在量化布尔公式（QBF）作为输入。构建三方图，并且包括（i）存在对应于并表示存在量化变量的节点，（ii）对应于并表示通用量化变量的所有节点，以及（iii）子公式节点它们对应于并表示QBF的子公式。通过（i）将第一个消息从任意子公式节点传递到任意的全部所有节点，找到存在量化变量的一组布尔值，并且（ii）作为响应，将任意的第二个消息从任意的 - 所有节点到任意子公式节点。

3. 发明申请

US20130197023A1 NEUROPROTECTION BY PHARMACOLOGICAL CHAPERONING OF NICOTINIC ACETYLCHOLINE RECEPTORS 审中-公开
标题翻译： NICOTINIC乙酰胆碱受体药理学分析的神经保护
公开(公告)号：US20130197023A1
公开(公告)日：2013-08-01
申请号：US13752228
申请日：2013-01-28
申请人： Henry A. Lester , Rahul Srinivasan , Christopher I. Richards , Brandon J. Henderson
发明人： Henry A. Lester , Rahul Srinivasan , Christopher I. Richards , Brandon J. Henderson
IPC分类号： A61K31/465 , A61K31/4745 , A61K31/439
CPC分类号： A61K31/465 , A61K31/4375 , A61K31/439 , A61K31/4427 , A61K31/4439 , A61K31/445 , A61K31/4745 , A61K31/498 , A61K31/55
摘要： A method of ameliorating an endoplasmic reticulum (ER) stress response and/or unfolded protein response (UPR) in cells expressing nicotinic acetylcholine receptors (nAChRs) comprises contacting a cell expressing nAChRs with an effective amount of a ligand for nAChRs. The contacting results in attenuating endogenously expressed ATF6 translocation, expression of XBP1, phosphorylation of eukaryotic initiation factor 2α (peIF2α), increased numbers of ER exit sites, increased trafficking of known associated proteins as well as other proteins such as growth factors and their receptors, changes in abundance of selected mRNA species, and phosphorylation, abundance, or subcellular compartmentalization of other proteins involved with ER stress and/or the UPR, and inhibiting upregulation of CCAAT/Enhancer-Binding Protein Homologous Protein (CHOP) levels in the cells. The method can be used to screen for neuropharmacotherapeutic agents and to treat or prevent neurodegenerative disease, such as amyotrophic lateral sclerosis (ALS), Parkinson's disease, Alzheimer's disease, or cognitive deficiency.
摘要翻译：在表达烟碱乙酰胆碱受体（nAChR）的细胞中，改善内质网（ER）应激反应和/或解折叠蛋白反应（UPR）的方法包括使表达nAChR的细胞与有效量的nAChR配体接触。接触导致减少内源性表达的ATF6易位，XBP1的表达，真核起始因子2α（peIF2alpha）的磷酸化，ER出口位点的增加，已知相关蛋白以及其他蛋白质如生长因子及其受体的增加的运输，选择的mRNA种类的丰度变化，以及涉及ER应激和/或UPR的其他蛋白质的磷酸化，丰度或亚细胞区室化，并抑制细胞中CCAAT / Enhancer-Binding Protein Homologous Protein（CHOP）水平的上调。该方法可用于筛选神经药物治疗剂并治疗或预防神经变性疾病，例如肌萎缩性侧索硬化（ALS），帕金森病，阿尔茨海默病或认知缺陷。

4. 发明申请

US20060275812A1 Assay for agonists and antagonists of ion channels and for regulators of genetic expression 审中-公开
标题翻译：测定离子通道的激动剂和拮抗剂以及遗传表达的调节剂
公开(公告)号：US20060275812A1
公开(公告)日：2006-12-07
申请号：US11445835
申请日：2006-06-01
申请人： Darren Wolfe , Joseph Glorioso , Rahul Srinivasan
发明人： Darren Wolfe , Joseph Glorioso , Rahul Srinivasan
IPC分类号： C40B30/06 , C40B40/08
CPC分类号： G01N33/6872 , G01N2500/10
摘要： The invention provides an assay for agonists and antagonists of ion channels and for regulators of genetic expression.
摘要翻译：本发明提供了离子通道的激动剂和拮抗剂以及遗传表达调节剂的测定。

5. 发明授权

US08642352B2 Methods and systems for detection of stoichiometry by Förster resonance energy transfer 有权
标题翻译：通过Förster共振能量转移检测化学计量的方法和系统
公开(公告)号：US08642352B2
公开(公告)日：2014-02-04
申请号：US12701482
申请日：2010-02-05
申请人： Fraser J. Moss , Cagdas D. Son , Rahul Srinivasan , Henry A. Lester
发明人： Fraser J. Moss , Cagdas D. Son , Rahul Srinivasan , Henry A. Lester
IPC分类号： G01N21/64
CPC分类号： G01N21/6486 , G01N33/6845 , G01N2500/00
摘要： Methods to detect stoichiometries of protein complexes and/or interactions between proteins based on detection and quantification of FRET and related systems and compositions.
摘要翻译：基于FRET和相关系统和组合物的检测和定量来检测蛋白质复合物的化学计量和/或蛋白质之间相互作用的方法。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式