Abstract: The present invention relates to efficient processes useful in the preparation of fluorinated cyclic dinucleosides, such as [P(R)]-2?-deoxy-2?-fluoro-5?-O—[(R)-hydroxymercaptophosphinyl]-P-thio-?-D-arabino-adenylyl-(3??5?)-3?-deoxy-3?-fluoroguanosine cyclic nucleotide, which is also known as (2R,5R,7R,8S,10R,12aR,14R,15S,15aR,16R)-7-(2-amino-6-oxo-1,6-dihydro-9H-purin-9-yl)-14-(6-amino-9H-purin-9-yl)-15,16-difluoro-2, 10-bis(sulfanyl)octahydro-2H,10H, 12H-2?5,10?5-5,8-methanofuro[3,2-1][1, 3,6,9,11,2,10]pentaoxadiphosphacyclotetradecine-2,10-dione. The present invention also encompasses intermediates useful in the disclosed synthetic processes and the methods of their preparation.

Abstract: This invention provides processes for the preparation of verubecestat (Compound of Formula (I)), a potent inhibitor of BACE-1 and BACE-2. In addition, the invention provides certain synthetic intermediates which are useful, among other things, for the preparation of the Compound of Formula (I).

Abstract: A process for the preparation of N-protected 6-(piperidin-4-ylcarbamoyl)piperidin-3-yl sulfonates of Formula (III): which comprises contacting a lactone of Formula (II): with an azacycloalkylamine of formula (II-Am): followed by contact with a sulfonyl halide of formula (II-Su): R4—SO2W (II-Su) in the presence of tertiary amine base, wherein PG1 and PG2 are amine protective groups; k, p and q are 0, 1, or 2, and W, R2, R3, R4, R5, R6, R7, R8, and R9 are defined herein. Additional embodiments add a series of process steps leading to the synthesis of 7-oxo-1,6-diazabicyclo[3.2.1]octanes suitable for use as ?-lactamase inhibitors.

Abstract: A process for the preparation of N-protected 6-(piperidin-4-ylcarbamoyl)piperidin-3-yl sulfonates of Formula (III): which comprises contacting a lactone of Formula (II): with an azacycloalkylamine of formula (II-Am): followed by contact with a sulfonyl halide of formula (II-Su): R4—SO2W (II-Su) in the presence of tertiary amine base, wherein PG1 and PG2 are amine protective groups; k, p and q are 0, 1, or 2, and W, R2, R3, R4, R5, R6, R7, R8, and R9 are defined herein. Additional embodiments add a series of process steps leading to the synthesis of 7-oxo-1,6-diazabicyclo[3.2.1]octanes suitable for use as ?-lactamase inhibitors.

Abstract: Processes useful for the preparation of a Compound of Formula I: Formula (I). Intermediates useful for the preparation of the compound of Formula I, and processes useful for preparing said intermediates are disclosed.

Abstract: According to typical inventive practice, an algorithm controls a reformer in order to produce a pure hydrogen stream for a hydrogen-using device. The inventive algorithmic feedback control maintains the permeate hydrogen stream at a permeate pressure setpoint. Pressure measurements are performed of the permeate hydrogen stream. Control data (e.g., including a “lookup” table) establishes at least three output levels (scaled from zero output to maximum output) of the permeate hydrogen stream and, for each output level, five variable setpoints (air flow rate, hydrocarbon flow rate, and steam flow rate preceding the reformer reaction; steam flow rate preceding the water-gas shift reaction; shaft rotational speed in the energy recovery device). The pressure signals and the control data are processed to determine the optimal output level and the associated variable setpoints. Control signals are sent to adjust the variables to the determined variable setpoints.

Abstract: Processes useful for the preparation of a Compound of Formula I: Formula (I). Intermediates useful for the preparation of the compound of Formula I, and processes useful for preparing said intermediates are disclosed.

Abstract: A method of verifying properties of a source program includes creating a directed multigraph from the source program. The directed multigraph is then minimized by identifying removable vertices in the multigraph. Based on the minimization of the directed multigraph, the source program is transformed by inlining variables in the source program to produce a transformed program. The transformed program is then model checked using a model checking tool in order to verify properties of the source program.

Abstract: A system and process for optimizing vehicle service intervals for a plurality of vehicle service items begins with determination of a minimum service interval. The minimum service interval is set by the need to provide critical, though routine services such as engine oil changes and chassis lubrication. Multiple potential service intervals exist for at least one component, typically engine oil changes, based on different vehicle operating variables. Depending upon the character of vehicle use, one variable will control determination of the recommended interval for engine oil, which, after conversion to distance, is compared with the chassis lubrication to find the minimum service interval. Additional components/fluids are included for service based on operational variables selected to determine service intervals for these components.

Abstract: A system and process for optimizing vehicle service intervals for a plurality of vehicle service items begins with determination of a minimum service interval. The minimum service interval is set by the need to provide critical, though routine services such as engine oil changes and chassis lubrication. Multiple potential service intervals exist for at least one component, typically engine oil changes, based on different vehicle operating variables. Depending upon the character of vehicle use, one variable will control determination of the recommended interval for engine oil, which, after conversion to distance, is compared with the chassis lubrication to find the minimum service interval. Additional components/fluids are included for service based on operational variables selected to determine service intervals for these components.

