Search

Now showing items 1-10 of 25

A modified sum-product algorithm over graphs with isolated short cycles

Type: Conference Paper

Author : Raveendran, N. , Srinivasa, S.G.

Publisher: IEEE

Year: 2014

Calibration of Multi-Channel Spaceborne SAR - Challenges and Strategies

Type: Conference Paper

Publisher: IEEE

Year: 2014

Language-Guided Controller Synthesis for Linear Systems

Type: Journal Paper

Author : Aydin Gol, Ebru; Lazar, Mircea; Belta, Calin

Publisher: IEEE

Year: 2014

Characterization and solubility of Y<inf>2</inf>O<inf>3</inf> and CeO<inf>2</inf> containing bioactive glasses to aid spinal cord recovery

Type: Conference Paper

Author : Placek, L.; Wren, A.W.

Publisher: IEEE

Year: 2014

A Contract-Based Methodology for Aircraft Electric Power System Design

Type: Journal Paper

Author : Nuzzo, Pierluigi; Huan Xu; Ozay, Necmiye; Finn, John B.; Sangiovanni-Vincentelli, Alberto L.; Murray, Richard M.; Donze, Alexandre; Seshia, Sanjit /A/.

Publisher: IEEE

Year: 2014

Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints

Type: Journal Paper

Author : Xuchu Ding; Smith, Stephen L.; Belta, Calin; Rus, Daniela

Publisher: IEEE

Year: 2014

Real time detection of harmonic structure: A case for topological signal analysis

Type: Conference Paper

Author : Emrani, S. , Chintakunta, H. , Krim, H.

Publisher: IEEE

Year: 2014

[Copyright notice]

Type: Conference Paper

Publisher: IEEE

Year: 2014

Time-domain frequency-dependent I/Q imbalance compensation based on golay sequence

Type: Conference Paper

Publisher: IEEE

Year: 2014

Workshop program

Type: Conference Paper

Publisher: IEEE

Year: 2014

Search

A modified sum-product algorithm over graphs with isolated short cycles

Calibration of Multi-Channel Spaceborne SAR - Challenges and Strategies

Language-Guided Controller Synthesis for Linear Systems

Characterization and solubility of Y<inf>2</inf>O<inf>3</inf> and CeO<inf>2</inf> containing bioactive glasses to aid spinal cord recovery

A Contract-Based Methodology for Aircraft Electric Power System Design

Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints

Real time detection of harmonic structure: A case for topological signal analysis

[Copyright notice]

Time-domain frequency-dependent I/Q imbalance compensation based on golay sequence

Workshop program

Author

Publisher

Year

Keywords

Type

Language (ISO)

Content Type

Publication Title

Search

Filters

A modified sum-product algorithm over graphs with isolated short cycles

Calibration of Multi-Channel Spaceborne SAR - Challenges and Strategies

Language-Guided Controller Synthesis for Linear Systems

Characterization and solubility of Y<inf>2</inf>O<inf>3</inf> and CeO<inf>2</inf> containing bioactive glasses to aid spinal cord recovery

A Contract-Based Methodology for Aircraft Electric Power System Design

Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints

Real time detection of harmonic structure: A case for topological signal analysis

[Copyright notice]

Time-domain frequency-dependent I/Q imbalance compensation based on golay sequence

Workshop program