Abstract: A method of analyzing a software program includes compiling the software program into an intermediate representation. The method also includes finding an instruction in the intermediate representation that matches a pattern in a check pattern. The method also includes generating an instrumented intermediate representation in which the instruction is modified according to an action specified in the check pattern. The method also includes symbolically executing the instrumented intermediate representation.

Abstract: An air-conditioning system includes: a first duct through which air discharged from an electronic instrument passes; a water vapor retention chamber; an evaporator configured to be heated by the air passing through the first duct and thereby to generate water vapor inside the water vapor retention chamber; a desiccant rotor including an adsorbent to adsorb moisture and configured to be driven and rotated by a driving unit; a humidification chamber; a second duct configured to feed outdoor air introduced from an outdoor space into the humidification chamber; and a third duct configured to feed the air passing through the humidification chamber into a room where the electronic instrument is installed, wherein a portion of the desiccant rotor is located inside the water vapor retention chamber, and another portion of the desiccant rotor is located inside the humidification chamber.

Abstract: An adsorbent for adsorption heat pumps, containing: activated carbon; and organic molecules each containing at least one hydrophilic functional group, where the organic molecules are provided in pores of the activated carbon.

Abstract: According to an aspect of an embodiment, a method of increasing efficiency of a software program may include executing a software program that is developed based on a dynamically-typed programming language. The method may also include determining, during execution of the software program, type information for variables included in the software program. Additionally, the method may include generating a modified software program based on the software program and the type information and distributing the modified software program.

Abstract: Methods of making optical assemblies and electronic devices comprising, depositing a solid silicone-containing hot melt composition in powder form onto an optical surface of an optical device; and forming, from the silicone-containing hot melt composition, an encapsulant that substantially covers the optical surface of the optical device. In some embodiments, the silicone containing hot melt composition is a reactive or unreactive silicone-containing hot melt. In some embodiments, the composition is a resin-linear silicone-containing hot melt composition and the composition comprises a phase separated resin-rich phase and a phase separated linear-rich phase.

Abstract: A battery system includes a battery having a battery case and a resistor provided on at least one of surfaces of the battery case, and the resistor is made of a material having specific resistance not more than 10×10?8 [?·m, 0° C.].

Abstract: A modular data center includes: a rack which houses an electronic device; a blower device capable of switching a flowing direction of air and configured to feed the air into the rack; a space housing a moisture absorbent; an in-rack temperature detector which detects a temperature inside the rack; a dew-point temperature detector which detects a dew-point temperature of outside air; and a controller. The controller receives signals inputted from the in-rack temperature detector and the dew-point temperature detector, and controls shutters and the blower device.

Abstract: The present invention relates to an active cathode material of the general formula (I) MxNiaM1bM2c02 (I) in which the variables are each defined as follows: M is an alkali metal, M1 is V, Cr, Mn, Fe or Co, M2 is Ge, Sn, Ti or Zr, x is in the range from 0.7 to 1.3, a is in the range from 0.15 to 0.4, b is in the range from 0.2 to 0.7, c is in the range from 0.15 to 0.4, wherein a+b+c=1. The present invention further relates to an electrode material comprising said active cathode material, to electrodes produced from or using said electrode material and to a rechargeable electrochemical cell comprising at least one electrode. The present invention further relates to a process for preparing said active cathode material of the general formula (I).

Abstract: This invention relates to a curable silicone composition comprising: (A) a straight-chain organopolysiloxane having at least two alkenyl groups in a molecule; (B) an organopolysiloxane represented by the following average unit formula: (R1SiO3/2)a (R12SiO2/2)b(R13SiO1/2)c(SiO4/2)d(XO1/2)e wherein, R1 each independently represent an alkyl group having from 1 to 12 carbons, an alkenyl group having from 2 to 12 carbons, an aryl group having from 6 to 20 carbons, an aralkyl group having from 7 to 20 carbons, or a group in which some or all of the hydrogen atoms of these groups are substituted with halogen atoms, with the proviso that at least two R1 in a molecule are the alkenyl groups, X is a hydrogen atom or an alkyl group, a is a number from 0 to 0.3, b is 0 or a positive number, c is a positive number, d is a positive number, e is a number from 0 to 0.4, a+b+c+d=1, c/d is a number from 0 to 10, and b/d is a number from 0 to 0.

Abstract: An adsorption-type heat pump includes an adsorber having an adsorbent and capable of switching between an adsorption process of causing an adsorbent to adsorb a refrigerant and a desorption process of desorbing a refrigerant from an adsorbent, a condenser, an evaporator, a first flow hole which causes a refrigerant to flow from the adsorber to the condenser, a second flow hole which causes a refrigerant to flow from the evaporator to the adsorber, and a seat valve body arranged on at least one of the first flow hole and the second flow hole, having a seat material and an opening and closing assisting plate material joined to an end part of the seat material and formed by a temperature-dependent material which deforms in accordance with temperature, and opening and closing at least one of the first flow hole and the second flow hole.

