Fourier-Motzkin with non-linear symbolic constant coefficients

Fourier-Motzkin with non-linear symbolic constant coefficients

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016.

Bibliographic Details
Main Author:	Suriana, Patricia A
Other Authors:	Saman P. Amarasinghe.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2017
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/106379

Similar Items

Pareto Adaptive Robust Optimality via a Fourier–Motzkin Elimination lens
by: Bertsimas, Dimitris, et al.
Published: (2024)

Fourier analysis on the hypercube, the coefficient problem, and applications
by: Ajjanagadde, Ganesh.
Published: (2020)

On the partial differential equations with non-constant coefficients and convolution method.
by: Kilicman, Adem, et al.
Published: (2010)

On the lebesgue constants of fourier-laplace series by Riesz Means
by: Ahmad Fadly Nurullah, Rasedee, et al.
Published: (2017)

Note on partial differential equations with non-constant coefficients and convolution method
by: Kilicman, Adem, et al.
Published: (2012)

Local computation algorithms for graphs of non-constant degrees
by: Yodpinyanee, Anak
Published: (2015)

Bernstein-type constants for approximation of |x|α by partial Fourier–Legendre and Fourier–Chebyshev sums
by: Liu, Wenjie, et al.
Published: (2023)

Near real-time 2D non-Fourier basis MRI
by: Mitsouras, Dimitrios, 1976-
Published: (2014)

Sample-Optimal Fourier Sampling in Any Constant Dimension
by: Indyk, Piotr, et al.
Published: (2017)

On symbolic analysis of cryptographic protocols
by: Patil, Akshay (Akshay R.)
Published: (2006)

Symbolic planning in belief space
by: Kamahele-Sanfratello, Ciara L. (Ciara Lei)
Published: (2016)

Adelic Fourier-Whittaker coefficients and the Casselman-Shalika formula
by: Tabony, Sawyer
Published: (2010)

On the Fourier Coefficients of High-Dimensional Random Geometric Graphs
by: Bangachev, Kiril, et al.
Published: (2024)

Sparse recovery and Fourier sampling
by: Price, Eric C
Published: (2014)

Parametric non-linear filtering
by: Lamb, Richard Hubbert
Published: (2005)

Subharmonic resonance of system having non-linear spring with variable coefficient
by: Wu, Minghua Lee
Published: (2012)

The digital symbol digit test : screening for Alzheimer's and Parkinson's
by: Huang, Lauren(Lauren A.)
Published: (2019)

Tables and formulas for calculating Fourier coefficients of power-law devices
Published: (2004)

Declarative symbolic pure-logic model checking
by: Shlyakhter, Ilya, 1975-
Published: (2006)

Intrinsic representation : bootstrapping symbols from experience
by: Larson, Stephen David, 1980-
Published: (2005)

The sparse fourier transform : theory & practice
by: Al-Hassanieh, Haitham (Haitham Zuhair)
Published: (2016)

Robust dynamic symbol recognition : the ClockSketch classifier
by: Ma, Kăichén
Published: (2014)

Neural Bayesian goal inference for symbolic planning domains
by: Mann, Jordyn(Jordyn L.)
Published: (2021)

Augmenting anomaly detection for autonomous vehicles with symbolic rules
by: Chen, Tianye,M.EngMassachusetts Institute of Technology.
Published: (2019)

Properties and applications of the short-space fourier transform
by: Bernstein, Jeffrey Gordon
Published: (2005)

An energy buffer for constant power loads
by: Gutierrez, Manuel, (Scientist in electrical engineering and computer science) Massachusetts Institute of Technology
Published: (2017)

Linear size optimal q-ary constant-weight codes and constant-composition codes
by: Ling, Alan C. H., et al.
Published: (2012)

Optimizing a parallel fast Fourier transform
by: Hu, Richard, 1982-
Published: (2005)

Injection compression modeling of non-linear positive temperature coefficient circuit protection devices
by: Hardy, Joseph T., 1978-
Published: (2006)

Attention mechanism optimization for sub-symbolic-based and neural-symbolic-based natural language processing
by: Ni, Jinjie
Published: (2023)

Symbolic mathematical laboratory.
by: Martin, William Arthur
Published: (2005)

Fast Fourier transform on a 3D FPGA
by: Basha, Elizabeth (Elizabeth Ann)
Published: (2006)

Analysis and synthesis of the American English lateral constant
by: Prahler, Adrienne (Adrienne Michelle), 1975-
Published: (2008)

Constant time algorithms in sparse graph model
by: Nguyen, Huy Ngoc, Ph. D. Massachusetts Institute of Technology
Published: (2011)

Solving ANTS with loneliness detection and constant memory
by: O'Brien, Casey (Casey M.)
Published: (2016)

Using a symbolic language parser to Improve Markov language models
by: Townsend, Duncan Clarke McIntire
Published: (2016)

DCG-UPUP-Away : automatic symbol acquisition through grounding to unknowns
by: Tucker, Mycal (Mycal D.)
Published: (2018)

The SoftPHY abstraction : from packets to symbols in wireless network design
by: Jamieson, Kyle (Kyle Andrew), 1978-
Published: (2009)

Improving search times when resolving external symbols in the Timeliner System
by: Charny, Isaac (Isaac E.)
Published: (2010)

Griesmer bound and constructions of linear codes in b-symbol metric
by: Luo, Gaojun, et al.
Published: (2024)