Abstract: Techniques are described for efficiently distributing across multiple computing resources satisfiability modulo theories (SMT) queries expressed in propositional logic with string variables. As part of the computing-related services provided by a cloud provider network, many cloud providers also offer identity and access management services, which generally help users to control access and permissions to the services and resources (e.g., compute instances, storage resources, etc.) obtained by users via a cloud provider network. By using resource policies, for example, users can granularly control which identities are able to access specific resources associated with the users' accounts and how those identities can use the resources. The ability to efficiently distribute the analysis of SMT queries expressed in propositional logic with string variables among any number of separate computing resources (e.g., among separate processes, compute instances, containers, etc.

Abstract: Techniques are described for efficiently distributing across multiple computing resources satisfiability modulo theories (SMT) queries expressed in propositional logic with string variables. As part of the computing-related services provided by a cloud provider network, many cloud providers also offer identity and access management services, which generally help users to control access and permissions to the services and resources (e.g., compute instances, storage resources, etc.) obtained by users via a cloud provider network. By using resource policies, for example, users can granularly control which identities are able to access specific resources associated with the users' accounts and how those identities can use the resources. The ability to efficiently distribute the analysis of SMT queries expressed in propositional logic with string variables among any number of separate computing resources (e.g., among separate processes, compute instances, containers, etc.

Abstract: The invention relates to a method for transporting a product (50), wherein a carrier (10) is used for receiving and carrying the product (50), at least one variable is detected that is representative for a moving state of the carrier (10) and thus, the moving state of the carrier (10) with or without product (50), prior to, during, and/or after a transport process of the carrier (10), (a) from a variable representative of a change in the moving state of the carrier (10), and/or (b) from a variable representative for a means for reaching and/or maintaining a moving state of the carrier (10) with or without product (50), the mass of the product (50) is determined.

Abstract: The invention relates to a method for transporting a product (50), wherein a carrier (10) is used for receiving and carrying the product (50), at least one variable is detected that is representative for a moving state of the carrier (10) and thus, the moving state of the carrier (10) with or without product (50), prior to, during, and/or after a transport process of the carrier (10), (a) from a variable representative of a change in the moving state of the carrier (10), and/or (b) from a variable representative for a means for reaching and/or maintaining a moving state of the carrier (10) with or without product (50), the mass of the product (50) is determined.

Abstract: The present invention relates to a method for physical plant treatment by means of electrostatic charge, wherein a transfer of the electrostatic charge takes place via water treated by way of an influence process, wherein the water comprises water clusters having an electron deficit due to the treatment by means of an influence process, wherein the water treated by means of an influence process can be obtained by the following process steps: Introducing the water to be treated into a galvanic element, Aligning the charges and free electrons in the electric field, Separating the charges by motion and by the influence resulting therefrom and Collecting and discharging the de-electronized positively-charged fraction. The method for physical plant treatment allows comprehensive and effective control of fungal diseases, simultaneously avoiding toxicological impact on the environment.

Abstract: The present invention relates to a forming shoulder of a tubular bag forming, filling and sealing machine, wherein the forming shoulder (2) is produced from a porous material and is divided into individual segments (3). (FIG.

Abstract: A method for manufacturing an organic device includes the steps of applying a photoresist onto at least an active first region arranged on a substrate of the organic device, and removing the photoresist from the substrate in a second region adjacent to the active first region. Additionally, the method includes the steps of applying a passivation layer onto the first and second regions and removing the photoresist and the passivation layer in the active first region.

Abstract: A method for manufacturing an organic device includes the steps of applying a photoresist onto at least an active first region arranged on a substrate of the organic device, and removing the photoresist from the substrate in a second region adjacent to the active first region. Additionally, the method includes the steps of applying a passivation layer onto the first and second regions and removing the photoresist and the passivation layer in the active first region.

Abstract: Electrochemically-treated water having an electron deficiency is described, which may be attained by a process comprising the following steps: a) Electrolysing water, b) Withdrawing a portion of the catholyte from the system, and c) Introducing the remaining catholyte into the anodic chamber.

Abstract: The present invention relates to a method for physical plant treatment by means of electrostatic charge, wherein a transfer of the electrostatic charge takes place via water treated by way of an influence process, wherein the water comprises water clusters having an electron deficit due to the treatment by means of an influence process, wherein the water treated by means of an influence process can be obtained by the following process steps: Introducing the water to be treated into a galvanic element, Aligning the charges and free electrons in the electric field, Separating the charges by motion and by the influence resulting therefrom and Collecting and discharging the de-electronised positively-charged fraction. The method for physical plant treatment allows comprehensive and effective control of fungal diseases, simultaneously avoiding toxicological impact on the environment.

Abstract: Electrochemically-treated water having an electron deficiency is described, which may be attained by a process comprising the following steps: a) Electrolysing water, b) Withdrawing a portion of the catholyte from the system, and c) Introducing the remaining catholyte into the anodic chamber.

Abstract: The present invention relates to electrochemically treated water, obtainable by means of a method that is characterized by the following steps: a) electrolyzing water and b) reducing the concentrations of the oxidants created in step a). The electrochemically treated water obtained in this manner is characterized by a disinfecting effect on bacteria, bacterial spores, fungi, fungal spores, viruses, prions, or mixtures thereof. The invention further relates to water, characterized in that the same has a disinfecting effect on bacteria, bacterial spores, fungi, fungal spores, viruses, algae, prions, or mixtures thereof, that it is substantially free of disinfection agents with the exception of the oxidants related to the disinfection agents, and that it has a total concentration of oxidants of less than 20 ppm.

Abstract: In a process for cleaning beverage filling plants, one or more beverage filling devices (30) including a filling head (32) inside a beverage filling chamber (20) of the beverage filling line (20) are rinsed during the operation of the beverage filling line continuously or intermittently with an aqueous, hygienically non-hazardous cleaning agent (110), present at ambient temperature. Preferably, in addition, vessels (48) which, in the beverage filling chamber (40a) are filled with a beverage (35) and/or a conveyer device (6) for conveying the vessels to the beverage filling chamber (20), are rinsed continuously or intermittently with the cleaning agent (110). The cleaning agent preferably has disinfectant activity.

Abstract: A description is given of an illumination device which emits mixed-color light containing light of at least two different color channels (R, R1, G, G1, B, B1). The illumination device contains at least one primary light source (1) of a first color, the light of which forms a first color channel (R, R1, G, G1, B, B1), and at least one primary light source (1) of a second color, the light of which forms a second color channel (R, R1, G, G1, B, B1), at least one sensor device (3), which is positioned such that it can receive mixed-color light and is suitable for detecting brightness of light of a wavelength range comprising the color channels (R, R1, G, G1, B, B1) and which determines the brightnesses of the different color channels (R, R1, G, G1, B, B1) separately and repeatedly during operation.

Abstract: A description is given of an illumination device which emits mixed-color light containing light of at least two different color channels (R, R1, G, G1, B, B1). The illumination device contains at least one primary light source (1) of a first color, the light of which forms a first color channel (R, R1, G, G1, B, B1), and at least one primary light source (1) of a second color, the light of which forms a second color channel (R, R1, G, G1, B, B1), at least one sensor device (3), which is positioned such that it can receive mixed-color light and is suitable for detecting brightness of light of a wavelength range comprising the color channels (R, R1, G, G1, B, B1) and which determines the brightnesses of the different color channels (R, R1, G, G1, B, B1) separately and repeatedly during operation.