Abstract: Aspects may include a method of designing a system-on-chip. The method may include receiving multiple processing modules, each representing in software one of multiple processing units of a system-on-chip. The method may further include modeling communications from one or more of the multiple processing modules as accesses to memory. The method may further include generating a coherent memory module associated with the multiple processing modules based on modeling the communications from the one or more of the multiple processing modules as accesses to memory. The coherent memory module may represent in software a coherent memory associated with the multiple processing units.

Abstract: A method of verifying software may include receiving a portion of a software program that includes multiple functions. The method may also include clustering the functions into two or more clusters of functions and generating a symbolic driver for each of the clusters of functions such that multiple symbolic drivers are generated. The clusters of functions may be symbolically executed using the symbolic drivers to generate concrete test cases for the functions in the clusters. In response to the coverage of the symbolic execution of the clusters of functions being less than a particular coverage or a number of the concrete test cases being more than a particular number of concrete test cases, the method may include re-clustering the functions.

Abstract: The present invention relates to an active cathode material of the general formula (I): MxNiaM1bM2cOc (I) in which the variables are each defined as follows: M is an alkali metal, M1 is V, Cr, Mn, Fe or Co, M2 is Ge, Sn, Ti or Zr, x is in the range from 0.5 to 0.8, a is in the range from 0.1 to 0.4, b is in the range from 0.05 to 0.6, c is in the range from 0.05 to 0.6, wherein a+b+c=1. The present invention further relates to an electrode material comprising said active cathode material, to electrodes produced from or using said electrode material and to a rechargeable electrochemical cell comprising at least one electrode. The present invention further relates to a process for preparing said active cathode material of the general formula (I).

Abstract: A servo press system in which a servo transfer device implements a transfer operation by utilizing first transfer operation instruction information that is generated depending on a mechanical motion state of a press element of a servo press or second transfer operation instruction information that is generated independently of the mechanical motion state of the press element during a press operation using a pendulum motion.

Abstract: Aspects may include a method of designing a system-on-chip. The method may include receiving multiple processing modules, each representing in software one of multiple processing units of a system-on-chip. The method may further include modeling communications from one or more of the multiple processing modules as accesses to memory. The method may further include generating a coherent memory module associated with the multiple processing modules based on modeling the communications from the one or more of the multiple processing modules as accesses to memory. The coherent memory module may represent in software a coherent memory associated with the multiple processing units.

Abstract: The present invention relates to a curable silicone composition comprising: (A) an organopolysiloxane composed of: (A-1) a linear organopolysiloxane having at least two silicon-bonded alkenyl groups in a molecule, and (A-2) a resin-like organopolysiloxane including 1.5 to 5.0% by weight alkenyl groups; (B) an organopolysiloxane having at least two silicon-bonded hydrogen atoms in a molecule; (C) a linear dialkyl polysiloxane having a viscosity at 25° C. of 2 to 10 mm2/s and having alkenyl groups capping both molecular chain terminals; and (D) a hydrosilylation reaction catalyst. The curable silicone composition forms a cured product having low surface tackiness and a low coefficient of friction.

Abstract: An embodiment includes a method for detecting a potential floating-point error in an addition or a subtraction instruction included in an operation. The method may include identifying a first operand and a second operand. The first operand and the second operand may be configured to be manipulated during execution of the instruction. The method may include copying a first exponent of the first operand to a first comparison register. The method may also include copying a second exponent of the second operand to a second comparison register. The method may further include comparing the first exponent in the first comparison register to the second exponent in the second comparison register. Based on the comparison, a determination may be made whether the instruction includes a potential floating-point error when executing the instruction using the first operand and the second operand formatted according to a first precision.

Abstract: A method to generate a human-friendly test context in a test proxy for a function under test may include generating an initial test context of the function under test. The method may also include enhancing a current test context with a new context enhancement. The method may also include adding a hint to the current test context. The current test context may include or be derived from the initial test context.

Abstract: The present invention relates to a curable silicone composition which is a hydrosilylation reaction curable silicone composition for sealing, coating, or adhering of an optical semiconductor element, and includes at least one type of compound selected from triazole-based compounds with the exception of benzotriazole. The curable silicone composition, for example, includes (A) an organopolysiloxane having at least 2 aliphatic unsaturated hydrocarbon groups per molecule, (B) an organopolysiloxane having at least two silicon-bonded hydrogen atoms per molecule, (C) at least one type of compound selected from among triazole-based compounds with the exception of non-substituted benzotriazole, and (D) a hydrosilylation reaction catalyst. The curable silicone composition forms a cured product having excellent transparency and thermal shock resistance, and the optical semiconductor device utilizing the composition has excellent reliability.

Abstract: A method to generate test double proxies for callee functions of a function under test may include generating an initial set of test double proxies with abstract test stubs for all callee functions called by the function under test. Each of the test double proxies in the initial set of test double proxies may correspond to a different one of the callee functions. The method may also include generating a first refined set of test double proxies that includes a first refined test stub instead of a first one of the abstract test stubs for a first test double proxy in the initial set of test double proxies in response to determining that refining the first one of the abstract test stubs improves a test coverage of the function under test.