Abstract: Methods, systems, and computer-readable storage media determining a behavior model of a computing system under test. In some implementations, actions include executing, using a user interface of a computing SUT, an initial test script on the SUT; recording, after executing the initial test script, a state of the SUT in the behavior model by observing one or more events that can be triggered using the user interface of the SUT; and iteratively refining the behavior model until an end condition is reached by generating one or more new test scripts, executing the new test scripts on the SUT to test unobserved behavior, and recording one or more new states reached by executing the new test scripts on the SUT in the behavior model.

Abstract: A semiconductor device comprises a substrate provided with a doping of a first type, on which an electronic circuit is provided surrounded by a circuit portion of the substrate provided with a doping of a second type; at least one pad for connecting the electronic circuit to an external device outside the substrate, surrounded by a pad portion provided with a doping of the second type; a sensing device comprising a sensor portion of the substrate provided with a doping of the first type, for sensing a parameter forming a measure for a local electrical potential of the substrate; and an evaluation unit connected to the sensing device, for providing an evaluation signal based on a difference between the parameter and a reference value.

Abstract: Implementations of the present disclosure include methods, systems, and computer-readable storage mediums for supporting software application extensions including receiving, by the one or more processors, application information associated with a to-be-extended application, the application including a plurality of logical layers and including a computer-executable application that can be executed using one or more computing devices; processing, by the one or more processors, the application information; providing, based on the processing, graphical representations of one or more extensible artifacts associated with the application; displaying a first graphical representation within a browser interface, the first graphical representation being based on a first logical layer of the plurality of logical layers, the browser interface being provided as a computer-executable program that is executed using the one or more processors; and receiving user input provided using the browser interface, and in response to t

Abstract: A semiconductor device includes a substrate on which an electronic circuit is provided. One or more pads may be present which can connect the electronic circuit to an external device outside the substrate. A current meter is electrically in contact with at least a part of the substrate and/or the pad. The meter can measure a parameter forming a measure for an amount of a current flowing between the substrate and at least one of the at least one pad. A control unit is connected to the current meter and the electronic circuit, for controlling the electronic circuit based on the measured parameter.

Abstract: An integrated protection circuit for protecting a main circuit from spurious high amplitude voltage signals is provided, wherein the main circuit has a main circuit input terminal connected to an input line, and the protection circuit comprises a transistor, a resistor and a capacitor. The transistor has a first electrode connected to the input line, a second electrode connected to a common reference, and a control electrode connected to the resistor. The resistor is connected to the common reference; and the capacitor is implemented as a fringe capacitor between the input line and the control electrode or a conductive line connected to the control electrode.

Abstract: Methods, computer-readable media, and computer systems for visualizing reporting data using system models. Reporting data from multiple data sources is extracted and mapped to a common language reporting. The mapped reporting data is correlated to elements of system models. Visualization options to present the mapped reporting data correlated to the system models are identified. The mapped reporting data is presented according to the visualization options in response to receiving a request for reporting data.

Abstract: This invention relates generally to devices, systems and methods for the internal fixation of bone fractures, and particularly, to intramedullary fracture fixation devices such as those used in, for example, the treatment of long bone fractures. An IM rod preferably is provided with multiple curved sections in different planes preferably designed to conform with the long bones of a patient, both during insertion and in the rod's final position in the long bone. In addition, the overlap of portions of the curved sections results in a co-planar curvature of portions of the IM rod which assist in the insertion process by guiding the proper rotation of the IM rod as it is inserted into the bone. Spiraling flutes extending down the distal portion of the rod also assist in properly guiding and orienting the rod about its longitudinal axis during insertion such that the appropriate segment of the curved rod conforms with the appropriate portion of the long bone at the appropriate place.

Abstract: An intramedullary rod for use in the treatment of long bone fractures includes an elongated rod extending along a longitudinal axis and including a head and a stem, at least a first transverse hole extending through the rod and a plurality of external spiral flutes located along at least a portion of the stem, wherein the elongated rod includes at least two bends along the longitudinal axis in a first plane and at least one bend along the longitudinal axis in a second plane.

Abstract: An implant for fixation of a bone includes a shaft having a proximal end and a distal end, and a longitudinal axis defined between the proximal end and the distal end. A plurality of blades are disposed on the shaft, and are helically twisted about the longitudinal axis. At least one of the blades has a variable blade width that increases in a direction along the longitudinal axis. A mechanism for coupling the implant to a second fracture fixation implant may be provided separately or in combination.

