Abstract: An object of the present invention is to provide an effective vaccine capable of preventing and treating congenital infection with CMV. The vaccine for preventing or treating congenital infection with cytomegalovirus (CMV) according to the present invention comprises a CMV envelope glycoprotein B (gB protein) antigen and a pentamer antigen.

Abstract: The present invention relates to a self-emulsifying polyisocyanate composition including a reaction mixture of (a) an anionic compound having a specific structure, (b) nonionic hydrophilic group-containing monofunctional alcohol having a specific structure, (c) organic polyisocyanate, and (d) tertiary amine, a two-part coating composition that contains the composition, and a coating film that can be obtained from the coating composition.

Abstract: The present invention provides a technology that acquires a high resolution iris image more quickly than before. An iris capture apparatus according to one example embodiment of the present invention includes a rotatable movable mirror; a control unit that controls rotation of the movable mirror; a capture unit that captures different regions of a face of a user via the movable mirror and outputs a group of images every time the control unit rotates the movable mirror by a predetermined angle; and an iris image acquisition unit that acquires an image of an iris of the user from the group of images.

Abstract: The present invention is directed to provide a modified CMV gB protein that can induce a group of antibodies including a high ratio of neutralizing antibodies that exhibit a high neutralizing activity against a CMV gB protein, in comparison with a wild type CMV gB, upon induction of immunity and that can be used in the prevention and/or treatment of CMV infection and a CMV vaccine comprising the modified CMV gB protein. The modified CMV gB protein according to the present invention is a modified CMV gB protein having an improved ability to induce body region-recognizing antibodies and comprising modification in a head region.

Abstract: A valve including a case 3, a tube 1 disposed in the case 3, a hinge fulcrum 4 disposed in the case 3, a contact member 5 connected to the hinge fulcrum 4 and capable of coming into contact with the tube 1, and a driving device 10 configured to apply a non-contact force to the contact member 5 from outside of the case 3 and change a contact force that is applied to the tube 1 by the contact member 5 to change an inner diameter of the tube 1.

Abstract: An etching device includes a discharge tube irradiated with microwaves and a gas supplying unit configured to supply a gas mixture to the discharge tube. The etching device is configured to generate plasma of the gas mixture in the discharge tube and etch a silicon-containing film on a substrate by delivering the plasma and a fluorine-containing gas to the silicon-containing film. The gas mixture contains hydrogen atoms, nitrogen atoms, and oxygen atoms. The discharge tube is formed from a main component of aluminum oxide.

Abstract: A manufacturing-apparatus design verification system includes a control-program slicing device that extracts a common group that collects circuit blocks that share a contact and a coil in a ladder program designed by a control-program design device. A identification device for identifying to-be-affected-by-change portions in final design products determines a correspondence among final design products of a machine design device, an electric design device, and the control-program design device in accordance with the extracted common group and, when a change is made to the final design product of any of the machine design device, the machine design device, and the control-program design device, identifies a portion to be affected by the change in the final design products of the other design devices different from the design device that has undergone the change.

Abstract: At least one processor included in an information processing apparatus carries out: a division process of dividing input constraint conditions into a plurality of groups; a conversion process of converting the constraint conditions into a predetermined format; and an integration process of integrating the constraint conditions which are expressed in the predetermined format. In the conversion process, the processor carries out, in a parallel manner, a plurality of processes which respectively correspond to the plurality of groups, where each of the plurality of processes is constituted by conversion processes on respective constraint conditions belonging to one group. This makes it possible to support decision making of a user.

Abstract: The present invention is related to a method for checking correctness of a PLC program described by functional specifications typically presented as a timing chart. The method comprises: —S1: translating the PLC program into a model, —S2: translating the timing chart and integrating said timing chart into the model, —S3: computing abstract semantics, to infer information eventually missing in the timing chart, —S4: predicating transformation, and deducing properties to be verified, from the model and from predefined PLC formalized instructions, in order to satisfy timing chart verification, —S5: solving and checking whether said properties are always verified, or providing counter-examples, —S6: translating said counter-examples into PLC model errors events initial configurations, —S7: simulating execution, —S8: assembling states and events executions variables values, and —S9: translating back to PLC program.

