Search results for "re-constructible"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
109	Chuzo Iwamoto, Tomonobu Hatsuyama, Kenichi Morita, Katsunobu Imai	On Time-Constructible Functions in One-Dimensional Cellular Automata.	FCT	1999	DBLP DOI BibTeX RDF
61	JunYong Yan, Yi Jin, KaiZhong Zuo	Decrease-radix design principle for carrying/borrowing free multi-valued and application in ternary optical computer.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	carrying/borrowing free operating units, decrease-radix design, re-constructible, ternary optical computer
57	Michael Elkin, David Peleg	(1+epsilon, beta)-spanner constructions for general graphs.	STOC	2001	DBLP DOI BibTeX RDF
52	Takashi Katoh, Kouichi Hirata	A Simple Characterization on Serially Constructible Episodes.	PAKDD	2008	DBLP DOI BibTeX RDF
52	Jirí Síma, Stanislav Zák	A Polynomial Time Constructible Hitting Set for Restricted 1-Branching Programs of Width 3.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
52	Michal Koucký 0001	Log-Space Constructible Universal Traversal Sequences for Cycles of Length O(n4.03).	COCOON	2001	DBLP DOI BibTeX RDF
47	Peter Koepke	Ordinal Computability.	CiE	2009	DBLP DOI BibTeX RDF	Ordinal machines, Infinite Time Register Machines, Constructible sets
38	Mitsuru Hamada	Concatenated Quantum Codes Constructible in Polynomial Time: Efficient Decoding and Error Correction.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
38	P. Schapira	Tomography of Constructible Functions.	AAECC	1995	DBLP DOI BibTeX RDF
28	Huaming Zhang, Xin He	Optimal st -orientations for plane triangulations.	J. Comb. Optim.	2009	DBLP DOI BibTeX RDF	st-orientation, Plane triangulation
28	Omer Reingold	Undirected connectivity in log-space.	J. ACM	2008	DBLP DOI BibTeX RDF	bounded space algorithms, Derandomization, pseudorandom generator
28	Eldar Fischer, Johann A. Makowsky	Linear Recurrence Relations for Graph Polynomials.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
28	Chi Tat Chong, Liang Yu	Thin Maximal Antichains in the Turing Degrees.	CiE	2007	DBLP DOI BibTeX RDF
28	Huaming Zhang, Xin He	Optimal st -Orientations for Plane Triangulations.	AAIM	2007	DBLP DOI BibTeX RDF
28	Changbo Chen, Oleg Golubitsky, François Lemaire, Marc Moreno Maza, Wei Pan 0001	Comprehensive Triangular Decomposition.	CASC	2007	DBLP DOI BibTeX RDF
28	Omer Reingold	Undirected ST-connectivity in log-space.	STOC	2005	DBLP DOI BibTeX RDF
28	Frédéric Havet	On Unavoidability of Trees with kLeaves.	Graphs Comb.	2003	DBLP DOI BibTeX RDF
28	Viliam Geffert	Space Hierarchy Theorem Revised.	MFCS	2001	DBLP DOI BibTeX RDF	Computational complexity, Space complexity
28	Rahul Santhanam	On Separators, Segregators and Time versus Space.	CCC	2001	DBLP DOI BibTeX RDF
28	Masahiro Hachimori	Nonconstructible Simplicial Balls and a Way of Testing Constructibility.	Discret. Comput. Geom.	1999	DBLP DOI BibTeX RDF
28	Kazuo Iwama, Chuzo Iwamoto	Improved Time and Space Hierarchies of One-Tape Off-Line TMs.	MFCS	1998	DBLP DOI BibTeX RDF
28	Gilles Lachaud, Jacques Stern	Polynomial-Time Construction of Spherical Codes.	AAECC	1991	DBLP DOI BibTeX RDF
28	Viliam Geffert	Nondeterministic Computations in Sublogarithmic Space and Space Constructibility. (journal version: SIAM J. Comput. 20(3): 484-498(1991))	ICALP	1990	DBLP DOI BibTeX RDF
24	Vadim Lebovici	Hybrid Transforms of Constructible Functions.	Found. Comput. Math.	2024	DBLP DOI BibTeX RDF
24	Ezra Miller	Stratifications of real vector spaces from constructible sheaves with conical microsupport.	J. Appl. Comput. Topol.	2023	DBLP DOI BibTeX RDF
24	Pierre Schapira	Constructible sheaves and functions up to infinity.	J. Appl. Comput. Topol.	2023	DBLP DOI BibTeX RDF
24	Man-Fai Wong, Xintong Qi, Chee Wei Tan 0001	EuclidNet: Deep Visual Reasoning for Constructible Problems in Geometry.	Adv. Artif. Intell. Mach. Learn.	2023	DBLP DOI BibTeX RDF
24	Ur Ya'ar	Iterating the cofinality- Constructible Model.	J. Symb. Log.	2023	DBLP DOI BibTeX RDF
24	Alessandro Neri 0002, Mima Stanojkovski	A proof of the Etzion-Silberstein conjecture for monotone and MDS-constructible Ferrers diagrams.	CoRR	2023	DBLP DOI BibTeX RDF
24	Man-Fai Wong, Xintong Qi, Chee-Wei Tan 0001	EuclidNet: Deep Visual Reasoning for Constructible Problems in Geometry.	CoRR	2023	DBLP DOI BibTeX RDF
24	Vadim Lebovici	Two complementary approaches in multi-parameter persistence: interval-decompositions and constructible functions. (Deux approches complémentaires de la persistance multiparamétrique: décompositions en intervalles et fonctions constructibles).		2023	RDF
24	Maria-Romina Ivan, Imre Leader, Mark Walters	Constructible graphs and pursuit.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
24	Luis M. Pardo, Daniel Sebastián	A promenade through correct test sequences I: Degree of constructible sets, Bézout's Inequality and density.	J. Complex.	2022	DBLP DOI BibTeX RDF
24	Vadim Lebovici	Hybrid transforms of constructible functions.	CoRR	2021	DBLP BibTeX RDF
24	Zihan Tan, Liwei Zeng	Erratum for "On the Inequalities of Projected Volumes and the Constructible Region".	SIAM J. Discret. Math.	2020	DBLP DOI BibTeX RDF
24	Saskia Chambille, Pablo Cubides Kovacsics, Eva Leenknegt	Exponential-constructible functions in P-minimal structures.	J. Math. Log.	2020	DBLP DOI BibTeX RDF
24	Thomas Macaulay Ferguson	Explicit analyses of proof/refutation interaction for constructible falsity and Heyting-Brouwer logic.	J. Log. Comput.	2020	DBLP DOI BibTeX RDF
24	Jorge Cely, Michel Raibaut	On the Commutativity of pull-Back and Push-Forward Functors on Motivic Constructible Functions.	J. Symb. Log.	2019	DBLP DOI BibTeX RDF
24	Marcia J. Groszek, Joel David Hamkins	The Implicitly Constructible Universe.	J. Symb. Log.	2019	DBLP DOI BibTeX RDF
24	Zihan Tan, Liwei Zeng	On the Inequalities of Projected Volumes and the Constructible Region.	SIAM J. Discret. Math.	2019	DBLP DOI BibTeX RDF
24	Nicolas Berkouk, Grégory Ginot	A derived isometry theorem for constructible sheaves on	CoRR	2018	DBLP BibTeX RDF
24	Merlin Carl, Philipp Schlicht, Philip D. Welch	Recognizable sets and Woodin cardinals: computation beyond the constructible universe.	Ann. Pure Appl. Log.	2018	DBLP DOI BibTeX RDF
24	Thomas Macaulay Ferguson	A Gödel-Artemov-Style Analysis of Constructible Falsity.	LFCS	2018	DBLP DOI BibTeX RDF
24	Robert E. Jamison, Henry Martyn Mulder	Graphs constructible from cycles and complete graphs.	Discret. Math.	2017	DBLP DOI BibTeX RDF
24	Sean Walsh 0001	Fragments of Frege's Grundgesetze and Gödel's Constructible Universe.	J. Symb. Log.	2016	DBLP DOI BibTeX RDF
24	Toshiyuki Miyamoto	Choreography Realization by Re-Constructible Decomposition of Acyclic Relations.	IEICE Trans. Inf. Syst.	2016	DBLP DOI BibTeX RDF
24	Josep M. Brunat, Antonio Montes	Computing the Canonical Representation of Constructible Sets.	Math. Comput. Sci.	2016	DBLP DOI BibTeX RDF
24	Mathieu Hoyrup	The Typical Constructible Object.	CiE	2016	DBLP DOI BibTeX RDF
24	Saugata Basu	A Complexity Theory of Constructible Functions and Sheaves.	Found. Comput. Math.	2015	DBLP DOI BibTeX RDF
24	Nathan R. Holbert, Uri Wilensky	Constructible Authentic Representations: Designing Video Games that Enable Players to Utilize Knowledge Developed In-Game to Reason About Science.	Technol. Knowl. Learn.	2014	DBLP DOI BibTeX RDF
24	Zihan Tan, Liwei Zeng, Jian Li	On the Inequalities of Projected Volumes and the Constructible Region.	CoRR	2014	DBLP BibTeX RDF
24	Sayed Jalal Zahabi, Adel Aghajan, Mohammadali Khosravifard	Sequentially-Constructible Reversible Variable Length Codes.	IEEE Trans. Commun.	2014	DBLP DOI BibTeX RDF
24	Joel David Hamkins	Every Countable Model of Set Theory embeds into its Own Constructible Universe.	J. Math. Log.	2013	DBLP DOI BibTeX RDF
24	Saugata Basu	A complexity theory of constructible functions and sheaves.	CoRR	2013	DBLP BibTeX RDF
24	Will Traves	From Pascal's Theorem to d-Constructible Curves.	Am. Math. Mon.	2013	DBLP DOI BibTeX RDF
24	Norihiro Kamide	Formalizing Inconsistency-Tolerant Relevant Human Reasoning: A Decidable Paraconsistent Relevant Logic with Constructible Falsity.	SMC	2013	DBLP DOI BibTeX RDF
24	Colleen Bouey, Christina Graves, Aaron Ostrander, Gregory Palma	Non-Recursively Constructible Recursive Families of Graphs.	Electron. J. Comb.	2012	DBLP DOI BibTeX RDF
24	Daniel Neilson, Yee-Hong Yang	A Component-Wise Analysis of Constructible Match Cost Functions for Global Stereopsis.	IEEE Trans. Pattern Anal. Mach. Intell.	2011	DBLP DOI BibTeX RDF	global algorithms, match cost functions, stereo matching, stereo correspondence, Stereopsis
24	Merlin Carl	A Computational Approach to an Alternative Working Environment for the Constructible Universe.	CiE	2011	DBLP DOI BibTeX RDF
24	Seiki Akama	Negative facts and constructible falsity.	Int. J. Reason. based Intell. Syst.	2009	DBLP DOI BibTeX RDF
24	Mark A. Iwen	Simple deterministically constructible RIP matrices with sublinear fourier sampling requirements.	CISS	2009	DBLP DOI BibTeX RDF
24	Changbo Chen, Liyun Li, Marc Moreno Maza, Wei Pan 0001, Yuzhen Xie	On the representation of constructible sets.	ACM Commun. Comput. Algebra	2008	DBLP DOI BibTeX RDF
24	Christos A. Athanasiadis, Myrto Kallipoliti	The absolute order on the symmetric group, constructible partially ordered sets and Cohen-Macaulay complexes.	J. Comb. Theory, Ser. A	2008	DBLP DOI BibTeX RDF
24	Mor Doron, Saharon Shelah	Relational structures constructible by quantifier free definable operations.	J. Symb. Log.	2007	DBLP DOI BibTeX RDF
24	Claude Sureson	Rumely Domains with Atomic Constructible Boolean Algebra. An Effective Viewpoint.	Notre Dame J. Formal Log.	2007	DBLP DOI BibTeX RDF
24	Bart Kuijpers, Gabriel M. Kuper, Jan Paredaens, Luc Vandeurzen	First-Order Languages Expressing Constructible Spatial Database Queries.	SIAM J. Comput.	2007	DBLP DOI BibTeX RDF
24	Peter Ullrich	Closed-form formulas for projecting constructible sets in the theory of algebraically closed fields.	ACM Commun. Comput. Algebra	2006	DBLP DOI BibTeX RDF
24	Moni Naor, Asaf Nussboim, Eran Tromer	Efficiently Constructible Huge Graphs That Preserve First Order Properties of Random Graphs.	TCC	2005	DBLP DOI BibTeX RDF
24	Marc Noy, Ares Ribó	Recursively constructible families of graphs.	Adv. Appl. Math.	2004	DBLP DOI BibTeX RDF
24	Matteo Viale	The cumulative hierarchy and the constructible universe of ZFA.	Math. Log. Q.	2004	DBLP DOI BibTeX RDF
24	Norbert Polat	On dually compact closed classes of graphs and BFS-constructible graphs.	Discuss. Math. Graph Theory	2003	DBLP DOI BibTeX RDF
24	Michal Koucký 0001	Log-space constructible universal traversal sequences for cycles of length O(n4.03).	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
24	Norbert Polat	On constructible graphs, locally Helly graphs, and convexity.	J. Graph Theory	2003	DBLP DOI BibTeX RDF
24	Chuzo Iwamoto, Tomonobu Hatsuyama, Kenichi Morita, Katsunobu Imai	Constructible functions in cellular automata and their applications to hierarchy results.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
24	Neil Biehn, Stephen L. Campbell, Ramine Nikoukhah, François Delebecque	Numerically constructible observers for linear time-varying descriptor systems.	Autom.	2001	DBLP DOI BibTeX RDF
24	Richard Ehrenborg, Masahiro Hachimori	Non-constructible Complexes and the Bridge Index.	Eur. J. Comb.	2001	DBLP DOI BibTeX RDF
24	Michal Koucký 0001	Log-space Constructible Universal Traversal Sequences for Cycles of Length O(n4.03)	Electron. Colloquium Comput. Complex.	2001	DBLP BibTeX RDF
24	Peter Koepke, Marc van Eijmeren	A refinement of Jensen's constructible hierarchy.	FotFS	2001	DBLP DOI BibTeX RDF
24	Masahiro Hachimori	Constructible complexes and recursive division of posets.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
24	Pascal Koiran	The Complexity of Local Dimensions for Constructible Sets.	J. Complex.	2000	DBLP DOI BibTeX RDF
24	Stefan Treatman, Cameron Wickham	Constructible Approximations of Regular Polygons.	Am. Math. Mon.	2000	DBLP BibTeX RDF
24	Marc Chastand, François Laviolette, Norbert Polat	On constructible graphs, infinite bridged graphs and weakly cop-win graphs.	Discret. Math.	2000	DBLP DOI BibTeX RDF
24	Ricardo Caferra, Nicolas Peltier	Combining Enumeration and Deductive Techniques in order to Increase the Class of Constructible Infinite Models.	J. Symb. Comput.	2000	DBLP DOI BibTeX RDF
24	Anna Patterson	Implicit Programming and the Logic of Constructible Duality		1998	RDF
24	Zakaria Bouziane, Alain Finkel	Cyclic Petri net reachability sets are semi-linear effectively constructible.	INFINITY	1997	DBLP DOI BibTeX RDF
24	Anatole Khelif	Existentially Closed Models via Constructible Sets: There are 2aleph0 Existentially Closed Pairwise Non Elementarily Equivalent Existentially Closed Ordered Groups.	J. Symb. Log.	1996	DBLP DOI BibTeX RDF
24	François Bergeron, Ulrike Sattler	Constructible Differentially Finite Algebraic Series in Several Variables.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
24	Philip D. Welch	Characterising Subsets of omega1 Constructible from a Real.	J. Symb. Log.	1994	DBLP DOI BibTeX RDF
24	Lech T. Polkowski, Maria Semeniuk-Polkowska	On Rough Mereological Constructibility: Anaphorically Constructible Many-Object Events.	Mathematical Aspects of Natural and Formal Languages	1994	DBLP DOI BibTeX RDF
24	Christian Schindler	Constructible hypergraphs.	Discret. Math.	1991	DBLP DOI BibTeX RDF
24	Danny Dolev, Nir Shavit	Bounded Concurrent Time-Stamp Systems Are Constructible	STOC	1989	DBLP DOI BibTeX RDF
24	Sorin Istrail	Polynomial Universal Traversing Sequences for Cycles Are Constructible (Extended Abstract)	STOC	1988	DBLP DOI BibTeX RDF
24	Andrzej Szepietowski	There are no Fully Space Constructible Functions Between log log n and log n.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
24	Marek Karpinski, Rutger Verbeek	On the Monte Carlo Space Constructible Functions and Seperation Results for Probabilistic Complexity Classes	Inf. Comput.	1987	DBLP DOI BibTeX RDF
24	Claude Sureson	ω1-constructible universe and measurable cardinals.	Ann. Pure Appl. Log.	1986	DBLP DOI BibTeX RDF
24	Ahmad Almukdad, David Nelson	Constructible Falsity and Inexact Predicates.	J. Symb. Log.	1984	DBLP DOI BibTeX RDF
24	Williams Kramer Forrest	The Theory of Affine Constructible Sets.	Math. Log. Q.	1983	DBLP DOI BibTeX RDF
24	C. P. Farrington	Constructible Lattices of c-Degrees.	J. Symb. Log.	1982	DBLP DOI BibTeX RDF
24	Evangelos Kranakis	Definable Ultrafilters and end Extension of Constructible Sets.	Math. Log. Q.	1982	DBLP DOI BibTeX RDF
24	Ami Litman	אפיונים קומבינטוריים של תכונות נדירות בעולם הקונסטרוקטיבילי (Combinatorical characterization of definable properties in the Constructible world.).		1981	RDF