Abstract: An idler or tensioning assembly for an electronically controlled sanding/polishing machine is provided, the sanding/polishing machine utilizing a plurality of exchangeable polishing wheel assemblies of which the idler assembly is one. Each polishing wheel assembly interfaces with the sanding/polishing machine through a coolant manifold and a polishing wheel shaft receptor. The idler assembly is operative to provide releasable tension to a sanding/polishing belt that is situated around the idler and the associated sanding/polishing wheel. The idler assembly has a pivoting idler that is actuated by a hydraulic cylinder. The hydraulic cylinder utilizes coolant tapped from the coolant manifold of the idler assembly for actuation. Coolant is provided to the hydraulic cylinder in response to a valve signal. The idler assembly thus has a tensioned mode and an untensioned mode.

Abstract: An idler or tensioning assembly for an electronically controlled sanding/polishing machine is provided, the sanding/polishing machine utilizing a plurality of exchangeable polishing wheel assemblies of which the idler assembly is one. Each polishing wheel assembly interfaces with the sanding/polishing machine through a coolant manifold and a polishing wheel shaft receptor. The idler assembly is operative to provide releasable tension to a sanding/polishing belt that is situated around the idler and the associated sanding/polishing wheel. The idler assembly has a pivoting idler that is actuated by a hydraulic cylinder. The hydraulic cylinder utilizes coolant tapped from the coolant manifold of the idler assembly for actuation. Coolant is provided to the hydraulic cylinder in response to a valve signal. The idler assembly thus has a tensioned mode and an untensioned mode.

Abstract: An idler or tensioning assembly for an electronically controlled sanding/polishing machine is provided, the sanding/polishing machine utilizing a plurality of exchangeable polishing wheel assemblies of which the idler assembly is one. Each polishing wheel assembly interfaces with the sanding/polishing machine through a coolant manifold and a polishing wheel shaft receptor. The idler assembly is operative to provide releasable tension to a sanding/polishing belt that is situated around the idler and the associated sanding/polishing wheel. The idler assembly has a pivoting idler that is actuated by a hydraulic cylinder. The hydraulic cylinder utilizes coolant tapped from the coolant manifold of the idler assembly for actuation. Coolant is provided to the hydraulic cylinder in response to a valve signal. The idler assembly thus has a tensioned mode and an untensioned mode.

Abstract: The invention integrates a general purpose computer with a controller area network to effect an inspection regimen through the controller area network A convenient user interface, combining handheld instruments and convention displays and printers allows the driver to interact with the system. The computer provides storage for programs and processing power to implement test regimens in logical order relating to completion of the inspection.

Abstract: The invention integrates a general purpose computer with a controller area network to effect an inspection regimen through the controller area network. A convenient user interface, combining handheld instruments and convention displays and printers allows the driver to interact with the system. The computer provides storage for programs and processing power to implement test regimens in logical order relating to completion of the inspection.

Abstract: The invention integrates a general purpose computer with a controller area network to effect an inspection regimen through the controller area network A convenient user interface, combining handheld instruments and convention displays and printers allows the driver to interact with the system. The computer provides storage for programs and processing power to implement test regimens in logical order relating to completion of the inspection.

Abstract: The invention integrates a general purpose computer with a controller area network to effect an inspection regimen through the controller area network. A convenient user interface, combining handheld instruments and convention displays and printers allows the driver to interact with the system. The computer provides storage for programs and processing power to implement test regimens in logical order relating to completion of the inspection.

Abstract: A data transmission system for external use with a controller area network is installed on a motor vehicle undergoing high intensity electromagnetic interference susceptibility testing. The data transmission system includes a fiber optic cable extending from the immediate vicinity of the truck to a site relatively remote to the truck and out of the effective area of the artificially generated electromagnetic interference. An optical/electrical coupler in close proximity to the motor vehicle is connected to the vehicle controller area network to convert messages occurring on the network to optical signals. The connection is provided by an electrical cable constructed of a twisted pair of wires. The optical/electrical coupler is also connected to an end of the fiber optic cable in the vicinity of the truck. A remote data processing device is attached to the remote end of the fiber optic cable by an interface card installed in the remote data processing device.

Abstract: A safety stanchion for supporting a safety cable includes a tapered tubular post having a lower end for attachment to a support base at an oblique angle and an upper end for supporting the safety cable. The post preferably has a wall thickness of less than 0.125 inches, is frustoconically shaped and is made out of an energy absorbing, elastic-like steel such as A595 grade steel which in cooperation with the post's wall thickness and tapered, preferably frustoconical, shape is believed to render the post capable of in elastically deforming before it fails. A unique base or base assembly for mounting a stanchion upon a structural member such as an I beam, H beam or other structural beam having flange portions is also provided.

Abstract: A distributed computing system using a data communications network may have a number of service providers for a given service or remote procedure call. A client on the network makes reference to a name service to obtain the network address of one of these service providers. The name service maintains for each client or group of clients a configuration profile of the service providers in order to resolve the issue of selecting one of the several service providers when a request is made. A single configuration profile is a priority-ordered search list that maps from a service identifier (e.g., remote procedure call interface specification) into service provider (e.g., remote procedure call server) names. A configuration profile may include names for individual service providers, and/or named groups of service providers, and/or other configuration profiles. Configuration profiles are stored in a manner that makes them accessible throughout the distributed system, e.g., in the name service.