Search results for "compactification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
113	Mark Sioen	On the Epireflectivity of the Wallman-Shanin-Type Compactification for Approach Spaces.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	approach space, extension of maps, epireflectivity, Wallman-Shanin compactification, WO map
87	Bernhard Banaschewski	The Stone-Cech Compactification and the Cozero Lattice in Pointfree Topology.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 46E25, 54C30
66	Jörg Denzinger, Jasmine Hamdan	Improving Modeling of Other Agents using Tentative Stereotypes and Compactification of Observations.	IAT	2004	DBLP DOI BibTeX RDF
47	He Wei	A Constructive Proof of the Gelfand-Kolmogorov Theorem.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	Stone-ech compactification, nucleus, locale
47	Maria Manuel Clementino, Dirk Hofmann	Topological Features of Lax Algebras.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	(lax) monad, (lax) algebra, ultrafilter monad, approach space, quasi-uniform space, ech-Stone compactification, topological space
47	Marcel Erné	Ideal Completions and Compactifications.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	Cauchy filter, compactification, (quasi-)uniform space, (ordered) topological space, (strongly) sober, totally (order-) separated, completion, core, ideal
46	Jörg Denzinger, Jasmine Hamdan	Improving Modeling of Other Agents Using Stereotypes and Compactification of Observations.	AAMAS	2004	DBLP DOI BibTeX RDF
41	Nikolaos Efstathiou Sofronidis	Turbulence Phenomena in Real Analysis.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Asymptotic equality-turbulence
41	Igor Durdanovic	A Fast Garbage Collection Algorithm for WAM-Based Prolog.	CSL	1990	DBLP DOI BibTeX RDF
27	Worthen Hunsaker, Jorge Picado	Frames with Transitive Structures.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	zero-dimensional frames resp. biframes, (quasi-)uniform frames, transitive (quasi-)uniform frames, totally bounded coreflection, universal zero-dimensional compactification, completion
27	Guillaume C. L. Brümmer, Eraldo Giuli, David B. Holgate	Direct Reflections.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	direct reflection, perfect morphism, Samuel compactification, topological bicompletion
27	Bernhard Banaschewski, Ales Pultr	Paracompactness revisited.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Paracompact frames, Samuel compactification and completion, uniform frames
26	Vladimir Ch. Zhukovsky	Radiative Effects in Low-Dimensional Effective Fermion Field Theory with Compactification.	Symmetry	2023	DBLP DOI BibTeX RDF
26	Suddhasattwa Das	Conditional expectation using compactification operators.	CoRR	2023	DBLP DOI BibTeX RDF
26	Giovanni Curi	Constructive strong regularity and the extension property of a compactification.	Ann. Pure Appl. Log.	2023	DBLP DOI BibTeX RDF
26	Viacheslav Kovtun, Elena Zaitseva, Vitaly G. Levashenko, Krzysztof Grochla, Oksana V. Kovtun	Small Stochastic Data Compactification Concept Justified in the Entropy Basis.	Entropy	2023	DBLP DOI BibTeX RDF
26	Julio C. Urenda, Olga Kosheleva, Vladik Kreinovich	Dimension Compactification Naturally Follows from First Principles.	Decision Making Under Uncertainty and Constraints	2023	DBLP DOI BibTeX RDF
26	Yu Ichida	On global behavior of a some SIR epidemic model based on the Poincaré compactification.	JSIAM Lett.	2022	DBLP DOI BibTeX RDF
26	Stefano Bellucci, Wagner Oliveira dos Santos, Eugenio R. Bezerra de Mello, Aram A. Saharian	Topological Effects in a Fermionic Condensate Induced by a Cosmic String and Compactification on the AdS Bulk.	Symmetry	2022	DBLP DOI BibTeX RDF
26	Vladislav Polianskii, Giovanni Luca Marchetti, Alexander Kravberg, Anastasiia Varava, Florian T. Pokorny, Danica Kragic	Voronoi Density Estimator for High-Dimensional Data: Computation, Compactification and Convergence.	CoRR	2022	DBLP DOI BibTeX RDF
26	Tamir Bendory, Ido Hadi, Nir Sharon	Compactification of the Rigid Motions Group in Image Processing.	SIAM J. Imaging Sci.	2022	DBLP DOI BibTeX RDF
26	Vladislav Polianskii, Giovanni Luca Marchetti, Alexander Kravberg, Anastasiia Varava, Florian T. Pokorny, Danica Kragic	Voronoi density estimator for high-dimensional data: Computation, compactification and convergence.	UAI	2022	DBLP BibTeX RDF
26	Jan Kurkofka, Max Pitz	Tangles and the Stone-Čech compactification of infinite graphs.	J. Comb. Theory, Ser. B	2021	DBLP DOI BibTeX RDF
26	Luz Victoria De La Pava, Ciro Russo	Compactness in MV-topologies: Tychonoff theorem and Stone-Čech compactification.	Arch. Math. Log.	2020	DBLP DOI BibTeX RDF
26	Victor Kondratiev, Ilya V. Otpuschennikov, Alexander A. Semenov	Using Decision Diagrams of Special Kind for Compactification of Conflict Data Bases Generated by CDCL SAT Solvers.	MIPRO	2020	DBLP DOI BibTeX RDF
26	Sergei V. Ketov	Modified Gravity in Higher Dimensions, Flux Compactification, and Cosmological Inflation.	Symmetry	2019	DBLP DOI BibTeX RDF
26	Iordan Ganev	The wonderful compactification for quantum groups.	J. Lond. Math. Soc.	2019	DBLP DOI BibTeX RDF
26	Subhadip Roy, Moumita Chiney, Syamal Kumar Samanta	Convergence of Soft Filter and Soft Compactification in Redefined Soft Topological Spaces.	ICITAM	2019	DBLP DOI BibTeX RDF
26	Kohei Kawai, Takahiro Hasegawa, Yuji Yamauchi, Takayoshi Yamashita, Hironobu Fujiyoshi	Compactification of Affine Transformation Filter Using Tensor Decomposition.	ICIP	2018	DBLP DOI BibTeX RDF
26	H. Boustique, Giles Richardson	Compactification: Limit Tower Spaces.	Appl. Categorical Struct.	2017	DBLP DOI BibTeX RDF
26		Compactification of *-autonomous categories.	CoRR	2016	DBLP BibTeX RDF
26	Sergey Slavnov	On partial traces and compactification of *-autonomous Mix-categories.	CoRR	2016	DBLP BibTeX RDF
26	Daniele D'Angeli, Alfredo Donno	Metric compactification of infinite Sierpiński carpet graphs.	Discret. Math.	2016	DBLP DOI BibTeX RDF
26	Shota Harada, Tetsuya Akagi, Shujiro Dohta, Wataru Kobayashi, Keiichiro Koga, Abdul Nasir Bin Abd	Compactification of Low-Cost Servo Valve Using Buckled Tubes and Its Application.	ICMSSP	2016	DBLP DOI BibTeX RDF
26	Boris Sobot	Divisibility in the Stone-Cech compactification.	Reports Math. Log.	2015	DBLP BibTeX RDF
26	Shuji Shoji, Akio Koyama	Performance Evaluation of High-Speed Communication Method by Compactification of Design Data.	J. Mobile Multimedia	2015	DBLP BibTeX RDF
26	Shuji Shoji, Akio Koyama	High-Speed Communication with Confidentiality by Compactification of Design Data.	NBiS	2015	DBLP DOI BibTeX RDF
26	Anupam Priyadarshi, Sandip Banerjee, Sunita Gakkhar	Geometry of the Poincaré compactification of a four-dimensional food-web system.	Appl. Math. Comput.	2014	DBLP DOI BibTeX RDF
26	Yui Noma, Makiko Konoshima	Eclipse Hashing: Alexandrov Compactification and Hashing with Hyperspheres for Fast Similarity Search.	CoRR	2014	DBLP BibTeX RDF
26	Hossein Hosseini Giv	Proving the Banach-Alaoglu Theorem via the Existence of the Stone-Čech Compactification.	Am. Math. Mon.	2014	DBLP DOI BibTeX RDF
26	Gunther Jäger	A one-point compactification for lattice-valued convergence spaces.	Fuzzy Sets Syst.	2012	DBLP DOI BibTeX RDF
26	Josef Slapal	Compactification with Respect to a Generalized-net Convergence on Constructs.	Appl. Categorical Struct.	2011	DBLP DOI BibTeX RDF
26	Giovanni Curi	On the existence of Stone-Cech compactification.	J. Symb. Log.	2010	DBLP DOI BibTeX RDF
26	Witold Pedrycz, Stuart Harvey Rubin	Data compactification and computing with words.	Eng. Appl. Artif. Intell.	2010	DBLP DOI BibTeX RDF
26	Gunther Jäger	Compactification of lattice-valued convergence spaces.	Fuzzy Sets Syst.	2010	DBLP DOI BibTeX RDF
26	Tae Hoon Yang, Oliver Frick, Elmar Heinzle	Hybrid optimization for 13C metabolic flux analysis using systems parametrized by compactification.	BMC Syst. Biol.	2008	DBLP DOI BibTeX RDF
26	Bernhard Banaschewski	The Stone-Cech Compactification and the Cozero Lattice in Pointfree Topology.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF
26	Guo Wei 0004, Yangeng Wang	On metrization of the hit-or-miss topology using Alexandroff compactification.	Int. J. Approx. Reason.	2007	DBLP DOI BibTeX RDF
26	Giovanni Curi	Exact approximations to Stone-Cech compactification.	Ann. Pure Appl. Log.	2007	DBLP DOI BibTeX RDF
26	Jörg Denzinger, Jasmine Hamdan	Improving observation-based modeling of other agents using tentative stereotyping and compactification through kd-tree structuring.	Web Intell. Agent Syst.	2006	DBLP BibTeX RDF
26	Natella Antonyan	On the maximal G-compactification of products of two G-spaces.	Int. J. Math. Math. Sci.	2006	DBLP DOI BibTeX RDF
26	Aysegül Altay, Murat Diker	A Wallman-type compactification of texture spaces.	Fuzzy Sets Syst.	2006	DBLP DOI BibTeX RDF
26	Karim Belaid, Othman Echi, Sami Lazaar	T(α, β)-spaces and the Wallman compactification.	Int. J. Math. Math. Sci.	2004	DBLP DOI BibTeX RDF
26	S. K. Acharyya, K. C. Chattopadhyay, Partha Pratim Ghosh	Constructing Banaschewski compactification without Dedekind completeness axiom.	Int. J. Math. Math. Sci.	2004	DBLP DOI BibTeX RDF
26	Harry Gingold	Approximation of unbounded functions via compactification.	J. Approx. Theory	2004	DBLP DOI BibTeX RDF
26	Jochen Trumpf, Uwe Helmke, P. A. Fuhrmann	Towards a compactification of the set of conditioned invariant subspaces.	Syst. Control. Lett.	2003	DBLP DOI BibTeX RDF
26	Antonio Mario Sette, José Carlos Cifuentes	Compactification Of L(Q).	Synth.	2000	DBLP DOI BibTeX RDF
26	Roberto Andreani, José Mario Martínez	Reformulation of Variational Inequalities on a Simplex and Compactification of Complementarity Problems.	SIAM J. Optim.	2000	DBLP DOI BibTeX RDF
26	Gunther Jäger	The Richardson compactification for fuzzy convergence spaces.	Fuzzy Sets Syst.	1997	DBLP DOI BibTeX RDF
26	Michael Kolonko	Optimal compactification of a floorplan and its relation to other optimization problems-a dynamic programming approach.	ZOR Methods Model. Oper. Res.	1993	DBLP DOI BibTeX RDF
26	Julian R. Ullmann	Generalised hough accumulator space compactification by superimposed coding.	Pattern Recognit. Lett.	1990	DBLP DOI BibTeX RDF
26	Serban A. Basarab	Morgan-Shalen Compactification of affine algebraic varieties over local fields.	Easter Conference on Model Theory	1989	DBLP BibTeX RDF
26	Daniel J. Rosenkrantz, Harry B. Hunt III	Efficient Algorithms for Automatic Construction and Compactification of Parsing Grammars.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF
26	Matthew Witten	Compactification of information in r-color 2-dimensional rectangular patterns.	Pattern Recognit.	1978	DBLP DOI BibTeX RDF
26	Abraham Kandel	On the compactification and enumeration of distinct fuzzy switching functions.	MVL	1978	DBLP BibTeX RDF
26	Abraham Robinson	Compactification of Groups and Rings and Nonstandard Analysis.	J. Symb. Log.	1969	DBLP DOI BibTeX RDF
20	Dikran Dikranjan, Elena Martín Peinador, Vaja Tarieladze	Conway's Question: The Chase for Completeness.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 22A05, 22B05, 54D25, 54H11, Secondary 54A35, 54D30, 54H13, 54B30
20	Rachid El Harti, Gábor Lukács	Bounded and Unitary Elements in Pro-C*-algebras.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 18A05, 46H05, 46J05, 46K05
20	H. L. Bentley, Horst Herrlich	Merotopological Spaces.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	merotopic space, nearness space, merotopological space, epireflective hull, bunch, cluster, completion, topological space
20	M. G. Charalambous	Direct Constructions of the Paracompact Coreflections of Frames.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	coreflection, cover regular, Lindelöf and paracompact frame, regular, normal, compact, nearness
20	D. Baboolal	Local Connectedness Made Uniform.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	local connectedness, property S, uniform local connectedness, connected congruences
20	Helmut Horacek	Presenting Proofs in a Human-Oriented Way.	CADE	1999	DBLP DOI BibTeX RDF
20	Abbas Edalat, Peter John Potts, Philipp Sünderhauf	Lazy Computation with Exact Real Numbers.	ICFP	1998	DBLP DOI BibTeX RDF
20	Arnold L. Rosenberg, Lawrence Snyder	Compact B-Trees.	SIGMOD Conference	1979	DBLP DOI BibTeX RDF