Search results for "Collapsible"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
91	Christopher H. Broadbent, C.-H. Luke Ong	On Global Model Checking Trees Generated by Higher-Order Recursion Schemes.	FoSSaCS	2009	DBLP DOI BibTeX RDF	Collapsible Pushdown Automaton, Parity Game, Model Checking, Game Semantics, Recursion Scheme
86	Eric L. Hill, Mikko H. Lipasti	Transparent mode flip-flops for collapsible pipelines.	ICCD	2007	DBLP DOI BibTeX RDF
49	Kivanc Zorlu, Candan Gokceoglu	Prediction of the Collapse Index by a Mamdani Fuzzy Inference System.	KES (1)	2008	DBLP DOI BibTeX RDF	caliche, collapsible ground, collapse index, fuzzy inference system
46	Frank H. Lutz, Bruno Benedetti	Knots in Collapsible and Non-Collapsible Balls.	Electron. J. Comb.	2013	DBLP DOI BibTeX RDF
46	Bruno Benedetti, Frank H. Lutz	Knots in collapsible and non-collapsible balls	CoRR	2013	DBLP BibTeX RDF
44	Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre	Collapsible Pushdown Automata and Recursion Schemes.	LICS	2008	DBLP DOI BibTeX RDF	Higher-order pushdown automata, game semantics, higher-order recursion schemes
44	Syed H. Masood, V. Satyanarayana, U. Erbulut	Design and Development of Large Collapsible PET Water Cooler Bottles.	CGIV	2006	DBLP DOI BibTeX RDF
44	Raimund Dachselt, Jürgen Ebert	Collapsible Cylindrical Trees: A Fast Hierarchical Navigation Technique.	INFOVIS	2001	DBLP DOI BibTeX RDF	interactive tree, XML, visualization, VRML, hierarchy, 3D graphics, web navigation, sitemap
28	Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre	Recursion Schemes and Logical Reflection.	LICS	2010	DBLP DOI BibTeX RDF	Collapsible Pushdown Automata, Monadic Second Order Logic and Mu-Calculus Global model checking, Parity Games, Recursion Schemes
28	Lan Lei, Xiao-Min Li, Bin Wang	On (s, t)-Supereulerian Locally Connected Graphs.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF	(s, t)-supereulerian, Collapsible graph, Locally connected graphs, Reduction
28	Bin Wang, Xiao-Min Li, Lan Lei	A Degree-Condition for ( s , t )-Supereulerian Graphs.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF	(s, t)-supereulerian, Reduced Graph, Edge-disjoint Spanning Trees, Collapsible
23	Anton Savostianov, Francesco Tudisco, Nicola Guglielmi	Cholesky-like Preconditioner for Hodge Laplacians via Heavy Collapsible Subcomplex.	CoRR	2024	DBLP DOI BibTeX RDF
23	Ruiyuan Zhao, Xiaotong Li, Jian Chen	Eagle-inspired manipulator with adaptive grasping and collapsible mechanism and modular DOF for UAV operations.	Comput. Electron. Agric.	2023	DBLP DOI BibTeX RDF
23	Nictor Mwamba, Jeconia Okelo Abonyo, Kennedy Otieno Awuor	Effects of Thermal Radiation and Chemical Reaction on Hydromagnetic Fluid Flow in a Cylindrical Collapsible Tube with an Obstacle.	Int. J. Math. Math. Sci.	2023	DBLP DOI BibTeX RDF
23	Chirag Falor, Shu Ge, Anand Natarajan	A Collapsible Polynomial Hierarchy for Promise Problems.	CoRR	2023	DBLP DOI BibTeX RDF
23	Xiao Xiong, Xinyu Zhang, Huanhao Huang, Kangyao Huang	Bionic Collapsible Wings in Aquatic-aerial Robot.	CoRR	2023	DBLP DOI BibTeX RDF
23	Lailu Li, Flynn Loh Jian Long, Irvin Lim, Tianyu Sun, Hongliang Ren 0001	An Overhead Collapsible Origami-Based Mount for Medical Applications.	Robotics	2023	DBLP DOI BibTeX RDF
23	Alfredo Lopes Saab, André Luís de Carvalho Rodrigues, Breno Padovezi Rocha, Roger Augusto Rodrigues, Heraldo Luiz Giacheti	Suction Influence on Load-Settlement Curves Predicted by DMT in a Collapsible Sandy Soil.	Sensors	2023	DBLP DOI BibTeX RDF
23	Ye Zhuo, Zerui Liu, Deming Meng, Pan Hu, Wenhao Song, Yunxiang Wang, Ruoyu Zhao, Tse-Hsien Ou, Sushmit Hossain, Alyna Xinxia Tang, J. Joshua Yang, Wei Wu	Early Prevention of Heart Attacks Using Memristor-Based Machine Learning and Surface Enhanced Raman Spectroscopy with Collapsible Nanofinger.	MetroXRAINE	2023	DBLP DOI BibTeX RDF
23	Dibei Chen, Tairan Zhang, Yi Huang, Jianfeng Zhu 0001, Yang Liu 0326, Pengfei Gou, Chunyang Feng, Binghua Li, Shaojun Wei, Leibo Liu	Orinoco: Ordered Issue and Unordered Commit with Non-Collapsible Queues.	ISCA	2023	DBLP DOI BibTeX RDF
23	Yibo He, Zhenqi Hu, Yaokun Fu, Kun Yang, Rui Wang, Guomou Shi, Zhanjie Feng, Qirang Yang, Liang Yu	Underground Morphological Detection of Ground Fissures in Collapsible Loess Area Based on Three-Dimensional Laser Scanning Technology.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
23	Xia Liu, Liming Xiong	Forbidden subgraphs for collapsible graphs and supereulerian graphs.	Discuss. Math. Graph Theory	2022	DBLP DOI BibTeX RDF
23	Michal Jerzy Kukiela, Bernd S. W. Schröder	Fixed points of group actions on link collapsible simplicial complexes.	J. Comb. Theory, Ser. A	2022	DBLP DOI BibTeX RDF
23	Jacob Rogatinsky, Kiran Gomatam, Zi Heng Lim, Megan Lee, Lorenzo Kinnicutt, Christian Duriez, Perry Thomson, Kevin J. McDonald, Tommaso Ranzani	A Collapsible Soft Actuator Facilitates Performance in Constrained Environments.	Adv. Intell. Syst.	2022	DBLP DOI BibTeX RDF
23	Jacob Rogatinsky, Kiran Gomatam, Zi Heng Lim, Megan Lee, Lorenzo Kinnicutt, Christian Duriez, Perry Thomson, Kevin J. McDonald, Tommaso Ranzani	A Collapsible Soft Actuator Facilitates Performance in Constrained Environments.	Adv. Intell. Syst.	2022	DBLP DOI BibTeX RDF
23	Garen Haddeler, Hari P. Palanivelu, Yung Chuen Ng, Fabien Colonnier, Albertus H. Adiwahono, Zhibin Li, Chee-Meng Chew, Meng Yee Chuah	Real-time Digital Double Framework to Predict Collapsible Terrains for Legged Robots.	CoRR	2022	DBLP DOI BibTeX RDF
23	Garen Haddeler, Hari P. Palanivelu, Yung Chuen Ng, Fabien Colonnier, Albertus H. Adiwahono, Zhibin Li, Chee-Meng Chew, Meng Yee Chuah	Real-time Digital Double Framework to Predict Collapsible Terrains for Legged Robots.	IROS	2022	DBLP DOI BibTeX RDF
23	Li Wang, Dong Li 0025, Lu Tian, Yi Shan	Efficient Image Super-Resolution with Collapsible Linear Blocks.	CVPR Workshops	2022	DBLP DOI BibTeX RDF
23	Kartikeya Bhardwaj, Milos Milosavljevic, Liam O'Neil, Dibakar Gope, Ramon Matas Navarro, Alex Chalfin, Naveen Suda, Lingchuan Meng, Danny Loh	Collapsible Linear Blocks for Super-Efficient Super Resolution.	MLSys	2022	DBLP BibTeX RDF
23	Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre	Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties.	ACM Trans. Comput. Log.	2021	DBLP DOI BibTeX RDF
23	Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre	Collapsible Pushdown Parity Games.	ACM Trans. Comput. Log.	2021	DBLP DOI BibTeX RDF
23	Javier Murillo, Pilar García-Navarro	A Solution of the Junction Riemann Problem for 1D Hyperbolic Balance Laws in Networks including Supersonic Flow Conditions on Elastic Collapsible Tubes.	Symmetry	2021	DBLP DOI BibTeX RDF
23	Kartikeya Bhardwaj, Milos Milosavljevic, Alex Chalfin, Naveen Suda, Liam O'Neil, Dibakar Gope, Lingchuan Meng, Ramon Matas Navarro, Danny Loh	Collapsible Linear Blocks for Super-Efficient Super Resolution.	CoRR	2021	DBLP BibTeX RDF
23	M. Amin F. Zarandi, Kevin Garman, John S. Rhee, B. Tucker Woodson, Guilherme J. M. Garcia	Effect of tube length on the buckling pressure of collapsible tubes.	Comput. Biol. Medicine	2021	DBLP DOI BibTeX RDF
23	Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre	Collapsible Pushdown Parity Games.	CoRR	2020	DBLP BibTeX RDF
23	Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre	Higher-Order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties.	CoRR	2020	DBLP BibTeX RDF
23	Bastien Maubert, Aniello Murano, Olivier Serre	Reasoning about strategies on collapsible pushdown arenas with imperfect information.	CoRR	2020	DBLP BibTeX RDF
23	Karim A. Adiprasito, Bruno Benedetti	Barycentric Subdivisions of Convex Complexes are Collapsible.	Discret. Comput. Geom.	2020	DBLP DOI BibTeX RDF
23		Experimental study on deformation characteristics of collapsible loess under isotropic stress.	J. Comput. Methods Sci. Eng.	2020	DBLP DOI BibTeX RDF
23	Yue Liu, Zhuangyan Fang, Yangbo He, Zhi Geng	Collapsible IDA: Collapsing Parental Sets for Locally Estimating Possible Causal Effects. (PDF / PS)	UAI	2020	DBLP BibTeX RDF
23	Ran Gu, Hong-Jian Lai, Yanting Liang, Zhengke Miao, Meng Zhang 0005	Collapsible subgraphs of a 4-edge-connected graph.	Discret. Appl. Math.	2019	DBLP DOI BibTeX RDF
23	Daniel Feltey, Ben Greenman, Christophe Scholliers, Robert Bruce Findler, Vincent St-Amour	Collapsible contracts: fixing a pathology of gradual typing.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
23	Meng Zhao, Liyi Chen, Honggang Wu, Wei Guo, Changwen Ye	Computer microscopic test study on the suitability of modified polyimide grease used to improve collapsible loess railway subgrade.	Concurr. Comput. Pract. Exp.	2018	DBLP DOI BibTeX RDF
23	Matthew Hague, Roland Meyer 0001, Sebastian Muskalla, Martin Zimmermann 0002	Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems.	CoRR	2018	DBLP BibTeX RDF
23	Matthew Hague, Roland Meyer 0001, Sebastian Muskalla, Martin Zimmermann 0002	Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems.	MFCS	2018	DBLP DOI BibTeX RDF
23	Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre	Collapsible Pushdown Automata and Recursion Schemes.	ACM Trans. Comput. Log.	2017	DBLP DOI BibTeX RDF
23	Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre	C-SHORe: Higher-Order Verification via Collapsible Pushdown System Saturation.	CoRR	2017	DBLP BibTeX RDF
23	Karim A. Adiprasito, Bruno Benedetti, Frank H. Lutz	Extremal Examples of Collapsible Complexes and Random Discrete Morse Theory.	Discret. Comput. Geom.	2017	DBLP DOI BibTeX RDF
23	Sylvain Salvati, Igor Walukiewicz	Simply typed fixpoint calculus and collapsible pushdown automata.	Math. Struct. Comput. Sci.	2016	DBLP DOI BibTeX RDF
23	Ping Li 0023, Hao Li, Ye Chen, Herbert Fleischner, Hong-Jian Lai	Supereulerian graphs with width s and s-collapsible graphs.	Discret. Appl. Math.	2016	DBLP DOI BibTeX RDF
23	Martin Tancer	Recognition of Collapsible Complexes is NP-Complete.	Discret. Comput. Geom.	2016	DBLP DOI BibTeX RDF
23	Fernando Benavides, Sergio Rajsbaum	The Read/Write Protocol Complex Is Collapsible.	LATIN	2016	DBLP DOI BibTeX RDF
23	Eric Goubault, Samuel Mimram, Christine Tasson	Iterated Chromatic Subdivisions are Collapsible.	Appl. Categorical Struct.	2015	DBLP DOI BibTeX RDF
23	Fernando Benavides, Sergio Rajsbaum	The read/write protocol complex is collapsible.	CoRR	2015	DBLP BibTeX RDF
23	Xiangwen Li, Yan Xiong	Collapsible graphs and Hamilton cycles of line graphs.	Discret. Appl. Math.	2015	DBLP DOI BibTeX RDF
23	Jessica S. Lee, Ronald S. Fearing	Anisotropic collapsible leg spines for increased millirobot traction.	ICRA	2015	DBLP DOI BibTeX RDF
23	Johannes Harms, Martina Kratky, Christoph Wimmer, Karin Kappel, Thomas Grechenig	Navigation in Long Forms on Smartphones: Scrolling Worse than Tabs, Menus, and Collapsible Fieldsets.	INTERACT (3)	2015	DBLP DOI BibTeX RDF
23	Weihua Yang, Hong-Jian Lai, Hao Li, Xiaofeng Guo	Collapsible Graphs and Hamiltonicity of Line Graphs.	Graphs Comb.	2014	DBLP DOI BibTeX RDF
23	Lorenzo Clemente	Unified Analysis of Collapsible and Ordered Pushdown Automata via Term Rewriting.	CoRR	2014	DBLP BibTeX RDF
23	Karim A. Adiprasito, Bruno Benedetti, Frank H. Lutz	Extremal examples of collapsible complexes and random discrete Morse theory.	CoRR	2014	DBLP BibTeX RDF
23	Antonio J. Reina, Jorge L. Martínez, Anthony Mandow, Jesús Morales, Alfonso García-Cerezo	Collapsible cubes: Removing overhangs from 3D point clouds to build local navigable elevation maps.	AIM	2014	DBLP DOI BibTeX RDF
23	Gregory Stevens, David Ilba, Stuart Wildy, Paul Gardner-Stephen, Matthew Lloyd	Low-cost, open-source, collapsible, air-transportable, field-manufacturable telecommunications tower.	GHTC	2014	DBLP DOI BibTeX RDF
23	Umakant Mishra	10 Inventions on collapsible keyboards: A TRIZ based analysis.	CoRR	2013	DBLP BibTeX RDF
23	Matthew Hague	Saturation of Concurrent Collapsible Pushdown Systems.	CoRR	2013	DBLP BibTeX RDF
23	Alexander Kartzow	Collapsible Pushdown Graphs of Level 2 are Tree-Automatic	Log. Methods Comput. Sci.	2013	DBLP DOI BibTeX RDF
23	Max Kemman, Martijn Kleppe, Jim Maarseveen	Eye Tracking the Use of a Collapsible Facets Panel in a Search Interface.	TPDL	2013	DBLP DOI BibTeX RDF
23	Matthew Lueck, Chris W. Gregory, Dean Malta, Alan Huffman, John M. Lannon, Dorota Temple	High density interconnect bonding of heterogeneous materials using non-collapsible microbumps at 10 μm pitch.	3DIC	2013	DBLP DOI BibTeX RDF
23	Luke Ong	Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking.	LATA	2013	DBLP DOI BibTeX RDF
23	Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre	C-SHORe: a collapsible approach to higher-order verification.	ICFP	2013	DBLP DOI BibTeX RDF
23	Matthew Hague	Saturation of Concurrent Collapsible Pushdown Systems.	FSTTCS	2013	DBLP DOI BibTeX RDF
23	Alexander Kartzow, Pawel Parys	Strictness of the Collapsible Pushdown Hierarchy	CoRR	2012	DBLP BibTeX RDF
23	Martin Tancer	Recognition of collapsible complexes is NP-complete	CoRR	2012	DBLP BibTeX RDF
23	Weihua Yang, Hong-Jian Lai, Hao Li, Xiaofeng Guo	Collapsible graphs and Hamiltonian connectedness of line graphs.	Discret. Appl. Math.	2012	DBLP DOI BibTeX RDF
23	Hao Li, Weihua Yang	A note on collapsible graphs and super-Eulerian graphs.	Discret. Math.	2012	DBLP DOI BibTeX RDF
23	Arnaud Carayol, Olivier Serre	Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection.	LICS	2012	DBLP DOI BibTeX RDF
23	Christopher H. Broadbent	Prefix Rewriting for Nested-Words and Collapsible Pushdown Automata.	ICALP (2)	2012	DBLP DOI BibTeX RDF
23	Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre	A Saturation Method for Collapsible Pushdown Systems.	ICALP (2)	2012	DBLP DOI BibTeX RDF
23	Alexander Kartzow, Pawel Parys	Strictness of the Collapsible Pushdown Hierarchy.	MFCS	2012	DBLP DOI BibTeX RDF
23	Sylvain Salvati, Igor Walukiewicz	Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata.	RP	2012	DBLP DOI BibTeX RDF
23	Pawel Parys	Variants of Collapsible Pushdown Systems.	CSL	2012	DBLP DOI BibTeX RDF
23	Jin Wei, Zhe Li	Study on large-scale in-situ immersion static load test for bearing behavior of collapsible loess pile foundation.	EMEIT	2011	DBLP DOI BibTeX RDF
23	Alexander Kartzow	A Pumping Lemma for Collapsible Pushdown Graphs of Level 2.	CSL	2011	DBLP DOI BibTeX RDF
23	Christopher H. Broadbent	On collapsible pushdown automata, their graphs and the power of links.		2011	RDF
23	C.-H. Luke Ong	Models of Higher-Order Computation: Recursion Schemes and Collapsible Pushdown Automata.	Logics and Languages for Reliability and Security	2010	DBLP DOI BibTeX RDF
23	Jinha Lee, Hiroshi Ishii 0001	Beyond: collapsible tools and gestures for computational design.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	tactile UI, augmented reality, tangible UI, 3D interaction, pen input, haptic UI
23	Alexander Kartzow	Collapsible Pushdown Graphs of Level 2 are Tree-Automatic.	STACS	2010	DBLP DOI BibTeX RDF
23	Jinha Lee, Surat Teerapittayanon, Hiroshi Ishii 0001	Beyond: collapsible input device for direct 3D manipulation beyond the screen.	UIST (Adjunct Volume)	2010	DBLP DOI BibTeX RDF
23	Matthew Hague, Anthony Widjaja To	The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems.	FSTTCS	2010	DBLP DOI BibTeX RDF
23	Zhi-Hong Chen, Peter C. B. Lam, Wai-Chee Shiu	Collapsible graphs and reductions of line graphs.	Discret. Math.	2009	DBLP DOI BibTeX RDF
23	Olli Nousiainen, L. Lehtiniemi, T. Kangasvieri, Risto Rautioaho, J. Vähäkangas	Thermal fatigue endurance of collapsible 95.5Sn4Ag0.5Cu spheres in LTCC/PWB assemblies.	Microelectron. Reliab.	2008	DBLP DOI BibTeX RDF
23	Nilmini S. Wijeratne, Karlene A. Hoo	An analytical approach to identify fluid flow separation and re-attachment in a collapsible channel.	Comput. Chem. Eng.	2007	DBLP DOI BibTeX RDF
23	Hong-Jian Lai, Xiangjuan Yao	Erratum to "Collapsible biclaw-free graphs": [Discrete Math 306 (2006) 2115-2117].	Discret. Math.	2007	DBLP DOI BibTeX RDF
23	Michael A. Sek	Numerical Simulation of Impacts involving a Collapsible Nonlinear Multilayer Structure.	World Congress on Engineering	2007	DBLP BibTeX RDF
23	Stephen Brooks, Jacqueline L. Whalley	Visualizing collapsible 3D data in a hybrid gis.	GRAPP (AS/IE)	2007	DBLP BibTeX RDF
23	Célestin Wafo Soh, Olusegun J. Ilegbusi	Semi-analytical solution of a constrained fourth-order integro-differential equation of steady flow-structure interaction in a model collapsible tube.	Appl. Math. Comput.	2006	DBLP DOI BibTeX RDF
23	Hong-Jian Lai, Xiangjuan Yao	Collapsible biclaw-free graphs.	Discret. Math.	2006	DBLP DOI BibTeX RDF
23	Alberto Apostolico, Yongwook Choi	Compressing with Collapsible Tries.	ITW	2006	DBLP DOI BibTeX RDF
23	Alberto Apostolico, Yongwook Choi	Textual Compression by Collapsible Tries.	DCC	2006	DBLP DOI BibTeX RDF
23	Shu Beng Tor, Stephen Siang Guan Lee, Sun-Woh Lye, S. H. Chung Yee Hian	Design automation of two-stage collapsible core using design prototype.	Int. J. Comput. Integr. Manuf.	2000	DBLP DOI BibTeX RDF
23	Martin R. Frank, Pedro A. Szekely	Collapsible User Interfaces for Information Retrieval Agents.	IUI	1999	DBLP DOI BibTeX RDF	information retrieval, human-computer interaction, graphical user interfaces, software agents, model-based user interfaces