Abstract: Method for controlling a slide direction in a branch point and a slide, in particular a water slide, in which a slide surface of the branch point is wetted with water, and the branch point is formed: with a first slide connector for a slide entrance, with a second slide connector for a slide exit, with a third slide connector for a further slide exit, wherein the first and second slide connector are provided adjacently to each other, and the third slide connector is provided removed from or opposite the first and second slide connector, and a mouth region is formed between the first and second slide connector and the third slide connector.

Abstract: A radar-based environmental detection system for motor vehicles. The system includes at least one radar sensor for providing location data regarding objects in the environment of the motor vehicle, and including a neural network for converting the location data into an environmental model which represents spatio-temporal object data of the objects. The neural network is conditioned to give priority to outputting environmental models in which at least one predetermined physical relationship between the location data and the object data is satisfied.

Abstract: Methods and systems described in this disclosure identify a driver of a vehicle. The driver may have a profile indicating vehicle settings, and at least one of the vehicle settings may not be overridden by the driver. The vehicle may be configured according to the vehicle settings in the profile, such that the vehicle may not operate outside of at least one of the vehicle settings that cannot be overridden. An insurance rate for insuring the vehicle may be generated based at least in part on the vehicle settings associated with the profile.

Abstract: A computer-implemented method for monitoring a condition of a person includes receiving, at a computerized device, at least one signal from a condition sensor and determining if a condition is an emergency condition of a user based on the at least one signal.

Abstract: Provided are embodiments for a computer-implemented method, a system, and a computer program product for performing integrity checking during physical design data handoffs. Embodiments can include receiving a file corresponding to a new release for a physical design of an integrated circuit, and performing a syntax check on the file. Embodiments can also include performing a plurality of subsequent checks on the file based on a result of the syntax check, and committing the file based at least in part on a result of the plurality of subsequent checks.

Abstract: Techniques utilize augmented reality to identify anomalies in properties or structures based thereon. Aspects can collect, using augmented reality video glasses, imagery of a property and display, to a wearer of the augmented reality video glasses using the augmented reality video glasses, data describing the property. Aspects can further compare the imagery of the property to the data describing the property to determine at least one anomaly associated with the property and report the anomaly to a user.

Abstract: A fuel cell arrangement has an anode connected to an H2 inflow and a cathode connected to an O2 inflow. A differential pressure control device is arranged between the H2 inflow and the O2 inflow for controlling a differential pressure between the H2 inflow and the O2 inflow. The differential pressure control device has a fluid connection between the H2 inflow and the O2 inflow, in which a deflectable diaphragm is arranged, to which a pin is coupled, which, when the diaphragm is deflected, opens a valve arranged in the H2 inflow.

Abstract: Methods and systems described in this disclosure identify a driver of a vehicle. The driver may have a profile indicating vehicle settings, and at least one of the vehicle settings may not be overridden by the driver. The vehicle may be configured according to the vehicle settings in the profile, such that the vehicle may not operate outside of at least one of the vehicle settings that cannot be overridden. An insurance rate for insuring the vehicle may be generated based at least in part on the vehicle settings associated with the profile.

Abstract: A computer-implemented method for monitoring a condition of a person includes receiving, at a computerized device, at least one signal from a condition sensor and determining if a condition is an emergency condition of a user based on the at least one signal.

Abstract: The invention relates to a fuel cell arrangement (10) having an anode (26) connected to an H2 inflow (48) and a cathode (30) connected to an O2 inflow (50), wherein a differential pressure control device (52) is arranged between the H2 inflow (48) and the O2 inflow (50) for controlling a differential pressure between the H2 inflow (48) and the O2 inflow (50), the differential pressure control device (52) having a fluid connection (54) between the H2 inflow (48) and the O2 inflow (50) in which a deflectable diaphragm (56) is arranged, to which a pin (64) is coupled which, when the diaphragm (56) is deflected, opens a valve (58) arranged in the H2 inflow (48).

Abstract: A method for processing design data for a semiconductor circuit may be provided. The design data describe a signal line and related physical characteristics. The method comprises receiving the design data for the signal line, receiving constraint data describing a blockage area, and determining a segment of the signal line that would overlap with the blockage area assuming a direct path from the source to the sink. The method comprises further determining for the segment, based on the length of the segment, whether the segment is route-able without inserting a buffer while meeting the timing constraints, and modifying, in case a segment is not route-able without inserting a buffer, the physical characteristics of the signal line. Thereby, the determining the segment, the determining whether the segment length is route-able, and the modifying the physical characteristics is performed before placing buffers in the signal line and routing the signal line.