Abstract: The inconsistency determination device 1 includes inconsistency determination means 9. The inconsistency determination means 9 determines whether or not there is inconsistency in an expression, which is to be converted into an energy function of a model representing states of individual spins by a first value or a second value, representing energy in a combinatorial optimization problem.

Abstract: A method of screening for a substance that acts on a cell mass includes producing a cell mass by three-dimensional culture of primary cancer cells using a tumor tissue, adding a test substance to the cell mass, and evaluating an action of the test substance on the cell mass. The cell mass is produced by culturing cells obtained from the tumor tissue in a medium containing a 5% v/v or less extracellular matrix on a substantially low-adhesive cell culture substrate and producing the cell mass of the primary cancer cells.

Abstract: The feature information derivation means 72 derives feature information that represents a feature of a model used to solve a combinatorial optimization problem, when the model is given. The solution method selection means 73 selects a solution method for the combinatorial optimization problem from among predetermined multiple types of solution methods based on the feature information. The solution request means 74 send a solution request that includes information that can specify the model used to solve the combinatorial optimization problem to a solution device that solves the combinatorial optimization problem using the selected solution method.

Abstract: A valve including a case 3, a tube 1 disposed in the case 3, a hinge fulcrum 4 disposed in the case 3, a contact member 5 connected to the hinge fulcrum 4 and capable of coming into contact with the tube 1, and a driving device 10 configured to apply a non-contact force to the contact member 5 from outside of the case 3 and change a contact force that is applied to the tube 1 by the contact member 5 to change an inner diameter of the tube 1.

Abstract: The conversion means 72 generates a program for deriving a QUBO matrix that is a matrix that defines an energy function of QUBO, by converting a description of a natural language representing a combinatorial optimization problem into a description of the program for deriving the QUBO matrix. It is possible to generate a program for deriving a QUBO matrix based on a description of a natural language representing a combinatorial optimization problem.

Abstract: An information processing device that compares a data amount of a QUBO model to be processed by an annealing engine and a data amount of a program representing the QUBO model, and that transmits whichever has a lower data amount to the annealing engine.

Abstract: An isolator includes a substrate, a waveguide and an electronic circuit disposed above the substrate, and a non-reciprocal member disposed above the waveguide and the electronic circuit. The non-reciprocal member includes a first portion in contact with the waveguide and a second portion disposed within a predetermined range from the electronic circuit. Non-reciprocity in the second portion is weaker than non-reciprocity in the first portion.

Abstract: An optimization device includes a determination unit which determines weights for a plurality of constraint conditions imposed on a combinatorial optimization problem, respectively, and a generation unit which generates an energy function for the combinatorial optimization problem using a constant that is a sum of a constant used in formulation of an energy to be optimized in the combinatorial optimization problem and a sum over the plurality of constraint conditions of a constant used in formulation of an energy of one constraint condition multiplied by a weight determined for the one constraint condition.

Abstract: The annealing execution means 73 executes annealing using an energy function, when a solution to a combinatorial optimization problem, and the energy function of a model representing states of individual spins by a first value or a second value which is used to obtain the solution are given, and derives multiple new solutions to the combinatorial optimization problem. The solution determination means 74 determines a solution from among the multiple solutions derived by the annealing execution means 73, based on a solution determination rule for determining a solution among the multiple new solutions and the given solution to the combinatorial optimization problem.

Abstract: The difference matrix calculation means 72 calculates a difference matrix which is a difference between a first matrix representing a combinatorial optimization problem for which a solution was found last time and a second matrix representing the latest combinatorial optimization problem. The difference matrix compression means 73 compresses the difference matrix. The transmission means 74 transmits the difference matrix after compression to a combinatorial optimization problem solution device that finds a solution to the combinatorial optimization problem.

Abstract: A state output system includes a solving unit which executes a solving process for solving a combinatorial optimization problem by a simulated annealing method, an acquiring unit which acquires data indicating states of the solving process in execution from the solving unit, and an outputting unit which outputs the acquired data during the execution of the solving process.