Methods and systems to identify and reproduce concurrency bugs in multi-threaded programs are disclosed. An example method disclosed herein includes defining a data type. The data type includes a first predicate associated with a first thread of a multi-threaded program that is associated with a first condition, a second predicate that is associated with a second thread of the multi-threaded program, the second predicate being associated with a second condition, and an expression that defines a relationship between the first predicate and the second predicate. The relationship, when satisfied, causes the concurrency bug to be detected. A concurrency bug detector conforming to the data type is used to detect the concurrency bug in the multi-threaded program.

The invention relates to a method of use of certain derivatives of formula (I) in the form of any one of its stereoisomers or a mixture thereof, and wherein R1 represents a hydrogen atom, a C1-4 alkyl or alkenyl group, or a (CHR)2OH group, each R being a hydrogen atom or a methyl group; R2 represents a hydrogen atom or a methyl, ethyl or n-propyl group; and R3 represents a hydrogen atom or a methyl group, as perfuming ingredients. The present invention concerns also certain compounds and compositions or articles containing such compounds.

The present invention concerns a compound of formula wherein R represents a hydrogen atom or a C1-2 alkyl or alkoxyl group; each R1, R2 or R3 represents a hydrogen atom or a methyl or ethyl group; and X represents a CHO, COOR4 or CN group, R4 being a methyl or ethyl group; and at least one of said R, R1 or R2 represents a group containing at least one carbon atom; and it use as perfuming ingredient, for instance to impart odor notes of the floral and/or anis type.

Absorbent articles provided with an odor control system. The odor control system includes at least two classes of odor control materials, wherein one class acts on malodors or a malodorous substance in the absorbent article and a second class acts on nose receptors. The classes of odor control materials may be selected to provide a synergistic effect in terms of malodor reduction.

It is to provide a technique for preventing aggregation or caking of menthol at the time of its keeping. In addition, it is to provide a lipid composition, which can show excellent thermal stability even in the case of high temperature at the time of keeping menthol and at the time of blending in a product, does not cause mutual aggregation of powders, particles, flakes, pellets, sticks and the like of menthol, and can maintain its shape retention property. From 10 to 50% by mass of sterols are added to and mixed with from 50 to 90% by mass of menthol, and the resultant is melted with heating. Paraffins may be further added and mixed in an amount of 20% by mass or less, based on the lipid composition.

The present invention is directed to a novel fragrance compound, 3-methyl-cyclohexadec-6-enone.

The present invention relates to some perfuming ingredients which are esters of formula (I) wherein R1 and R2 represent each a hydrogen atom or a methyl or ethyl group; and R3 represents a C5-C8 group of formula satured or unsatured linear, branched or cyclic group.

(3S,5R)-3,8-dimethyl-5-(prop-1-en-2-yl)-octahydroazulen-1-ols, their use as flavor or fragrance ingredient, and a process of their production by oxidation in the presence of laccase.

Encapsulates, compositions, packaged products and displays comprising such encapsulates, and processes for making and using such encapsulates, compositions, packaged products and displays. Such compositions have improved deposition and retention properties that may impart improved benefit characteristics to a composition and/or situs.

The present invention relates to 1-(5-ethyl-5-methyl-1-cyclohexen-1-yl)-4-penten-1-one and its use as perfuming ingredient.

Compositions are provided that provide release of fragrance over an extended period of time. The compositions comprise a hydrophilically-modified cross-linked silicone elastomer and an acrylic rheology modifier.

A film formed from a water-soluble polymer matrix within which is contained at least one fragrance is provided. The film is water-sensitive (e.g., water-soluble, water-dispersible, etc.) so that upon contact with a sufficient amount of water, the polymer matrix loses its integrity over time to increasingly expose the fragrance to the ambient environment for releasing its odor. The ability to incorporate a fragrance into the polymer matrix is achieved in the present invention by controlling a variety of aspects of the film construction, including the nature of the fragrance, the nature of the water-soluble polymer, the manner in which the polymer matrix and fragrance are melt processed, etc. For example, the fragrance may be injected directly into the extruder and melt blended with the water-soluble polymer. In this manner, the costly and time-consuming steps of pre-encapsulation or pre-compounding of the fragrance into a masterbatch are not required. Furthermore, to obtain a balance between the ability of the fragrance to release the desired odor during use and likewise to minimize the premature exhaustion of the odor during melt processing, the fragrance is selected to have a boiling point (at atmospheric pressure) within a certain range, such as from about 125° C. to about 350° C.

