methods Methods for removing weakly basic nitrogen compounds from a hydrocarbon stream using basic molecular sieves By www.freepatentsonline.com Published On :: Tue, 05 May 2015 08:00:00 EDT Disclosed is a method for removing weakly basic nitrogen compounds from a hydrocarbon feed stream by contacting the hydrocarbon feed stream with a basic catalyst to convert a portion of the weakly basic nitrogen compounds to basic nitrogen compounds. The method also includes contacting the hydrocarbon feed stream with an acidic adsorbent to adsorb the basic nitrogen compounds from the stream. The hydrocarbon feed stream comprises an aromatic compound and a weakly basic nitrogen compound. Full Article
methods Methods for removing weakly basic nitrogen compounds from a hydrocarbon stream using acidic clay By www.freepatentsonline.com Published On :: Tue, 12 May 2015 08:00:00 EDT Disclosed is a method for removing weakly basic nitrogen compounds from a hydrocarbon feed stream by contacting the hydrocarbon feed stream with acidic clay to produce a hydrocarbon effluent stream having a lower weakly basic nitrogen compound content relative to the hydrocarbon feed stream. The hydrocarbon feed stream comprises an aromatic compound and a weakly basic nitrogen compound. Full Article
methods Methods and apparatuses for isomerization of paraffins By www.freepatentsonline.com Published On :: Tue, 26 May 2015 08:00:00 EDT Embodiments of methods and apparatuses for isomerization of paraffins are provided. In one example, a method comprises the steps of separating an isomerization effluent into a product stream that comprises branched paraffins and a stabilizer vapor stream that comprises HCl, H2, and C6-hydrocarbons. C6-hydrocarbons are removed from the stabilizer overhead vapor stream to form a HCl and H2-rich stream. An isomerization catalyst is activated using at least a portion of the HCl and H2-rich stream to form a chloride-promoted isomerization catalyst. A paraffin feed stream is contacted with the chloride-promoted isomerization catalyst in the presence of hydrogen for isomerization of the paraffins. Full Article
methods Metal silicate nanosheets, methods of making metal silicate nanosheets, and methods of use By www.freepatentsonline.com Published On :: Tue, 12 May 2015 08:00:00 EDT Embodiments of the present disclosure relate to the preparation of colloidal dispersions or suspensions of inorganic materials with nano-sized and nano-structured morphologies, preferably the nanosheet form, compositions produced by this method, and the like. Full Article
methods Nanostructure, optical device including the same, and methods of manufacturing the nanostructure and the optical device By www.freepatentsonline.com Published On :: Tue, 12 May 2015 08:00:00 EDT A nanostructure, an optical device including the nanostructure, and methods of manufacturing the nanostructure and the optical device. A method of manufacturing a nanostructure may include forming a block copolymer template layer and a precursor pattern of metal coupled to the block copolymer template layer on a graphene layer, and forming a metal nanopattern on the graphene layer by removing the block copolymer template layer and reducing the precursor pattern. Full Article
methods Solid ganaxolone compositions and methods for the making and use thereof By www.freepatentsonline.com Published On :: Tue, 12 May 2015 08:00:00 EDT In certain embodiments, the invention is directed to composition comprising stable particles comprising ganaxolone, wherein the volume weighted median diameter (D50) of the particles is from about 50 nm to about 500 nm. Full Article
methods Methods of preparing metal quantum clusters in molecular confinement By www.freepatentsonline.com Published On :: Tue, 19 May 2015 08:00:00 EDT Methods for the synthesis of metal quantum clusters within the framework of a porous gel matrix are described. For example, Ag25(glutathione)18 quantum clusters are synthesized in a cross-linked polyacrylamide gel matrix. The methods can be performed on large-scale and yields monodispersed metal quantum clusters. Full Article
methods Rubber-containing bituminous mixtures and methods for making and using same By www.freepatentsonline.com Published On :: Tue, 28 Apr 2015 08:00:00 EDT Disclosed are methods for producing rubber-containing bituminous mixtures by pressurizing mixtures of bituminous materials, crumb rubber, and one or more suspension agents with a gas, and then reducing the pressure, creating bubbles of the gas in the mixture. Also disclosed are methods of introducing gas into such mixture by rapid mixing. Mixtures produced by the disclosed methods, such as rubber-containing asphalt mixtures and paving compositions thereof, and their use are also disclosed. Full Article
methods Dental prosthetics comprising curable acrylate polymer compositions and methods of their use By www.freepatentsonline.com Published On :: Tue, 12 May 2015 08:00:00 EDT Disclosed herein are acrylic and methacrylic acid ester-based polymeric materials containing as flexibilizing and brittleness reducing agents 1-60% of C4-C8 polyalkylene or polyalkyldiene compounds, preferably having a molecular weight of 300-2100, and the use of such materials in dentistry and medicine. Full Article
methods Coating/sealant systems, aqueous resinous dispersions, methods for making aqueous resinous dispersions, and methods of electrocoating By www.freepatentsonline.com Published On :: Tue, 12 May 2015 08:00:00 EDT A coating/sealant system that includes a coating and a sealant deposited over at least a portion of the coating, in which the coating includes a reaction product formed from reactants comprising a phosphated epoxy resin and a curing agent, and the sealant includes a sulfur-containing polymer. Full Article
methods Memories and methods for performing column repair By www.freepatentsonline.com Published On :: Tue, 26 May 2015 08:00:00 EDT Memory devices adapted to repair single unprogrammable cells during a program operation, and to repair columns containing unprogrammable cells during a subsequent erase operation. Programming of such memory devices includes determining that a single cell is unprogrammable and repairing the single cell, and repairing a column containing the single cell responsive to a subsequent erase operation. Full Article
methods Systems and methods for variable redundancy data protection By www.freepatentsonline.com Published On :: Tue, 26 May 2015 08:00:00 EDT The present inventions are related to systems and methods for data processing, and more particularly to systems and methods for variable rate coding in a data processing system. Full Article
methods Systems, methods and devices for multi-tiered error correction By www.freepatentsonline.com Published On :: Tue, 02 Jun 2015 08:00:00 EDT An error control encoding system produces a codeword from a data word, where the resulting codeword includes the data word and three or more parity segments produced using the data word. The system includes a first encoder to encode the data word in two or more first data segments in order to produce two or more first parity segments, where each of the two or more first data segments includes a respective sequential portion of the data word. The system includes a second encoder to encode the data word in one or more second data segments in order to produce a corresponding one or more second parity segments, where each of the one or more second data segments includes a respective sequential portion of the data word, and each of the one or more second data segments also includes a sequential portion of the data included in a plurality of the two or more first data segments. Further, the system includes a controller configured to provide the two or more first data segments of the data word to the first encoder for encoding and to provide the one or more second data segments of the data word to the second encoder for encoding. Full Article
methods Apparatus and methods for providing data integrity By www.freepatentsonline.com Published On :: Tue, 06 Oct 2015 08:00:00 EDT The present disclosure includes apparatus (e.g., computing systems, memory systems, controllers, etc.) and methods for providing data integrity. One or more methods can include, for example: receiving a number of sectors of data to be written to a number of memory devices; appending first metadata corresponding to the number of sectors and including first integrity data to the number of sectors, the first metadata has a particular format; generating second integrity data to be provided in second metadata, the second integrity data corresponding to at least one of the number of sectors (wherein the second metadata has a second format); and generating third integrity data to be provided in the second metadata, the third integrity data including error data corresponding to the second integrity data and the at least one of the number of sectors. Full Article
methods Methods of capturing and immobilizing radioactive nuclei with metal fluorite-based inorganic materials By www.freepatentsonline.com Published On :: Tue, 07 Apr 2015 08:00:00 EDT Methods of capturing and immobilizing radioactive nuclei with metal fluorite-based inorganic materials are described. For example, a method of capturing and immobilizing radioactive nuclei includes flowing a gas stream through an exhaust apparatus. The exhaust apparatus includes a metal fluorite-based inorganic material. The gas stream includes a radioactive species. The radioactive species is removed from the gas stream by adsorbing the radioactive species to the metal fluorite-based inorganic material of the exhaust apparatus. Full Article
methods Methods and apparatuses for digesting tissue By www.freepatentsonline.com Published On :: Tue, 28 Apr 2015 08:00:00 EDT Embodiments of this disclosure relate to tissue digestion and, more particularly, to methods and apparatuses for varying the number, size, and/or location of one or more tissue compartments within a digestive fluid vessel. Some examples include partitions that may be selectively positioned within a vessel (and may be selectively removable from the vessel) to create one or more tissue compartments. The partitions may be positioned, repositioned and rearranged within the vessel to form one or more tissue compartments. The partitions may be solid or include apertures, and may be oriented in horizontally and/or vertically. Alternate embodiments include one or more selectively closeable apertures that permit digestive fluid to circulate along alternate pathways, which can permit tissue digestion with reduced digestive fluid levels. Still further embodiments include baskets that are selectively positionable within the tissue digester. The baskets may also include one or more selectively positionable and/or repositionable partitions. Full Article
methods Systems and methods for anti-causal noise predictive filtering in a data channel By www.freepatentsonline.com Published On :: Tue, 05 May 2015 08:00:00 EDT Various embodiments of the present invention provide systems and methods for data processing. As an example, a data processing circuit is disclosed that includes a data detector circuit. The data detector circuit includes an anti-causal noise predictive filter circuit and a data detection circuit. In some cases, the anti-causal noise predictive filter circuit is operable to apply noise predictive filtering to a detector input to yield a filtered output, and the data detection circuit is operable to apply a data detection algorithm to the filtered output derived from the anti-causal noise predictive filter circuit. Full Article
methods Systems and methods for solving computational problems By www.freepatentsonline.com Published On :: Tue, 05 May 2015 08:00:00 EDT Solving computational problems may include generating a logic circuit representation of the computational problem, encoding the logic circuit representation as a discrete optimization problem, and solving the discrete optimization problem using a quantum processor. Output(s) of the logic circuit representation may be clamped such that the solving involves effectively executing the logic circuit representation in reverse to determine input(s) that corresponds to the clamped output(s). The representation may be of a multiplication circuit. The discrete optimization problem may be composed of a set of miniature optimization problems, where each miniature optimization problem encodes a respective logic gate from the logic circuit representation. A multiplication circuit may employ binary representations of factors, and these binary representations may be decomposed to reduce the total number of variables required to represent the multiplication circuit. Full Article
methods Systems and methods for medium access control By www.freepatentsonline.com Published On :: Tue, 12 May 2015 08:00:00 EDT Techniques for medium access control. Some techniques include receiving, at a first computing device, a solicitation for at least a first medium access request that specifies at least one time period for transmitting the first medium access request to the second computing device; encoding the first medium access request at least in part by using a compressive sensing encoding technique to obtain a first encoded medium access request; and transmitting the first encoded medium access request to the second computing device during the at least one time period specified in the received solicitation. Full Article
methods Methods for generating multi-level pseudo-random sequences By www.freepatentsonline.com Published On :: Tue, 26 May 2015 08:00:00 EDT A method for generating multi-level (or multi-bit) pseudo-random sequences is disclosed. This embodiment relates to communication systems, and more particularly to generating multi-level pseudo random symbol sequence. Present day systems do not employ effective mechanisms for generation of multi level PRBS in order to increase the data communication rates. Further, these systems do not cover all the possible transitions for the outputs of the system. The proposed system employs mechanisms in order to generate PRBS signals for producing multi levels signals to the electronic components. The mechanism employs alternate bit tapping techniques. In the alternate bit tapping technique, bits are tapped alternatively to determine the current state and the next state of the system. In addition, the mechanism also covers all the possible states of the output vector with transitions between the output states. This ensures that high data rates are obtained for a given bandwidth of operation. Full Article
methods UV-curable coating compositions with self-healing capabilities, coating films, and methods of producing coating films By www.freepatentsonline.com Published On :: Tue, 10 Mar 2015 08:00:00 EDT The present invention is directed to a coating composition including a (meth)acrylate binder resin, a UV initiator, an organic solvent, and silica particles surface-treated with a (meth)acrylate compound, a coating film including a cured product of the coating composition, and a method of producing the coating film. The present invention makes it possible to provide a coating material having high transmittance and a low level of haze, and excellent scratch resistance and self-healing capabilities. Full Article
methods Methods and systems for mapping a peripheral function onto a legacy memory interface By www.freepatentsonline.com Published On :: Tue, 26 May 2015 08:00:00 EDT A memory system includes a CPU that communicates commands and addresses to a main-memory module. The module includes a buffer circuit that relays commands and data between the CPU and the main memory. The memory module additionally includes an embedded processor that shares access to main memory in support of peripheral functionality, such as graphics processing, for improved overall system performance. The buffer circuit facilitates the communication of instructions and data between CPU and the peripheral processor in a manner that minimizes or eliminates the need to modify CPU, and consequently reduces practical barriers to the adoption of main-memory modules with integrated processing power. Full Article
methods Dongle device with video encoding and methods for use therewith By www.freepatentsonline.com Published On :: Tue, 26 May 2015 08:00:00 EDT A universal serial bus (USB) dongle device includes a USB interface that receives selection data from a host device that indicates a selection of a first video format from a plurality of available formats. The USB interface also receives an input video signal from the host device in the first video format and a power signal from the host device. An encoding module generates a processed video signal in a second video format based on the input video signal, wherein the first video format differs from the second video format. The USB interface transfers the processed video signal to the host device. Full Article
methods Apparatuses enabling concurrent communication between an interface die and a plurality of dice stacks, interleaved conductive paths in stacked devices, and methods for forming and operating the same By www.freepatentsonline.com Published On :: Tue, 01 Sep 2015 08:00:00 EDT Various embodiments include apparatuses, stacked devices and methods of forming dice stacks on an interface die. In one such apparatus, a dice stack includes at least a first die and a second die, and conductive paths coupling the first die and the second die to the common control die. In some embodiments, the conductive paths may be arranged to connect with circuitry on alternating dice of the stack. In other embodiments, a plurality of dice stacks may be arranged on a single interface die, and some or all of the dice may have interleaving conductive paths. Full Article
methods Electronic devices and methods for sharing peripheral devices in dual operating systems By www.freepatentsonline.com Published On :: Tue, 01 Dec 2015 08:00:00 EST A method for sharing peripheral devices in dual operating systems for an electronic device having at least one peripheral device is provided. The method includes: receiving a setting value for the peripheral device under the first operating system from a user; activating a second operating system; transmitting the setting value to the second operating system; and switching from the first operating system to the second operating system, wherein the second operating system sets the peripheral device with the setting value and enables the electronic device to operate under the second operating system. Full Article
methods Apparatus and methods for adaptive thread scheduling on asymmetric multiprocessor By www.freepatentsonline.com Published On :: Tue, 26 May 2015 08:00:00 EDT Techniques for adaptive thread scheduling on a plurality of cores for reducing system energy are described. In one embodiment, a thread scheduler receives leakage current information associated with the plurality of cores. The leakage current information is employed to schedule a thread on one of the plurality of cores to reduce system energy usage. On chip calibration of the sensors is also described. Full Article
methods Methods and apparatus for resource capacity evaluation in a system of virtual containers By www.freepatentsonline.com Published On :: Tue, 05 Jan 2016 08:00:00 EST Methods and apparatus are provided for evaluating potential resource capacity in a system where there is elasticity and competition between a plurality of containers. A dynamic potential capacity is determined for at least one container in a plurality of containers competing for a total capacity of a larger container. A current utilization by each of the plurality of competing containers is obtained, and an equilibrium capacity is determined for each of the competing containers. The equilibrium capacity indicates a capacity that the corresponding container is entitled to. The dynamic potential capacity is determined based on the total capacity, a comparison of one or more of the current utilizations to one or more of the corresponding equilibrium capacities and a relative resource weight of each of the plurality of competing containers. The dynamic potential capacity is optionally recalculated when the set of plurality of containers is changed or after the assignment of each work element. Full Article
methods Methods of preparing para-xylene from biomass By www.freepatentsonline.com Published On :: Tue, 03 Mar 2015 08:00:00 EST Methods or preparing para-xylene from biomass by carrying out a Diels-Alder cycloaddition at controlled temperatures and activity ratios. Methods of preparing bio-terephthalic acid and bio-poly(ethylene terephthalate (bio-PET) are also disclosed, as well as products formed from bio-PET. Full Article
methods Methods for producing 1-chloro-3,3,3-trifluoropropene from 2-chloro-3,3,3-trifluoropropene By www.freepatentsonline.com Published On :: Tue, 07 Apr 2015 08:00:00 EDT The present invention provides processes for the production of HCFO-1233zd, 1-chloro-3,3,3-trifluoropropene, from the starting material, 2-chloro-3,3,3-trifluoropropene (HCFO-1233xf). In a first process, HCFO-1233zd is produced by the isomerization of HCFO-1233xf. In a second process, HCFO-1233zd is produced in a two-step procedure which includes (i) dehydrochlorination of HCFO-1233xf into trifluoropropyne; and (ii) hydrochlorination of the trifluoropropyne into HCFO-1233zd. Full Article
methods Methods for the synthesis of 13C labeled iodotridecane and use as a reference standard By www.freepatentsonline.com Published On :: Tue, 21 Apr 2015 08:00:00 EDT A method for preparing 13C labeled iodotridecane represented by Formula A: The method comprises the conversion of 13C labeled propargyl alcohol to 13C labeled iodotridecane via alkylation of propargyl alcohol with iododecane. Full Article
methods Methods to separate halogentated olefins from 2-chloro-1,1,1,2-tetrafluoropropane using a solid adsorbent By www.freepatentsonline.com Published On :: Tue, 28 Apr 2015 08:00:00 EDT The present invention provides a method for separating halocarbons. In particular, the invention provides a method for separating halogenated olefin impurities from 2-chloro-1,1,1,2-tetrafluoropropane (HCFC-244bb) using a solid adsorbent, particularly activated carbon. More particularly the invention pertains to a method for separating 2-chloro-3,3,3-trifluoro-propene (HCFO-1233xf) from HCFC-244bb, which are useful as intermediates in the production of 2,3,3,3-tetrafluoropropene (HFO-1234yf). Full Article
methods Switchable hydrophilicity solvents and methods of use thereof By www.freepatentsonline.com Published On :: Tue, 02 Dec 2014 08:00:00 EST A solvent that reversibly converts from a hydrophobic liquid form to hydrophilic liquid form upon contact with water and a selected trigger, e.g., contact with CO2, is described. The hydrophilic liquid form is readily converted back to the hydrophobic liquid form and water. The hydrophobic liquid is an amidine or amine. The hydrophilic liquid form comprises an amidinium salt or an ammonium salt. Full Article
methods Fluid cocamide monoethanolamide concentrates and methods of preparation By www.freepatentsonline.com Published On :: Tue, 20 Jan 2015 08:00:00 EST The invention is drawn to fluid concentrate formulations of fatty acid monoethanolamides comprising (a) about 71-76% by weight of one or more C8-C22 fatty acid monoethanolamides, (b) about 15-17% by weight of water, and (c) about 10-12% by weight of one or more hydrotropes, based on the fluid formulation, wherein the fluid formulation is homogeneous, pumpable and color stable at a temperature of less than 55° C. A preferred embodiment is drawn to fluid concentrate formulations of cocamide monoethanolamide (CMEA) consisting of (a) about 71-76% by weight of CMEA, (b) about 15-17% by weight of water, and (c) about 10-12% by weight of glycerol, based on the fluid formulation. Methods of preparing the fluid concentrate formulations mulations are also disclosed. The fluid concentrate formulations of fatty acid monoethanolamides are useful in the preparation of cosmetic and pharmaceutical compositions. Full Article
methods Heterobifunctional poly(ethylene glycol) derivatives and methods for their preparation By www.freepatentsonline.com Published On :: Tue, 27 Jan 2015 08:00:00 EST This invention provides a method related to the preparation of derivatives of poly(ethylene glycol), wherein the method comprises increasing the pH of an aqueous composition comprising a poly(ethylene glycol) bearing a —O—(CH2)n—CO2R3 functional group to result in an aqueous composition comprising a poly(ethylene glycol) bearing a —O—(CH2)n—CO2H functional group, wherein R3 is alkyl and (n) in each instance is 1-6. Full Article
methods Polymer particles, nucleic acid polymer particles and methods of making and using the same By www.freepatentsonline.com Published On :: Tue, 10 Mar 2015 08:00:00 EDT The disclosure relates to methods of making polymer particles, said methods including the steps of: making an aqueous gel reaction mixture; forming an emulsion having dispersed aqueous phase micelles of gel reaction mixture in a continuous phase; adding an initiator oil comprising at least one polymerization initiator to the continuous phase; and performing a polymerization reaction in the micelles. Further, the initiator oil is present in a volume % relative to a volume of the aqueous gel reaction mixture of between about 1 vol % to about 20 vol %. The disclosure also relates to methods of making nucleic acid polymer particles having the same method steps and wherein the aqueous gel reaction mixture includes a nucleic acid fragment, such as a primer. Full Article
methods Methods for producing a dispersion containing silicon dioxide particles and cationization agent By www.freepatentsonline.com Published On :: Tue, 17 Mar 2015 08:00:00 EDT Process for preparing a dispersion comprising silicon dioxide particles and cationizing agents, by dispersing 50 to 75 parts by weight of water, 25 to 50 parts by weight of silicon dioxide particles having a BET surface area of 30 to 500 m2/g and 100 to 300 μg of cationizing agent per square meter of the BET surface area of the silicon dioxide particles, wherein the cationizing agent is obtainable by reacting at least one haloalkyl-functional alkoxysilane, hydrolysis products, condensation products and/or mixtures thereof with at least one aminoalcohol and water; and optionally removing the resulting hydrolysis alcohol from the reaction mixture. Also the process for preparing the dispersion, wherein the cationizing agent comprises one or more quaternary, aminoalcohol-functional, organosilicon compounds of formula III and/or condensation products thereof, wherein Ru and Rv are independently C2-4 alkyl group, m is 2-5 and n is 2-5. Full Article
methods Methods and apparatus for storing expanded width instructions in a VLIW memory for deferred execution By www.freepatentsonline.com Published On :: Tue, 28 Apr 2015 08:00:00 EDT Techniques are described for decoupling fetching of an instruction stored in a main program memory from earliest execution of the instruction. An indirect execution method and program instructions to support such execution are addressed. In addition, an improved indirect deferred execution processor (DXP) VLIW architecture is described which supports a scalable array of memory centric processor elements that do not require local load and store units. Full Article
methods Systems and methods for monitoring product development By www.freepatentsonline.com Published On :: Tue, 26 May 2015 08:00:00 EDT A computer-implemented method is provided for evaluating team performance in a product development environment. The method includes receiving a plurality of points of effort made by a team over a plurality of days in a time period, computing a slope associated with a line of best fit through the plurality of points of effort over the plurality of days, computing a deviation of the slope from an ideal slope corresponding to a desired performance rate for the team, and generating a display illustrating at least one of the slope, the ideal slope or the deviation. Full Article
methods Conducting verification in event processing applications using formal methods By www.freepatentsonline.com Published On :: Tue, 26 May 2015 08:00:00 EDT A method of applying formal verification methodologies to event processing applications is provided herein. The method includes the following stages: representing an event processing application as an event processing network, being a graph with event processing agents as nodes; generating a finite state machine based on the event processing network, wherein the finite state machine is an over-approximation of the event processing application; expressing stateful rules and policies that are associated with the event processing application using temporal logic, to yield a temporal representation of the event processing application; combining the temporal representation and the finite state machine into a model; generating a statement associated with a user-selected verification-related property of the event processing application, wherein the statement is generated using the temporal representation; and applying the statement to the model, to yield an indication for: (i) a correctness of the statement or (ii) a counter example, respectively. Full Article
methods Methods and devices for managing a cloud computing environment By www.freepatentsonline.com Published On :: Tue, 26 May 2015 08:00:00 EDT Methods, devices, and systems for management of a cloud computing environment for use by a software application. The cloud computing environment may be an N-tier environment. Multiple cloud providers may be used to provide the cloud computing environment. Full Article
methods Software modification methods to provide master-slave execution for multi-processing and/or distributed parallel processing By www.freepatentsonline.com Published On :: Tue, 26 May 2015 08:00:00 EDT In one embodiment of the invention, a method is disclosed for modifying a pre-existing application program for multi-processing and/or distributed parallel processing. The method includes searching an application program for a computational loop; analyzing the computational loop to determine independence of the computational transactions of the computational loop; and replacing the computational loop with master code and slave code to provide master-slave execution of the computational loop in response to analyzing the computational loop to determine independence of the computational transactions of the computational loop. Multiple instances of the modified application program are executed to provide multi-processing and/or distributed parallel processing. Full Article
methods Systems and methods for information flow analysis By www.freepatentsonline.com Published On :: Tue, 26 May 2015 08:00:00 EDT Computer-implemented methods for analyzing computer programs written in semi-structured languages are disclosed. The method is based on unification of the two classic forms of program flow analysis, control flow and data flow analysis. As such, it is capable of substantially increased precision, which increases the effectiveness of applications such as automated parallelization and software testing. Certain implementations of the method are based on a process of converting source code to a decision graph and transforming that into one or more alpha graphs which support various applications in software development. The method is designed for a wide variety of digital processing platforms, including highly parallel machines. The method may also be adapted to the analysis of (semi-structured) flows in other contexts including water systems and electrical grids. Full Article
methods Methods and systems to identify and reproduce concurrency violations in multi-threaded programs using expressions By www.freepatentsonline.com Published On :: Tue, 15 Sep 2015 08:00:00 EDT 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. Full Article
methods Optical resolution methods for bicyclic compounds using asymmetric catalysts By www.freepatentsonline.com Published On :: Tue, 19 May 2015 08:00:00 EDT An optically active bicyclic compound is efficiently produced by optical resolution using an optically active amine. Full Article
methods Navigation systems and associated methods By www.freepatentsonline.com Published On :: Tue, 26 May 2015 08:00:00 EDT Navigation systems and associated methods for providing navigation services are provided. Information associated with a desired route for a vehicle, such as a route between a current location and a desired destination, may be determined. Additionally, contextual information associated with the vehicle may be identified. Based upon the desired route and the contextual information, a direction may be generated for presentation to one or more users, and the generated direction may be output for presentation. Full Article
methods Systems and methods for tracking location of movable target object By www.freepatentsonline.com Published On :: Tue, 26 May 2015 08:00:00 EDT An automated process uses a local positioning system to acquire location (i.e., position and orientation) data for one or more movable target objects. In cases where the target objects have the capability to move under computer control, this automated process can use the measured location data to control the position and orientation of such target objects. The system leverages the measurement and image capture capability of the local positioning system, and integrates controllable marker lights, image processing, and coordinate transformation computation to provide tracking information for vehicle location control. The resulting system enables position and orientation tracking of objects in a reference coordinate system. Full Article
methods Navigation system and methods for generating enhanced search results By www.freepatentsonline.com Published On :: Tue, 26 May 2015 08:00:00 EDT 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. Full Article
methods Methods, systems, and articles of manufacture for implementing physical design using force models with custom connectivity By www.freepatentsonline.com Published On :: Tue, 26 May 2015 08:00:00 EDT Disclosed are methods, systems, and articles of manufactures for implementing physical designs by using multiple force models to iteratively morph a layout decomposition. In addition to attractive force model(s) or repulsive force model(s), the physical implementation also uses a containment force model for grouping multiple design blocks or for confining a node of a cell within the boundary of a container. Another aspect is directed at deriving a first force model at the first hierarchical level from a second force model at the second hierarchical level by directly modifying the second model based at least in part on characteristic(s) of the first hierarchical level and of the second hierarchical level. In a design with multiple hierarchies, a cell-based force model is also used to ensure child nodes of a parent cell stay within a close proximity of the parent node of the parent cell. Full Article
methods Foamer composition and methods for making and using same By www.freepatentsonline.com Published On :: Tue, 28 Apr 2015 08:00:00 EDT A new general purpose foaming agent having application as drilling fluid foaming agents or as any foaming agent needed an a wide variety of applications is disclosed, where the agent includes at least one anionic surfactant, at least one cationic surfactant, and mixtures thereof and one or more zwitterionic compounds. A method for using the foaming agent in capillary coiled tubing application is also disclosed. The foaming agents can also include additive to augment the properties of the foaming agent for a given application. Full Article
methods Mesitylene sulfonate compositions and methods thereof By www.freepatentsonline.com Published On :: Tue, 28 Apr 2015 08:00:00 EDT The invention relates to compositions including a hypohalite or hypochlorous acid and a soluble salt of 2,4,6 mesitylene sulfonate. The compositions may include a surfactant, a buffer, or combinations thereof. Other adjuvants may also be present. Such compositions do not require the inclusion of high concentrations of sodium hydroxide or other soluble hydroxide salts to drastically increase pH (and thus stability), although such hydroxides may be present if desired. Full Article