Search results for "Bracket"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
109	Hongbo Li 0012, Lei Huang	Complex brackets, balanced complex differences, and applications in symbolic geometric computing.	ISSAC	2008	DBLP DOI BibTeX RDF	bracket algebra, complex numbers method, graph theory, theorem proving, geometric algebra
75	Desney S. Tan, Greg Smith, Bongshin Lee, George G. Robertson	AdaptiviTree: Adaptive Tree Visualization for Tournament-Style Brackets.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	Online fantasy sports, picks, adaptive tree visualization, tournament, bracket
75	Hongbo Li 0012	A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization.	ISSAC	2007	DBLP DOI BibTeX RDF	null bracket algebra, symbolic geometric computing, geometric invariance, geometric theorem proving, conformal geometric algebra
75	Hongbo Li 0012, Ronghua Xu, Ning Zhang	On Miquel's Five-Circle Theorem.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF	Miquel’s Theorem, Mathematics mechanization, Null bracket algebra, “breefs”, Conformal geometric algebra
75	Hongbo Li 0012	Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF	Cayley algebra, bracket algebra, affine geometry, automated theorem proving, projective geometry, conics
64	Weiling Yang, Fuji Zhang	The Kauffman Bracket Polynomial of Links and Universal Signed Plane Graph.	CJCDGCGT	2005	DBLP DOI BibTeX RDF	Link diagram, Signed plane graph, Chain polynomial, Kauffman bracket polynomial
59	Keith A. Hardie, Klaus Heiner Kamps, Howard J. Marcum, Nobuyuki Oda	Triple Brackets and Lax Morphism Categories.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	Toda bracket (matrix, box, triple, quaternary), (lax) morphism category, homotopy category, suspension functor, homotopy groups of spheres, 2-category
55	Eng-Wee Chionh	Parallel Dixon Matrices by Bracket.	Adv. Comput. Math.	2003	DBLP DOI BibTeX RDF	Dixon matrices, parallel algorithms, brackets
55	Hongbo Li 0012, Yihong Wu 0002	Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
55	James Leslie Keedy, Mark Evered, Axel Schmolitzky, Gisela Menger	Attribute Types and Bracket Implementations.	TOOLS (25)	1997	DBLP DOI BibTeX RDF
55	Gisela Pitsch, Elmar Schömer	Optimal Parallel Recognition of Bracket Languages on Hypercubes.	STACS	1991	DBLP DOI BibTeX RDF
50	Yan Xu 0008, Jaap J. W. van der Vegt, Onno Bokhove	Discontinuous Hamiltonian Finite Element Method for Linear Hyperbolic Systems.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Rotating shallow water equations, Acoustic equations, Hamiltonian dynamics, Numerical flux, Discontinuous Galerkin method, Maxwell equations
44	Pandurangan Harikrishnan, Varadaraju Magesh, Akhil Minu Ajayan, Devadhas Kingsly JebaSingh	Finite element analysis of torque induced orthodontic bracket slot deformation in various bracket-archwire contact assembly.	Comput. Methods Programs Biomed.	2020	DBLP DOI BibTeX RDF
44	Glyn Morrill, Stepan L. Kuznetsov, Max I. Kanovich, Andre Scedrov	Bracket Induction for Lambek Calculus with Bracket Modalities.	FG	2018	DBLP DOI BibTeX RDF
44	Brett Oppegaard, Thomas Conway, Megan Conway	To bracket or not bracket: experiments in gamification in the wilds of technical communication.	SIGDOC	2017	DBLP DOI BibTeX RDF
44	Anthony M. Bloch, Arieh Iserles	Optimality of double bracket and generalized double bracket flows.	CDC	2003	DBLP DOI BibTeX RDF
39	Wei Xiao, Eng-Wee Chionh	Bracket Producing Rows and Columns of the Dixon Determinant.	SYNASC	2006	DBLP DOI BibTeX RDF
39	Arieh Iserles	On the Discretization of Double-Bracket Flows.	Found. Comput. Math.	2002	DBLP DOI BibTeX RDF
33	James Andrews, Michael Benisch, Alberto Sardinha, Norman M. Sadeh	Using Information Gain to Analyze and Fine Tune the Performance of Supply Chain Trading Agents.	AMEC/TADA	2007	DBLP DOI BibTeX RDF	Automated trading, agent performance analysis, electronic commerce, supply chain management, TAC SCM
33	Johann A. Makowsky	Colored Tutte polynomials and Kaufman brackets for graphs of bounded tree width.	SODA	2001	DBLP BibTeX RDF
33	Goetz Graefe	Encapsulation of Parallelism in the Volcano Query Processing System.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
25	Graham Wood	Bisection Global Optimization Methods.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Lipschitz continuity, Multidimensional bisection, Epigraph, Linear convergence, System, Reduction, Tiling, Bisection, Simplex, Elimination, Bracket
25	Yihong Wu 0002, Youfu Li, Zhanyi Hu	Detecting and Handling Unreliable Points for Camera Parameter Estimation.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	Bracket algebra, Invariant, Camera calibration
25	Neil L. White	Grassmann - Cayley algebra and robotics.	J. Intell. Robotic Syst.	1994	DBLP DOI BibTeX RDF	Plücker coordinates, Grassmann-Cayley algebra, motion space, series-parallel, infinitesimal rigiditly, Cayley factorization, bracket algebra, robot, spline, projective geometry, mechanism
22	Simon Hochgerner	Nonlinear Feedback, Double-bracket Dissipation and Port Control of Lie-Poisson Systems.	J. Nonlinear Sci.	2024	DBLP DOI BibTeX RDF
22	Wenbin He, Jianxu Mao, Kai Song, Zhe Li, Yulong Su, Yaonan Wang 0001, Xiangcheng Pan	Structural performance prediction based on the digital twin model: A battery bracket example.	Reliab. Eng. Syst. Saf.	2023	DBLP DOI BibTeX RDF
22	Katalin Gambár, Ferenc Márkus	Poisson Bracket Filter for the Effective Lagrangians.	Axioms	2023	DBLP DOI BibTeX RDF
22	Sridip Parui, James C. Robertson, Sandeep Somani, Gary Tresadern, Cong Liu, Ken A. Dill	MELD-Bracket Ranks Binding Affinities of Diverse Sets of Ligands.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
22	Andrei Agrachev, Pawel Nurowski	Ants and bracket generating distributions in dimensions 5 and 6.	Autom.	2023	DBLP DOI BibTeX RDF
22	Anthony Gruber, Kookjin Lee, Nathaniel Trask	Reversible and irreversible bracket-based dynamics for deep graph neural networks.	CoRR	2023	DBLP DOI BibTeX RDF
22	Nadine El-Naggar, Pranava Madhyastha, Tillman Weyde	Theoretical Conditions and Empirical Failure of Bracket Counting on Long Sequences with Linear Recurrent Networks.	CoRR	2023	DBLP DOI BibTeX RDF
22	Song Zhang, Qiuzhao Zhang, Ruipeng Yu, Zhangjun Yu, Chu Zhang, Xinyue He	Zero-Velocity Update-Based GNSS/IMU Tightly Coupled Algorithm with the Constraint of the Earth's Rotation Angular Velocity for Cableway Bracket Deformation Monitoring.	Sensors	2023	DBLP DOI BibTeX RDF
22	Raik Suttner	Nonsmooth optimization by Lie bracket approximations into random directions.	Syst. Control. Lett.	2023	DBLP DOI BibTeX RDF
22	Federico Thomas	New Bracket Polynomials Associated with the General Gough-Stewart Parallel Robot Singularities.	ICRA	2023	DBLP DOI BibTeX RDF
22	Nadine El-Naggar, Pranava Madhyastha, Tillman Weyde	Theoretical Conditions and Empirical Failure of Bracket Counting on Long Sequences with Linear Recurrent Networks.	EACL (Student Research Workshop)	2023	DBLP DOI BibTeX RDF
22	Yuwen Tan, Xiang Xiang 0001, Yifeng Chen, Hongyi Jing, Shiyang Ye, Chaoran Xue, Hui Xu	Coupling Bracket Segmentation and Tooth Surface Reconstruction on 3D Dental Models.	MICCAI (6)	2023	DBLP DOI BibTeX RDF
22	Anthony Gruber, Kookjin Lee, Nathaniel Trask	Reversible and irreversible bracket-based dynamics for deep graph neural networks.	NeurIPS	2023	DBLP BibTeX RDF
22	Christophe Labar, Christian Ebenbauer, Lorenzo Marconi 0001	ISS-like properties in Lie-bracket approximations and application to extremum seeking.	Autom.	2022	DBLP DOI BibTeX RDF
22	Juan Marín-Vega, Michael Sloth, Peter Schneider-Kamp, Richard Röttger	DRHDR: A Dual branch Residual Network for Multi-Bracket High Dynamic Range Imaging.	CoRR	2022	DBLP DOI BibTeX RDF
22	Nico Messikommer, Stamatios Georgoulis, Daniel Gehrig, Stepan Tulyakov, Julius Erbach, Alfredo Bochicchio, Yuanyou Li, Davide Scaramuzza 0001	Multi-Bracket High Dynamic Range Imaging with Event Cameras.	CoRR	2022	DBLP DOI BibTeX RDF
22	Nico Messikommer, Stamatios Georgoulis, Daniel Gehrig, Stepan Tulyakov, Julius Erbach, Alfredo Bochicchio, Yuanyou Li, Davide Scaramuzza 0001	Multi-Bracket High Dynamic Range Imaging with Event Cameras.	CVPR Workshops	2022	DBLP DOI BibTeX RDF
22	Juan Marín-Vega, Michael Sloth, Peter Schneider-Kamp, Richard Röttger	DRHDR: A Dual branch Residual Network for Multi-Bracket High Dynamic Range Imaging.	CVPR Workshops	2022	DBLP DOI BibTeX RDF
22	Mahmoud A. M. AbdelGalil, Haithem E. Taha	Lie bracket approximation-based extremum seeking with vanishing input oscillations.	Autom.	2021	DBLP DOI BibTeX RDF
22	Sanghoon Kim, Heetae Cho, Emily M. Newell, Hyun-Woo Lee	Who won the social media March Madness bracket? Demand shifters for Twitter followers.	Telematics Informatics	2021	DBLP DOI BibTeX RDF
22	Marc Weber, Christian Ebenbauer, Bahman Gharesifard	A Note on Nussbaum-type Control and Lie-bracket Approximation.	CoRR	2021	DBLP BibTeX RDF
22	Eamon Whalen, Azariah Beyene, Caitlin Mueller	SimJEB: Simulated Jet Engine Bracket Dataset.	CoRR	2021	DBLP BibTeX RDF
22	Mayank Chadha, Michael D. Todd	Poisson bracket formulation of a higher-order, geometrically-exact beam.	Appl. Math. Lett.	2021	DBLP DOI BibTeX RDF
22	Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov	Correction to: The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities.	J. Log. Lang. Inf.	2021	DBLP DOI BibTeX RDF
22	Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov	The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities.	J. Log. Lang. Inf.	2021	DBLP DOI BibTeX RDF
22	Yoonseok Kim, Gu-In Jung, Deokmin Jeon, Ruchire Eranga Wijesinghe, Daewoon Seong, Jaeyul Lee, Woo Jong Do, Sung-Min Kwon, Jong Hoon Lee, Jun Ho Hwang, Hyun Deok Kim, Kyu-Bok Lee, Mansik Jeon, Jeehyun Kim	Non-Invasive Optical Coherence Tomography Data-Based Quantitative Algorithm for the Assessment of Residual Adhesive on Bracket-Removed Dental Surface.	Sensors	2021	DBLP DOI BibTeX RDF
22	Jae-Hyun Park, Jin-Young Choi, Song Hee Oh, Seong-hun Kim	Three-Dimensional Digital Superimposition of Orthodontic Bracket Position by Using a Computer-Aided Transfer Jig System: An Accuracy Analysis.	Sensors	2021	DBLP DOI BibTeX RDF
22	Pandurangan Harikrishnan, Varadaraju Magesh	Stress distribution and deformation in six tie wings Orthodontic bracket during simulated tipping - A finite element analysis.	Comput. Methods Programs Biomed.	2021	DBLP DOI BibTeX RDF
22	Yuki Nishida 0002, Sennosuke Watanabe, Yoshihide Watanabe	Combinatorial algorithm for the computation of cyclically standard regular bracket monomials.	J. Symb. Comput.	2021	DBLP DOI BibTeX RDF
22	Chunlei Yu, Yingchao Bao, Chao Chen	Mechanical behavior analysis and structural improvement for the bracket arm of wrecker.	J. Comput. Methods Sci. Eng.	2021	DBLP DOI BibTeX RDF
22	Eamon Whalen, Azariah Beyene, Caitlin Tobin Mueller	SimJEB: Simulated Jet Engine Bracket Dataset.	Comput. Graph. Forum	2021	DBLP DOI BibTeX RDF
22	Fan Ye, Luwei Liu, Bin Yan, Xiaohan Zhao, Aimin Hao	Orthodontic simulation system with force feedback for training complete bracket placement procedures.	Virtual Real. Intell. Hardw.	2021	DBLP DOI BibTeX RDF
22	Ling Gu, Chen Ji, Wanting Ji	The Development of a Kind of Composite Material Lightweight Airborne Equipment Bracket.	AIAM (ACM)	2021	DBLP DOI BibTeX RDF
22	Marc Weber, Christian Ebenbauer, Bahman Gharesifard	A Note on Nussbaum-type Control and Lie-bracket Approximation.	CDC	2021	DBLP DOI BibTeX RDF
22	Daniel Kobold Jr., Andy Byerly, Rishikesh Mahesh Bagwe, Euzeli Cipriano dos Santos Jr., Zina Ben Miled	Vocation Identification for Heavy-duty Vehicles: A Tournament Bracket Approach.	VEHITS	2021	DBLP DOI BibTeX RDF
22	Guotian Yang, Senping Song, Yunlong Wang	Cable Bracket Tilt Detection Based on YOLOv3.	ICAIIS	2021	DBLP DOI BibTeX RDF
22	Cesar Ceballos, Arnau Padrol, Camilo Sarmiento	The ν-Tamari Lattice via ν-Trees, ν-Bracket Vectors, and Subword Complexes.	Electron. J. Comb.	2020	DBLP DOI BibTeX RDF
22	Wenqin Qu, Ran Fan, Zhigeng Pan	Interactive Virtual Bracket Positioning Method in Orthodontics.	Trans. Edutainment	2020	DBLP DOI BibTeX RDF
22	Cam-Hao Hua, Thien Huynh-The, Sung-Ho Bae, Sungyoung Lee	Cross-Attentional Bracket-shaped Convolutional Network for semantic image segmentation.	Inf. Sci.	2020	DBLP DOI BibTeX RDF
22	Jun Fan, Sergey Utev	The Lie Bracket and the Arithmetic Derivative.	J. Integer Seq.	2020	DBLP BibTeX RDF
22	Simon Michalowsky, Bahman Gharesifard, Christian Ebenbauer	A Lie bracket approximation approach to distributed optimization over directed graphs.	Autom.	2020	DBLP DOI BibTeX RDF
22	Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov	The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities.	CoRR	2020	DBLP BibTeX RDF
22	Federico Flaviani, Elias Tahhan-Bittar	Criteria for Bracket Abstractions Design.	CLEI Selected Papers	2020	DBLP DOI BibTeX RDF
22	Zhihao Wang, Wenliang Chen, Min Wang, Qinghe Xu, Can Huang	Kinematic calibration of bracket type parallel posture alignment mechanism considering the gravity effect.	Ind. Robot	2019	DBLP DOI BibTeX RDF
22	Yaowu Wang, Xiaoqing Zhang, Shiqi Tao	Modeling of Lightning Transients in Photovoltaic Bracket Systems.	IEEE Access	2019	DBLP DOI BibTeX RDF
22	Christophe Labar, Emanuele Garone, Michel Kinnaert, Christian Ebenbauer	Newton-based extremum seeking: A second-order Lie bracket approximation approach.	Autom.	2019	DBLP DOI BibTeX RDF
22	Cam-Hao Hua, Thien Huynh-The, Sungyoung Lee	Retinal Vessel Segmentation using Round-wise Features Aggregation on Bracket-shaped Convolutional Neural Networks.	EMBC	2019	DBLP DOI BibTeX RDF
22	Junjie Chen, Yang Yang, Xingang Jiang, Xiaolong He, Shaorong Xie, Yan Peng 0001, Dong Qu	A Launch and Recovery System for Unmanned Surface Vehicle Based on Floating Bracket.	ICIRA (2)	2019	DBLP DOI BibTeX RDF
22	François Gay-Balmaz, Hiroaki Yoshimura	From Variational to Bracket Formulations in Nonequilibrium Thermodynamics of Simple Systems.	GSI	2019	DBLP DOI BibTeX RDF
22	Arbab I. Arbab, Mudhahir Al Ajmi	The Quaternionic Commutator Bracket and Its Implications.	Symmetry	2018	DBLP DOI BibTeX RDF
22	Yu Yang, Wencheng Tang	Analysis of the influences of bracket and force system in different directions on the moment to force ratio by finite element method.	EURASIP J. Wirel. Commun. Netw.	2018	DBLP DOI BibTeX RDF
22	Yukihito Suzuki	Bracket formulations and energy- and helicity-preserving numerical methods for incompressible two-phase flows.	J. Comput. Phys.	2018	DBLP DOI BibTeX RDF
22	Victoria Grushkovskaya, Alexander Zuyev, Christian Ebenbauer	On a class of generating vector fields for the extremum seeking problem: Lie bracket approximation and stability properties.	Autom.	2018	DBLP DOI BibTeX RDF
22	Maciej Antczak, Mariusz Popenda, Tomasz Zok, Michal Zurkowski, Ryszard W. Adamiak, Marta Szachniuk	New algorithms to represent complex pseudoknotted RNA structures in dot-bracket notation.	Bioinform.	2018	DBLP DOI BibTeX RDF
22	Simon Michalowsky, Bahman Gharesifard, Christian Ebenbauer	On the Lie bracket approximation approach to distributed optimization: Extensions and limitations.	CoRR	2018	DBLP BibTeX RDF
22	Raik Suttner, Zhiyong Sun	Formation Shape Control Based on Distance Measurements Using Lie Bracket Approximations.	SIAM J. Control. Optim.	2018	DBLP DOI BibTeX RDF
22	Julian Hafner, Bernd G. Lapatki, Oliver Paul	First Telemetric Smart Orthodontic Bracket for Therapeutic Applications.	IEEE SENSORS	2018	DBLP DOI BibTeX RDF
22	Martin Guay, Khalid Tourkey Atta	Dual mode extremum-seeking control via Lie-bracket averaging approximations.	ACC	2018	DBLP DOI BibTeX RDF
22	Simon Michalowsky, Bahman Gharesifard, Christian Ebenbauer	On the Lie Bracket Approximation Approach to Distributed optimization: Extensions and Limitations.	ECC	2018	DBLP DOI BibTeX RDF
22	Christophe Labar, Jan Feiling, Christian Ebenbauer	Gradient-Based Extremum Seeking: Performance Tuning via Lie Bracket Approximations.	ECC	2018	DBLP DOI BibTeX RDF
22	Cam-Hao Hua, Thien Huynh-The, Sungyoung Lee	Convolutional Networks with Bracket-Style Decoder for Semantic Scene Segmentation.	SMC	2018	DBLP DOI BibTeX RDF
22	Yuhan Hao, Bruce S. Kristal, D. Frank Hsu	Predication of NCAA Bracket Using Recurrent Neural Network and Combinatorial Fusion.	DASC/PiCom/DataCom/CyberSciTech	2018	DBLP DOI BibTeX RDF
22	Changpeng Shao, Hongbo Li 0012	Fast Straightening Algorithm for Bracket Polynomials Based on Tableau Manipulations.	ISSAC	2018	DBLP DOI BibTeX RDF
22	Simon Michalowsky, Bahman Gharesifard, Christian Ebenbauer	A Lie bracket approximation approach to distributed optimization over directed graphs.	CoRR	2017	DBLP BibTeX RDF
22	Christopher Griffin 0001, James Fan	Control Problems with Vanishing Lie Bracket Arising from Complete Odd Circulant Evolutionary Games.	CoRR	2017	DBLP BibTeX RDF
22	Nathaniel Hellerstein	Diamond Bracket Forms and How to Count to Two.	Cybern. Hum. Knowing	2017	DBLP BibTeX RDF
22	Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov	Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities.	FCT	2017	DBLP DOI BibTeX RDF
22	Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov	Undecidability of the Lambek calculus with subexponentials and bracket modalities.	CoRR	2016	DBLP BibTeX RDF
22	Chung-Sheng Chen, Thomas Chang-Hao Lin, Tzu-Han Lin, Pei-Chun Lin	Design of a motor bracket multi-axis force/torque sensor.	URAI	2016	DBLP DOI BibTeX RDF
22	Claudia Califano, Stefano Battilotti, Claude H. Moog	On the geometric interpretation of the Polynomial Lie Bracket for nonlinear time-delay systems.	CDC	2016	DBLP DOI BibTeX RDF
22	Vikas Rastogi	Extension of Lagrangian-Hamiltonian mechanics: Umbra Poisson bracket using bond graphs.	ICBGM@SummerSim	2016	DBLP BibTeX RDF
22	Hans-Bernd Dürr, Miroslav Krstic, Alexander Scheinker, Christian Ebenbauer	Singularly Perturbed Lie Bracket Approximation.	IEEE Trans. Autom. Control.	2015	DBLP DOI BibTeX RDF
22	Lukasz Czajka 0001	On the equivalence of different presentations of Turner's bracket abstraction algorithm.	CoRR	2015	DBLP BibTeX RDF
22	Heesoo Myeong, Stephen Lin 0001, Kyoung Mu Lee	Alpha Matting of Motion-Blurred Objects in Bracket Sequence Images.	ECCV (3)	2014	DBLP DOI BibTeX RDF
22	Hongbo Li 0012, Changpeng Shao, Lei Huang, Yue Liu	Reduction among bracket polynomials.	ISSAC	2014	DBLP DOI BibTeX RDF
22	Hans-Bernd Dürr, Milos S. Stankovic, Christian Ebenbauer, Karl Henrik Johansson	Lie bracket approximation of extremum seeking systems.	Autom.	2013	DBLP DOI BibTeX RDF