利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

198 条记录 (耗时 0.036 秒)

    Methods for treating or preventing alzheimer's disease using substituted 1-aryl-3-piperazin-1′-yl propanones
    31.
    发明授权
    Methods for treating or preventing alzheimer's disease using substituted 1-aryl-3-piperazin-1′-yl propanones 失效
    使用取代的1-芳基-3-哌嗪-1-基丙酮治疗或预防阿尔茨海默病的方法

    公开(公告)号：US06306857B1

    公开(公告)日：2001-10-23

    申请号：US09371667

    申请日：1999-08-10

    申请人： John Francis DeBernardis ,  Daniel Joseph Kerkman ,  Raymond Paul Zinkowski

    发明人： John Francis DeBernardis ,  Daniel Joseph Kerkman ,  Raymond Paul Zinkowski

    IPC分类号： A61K3150

    CPC分类号： A61K31/5377 ,  A61K31/445 ,  A61K31/4535 ,  A61K31/495 ,  A61K31/496

    摘要： Disclosed are compounds of formula I: or the pharmaceutically acceptable salts thereof wherein X is a carbonyl, sulfonyl, methylene, or methylene substituted with optionally substituted phenyl; Z is nitrogen or CH; Ar1 and Ar2 independently represent aryl groups; and Y is hydrogen; or Y and R1 or R2 together represent CH2; CH2CH2; CH20; CH2S forming a five or six membered ring and such ring may be optionally substituted with loweralkyl or phenyl; or pharmaceutically acceptable salts thereof, useful in the treatment of neoplastic diseases, and bacterial or fungal infections, and for preventing or decreaseing the production of abnormally phosphorylated paired helical filament (PHF) epitopes associated with Alzheimer's Disease and, therefore for treating Alzheimer's Disease.

    摘要翻译： 公开了式I化合物或其药学上可接受的盐，其中X是被任选取代的苯基取代的羰基，磺酰基，亚甲基或亚甲基; Z是氮或CH; Ar1​​和Ar2独立地表示芳基; 和Y是氢; 或Y和R 1或R 2一起表示CH 2; CH2CH2; CH20; 形成五或六元环的CH 2 S，并且这种环可以任选被低级烷基或苯基取代; 或其药学上可接受的盐，其可用于治疗肿瘤性疾病和细菌或真菌感染，以及用于预防或减少与阿尔茨海默病相关的异常磷酸化的成对螺旋丝（PHF）表位的产生，因此用于治疗阿尔茨海默氏病。

    Water heating system
    32.
    发明授权
    Water heating system 有权
    供热系统

    公开(公告)号：US06286464B1

    公开(公告)日：2001-09-11

    申请号：US09591209

    申请日：2000-06-09

    申请人： Anthony W. Abraham ,  Raymond-Paul Joubran

    发明人： Anthony W. Abraham ,  Raymond-Paul Joubran

    IPC分类号： G05D2313

    CPC分类号： G05D23/134 ,  G05D23/1393 ,  Y10T137/6497

    摘要： A water heating system in which the output water temperature is regulated by a mixing valve which allows the temperature of the water contained within the water heater to be maintained at a much higher temperature without compromising safety. Significantly more hot water is therefore available for use yet the maximum temperature supplied to the various points of usage are within the safe limits. The system can be additionally configured to supply unmixed hot water to points of usage where a higher temperature is needed and a user is not exposed to the water such as for example in a dishwasher.

    摘要翻译： 一种水加热系统，其中输出水温由混合阀调节，其允许将热水器中所含的水的温度保持在高得多的温度，而不会影响安全性。 因此，显着更多的热水可供使用，但是供应给各种使用点的最高温度在安全限度内。 该系统可以另外配置为将不混合的热水供应到需要较高温度并且使用者不暴露于水的使用点，例如在洗碗机中。

    Method and apparatus for annotating a computer program to facilitate subsequent processing of the program
    34.
    发明授权
    Method and apparatus for annotating a computer program to facilitate subsequent processing of the program 失效
    用于注释计算机程序以促进程序的后续处理的方法和装置

    公开(公告)号：US06253370B1

    公开(公告)日：2001-06-26

    申请号：US08982088

    申请日：1997-12-01

    申请人： Martin Abadi ,  Sanjay Ghemawat ,  Raymond Paul Stata

    发明人： Martin Abadi ,  Sanjay Ghemawat ,  Raymond Paul Stata

    IPC分类号： G06F9445

    CPC分类号： G06F9/445

    摘要： A method and apparatus annotates a computer program to facilitate subsequent processing of the program. Code representing the program is generated at a first computer system. Annotations are generated for the code that provide information about the code. At a second computer, the code is processed according to the information provided by the annotations. The annotations, for example, can indicate a control flow graph representing a flow of execution of the code. Also, the information provided by the annotations can be a register allocation that maps data structures of the code to registers of the second computer system. The second computer system can use such information to guide the interpreting of the code or to transform the code into a more optimized form. Other exemplary annotations can indicate that running the executable form of the code would perform an unauthorized operation at the second computer system. The second computer system could then reject the code instead of performing subsequent processing on the code. When the source of the annotations is untrusted by the second computer system, the second computer system can use a checker to verify the integrity of the annotations.

    摘要翻译： 方法和装置注释计算机程序以便于程序的后续处理。 代表程序的代码在第一计算机系统中生成。 为代码提供有关代码的信息的注释。 在第二台计算机上，根据注释提供的信息对代码进行处理。 例如，注释可以指示表示代码的执行流程的控制流图。 此外，注释提供的信息可以是将代码的数据结构映射到第二计算机系统的寄存器的寄存器分配。 第二计算机系统可以使用这样的信息来指导代码的解释或将代码转换成更优化的形式。 其他示例性注释可以指示运行代码的可执行形式将在第二计算机系统执行未经授权的操作。 第二个计算机系统可以拒绝代码，而不是对代码执行后续处理。 当注释的来源不被第二计算机系统信任时，第二计算机系统可以使用检验器来验证注释的完整性。

    Method and apparatus for statically analyzing a computer program for data dependencies
    38.
    发明授权
    Method and apparatus for statically analyzing a computer program for data dependencies 失效
    用于静态分析计算机程序用于数据依赖性的方法和装置

    公开(公告)号：US5987252A

    公开(公告)日：1999-11-16

    申请号：US932575

    申请日：1997-09-19

    申请人： K. Rustan M. Leino ,  Mark David Lillibridge ,  Raymond Paul Stata

    发明人： K. Rustan M. Leino ,  Mark David Lillibridge ,  Raymond Paul Stata

    IPC分类号： G06F9/45 ,  G06N5/00

    CPC分类号： G06F8/433 ,  G06F8/49 ,  G06N5/006

    摘要： A method and an apparatus analyze a computer program for dependencies of the program output on the program input. To analyze the program, the program is transformed by a function into a Boolean expression called a verification condition. An example of this function is the weakest liberal precondition. The verification condition characterizes a condition between the input and the output of the program that must be satisfied for the output to be independent of the input. A theorem prover evaluates the verification condition to determine whether the output would depend on the input if the program was executed. If the verification condition evaluates to true, then the output is independent of the input; false, then the output depends on the input.

    摘要翻译： 方法和装置分析计算机程序以获得程序输出对程序输入的依赖性。 为了分析程序，程序被一个函数转换成一个称为验证条件的布尔表达式。 这个功能的一个例子是最弱的自由先决条件。 验证条件表征程序的输入和输出之间的条件，输出必须满足输入才能独立于输入。 定理证明者评估验证条件，以确定如果执行程序，输出是否取决于输入。 如果验证条件评估为真，则输出与输入无关; 然后输出取决于输入。

    Derivatives of succinamide and their use as metalloproteinase inhibitor
    40.
    发明授权
    Derivatives of succinamide and their use as metalloproteinase inhibitor 失效
    琥珀酰胺的衍生物及其作为金属蛋白酶抑制剂的用途

    公开(公告)号：US5908851A

    公开(公告)日：1999-06-01

    申请号：US930620

    申请日：1997-10-07

    申请人： Raymond Paul Beckett ,  Andrew Miller ,  Zoe Marie Spavold ,  Mark Whittaker

    发明人： Raymond Paul Beckett ,  Andrew Miller ,  Zoe Marie Spavold ,  Mark Whittaker

    IPC分类号： A61K31/195 ,  A61P1/00 ,  A61P19/10 ,  A61P25/00 ,  A61P27/02 ,  A61P29/00 ,  A61P35/00 ,  A61P37/00 ,  A61P43/00 ,  C07C237/22 ,  C07C259/06 ,  A61K31/44

    CPC分类号： C07C237/22 ,  C07C259/06

    摘要： Compounds of formula (I), ##STR1## wherein X is a --CO.sub.2 H or --CONHOH group; R.sub.4 is a group --CHR.sup.x R.sup.y wherein R.sup.x and R.sup.y independently represent optionally substituted phenyl or monocyclic heteroaryl rings, which optionally may be linked covalently to each other by a bond or by a C.sub.1 -C.sub.4 alkylene or C.sub.2 -C.sub.4 alkenylene bridge; and R.sub.1, R.sub.2, R.sub.3 and R.sub.5 are as defined in the specification are selective inhibitors of stromelysin-1 and matrilysin relative to human fibroblast collagenase and 72 KDa gelatinase.

    摘要翻译： PCT No.PCT / GB96 / 00965 Sec。 371日期1997年10月7日第 102（e）日期1997年10月7日PCT PCT 1996年4月18日PCT公布。 公开号WO96 / 33165 日期：10月24日，式（I）化合物，其中X为-CO 2 H或-CONHOH基; R4是基团-CHRxRy，其中Rx和Ry独立地表示任选取代的苯基或单环杂芳基环，其任选地可以通过键或通过C 1 -C 4亚烷基或C 2 -C 4亚链烯基彼此共价连接; R 1，R 2，R 3和R 5如本说明书中所定义，是相对于人成纤维细胞胶原酶和72KDa明胶酶的基质溶素-1和基质溶素的选择性抑制剂。