A compound and a fragrance composition containing the same are provided, wherein the compound has a citrus odor in addition to a muguet odor, which is useful as a fragrance, is stable in an aqueous vehicle, and can provide a bright muguet odor with good fragrance retention by being blended with another fragrance. Particularly, they are 4(3)-(4-hydroxy-4-methylpentyl)-3-cyclohexene-1-carbonitrile and a fragrance composition containing 4(3)-(4-hydroxy-4-methylpentyl)-3-cyclohexene-1-carbonitrile.

The present invention relates to compounds of formula (I) in the form of any one of its stereoisomers or a mixture thereof, and wherein R1 represents a substituent of the benzene ring and is a bromine atom or a linear, branched or cyclic C1-8 alkyl, alkenyl, alkoxy or alkenyloxy group; R2 represents a C1-3 alkyl group; and R3 represents a hydrogen atom or a methyl or ethyl group; and their use as perfuming ingredients, for instance to impart odor notes of the watery/ozone type.

A fragrance mixture, preferably perfume oil, is described, comprising the constituents (a) (cyclopent-2-enyl ethyl acetate) and additionally (b) one or a plurality of fragrances, preferably with a floral odor note, from the group consisting of alcohols and aldehydes with a molecular weight of 210 g/mol or less and/or (c) one or a plurality of fragrances from the group consisting of ketones, ethers and esters with a molecular weight in the range from 190 g/mol through 250 g/mol.

1-(3/4-isobutyl-1/6-methylcyclohex-3-enyl)methanols and derivatives thereof having appreciable floral and hesperidic odor notes, their use as fragrance ingredient and perfumed products comprising them.

An aldehyde of formula (I) in the form of any one of its stereoisomers or a mixture thereof, wherein each dotted line, independently from each other, represents a single or double bond; n is 0 or 1; R1 is a hydrogen atom or a methyl group; R2 is a hydrogen atom or a methyl or ethyl group; and R3, which can be present in any of positions 2 to 6 of the cyclic moiety, is a hydrogen atom or a methyl or ethyl group, or a CH2 group bridging positions 3 and 6. Also, the use of the aldehyde as perfuming ingredient to impart odor notes of the aldehyde, lily of the valley type.

The invention relates to a process for rectificative separation of compositions of matter containing diastereomers of 2-isopropyl-5-methylcyclohexanol by using ionic liquids as extractants.

Recovery of ethanol from a crude ethanol product obtained from the hydrogenation of acetic acid using an extractive distillation column. A diluted acid stream, comprising less than 30 wt. % acetic acid, is used as the extractive agent and is fed at a point above the crude feed stream. The column yields a residue that comprises ethanol, acetic acid, and water. The diluted acid stream may be separated from the residue and returned to the extractive distillation column.

The present invention is directed to processes for the recovery of ethanol from a crude ethanol product obtained from the hydrogenation of acetic acid using a low energy process. The crude ethanol product is separated in one or more columns. At least one of the columns is operated at a controlled pressure to enhance separation of ethanol and organics. In one embodiment, there are at least two columns that operate at controlled pressures.

The present invention is directed to processes for recovering ethanol obtained from the hydrogenation of acetic acid. Acetic acid is hydrogenated in the presence of a catalyst in a hydrogenation reactor to form a crude ethanol product. The crude ethanol product is separated in one or more columns to recover ethanol. In some embodiments, less than 10 wt. % ethanol is recycled to the hydrogenation reactor.

The present invention relates to catalysts and to chemical processes employing such catalysts. The catalysts are preferably used for converting acetic acid to ethanol. The catalyst comprises acidic sites and two or more metals. The catalyst has acidic sites on the surface and the balance favors Lewis acid sites.

A process is disclosed for producing ethanol comprising contacting acetic acid and hydrogen in a reactor in the presence of a catalyst comprising a binder and a mixed oxide comprising nickel and tin.

Disclosed herein are processes for alcohol production by reducing an esterification product, such as ethyl acetate. The processes comprise esterifying acetic acid and an alcohol such as ethanol to produce an esterification product. The esterification product may be recovered using an extractive separation. The esterification product is reduced with hydrogen in the presence of a catalyst to obtain a crude reaction mixture comprising the alcohol, in particular ethanol, which may be separated from the crude reaction mixture.

The present invention relates to a method for preparing menthone, starting from isopulegol, using specific homogeneous catalysts.

