mhurhangee/ep-ind-claims huggingface dataset:
A non-transitory, computer-readable storage medium with an executable program stored thereon, where the program instructs a processor to perform the following steps: receive a model having executable semantics; generate code from the model; receive a designation of one or more classes of errors (218a, 218b, 218c); introduce instances of the one or more classes of errors into the code generated from the model, where the instances of the one or more classes of errors introduced into the generated code are not present in the model, the instances of the one or more classes of errors are introduced into the code by modifying the code or modifying one or more intermediate representations (IRs) generated from the model during the generation of code; and analyze the generated code that includes the instances of the one or more classes of errors introduced into the generated code, wherein the analyze step is performed by a verification tool, and wherein the verification tool produces an output indicating found errors, and the output is compared with the instances of the one or more classes of errors introduced into the generated code in order to determine if the verification tool is able to detect the instances of the one or more classes of errors introduced into the generated code. receive a model having executable semantics; generate code from the model; receive a designation of one or more classes of errors (218a, 218b, 218c); introduce instances of the one or more classes of errors into the code generated from the model, where the instances of the one or more classes of errors introduced into the generated code are not present in the model, the instances of the one or more classes of errors are introduced into the code by modifying the code or modifying one or more intermediate representations (IRs) generated from the model during the generation of code; and analyze the generated code that includes the instances of the one or more classes of errors introduced into the generated code, wherein the analyze step is performed by a verification tool, and wherein the verification tool produces an output indicating found errors, and the output is compared with the instances of the one or more classes of errors introduced into the generated code in order to determine if the verification tool is able to detect the instances of the one or more classes of errors introduced into the generated code.
A battery module, comprising: - a first electrochemical cell and a second electrochemical cell positioned adjacent to the first electrochemical cell; and - a separator plate disposed between the first electrochemical cell and the second electrochemical cell; - a body of the separator plate comprising a first side and a second side opposite the first side, wherein the first side is disposed adjacent a first face of the first electrochemical cell and includes a first indention defining a first space between the first face of the first electrochemical cell and the first side of the body of the separator plate, wherein the first space is configured to enable swelling of the first electrochemical cell into the first space; wherein the first electrochemical cell comprises a first terminal and a second terminal, the second electrochemical cell comprises a third terminal and a fourth terminal, the first terminal of the first electrochemical cell is positioned adjacent to the third terminal of the second electrochemical cell, the second terminal of the first electrochemical cell is positioned adjacent to the fourth terminal of the second electrochemical cell, the separator plate comprises a large tab extending between the first and third terminals, the large tab includes a first length extending along a length of the separator plate, the separator plate comprises a small tab extending between the second and fourth terminals, the small tab includes a second length extending along the length of the separator plate, and the second length is less than the first length; wherein the second length of the small tab of the separator plate permits an electrical coupling between the second and fourth terminals, and wherein the first length of the large tab of the separator plate blocks an additional electrical coupling between the first and third terminals; and wherein the large tab comprises a first upper edge disposed no higher than top surfaces of the first terminal and the third terminal, and wherein the small tab comprises a second upper edge disposed no higher than top surfaces of the second terminal and the fourth terminal. - a first electrochemical cell and a second electrochemical cell positioned adjacent to the first electrochemical cell; and - a separator plate disposed between the first electrochemical cell and the second electrochemical cell; - a body of the separator plate comprising a first side and a second side opposite the first side, wherein the first side is disposed adjacent a first face of the first electrochemical cell and includes a first indention defining a first space between the first face of the first electrochemical cell and the first side of the body of the separator plate, wherein the first space is configured to enable swelling of the first electrochemical cell into the first space;
A wireless power receiver (300, 400), comprising: a substrate (310, 410) partitioned into a first area and a second area neighboring the first area, wherein the substrate (310, 410) includes at least one dielectric layer (311, 411a, 411b, 411c) and at least one metal layer (312, 312a, 312b, 412a, 412b, 412c, 412d) stacked on a part of a first surface and on a whole of a second surface of the dielectric layer (311, 411a, 411b, 411c); a circuit portion mounted in the first area of the substrate and including a receiving module, the receiving module having a predetermined height; a resonance pattern portion (330, 430) provided on at least one surface of the substrate (310, 410) in the second area; and a shield mounted with the height of the receiving module and is mounted only on a surface of the substrate (310, 410) in the second area where no metal layer is disposed, wherein the circuit portion is provided on a surface of the metal layer, and wherein the resonance pattern portion (330, 430) is patterned on the first surface of the dielectric layer in the second area, or wherein the resonance pattern portion (330, 430) is patterned on the metal layer provided on the second surface of the dielectric layer. a substrate (310, 410) partitioned into a first area and a second area neighboring the first area, wherein the substrate (310, 410) includes at least one dielectric layer (311, 411a, 411b, 411c) and at least one metal layer (312, 312a, 312b, 412a, 412b, 412c, 412d) stacked on a part of a first surface and on a whole of a second surface of the dielectric layer (311, 411a, 411b, 411c); a circuit portion mounted in the first area of the substrate and including a receiving module, the receiving module having a predetermined height; a resonance pattern portion (330, 430) provided on at least one surface of the substrate (310, 410) in the second area; and a shield mounted with the height of the receiving module and is mounted only on a surface of the substrate (310, 410) in the second area where no metal layer is disposed, wherein the circuit portion is provided on a surface of the metal layer, and wherein the resonance pattern portion (330, 430) is patterned on the first surface of the dielectric layer in the second area, or wherein the resonance pattern portion (330, 430) is patterned on the metal layer provided on the second surface of the dielectric layer.
A securing apparatus for securing a valve lever in a set position, comprising a base body; a sliding piece; and a screw element, wherein the base body and the sliding piece each have a clamping surface (19, 27); wherein the sliding piece is displaceably supported at the base body along a longitudinal axis; wherein the screw element is rotatably supported at the base body and has a thread which is in engagement with a mating thread of the sliding piece so that the position of the sliding piece relative to the base body along the longitudinal axis is thereby restricted to a maximum spacing between the clamping surfaces (19, 27) that can be changed by rotating the screw element in order to clamp the valve lever between the clamping surfaces (19, 27); wherein, depending on a rotational position of the screw element, one of possibly a plurality of blocking receivers formed at the screw element is aligned with one of possibly a plurality of blocking receivers (47, 49) formed at the base body so that a blocking element, in particular a cable, can engage into both blocking receivers (45, 47) in order to block the screw element in the corresponding rotational position, characterized in that the base body has a rail which extends in the direction of the longitudinal axis and in which a guide section of the sliding piece is received and is displaceable in a guided manner; and in that the axis of rotation about which the screw element is rotatably supported extends through the rail. wherein the base body and the sliding piece each have a clamping surface (19, 27); wherein the sliding piece is displaceably supported at the base body along a longitudinal axis; wherein the screw element is rotatably supported at the base body and has a thread which is in engagement with a mating thread of the sliding piece so that the position of the sliding piece relative to the base body along the longitudinal axis is thereby restricted to a maximum spacing between the clamping surfaces (19, 27) that can be changed by rotating the screw element in order to clamp the valve lever between the clamping surfaces (19, 27); wherein, depending on a rotational position of the screw element, one of possibly a plurality of blocking receivers formed at the screw element is aligned with one of possibly a plurality of blocking receivers (47, 49) formed at the base body so that a blocking element, in particular a cable, can engage into both blocking receivers (45, 47) in order to block the screw element in the corresponding rotational position, characterized in that the base body has a rail which extends in the direction of the longitudinal axis and in which a guide section of the sliding piece is received and is displaceable in a guided manner; and in that the axis of rotation about which the screw element is rotatably supported extends through the rail.
An implantable medical device comprising: a battery; a processing unit coupled to the battery; a memory device coupled to the processing unit having: a memory sector including a plurality of memory elements; and characterised by a state machine configured to control a timing associated with a programming operation of the memory sector as a function of a parameter of the battery, wherein controlling the timing associated with a programming operation comprises controlling a programming delay duration associated with the programming operation or controlling a timing of writing of data to a second memory element as a function of a programming delay duration following a preceding writing of data to a first memory element. a battery; a processing unit coupled to the battery; a memory device coupled to the processing unit having: a memory sector including a plurality of memory elements; and characterised by a state machine configured to control a timing associated with a programming operation of the memory sector as a function of a parameter of the battery, wherein controlling the timing associated with a programming operation comprises controlling a programming delay duration associated with the programming operation or controlling a timing of writing of data to a second memory element as a function of a programming delay duration following a preceding writing of data to a first memory element. a memory sector including a plurality of memory elements; and characterised by a state machine configured to control a timing associated with a programming operation of the memory sector as a function of a parameter of the battery, wherein controlling the timing associated with a programming operation comprises controlling a programming delay duration associated with the programming operation or controlling a timing of writing of data to a second memory element as a function of a programming delay duration following a preceding writing of data to a first memory element.
A method to increase the probability of female offspring in non-human mammals, the method comprising contacting a sperm sample with a composition of matter consisting of a phenoxazine or phenothiazine compound selected from those having the structure wherein R1 is H, a lower alkyl group or N 2, R2 is N, S, or 0, and R3 is H or a lower alkyl group; a hexose sugar or the phosphorylated hexose ester of such; and NAD H oxidoreductase, wherein the amounts and duration of contact are effective in modifying sperm function, and more specifically, modifying the fertility of the X-chromosome bearing sperm and the fertility of the Y-chromosome bearing sperm, and when said sperm sample is utilized in fertilization of living ova, there is an increased probability of fertilization by the X-chromosome bearing sperm.
Decorated lamina of an adhesive unit of the type forming a visible upper portion of an adhesive unit comprising a transparent sheet having an outer face suitable to define a visible face of said adhesive unit and an inner face opposite said outer face, comprising a first decorated layer consisting of a digital type print applied to a portion of said inner face defining at least one area free of said first layer and a second decorated layer structurally different from said first layer and applied to at least part of said at least one area free of said inner face, and characterized in that said second decorated layer is obtained by silk screen printing utilising fluorescent ink, and in that on said inner face of said transparent sheet said decorated layers (3, 4) combined with each other are arranged, and wherein a printed bottom layer is provided suitable to cover said decorated layers.
Guide device for a bandsaw blade or saw blade of a sawing machine, comprising at least one holder having at least one slide block and/or at least one roller for at least intermittent sliding and/or rolling contact with the bandsaw blade or the saw blade, wherein the at least one slide block and/or the at least one roller is mounted on the holder so as to be movable relative to the holder, and wherein the at least one slide block and/or the at least one roller is movable relative to the holder by means of at least one piezo actuator, characterised in that the guide device also comprises at least one sensor for detecting vibratory movements of the bandsaw blade or saw blade, wherein the at least one piezo actuator or a further piezo actuator is also in the form of a sensor for detecting vibratory movements of the bandsaw blade or saw blade, and the guide device also comprises a control unit for effecting open-loop and/or closed-loop control of the movements of the at least one piezo actuator, wherein the control unit is configured so that on the basis of the signals of the at least one sensor it generates counter-vibratory movements of the at least one piezo actuator in order to counteract or dampen vibratory movements of the bandsaw blade or saw blade occurring during sawing.
A communication device for handling an interworking procedure, comprising: at least one storage device; and at least one processing circuit, coupled to the at least one storage device, wherein the at least one storage device stores, and the at least one processing circuit is configured to execute, instructions of: registering to a fifth generation, 5G, system, 5GS, network and establishing at least one Protocol Data Unit, PDU, session of a PDU session type to a Data Network, DN, identified by a first Data Network Name, DNN, and connected to the 5GS network; selecting a cell of an Evolved Packet System, EPS, network, after establishing the at least one PDU session; determining whether the at least one PDU session is supported in the EPS network; determining whether the cell supports an attach without any packet data network, PDN, connection; and initiating an attach procedure on the cell, when determining that none of the at least one PDU session is supported in the cell and the cell does not support the attach without any PDN connection, wherein the instruction of initiating the attach procedure comprises: transmitting an ATTACH REQUEST message comprising a PDN Connection Request message which comprises a PDN type supported by the EPS network. at least one storage device; and at least one processing circuit, coupled to the at least one storage device, wherein the at least one storage device stores, and the at least one processing circuit is configured to execute, instructions of: registering to a fifth generation, 5G, system, 5GS, network and establishing at least one Protocol Data Unit, PDU, session of a PDU session type to a Data Network, DN, identified by a first Data Network Name, DNN, and connected to the 5GS network; selecting a cell of an Evolved Packet System, EPS, network, after establishing the at least one PDU session; determining whether the at least one PDU session is supported in the EPS network; determining whether the cell supports an attach without any packet data network, PDN, connection; and initiating an attach procedure on the cell, when determining registering to a fifth generation, 5G, system, 5GS, network and establishing at least one Protocol Data Unit, PDU, session of a PDU session type to a Data Network, DN, identified by a first Data Network Name, DNN, and connected to the 5GS network; selecting a cell of an Evolved Packet System, EPS, network, after establishing the at least one PDU session; determining whether the at least one PDU session is supported in the EPS network; determining whether the cell supports an attach without any packet data network, PDN, connection; and initiating an attach procedure on the cell, when determining that none of the at least one PDU session is supported in the cell and the cell does not support the attach without any PDN connection, wherein the instruction of initiating the attach procedure comprises: transmitting an ATTACH REQUEST message comprising a PDN Connection Request message which comprises a PDN type supported by the EPS network.
A heat exchanger comprising: a plurality of flat pipes arranged with flat surfaces being opposed to each other; and a plurality of fins each including a plurality of insertion parts that extends in an insertion direction that crosses a direction in which the flat pipes are arranged and a longitudinal direction of the flat pipe, at least part of each of the flat pipes being inserted into the corresponding insertion part, wherein each of the fins includes a cut-and-raised part that is cut and raised in a thickness direction between the plurality of insertion parts, and a rib that is formed between the insertion part and the cut-and-raised part., characterized in that the fin includes a plurality of the cut-and-raised parts aligned in the insertion direction of the flat pipe, and the rib continuously extends along the insertion direction of the flat pipe between the insertion part and the plurality of cut-and-raised parts. a plurality of flat pipes arranged with flat surfaces being opposed to each other; and a plurality of fins each including a plurality of insertion parts that extends in an insertion direction that crosses a direction in which the flat pipes are arranged and a longitudinal direction of the flat pipe, at least part of each of the flat pipes being inserted into the corresponding insertion part, wherein each of the fins includes a cut-and-raised part that is cut and raised in a thickness direction between the plurality of insertion parts, and a rib that is formed between the insertion part and the cut-and-raised part., characterized in that the fin includes a plurality of the cut-and-raised parts aligned in the insertion direction of the flat pipe, and the rib continuously extends along the insertion direction of the flat pipe between the insertion part and the plurality of cut-and-raised parts.
Refrigeration appliance, in particular household refrigeration appliance, having a carcass, which surrounds a storage compartment that is open on one side, and a door which, in a closed position, rests against a front of the carcass covering the storage compartment and which has a protrusion that projects into the storage compartment, wherein an upper flank of the protrusion faces a top of the carcass so as to form an air gap, wherein a substantially vertical flank which faces a rear side of the protrusion and extends the air gap is formed on the top of the carcass, so that a bend in the air gap between a section bounded by the top flank of the protrusion and the top of the carcass on the one hand and a section bounded between the vertical flank and the rear of the protrusion on the other hand is formed, wherein the vertical flank is part of a rib which projects downwards from the top, characterised in that a rearwardly rising inclined plane is formed on the top on a rear side of the rib.
Automatic configuration system for a perception system, comprising: - a modelling unit for providing a world model comprising a semantic data model of the perception system and a description of a region, wherein the region comprises the perception system and an environment of the perception system, - a state unit for determining a current state of the world model, - a planning unit for planning a sequence of actions from a set of specific actions for achieving a specific perception aim, wherein the planning unit proceeds from the current state of the world model when planning the sequence, and wherein the specific actions of the set comprise capturing sensor data, combining captured sensor data, historical data and/or world model data in order to provide combined data, and evaluating the combined data, - a simulation unit for simulating execution of the planned sequence, and - an interface to the perception system is provided, which is designed to transfer the planned sequence to the perception system and to transfer captured sensor data from the perception system to the automatic configuration system. - a modelling unit for providing a world model comprising a semantic data model of the perception system and a description of a region, wherein the region comprises the perception system and an environment of the perception system, - a state unit for determining a current state of the world model, - a planning unit for planning a sequence of actions from a set of specific actions for achieving a specific perception aim, wherein the planning unit proceeds from the current state of the world model when planning the sequence, and wherein the specific actions of the set comprise capturing sensor data, combining captured sensor data, historical data and/or world model data in order to provide combined data, and evaluating the combined data, - a simulation unit for simulating execution of the planned sequence, and - an interface to the perception system is provided, which is designed to transfer the planned sequence to the perception system and to transfer captured sensor data from the perception system to the automatic configuration system.