Quotables
"To place a man in a multi-stage rocket and project him into the controlling gravitational field of the moon where the passengers can make scientific observations, perhaps land alive, and then return to earth--all that constitutes a wild dream worthy of Jules Verne. I am bold enough to say that such a man-made voyage will never occur regardless of all future advances."
Lee deForest, American radio pioneer ; 1957
PatentStorm News
Make the Most of Our Site
See this month's Top Inventors and Most Cited Patents.
Stay on top of the latest innovations by subscribing to an RSS feed.
Registered users: Manage your profile.
| Number | Title | Issue Date |
| 8185875 | Fast and accurate static data-race detection for concurrent programs A system and method for race warning generation for computer program verification includes determining shared variables and determining context-sensitive points-to sets for lock pointers by focusing on pointers that may affect aliases of lock pointers, and by levera... | 05/22/2012 |
| 8185796 | Mitigation of fiber nonlinearities in multilevel coded-modulation schemes A receiver and method are provided for mitigation of finer non-linearities in multilevel coded-modulation schemes. The receiver includes a multilevel Bahl-Cocke-Jelinek-Raviv (BCJR) equalizer configured to receive channel samples of an input signal, partially mitiga... | 05/22/2012 |
| 8185781 | Invariants-based learning method and system for failure diagnosis in large scale computing systems A method system for diagnosing a detected failure in a computer system, compares a failure signature of the detected failure to an archived failure signature contained in a database to determine if the archived failure signature matches the failure signature of the ... | 05/22/2012 |
| 8184993 | Polarization mode dispersion (PMD) compensation in polarization multiplexed coded orthogonal frequency division multiplexing (OFDM) systems A receiver and method are provided. The receiver includes a detector configured to receive polarization multiplexed coded orthogonal frequency division multiplexing input sequences and generate estimates of unknown transmitted symbols in the input sequences for x- a... | 05/22/2012 |
| 8184979 | Optical OFDMA network with dynamic sub-carrier allocation A system and method for dynamically allocating sub-carriers between the nodes of an optical OFDMA ring network or an OFDMA passive optical network. A carrier allocation system assigns sub-carriers according to a utility function based on real-time measurements of ar... | 05/22/2012 |
| 8184973 | Direct detection for receiving polarization multiplexing signals There is provided a method for detecting optical signals comprising employing a photo diode to both directly detect a received optical signal and convert it into an electrical signal for recovery of data bit stream information in the received optical signal, the rec... | 05/22/2012 |
| 8184731 | Feedback adjustable constellation de-mapper A system and method to adjust the symbol constellation used to de-map a signal in an optical coherent communications system. A feedback de-mapper adjustment module is configured to compare average Error Vector Magnitude and Bit Error Ratio to a pre-defined table to ... | 05/22/2012 |
| 8181091 | High speed LDPC decoding An optical probability-domain LDPC decoder suitable for implementation at 100 Gb/s and above provides large coding gains when based on large-girth LDPC codes. A basic building block, the probabilities multiplier circuit, used to implement both check node and probabi... | 05/15/2012 |
| 8180633 | Fast semantic extraction using a neural network architecture A system and method for semantic extraction using a neural network architecture includes indexing each word in an input sentence into a dictionary and using these indices to map each word to a d-dimensional vector (the features of which are learned). Together with t... | 05/15/2012 |
| 8176496 | Partial order reduction using guarded independence relations A system and method for conducting symbolic partial order reduction for concurrent systems includes determining a guarded independence relation which includes transitions from different threads that are independent for a set of states, when a condition or predicate ... | 05/08/2012 |
| 8176381 | Multidimensional turbo product codes and generalized low-density parity-check codes with component reed-solomon codes for optical transmission A transmitter, a receiver, and corresponding methods are provided. The transmitter includes encoders configured to encode source bit streams from L information sources into bytes of codewords. Each encoder includes different (n, k) multidimensional turbo-product cod... | 05/08/2012 |
| 8175466 | Methods and systems for polarization multiplexed multilevel modulation for optical communication Multilevel soft-equalizer detectors, such as a maximum a posteriori probability (MAP) detector, suitable for use in polarization multiplexed optical communications using multilevel modulations and coherent detection are disclosed. Detection systems and methods may c... | 05/08/2012 |
| 8174959 | Auction based resource allocation in wireless systems Systems and methods to assign one or more resources in a multi-user cellular Orthogonal Frequency-Division Multiple Access (OFDMA) uplink includes specifying a resource allocation problem for one or more resources; converting the resource allocation problem into an ... | 05/08/2012 |
| 8170031 | High performance scheduling methods and apparatus for leveraging diversity in relay-enabled wireless networks Apparatus and methods are described for scheduling transmission resources in a relay-enabled orthogonal frequency-division multiple access (OFDMA) wireless communications system. Schedulers are described which address the problem of determining the optimal transmiss... | 05/01/2012 |
| 8169885 | Method and apparatus for optimization of wireless mesh networks A cross-layer optimization framework for designing of multi-radio/multi-channel wireless mesh networks with network coding to support multiple unicast applications is used. A column-generation-based primal-dual method is used to solve the optimization problem. For n... | 05/01/2012 |
| 8141120 | Adaptive scheduling of streaming video over wireless networks An adaptive scheduling process is disclosed which dynamically decides which frames need to be transmitted and which ones need to be dropped at any transmission opportunity based on current channel conditions and on characteristics of each video frame. ... | 03/20/2012 |
| 8141049 | System and method for scalable flow and context-sensitive pointer alias analysis A system and method for pointer analysis for computer program verification includes forming a subset or cluster of pointers from pointers in a program by applying increasingly accurate alias analyses in a cascaded fashion such that each analysis works on a subset of... | 03/20/2012 |
| 8140948 | Efficient low complexity high throughput LDPC decoding method and optimization A decoder and method for iteratively decoding of low-density parity check codes (LDPC) includes, in a code graph, performing check node decoding by determining messages from check nodes to variable nodes. In the code graph, variable node decoding is performed by det... | 03/20/2012 |
| 8140934 | LDPC-coded multilevel modulation scheme A PMD compensation scheme suitable for use in multilevel block-coded modulation schemes with coherent detection. ... | 03/20/2012 |
| 8140625 | Method for operating a fixed prefix peer to peer network A fixed prefix peer to peer network has a number of physical nodes. The nodes are logically divided into a number of storage slots. Blocks of data are erasure coded into original and redundant data fragments and the resultant fragments of data are stored in slots on... | 03/20/2012 |
| 8140024 | Fast convergence to optimal beam patterns Systems and methods for joint training of beam patterns in a system having a transmitter and a receiver. Initial transmit and receive beam pattern vectors are first selected. The beam pattern vectors are perturbed to produce a plurality of perturbed transmit and rec... | 03/20/2012 |
| 8136098 | Using pushdown systems for the static analysis of multi-threaded programs A static, inter-procedural dataflow analysis is used to debug multi-threaded programs which heretofore have been thought unsuitable for concurrent multi-threaded analysis. ... | 03/13/2012 |
| 8135652 | Parallel support vector method and apparatus Disclosed is an improved technique for training a support vector machine using a distributed architecture. A training data set is divided into subsets, and the subsets are optimized in a first level of optimizations, with each optimization generating a support vecto... | 03/13/2012 |
| 8135287 | 100 Gbit/s OFDM optical signal generation A method includes modulating lightwaves to provide first and second OFDM signal sidebands at a first polarization direction and first and second OFDM signal sidebands at a second polarization direction, and combining sidebands that are oppositely positioned and join... | 03/13/2012 |
| 8135280 | Method and system for power stability control in wavelength division multiplexing networks Methods and systems for controlling power fluctuations in a network including a plurality of nodes are disclosed. A node in the network may be configured to modify power levels in accordance with either an active state or an inactive state. The node may transition t... | 03/13/2012 |
| 8135202 | Automated method and system for nuclear analysis of biopsy images An automated method and system for analyzing a digital image of a biopsy to determine whether the biopsy is normal or abnormal, i.e., exhibits some type of disease such as, but not limited to, cancer. In the method and system, a classifier is trained to recognize we... | 03/13/2012 |
| 8135083 | Codebook method for a multiple input multiple output wireless system A method for wireless encoding includes encoding wireless multiple input and multiple output signals in accordance with a codebook being one of a discrete codebook restricting elements of codebook entries to be within a predetermined finite set of complex numbers an... | 03/13/2012 |
| 8134958 | Synchronous two-phase rate and power control in WLANs A method for operation of a node operating in a wireless network comprising the steps of during an initial phase, setting transmission power and data transmission rate to initial settings and transmitting the initial settings to the wireless network in order to init... | 03/13/2012 |
| 8134946 | System and method for scheduling in relay-assisted wireless networks A scheduling system and method for use with relay-assisted wireless networks includes accessing feedback from mobile stations in a network and arranging users associated with a relay station in a list in accordance with marginal utilities. A determination of whether... | 03/13/2012 |
| 8131768 | Symbolic program analysis using term rewriting and generalization Systems and methods are disclosed for analyzing data-flow using program expressions or terms by extracting a control flow graph node from a work list; merging symbolic term values at join nodes; performing simplification of term values using rewriting logic; determi... | 03/06/2012 |
| 8131732 | Recommender system with fast matrix factorization using infinite dimensions A system is disclosed with a collaborative filtering engine to predict an active user's ratings/interests/preferences on a set of new products/items. The predictions are based on an analysis the database containing the historical data of many users' ratings/interest... | 03/06/2012 |
| 8131661 | Efficient decision procedure for bounded integer non-linear operations using SMT(LIA) Systems and methods are disclosed for deciding a satisfiability problem with linear and non-linear operations by: encoding non-linear integer operations into encoded linear operations with Boolean constraints by Booleaning and line... | 03/06/2012 |
| 8131532 | Software verification using range analysis A system and method is disclosed for formal verification of software programs that advantageously bounds the ranges of values that a variable in the software can take during runtime. ... | 03/06/2012 |
| 8131156 | Centralized lightwave WDM-PON employing intensity modulated downstream and upstream An optical system and method includes a source-free optical network unit coupled to an optical fiber for receiving a centralized lightwave carrier signal with downstream data over the optical fiber. The optical network unit includes a coupler configured to split the... | 03/06/2012 |
| 8130851 | Bandwidth efficient coding for an orthogonal frequency multiplexing OFDM system A method for encoding an OFDM signal includes pairing two adjacent subcarriers of an OFDM signal as a group, changing a modulated symbol set of the OFDM signal to a modified symbol set for coding the OFDM signal, and providing a modified baseband OFDM signal with an... | 03/06/2012 |
| 8126831 | System and method for dynamically inferring data preconditions over predicates by tree learning A system and method for inferring preconditions for procedures in a program includes formulating predicates based on inputs to a procedure, including formal arguments, global variables and external environment. Truth assignments are sampled to the predicates to prov... | 02/28/2012 |
| 8103312 | Method of using a quantized beamforming matrix from multiple codebook entries for multiple-antenna systems A quantized multi-rank beamforming scheme for multiple-antenna systems such as a multiple-input-multiple-output (MIMO) wireless downlink. User equipment (UE) estimates downlink channel and transmit power and determines rank and power allocations. A quantized beamfor... | 01/24/2012 |
| 8099645 | LDPC codes and stochastic decoding for optical transmission A method for error correction and a decoder using low density parity check (LDPC) codes includes initializing extrinsic probability information between variable nodes and check nodes in a bipartite graph including generating a Bernoulli sequence according to a proba... | 01/17/2012 |
| 8099381 | Processing high-dimensional data via EM-style iterative algorithm Systems and methods are disclosed for factorizing high-dimensional data by simultaneously capturing factors for all data dimensions and their correlations in a factor model, wherein the factor model provides a parsimonious description of the data; and generating a c... | 01/17/2012 |
| 8099000 | Direct detection receiver using cross-polarization interferometer for polmux-ask system A differential delay detection system and method includes an optical splitter to split an incoming optical signal between a first path and a second path. The first path includes a cross-polarization interferometer configured to separately generate polarization indep... | 01/17/2012 |
