Search results for "Forcing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
104	Joan Bagaria, Roger Bosch	Proper forcing extensions and Solovay models.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Solovay models, Generic absoluteness, Strongly-proper forcing, Projective forcing, Consistency strength, Definably-Mahlo cardinals, Mahlo cardinals, Weakly-compact cardinals
71	Andrzej Roslanowski, Saharon Shelah	Sweet & sour and other flavours of ccc forcing notions.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Definable forcing notions, Forcing with norms, Strong ccc properties
67	Maxim R. Burke, Masaru Kada	Hechler's theorem for the null ideal.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Hechlers theorem, Null set, Localization forcing, Forcing
58	Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, Eitan Farchi	Forcing small models of conditions on program interleaving for detection of concurrent bugs.	PADTAD	2009	DBLP DOI BibTeX RDF	concurrency bug patterns, dynamic exploration, forcing algorithm, model of conditions on program interleaving, analysis
58	Antonio Di Nola, George Georgescu, Luca Spada	Forcing in Lukasiewicz Predicate Logic.	Stud Logica	2008	DBLP DOI BibTeX RDF	First order Many-valued logic, Robinson Forcing, ?ukasiewicz Logic
51	Natasha Dobrinen	James Cummings and Ernest Schimmerling, editors. Lecture Note Series of the London Mathematical Society, vol. 406. Cambridge University Press, New York, xi + 419 pp. - Paul B. Larson, Peter Lumsdaine, and Yimu Yin. An introduction to Pmax forcing. pp. 5-23. - Simon Thomas and Scott Schneider. Countable Borel equivalence relations. pp. 25-62. - Ilijas Farah and Eric Wofsey. Set theory and operator algebras. pp. 63-119. - Justin Moore and David Milovich. A tutorial on set mapping reflection. pp. 121-144. - Vladimir G. Pestov and Aleksandra Kwiatkowska. An introduction to hyperlinear and sofic groups. pp. 145-185. - Itay Neeman and Spencer Unger. Aronszajn trees and the SCH. pp. 187-206. - Todd Eisworth, Justin Tatch Moore, and David Milovich. Iterated forcing and the Continuum Hypothesis. pp. 207-244. - Moti Gitik and Spencer Unger. Short extender forcing. pp. 245-263. - Alexander S. Kechris and Robin D. Tucker-Drob. The complexity of classification problems in ergodic theory. pp. 265-299. - Menachem Magidor and Chris Lambie-Hanson. On the strengths and weaknesses of weak squares. pp. 301-330. - Boban Veličković and Giorgio Venturi. Proper forcing remastered. pp. 331-362. - Asger ToÖrnquist and Martino Lupini. Set theory and von Neumann algebras. pp. 363-396. - W. Hugh Woodin, Jacob Davis, and Daniel RodrÍguez. The HOD dichotomy. pp. 397-419.	Bull. Symb. Log.	2014	DBLP DOI BibTeX RDF
50	Li-Chun Wang 0001, Chu-Jung Yeh	Multi-user MIMO broadcast systems with imperfect feedbacks.	IWCMC	2009	DBLP DOI BibTeX RDF	MIMO broadcast channels, zero-forcing beamforming, zero-forcing receiver, scheduling, MIMO systems
45	Shenfa Liu, Nan Hu, Zhiqiang He 0001, Kai Niu 0001, Weiling Wu	Multi-Level Zero-Forcing Method for Multiuser Downlink System with Per-Antenna Power Constraint.	VTC Spring	2007	DBLP DOI BibTeX RDF
45	Frank Harary, Wolfgang Slany, Oleg Verbitsky 0001	On the Computational Complexity of the Forcing Chromatic Number.	STACS	2005	DBLP DOI BibTeX RDF
42	Arnold W. Miller	The gamma-borel conjecture.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Hechler forcing, Laver forcing, Strong measure zero set, set
42	Márcia A. Gomes-Ruggiero, Véra Lucia Rocha Lopes, Julia Victoria Toledo-Benavides	A globally convergent inexact Newton method with a new choice for the forcing term.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Inexact Newton method, Forcing term, Newton iterative methods, Line search, Nonlinear systems of equations
42	Wei Yang, Wei Yang 0002	Performance analysis of uplink MIMO MC-CDMA systems based on linear zero-forcing V-BLAST algorithm.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	multicarrier code division multiple access (MC-CDMA), zero-forcing (ZF), bit error rate (BER), multiple-input-multiple-output (MIMO)
42	Andreas Müller 0001, Joachim Speidel	Adaptive modulation for MIMO spatial multiplexing systems with zero-forcing receivers in semi-correlated Rayleigh fading channels.	IWCMC	2006	DBLP DOI BibTeX RDF	linear transmit prefiltering, zero-forcing receiver, spatial correlation, MIMO systems, adaptive modulation, spatial multiplexing
41	Cássio B. Ribeiro, Marcello L. R. de Campos, Paulo S. R. Diniz	Time-Varying FIR Transmultiplexers With Minimum Redundancy.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
37	Gunter Fuchs	A Characterization of Generalized Príkrý Sequences.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	P?íkrý Forcing, Iterated Ultrapowers, Covering
37	Hongwei Wang	A Sufficient and Necessary Condition for the Forcing Number of a Bipartite Graph Being Equal to the Minimum Number of Trailing Vertices.	COCOA	2009	DBLP DOI BibTeX RDF
37	Thierry Coquand	Forcing and Type Theory.	CSL	2009	DBLP DOI BibTeX RDF
37	Chiung-Jang Chen, Li-Chun Wang 0001	Performance Analysis of Scheduling in Multiuser MIMO Systems with Zero-Forcing Receivers.	IEEE J. Sel. Areas Commun.	2007	DBLP DOI BibTeX RDF
37	Joan Bagaria	Bounded forcing axioms as principles of generic absoluteness.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
34	Milos S. Kurilic	Mad families, forcing and the Suslin Hypothesis.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Mad families, The Suslin Hypothesis, Forcing
32	Joel David Hamkins	Some Second Order Set Theory.	ICLA	2009	DBLP DOI BibTeX RDF
32	Stefan Geschke	Potential continuity of colorings.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) Primary 03E35, Secondary 54H99, 05D10
32	Kun-Lung Wu, Philip S. Yu, James Z. Teng	Performance Comparison of Thrashing Control Policies for Concurrent Mergesorts with Parallel Prefetching.	SIGMETRICS	1993	DBLP DOI BibTeX RDF
32	Marek A. Suchenek	Incremental models of updating data bases.	Algebraic Logic and Universal Algebra in Computer Science	1988	DBLP DOI BibTeX RDF	AMS classification 03C25, 03C40, 03C52, 68G99
29	Eun Cheol Kim, Jae Sang Cha, Jin Young Kim 0001, Wan Sik kim, Chanwoo Moon, Geon Uk Kang, Jeong Jin Kang	Successive interference cancellation for cooperative communication systems.	ICHIT	2009	DBLP DOI BibTeX RDF	co-channel interference (CCI), minimum mean square error (MMSE), optimal ordering, successive interference cancellation (SIC), zero forcing (ZF), cooperative communication
29	Zhengquan Li, Lianfeng Shen, Tiecheng Song	Performance analysis for keyhole channel of a quaternion quasi-orthogonal space time block code.	IWCMC	2009	DBLP DOI BibTeX RDF	quasi-orthogonal design, zero-forcing linear decoding, bit error rate, space time block code
29	Min Lee, Seong Keun Oh	Best utilization of a ZF-precoded multiuser MIMO broadcast channel.	ICUIMC	2008	DBLP DOI BibTeX RDF	MIMO-BC channel, zero-forcing, precoding, water-filling
29	Ronald Böhnke, Karl-Dirk Kammeyer	SINR analysis for V-BLAST with ordered MMSE-SIC detection.	IWCMC	2006	DBLP DOI BibTeX RDF	SINR distribution, ordered successive interference cancellation, zero-forcing, V-BLAST, MMSE
29	Robert S. Lubarsky	Topological Forcing Semantics with Settling.	LFCS	2009	DBLP DOI BibTeX RDF	topology AMS classification 03F50, 03E70, 03C90, semantics, set theory, Constructivism
29	Wei Wang 0043, Zhan Zhang, Hidetoshi Kayama	Limited feedback Zero Forcing precoding scheme for MIMO-broadcast channels.	PIMRC	2008	DBLP DOI BibTeX RDF
29	Andrzej Roslanowski, Saharon Shelah	Universal forcing notions and ideals.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03E40, 03E17
29	John Krueger	Radin forcing and its iterations.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03E40, 03E55
29	Michael Botros Shenouda, Timothy N. Davidson	Minimum SER Zero-Forcing Transmitter Design for MIMO Channels with Interference Pre-Subtraction.	VTC Spring	2007	DBLP DOI BibTeX RDF
29	Kizito Salako	Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity.	SAFECOMP	2007	DBLP DOI BibTeX RDF
29	Rod Downey, Liang Yu	Arithmetical Sacks Forcing.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991) Primary 03D28, Secondary 03D65
29	Saman S. Abeysekera	Implementation of a zero-forcing residue equalizer using a Laguerre filter architecture.	ISCAS (3)	2004	DBLP DOI BibTeX RDF
25	Desmond Lau	Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation.	CoRR	2024	DBLP DOI BibTeX RDF
25	Kai Deng, Huazhong Lü, Tingzeng Wu	Forcing and anti-forcing polynomials of a type of polyomino graphs.	Comput. Appl. Math.	2023	DBLP DOI BibTeX RDF
25	Hongwen Yu, Hoang Duong Tuan, Eryk Dutkiewicz, H. Vincent Poor, Lajos Hanzo	RIS-Aided Zero-Forcing and Regularized Zero-Forcing Beamforming in Integrated Information and Energy Delivery.	IEEE Trans. Wirel. Commun.	2022	DBLP DOI BibTeX RDF
25	J. John, V. Sujin Flower	On the Forcing Domination and the Forcing Total Domination Numbers of a Graph.	Graphs Comb.	2022	DBLP DOI BibTeX RDF
25	Hongwen Yu, Hoang Duong Tuan, Eryk Dutkiewicz, H. Vincent Poor, Lajos Hanzo	RIS-aided Zero-Forcing and Regularized Zero-Forcing Beamforming in Integrated Information and Energy Delivery.	CoRR	2022	DBLP BibTeX RDF
25	Yaxian Zhang, Heping Zhang	Relations between global forcing number and maximum anti-forcing number of a graph.	Discret. Appl. Math.	2022	DBLP DOI BibTeX RDF
25	Rebekah Herrman	The (d-2)-leaky forcing number of Qd and ℓ-leaky forcing number of GP(n, 1).	Discret. Optim.	2022	DBLP DOI BibTeX RDF
25	Ur Ya'ar	The Modal Logic of -Centered forcing and Related forcing Classes.	J. Symb. Log.	2021	DBLP DOI BibTeX RDF
25	Yang Feng 0004, Shuhao Gu, Dengji Guo, Zhengxin Yang, Chenze Shao	Guiding Teacher Forcing with Seer Forcing for Neural Machine Translation.	CoRR	2021	DBLP BibTeX RDF
25	Yang Feng 0004, Shuhao Gu, Dengji Guo, Zhengxin Yang, Chenze Shao	Guiding Teacher Forcing with Seer Forcing for Neural Machine Translation.	ACL/IJCNLP (1)	2021	DBLP DOI BibTeX RDF
25	Randy Davila, Michael A. Henning	Total forcing sets and zero forcing sets in trees.	Discuss. Math. Graph Theory	2020	DBLP DOI BibTeX RDF
25	Zhongyuan Che, Zhibo Chen 0003	Plane Elementary Bipartite Graphs with Forcing or Anti-forcing Edges.	Graphs Comb.	2019	DBLP DOI BibTeX RDF
25	Tom Benhamou	Prikry forcing and tree Prikry forcing of various filters.	Arch. Math. Log.	2019	DBLP DOI BibTeX RDF
25	Randy Davila, Michael A. Henning	Total Forcing and Zero Forcing in Claw-Free Cubic Graphs.	Graphs Comb.	2018	DBLP DOI BibTeX RDF
25	Zhongyuan Che, Zhibo Chen 0003	Forcing and anti-forcing edges in bipartite graphs.	Discret. Appl. Math.	2018	DBLP DOI BibTeX RDF
25	Shuang Zhao, Heping Zhang	Anti-forcing polynomials for benzenoid systems with forcing edges.	Discret. Appl. Math.	2018	DBLP DOI BibTeX RDF
25	Lingjuan Shi, Hongwei Wang, Heping Zhang	On the maximum forcing and anti-forcing numbers of (4, 6)-fullerenes.	Discret. Appl. Math.	2017	DBLP DOI BibTeX RDF
25	Peter Holy, Regula Krapf, Philipp Lücke, Ana Njegomir, Philipp Schlicht	Class forcing, the forcing Theorem and Boolean Completions.	J. Symb. Log.	2016	DBLP DOI BibTeX RDF
25	Leslie Hogben, Kevin F. Palmowski, David E. Roberson, Michael Young	Fractional zero forcing via three-color forcing games.	Discret. Appl. Math.	2016	DBLP DOI BibTeX RDF
25	Aloïs Brunel	The monitoring power of forcing program transformations. (Transformations de forcing et algèbres de monitoring)		2014	RDF
25	Lionel Rieg	On Forcing and Classical Realizability. (Forcing et réalisabilité classique).		2014	RDF
25	Imants Baruss, Robert E. Woodrow	A Reduction Theorem for the Kripke-Joyal Semantics: Forcing Over an Arbitrary Category can Always be Replaced by Forcing Over a Complete Heyting Algebra.	Logica Universalis	2013	DBLP DOI BibTeX RDF
25	Johnson John, A. P. Santhakumaran	On the forcing geodetic and forcing Steiner numbers of a graph.	Discuss. Math. Graph Theory	2011	DBLP DOI BibTeX RDF
25	Amir Herzberg, Ronen Margulies	Forcing Johnny to Login Safely - Long-Term User Study of Forcing and Training Login Mechanisms.	ESORICS	2011	DBLP DOI BibTeX RDF
25	Sebastian Wagner 0002, Romain Couillet, Mérouane Debbah, Dirk T. M. Slock	Optimal Training in Large TDD Multi-User Downlink Systems under Zero-Forcing and Regularized Zero-Forcing Precoding.	GLOBECOM	2010	DBLP DOI BibTeX RDF
25	Li-Da Tong	The forcing hull and forcing geodetic numbers of graphs.	Discret. Appl. Math.	2009	DBLP DOI BibTeX RDF
25	Justin Tatch Moore	The Proper Forcing Axiom, Prikry forcing, and the Singular Cardinals Hypothesis.	Ann. Pure Appl. Log.	2006	DBLP DOI BibTeX RDF
25	Toshio Suzuki	Forcing Complexity: Minimum Sizes of Forcing Conditions.	Notre Dame J. Formal Log.	2001	DBLP DOI BibTeX RDF
25	Andrzej Roslanowski, Saharon Shelah	Simple Forcing Notions and Forcing Axioms.	J. Symb. Log.	1997	DBLP DOI BibTeX RDF
25	Gerald E. Sacks	Effective Forcing versus Proper Forcing.	Ann. Pure Appl. Log.	1996	DBLP DOI BibTeX RDF
25	Haim Judah, Arnold W. Miller, Saharon Shelah	Sacks forcing, Laver forcing, and Martin's axiom.	Arch. Math. Log.	1992	DBLP DOI BibTeX RDF
25	Piergiorgio Odifreddi	Forcing and Reducibilities. III. Forcing in Fragments of Set Theory.	J. Symb. Log.	1983	DBLP DOI BibTeX RDF
25	Piergiorgio Odifreddi	Forcing and Reducibilities. II. Forcing in Fragments of Analysis.	J. Symb. Log.	1983	DBLP DOI BibTeX RDF
24	Seokhyun Yoon, Sok-Kyu Lee	A Detection Algorithm for Multi-Input Multi-Output (MIMO) Transmission using Poly-Diagonalization and Trellis Decoding.	IEEE J. Sel. Areas Commun.	2008	DBLP DOI BibTeX RDF
24	Ivo Bukovsky, Jirí Bíla	Adaptive evaluation of complex time series using nonconventional neural units.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
24	Jin Xu 0001, Xiaofeng Tao, Ping Zhang 0003	Analytical SER Performance Bound of M-QAM MIMO System with ZF-SIC Receiver.	ICC	2008	DBLP DOI BibTeX RDF
24	Feng Zheng	A robust H2 filtering approach and its application to equalizer design for communication systems.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
24	Tomek Bartoszynski, Andrzej Roslanowski	Towards Martins minimum.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
24	Alex M. McAllister	Computability in structures representing a Scott set.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03C25, 03C50, 03C62, 03D35, 03D30, 03C57
24	Lorenz Halbeisen	Symmetries between two Ramsey properties.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF
24	Ken Hirose, Kiyoshi Segawa, Nobuo Saito, Norihisa Doi, Masahiro Hirata, Toshiharu Yamasaki, Masayuki Takata	Specification technique for parallel processing: process-data representation.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
21	Peisheng Pan, Baoyu Zheng, Rongfang Song	A SINR Threshold-Based Limited Feedback and Feedback Load Analysis for Downlink Multiuser Diversity.	MSN	2009	DBLP DOI BibTeX RDF	zero-forcing beamforming, wireless cellular systems, feedback, multiuser diversity, channel state information
21	Thoralf Räsch, Ralf Schindler	A new condensation principle.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Proper forcing, Large cardinals, Set theory
21	Heike Mildenberger, Saharon Shelah	Specialising Aronszajn trees by countable approximations.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Proper forcing, Cardinal characteristics, Iterations
21	Tomek Bartoszynski, Saharon Shelah	Strongly meager sets of size continuum.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Strongly meager, Preservation, Forcing
21	Kai Hauser	Generic relativizations of fine structure.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF	set theory/fine structure/forcing/generic extensions/core models
21	Markus Becker 0003, Hendrik Tessendorf, Matthias Teschner	Direct Forcing for Lagrangian Rigid-Fluid Coupling.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
21	Eitan Sayag, Amir Leshem, Nikos D. Sidiropoulos	Finite Word Length Effects on Transmission Rate in Zero Forcing Linear Precoding for Multichannel DSL.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
21	Chao-Yuan Hsu, Wen-Rong Wu	A low-complexity zero-forcing CFO compensation scheme for OFDMA uplink systems.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
21	Jayakrishnan C. Mundarath, Parameswaran Ramanathan, Barry D. Van Veen	A Distributed Downlink Scheduling Method for Multi-user Communication with Zero-Forcing Beamforming.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
21	Petr Jancar, Jirí Srba	Undecidability of bisimilarity by defender's forcing.	J. ACM	2008	DBLP DOI BibTeX RDF	process algebra, undecidability, pushdown automata, Bisimilarity
21	Michael Botros Shenouda, Timothy N. Davidson	A design framework for limited feedback MIMO systems with zero-forcing DFE.	IEEE J. Sel. Areas Commun.	2008	DBLP DOI BibTeX RDF
21	Jianqi Wang, David James Love, Michael D. Zoltowski	User Selection With Zero-Forcing Beamforming Achieves the Asymptotically Optimal Sum Rate.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
21	Rui Zhang 0006, John M. Cioffi	Approaching MIMO-OFDM Capacity With Zero-Forcing V-BLAST Decoding and Optimized Power, Rate, and Antenna-Mapping Feedback.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
21	Ami Wiesel, Yonina C. Eldar, Shlomo Shamai	Zero-Forcing Precoding and Generalized Inverses.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
21	Lie-Liang Yang	A zero-forcing multiuser transmitter preprocessing scheme for downlink communications.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
21	Matteo Trivellato, Federico Boccardi, Howard C. Huang	Zero-forcing vs unitary beamforming in multiuser MIMO systems with limited feedback.	PIMRC	2008	DBLP DOI BibTeX RDF
21	I-Wei Lai, Susanne Godtmann, Tzi-Dar Chiueh, Gerd Ascheid, Heinrich Meyr	Asymptotic BER Analysis for MIMO-BICM with Zero-Forcing Detectors Assuming Imperfect CSI.	ICC	2008	DBLP DOI BibTeX RDF
21	Feng Jiang, Ying Wang 0002, Xi Fang, Kai Sun 0003, Guona Hu, Ping Zhang 0003	Cross-Layer Design for the MIMO System with Zero-Forcing Receiver in the Presence of Channel Estimation Error.	ICC	2008	DBLP DOI BibTeX RDF
21	Tao Liu, Ling Qiu, Yupeng Liu	A Satisfaction Based Scheduling Scheme with Multi-Beam Zero-Forcing Beamforming.	ICC	2008	DBLP DOI BibTeX RDF
21	Peng Lu, Hong-Chuan Yang	Sum-Rate Analysis of Multiuser MIMO System with Zero-Forcing Transmit Beamforming.	ICC	2008	DBLP DOI BibTeX RDF
21	Feng She, Hanwen Luo 0001, Wen Chen 0001, Xinbing Wang	Joint Queue Control and User Scheduling in MIMO Broadcast Channel under Zero-Forcing Multiplexing.	ICC	2008	DBLP DOI BibTeX RDF
21	Olof Sjöbergh, Eduard A. Jorswieck, Erik G. Larsson	Greedy user selection for zero-forcing and MMSE multiuser beamforming with channel estimation errors.	ICASSP	2008	DBLP DOI BibTeX RDF
21	Elmahdi Driouch, Wessam Ajib	A graph theory based scheduling algorithm For MIMO-CDMA systems using zero forcing beamforming.	ISCC	2008	DBLP DOI BibTeX RDF