A process for obtaining an industrially useful 2-chloromethylbenzaldehyde-containing liquid composition at a high yield is provided. More specifically, a process for producing 2-chloromethylbenzaldehyde comprising step (A) of mixing 1-dichloromethyl-2-chloromethylbenzene and sulfuric acid having a concentration of 84.5% by weight or more; and step (B) of mixing a mixture obtained in step (A) and water is provided.

The present invention provides an easy process for purifying phenol by separating carbonyl compounds through selective hydrogenation of the compounds to the corresponding alcohols then distillation. The phenol purification process of the present invention comprises bringing phenol into contact with a copper-based catalyst in the presence of hydrogen to convert carbonyl compounds contained in the phenol to the corresponding alcohol compounds, and separating the alcohol compounds and phenol by distillation.

In a process for the dehydrogenation of cyclohexanone to produce phenol, a feed comprising cyclohexanone is contacted with a dehydrogenation catalyst under dehydrogenation conditions comprising a temperature of less than 400° C. and a pressure of less than 690 kPa, gauge, such 0.1 to 50 wt % of the cyclohexanone in said feed is converted to phenol and the dehydrogenation product contains less than 100 ppm by weight of alkylbenzenes.

In a process for producing phenol, cyclohexylbenzene is contacted with oxygen in the presence of an oxidation catalyst comprising a cyclic imide under oxidation conditions effective to produce a product comprising cyclohexylbenzene hydroperoxide and unreacted cyclic imide catalyst. At least a portion of the product is contacted with a cleavage catalyst under conditions effective to convert at least a portion of the cyclohexylbenzene hydroperoxide into a second product comprising further unreacted cyclic imide catalyst, phenol, and cyclohexanone. A portion of the further unreacted cyclic imide catalyst may then be removed from the second product and optionally recycled back to the oxidation step.

Disclosed herein are processes for alcohol production by reducing ethyl acetate produced by hydrogenating acetic acid in the presence of a suitable catalyst. The product of the acetic acid hydrogenation is fed directly to a decanter to separate the hydrogenation product into an aqueous phase comprising water and ethanol and an organic phase comprising ethyl acetate. The organic phase is reduced with hydrogen in the presence of a catalyst to obtain a crude reaction mixture comprising the alcohol, in particular ethanol, which may be separated from the crude reaction mixture. Thus, ethanol may be produced from acetic acid through an ethyl acetate intermediate without an esterification step. This may reduce the recycle of ethanol in the hydrogenolysis process and improve ethanol productivity.

The present invention relates to the energy efficient and selective extraction of dilute concentrations of C2-C6 alcohols from an aqueous solution using liquid phase dimethyl ether.

A method for producing a phenylphosphonic acid metal salt composition, including reacting a phenylphosphonic acid compound (a) with a metal salt, metal oxide or metal hydroxide (b) that is present in an amount beyond the equivalent, the phenylphosphonic acid metal salt composition containing phenylphosphonic acid metal salt, and a surplus amount of the metal salt, the metal oxide or the surplus metal hydroxide (b). A crystal nucleating agent comprises the phenylphosphonic acid metal salt composition produced by the method.

A polyether polyol based on renewable materials is obtained by the in situ production of a polyether from a hydroxyl group-containing vegetable oil, at least one alkylene oxide and a low molecular weight polyol having at least 2 hydroxyl groups. The polyol is produced by introducing the hydroxyl group-containing vegetable oil, a catalyst and an alkylene oxide to a reactor and initiating the alkoxylation reaction. After the alkoxylation reaction has begun but before the reaction has been 20% completed, the low molecular weight polyol having at least 2 hydroxyl groups is continuously introduced into the reactor. After the in situ made polyether polyol product having the desired molecular weight has been formed, the in situ made polyether polyol is removed from the reactor. These polyether polyols are particularly suitable for the production of flexible polyurethane foams.

The present invention relates to a method for the hydroxylation of phenols and phenol ethers by means of hydrogen peroxide. The invention specifically relates to a method for the hydroxylation of phenol by means of the hydrogen peroxide. The method of the invention for the hydroxylation of a phenol or phenol ether by means of reacting said phenol or phenol ether with the hydrogen peroxide in the presence of an acid catalyst is characterized in that it includes mixing a phenol or phenol ether with a hydrogen peroxide solution in a mixing device under conditions enabling the conversion rate of the hydrogen peroxide to be minimized, and in that said reaction mixture is then placed in a piston flow reactor where the reaction leading to the production of the hydroxylated material takes place, the acid catalyst being fed into the mixing device and/or into the piston flow reactor.

