Search

نمایش تعداد 1-10 از 25

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

نوع: Conference Paper

نویسنده : Raveendran, N. , Srinivasa, S.G.

ناشر: IEEE

سال: 2014

Calibration of Multi-Channel Spaceborne SAR - Challenges and Strategies

نوع: Conference Paper

ناشر: IEEE

سال: 2014

Language-Guided Controller Synthesis for Linear Systems

نوع: Journal Paper

نویسنده : Aydin Gol, Ebru; Lazar, Mircea; Belta, Calin

ناشر: IEEE

سال: 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

نوع: Conference Paper

نویسنده : Placek, L.; Wren, A.W.

ناشر: IEEE

سال: 2014

A Contract-Based Methodology for Aircraft Electric Power System Design

نوع: Journal Paper

نویسنده : Nuzzo, Pierluigi; Huan Xu; Ozay, Necmiye; Finn, John B.; Sangiovanni-Vincentelli, Alberto L.; Murray, Richard M.; Donze, Alexandre; Seshia, Sanjit /A/.

ناشر: IEEE

سال: 2014

Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints

نوع: Journal Paper

نویسنده : Xuchu Ding; Smith, Stephen L.; Belta, Calin; Rus, Daniela

ناشر: IEEE

سال: 2014

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

نوع: Conference Paper

نویسنده : Emrani, S. , Chintakunta, H. , Krim, H.

ناشر: IEEE

سال: 2014

[Copyright notice]

نوع: Conference Paper

ناشر: IEEE

سال: 2014

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

نوع: Conference Paper

ناشر: IEEE

سال: 2014

Workshop program

نوع: Conference Paper

ناشر: IEEE

سال: 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

نویسنده

ناشر

سال

کلیدواژه

نوع

زبان

نوع محتوا

عنوان ناشر

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