Pixley, US
April Pixley, Los Altos, CA US
Patent application number | Description | Published |
---|---|---|
20100312298 | SYSTEMS AND METHODS TO CONFIGURE A MULTI-ELECTRODE LEAD - Methods and systems are provided for configuring a Multi-Electrode Lead (MEL) that includes N groups of electrodes, with each of the N groups of electrodes including at least M electrodes, where N≧2 and M≧2. Sent via the MEL is a first communication sequence of bits that includes N groups of bits, with each of the N groups of bits corresponding to a different one of the N groups of electrodes and specifying which electrode(s), if any, within the group of electrodes is to be configured as an anode. Also sent via the MEL is a second communication sequence of bits that includes N further groups of bits, with each of the N further groups of bits corresponding to a different one of the N groups of electrodes and specifying which electrode(s), if any, within the group of electrodes is to be configured as a cathode. | 12-09-2010 |
20110046690 | SYSTEMS AND METHODS TO SYNCHRONIZE COMMANDS SENT TO A MULTI-ELECTRODE LEAD (MEL) WITH A PORTION OF A CARDIAC PACING CYCLE - Embodiments of the present invention concern the timing of sending one or more commands to control circuitry of a multi-electrode lead (MEL). In one embodiment, the one or more commands are sent to control circuitry within the MEL during a predetermined portion of a cardiac pacing cycle to avoid potential problems of prior systems that were not synchronized with the cardiac pacing cycle. In one embodiment, the one or more commands are sent when cardiac tissue is refractory from a cardiac pacing pulse, to prevent the command(s) from potentially undesirably stimulating cardiac tissue. The command sending can occur such that the one or more commands are sent between instances when sensing circuitry of the implantable cardiac stimulation device is being used to obtain one or more signals indicative of cardiac electrical activity, to prevent interference between the one or more commands with the signals indicative of cardiac electrical activity that are sensed. | 02-24-2011 |
April C. Pixley, Los Altos, CA US
Patent application number | Description | Published |
---|---|---|
20120258756 | POWER EFFICIENT WIRELESS RF COMMUNICATION BETWEEN A BASE STATION AND A MEDICAL DEVICE - Specific embodiments of the present invention are for use by a base station (BS) that enables power efficient wireless radio frequency (RF) communication between the BS and a medical device (MD), which may or may not be an implantable medical device (IMD). In an embodiment, once a communication session is established between the BS and the MD, the BS selectively turns a drop link mode on and off. The drop link mode is a communication mode that while turned on (i.e., enabled) reduces and preferably minimizes the length of time that an RF link is maintained between the BS and the MD. In accordance with an embodiment, at any given time during a communication session the drop link mode is either turned on (i.e., enabled) or turned off (i.e., disabled). | 10-11-2012 |
20120277828 | METHODS, DEVICES AND SYSTEMS FOR EFFICIENTLY PROGRAMMING NEUROSTIMULATION - Embodiments of the present invention generally relate to neurostimulation systems, methods for use with neurostimulation systems, and devices (e.g., programmers) of neurostimulation systems. Such a neurostimulation system can include, e.g., a neurostimulator, a programmer configured to communicate with and program the neurostimulator, and one or more leads connected to the neurostimulator, wherein each lead includes one or more electrodes. A method, according to an embodiment of the present invention, is for enabling efficient identification of one or more preferred sets of neurostimulation parameters from among numerous possible sets of neurostimulation parameters, wherein each set of neurostimulation parameters specifies a lead, an electrode configuration for the specified lead, and one or more pulse parameters (e.g., a pulse amplitude value, a pulse width value and/or a pulse frequency value). | 11-01-2012 |
20140343623 | METHODS AND SYSTEMS FOR AUTOMATICALLY TURNING ON AND OFF DRG STIMULATION AND ADJUSTING DRG STIMULATION PARAMETERS - Methods and systems described herein can be used to automatically turn on and off stimulation of a target dorsal root ganglion (DRG) and/or adjust stimulation parameters. At least one of an input signal (indicative of an electrical field resulting from an electrical signal propagated by adjacent distal sensory nerve fibers toward the target DRG), an output signal (indicative of an electrical field resulting from an electrical signal propagated by adjacent proximal sensory nerve fibers away from the target DRG) or a DRG signal (indicative of an electrical field produced by cell bodies of primary sensory neurons within the target DRG and resulting from an electrical signal propagated by sensory nerve fibers within the target DRG) is/are obtained and analyzed. Delivery of electrical stimulation is turned on and off and/or at least one of pulse amplitude, pulse width and/or pulse repetition rate is/are adjusted based on results of the analysis. | 11-20-2014 |
20150305002 | ESTABLISHING AN RF LINK BETWEEN A BASE STATION AND A MEDICAL DEVICE - Certain embodiments described herein enable a base station (BS) and a medical device (MD) to establish a radio frequency (RF) link using any one of a plurality of different RF channels. The MD sniffs the RF channels over which a BS may send a link request, and tunes to the RF channel identified, as a result of the sniffing, as the channel over which a BS may be transmitting a link request. The MD may also demodulate a signal received over the RF channel to which the MD is tuned, and determine, based on a portion of the demodulated signal including a channel identifier, a specific one of the RF channels over which a BS is actually transmitting. This enables the MD to change the channel to which it is tuned if it determines that it is not tuned to the RF channel over which a BS is actually transmitting. | 10-22-2015 |
Carl Pixley, Beaverton, OR US
Patent application number | Description | Published |
---|---|---|
20080209370 | FORMALLY PROVING THE FUNCTIONAL EQUIVALENCE OF PIPELINED DESIGNS CONTAINING MEMORIES - One embodiment of the present invention provides a system that formally proves the functional equivalence of pipelined designs. First, the system receives a specification for a first pipelined design, which includes a first memory system, and a specification for a second pipelined design, which includes a second memory system. Next, the system determines a correspondence between operations on the first memory system and corresponding operations on the second memory system. This correspondence enables memory operations to be represented in a combinational form based on design inputs, thereby allowing both memory systems to be logically abstracted out of their respective designs. After the memory systems have been abstracted out, the system compares the combinational outputs of the first pipelined design and the combinational outputs of the second pipelined design to verify that the designs are functionally equivalent. | 08-28-2008 |
Carl P. Pixley, Beaverton, OR US
Patent application number | Description | Published |
---|---|---|
20140033150 | FORMAL VERIFICATION OF BIT-SERIAL DIVISION AND BIT-SERIAL SQUARE-ROOT CIRCUIT DESIGNS - Methods and apparatuses are described for formally verifying a bit-serial division circuit design or a bit-serial square-root circuit design. Some embodiments formally verify a bit-serial division circuit design using a set of properties that can be efficiently proven using a bit-level solver. In some embodiments, the set of properties that are used for verifying a bit-serial division circuit design does not include any terms that multiply a w-bit partial quotient with the divisor. Some embodiments formally verify a bit-serial square-root circuit design using a set of properties that can be efficiently proven using a bit-level solver. In some embodiments, the set of properties that are used for verifying a bit-serial square-root circuit design does not include any terms that compute a square of a w-bit partial square-root. | 01-30-2014 |
20140033151 | EQUIVALENCE CHECKING BETWEEN TWO OR MORE CIRCUIT DESIGNS THAT INCLUDE DIVISION AND/OR SQUARE ROOT CIRCUITS - Methods and apparatuses are described for proving equivalence between two or more circuit designs that include one or more division circuits and/or one or more square-root circuits. Some embodiments analyze the circuit designs to determine an input relationship between the inputs of two division (or square-root) circuits. Next, the embodiments determine an output relationship between the outputs of two division (or square-root) circuits based on the input relationship. The embodiments then prove equivalence between the circuit designs by using the input and output relationships. | 01-30-2014 |
20150213167 | INVARIANT SHARING TO SPEED UP FORMAL VERIFICATION - Methods and apparatuses are described for sharing inductive invariants while performing formal verification of a circuit design. Specifically, some embodiments assume at least an inductive invariant for a property to be true while proving another property. According to one definition, an inductive invariant of a property is an inductive assertion such that all states that satisfy the inductive assertion also satisfy the property. According to one definition, an inductive assertion describes a set of states that includes all legal initial states of the circuit design and that is closed under a transition relation that models the circuit design. | 07-30-2015 |
Carl Preston Pixley, Beaverton, OR US
Patent application number | Description | Published |
---|---|---|
20080208559 | METHOD AND APPARATUS FOR FORMALLY CHECKING EQUIVALENCE USING EQUIVALENCE RELATIONSHIPS - An equivalency testing system, for formally comparing an RTLM and HLM, is presented. RTLM and HLM are first converted into DFGs RTLM | 08-28-2008 |
20080235253 | METHOD AND APPARATUS FOR FORMALLY CHECKING EQUIVALENCE USING EQUIVALENCE RELATIONSHIPS - An equivalency testing system, for formally comparing an RTLM and HLM, is presented. RTLM and HLM are first converted into DFGs RTLM | 09-25-2008 |
20080301602 | METHOD AND APPARATUS FOR PERFORMING FORMAL VERIFICATION USING DATA-FLOW GRAPHS - An equivalency testing system, for formally comparing an RTLM and HLM, is presented. RTLM and HLM are first converted into DFGs RTLM | 12-04-2008 |
20140359545 | EQUIVALENCE CHECKING USING STRUCTURAL ANALYSIS ON DATA FLOW GRAPHS - A design is verified by using equivalence checking to compare a word-level description of the design to a bit-level description of the design. A word-level data flow graph (DFG) based on the word-level description and a bit-level DFG is obtained. Structural analysis is used to reduce the graphs and partition them into smaller portions for the equivalence checking. The analysis includes searching the bit-level DFG to find partial-product encoding and removing redundancy from the bit-level DFG. A reference model with architectural information from the bit-level DFG is created based on the word-level DFG. The reference model is reduced and equivalence checked against the bit-level DFG to determine if the word-level description is equivalent to the bit-level description. | 12-04-2014 |
Christopher R. Pixley, Cape Coral, FL US
Patent application number | Description | Published |
---|---|---|
20130031577 | System and method for selling any audio or video advertising and recording the ad spot, collecting payment and delivering by email to broadcast media using software and applications utilized through computing or telecommunications devices - An online or otherwise server hosted software used by any type of electronic Media to offer Advertising minutes (ad spots) for sale to Advertisers who, in one session, selects the ad spot's duration, broadcast dates and times, uploads or writes and record the Ad Spot on the system which then invoices and collects payment by Credit Card or alternative means, whereupon an email containing an insertion order and other details along with the Sound/Video file is sent to the broadcasting Station for transmission. | 01-31-2013 |
Dale P. Pixley, Newtown, CT US
Patent application number | Description | Published |
---|---|---|
20090050171 | Method for the cosmetic treatment of hair and implement for carrying out the same - A cosmetic method for treating strands of hair comprising the subsequent steps of: placing the strands of hair to be treated between two substrates on which a first and second compositions capable of reacting together are applied, and implement for the same. The implement for carrying out the method may comprise a first and a second substrates in the form of strips of material that may be folded over each other such that at least one section of the strands of hair to be treated is sandwiched between the first and second compositions. | 02-26-2009 |
Debbie Pixley, Farmington Hills, MI US
Patent application number | Description | Published |
---|---|---|
20090218840 | Console Lid Dual Latch Differentiation - Disclosed herein are a vehicle console and a latching system for a vehicle console with dual latch differentiation. The latching system comprises at least one lid pivotally attached to the console to move between a closed position and an open position relative to the opening. First and second latches are mounted to the lid. The first latch is configured to detach the lid from the first coupling to permit the lid to move to the open position while still attached to the secondary compartment, thereby exposing the primary compartment. The second latch is configured to detach the lid from both the first coupling and second coupling to permit the lid to move to the open position, detached from the secondary compartment. The first and second latches each comprise a hand engageable contact surface and the contact surface of one of the first and second latches comprises a tactile differentiator. | 09-03-2009 |
Henry D. Pixley, East Syracuse, NY US
Patent application number | Description | Published |
---|---|---|
20130043360 | BAR SOAP HOLDER HAVING SELF-CLEANING CHARACTERISTICS - A bar soap holder is provided that includes a support base to allow dislodgement of a soap bar without substantial movement of the bar soap holder. The bar soap holder further includes a holder body coupled to the support base. The holder body defines an upper central opening dimensioned for receiving the soap bar. The soap holder body includes a first support surface and an opposing second support surface disposed within an interior region of the soap holder body for supporting the soap bar. The first and the second support surfaces are positioned at a tapered incline angle greater than 25° relative to a horizontal plane. The holder body further defines a drain path from the first and second support surfaces to the reservoir. The bar soap holder further includes a reservoir for collection of soap water that is coupled to the support surfaces by the drain path. | 02-21-2013 |
James Pixley, Dover, NH US
Patent application number | Description | Published |
---|---|---|
20160064186 | BIAS ELECTRODES FOR TANDEM ACCELERATOR - A tandem accelerator and ion implanter with improved performance is disclosed. The tandem accelerator includes a plurality of input electrodes, a plurality of output electrodes and a high voltage terminal disposed therebetween. The high voltage terminal includes a stripper tube. Neutral molecules are injected into the stripper tube, which remove electrons from the incoming negative ion beam. The resulting positive ions are accelerated toward the plurality of output electrodes. To reduce the amount of undesired positive ions that exit the stripper tube, bias electrodes is disposed at the entrance and exit of the stripper tube. The bias electrodes are biased a second voltage, greater than the first voltage applied to the terminal. The bias electrodes repel slow moving positive ions, preventing them from exiting the stripper tube and contaminating the workpiece. | 03-03-2016 |
Michael D. Pixley, Marana, AZ US
Patent application number | Description | Published |
---|---|---|
20110050461 | Network of Traffic Behavior-monitoring Unattended Ground Sensors (NeTBUGS) - A Network of Traffic Behavior-monitoring Unattended Ground Sensors (NeTBUGS) is configurable to detect the passing of vehicles, determine when and where individual vehicles have stopped for a period of time that raises suspicion of illegal or dangerous activity, track the vehicles after the stop and to generate a location-tagged alert for the timely dispatch of a response asset to investigate the anomalous behavior of the vehicle. NeTBUGS sensors are small, camouflaged, easily concealed, and operate for long durations independent of the electrical grid or large, obvious power generators and thus well suited for operation in a hostile environment. | 03-03-2011 |
Noel J. Pixley, Exton, PA US
Patent application number | Description | Published |
---|---|---|
20110163172 | METHOD OF INJECTING SOLUTION INTO A MISTING LINE - A method and system of providing a mist in a grocery display that injects biocidal solution into a misting line of water during a phase of the misting cycle. | 07-07-2011 |
20140091157 | METHOD OF INJECTING SOLUTION INTO A MISTING LINE - A method and system of providing a mist in a grocery display that injects biocidal solution into a misting line of water during a phase of the misting cycle. | 04-03-2014 |
Steve Pixley, Santa Ana, CA US
Patent application number | Description | Published |
---|---|---|
20130250117 | Automated Tool Control System - The invention pertains to a digital camera system and related software which is capable of identifying the presence or absence of known tools and/or objects in previously identified storage locations as well as the presence of non-conforming objects. The invention further includes controlled access | 09-26-2013 |
Steven Joseph Pixley, Camden, ME US
Patent application number | Description | Published |
---|---|---|
20080284185 | Harbormaster - The invention concerns a method and a devise for hauling chain from under the water without the use of an under water diver. This devise can be used from a boat or a barge and only needs one person for operation. This new design consists of an angled housing with a large opening and a slot. Because of a hinge, this housing opens up at one end and goes around any chain that is leading underwater. Because the design has a specific weight distribution the tool slides down the chain keeping the chain against the hauling end of the tool where the hole in the housing is bigger than the chain. When the tool is at the desired depth the line is hauled back up and because of the twenty degree bend in the housing, the chain automatically is hooked inside the slot or weighted end. | 11-20-2008 |
Tom Pixley, Springfield, VA US
Patent application number | Description | Published |
---|---|---|
20090100373 | Fast and smooth scrolling of user interfaces operating on thin clients - Systems and methods according to the present invention provide a user interface for scrolling through lists of information on user interfaces. | 04-16-2009 |
20120030613 | Zooming and Panning Widget for Internet Browsers - In one aspect, a widget mechanism for zooming and panning a content item is provided. The widget mechanism includes a first region including a miniaturized and complete version the content item. The widget mechanism further includes a second region including a displayed version of the content item. The displayed version represents a portion of the content item currently displayed on a display. The widget mechanism further includes a third region including a to be displayed version of the content item. The to be displayed version represents a portion of the content item to be displayed on the display upon actuation. The second region is smaller than and within the first region when the content item is zoomed and the second region is coextensive or substantially coextensive with the first region when the content item is fully not zoomed. The third region is adjustable within the first region. | 02-02-2012 |
20130132894 | FAST AND SMOOTH SCROLLING OF USER INTERFACES OPERATING ON THIN CLIENTS - Systems and methods according to the present invention provide a user interface for scrolling through lists of information on user interfaces. | 05-23-2013 |