Abstract: Automated checking of test cases when the underlying test model has been modified includes verifying the structure of the original test cases against the new (modified) test model. Verified test cases are assessed by manipulating the new test model to produce corresponding manipulated test models. A test case is still valid for the new test model if a test case can be generated from its corresponding manipulated test model.

Abstract: A computer-implemented method of evaluating interactions between processes. The method includes storing a message choreography meta-model that includes an interaction meta class and a constraint meta-class. A user creates a message choreography model between a first process and a second process. The method further includes executing a verification computer program that performs a verification of the message choreography model. The verification includes verifying absence of an inconsumable message.

Abstract: In a method for determining a filling difference between at least two cylinders of an internal combustion engine, e.g., an Otto-cycle engine, a power output parameter contribution made available by the respective cylinder to a total power output parameter of the internal combustion engine is ascertained for each of the at least two cylinders for different fuel quantities, and an air inhomogeneity between the at least two cylinders is ascertained on the basis of the power output parameter contributions, ascertained for the different fuel quantities, of the at least two cylinders.

Abstract: A method for adapting the adaptation values for the adaptation of fuel injection quantities of an internal combustion engine, to which fuel is supplyable via a mixed operation of two injection types, a first adaptation value for adapting a first injection quantity specification according to which the internal combustion engine is operated by a first injection type, and a second adaptation value for adapting a second injection quantity specification according to which the internal combustion engine is operated by a second injection type, the adaptation values being each adapted in defined, not overlapping adaptation ranges as a function of the operating state, at least one of the adaptation ranges including operating states in which fuel is supplied to the internal combustion engine via both injection types.

Abstract: A method and a device are provided for operating a drive unit having an engine and a transmission, which make possible an improved shifting strategy. In a first operating state, the engine is operated using a first number of active cylinders. In a second operating state, the engine is operated using a second number of active cylinders. The first number is different from the second number. A gear ratio is set as a function of at least one operating variable of the drive unit. The gear ratio is also set as a function of the current or the attainable operating state of the engine with respect to the number of the active cylinders.

Abstract: A bone fixator for securing a first bone portion in a position relative to second bone portion is disclosed, including at least two clamping assemblies each for receiving at least one bone pin and a main body disposed between the clamping assemblies. The main body includes at least one joint for orienting the clamping assemblies with respect to each other. The at least one joint may permit pivoting or rotation. Some joints permit the articulation of several components to be simultaneously and releasably lockable.

Abstract: A surgical drill guide for use with a bone plate having fastener holes oriented at predetermined angles with respect to the plate, the surgical drill guide having at least one alignment drill guiding barrel that is aligned with the respective fastener holes in the bone plate for drilling the holes at the desired range of angles permitted by the plate hole.

Abstract: Disclosed is a method for adapting mechanical tolerances of a timing wheel of a sensor unit of an internal combustion engine of a hybrid drive of a vehicle, the hybrid drive having at least one second motor, in particular an electric motor, in addition to the internal combustion engine, and the internal combustion engine being operated in a desired operating mode during adaptation operation. It is provided that the desired operating mode is performed in such a way that the internal combustion engine is driven using the second motor, in particular an electric motor, and no fuel is supplied to the internal combustion engine. A corresponding device is also disclosed.

Abstract: A semiconductor device includes a substrate on which an electronic circuit is provided. Two or more pads may be present which can connect the electronic circuit to an external device outside the substrate. A current meter is electrically in contact with at least a part of the substrate and/or the pad. The meter can measure a parameter forming a measure for an aggregate amount of a current flowing between the substrate and said pads. A control unit is connected to the current meter and the electronic circuit, for controlling the electronic circuit based on the measured parameter.

Abstract: An exhaust-gas cooler includes a housing having a bypass duct and a cooling zone having arranged therein an exhaust-gas cooling duct which includes an entry cooling duct, at least one reversing duct connected to the entry cooling duct, and an exit cooling duct connected to the reversing duct. The reversing duct is constructed to conduct the exhaust-gas flow in opposite direction to a direction of flow in the entry cooling duct and the exit cooling duct. A control element is received in the housing for selectively directing an exhaust-gas flow through the bypass duct or through the cooling zone, with the bypass duct being segregated from a deflection zone of the reversing duct.

Abstract: A heat exchanger for an internal combustion engine includes a base tube having opposite ends, and tube plates respectively provided at the ends of the base tube. A ring embraces the base tube. The ring is made of sheet metal and has legs extending toward one another in a V-shaped manner. An end cap is provided in the region of each tube plate and has a circumferential outwardly directed rim which is embraced by a tension element and connected to the ring.