Abstract: There is provided a computer implemented method for processing a formal specification of a digital circuit. The specification comprises information about a signal path for forwarding a digital signal from a source to a sink. The method comprises inputting the formal specification; identifying at least one signal group and at least one signal path belonging to the signal group based on the formal specification; inputting physical design constraints; and calculating, based on the physical design constraints and the at least one signal group, a number of clocked stages to be inserted into the signal path, such that the signal paths of a certain signal group have the same calculated number of clocked stages.

Abstract: A method for processing a database query on a database system includes receiving the database query at the database system, determining a sequence of database operations for processing the database query, estimating a number of incoming data elements of the database system to be processed for each of the database operations, estimating a workload of a programmable integrated circuit of the database system for each of the database operations based on the estimated number of incoming data elements, assuming each of the database operations is performed in a single instantiation, selecting a number of instantiations Ni for a database operation i of the sequence of database operations based on the estimated workload of the programmable integrated circuit for the database operation i, and configuring the programmable integrated circuit to execute the determined sequence of database operations, the database operation i is instantiated Ni times.

Abstract: A method for processing design data for a semiconductor circuit may be provided. The design data describe a signal line and related physical characteristics. The method comprises receiving the design data for the signal line, receiving constraint data describing a blockage area, and determining a segment of the signal line that would overlap with the blockage area assuming a direct path from the source to the sink. The method comprises further determining for the segment, based on the length of the segment, whether the segment is route-able without inserting a buffer while meeting the timing constraints, and modifying, in case a segment is not route-able without inserting a buffer, the physical characteristics of the signal line. Thereby, the determining the segment, the determining whether the segment length is route-able, and the modifying the physical characteristics is performed before placing buffers in the signal line and routing the signal line.

Abstract: There is provided a computer implemented method for processing a formal specification of a digital circuit. The specification comprises information about a signal path for forwarding a digital signal from a source to a sink. The method comprises inputting the formal specification; identifying at least one signal group and at least one signal path belonging to the signal group based on the formal specification; inputting physical design constraints; and calculating, based on the physical design constraints and the at least one signal group, a number of clocked stages to be inserted into the signal path, such that the signal paths of a certain signal group have the same calculated number of clocked stages.

Abstract: Methods and systems described in this disclosure identify a driver of a vehicle. The driver may have a profile indicating vehicle settings, and at least one of the vehicle settings may not be overridden by the driver. The vehicle may be configured according to the vehicle settings in the profile, such that the vehicle may not operate outside of at least one of the vehicle settings that cannot be overridden. An insurance rate for insuring the vehicle may be generated based at least in part on the vehicle settings associated with the profile.

Abstract: A computer-implemented method for monitoring a condition of a person includes receiving, at a computerized device, at least one signal from a condition sensor and determining if a condition is an emergency condition of a user based on the at least one signal.

Abstract: A device for providing at least one cleaning fluid, having a collecting container which by means of a pump and a fluid line is connected to a first cleaning container within which there is received a first cleaning component, further comprising a sensor unit and a control unit for controlling the pump and for interrupting a fluid loop depending on a concentration measured by the sensor unit in a contactless way.

Abstract: A method is provided for facilitating an integrated circuit design layout. The method includes receiving a netlist including a plurality of subnets. For each subnet, the method also includes obtaining a Steiner net length value and related net delays in a signal path for a metal wiring layer using timings of all involved circuits of the subnet, and determining whether the net delay is smaller than a predefined value. On a negative outcome of the determination, a wire delay is ascertained for the named metal wiring layer based on a maximum buffer distance retrieved from a cycle reach table, and determining whether the ascertained wire delay is below the related net delay. On a positive outcome of the second determination, a next increased metal wire width is selected and a metal wire based wire delay for the named metal wiring layer including a buffer is ascertained.

Abstract: A computer-implemented method for monitoring a condition of a person includes receiving, at a computerized device, at least one signal from a condition sensor and determining if a condition is an emergency condition of a user based on the at least one signal.