Abstract: A computer-implemented method for static testing a software system that is decomposed into software units connected by interfaces. The method comprises receiving context information for an interface, which includes at least one postcondition for the at least one output variable of a respective first software unit and/or a precondition for the input variable of a respective second software unit; receiving a selection of a third software unit in so that a substitute decomposition appertaining thereto of the software system into the third software unit and a complement of the third software unit is produced, the third software unit and the complement forming the software system and being connected via a substitute interface; selecting, based on the item of context information a postcondition per output variable of the complement; and testing whether the selected postcondition can be forward-propagated by the third software unit with regard to a formal verification.

Abstract: A method is disclosed for configuring a medical imaging device. In at least one embodiment, the method includes providing an input data set specifying a clinical task, the input data set including quantified image requirements; transferring the input data set to a server; providing a configuration data set by the server depending on the input data set; transferring the configuration data set from the server to the medical imaging device within a defined time interval; and configuring the medical imaging device based on the configuration data set.

Abstract: The invention relates to an aqueous suspension formulation comprising a coarsely particulate carbon adsorbent which is suitable for binding and eliminating harmful substances from the gastrointestinal tract, and a water-soluble or water-dispersible structure-forming agent and a humectant.

Abstract: The present invention relates to novel animal feeds containing lanthanide compounds, as well as to the use of lanthanide compounds for reducing the digestibility of phosphorus contained in animal feeds.

Abstract: An apparatus for securing a wheeled device such as a shopping cart to a vehicle is disclosed. The apparatus comprises a hook end and a ring end. The hook end is inserted into the wire mesh of the shopping cart. The hook end also has a terminal hook that prevents accidental release of the shopping cart. The ring end has a shape allowing it to either be looped over a towing ball attached to the vehicle, or inserted into the door lock mechanism of the vehicle.

Abstract: Novel phenyl-substituted 1,4-dihydropyridines, prepared by reacting halogenophenyl-aldehydes with &bgr;-ketoesters, if appropriate with isolation of the ylidene compounds and enamines. The substances can be employed as active compounds in medicaments, in particular in cerebrally active compositions.

Abstract: The invention relates to novel 3-oxo-2,1-benzisomazol-1(3H)-carboxamides (I), where R1, R2 are the same or different and independently=H, halogen, C1 C6 alkyl C1 C6 alkoxy, C1 C3 perfluoroalkyl, or a group NR5R6; R3, R4 are the same or different and independently=C1 C8 alkyl, whose carbon chain is optionally interrupted by an O, S or NR7 and is optionally singly or severally substituted by C3 C6 cycloalkyl, C1 C4 alkoxy, OH, halogen or NR8R9; C3 C8 cycloalkyl whose carbon chain is optionally interrupted by an O, S or NR10 and is optionally singly or severally substituted by C1 C4 alkoxy, OH, halogen or NR11R12, or R3 and R4 together with a nitrogen atom form a saturated or partially unsaturated 3- to 10-membered mono- or bi-cyclic heteocycle, which, optionally, contains up to two further heteroatoms, from N, O or S and is, optionally, substituted by C1 C4 alkyl, C1 C4 alkoxy, OH, halogen, COOR13 or NR14R15 and X=O or S.

Abstract: Novel phenyl-substituted 1,4-dihydropyridines, prepared by reacting halogenophenyl-aldehydes with &bgr;-ketoesters, if appropriate with isolation of the ylidene compounds and enamines. The substances can be employed as active compounds in medicaments, in particular in cerebrally active compositions.

Abstract: Novel phenyl-substituted 1,4-dihydropyridines, prepared by reacting halogenophenyl-aldehydes with &bgr;-ketoesters, if appropriate with isolation of the ylidene compounds and enamines. The substances can be employed as active compounds in medicaments, in particular in cerebrally active compositions.

Abstract: The present invention relates to bis-(quinolyl)-diamines of the general formula (I): in which the indicated substituents are as defined in the description. The invention also provides a process for the preparation of the compounds of the formula (I), their use for the preparation of drugs, and drugs containing said compounds.

Abstract: 4-Phenyl-3-substituted 1,4-dihydropyridine esters are prepared by reaction of benzaldehydes with ketoesters and enamines, if appropriate with isolation of the ylidene intermediate products, or by esterification of corresponding dihydropyridinecarboxylic acids with alcohols.The new 4-phenyl-3-substituted 1,4-dihydropyridine esters can be employed as active compounds in medicaments for the treatment of the central nervous system, in particular as cerebral therapeutics.

Abstract: 4-Heterocyclyl-substituted dihydropyridines are prepared by reacting appropriate aldehydes with .beta.-keto esters and aminocrotonic acid esters, or by esterifying 4-heterocyclyl-substituted dihydropyridinecarboxylic acids. The 4-heterocyclyl-substituted dihydropyridines can be employed in medicaments, in particular for the treatment of disorders of the central nervous system.

Abstract: The present invention relates to 2,2'-bridged bis-2,4-diaminoquinazolines of the general formula (I): ##STR1## in which the indicated substituents are as defined in the description. The invention also provides processes for the preparation of the compounds of the formula (I), their use for the preparation of drugs, and drugs containing said compounds.

Abstract: The present invention relates to ring-bridged bis-quinolines of the general formula (I): ##STR1## in which the indicated substituents are as defined in the description. The invention also provides a process for the preparation of compounds of the formula (I), their use for the preparation of drugs, and drugs containing said compounds.

Abstract: 4,4'-Bridged bis-2,4-diaminoquinazolines of the general formula (I) ##STR1## processes for their preparation and use as agents acting on the potassium channels of the brain.

Abstract: The present invention relates to the use of bisquinolines of the general formula ##STR1## in which the substituents mentioned have the meanings given in the description.The invention furthermore relates to new bisquinolines of the general formula (I), to a process for the preparation of the known and the new bisquinolines, to the use of the new bisquinolines as medicaments, to their use for the preparation of medicaments, and to medicaments comprising them.

Abstract: The present invention provides 2,4'-bridged bis-2,4-diaminoquinazolines of the general formula (I): ##STR1## in which the indicated substituents are as defined in the description. The invention also provides a process for the preparation of the compounds of the formula (I), drugs containing said compounds and processes for the preparation of drugs containing said compounds.

Abstract: 4-Phenyl-3-substituted 1,4-dihydropyridine esters are prepared by reaction of benzaldehydes with ketoesters and enamines, if appropriate with isolation of the ylidene intermediate products, or by esterification of corresponding dihydropyridinecarboxylic acids with alcohols.The new 4-phenyl-3-substituted 1,4-dihydropyridine esters can be employed as active compounds in medicaments for the treatment of the central nervous system, in particular as cerebral therapeutics.

Abstract: The present invention relates to the new compound rac-isopropyl 2-methoxyethyl 4-(2-chloro-3-cyano-phenyl)1,4 -dihydro-2,6-dimethylpyridine-3,5-dicarboxylate and its pure enantiomers, processes for their preparation and their use as medicaments, in particular for the treatment of cerebral and neuronal disorders, and a new intermediate for their preparation.

Abstract: The invention relates to new aryl-substituted alkoxycarbonyl-1,4-dihydropyridine-5-carboxylic acid esters, processes for their preparation and their use in medicaments, in particular as agents having a cerebral action.