mhurhangee/ep-ind-claims huggingface dataset:
A computer implemented method for securing a first program, the first program comprising a finite number of program points and evolution rules associated with the program points, said evolution rules defining the passage from one program point to another program point, wherein at least one second program is used as a sub-program in the definition of the first program, wherein each of the at least one second program comprises one or more exit cases, the method comprising: • obtaining a definition of a plurality of exit cases of the first program and the at least one second program; • obtaining, for each exit case of each of the at least one second program, a definition of a branching toward a specific program point of the first program or a declaration of branching impossibility, the branching impossibility being a transition that is not possible at a given program point; • creating a tree structure defined by the evolution rules, the exit cases and the branchings, the tree structure comprising arcs representing execution routes; • obtaining a definition of a set of local properties to be proven, each local property being associated with one or more of the program points and evolution rules of the first program, said set of local properties comprising the branching impossibility as a particular local property; • proving at least one branching declared as impossible, wherein proving the branching declared as impossible comprises analyzing execution routes of the tree structure leading to the transition that is not possible; and • establishment of the formal proof of the set of local properties without executing the first program or the second program. • obtaining a definition of a plurality of exit cases of the first program and the at least one second program; • obtaining, for each exit case of each of the at least one second program, a definition of a branching toward a specific program point of the first program or a declaration of branching impossibility, the branching impossibility being a transition that is not possible at a given program point; • creating a tree structure defined by the evolution rules, the exit cases and the branchings, the tree structure comprising arcs representing execution routes; • obtaining a definition of a set of local properties to be proven, each local property being associated with one or more of the program points and evolution rules of the first program, said set of local properties comprising the branching impossibility as a particular local property; • proving at least one branching declared as impossible, wherein proving the branching declared as impossible comprises analyzing execution routes of the tree structure leading to the transition that is not possible; and • establishment of the formal proof of the set of local properties without executing the first program or the second program.
A multilayer construction comprising: at least one layer of elastic meltblown fabric comprising: one or more polyolefin polymer(s) having a MFR from less than 90 dg/min (90 g/10 min), and H f value is from less than 75 J/g, and at least one extensible fabric layer. at least one layer of elastic meltblown fabric comprising: one or more polyolefin polymer(s) having a MFR from less than 90 dg/min (90 g/10 min), and H f value is from less than 75 J/g, and one or more polyolefin polymer(s) having a MFR from less than 90 dg/min (90 g/10 min), and H f value is from less than 75 J/g, and at least one extensible fabric layer.
A papermaking process which comprises providing an aqueous suspension containing cellulosic fibres, introducing into the suspension a filler comprising calcium salt and cellulose derivative having a degree of substitution of carboxyalkyl groups of from 0.05 to 0.65, and dewatering the suspension to form a web or sheet of paper, wherein the calcium salt and the cellulose derivative are separately added to the cellulosic suspension and the filler is formed in situ in the cellulosic suspension.
A core unit, a front end of the core unit being an inserted end, comprising a front casing and a rear casing oriented and assembled in front and rear directions, wherein the rear casing is provided with a guide mounting structure for disposing an optical cable inside the rear casing, the front casing is provided with a plug body at a front end thereof, and a limiting structure is arranged between the front casing and the rear casing to limit positions to which the front casing and the rear casing are separated in the front and rear directions; and wherein a spring is pressed and disposed between the rear casing and the front casing and/or between the rear casing and the plug body; and the guide mounting structure is a guide mounting hole disposed on the rear casing; the rear casing is oriented and inserted in the front casing, and the limiting structure comprises an inner flange disposed on an inner side wall of the front casing and further comprises an outer protrusion disposed on an outer circumferential surface of the rear casing and stopping and fitting with the inner flange from front to rear. a spring is pressed and disposed between the rear casing and the front casing and/or between the rear casing and the plug body; and the guide mounting structure is a guide mounting hole disposed on the rear casing; the rear casing is oriented and inserted in the front casing, and the limiting structure comprises an inner flange disposed on an inner side wall of the front casing and further comprises an outer protrusion disposed on an outer circumferential surface of the rear casing and stopping and fitting with the inner flange from front to rear.
A monument for a cabin of an aircraft, the monument comprising - a first housing part with a floor side and a connection side; - a second housing part with a floor side and a connection side and - at least a first covering element; wherein the first housing part is configured to be attached by its floor side to a floor of the cabin, wherein for moving one of the housing parts (4, 6) into the other housing part (4, 6) an outer cross-section of the connection side (12, 14) of one of the housing parts (4, 6) is dimensioned so as to be smaller than an opening cross-section of the connection side (12, 14) of the other housing part (4, 6), and the first housing part and the second housing part form a housing, wherein the first housing part and/or the second housing part comprises locking means for fastening the second housing part in a first relative position and in a second relative position to the first housing part, and wherein the first covering element is arranged on the first housing part or the second housing part for covering a gap between the connection side of the first housing part and of the second housing part in the second relative position; characterised in that the housing comprises a flexible floor that extends between the first housing part and the second housing part, and wherein the first housing part and/or the second housing part comprises receiving means for stowing and releasing an excess floor length. - a first housing part with a floor side and a connection side; - a second housing part with a floor side and a connection side and - at least a first covering element;
A method of analyzing a diffraction pattern of a mixture, the method comprising: an observed pattern acquisition step of acquiring an observed pattern of X-ray diffraction; a fitting pattern acquisition step of acquiring a fitting pattern including a term obtained by multiplying a known target pattern indicating a target component by a first intensity ratio, and a term obtained by multiplying an unknown pattern indicating a residual group consisting of one or more residual components by a second intensity ratio, and having the first intensity ratio, the second intensity ratio, and the unknown pattern as fitting parameters; a first fitting step of fitting the fitting pattern to the observed pattern by changing the first intensity ratio and the second intensity ratio in a state where the unknown pattern is set to an initial pattern; and a second fitting step of fitting, after the first fitting step, the fitting pattern to the observed pattern by changing the unknown pattern while restricting the changes of the first intensity ratio and the second intensity ratio. an observed pattern acquisition step of acquiring an observed pattern of X-ray diffraction; a fitting pattern acquisition step of acquiring a fitting pattern including a term obtained by multiplying a known target pattern indicating a target component by a first intensity ratio, and a term obtained by multiplying an unknown pattern indicating a residual group consisting of one or more residual components by a second intensity ratio, and having the first intensity ratio, the second intensity ratio, and the unknown pattern as fitting parameters; a first fitting step of fitting the fitting pattern to the observed pattern by changing the first intensity ratio and the second intensity ratio in a state where the unknown pattern is set to an initial pattern; and a second fitting step of fitting, after the first fitting step, the fitting pattern to the observed pattern by changing the unknown pattern while restricting the changes of the first intensity ratio and the second intensity ratio.
A diffuser-integrated prism sheet for backlight units, comprising: a lower diffuser layer, having a light diffusion structure formed on a lower surface thereof; a lower layer, formed on an upper surface of the lower diffuser layer; an intermediate layer, formed on an upper surface of the lower layer and having a plurality of prism-shaped protrusions formed parallel to each other; an upper layer, formed on an upper surface of the intermediate layer; and an upper diffuser layer, formed on an upper surface of the upper layer and having a light diffusion structure formed on an upper surface of the upper diffuser layer, wherein an air layer is formed between a lower surface of the upper layer and valleys of the prism-shaped protrusions of the intermediate layer, and ridges of the prism-shaped protrusions of the intermediate layer and the lower surface of the upper layer are integrated with each other using an adhesive, wherein the light diffusion structure formed on the lower surface of the lower diffuser layer comprises a plurality of hemispherical protrusions or a plurality of hemispherical recesses for diffusing light, wherein the light diffusion structure formed on the upper surface of the upper diffuser layer comprises a plurality of hemispherical protrusions or a plurality of hemispherical recesses for diffusing light. a lower diffuser layer, having a light diffusion structure formed on a lower surface thereof; a lower layer, formed on an upper surface of the lower diffuser layer; an intermediate layer, formed on an upper surface of the lower layer and having a plurality of prism-shaped protrusions formed parallel to each other; an upper layer, formed on an upper surface of the intermediate layer; and an upper diffuser layer, formed on an upper surface of the upper layer and having a light diffusion structure formed on an upper surface of the upper diffuser layer,
A nanofiber nonwoven fabric (hereinafter, referred to as "nanofiber sheet") comprising: crystalline cellulose in an amount of 50 % or more; and between 10 ppm and 10 wt% of lignin, wherein the nanofiber sheet satisfies the following physical characteristics (i) to (iv): (i) the parallel light transmittance of light of a wavelength of 600 nm at a sheet thickness of 100 μm is 12% or more; (ii) the Young's modulus is 7 GPa or more; (iii) the coefficient of linear thermal expansion is 10 ppm/K or less; (iv) the fiber occupancy is 5 to 70%, the fiber occupancy being calculated by the following equation: Fiber occupancy (volume %) = [(weight of nanofiber sheet)/(density of nanofiber)]/(volume of nanofiber sheet) x 100, wherein the nanofiber is obtained from wood flour or pulp. crystalline cellulose in an amount of 50 % or more; and between 10 ppm and 10 wt% of lignin, (i) the parallel light transmittance of light of a wavelength of 600 nm at a sheet thickness of 100 μm is 12% or more; (ii) the Young's modulus is 7 GPa or more; (iii) the coefficient of linear thermal expansion is 10 ppm/K or less; (iv) the fiber occupancy is 5 to 70%, the fiber occupancy being calculated by the following equation: Fiber occupancy (volume %) = [(weight of nanofiber sheet)/(density of nanofiber)]/(volume of nanofiber sheet) x 100, wherein the nanofiber is obtained from wood flour or pulp.
Mirror arrangement for an EUV projection exposure apparatus for microlithography, comprising a plurality of mirrors (30; 50; 70; 110; 150; 170; 210-218, 224-234), each having a layer (32; 52; 72; 112; 152; 172), which is reflective in the EUV spectral range and to which EUV radiation can be applied, and having a main body (34; 54; 74; 114; 154; 174) whereby at least one mirror (30; 70; 110; 150; 170; 226) of the plurality of mirrors has at least one layer (36; 76; 118; 156; 178) comprising a material having a negative coefficient of thermal expansion, and whereby the mirror arrangement further comprises at least one heat source (96; 126), in order to locally apply heat in a targeted manner to the at least one layer (76; 118) having a negative coefficient of thermal expansion of the at least one mirror (70; 110).
An electrospinning apparatus configured to electrospin first and second solutions onto first and second opposing surfaces of a medical device, the medical device defining a lumen with a proximal end, a distal end, a luminal surface and an abluminal surface, the apparatus including: a first spinneret including a reservoir and an orifice, the first spinneret orifice including a proximal end fluidly coupled to the reservoir and a distal end through which a first solution may be electrospun, the first spinneret including a first electrical charge generated by a first voltage source coupled to the first spinneret; a second spinneret including a reservoir and an orifice, the second spinneret orifice including a proximal end fluidly coupled to the reservoir and a distal end through which a second solution is electrospun, the second spinneret including a second electrical charge generated by a second voltage source coupled to the second spinneret, the first electrical charge of the first spinneret being adjustable independently of the second electrical charge of the second spinneret; wherein the first spinneret orifice is located substantially opposite the second spinneret orifice, wherein the first spinneret orifice distal end is configured to be located outside of the medical device lumen between the medical device proximal end and the medical device distal end and to directly face the medical device abluminal surface, and wherein the second spinneret orifice distal end is configured to be located in the medical device lumen between the medical device proximal end and the medical device distal end and to directly face the medical device luminal surface. a first spinneret including a reservoir and an orifice, the first spinneret orifice including a proximal end fluidly coupled to the reservoir and a distal end through which a first solution may be electrospun, the first spinneret including a first electrical charge generated by a first voltage source coupled to the first spinneret; a second spinneret including a reservoir and an orifice, the second spinneret orifice including a proximal end fluidly coupled to the reservoir and a distal end through which a second solution is electrospun, the second spinneret including a second electrical charge generated by a second voltage source coupled to the second spinneret, the first electrical charge of the first spinneret being adjustable independently of the second electrical charge of the second spinneret; wherein the first spinneret orifice is located substantially opposite the second spinneret orifice, wherein the first spinneret orifice distal end is configured to be located outside of the medical device lumen between the medical device proximal end and the medical device distal end and to directly face the medical device abluminal surface, and wherein the second spinneret orifice distal end is configured to be located in the medical device lumen between the medical device proximal end and the medical device distal end and to directly face the medical device luminal surface.
Wastewater-lifting system having at least one bulky material-collecting tank which has at least one separating screen arranged in its interior for wastewater laden with bulky materials that is to be guided therethrough, and having at least one pump which is arranged after the bulky material-collecting tank and which is connected to the bulky material-collecting tank via at least one connecting line, wherein the separating screen, by way of a closable opening in the bulky material-collecting tank, is configured to be selectively removable from said tank and re-insertable into it, and wherein the bulky material-collecting tank is configured with an inner-side guide for the separating screen, which is able to be plugged into said inner-side guide and pulled out again, wherein both the plugging process and the pulling process for the separating screen are realized predominantly vertically, characterized in that the separating screen is arranged on a slide-in frame, which interacts with the guide, and the slide-in frame and the guide are each of U-shaped form in a front view, and in that the slide-in frame bears not only the separating screen, but additionally a shut-off flap. the separating screen, by way of a closable opening in the bulky material-collecting tank, is configured to be selectively removable from said tank and re-insertable into it, and wherein the bulky material-collecting tank is configured with an inner-side guide for the separating screen, which is able to be plugged into said inner-side guide and pulled out again, wherein both the plugging process and the pulling process for the separating screen are realized predominantly vertically, characterized in that the separating screen is arranged on a slide-in frame, which interacts with the guide, and the slide-in frame and the guide are each of U-shaped form in a front view, and in that the slide-in frame bears not only the separating screen, but additionally a shut-off flap.
Device for separating a sawn timber package obtained by cutting from a log into main products and side products during longitudinal transport thereof, the device having at least one separating means positioned such that it engages, during a feed motion of the sawn timber package, in a sawing gap between single-cut or multi-cut portions of the main product and the side product and deflects the side product in a direction leading away from the main product, characterised in that the side product is arranged above and/or below the main product during the longitudinal transport of the sawn timber package, and as separating means, two rotatably mounted conical rollers are provided which each have a circumferential separating edge which is formed by two surfaces of revolution (11, 12) enclosing an acute angle, wherein the two conical rollers are arranged on both sides of the sawn timber package and are oriented such that they engage laterally in the horizontally extending sawing gap with the respective separating edges thereof and roll on the main product with said first surface of revolution (11, 12), while they deflect the side product from the main product with said second surface of revolution (11, 12). the side product is arranged above and/or below the main product during the longitudinal transport of the sawn timber package, and as separating means, two rotatably mounted conical rollers are provided which each have a circumferential separating edge which is formed by two surfaces of revolution (11, 12) enclosing an acute angle, wherein the two conical rollers are arranged on both sides of the sawn timber package and are oriented such that they engage laterally in the horizontally extending sawing gap with the respective separating edges thereof and roll on the main product with said first surface of revolution (11, 12), while they deflect the side product from the main product with said second surface of revolution (11, 12).
A bending section for an endoscope comprising a number of segments (11, 12, 13), where adjacent segments (11, 12; 12, 12; 12, 13) are connected by a first hinge and a second hinge defining a hinge plane, both the first and the second hinges (14, 24) are made integrally from the same material as the segments (11, 12, 13), the first and second hinges (14, 24) are arranged for allowing the connected segments (11, 12; 12, 12; 12, 13) to bend in a bending plane, characterized in that a second hinge at the distal end of a segment forms a continuous rib in said hinge plane and perpendicular to the bending plane, with the second hinge at the proximal end of the segment, so as to separate two passages (18, 19), which are formed in each segment and continue through the whole bending section.
An apparatus, comprising: a reagent container comprising: a first sidewall; a second sidewall opposite the first sidewall; a top wall coupled to the first sidewall and the second sidewall; and a bottom wall opposite the top wall, the bottom wall coupled to the first sidewall and the second sidewall; and a first baffle extending from the bottom wall, the first baffle spaced apart from the first sidewall, the second sidewall, and the top wall, characterized in that said first baffle has a c-shaped cross-section. a reagent container comprising: a first sidewall; a second sidewall opposite the first sidewall; a top wall coupled to the first sidewall and the second sidewall; and a bottom wall opposite the top wall, the bottom wall coupled to the first sidewall and the second sidewall; and a first sidewall; a second sidewall opposite the first sidewall; a top wall coupled to the first sidewall and the second sidewall; and a bottom wall opposite the top wall, the bottom wall coupled to the first sidewall and the second sidewall; and a first baffle extending from the bottom wall, the first baffle spaced apart from the first sidewall, the second sidewall, and the top wall, characterized in that said first baffle has a c-shaped cross-section.
Nut plate predominantly made of hardened steel for use in a car body, characterized in that the hardened steel of the nut plate comprises 0.0012-0.006 weight% of boron B, 0.8-1.6 weight% of manganese Mn, 0.16-0.3 weight% of carbon C, 0.16-0.42 weight% of silicon Si, at most 0.04 weight% of phosphor P, and at most 0.012 weight% of sulfur S, the balance being Iron Fe.
Device for controlling the position of a printing material in a circumferential direction in a machine for processing printing material using at least 3 sensors (3a, 3b, 4), one of which detects the lateral position and two (3a, 3b) of which detect the circumferential register, characterized in that the two circumferential register sensors (3a, 3b) are disposed to be laterally offset by a multiple plus a fraction of a colour measurement field and detect an edge of a colour measurement strip having colour measurement fields or of a colour measurement strip having colour measurement fields and marks on a printing material, and in that by analysing the lateral sensor that sensor (3a, 3b) is analysed whose analysation range is located within a colour measurement field or a mark.