In a process for the dehydrogenation of dehydrogenatable hydrocarbons, a feed comprising dehydrogenatable hydrocarbons is contacted with a catalyst comprising a support and a dehydrogenation component under dehydrogenation conditions effective to convert at least a portion of the dehydrogenatable hydrocarbons in the feed. The catalyst is produced by a method comprising treating the support with a liquid composition comprising the dehydrogenation component or a precursor thereof and at least one organic dispersant selected from an amino alcohol and an amino acid.

Processes are disclosed for the conversion of a carbohydrate source to hexamethylenediamine (HMDA) and to intermediates useful for the production of hexamethylenediamine and other industrial chemicals. HMDA is produced by direct reduction of a furfural substrate to 1,6-hexanediol in the presence of hydrogen and a heterogeneous reduction catalyst comprising Pt or by indirect reduction of a furfural substrate to 1,6-hexanediol wherein 1,2,6-hexanetriol is produced by reduction of the furfural substrate in the presence of hydrogen and a catalyst comprising Pt and 1,2,6-hexanediol is then converted by hydrogenation in the presence of a catalyst comprising Pt to 1,6 hexanediol, each process then proceeding to the production of HMDA by known routes, such as amination of the 1,6 hexanediol. Catalysts useful for the direct and indirect production of 1,6-hexanediol are also disclosed.

The present invention relates to a process for heat integration in the preparation of saturated C3-C20-alcohols, in which a hydrogenation feed comprising at least one C3-C20-aldehyde is hydrogenated in the presence of a hydrogen-comprising gas in a hydrogenation zone and a discharge is taken off from the hydrogenation zone and subjected to distillation in at least one distillation column to give a fraction enriched in saturated C3-C20-alcohols.

A process for preparation of 2-phenyl ethanol by catalytic hydrogenation of styrene oxide using a catalyst consisting of Pd (II) on basic inorganic support is investigated. The present invention comprises development of new Pd based catalysts. The present method yields 2-phenyl ethanol in 98% selectivity at total conversion of styrene oxide. The present process represents an environment friendly alternative to conventionally used methods in industry and eliminates the reduction step for catalyst preparation. In the present invention the active catalyst is generated in situ during the hydrogenation of styrene oxide. In addition, Pd (II) supported catalysts do not catch fire (non pyrophoric), can be stored under ambient conditions and produce very less or no dust which makes said catalysts suitable for industrial application.

A method for operating an internal combustion engine in which a speed-based feature of the internal combustion engine, which is correlated with an indicated mean effective pressure of the fuel, is determined during the warm-up of the internal combustion engine and an ideal fuel quantity, which is to be injected into at least one combustion chamber of the internal combustion engine during the warm-up, is ascertained therefrom.

There is provided an engine restart control device. A controller is configured to stop an engine which is adapted to generate a driving force for running a vehicle when a predetermined stop condition is met and configured to restart the engine when a predetermined restart condition is met after stopping the engine. A steering torque detector is configured to detect a steering torque of a steering wheel which is adapted to be operated by a driver. The controller includes an origin torque setting unit configured to set the steering torque detected by the steering torque detector when the predetermined stop condition is met and the engine is stopped as an origin torque. The controller restarts the engine when the steering torque detected by the steering torque detector exceeds a predetermined threshold with reference to the origin torque set by the origin torque setting unit.

Disclosed is a feature for a vehicle that enables taking precautionary actions in response to conditions on the road network around or ahead of the vehicle, in particular, a blind intersection along a section of road. A database that represents the road network is used to determine locations where a blind intersection is located along a section of road. Then, precautionary action data is added to the database to indicate a location at which a precautionary action is to be taken about the blind intersection located along the section of road. A precautionary action system installed in a vehicle uses this database, or a database derived therefrom, in combination with a positioning system to determine when the vehicle is at a location that corresponds to the location of a precautionary action. When the vehicle is at such a location, a precautionary action is taken by a vehicle system as the vehicle is approaching a blind intersection.

