Abstract: A method for deactivating an assisted or automated driving function in a motor vehicle, with which the driving function carries out a driver-independent braking intervention and with which the driving function is thereby deactivated. The driver actuates a braking request presetting device, wherein the duration of actuation by the driver is between a lower limit value and an upper limit value, or the driver actuates the braking request presetting device in such a way that the intensity of the braking requested by the driver is greater than the intensity of the braking exerted by the driving function.

Abstract: The present disclosure comprises systems and methods to mine association rules from a dataset provided in the input. This comprises methodologies for optimizing the dataset for efficient computation of association rules, other than methodologies for handling partially true data. Moreover, it includes methodologies for evaluating the mining process automatically and removing uninteresting rules. In addition, it includes methodologies for integrating experts in the evaluation of the rules. Finally, methodologies to automatically detect outliers, correct outliers, update truth values and complete missing data in the original dataset. The overall methodology is completely automated and provides numerous tuning parameters to fit most of the use cases, including a default value for each of the tuning parameters to simplify its usage.

Abstract: Methods and systems for enriching an information system containing information about companies with additional competitor information. The information system, which could be a database, a knowledge base, or a knowledge graph, is assumed to contain information about a plurality of single companies, the information comprising data such as industry codes, competitors, and possibly also keywords for each company. The disclosed methods determine new competitor pairs by combining (i) the generation of new competitor candidate pairs by inference from existing competitors and other company-specific knowledge with (ii) the validation of such competitor candidates pairs by checking for joint occurrence in documents of a document repository.

Abstract: The present disclosure comprises systems and methods to convert Existential Datalog source code into Differential Dataflow source code, whereby databases or knowledge graphs, some of whose relations are defined from other relations using Existential Datalog rules can be maintained incrementally.

Abstract: A method is provided to check for presence of gas bubbles in an electronically slip-controllable motor vehicle brake system that includes brake circuits to which wheel brakes are connected, a pressure generator to charge the brake circuits with a brake pressure, and sensors to detect an actuating signal of the pressure generator and measure the brake pressures in the brake circuits. Disturbances are recognized by ascertaining from the signal a setpoint value for a brake pressure to be obtained and comparing it to an actual value of the brake pressure or by determining that an actual volume of the pressurizing medium displaced into the brake circuits, ascertainable from the signal, is greater than a limiting value that is determined for a setpoint value for the pressurizing-medium volume to be displaced into the brake circuits in order to generate the actual value of the brake pressure.

Abstract: A method is provided to check for presence of gas bubbles in an electronically slip-controllable motor vehicle brake system that includes brake circuits to which wheel brakes are connected, a pressure generator to charge the brake circuits with a brake pressure, and sensors to detect an actuating signal of the pressure generator and measure the brake pressures in the brake circuits. Disturbances are recognized by ascertaining from the signal a setpoint value for a brake pressure to be obtained and comparing it to an actual value of the brake pressure or by determining that an actual volume of the pressurizing medium displaced into the brake circuits, ascertainable from the signal, is greater than a limiting value that is determined for a setpoint value for the pressurizing-medium volume to be displaced into the brake circuits in order to generate the actual value of the brake pressure.