Abstract: Data transmission across a computer network is disclosed, comprising creating a plurality of tunnels across a computer network to connect a first computer to a second computer, the plurality of tunnels including a tunnel for each link in a link aggregation of a plurality of transmission protocols, connecting a first computer at a first site with a second computer at a second site, the connection made via the computer network, and transmitting packets end-to-end from the first computer to the second computer in a manner characterized that the computer network preserves a connection from the first computer to the second computer without terminating the connection at the inbound edge of the computer network, the packets conforming to protocols in the plurality of transmission protocols.

Abstract: The method is used in a computer and includes the steps of providing a logical theory that has clauses. A rule is generated that is a resolvent of clauses in the logical theory. An example is retrieved. A proof tree is generated from the example using the logical theory. The proof tree is transformed into a database of a coverage check apparatus. The rule is converted into a partial proof tree that has nodes. The partial proof tree is transformed into a database query of the coverage check apparatus. The query is executed to identify tuples in the database that correspond to the nodes of the partial proof tree.

Abstract: A gearshift unit (1) for electronic transmission control in motor vehicles including a gearshift lever housing (4) and a gearshift lever (5) moveable in relation to the gearshift lever housing (4), the gearshift lever being rotatable about a main pivot axis (6) of the gearshift lever (5) within an active position range for active gearshift positions and a neutral position.

Abstract: A vehicle including a gearshift unit having a gearshift lever housing (4) and a gearshift lever (5) moveable in relation to the gearshift lever housing (4), the gearshift lever being maneuverable within an active position range for active gearshift positions and a neutral position in which the gearshift lever is tiltable, between the active position range and a tilted position, in which latter position the gearshift lever (5) is aligned in or below the seat plane of the driver's seat (2), and a logic unit (34) with is designed to control the activation of a parking brake forming part of the vehicle.

Abstract: The method is used in a computer and includes the steps of providing a logical theory (12, 30) that has clauses. A rule (14) is generated that is a resolvent of clauses in the logical theory. An example (16) is retrieved. A proof tree (18, 40) is generated from the example (16) using the logical theory (12, 30). The proof tree (18, 40) is transformed into a database (20, 42) of a coverage check apparatus (28). The rule (14) is converted into a partial proof tree (60) that has nodes (62, 54, 66). The partial proof tree is transformed into a database query (22) of the coverage check apparatus (28). The query (22, 72) is executed to identify tuples in the database (20, 42) that correspond to the nodes of the partial proof tree.

Abstract: A gearshift unit (1) for electronic transmission control in motor vehicles including a gearshift lever housing (4) and a gearshift lever (5) moveable in relation to the gearshift lever housing (4), the gearshift lever being rotatable about a main pivot axis (6) of the gearshift lever (5) within an active position range for active gearshift positions and a neutral position.

Abstract: A vehicle including a gearshift unit having a gearshift lever housing (4) and a gearshift lever (5) moveable in relation to the gearshift lever housing (4), the gearshift lever being maneuverable within an active position range for active gearshift positions and a neutral position in which the gearshift lever is tiltable, between the active position range and a tilted position, in which latter position the gearshift lever (5) is aligned in or below the seat plane of the driver's seat (2), and a logic unit (34) with is designed to control the activation of a parking brake forming part of the vehicle.