A navigation system having a central device which uses a link shape compression unit to compress information of altitude changes of a road link obtained from a three-dimensional road map, and calculates a geometry parameter based on variation of energy of a vehicle travelling on the road link. An on-board terminal device estimates the vehicle's average travelling pattern by using a travel-pattern-estimation unit based on the geometry parameter calculated by the central device, a link-travelling time estimated from statistically-stored traffic information, and a link length. The on-board terminal device further calculates fuel consumption of the vehicle travelling on each road link based on the estimated travelling pattern and parameters of the vehicle by using a fuel-consumption calculation unit, and then, searches a fuel-efficient route by using the fuel consumption as a link cost. The on-board terminal device has a vehicle-type selector for selecting a type of the vehicle.

A navigation system and various methods of using the system are described herein. Search query results are refined by the system and are prioritized based at least in part upon sub-search categories selected during the searching process. Sub-searches can be represented by graphical icons displayed on the user interface.

Various methods, apparatuses and/or articles of manufacture are provided which may be implemented to estimate a trajectory of a mobile device within an indoor environment. In some embodiments, the trajectory may be estimated without the use of any signal-based positioning information. For example, a mobile device may estimate such a trajectory based, at least in part, on one or more sensor measurements obtained at the mobile device, and further affect the estimated trajectory based, at least in part, on one or more objects identified in an electronic map of the indoor environment.

A method of monitoring an engine coolant system includes modeling the total energy stored within an engine coolant. If an actual temperature of the engine coolant is below a minimum target temperature, the modeled total energy stored within the energy coolant is compared to a maximum stored energy limit to determine if sufficient energy exists within the engine coolant to heat the engine coolant to a temperature equal to or greater than the minimum target temperature. The engine coolant system fails the diagnostic check when the modeled total energy stored within the energy coolant is greater than the maximum stored energy limit, and the minimum target temperature has not been reached.

Vehicle event recorder systems are arranged to be in constant communication with remote servers and administrators via mobile wireless cellular networks. Vehicle event recorders equipped with video cameras capture video and other data records of important events relating to vehicle use. These data are then transmitted over special communications networks having very high coverage space but limited bandwidth. A vehicle may be operated over very large region while maintaining continuous communications connections with a remote fixed server. As such, systems of these inventions may be characterized as including a mobile unit having: a video camera; a microprocessor; memory; an event trigger; and mobile wireless transceivers, and a fixed network portion including: mobile wireless cellular network, a protocol translation gateway, the Internet and an application-specific server.

A method of patterning a plurality of layers of a work piece in a series of writing cycles in one or a plurality of write machines, the workpiece being deviced to have a number of N layers and layers of the workpiece having one or a plurality of boundary condition(s) for pattern position, the method comprising the steps of: determining the boundary conditions of layers 1 to N, calculating deviations due to the boundary conditions and calculating a compensation for the deviation of the first transformation added with the assigned part of the deviation due to the boundary conditions.

A system, method, and computer program product for automatically generating equivalent assertions in different forms for different verification tools, which may be analog or digital. A user submits a set of logic assertions that, if unclocked, are converted to clocked assertions by generating and skewing clocks to ensure simulator uniformity. A stimulus is generated, perhaps at random, or input. A test bench is either input or synthesized. For each verification tool, the test bench is simulated and simulation results are captured. An assertion status difference engine evaluates result differences between the verification tools, and identifies and outputs differences indicating a significant inconsistency. Errors in verification tool implementation and user assertion coding can be detected. The simulators used may include SPICE and Verilog, or any other simulators that differ in type, simulation algorithm, input format, or vendor implementation.

A method includes providing a design of a semiconductor device such as a stacked CMOS device comprising a plurality of circuit elements to be assigned into a layout of a plurality of tiers, and identifying at least one first type of circuit element within the plurality of circuit elements based on at least one predetermined criterion. Each respective one of the at least one first type of circuit element is to be assigned to a respective designated one of the plurality of tiers. The method further includes dividing the remainder of the plurality of circuit elements into at least two groups of circuit elements based on circuit density, and assigning the at least one first type of circuit element and the at least two groups of circuit elements to respectively different ones of the plurality of tiers of the semiconductor device.

Aspects of the invention relate to techniques of generating guiding patterns for via-type feature groups. A guiding pattern may be constructed for a via-type feature group that comprises two or more via-type features in a layout design. A backbone structure may then be determined for the guiding pattern. Based on the backbone structure and a self-assembly model, simulated locations of the two or more via-type features are computed. The simulated locations are compared with targeted locations. If the simulated locations do not match the targeted locations based on a predetermined criterion, the simulated locations adjusted to derive modified locations. Using the modified locations, the above operations may be repeated until the simulated locations match the targeted location based on a predetermined criterion or for a predetermined number of times.