نتایج جستجو برای: cancellation

تعداد نتایج: 11349  

2000
Jang-Chyuan Jenq Shih-Fu Hsieh

A novel acoustic echo canceller for speakerphone system based upon Iterative Maximal Length Correlation (IMLC) algorithm is proposed. This algorithm is robust to double talk because of the nature of the ML sequence; it also iteratively reduces the far-end speech's effects. This simple structure was found to perform very well. We also perform a rigorous convergence analysis and derive the lower ...

2004
Burcin Becerik

| 1. Graduate School of Design, Harvard University, Gund Hall, 48 Quincy Street, Cambridge, MA, 02138, USA. [email protected] 2. Includes the value of construction work done during the year for construction work performed by general contractors and special trade contractors 3. Includes all establishments that were in business at any time during the year. Construction establishments that ...

Journal: :Ann. Pure Appl. Logic 2017
Sebastien Vasey

We use orthogonality calculus to prove a downward transfer from categoricity in a successor in abstract elementary classes (AECs) that have a good frame (a forking-like notion for types of singletons) on an interval of cardinals: Theorem 0.1. Let K be an AEC and let LS(K) ≤ λ < θ be cardinals. If K has a type-full good [λ, θ]-frame and K is categorical in both λ and θ, then K is categorical in ...

Journal: :J. Symb. Log. 2014
Will Boney

We show that Shelah’s Eventual Categoricity Conjecture follows from the existence of class many strongly compact cardinals. This is the first time the consistency of this conjecture has been proven. We do so by showing that every AEC with LS(K) below a strongly compact cardinal κ is < κ tame and applying the categoricity transfer of Grossberg and VanDieren [GV06a]. These techniques also apply t...

Journal: :Arch. Math. Log. 2017
Sebastien Vasey

Theorem 0.1. Let K be an abstract elementary class (AEC) with amalgamation and no maximal models. Let λ > LS(K). If K is categorical in λ, then the model of cardinality λ is Galois-saturated. This answers a question asked independently by Baldwin and Shelah. We deduce several corollaries: K has a unique limit model in each cardinal below λ, (when λ is big-enough) K is weakly tame below λ, and t...

Journal: :Computer-Aided Design 2005
Charles M. Eastman F. Wang S.-J. You Donghoon Yang

CIMsteel Integration Standard, Version 2 (CIS/2) is an industry-developed product model based on ISO-STEP technology that has been widely adopted within the steel construction industry. CIS/2 is an early success story of broad use of a product model for both data exchange and improving the productivity of those companies taking advantage of its capabilities. Here, we review the history of CIS/2...

2006
JOHN HAYMAKER

AEC practitioners commonly use discipline-specific computer-based information modeling and analysis processes today. However, these practitioners lack simple, flexible, formal frameworks to communicate and integrate these processes and information amongst multiple disciplines. They therefore struggle to quickly and accurately achieve balanced and near-optimal multidisciplinary designs. To addre...

Journal: :Annals of Pure and Applied Logic 1984

Journal: :Topology and its Applications 1999

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید